Trace number 4100753

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb
MD5SUMe0d3bc77812df02cd6843b358116eb3f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17153
Total number of constraints320
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint11
Maximum length of a constraint3360
Number of terms in the objective function 90
Biggest coefficient in the objective function 87382
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524349
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527072
Number of bits of the biggest sum of numbers20
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-18T04:31:17+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-4100753-1466217077.opb"]
0.00/0.01	c use --random-gen="3014713023 861381253 2019368933 2602751014 3318193776 588981990 1591540734 350824073 2077583500 928944043 3336468888 3535933609 2191380059 3747114789 3739329265 2913921542 2278054928 3315975705 3511787968 2244253551 1553538678 3579159174 3106011108 4081126070 1792724402 2042041569 7059612 2998848489 1772403623 3860462803 532162875 2609235043 649904251 4102260319 1147720681 1839979812 1601754160 179250609 3170150883 2886737592 171341136 515212163 834952251 3211375142 202779115 1155314205 1318801243 1532288458 995396995 4241321427 1172634146 1574204371 2456548426 3856672251 1426884474 2527750681 648374653 4062327278 3045550698 1769547194 4223024869 2485450538 658689574 465547732 1747199714 966025584 1199576109 2961681538 834623577 2835689648 2058396073 406543493 3515299333 2454991583 817804503 4169792788 1032506135 2825271233 1556794697 1620655075 4131798444 3412192465 64728475 2568719746 4153686809 4287255783 3294645222 1482927663 2808990659 907481633 2148561993 1168996540 2684401391 3767786567 825735472 1195670812 1702841652 599230044 1502078190 2183129505 3359291800 2310121060 378393257 3667563776 1292978652 3767292890 2011307000 3074811703 2429219288 2132663244 701223770 1278602514 405980662 1343532234 69361674 3136998783 349494141 4233440875 755997536 3866559665 418977821 2977375958 1172618395 3360678235 3094456811 2660233474 829053561 3601225260 3090694334 4162047975 3765830871 3361380256 614475177 305794545 2735257815 1463885443 4172288749 1796218287 2422226758 2547897176 3816479240 2896172108 3152393546 3651445186 2690400414 1188358091 912747391 3260277583 286271088 1298956287 3683542608 19661622 155745824 2874020125 1808541327 3668431208 1599709030 971784312 2935390103 2952096058 2777678944 3786693262 1308809991 3637813477 2627425589 1195016615 1457768677 498717799 3050195 2482189390 4215250135 2329515889 1210737179 3312470373 260215428 1606260900 1473071174 548090674 2372928404 132603786 576654312 3136092218 957010037 3494521069 2805272878 975727036 45553176 2630137150 3847347738 710070446 516646874 1448469445 3953624233 1134931701 3193415356 3447099289 1319096420 4280064567 2157922081 2514944876 752274708 4151436667 2200910801 2875524056 3242561134 3838922231 2981038408 2741501732 2711396625 878953814 3342422738 303932884 3962368768 4123363513 476195833 2087317889 1967456075 3789916722 630355835 3353661496 3419699817 4125477127 893117000 562581460 1290171697 2186360213 1281899742 3348294169 210657377 1353001198 2444457536 3547001971 1567571658 1970125368 3955913125 298422804 1222455151 598922703 2866340963 2101171213 1185491760 2913312606 2288640514 4242699872 3993050455 2517110947 2351448173 1687550145 1954915233 2627438397 3754432598 1937469632 4292212127 3145685948 2189352267 487133088 255 362436" option to reproduce the execution
0.19/0.27	c #vars 17153
0.19/0.27	c #constraints 320
1.39/1.40	c BCD2: Hardening is enabled.
1.39/1.40	c BCD2: BiasedSearch is enabled.
1.39/1.40	c Solving starts ...
1.39/1.40	c ============================[ Search Statistics ]============================
1.39/1.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.39/1.40	c       |         |          |          |    Limit     GC | Var      | Constra 
1.39/1.40	c =============================================================================
1.39/1.40	c  0.0s |       0 |        0 |        0 |     5906      0 |     6772 |        0
1.49/1.59	c  0.2s |       1 |      230 |      100 |     5906      0 |     6809 |       43
1.59/1.67	c  0.3s |       2 |      658 |      250 |     6497      0 |     6809 |       43
1.69/1.76	c  0.4s |       3 |      933 |      475 |     7147      0 |     6809 |       43
2.09/2.14	c  0.7s |       4 |     2645 |      813 |     7862      0 |     6837 |       43
2.99/3.00	c  1.6s |       5 |     3760 |     1320 |     8649      0 |     6837 |       43
3.88/3.96	c  2.6s |       6 |     5025 |     2081 |    10466      0 |     6837 |       43
5.49/5.56	c  4.2s |       7 |     7756 |     3223 |    11513      0 |     6841 |       43
7.58/7.69	c  6.3s |       7 |     9822 |     4623 |    11513      0 |     6841 |       43
8.18/8.20	c  6.8s |       8 |    10234 |     4936 |    12665      0 |     6841 |       43
10.18/10.29	c  8.9s |       8 |    12152 |     6236 |    12665      0 |     6841 |       43
12.28/12.33	c 10.9s |       8 |    13803 |     7436 |    12665      0 |     6841 |       43
12.38/12.46	c 11.1s |       9 |    13909 |     7506 |    13932      0 |     6841 |       43
14.48/14.54	c 13.1s |       9 |    15592 |     8606 |    13932      0 |     6841 |       43
16.59/16.66	c 15.3s |       9 |    17291 |     9806 |    13932      0 |     6841 |       43
18.69/18.73	c 17.3s |       9 |    18967 |    10906 |    13932      0 |     6841 |       43
19.48/19.59	c 18.2s |      10 |    19547 |    11361 |    15326      0 |     6841 |       43
21.58/21.64	c 20.2s |      10 |    21268 |    12361 |    15326      0 |     6841 |       43
23.58/23.65	c 22.2s |      10 |    23031 |    13461 |    15326      0 |     6841 |       43
25.78/25.80	c 24.4s |      10 |    25459 |    14561 |    15326      0 |     6841 |       43
27.78/27.88	c 26.5s |      10 |    27183 |    15561 |    15326      0 |     6841 |       43
29.98/30.06	c 28.7s |      10 |    29182 |    16661 |    15326      0 |     6841 |       43
30.98/31.00	c 29.6s |      11 |    29868 |    17144 |    16859      0 |     6841 |       43
33.09/33.19	c 31.8s |      11 |    31636 |    18044 |    16859      0 |     6841 |       43
35.08/35.20	c 33.8s |      11 |    33098 |    18944 |    16859      0 |     6841 |       43
37.28/37.39	c 36.0s |      11 |    34501 |    19744 |    16859      0 |     6841 |       43
39.48/39.54	c 38.1s |      11 |    36696 |    20644 |    16859      0 |     6841 |       43
41.58/41.69	c 40.3s |      11 |    38554 |    21544 |    16859      0 |     6841 |       43
43.88/43.95	c 42.5s |      11 |    40540 |    22444 |    16859      0 |     6841 |       43
45.98/46.02	c 44.6s |      11 |    41770 |    23244 |    16859      0 |     6841 |       43
48.18/48.20	c 46.8s |      11 |    43633 |    24144 |    16859      0 |     6841 |       43
50.18/50.29	c 48.9s |      11 |    44804 |    24944 |    16859      1 |     6841 |       43
51.88/51.99	c 50.6s |      12 |    46055 |    25819 |    18545      1 |     6841 |       43
54.08/54.10	c 52.7s |      12 |    47632 |    26719 |    18545      1 |     6841 |       43
56.09/56.20	c 54.8s |      12 |    49400 |    27719 |    18545      1 |     6841 |       43
58.18/58.30	c 56.9s |      12 |    51209 |    28719 |    18545      1 |     6841 |       43
60.28/60.34	c 58.9s |      12 |    52656 |    29619 |    18545      1 |     6841 |       43
62.38/62.46	c 61.1s |      12 |    54113 |    30519 |    18545      1 |     6841 |       43
64.58/64.61	c 63.2s |      12 |    56058 |    31519 |    18545      1 |     6841 |       43
66.68/66.76	c 65.4s |      12 |    57853 |    32519 |    18545      1 |     6841 |       43
68.78/68.84	c 67.4s |      12 |    59329 |    33519 |    18545      1 |     6841 |       43
70.98/71.03	c 69.6s |      12 |    60972 |    34519 |    18545      1 |     6841 |       43
72.98/73.05	c 71.6s |      12 |    62396 |    35419 |    18545      1 |     6841 |       43
75.18/75.23	c 73.8s |      12 |    64191 |    36319 |    18545      1 |     6841 |       43
77.38/77.42	c 76.0s |      12 |    65748 |    37219 |    18545      1 |     6841 |       43
79.48/79.56	c 78.2s |      12 |    67006 |    38219 |    18545      1 |     6841 |       43
81.38/81.42	c 80.0s |      13 |    67828 |    38832 |    20400      2 |     6841 |       43
83.38/83.43	c 82.0s |      13 |    69329 |    39632 |    20400      2 |     6841 |       43
85.58/85.62	c 84.2s |      13 |    70894 |    40632 |    20400      2 |     6841 |       43
87.58/87.69	c 86.3s |      13 |    72305 |    41632 |    20400      2 |     6841 |       43
89.68/89.76	c 88.4s |      13 |    73786 |    42732 |    20400      2 |     6841 |       43
91.78/91.83	c 90.4s |      13 |    75242 |    43532 |    20400      2 |     6841 |       43
93.97/94.09	c 92.7s |      13 |    77352 |    44432 |    20400      2 |     6841 |       43
96.17/96.28	c 94.9s |      13 |    78711 |    45232 |    20400      2 |     6841 |       43
98.27/98.35	c 96.9s |      13 |    79985 |    46032 |    20400      2 |     6841 |       43
100.47/100.54	c 99.1s |      13 |    81180 |    46932 |    20400      2 |     6841 |       43
102.67/102.78	c  101s |      13 |    82339 |    47932 |    20400      2 |     6841 |       43
104.87/104.99	c  103s |      13 |    83283 |    48632 |    20400      2 |     6841 |       43
106.97/107.03	c  105s |      13 |    84162 |    49332 |    20400      2 |     6841 |       43
109.07/109.14	c  107s |      13 |    84985 |    50032 |    20400      2 |     6841 |       43
111.08/111.17	c  109s |      13 |    85892 |    50732 |    20400      2 |     6841 |       43
113.28/113.33	c  111s |      13 |    86998 |    51532 |    20400      2 |     6841 |       43
115.37/115.49	c  114s |      13 |    88193 |    52432 |    20400      2 |     6841 |       43
117.57/117.66	c  116s |      13 |    89330 |    53232 |    20400      2 |     6841 |       43
119.88/119.91	c  118s |      13 |    90367 |    53832 |    20400      3 |     6841 |       43
121.97/122.08	c  120s |      13 |    92086 |    54732 |    20400      3 |     6841 |       43
124.17/124.23	c  122s |      13 |    93698 |    55632 |    20400      3 |     6841 |       43
126.17/126.25	c  124s |      13 |    95115 |    56532 |    20400      3 |     6841 |       43
128.37/128.41	c  127s |      13 |    96346 |    57332 |    20400      3 |     6841 |       43
130.37/130.43	c  129s |      13 |    97451 |    58132 |    22440      3 |     6841 |       43
130.98/131.06	c  129s |      14 |    98001 |    58352 |    22440      3 |     6841 |       43
133.08/133.11	c  131s |      14 |    99380 |    58852 |    22440      3 |     6841 |       43
135.28/135.35	c  133s |      14 |   101612 |    59652 |    22440      3 |     6841 |       43
137.48/137.50	c  136s |      14 |   103456 |    60452 |    22440      3 |     6841 |       43
139.47/139.57	c  138s |      14 |   104967 |    61252 |    22440      3 |     6841 |       43
141.47/141.58	c  140s |      14 |   106393 |    61952 |    22440      3 |     6841 |       43
143.77/143.85	c  142s |      14 |   108104 |    62652 |    22440      3 |     6841 |       43
145.87/145.96	c  144s |      14 |   109883 |    63352 |    22440      3 |     6841 |       43
148.07/148.10	c  146s |      14 |   111448 |    64152 |    22440      3 |     6841 |       43
150.17/150.25	c  148s |      14 |   113094 |    64852 |    22440      3 |     6841 |       43
152.36/152.43	c  151s |      14 |   114829 |    65552 |    22440      3 |     6841 |       43
154.46/154.54	c  153s |      14 |   116574 |    66252 |    22440      3 |     6841 |       43
156.66/156.78	c  155s |      14 |   118020 |    67052 |    22440      3 |     6841 |       43
158.86/158.94	c  157s |      14 |   120005 |    67852 |    22440      3 |     6841 |       43
160.96/161.06	c  159s |      14 |   121474 |    68652 |    22440      3 |     6841 |       43
163.06/163.15	c  161s |      14 |   122855 |    69352 |    22440      3 |     6841 |       43
165.36/165.40	c  164s |      14 |   124045 |    69952 |    22440      4 |     6841 |       43
167.56/167.60	c  166s |      14 |   125555 |    70752 |    22440      4 |     6841 |       43
169.56/169.63	c  168s |      14 |   127031 |    71452 |    22440      4 |     6841 |       43
171.57/171.70	c  170s |      14 |   128903 |    72252 |    22440      4 |     6841 |       43
173.77/173.81	c  172s |      14 |   129875 |    72952 |    22440      4 |     6841 |       43
175.76/175.81	c  174s |      14 |   130979 |    73652 |    22440      4 |     6841 |       43
177.86/177.96	c  176s |      14 |   132277 |    74452 |    22440      4 |     6841 |       43
180.16/180.20	c  178s |      14 |   133545 |    75352 |    22440      4 |     6841 |       43
182.26/182.38	c  180s |      14 |   134655 |    76052 |    22440      4 |     6841 |       43
184.56/184.69	c  183s |      14 |   136232 |    76752 |    22440      4 |     6841 |       43
186.86/186.93	c  185s |      14 |   137915 |    77552 |    22440      4 |     6841 |       43
189.17/189.22	c  187s |      14 |   139235 |    78352 |    22440      4 |     6841 |       43
191.37/191.42	c  190s |      14 |   140674 |    79152 |    22440      4 |     6841 |       43
193.57/193.65	c  192s |      14 |   142005 |    79952 |    22440      4 |     6841 |       43
195.87/195.97	c  194s |      14 |   143302 |    80652 |    22440      4 |     6847 |       43
198.16/198.24	c  196s |      14 |   144814 |    81352 |    22440      4 |     6847 |       43
200.36/200.43	c  199s |      14 |   145890 |    82052 |    22440      4 |     6847 |       43
202.46/202.53	c  201s |      14 |   147560 |    82652 |    22440      4 |     6847 |       43
204.76/204.82	c  203s |      14 |   148918 |    83352 |    22440      4 |     6847 |       43
206.96/207.03	c  205s |      14 |   151527 |    84152 |    22440      4 |     6847 |       43
208.96/209.04	c  207s |      14 |   152900 |    84652 |    22440      5 |     6847 |       43
211.16/211.26	c  209s |      14 |   155021 |    85652 |    22440      5 |     6847 |       43
213.25/213.32	c  211s |      14 |   156930 |    86752 |    22440      5 |     6847 |       43
215.25/215.34	c  213s |      14 |   158129 |    87452 |    24685      5 |     6847 |       43
215.66/215.78	c  214s |      15 |   158547 |    87632 |    24685      5 |     6847 |       43
218.15/218.21	c  216s |      15 |   160241 |    88332 |    24685      5 |     6847 |       43
220.15/220.29	c  218s |      15 |   162326 |    89232 |    24685      5 |     6847 |       43
222.35/222.45	c  221s |      15 |   164221 |    90232 |    24685      5 |     6847 |       43
224.55/224.66	c  223s |      15 |   166530 |    91132 |    24685      5 |     6847 |       43
226.75/226.82	c  225s |      15 |   169188 |    91932 |    24685      5 |     6847 |       43
228.76/228.90	c  227s |      15 |   171279 |    92832 |    24685      5 |     6847 |       43
230.85/230.95	c  229s |      15 |   173480 |    93732 |    24685      5 |     6847 |       43
232.95/233.01	c  231s |      15 |   175005 |    94632 |    24685      5 |     6847 |       43
235.05/235.16	c  233s |      15 |   176301 |    95532 |    24685      5 |     6847 |       43
237.25/237.34	c  235s |      15 |   178058 |    96432 |    24685      5 |     6847 |       43
239.25/239.40	c  237s |      15 |   179587 |    97232 |    24685      5 |     6847 |       43
241.35/241.42	c  240s |      15 |   181096 |    98232 |    24685      5 |     6847 |       43
243.55/243.65	c  242s |      15 |   182647 |    99132 |    24685      5 |     6847 |       43
245.85/245.93	c  244s |      15 |   184596 |    99932 |    24685      5 |     6847 |       43
247.85/247.93	c  246s |      15 |   186149 |   100732 |    24685      5 |     6847 |       43
249.95/250.05	c  248s |      15 |   187978 |   101632 |    24685      5 |     6847 |       43
252.05/252.19	c  250s |      15 |   189491 |   102332 |    24685      6 |     6847 |       43
254.25/254.38	c  252s |      15 |   191627 |   103332 |    24685      6 |     6847 |       43
256.55/256.62	c  255s |      15 |   192689 |   104032 |    24685      6 |     6847 |       43
258.55/258.64	c  257s |      15 |   194264 |   104832 |    24685      6 |     6847 |       43
260.65/260.72	c  259s |      15 |   195963 |   105732 |    24685      6 |     6847 |       43
262.85/262.92	c  261s |      15 |   197969 |   106632 |    24685      6 |     6847 |       43
264.84/264.99	c  263s |      15 |   200369 |   107532 |    24685      6 |     6847 |       43
266.94/267.06	c  265s |      15 |   201973 |   108332 |    24685      6 |     6847 |       43
269.14/269.23	c  267s |      15 |   203716 |   109132 |    24685      6 |     6847 |       43
271.24/271.33	c  269s |      15 |   205998 |   109932 |    24685      6 |     6847 |       43
273.24/273.35	c  271s |      15 |   207373 |   110732 |    24685      6 |     6847 |       43
275.34/275.48	c  274s |      15 |   208880 |   111632 |    24685      6 |     6847 |       43
277.44/277.50	c  276s |      15 |   210672 |   112432 |    24685      6 |     6847 |       43
279.45/279.51	c  278s |      15 |   211995 |   113232 |    24685      6 |     6847 |       43
281.44/281.51	c  280s |      15 |   213735 |   113932 |    24685      6 |     6847 |       43
283.54/283.62	c  282s |      15 |   215424 |   114832 |    24685      6 |     6847 |       43
285.54/285.69	c  284s |      15 |   216552 |   115632 |    24685      6 |     6847 |       43
287.64/287.72	c  286s |      15 |   217721 |   116332 |    24685      6 |     6847 |       43
289.84/289.92	c  288s |      15 |   219713 |   117132 |    24685      6 |     6847 |       43
292.04/292.13	c  290s |      15 |   222102 |   117832 |    24685      6 |     6847 |       43
294.14/294.23	c  292s |      15 |   223002 |   118432 |    24685      7 |     6847 |       43
296.44/296.51	c  295s |      15 |   224577 |   119432 |    24685      7 |     6847 |       43
298.54/298.63	c  297s |      15 |   226460 |   120432 |    24685      7 |     6847 |       43
300.74/300.85	c  299s |      15 |   228273 |   121332 |    24685      7 |     6847 |       43
302.84/302.92	c  301s |      15 |   229887 |   122132 |    24685      7 |     6847 |       43
305.04/305.13	c  303s |      15 |   231884 |   123032 |    24685      7 |     6847 |       43
307.14/307.29	c  305s |      15 |   233396 |   123932 |    24685      7 |     6847 |       43
309.54/309.65	c  308s |      15 |   234687 |   124832 |    24685      7 |     6847 |       43
311.54/311.67	c  310s |      15 |   236414 |   125632 |    24685      7 |     6847 |       43
313.64/313.71	c  312s |      15 |   237822 |   126532 |    24685      7 |     6847 |       43
315.64/315.77	c  314s |      15 |   239313 |   127332 |    24685      7 |     6847 |       43
317.84/317.92	c  316s |      15 |   240840 |   128232 |    24685      7 |     6847 |       43
320.14/320.21	c  318s |      15 |   242737 |   129132 |    24685      7 |     6847 |       43
322.24/322.37	c  320s |      15 |   244788 |   129832 |    24685      7 |     6847 |       43
324.33/324.45	c  323s |      15 |   246685 |   130332 |    24685      7 |     6847 |       43
326.43/326.57	c  325s |      15 |   248460 |   131032 |    27154      7 |     6847 |       43
328.13/328.28	c  326s |      16 |   249998 |   131552 |    27154      7 |     6847 |       43
333.24/333.35	c  331s |      16 |   250478 |   131652 |    27154      7 |     6847 |       43
335.54/335.67	c  334s |      16 |   251660 |   132252 |    27154      7 |     6847 |       43
337.64/337.74	c  336s |      16 |   252590 |   132752 |    27154      7 |     6847 |       43
339.73/339.83	c  338s |      16 |   253800 |   133252 |    27154      7 |     6847 |       43
342.04/342.18	c  340s |      16 |   254947 |   133852 |    27154      7 |     6847 |       43
344.34/344.46	c  343s |      16 |   255759 |   134452 |    27154      7 |     6847 |       43
346.54/346.63	c  345s |      16 |   256963 |   135052 |    27154      7 |     6847 |       43
348.83/348.92	c  347s |      16 |   258446 |   135552 |    27154      7 |     6847 |       43
350.94/351.02	c  349s |      16 |   260660 |   136252 |    27154      7 |     6847 |       43
353.33/353.44	c  352s |      16 |   261969 |   136752 |    27154      8 |     6847 |       43
355.53/355.63	c  354s |      16 |   263118 |   137252 |    27154      8 |     6847 |       43
357.73/357.80	c  356s |      16 |   264834 |   137952 |    27154      8 |     6847 |       43
359.83/359.93	c  358s |      16 |   266465 |   138652 |    27154      8 |     6847 |       43
362.03/362.19	c  360s |      16 |   268952 |   139352 |    27154      8 |     6847 |       43
364.23/364.39	c  362s |      16 |   270530 |   140252 |    27154      8 |     6847 |       43
366.53/366.66	c  365s |      16 |   271846 |   141052 |    27154      8 |     6847 |       43
368.73/368.80	c  367s |      16 |   274366 |   141652 |    27154      8 |     6847 |       43
371.03/371.10	c  369s |      16 |   275274 |   142452 |    27154      8 |     6847 |       43
373.13/373.24	c  371s |      16 |   277182 |   143252 |    27154      8 |     6847 |       43
375.13/375.29	c  373s |      16 |   278451 |   143952 |    27154      8 |     6847 |       43
377.43/377.55	c  376s |      16 |   279858 |   144752 |    27154      8 |     6847 |       43
379.43/379.57	c  378s |      16 |   280632 |   145452 |    27154      8 |     6847 |       43
381.63/381.72	c  380s |      16 |   283283 |   146152 |    27154      8 |     6847 |       43
383.83/383.91	c  382s |      16 |   285610 |   146852 |    27154      8 |     6847 |       43
386.03/386.14	c  384s |      16 |   288358 |   147652 |    27154      8 |     6847 |       43
388.12/388.24	c  386s |      16 |   289805 |   148352 |    27154      8 |     6847 |       43
390.22/390.30	c  388s |      16 |   291818 |   149152 |    27154      8 |     6847 |       43
393.12/393.26	c  391s |      16 |   293887 |   149852 |    27154      8 |     6847 |       43
395.22/395.32	c  393s |      16 |   295936 |   150552 |    27154      8 |     6847 |       43
397.52/397.67	c  396s |      16 |   298392 |   151252 |    27154      8 |     6847 |       43
399.62/399.73	c  398s |      16 |   299799 |   151952 |    27154      8 |     6847 |       43
401.62/401.76	c  400s |      16 |   302035 |   152552 |    27154      8 |     6847 |       43
403.73/403.88	c  402s |      16 |   304157 |   153252 |    27154      8 |     6847 |       43
405.93/406.07	c  404s |      16 |   306259 |   153952 |    27154      8 |     6847 |       43
408.13/408.28	c  406s |      16 |   307599 |   154552 |    27154      9 |     6847 |       43
410.42/410.51	c  409s |      16 |   309175 |   155352 |    27154      9 |     6847 |       43
412.53/412.63	c  411s |      16 |   310040 |   156152 |    27154      9 |     6847 |       43
414.83/414.95	c  413s |      16 |   310902 |   156952 |    27154      9 |     6847 |       43
417.03/417.17	c  415s |      16 |   311886 |   157752 |    27154      9 |     6847 |       43
419.23/419.34	c  417s |      16 |   312718 |   158552 |    27154      9 |     6847 |       43
421.43/421.53	c  420s |      16 |   313797 |   159352 |    27154      9 |     6847 |       43
424.63/424.77	c  423s |      16 |   314135 |   159552 |    27154      9 |     6847 |       43
426.73/426.81	c  425s |      16 |   315362 |   160252 |    27154      9 |     6847 |       43
428.93/429.09	c  427s |      16 |   316579 |   161152 |    27154      9 |     6847 |       43
431.02/431.17	c  429s |      16 |   317735 |   161852 |    27154      9 |     6847 |       43
433.22/433.32	c  431s |      16 |   318853 |   162652 |    27154      9 |     6847 |       43
435.42/435.56	c  434s |      16 |   319702 |   163352 |    27154      9 |     6847 |       43
437.83/437.97	c  436s |      16 |   320772 |   164052 |    27154      9 |     6847 |       43
440.12/440.20	c  438s |      16 |   322359 |   164852 |    27154      9 |     6847 |       43
442.12/442.29	c  440s |      16 |   324736 |   165652 |    27154      9 |     6847 |       43
444.22/444.36	c  442s |      16 |   325640 |   166452 |    27154      9 |     6847 |       43
446.42/446.60	c  445s |      16 |   326891 |   167252 |    27154      9 |     6847 |       43
448.62/448.78	c  447s |      16 |   328395 |   168052 |    27154      9 |     6847 |       43
450.82/450.99	c  449s |      16 |   331123 |   168852 |    27154      9 |     6847 |       43
452.92/453.06	c  451s |      16 |   333677 |   169552 |    27154      9 |     6847 |       43
455.02/455.18	c  453s |      16 |   335784 |   170252 |    27154      9 |     6847 |       43
457.12/457.25	c  455s |      16 |   338319 |   171052 |    27154      9 |     6847 |       43
459.32/459.43	c  458s |      16 |   340917 |   171752 |    27154     10 |     6847 |       43
461.51/461.64	c  460s |      16 |   343096 |   172652 |    27154     10 |     6847 |       43
463.71/463.81	c  462s |      16 |   345453 |   173552 |    27154     10 |     6847 |       43
465.71/465.83	c  464s |      16 |   347590 |   174452 |    27154     10 |     6847 |       43
467.81/467.93	c  466s |      16 |   349023 |   175252 |    27154     10 |     6847 |       43
469.81/469.95	c  468s |      16 |   350098 |   175952 |    27154     10 |     6847 |       43
472.01/472.12	c  470s |      16 |   351102 |   176752 |    27154     10 |     6847 |       43
474.21/474.39	c  472s |      16 |   352320 |   177552 |    27154     10 |     6847 |       43
476.32/476.42	c  475s |      16 |   353417 |   178252 |    27154     10 |     6847 |       43
478.52/478.63	c  477s |      16 |   354387 |   179052 |    27154     10 |     6847 |       43
480.72/480.84	c  479s |      16 |   355325 |   179952 |    27154     10 |     6847 |       43
482.92/483.09	c  481s |      16 |   356110 |   180352 |    27154     10 |     6847 |       43
485.02/485.13	c  483s |      16 |   357544 |   181052 |    27154     10 |     6847 |       43
487.41/487.54	c  486s |      16 |   359367 |   181852 |    27154     10 |     6847 |       43
489.61/489.71	c  488s |      16 |   361058 |   182452 |    27154     10 |     6847 |       43
491.81/491.93	c  490s |      16 |   362253 |   183252 |    27154     10 |     6847 |       43
493.81/493.96	c  492s |      16 |   363688 |   183952 |    27154     10 |     6847 |       43
496.01/496.20	c  494s |      16 |   365457 |   184652 |    27154     10 |     6847 |       43
498.31/498.45	c  497s |      16 |   366652 |   185352 |    27154     10 |     6847 |       43
500.51/500.67	c  499s |      16 |   367989 |   186152 |    27154     10 |     6847 |       43
502.91/503.04	c  501s |      16 |   369655 |   186852 |    27154     10 |     6847 |       43
505.21/505.31	c  503s |      16 |   371289 |   187552 |    27154     10 |     6847 |       43
507.31/507.49	c  506s |      16 |   372553 |   188252 |    27154     10 |     6847 |       43
509.71/509.86	c  508s |      16 |   374208 |   189052 |    27154     11 |     6847 |       43
511.81/511.97	c  510s |      16 |   375752 |   189752 |    27154     11 |     6847 |       43
514.01/514.12	c  512s |      16 |   377721 |   190652 |    27154     11 |     6847 |       43
516.01/516.14	c  514s |      16 |   380064 |   191552 |    27154     11 |     6847 |       43
519.41/519.56	c  518s |      16 |   381583 |   192452 |    27154     11 |     6847 |       43
521.42/521.59	c  520s |      16 |   383201 |   193152 |    27154     11 |     6847 |       43
523.62/523.79	c  522s |      16 |   384427 |   194052 |    27154     11 |     6847 |       43
525.61/525.79	c  524s |      16 |   385828 |   194752 |    27154     11 |     6847 |       43
527.71/527.82	c  526s |      16 |   387010 |   195552 |    27154     11 |     6847 |       43
529.81/529.97	c  528s |      16 |   388403 |   196352 |    29870     11 |     6847 |       43
532.01/532.18	c  530s |      16 |   389930 |   197152 |    29870     11 |     6847 |       43
532.81/532.96	c  531s |      17 |   390252 |   197432 |    29870     11 |     6847 |       43
535.11/535.26	c  533s |      17 |   393385 |   198032 |    29870     11 |     6847 |       43
537.31/537.46	c  536s |      17 |   396152 |   198832 |    29870     11 |     6847 |       43
539.31/539.47	c  538s |      17 |   397961 |   199632 |    29870     11 |     6847 |       43
541.50/541.65	c  540s |      17 |   399966 |   200532 |    29870     11 |     6847 |       43
543.60/543.71	c  542s |      17 |   401677 |   201432 |    29870     11 |     6847 |       43
545.70/545.86	c  544s |      17 |   403538 |   202332 |    29870     11 |     6847 |       43
547.81/547.91	c  546s |      17 |   405468 |   203132 |    29870     11 |     6847 |       43
549.80/550.00	c  548s |      17 |   407549 |   203932 |    29870     11 |     6847 |       43
552.11/552.23	c  550s |      17 |   409730 |   204832 |    29870     11 |     6847 |       43
554.41/554.53	c  553s |      17 |   412432 |   205732 |    29870     11 |     6847 |       43
556.51/556.64	c  555s |      17 |   413497 |   206632 |    29870     11 |     6847 |       43
558.71/558.89	c  557s |      17 |   414630 |   207532 |    29870     11 |     6847 |       43
560.80/560.99	c  559s |      17 |   416048 |   208332 |    29870     11 |     6847 |       43
563.50/563.62	c  562s |      17 |   417592 |   209132 |    29870     12 |     6847 |       43
565.50/565.64	c  564s |      17 |   418888 |   209832 |    29870     12 |     6847 |       43
571.91/572.09	c  570s |      17 |   420504 |   210732 |    29870     12 |     6847 |       43
574.20/574.34	c  572s |      17 |   420739 |   210932 |    29870     12 |     6847 |       43
576.50/576.61	c  575s |      17 |   422957 |   211532 |    29870     12 |     6847 |       43
578.50/578.61	c  577s |      17 |   425789 |   212032 |    29870     12 |     6847 |       43
580.80/580.95	c  579s |      17 |   429220 |   212632 |    29870     12 |     6847 |       43
583.00/583.17	c  581s |      17 |   431745 |   213232 |    29870     12 |     6847 |       43
585.30/585.40	c  583s |      17 |   434674 |   213932 |    29870     12 |     6847 |       43
587.40/587.51	c  586s |      17 |   436025 |   214832 |    29870     12 |     6847 |       43
589.50/589.65	c  588s |      17 |   437071 |   215632 |    29870     12 |     6847 |       43
591.70/591.81	c  590s |      17 |   438092 |   216532 |    29870     12 |     6847 |       43
593.90/594.01	c  592s |      17 |   439116 |   217432 |    29870     12 |     6847 |       43
595.89/596.08	c  594s |      17 |   440342 |   218232 |    29870     12 |     6847 |       43
597.89/598.08	c  596s |      17 |   441359 |   219032 |    29870     12 |     6847 |       43
600.09/600.22	c  598s |      17 |   442812 |   219732 |    29870     12 |     6847 |       43
602.09/602.26	c  600s |      17 |   443976 |   220532 |    29870     12 |     6847 |       43
604.19/604.39	c  602s |      17 |   444837 |   221332 |    29870     12 |     6847 |       43
606.49/606.63	c  605s |      17 |   445605 |   221832 |    29870     12 |     6847 |       43
608.69/608.84	c  607s |      17 |   447266 |   222532 |    29870     12 |     6847 |       43
610.69/610.85	c  609s |      17 |   448761 |   223332 |    29870     12 |     6847 |       43
612.79/612.90	c  611s |      17 |   450211 |   224132 |    29870     12 |     6847 |       43
614.99/615.10	c  613s |      17 |   451015 |   224832 |    29870     12 |     6847 |       43
617.00/617.16	c  615s |      17 |   451862 |   225432 |    29870     12 |     6847 |       43
619.20/619.32	c  617s |      17 |   453319 |   226232 |    29870     12 |     6847 |       43
621.29/621.40	c  619s |      17 |   454666 |   226932 |    29870     12 |     6847 |       43
623.29/623.45	c  622s |      17 |   455668 |   227732 |    29870     12 |     6847 |       43
625.49/625.66	c  624s |      17 |   456867 |   228432 |    29870     13 |     6847 |       43
627.69/627.81	c  626s |      17 |   458556 |   229332 |    29870     13 |     6847 |       43
629.79/629.91	c  628s |      17 |   459782 |   230132 |    29870     13 |     6847 |       43
631.99/632.16	c  630s |      17 |   461306 |   231032 |    29870     13 |     6847 |       43
634.09/634.26	c  632s |      17 |   462522 |   231832 |    29870     13 |     6847 |       43
636.19/636.36	c  634s |      17 |   463945 |   232632 |    29870     13 |     6847 |       43
638.19/638.39	c  636s |      17 |   465079 |   233332 |    29870     13 |     6847 |       43
640.29/640.44	c  639s |      17 |   466436 |   234132 |    29870     13 |     6847 |       43
648.68/648.88	c  647s |      17 |   466660 |   234332 |    29870     13 |     6847 |       43
650.88/651.01	c  649s |      17 |   467804 |   235032 |    29870     13 |     6847 |       43
659.48/659.67	c  658s |      17 |   468712 |   235832 |    29870     13 |     6847 |       43
661.58/661.73	c  660s |      17 |   469703 |   236532 |    29870     13 |     6847 |       43
663.68/663.89	c  662s |      17 |   470953 |   237232 |    29870     13 |     6847 |       43
665.78/665.95	c  664s |      17 |   472018 |   237932 |    29870     13 |     6847 |       43
667.88/668.07	c  666s |      17 |   473390 |   238732 |    29870     13 |     6847 |       43
669.98/670.10	c  668s |      17 |   474418 |   239532 |    29870     13 |     6847 |       43
672.09/672.22	c  670s |      17 |   476056 |   240332 |    29870     13 |     6847 |       43
674.29/674.47	c  673s |      17 |   477547 |   241132 |    29870     13 |     6847 |       43
676.58/676.74	c  675s |      17 |   478619 |   241932 |    29870     13 |     6847 |       43
678.69/678.86	c  677s |      17 |   479956 |   242732 |    29870     13 |     6847 |       43
680.68/680.88	c  679s |      17 |   481553 |   243532 |    29870     13 |     6847 |       43
682.99/683.10	c  681s |      17 |   483211 |   244432 |    29870     13 |     6847 |       43
684.98/685.19	c  683s |      17 |   484672 |   245232 |    29870     13 |     6847 |       43
687.08/687.26	c  685s |      17 |   486113 |   245932 |    29870     13 |     6847 |       43
689.88/690.06	c  688s |      17 |   487498 |   246732 |    29870     14 |     6847 |       43
691.98/692.14	c  690s |      17 |   488661 |   247532 |    29870     14 |     6847 |       43
694.09/694.29	c  692s |      17 |   489745 |   248332 |    29870     14 |     6847 |       43
696.48/696.67	c  695s |      17 |   490859 |   248932 |    29870     14 |     6847 |       43
698.68/698.80	c  697s |      17 |   494397 |   249932 |    29870     14 |     6847 |       43
700.68/700.89	c  699s |      17 |   498101 |   250832 |    29870     14 |     6847 |       43
702.78/702.91	c  701s |      17 |   500964 |   251532 |    29870     14 |     6847 |       43
705.08/705.21	c  703s |      17 |   504750 |   252432 |    29870     14 |     6847 |       43
707.28/707.44	c  706s |      17 |   508138 |   253332 |    29870     14 |     6847 |       43
709.48/709.64	c  708s |      17 |   511150 |   254332 |    29870     14 |     6847 |       43
711.68/711.87	c  710s |      17 |   513957 |   255232 |    29870     14 |     6847 |       43
713.88/714.08	c  712s |      17 |   515996 |   256232 |    29870     14 |     6847 |       43
716.08/716.26	c  714s |      17 |   518667 |   257032 |    29870     14 |     6847 |       43
718.28/718.47	c  717s |      17 |   522192 |   257832 |    29870     14 |     6847 |       43
720.48/720.66	c  719s |      17 |   524214 |   258732 |    29870     14 |     6847 |       43
722.68/722.82	c  721s |      17 |   526438 |   259532 |    29870     14 |     6847 |       43
724.78/724.95	c  723s |      17 |   528265 |   260332 |    29870     14 |     6847 |       43
726.77/726.97	c  725s |      17 |   529831 |   261132 |    29870     14 |     6847 |       43
728.97/729.14	c  727s |      17 |   531786 |   262032 |    29870     14 |     6847 |       43
731.07/731.29	c  729s |      17 |   534353 |   262732 |    29870     14 |     6847 |       43
733.27/733.40	c  731s |      17 |   536762 |   263432 |    29870     14 |     6847 |       43
735.47/735.60	c  734s |      17 |   538725 |   264232 |    29870     14 |     6847 |       43
737.67/737.81	c  736s |      17 |   541953 |   265132 |    29870     14 |     6847 |       43
739.77/739.95	c  738s |      17 |   544017 |   265732 |    29870     15 |     6847 |       43
741.97/742.14	c  740s |      17 |   546775 |   266532 |    29870     15 |     6847 |       43
744.17/744.37	c  742s |      17 |   549798 |   267432 |    29870     15 |     6847 |       43
746.17/746.38	c  744s |      17 |   552104 |   268332 |    29870     15 |     6847 |       43
748.27/748.48	c  747s |      17 |   554240 |   269032 |    29870     15 |     6847 |       43
750.37/750.51	c  749s |      17 |   556524 |   269832 |    29870     15 |     6847 |       43
752.57/752.71	c  751s |      17 |   559507 |   270732 |    29870     15 |     6847 |       43
754.77/754.98	c  753s |      17 |   561736 |   271632 |    29870     15 |     6847 |       43
756.87/757.03	c  755s |      17 |   563584 |   272432 |    29870     15 |     6847 |       43
759.07/759.20	c  757s |      17 |   565493 |   273232 |    29870     15 |     6847 |       43
761.27/761.42	c  760s |      17 |   567660 |   274032 |    29870     15 |     6847 |       43
763.47/763.61	c  762s |      17 |   570017 |   274832 |    29870     15 |     6847 |       43
765.67/765.82	c  764s |      17 |   571926 |   275432 |    29870     15 |     6847 |       43
767.77/767.96	c  766s |      17 |   574568 |   276032 |    29870     15 |     6847 |       43
770.07/770.24	c  768s |      17 |   577047 |   276832 |    29870     15 |     6847 |       43
772.37/772.52	c  771s |      17 |   579410 |   277532 |    29870     15 |     6847 |       43
774.47/774.61	c  773s |      17 |   581465 |   278332 |    29870     15 |     6847 |       43
776.66/776.87	c  775s |      17 |   583607 |   279032 |    29870     15 |     6847 |       43
778.77/778.91	c  777s |      17 |   585202 |   279632 |    29870     15 |     6847 |       43
780.97/781.13	c  779s |      17 |   587118 |   280432 |    29870     15 |     6847 |       43
782.96/783.20	c  781s |      17 |   589426 |   281132 |    29870     15 |     6847 |       43
785.37/785.57	c  784s |      17 |   591503 |   281732 |    29870     15 |     6847 |       43
787.86/788.02	c  786s |      17 |   594539 |   282232 |    29870     15 |     6847 |       43
790.06/790.23	c  788s |      17 |   596318 |   282832 |    29870     15 |     6847 |       43
792.26/792.46	c  791s |      17 |   598618 |   283332 |    29870     15 |     6847 |       43
794.36/794.53	c  793s |      17 |   599807 |   283932 |    29870     15 |     6847 |       43
796.46/796.62	c  795s |      17 |   600779 |   284332 |    29870     16 |     6847 |       43
798.57/798.73	c  797s |      17 |   602480 |   284932 |    29870     16 |     6847 |       43
800.77/800.98	c  799s |      17 |   604366 |   285632 |    29870     16 |     6847 |       43
802.87/803.09	c  801s |      17 |   606612 |   286432 |    29870     16 |     6847 |       43
805.07/805.24	c  803s |      17 |   609189 |   287232 |    29870     16 |     6847 |       43
807.16/807.34	c  805s |      17 |   610936 |   288032 |    29870     16 |     6847 |       43
809.26/809.49	c  808s |      17 |   612855 |   288932 |    29870     16 |     6847 |       43
811.56/811.74	c  810s |      17 |   614856 |   289632 |    29870     16 |     6847 |       43
813.66/813.81	c  812s |      17 |   617228 |   290232 |    29870     16 |     6847 |       43
815.76/815.99	c  814s |      17 |   619723 |   291032 |    29870     16 |     6847 |       43
818.06/818.20	c  816s |      17 |   621570 |   291732 |    29870     16 |     6847 |       43
820.06/820.26	c  818s |      17 |   623554 |   292332 |    29870     16 |     6847 |       43
822.26/822.40	c  820s |      17 |   625764 |   293032 |    29870     16 |     6847 |       43
824.26/824.43	c  823s |      17 |   627367 |   293732 |    29870     16 |     6847 |       43
826.46/826.66	c  825s |      17 |   629454 |   294432 |    32857     16 |     6847 |       43
828.46/828.66	c  827s |      17 |   631142 |   295032 |    32857     16 |     6847 |       43
830.66/830.83	c  829s |      17 |   632903 |   295732 |    32857     16 |     6847 |       43
832.26/832.45	c  831s |      18 |   633841 |   296252 |    32857     16 |     6847 |       43
837.86/838.02	c  836s |      18 |   634371 |   296352 |    32857     16 |     6847 |       43
840.06/840.24	c  838s |      18 |   635625 |   296752 |    32857     16 |     6847 |       43
845.06/845.22	c  843s |      18 |   636893 |   297252 |    32857     16 |     6847 |       43
847.06/847.25	c  845s |      18 |   638065 |   297752 |    32857     16 |     6847 |       43
849.35/849.57	c  848s |      18 |   638844 |   298352 |    32857     16 |     6847 |       43
851.45/851.66	c  850s |      18 |   639561 |   298852 |    32857     16 |     6847 |       43
853.65/853.86	c  852s |      18 |   640269 |   299452 |    32857     16 |     6847 |       43
855.66/855.87	c  854s |      18 |   640848 |   299952 |    32857     16 |     6847 |       43
857.75/857.92	c  856s |      18 |   641483 |   300452 |    32857     16 |     6847 |       43
859.95/860.10	c  858s |      18 |   642179 |   300952 |    32857     16 |     6847 |       43
862.05/862.25	c  860s |      18 |   643319 |   301452 |    32857     16 |     6847 |       43
864.15/864.33	c  862s |      18 |   644125 |   301952 |    32857     16 |     6847 |       43
866.25/866.41	c  865s |      18 |   644785 |   302452 |    32857     16 |     6847 |       43
868.45/868.66	c  867s |      18 |   645354 |   302952 |    32857     16 |     6847 |       43
870.45/870.67	c  869s |      18 |   645928 |   303452 |    32857     16 |     6847 |       43
872.75/872.96	c  871s |      18 |   646519 |   303952 |    32857     16 |     6847 |       43
875.15/875.32	c  873s |      18 |   647663 |   304452 |    32857     16 |     6847 |       43
877.25/877.42	c  876s |      18 |   649594 |   305152 |    32857     16 |     6847 |       43
879.45/879.69	c  878s |      18 |   650615 |   305752 |    32857     16 |     6847 |       43
881.95/882.19	c  880s |      18 |   651688 |   306252 |    32857     17 |     6847 |       43
884.05/884.30	c  882s |      18 |   653296 |   307052 |    32857     17 |     6847 |       43
886.15/886.35	c  884s |      18 |   655873 |   307852 |    32857     17 |     6847 |       43
888.45/888.60	c  887s |      18 |   658466 |   308752 |    32857     17 |     6847 |       43
890.45/890.70	c  889s |      18 |   660871 |   309552 |    32857     17 |     6847 |       43
892.55/892.75	c  891s |      18 |   661972 |   310252 |    32857     17 |     6847 |       43
894.65/894.85	c  893s |      18 |   662786 |   310952 |    32857     17 |     6847 |       43
896.75/896.90	c  895s |      18 |   663644 |   311552 |    32857     17 |     6847 |       43
898.86/899.05	c  897s |      18 |   665208 |   312352 |    32857     17 |     6847 |       43
901.06/901.28	c  899s |      18 |   666195 |   313052 |    32857     17 |     6847 |       43
910.45/910.62	c  909s |      18 |   666833 |   313552 |    32857     17 |     6847 |       43
912.45/912.63	c  911s |      18 |   667677 |   314052 |    32857     17 |     6847 |       43
916.95/917.14	c  915s |      18 |   668076 |   314352 |    32857     17 |     6847 |       43
918.95/919.16	c  917s |      18 |   668696 |   314952 |    32857     17 |     6847 |       43
921.15/921.36	c  919s |      18 |   670642 |   315552 |    32857     17 |     6847 |       43
923.34/923.53	c  922s |      18 |   673621 |   316352 |    32857     17 |     6847 |       43
925.34/925.56	c  924s |      18 |   674850 |   316952 |    32857     17 |     6847 |       43
927.54/927.77	c  926s |      18 |   676734 |   317852 |    32857     17 |     6847 |       43
929.54/929.78	c  928s |      18 |   678164 |   318452 |    32857     17 |     6847 |       43
931.74/931.96	c  930s |      18 |   680344 |   319152 |    32857     17 |     6847 |       43
934.04/934.25	c  932s |      18 |   681262 |   319852 |    32857     17 |     6847 |       43
936.05/936.26	c  934s |      18 |   683550 |   320252 |    32857     17 |     6847 |       43
938.34/938.51	c  937s |      18 |   686708 |   321052 |    32857     17 |     6847 |       43
940.45/940.63	c  939s |      18 |   688832 |   321852 |    32857     17 |     6847 |       43
942.74/942.94	c  941s |      18 |   690356 |   322452 |    32857     17 |     6847 |       43
944.75/944.95	c  943s |      18 |   692927 |   323152 |    32857     17 |     6847 |       43
947.05/947.22	c  945s |      18 |   695567 |   323752 |    32857     17 |     6847 |       43
949.34/949.53	c  948s |      18 |   697476 |   324252 |    32857     17 |     6847 |       43
951.64/951.84	c  950s |      18 |   699862 |   325052 |    32857     17 |     6847 |       43
953.74/953.97	c  952s |      18 |   701978 |   325852 |    32857     17 |     6847 |       43
955.85/956.05	c  954s |      18 |   703414 |   326452 |    32857     18 |     6847 |       43
957.84/958.06	c  956s |      18 |   705061 |   327152 |    32857     18 |     6847 |       43
959.94/960.16	c  958s |      18 |   707213 |   327952 |    32857     18 |     6847 |       43
962.04/962.28	c  960s |      18 |   708223 |   328652 |    32857     18 |     6847 |       43
964.34/964.52	c  963s |      18 |   709093 |   329452 |    32857     18 |     6847 |       43
966.54/966.71	c  965s |      18 |   710864 |   330152 |    32857     18 |     6847 |       43
968.64/968.85	c  967s |      18 |   712511 |   330852 |    32857     18 |     6847 |       43
970.74/970.99	c  969s |      18 |   715675 |   331452 |    32857     18 |     6847 |       43
972.84/973.08	c  971s |      18 |   717897 |   332152 |    32857     18 |     6847 |       43
975.34/975.50	c  974s |      18 |   719851 |   332852 |    32857     18 |     6847 |       43
977.54/977.74	c  976s |      18 |   722255 |   333452 |    32857     18 |     6847 |       43
979.54/979.76	c  978s |      18 |   724338 |   334152 |    32857     18 |     6847 |       43
981.73/981.96	c  980s |      18 |   726335 |   334752 |    32857     18 |     6847 |       43
984.03/984.22	c  982s |      18 |   728410 |   335452 |    32857     18 |     6847 |       43
986.13/986.30	c  984s |      18 |   730464 |   336152 |    32857     18 |     6847 |       43
988.23/988.46	c  987s |      18 |   732052 |   336852 |    32857     18 |     6847 |       43
990.33/990.54	c  989s |      18 |   732666 |   337452 |    32857     18 |     6847 |       43
992.43/992.68	c  991s |      18 |   733688 |   338152 |    32857     18 |     6847 |       43
994.53/994.71	c  993s |      18 |   735606 |   338952 |    32857     18 |     6847 |       43
996.63/996.85	c  995s |      18 |   736647 |   339652 |    32857     18 |     6847 |       43
998.74/998.92	c  997s |      18 |   738607 |   340252 |    32857     18 |     6847 |       43
1000.94/1001.19	c  999s |      18 |   739953 |   340952 |    32857     18 |     6847 |       43
1003.04/1003.30	c 1001s |      18 |   741221 |   341552 |    32857     18 |     6847 |       43
1005.13/1005.34	c 1003s |      18 |   742445 |   342052 |    32857     18 |     6847 |       43
1007.44/1007.68	c 1006s |      18 |   743186 |   342652 |    32857     18 |     6847 |       43
1009.93/1010.11	c 1008s |      18 |   745196 |   343152 |    32857     18 |     6847 |       43
1012.13/1012.33	c 1010s |      18 |   746430 |   343652 |    32857     18 |     6847 |       43
1014.34/1014.53	c 1013s |      18 |   747941 |   344252 |    32857     18 |     6847 |       43
1016.44/1016.64	c 1015s |      18 |   749579 |   344752 |    32857     18 |     6847 |       43
1018.64/1018.82	c 1017s |      18 |   750468 |   345252 |    32857     18 |     6847 |       43
1021.04/1021.23	c 1019s |      18 |   751556 |   345752 |    32857     18 |     6847 |       43
1023.34/1023.53	c 1022s |      18 |   752706 |   346252 |    32857     18 |     6847 |       43
1025.44/1025.65	c 1024s |      18 |   753687 |   346652 |    32857     19 |     6847 |       43
1027.54/1027.77	c 1026s |      18 |   755289 |   347352 |    32857     19 |     6847 |       43
1029.54/1029.78	c 1028s |      18 |   756334 |   348052 |    32857     19 |     6847 |       43
1031.84/1032.09	c 1030s |      18 |   756852 |   348452 |    32857     19 |     6847 |       43
1034.23/1034.41	c 1033s |      18 |   757770 |   349052 |    32857     19 |     6847 |       43
1036.33/1036.52	c 1035s |      18 |   758644 |   349652 |    32857     19 |     6847 |       43
1038.53/1038.71	c 1037s |      18 |   759397 |   350252 |    32857     19 |     6847 |       43
1040.63/1040.85	c 1039s |      18 |   760462 |   350852 |    32857     19 |     6847 |       43
1042.74/1042.97	c 1041s |      18 |   761365 |   351452 |    32857     19 |     6847 |       43
1044.84/1045.03	c 1043s |      18 |   762320 |   352052 |    32857     19 |     6847 |       43
1047.14/1047.31	c 1045s |      18 |   763396 |   352752 |    32857     19 |     6847 |       43
1049.24/1049.40	c 1047s |      18 |   764775 |   353352 |    32857     19 |     6847 |       43
1051.44/1051.61	c 1050s |      18 |   766149 |   353952 |    32857     19 |     6847 |       43
1053.74/1053.94	c 1052s |      18 |   767936 |   354652 |    32857     19 |     6847 |       43
1055.94/1056.16	c 1054s |      18 |   768975 |   355252 |    32857     19 |     6847 |       43
1057.93/1058.16	c 1056s |      18 |   770100 |   355852 |    32857     19 |     6847 |       43
1060.24/1060.45	c 1059s |      18 |   770877 |   356552 |    32857     19 |     6847 |       43
1062.33/1062.59	c 1061s |      18 |   771629 |   357152 |    32857     19 |     6847 |       43
1064.43/1064.64	c 1063s |      18 |   772485 |   357752 |    32857     19 |     6847 |       43
1066.53/1066.75	c 1065s |      18 |   773856 |   358352 |    32857     19 |     6847 |       43
1068.73/1068.96	c 1067s |      18 |   774936 |   358952 |    32857     19 |     6847 |       43
1070.93/1071.14	c 1069s |      18 |   775914 |   359552 |    32857     19 |     6847 |       43
1073.03/1073.27	c 1071s |      18 |   776827 |   360152 |    32857     19 |     6847 |       43
1075.03/1075.27	c 1073s |      18 |   777557 |   360752 |    32857     19 |     6847 |       43
1077.13/1077.31	c 1075s |      18 |   778478 |   361252 |    32857     19 |     6847 |       43
1079.13/1079.32	c 1077s |      18 |   779901 |   361752 |    32857     19 |     6847 |       43
1081.43/1081.64	c 1080s |      18 |   781255 |   362352 |    32857     19 |     6847 |       43
1083.53/1083.76	c 1082s |      18 |   782532 |   362952 |    32857     19 |     6847 |       43
1085.73/1085.96	c 1084s |      18 |   783438 |   363552 |    32857     19 |     6847 |       43
1088.03/1088.25	c 1086s |      18 |   784212 |   364252 |    32857     19 |     6847 |       43
1090.23/1090.44	c 1089s |      18 |   785016 |   364852 |    32857     19 |     6847 |       43
1092.42/1092.63	c 1091s |      18 |   785726 |   365452 |    32857     19 |     6847 |       43
1094.62/1094.84	c 1093s |      18 |   786511 |   366052 |    32857     19 |     6847 |       43
1096.82/1097.00	c 1095s |      18 |   787348 |   366652 |    32857     19 |     6847 |       43
1099.02/1099.23	c 1097s |      18 |   788100 |   367252 |    32857     20 |     6847 |       43
1101.12/1101.39	c 1099s |      18 |   790054 |   368052 |    32857     20 |     6847 |       43
1103.23/1103.46	c 1102s |      18 |   791361 |   368852 |    32857     20 |     6847 |       43
1105.33/1105.55	c 1104s |      18 |   793827 |   369652 |    32857     20 |     6847 |       43
1107.53/1107.71	c 1106s |      18 |   795736 |   370452 |    32857     20 |     6847 |       43
1109.52/1109.74	c 1108s |      18 |   797332 |   371152 |    32857     20 |     6847 |       43
1111.52/1111.79	c 1110s |      18 |   798933 |   371852 |    32857     20 |     6847 |       43
1113.72/1113.93	c 1112s |      18 |   799913 |   372552 |    32857     20 |     6847 |       43
1115.92/1116.13	c 1114s |      18 |   800796 |   373252 |    32857     20 |     6847 |       43
1118.02/1118.24	c 1116s |      18 |   802148 |   373952 |    32857     20 |     6847 |       43
1120.12/1120.35	c 1118s |      18 |   803074 |   374652 |    32857     20 |     6847 |       43
1122.22/1122.41	c 1121s |      18 |   804011 |   375352 |    32857     20 |     6847 |       43
1129.81/1130.00	c 1128s |      18 |   804695 |   375952 |    32857     20 |     6847 |       43
1132.01/1132.23	c 1130s |      18 |   806114 |   376652 |    32857     20 |     6847 |       43
1134.02/1134.28	c 1132s |      18 |   807402 |   377452 |    32857     20 |     6847 |       43
1136.22/1136.41	c 1135s |      18 |   808874 |   378152 |    32857     20 |     6847 |       43
1138.21/1138.45	c 1137s |      18 |   811305 |   378952 |    32857     20 |     6847 |       43
1140.31/1140.54	c 1139s |      18 |   813636 |   379752 |    32857     20 |     6847 |       43
1142.41/1142.61	c 1141s |      18 |   815663 |   380452 |    32857     20 |     6847 |       43
1144.61/1144.86	c 1143s |      18 |   817780 |   381352 |    32857     20 |     6847 |       43
1146.61/1146.87	c 1145s |      18 |   819195 |   382152 |    32857     20 |     6847 |       43
1148.81/1149.03	c 1147s |      18 |   820888 |   382952 |    32857     20 |     6847 |       43
1151.01/1151.21	c 1149s |      18 |   821766 |   383752 |    32857     20 |     6847 |       43
1153.21/1153.47	c 1152s |      18 |   822648 |   384552 |    32857     20 |     6847 |       43
1155.51/1155.75	c 1154s |      18 |   823529 |   385352 |    32857     20 |     6847 |       43
1157.71/1157.97	c 1156s |      18 |   824426 |   386152 |    32857     20 |     6847 |       43
1159.81/1160.00	c 1158s |      18 |   825228 |   386852 |    32857     20 |     6847 |       43
1162.01/1162.27	c 1160s |      18 |   825785 |   387252 |    32857     21 |     6847 |       43
1166.92/1167.15	c 1165s |      18 |   826273 |   387652 |    32857     21 |     6847 |       43
1169.12/1169.34	c 1167s |      18 |   828164 |   388252 |    32857     21 |     6847 |       43
1171.21/1171.47	c 1170s |      18 |   829614 |   389052 |    32857     21 |     6847 |       43
1173.31/1173.54	c 1172s |      18 |   830775 |   389852 |    32857     21 |     6847 |       43
1175.41/1175.67	c 1174s |      18 |   831748 |   390552 |    32857     21 |     6847 |       43
1177.61/1177.85	c 1176s |      18 |   833330 |   391352 |    32857     21 |     6847 |       43
1179.91/1180.16	c 1178s |      18 |   834503 |   392152 |    32857     21 |     6847 |       43
1181.91/1182.17	c 1180s |      18 |   836180 |   392952 |    32857     21 |     6847 |       43
1184.21/1184.41	c 1183s |      18 |   838323 |   393852 |    32857     21 |     6847 |       43
1186.21/1186.47	c 1185s |      18 |   839852 |   394652 |    32857     21 |     6847 |       43
1188.51/1188.78	c 1187s |      18 |   841076 |   395452 |    32857     21 |     6847 |       43
1190.81/1191.04	c 1189s |      18 |   841846 |   396152 |    32857     21 |     6847 |       43
1193.01/1193.26	c 1191s |      18 |   842644 |   396852 |    32857     21 |     6847 |       43
1195.21/1195.47	c 1194s |      18 |   843365 |   397552 |    32857     21 |     6847 |       43
1197.31/1197.54	c 1196s |      18 |   844156 |   398252 |    32857     21 |     6847 |       43
1200.01/1200.22	c 1198s |      18 |   844535 |   398552 |    32857     21 |     6847 |       43
1202.11/1202.37	c 1200s |      18 |   846071 |   399352 |    32857     21 |     6847 |       43
1204.10/1204.39	c 1202s |      18 |   847216 |   400052 |    32857     21 |     6847 |       43
1206.51/1206.76	c 1205s |      18 |   849666 |   400852 |    32857     21 |     6847 |       43
1208.60/1208.88	c 1207s |      18 |   853269 |   401352 |    32857     21 |     6847 |       43
1210.91/1211.20	c 1209s |      18 |   856846 |   402052 |    32857     21 |     6847 |       43
1213.11/1213.34	c 1211s |      18 |   859720 |   402852 |    32857     21 |     6847 |       43
1215.20/1215.50	c 1214s |      18 |   861104 |   403752 |    32857     21 |     6847 |       43
1217.40/1217.70	c 1216s |      18 |   862139 |   404552 |    32857     21 |     6847 |       43
1219.59/1219.83	c 1218s |      18 |   863020 |   405352 |    32857     21 |     6847 |       43
1221.59/1221.87	c 1220s |      18 |   863809 |   406052 |    32857     21 |     6847 |       43
1223.79/1224.06	c 1222s |      18 |   864875 |   406952 |    32857     21 |     6847 |       43
1225.89/1226.15	c 1224s |      18 |   865598 |   407652 |    32857     22 |     6847 |       43
1229.49/1229.76	c 1228s |      18 |   865822 |   407852 |    32857     22 |     6847 |       43
1231.59/1231.84	c 1230s |      18 |   866910 |   408552 |    32857     22 |     6847 |       43
1233.69/1233.94	c 1232s |      18 |   868221 |   409452 |    32857     22 |     6847 |       43
1235.69/1235.97	c 1234s |      18 |   869471 |   410352 |    32857     22 |     6847 |       43
1237.79/1238.05	c 1236s |      18 |   871388 |   411252 |    32857     22 |     6847 |       43
1239.78/1240.06	c 1238s |      18 |   873910 |   411952 |    32857     22 |     6847 |       43
1242.08/1242.31	c 1240s |      18 |   876562 |   412752 |    32857     22 |     6847 |       43
1244.18/1244.45	c 1243s |      18 |   878707 |   413552 |    32857     22 |     6847 |       43
1246.28/1246.56	c 1245s |      18 |   880083 |   414352 |    32857     22 |     6847 |       43
1248.29/1248.56	c 1247s |      18 |   880899 |   415152 |    32857     22 |     6847 |       43
1250.48/1250.74	c 1249s |      18 |   881833 |   416052 |    32857     22 |     6847 |       43
1252.87/1253.15	c 1251s |      18 |   882371 |   416552 |    32857     22 |     6847 |       43
1255.07/1255.36	c 1253s |      18 |   884729 |   417452 |    32857     22 |     6847 |       43
1257.08/1257.38	c 1255s |      18 |   887019 |   418252 |    32857     22 |     6847 |       43
1259.17/1259.40	c 1257s |      18 |   889622 |   419052 |    32857     22 |     6847 |       43
1261.27/1261.54	c 1260s |      18 |   891392 |   420052 |    32857     22 |     6847 |       43
1263.38/1263.66	c 1262s |      18 |   892653 |   420952 |    32857     22 |     6847 |       43
1265.58/1265.81	c 1264s |      18 |   894110 |   421852 |    32857     22 |     6847 |       43
1267.58/1267.83	c 1266s |      18 |   895614 |   422652 |    32857     22 |     6847 |       43
1269.67/1269.90	c 1268s |      18 |   897789 |   423452 |    32857     22 |     6847 |       43
1271.77/1272.01	c 1270s |      18 |   899416 |   424352 |    32857     22 |     6847 |       43
1273.97/1274.21	c 1272s |      18 |   901138 |   425152 |    32857     22 |     6847 |       43
1275.97/1276.23	c 1274s |      18 |   902193 |   425752 |    32857     22 |     6847 |       43
1278.17/1278.41	c 1277s |      18 |   903244 |   426452 |    32857     22 |     6847 |       43
1280.17/1280.49	c 1279s |      18 |   904377 |   427152 |    32857     22 |     6847 |       43
1282.47/1282.76	c 1281s |      18 |   905325 |   427652 |    32857     23 |     6847 |       43
1284.86/1285.16	c 1283s |      18 |   905518 |   427752 |    32857     23 |     6847 |       43
1287.06/1287.32	c 1285s |      18 |   907319 |   428652 |    32857     23 |     6847 |       43
1289.16/1289.49	c 1288s |      18 |   908890 |   429552 |    32857     23 |     6847 |       43
1291.35/1291.67	c 1290s |      18 |   911802 |   430352 |    32857     23 |     6847 |       43
1293.36/1293.70	c 1292s |      18 |   914152 |   431152 |    32857     23 |     6847 |       43
1295.45/1295.75	c 1294s |      18 |   915699 |   432052 |    32857     23 |     6847 |       43
1297.45/1297.78	c 1296s |      18 |   916604 |   432852 |    32857     23 |     6847 |       43
1299.55/1299.86	c 1298s |      18 |   917874 |   433652 |    32857     23 |     6847 |       43
1301.65/1301.96	c 1300s |      18 |   919468 |   434452 |    32857     23 |     6847 |       43
1303.65/1303.96	c 1302s |      18 |   920832 |   435152 |    32857     23 |     6847 |       43
1305.65/1305.98	c 1304s |      18 |   922330 |   435952 |    32857     23 |     6847 |       43
1307.85/1308.10	c 1306s |      18 |   923386 |   436752 |    32857     23 |     6847 |       43
1309.96/1310.22	c 1308s |      18 |   924262 |   437552 |    32857     23 |     6847 |       43
1312.06/1312.39	c 1310s |      18 |   926324 |   438452 |    32857     23 |     6847 |       43
1314.26/1314.56	c 1313s |      18 |   927910 |   439352 |    32857     23 |     6847 |       43
1316.35/1316.68	c 1315s |      18 |   930357 |   440152 |    32857     23 |     6847 |       43
1318.45/1318.72	c 1317s |      18 |   931480 |   440952 |    32857     23 |     6847 |       43
1320.64/1320.94	c 1319s |      18 |   933541 |   441852 |    36143     23 |     6847 |       43
1322.64/1322.96	c 1321s |      18 |   934803 |   442652 |    36143     23 |     6847 |       43
1324.84/1325.10	c 1323s |      18 |   936114 |   443452 |    36143     23 |     6847 |       43
1327.03/1327.36	c 1325s |      18 |   938123 |   444152 |    36143     23 |     6847 |       43
1328.03/1328.31	c 1326s |      19 |   938962 |   444482 |    36143     23 |     6847 |       43
1330.13/1330.47	c 1329s |      19 |   940649 |   444982 |    36143     23 |     6847 |       43
1332.23/1332.53	c 1331s |      19 |   943736 |   445682 |    36143     23 |     6847 |       43
1334.43/1334.77	c 1333s |      19 |   946697 |   446282 |    36143     23 |     6847 |       43
1336.43/1336.78	c 1335s |      19 |   949213 |   446982 |    36143     23 |     6847 |       43
1338.63/1338.94	c 1337s |      19 |   951126 |   447782 |    36143     23 |     6847 |       43
1340.63/1340.98	c 1339s |      19 |   952853 |   448382 |    36143     23 |     6847 |       43
1342.83/1343.13	c 1341s |      19 |   955617 |   449282 |    36143     23 |     6847 |       43
1344.82/1345.17	c 1343s |      19 |   958072 |   449982 |    36143     23 |     6847 |       43
1346.82/1347.19	c 1345s |      19 |   959841 |   450682 |    36143     23 |     6847 |       43
1349.22/1349.54	c 1348s |      19 |   960775 |   451182 |    36143     24 |     6847 |       43
1351.52/1351.81	c 1350s |      19 |   960981 |   451282 |    36143     24 |     6847 |       43
1353.72/1354.08	c 1352s |      19 |   961727 |   451682 |    36143     24 |     6847 |       43
1355.92/1356.25	c 1354s |      19 |   963969 |   452382 |    36143     24 |     6847 |       43
1358.12/1358.40	c 1356s |      19 |   966349 |   453082 |    36143     24 |     6847 |       43
1360.21/1360.54	c 1359s |      19 |   968178 |   453882 |    36143     24 |     6847 |       43
1362.41/1362.75	c 1361s |      19 |   970323 |   454582 |    36143     24 |     6847 |       43
1364.41/1364.79	c 1363s |      19 |   971626 |   455282 |    36143     24 |     6847 |       43
1366.71/1367.04	c 1365s |      19 |   973876 |   456082 |    36143     24 |     6847 |       43
1368.71/1369.09	c 1367s |      19 |   975785 |   456882 |    36143     24 |     6847 |       43
1371.01/1371.32	c 1369s |      19 |   977270 |   457682 |    36143     24 |     6847 |       43
1383.20/1383.50	c 1382s |      19 |   977636 |   457882 |    36143     24 |     6847 |       43
1385.40/1385.72	c 1384s |      19 |   978922 |   458482 |    36143     24 |     6847 |       43
1387.50/1387.80	c 1386s |      19 |   980624 |   459182 |    36143     24 |     6847 |       43
1389.50/1389.89	c 1388s |      19 |   981713 |   459882 |    36143     24 |     6847 |       43
1391.60/1391.95	c 1390s |      19 |   982976 |   460582 |    36143     24 |     6847 |       43
1393.80/1394.12	c 1392s |      19 |   984698 |   461282 |    36143     24 |     6847 |       43
1395.90/1396.24	c 1394s |      19 |   985840 |   461982 |    36143     24 |     6847 |       43
1398.20/1398.52	c 1397s |      19 |   986870 |   462682 |    36143     24 |     6847 |       43
1400.49/1400.83	c 1399s |      19 |   988040 |   463382 |    36143     24 |     6847 |       43
1402.79/1403.15	c 1401s |      19 |   989012 |   464082 |    36143     24 |     6847 |       43
1404.99/1405.32	c 1403s |      19 |   990279 |   464782 |    36143     24 |     6847 |       43
1407.19/1407.55	c 1406s |      19 |   992338 |   465482 |    36143     24 |     6847 |       43
1409.49/1409.88	c 1408s |      19 |   994400 |   466182 |    36143     24 |     6847 |       43
1411.89/1412.25	c 1410s |      19 |   996182 |   466882 |    36143     24 |     6847 |       43
1413.99/1414.34	c 1412s |      19 |   997860 |   467482 |    36143     24 |     6847 |       43
1416.09/1416.45	c 1415s |      19 |   999415 |   468182 |    36143     24 |     6847 |       43
1418.09/1418.47	c 1417s |      19 |  1000288 |   468782 |    36143     24 |     6847 |       43
1420.08/1420.48	c 1419s |      19 |  1001534 |   469382 |    36143     24 |     6847 |       43
1422.28/1422.61	c 1421s |      19 |  1002752 |   469982 |    36143     24 |     6847 |       43
1424.48/1424.80	c 1423s |      19 |  1004156 |   470682 |    36143     24 |     6847 |       43
1426.58/1426.91	c 1425s |      19 |  1005950 |   471282 |    36143     24 |     6847 |       43
1428.69/1429.02	c 1427s |      19 |  1007103 |   471882 |    36143     24 |     6847 |       43
1430.79/1431.18	c 1429s |      19 |  1008708 |   472482 |    36143     24 |     6847 |       43
1433.28/1433.63	c 1432s |      19 |  1010067 |   473082 |    36143     25 |     6847 |       43
1435.29/1435.63	c 1434s |      19 |  1011144 |   473782 |    36143     25 |     6847 |       43
1437.28/1437.69	c 1436s |      19 |  1012654 |   474582 |    36143     25 |     6847 |       43
1439.37/1439.77	c 1438s |      19 |  1014151 |   475382 |    36143     25 |     6847 |       43
1441.67/1442.03	c 1440s |      19 |  1015433 |   476282 |    36143     25 |     6847 |       43
1443.87/1444.28	c 1442s |      19 |  1016465 |   477082 |    36143     25 |     6847 |       43
1445.97/1446.36	c 1444s |      19 |  1017678 |   477682 |    36143     25 |     6847 |       43
1448.17/1448.50	c 1447s |      19 |  1019297 |   478382 |    36143     25 |     6847 |       43
1450.17/1450.53	c 1449s |      19 |  1021541 |   479082 |    36143     25 |     6847 |       43
1452.27/1452.60	c 1451s |      19 |  1023515 |   479782 |    36143     25 |     6847 |       43
1454.27/1454.65	c 1453s |      19 |  1025230 |   480582 |    36143     25 |     6847 |       43
1456.47/1456.87	c 1455s |      19 |  1027174 |   481382 |    36143     25 |     6847 |       43
1458.77/1459.11	c 1457s |      19 |  1028485 |   481982 |    36143     25 |     6847 |       43
1460.87/1461.27	c 1459s |      19 |  1029943 |   482682 |    36143     25 |     6847 |       43
1463.07/1463.42	c 1462s |      19 |  1030878 |   483382 |    36143     25 |     6847 |       43
1465.17/1465.59	c 1464s |      19 |  1031552 |   483982 |    36143     25 |     6847 |       43
1467.37/1467.77	c 1466s |      19 |  1032503 |   484782 |    36143     25 |     6847 |       43
1469.56/1469.97	c 1468s |      19 |  1033455 |   485582 |    36143     25 |     6847 |       43
1471.76/1472.17	c 1470s |      19 |  1034317 |   486382 |    36143     25 |     6847 |       43
1473.86/1474.20	c 1472s |      19 |  1035200 |   487182 |    36143     25 |     6847 |       43
1475.97/1476.35	c 1474s |      19 |  1036138 |   488082 |    36143     25 |     6847 |       43
1477.96/1478.39	c 1476s |      19 |  1036901 |   488782 |    36143     25 |     6847 |       43
1480.06/1480.44	c 1479s |      19 |  1037416 |   489282 |    36143     25 |     6847 |       43
1493.95/1494.39	c 1492s |      19 |  1037628 |   489482 |    36143     25 |     6847 |       43
1496.25/1496.65	c 1495s |      19 |  1038275 |   490082 |    36143     25 |     6847 |       43
1498.25/1498.69	c 1497s |      19 |  1038990 |   490682 |    36143     25 |     6847 |       43
1500.45/1500.84	c 1499s |      19 |  1039982 |   491582 |    36143     25 |     6847 |       43
1502.75/1503.14	c 1501s |      19 |  1040867 |   492382 |    36143     25 |     6847 |       43
1504.85/1505.24	c 1503s |      19 |  1041620 |   493082 |    36143     25 |     6847 |       43
1506.95/1507.30	c 1505s |      19 |  1042157 |   493582 |    36143     25 |     6847 |       43
1508.85/1509.30	c 1507s |      19 |  1042811 |   494182 |    36143     25 |     6847 |       43
1511.05/1511.50	c 1510s |      19 |  1043762 |   494882 |    36143     25 |     6847 |       43
1513.25/1513.62	c 1512s |      19 |  1044110 |   495182 |    36143     26 |     6847 |       43
1515.35/1515.70	c 1514s |      19 |  1045025 |   495982 |    36143     26 |     6847 |       43
1517.35/1517.78	c 1516s |      19 |  1046100 |   496982 |    36143     26 |     6847 |       43
1519.55/1519.95	c 1518s |      19 |  1047092 |   497882 |    36143     26 |     6847 |       43
1521.75/1522.10	c 1520s |      19 |  1048038 |   498682 |    36143     26 |     6847 |       43
1523.85/1524.25	c 1522s |      19 |  1049013 |   499482 |    36143     26 |     6847 |       43
1525.95/1526.34	c 1524s |      19 |  1049864 |   500182 |    36143     26 |     6847 |       43
1528.15/1528.52	c 1527s |      19 |  1050799 |   501082 |    36143     26 |     6847 |       43
1530.24/1530.64	c 1529s |      19 |  1051534 |   501782 |    36143     26 |     6847 |       43
1532.44/1532.84	c 1531s |      19 |  1052377 |   502582 |    36143     26 |     6847 |       43
1534.54/1534.91	c 1533s |      19 |  1053273 |   503382 |    36143     26 |     6847 |       43
1536.74/1537.10	c 1535s |      19 |  1054290 |   504282 |    36143     26 |     6847 |       43
1538.74/1539.13	c 1537s |      19 |  1055285 |   505082 |    36143     26 |     6847 |       43
1540.74/1541.16	c 1539s |      19 |  1056234 |   505882 |    36143     26 |     6847 |       43
1542.84/1543.29	c 1541s |      19 |  1057253 |   506682 |    36143     26 |     6847 |       43
1545.04/1545.40	c 1543s |      19 |  1058012 |   507282 |    36143     26 |     6847 |       43
1547.03/1547.43	c 1546s |      19 |  1058685 |   507882 |    36143     26 |     6847 |       43
1549.33/1549.75	c 1548s |      19 |  1059498 |   508582 |    36143     26 |     6847 |       43
1551.53/1551.96	c 1550s |      19 |  1060325 |   509382 |    36143     26 |     6847 |       43
1553.73/1554.11	c 1552s |      19 |  1061262 |   510282 |    36143     26 |     6847 |       43
1555.83/1556.26	c 1554s |      19 |  1061996 |   510982 |    36143     26 |     6847 |       43
1558.13/1558.51	c 1557s |      19 |  1062729 |   511682 |    36143     26 |     6847 |       43
1562.44/1562.82	c 1561s |      19 |  1062941 |   511882 |    36143     26 |     6847 |       43
1566.43/1566.88	c 1565s |      19 |  1063053 |   511982 |    36143     26 |     6847 |       43
1568.53/1568.94	c 1567s |      19 |  1063825 |   512682 |    36143     26 |     6847 |       43
1570.63/1571.02	c 1569s |      19 |  1064997 |   513382 |    36143     26 |     6847 |       43
1572.64/1573.03	c 1571s |      19 |  1066189 |   514182 |    36143     26 |     6847 |       43
1574.73/1575.11	c 1573s |      19 |  1067355 |   514982 |    36143     26 |     6847 |       43
1576.73/1577.17	c 1575s |      19 |  1068673 |   515882 |    36143     26 |     6847 |       43
1578.93/1579.38	c 1577s |      19 |  1069778 |   516582 |    36143     26 |     6847 |       43
1581.32/1581.76	c 1580s |      19 |  1070167 |   516882 |    36143     27 |     6847 |       43
1583.52/1583.94	c 1582s |      19 |  1071405 |   517582 |    36143     27 |     6847 |       43
1585.52/1585.96	c 1584s |      19 |  1072223 |   518282 |    36143     27 |     6847 |       43
1587.72/1588.15	c 1586s |      19 |  1073860 |   519182 |    36143     27 |     6847 |       43
1589.82/1590.22	c 1588s |      19 |  1076050 |   520082 |    36143     27 |     6847 |       43
1591.92/1592.38	c 1590s |      19 |  1077745 |   520882 |    36143     27 |     6847 |       43
1594.12/1594.58	c 1593s |      19 |  1079778 |   521682 |    36143     27 |     6847 |       43
1596.12/1596.59	c 1595s |      19 |  1081810 |   522582 |    36143     27 |     6847 |       43
1598.32/1598.70	c 1597s |      19 |  1082753 |   523382 |    36143     27 |     6847 |       43
1600.52/1601.00	c 1599s |      19 |  1083827 |   524282 |    36143     27 |     6847 |       43
1602.62/1603.05	c 1601s |      19 |  1084909 |   524982 |    36143     27 |     6847 |       43
1604.72/1605.16	c 1603s |      19 |  1085868 |   525682 |    36143     27 |     6847 |       43
1606.92/1607.32	c 1605s |      19 |  1086835 |   526482 |    36143     27 |     6847 |       43
1609.03/1609.41	c 1608s |      19 |  1087966 |   527282 |    36143     27 |     6847 |       43
1611.22/1611.61	c 1610s |      19 |  1090396 |   528082 |    36143     27 |     6847 |       43
1613.42/1613.81	c 1612s |      19 |  1091937 |   528882 |    36143     27 |     6847 |       43
1615.42/1615.87	c 1614s |      19 |  1093409 |   529682 |    36143     27 |     6847 |       43
1617.52/1617.91	c 1616s |      19 |  1094684 |   530382 |    36143     27 |     6847 |       43
1619.61/1620.03	c 1618s |      19 |  1095888 |   531182 |    36143     27 |     6847 |       43
1621.81/1622.25	c 1620s |      19 |  1096888 |   531882 |    36143     27 |     6847 |       43
1623.81/1624.28	c 1622s |      19 |  1098658 |   532582 |    36143     27 |     6847 |       43
1625.91/1626.37	c 1624s |      19 |  1099634 |   533282 |    36143     27 |     6847 |       43
1628.11/1628.59	c 1627s |      19 |  1101255 |   533982 |    36143     27 |     6847 |       43
1630.30/1630.70	c 1629s |      19 |  1102047 |   534582 |    36143     27 |     6847 |       43
1632.50/1632.92	c 1631s |      19 |  1103631 |   535382 |    36143     27 |     6847 |       43
1634.70/1635.13	c 1633s |      19 |  1104411 |   535982 |    36143     27 |     6847 |       43
1636.90/1637.38	c 1635s |      19 |  1105308 |   536682 |    36143     27 |     6847 |       43
1639.10/1639.51	c 1638s |      19 |  1106541 |   537182 |    36143     27 |     6847 |       43
1641.10/1641.59	c 1640s |      19 |  1108823 |   537782 |    36143     27 |     6847 |       43
1643.30/1643.79	c 1642s |      19 |  1110675 |   538382 |    36143     27 |     6847 |       43
1645.40/1645.84	c 1644s |      19 |  1111688 |   538782 |    36143     28 |     6847 |       43
1647.99/1648.42	c 1647s |      19 |  1113700 |   539682 |    36143     28 |     6847 |       43
1650.09/1650.52	c 1649s |      19 |  1115226 |   540382 |    36143     28 |     6847 |       43
1652.09/1652.57	c 1651s |      19 |  1117474 |   541182 |    36143     28 |     6847 |       43
1654.19/1654.65	c 1653s |      19 |  1118790 |   541882 |    36143     28 |     6847 |       43
1656.20/1656.65	c 1655s |      19 |  1119930 |   542582 |    36143     28 |     6847 |       43
1658.50/1658.92	c 1657s |      19 |  1121542 |   543382 |    36143     28 |     6847 |       43
1660.60/1661.08	c 1659s |      19 |  1122540 |   544082 |    36143     28 |     6847 |       43
1662.90/1663.32	c 1661s |      19 |  1123661 |   544782 |    36143     28 |     6847 |       43
1664.89/1665.36	c 1663s |      19 |  1124643 |   545382 |    36143     28 |     6847 |       43
1667.09/1667.55	c 1666s |      19 |  1125527 |   546182 |    36143     28 |     6847 |       43
1669.59/1670.06	c 1668s |      19 |  1126566 |   546982 |    36143     28 |     6847 |       43
1671.69/1672.18	c 1670s |      19 |  1127727 |   547582 |    36143     28 |     6847 |       43
1673.89/1674.34	c 1672s |      19 |  1129471 |   548282 |    36143     28 |     6847 |       43
1676.28/1676.70	c 1675s |      19 |  1131756 |   549082 |    36143     28 |     6847 |       43
1678.48/1678.91	c 1677s |      19 |  1132746 |   549682 |    36143     28 |     6847 |       43
1680.49/1680.97	c 1679s |      19 |  1134074 |   550382 |    36143     28 |     6847 |       43
1682.59/1683.03	c 1681s |      19 |  1135412 |   551082 |    36143     28 |     6847 |       43
1684.79/1685.26	c 1683s |      19 |  1136426 |   551682 |    36143     28 |     6847 |       43
1687.18/1687.62	c 1686s |      19 |  1137655 |   552482 |    36143     28 |     6847 |       43
1689.38/1689.83	c 1688s |      19 |  1138390 |   553082 |    36143     28 |     6847 |       43
1691.48/1691.95	c 1690s |      19 |  1139286 |   553682 |    36143     28 |     6847 |       43
1693.68/1694.19	c 1692s |      19 |  1139903 |   554282 |    36143     28 |     6847 |       43
1695.88/1696.36	c 1694s |      19 |  1141033 |   554982 |    36143     28 |     6847 |       43
1697.98/1698.49	c 1697s |      19 |  1143167 |   555782 |    36143     28 |     6847 |       43
1700.18/1700.70	c 1699s |      19 |  1145882 |   556582 |    36143     28 |     6847 |       43
1702.38/1702.80	c 1701s |      19 |  1148128 |   557182 |    36143     28 |     6847 |       43
1704.47/1704.91	c 1703s |      19 |  1150651 |   557982 |    36143     28 |     6847 |       43
1706.57/1707.08	c 1705s |      19 |  1152720 |   558782 |    36143     28 |     6847 |       43
1708.67/1709.18	c 1707s |      19 |  1154731 |   559482 |    36143     28 |     6847 |       43
1710.77/1711.28	c 1709s |      19 |  1156686 |   560082 |    36143     28 |     6847 |       43
1712.77/1713.30	c 1711s |      19 |  1158832 |   560582 |    36143     28 |     6847 |       43
1714.87/1715.30	c 1713s |      19 |  1159936 |   560882 |    36143     29 |     6847 |       43
1716.87/1717.39	c 1715s |      19 |  1162646 |   561582 |    36143     29 |     6847 |       43
1719.07/1719.51	c 1718s |      19 |  1165065 |   562382 |    36143     29 |     6847 |       43
1721.17/1721.65	c 1720s |      19 |  1167402 |   563182 |    36143     29 |     6847 |       43
1723.37/1723.88	c 1722s |      19 |  1169005 |   563882 |    36143     29 |     6847 |       43
1725.57/1726.08	c 1724s |      19 |  1170945 |   564782 |    36143     29 |     6847 |       43
1727.77/1728.25	c 1726s |      19 |  1172889 |   565682 |    36143     29 |     6847 |       43
1730.06/1730.54	c 1729s |      19 |  1174765 |   566482 |    36143     29 |     6847 |       43
1732.16/1732.62	c 1731s |      19 |  1176465 |   567282 |    36143     29 |     6847 |       43
1734.26/1734.77	c 1733s |      19 |  1178394 |   568082 |    36143     29 |     6847 |       43
1736.56/1737.03	c 1735s |      19 |  1179359 |   568682 |    36143     29 |     6847 |       43
1738.56/1739.07	c 1737s |      19 |  1180119 |   569282 |    36143     29 |     6847 |       43
1740.96/1741.43	c 1740s |      19 |  1180866 |   569882 |    36143     29 |     6847 |       43
1743.06/1743.59	c 1742s |      19 |  1181563 |   570482 |    36143     29 |     6847 |       43
1745.15/1745.64	c 1744s |      19 |  1182317 |   571082 |    36143     29 |     6847 |       43
1747.15/1747.66	c 1746s |      19 |  1183248 |   571782 |    36143     29 |     6847 |       43
1749.35/1749.89	c 1748s |      19 |  1183919 |   572282 |    36143     29 |     6847 |       43
1751.45/1751.93	c 1750s |      19 |  1185215 |   572782 |    36143     29 |     6847 |       43
1753.65/1754.19	c 1752s |      19 |  1186625 |   573282 |    36143     29 |     6847 |       43
1755.85/1756.36	c 1754s |      19 |  1188096 |   573782 |    36143     29 |     6847 |       43
1757.94/1758.40	c 1756s |      19 |  1189213 |   574282 |    36143     29 |     6847 |       43
1760.24/1760.78	c 1759s |      19 |  1190945 |   574882 |    36143     29 |     6847 |       43
1762.44/1762.91	c 1761s |      19 |  1193494 |   575282 |    36143     29 |     6847 |       43
1764.44/1764.93	c 1763s |      19 |  1195345 |   575682 |    36143     29 |     6847 |       43
1766.74/1767.22	c 1765s |      19 |  1197631 |   576082 |    36143     29 |     6847 |       43
1769.04/1769.51	c 1768s |      19 |  1199433 |   576482 |    36143     29 |     6847 |       43
1771.14/1771.61	c 1770s |      19 |  1200437 |   576882 |    36143     29 |     6847 |       43
1773.24/1773.74	c 1772s |      19 |  1201316 |   577382 |    36143     29 |     6847 |       43
1775.44/1775.99	c 1774s |      19 |  1201950 |   577982 |    36143     29 |     6847 |       43
1777.64/1778.19	c 1776s |      19 |  1202484 |   578482 |    36143     29 |     6847 |       43
1779.83/1780.34	c 1778s |      19 |  1203021 |   578982 |    36143     29 |     6847 |       43
1782.23/1782.72	c 1781s |      19 |  1203639 |   579582 |    36143     29 |     6847 |       43
1784.33/1784.82	c 1783s |      19 |  1205381 |   580082 |    36143     29 |     6847 |       43
1786.53/1787.00	c 1785s |      19 |  1206410 |   580682 |    36143     29 |     6847 |       43
1788.73/1789.29	c 1787s |      19 |  1208045 |   581482 |    36143     29 |     6847 |       43
1791.03/1791.56	c 1790s |      19 |  1209282 |   582082 |    36143     29 |     6847 |       43
1793.23/1793.71	c 1792s |      19 |  1210515 |   582582 |    36143     30 |     6847 |       43
1795.23/1795.78	c 1794s |      19 |  1212342 |   583182 |    36143     30 |     6847 |       43
1797.33/1797.86	c 1796s |      19 |  1214904 |   584082 |    36143     30 |     6847 |       43
1799.53/1800.05	c 1798s |      19 |  1216065 |   584782 |    36143     30 |     6847 |       43

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.16 2.17 3/179 15046
/proc/meminfo: memFree=29350340/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=653756 CPUtime=0 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 2424 0 0 0 0 0 0 0 20 0 4 0 23754440 669446144 2785 33554432000 4194304 16246674 140736244767120 140736244766544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 163951 2795 441 2943 0 160845 0
[pid=15046/tid=15047] ppid=15043 vsize=671164 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 687271936 2855 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=676284 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 692514816 2874 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=680380 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23754440 696709120 2889 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.15 2.16 2.17 3/179 15046
/proc/meminfo: memFree=29350340/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 28694 0 0 0 5 3 0 0 20 0 4 0 23754440 1333334016 28993 33554432000 4194304 16246674 140736244767120 140736244766432 8055408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 325521 29008 801 2943 0 322415 0
[pid=15046/tid=15047] ppid=15043 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1333334016 29019 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1333334016 29030 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1333334016 29041 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200533 s]
/proc/loadavg: 2.15 2.16 2.17 3/179 15046
/proc/meminfo: memFree=29350340/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 49120 0 0 0 12 7 0 0 20 0 4 0 23754440 1344868352 49929 33554432000 4194304 16246674 140736244767120 140736244766432 12751158 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 328337 49929 801 2943 0 325231 0
[pid=15046/tid=15047] ppid=15043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1344868352 49929 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1344868352 49929 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1344868352 49929 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300494 s]
/proc/loadavg: 2.15 2.16 2.17 3/179 15046
/proc/meminfo: memFree=29350340/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 57851 0 0 0 20 8 0 0 20 0 4 0 23754440 1344868352 58660 33554432000 4194304 16246674 140736244767120 140736244748992 12449282 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 328337 58660 832 2943 0 325231 0
[pid=15046/tid=15047] ppid=15043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1344868352 58660 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1344868352 58660 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1344868352 58660 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.70042 s]
/proc/loadavg: 2.15 2.16 2.17 3/179 15046
/proc/meminfo: memFree=29350340/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 88245 0 0 0 57 12 0 0 20 0 4 0 23754440 1344868352 89054 33554432000 4194304 16246674 140736244767120 140736244766432 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 328337 89054 836 2943 0 325231 0
[pid=15046/tid=15047] ppid=15043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1344868352 89054 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1344868352 89054 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1344868352 89054 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 15050
/proc/meminfo: memFree=28934044/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1316420 CPUtime=1.49 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 103760 0 0 0 134 15 0 0 20 0 4 0 23754440 1348014080 104569 33554432000 4194304 16246674 140736244767120 140736244764928 5813984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 329105 104569 893 2943 0 325999 0
[pid=15046/tid=15047] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 104569 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 104569 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 104569 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.1003 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 15050
/proc/meminfo: memFree=28932220/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1316420 CPUtime=3.09 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 162520 0 0 0 287 22 0 0 20 0 4 0 23754440 1348014080 163329 33554432000 4194304 16246674 140736244767120 140736244748992 5829366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 329105 163331 893 2943 0 325999 0
[pid=15046/tid=15047] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 163333 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 163335 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 163338 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420

[startup+6.30041 s]
/proc/loadavg: 2.14 2.16 2.17 3/183 15050
/proc/meminfo: memFree=28268820/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1316420 CPUtime=6.28 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 269785 0 0 0 592 36 0 0 20 0 4 0 23754440 1348014080 270594 33554432000 4194304 16246674 140736244767120 140736244748992 13950688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 329105 270594 893 2943 0 325999 0
[pid=15046/tid=15047] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270594 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270594 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270594 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.13 2.16 2.17 3/182 15050
/proc/meminfo: memFree=28268640/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1316420 CPUtime=12.68 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 269787 0 0 0 1232 36 0 0 20 0 4 0 23754440 1348014080 270596 33554432000 4194304 16246674 140736244767120 140736244748992 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 329105 270596 895 2943 0 325999 0
[pid=15046/tid=15047] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270596 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270596 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270596 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.17 2.16 2.17 3/183 15051
/proc/meminfo: memFree=28269276/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1316420 CPUtime=25.48 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 269787 0 0 0 2512 36 0 0 20 0 4 0 23754440 1348014080 270596 33554432000 4194304 16246674 140736244767120 140736244748992 5599971 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 329105 270596 895 2943 0 325999 0
[pid=15046/tid=15047] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270596 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270596 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270596 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1004 s]
/proc/loadavg: 2.11 2.15 2.16 3/183 15051
/proc/meminfo: memFree=28269280/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 269791 0 0 0 5071 37 0 0 20 0 4 0 23754440 1348014080 270600 33554432000 4194304 16246674 140736244767120 140736244748992 5600808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 329105 270600 899 2943 0 325999 0
[pid=15046/tid=15047] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270600 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270600 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1348014080 270600 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.22 2.17 2.17 3/183 15052
/proc/meminfo: memFree=28264908/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1320516 CPUtime=102.28 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 270815 0 0 0 10191 37 0 0 20 0 4 0 23754440 1352208384 271624 33554432000 4194304 16246674 140736244767120 140736244748992 12415800 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 330129 271624 899 2943 0 327023 0
[pid=15046/tid=15047] ppid=15043 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1352208384 271624 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1352208384 271624 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1352208384 271624 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1454968832 296716 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1420868

[startup+1362.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 15083
/proc/meminfo: memFree=28061252/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1500740 CPUtime=1362.01 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 315991 0 0 0 136148 53 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140736244748992 6021690 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 375185 316684 900 2943 0 372079 0
[pid=15046/tid=15047] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1500740

[startup+1422.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 15084
/proc/meminfo: memFree=28061032/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1500740 CPUtime=1421.99 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 316027 0 0 0 142145 54 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140736244748992 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 375185 316684 900 2943 0 372079 0
[pid=15046/tid=15047] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1500740

[startup+1482.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 15085
/proc/meminfo: memFree=28061060/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1500740 CPUtime=1481.96 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 316060 0 0 0 148141 55 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140736244766296 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 375185 316684 900 2943 0 372079 0
[pid=15046/tid=15047] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1500740

[startup+1542.31 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 15087
/proc/meminfo: memFree=28061208/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1500740 CPUtime=1541.94 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 316082 0 0 0 154137 57 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140736244748992 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 375185 316684 900 2943 0 372079 0
[pid=15046/tid=15047] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1500740

[startup+1602.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 15088
/proc/meminfo: memFree=28047716/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1500740 CPUtime=1601.92 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 316105 0 0 0 160133 59 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140736244748992 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 375185 316684 900 2943 0 372079 0
[pid=15046/tid=15047] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1500740

[startup+1662.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 15089
/proc/meminfo: memFree=28047504/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1500740 CPUtime=1661.89 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 316141 0 0 0 166130 59 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140736244748992 6021024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 375185 316684 900 2943 0 372079 0
[pid=15046/tid=15047] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1500740

[startup+1722.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 15138
/proc/meminfo: memFree=28126244/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1500740 CPUtime=1721.86 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 316172 0 0 0 172127 59 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140736244748992 5823905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 375185 316684 900 2943 0 372079 0
[pid=15046/tid=15047] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1500740

[startup+1782.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/184 15142
/proc/meminfo: memFree=28115520/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1500740 CPUtime=1781.83 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 316211 0 0 0 178124 59 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140736244748992 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 375185 316684 900 2943 0 372079 0
[pid=15046/tid=15047] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1500740 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1536757760 316684 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1500740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.22 2.20 2.18 3/184 15166
/proc/meminfo: memFree=28053936/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1526340 CPUtime=1800.03 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 322618 0 0 0 179943 60 0 0 20 0 4 0 23754440 1562972160 323084 33554432000 4194304 16246674 140736244767120 140736244748992 12415796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 381585 323084 900 2943 0 378479 0
[pid=15046/tid=15047] ppid=15043 vsize=1526340 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1562972160 323084 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1526340 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1562972160 323084 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1526340 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1562972160 323084 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1526340

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

[startup+1800.5 s]
/proc/loadavg: 2.22 2.20 2.18 3/184 15166
/proc/meminfo: memFree=28053936/32872528 swapFree=1286400/1433568
[pid=15046] ppid=15043 vsize=1526340 CPUtime=1800.03 cores=1,3,5,7
/proc/15046/stat : 15046 (toysat) R 15043 15046 12983 0 -1 4202496 322618 0 0 0 179943 60 0 0 20 0 4 0 23754440 1562972160 323084 33554432000 4194304 16246674 140736244767120 140736244748992 12415796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15046/statm: 381585 323084 900 2943 0 378479 0
[pid=15046/tid=15047] ppid=15043 vsize=1526340 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15047/stat : 15047 (toysat) S 15043 15046 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23754440 1562972160 323084 33554432000 4194304 16246674 140736244767120 140180119858416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15046/tid=15048] ppid=15043 vsize=1526340 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15048/stat : 15048 (toysat) S 15043 15046 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23754440 1562972160 323084 33554432000 4194304 16246674 140736244767120 140180109368560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15046/tid=15049] ppid=15043 vsize=1526340 CPUtime=0 cores=1,3,5,7
/proc/15046/task/15049/stat : 15049 (toysat) S 15043 15046 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23754440 1562972160 323084 33554432000 4194304 16246674 140736244767120 140180098895024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1526340

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.05
CPU user time (s): 1799.44
CPU system time (s): 0.610907
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1526340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.610907
maximum resident set size= 1292336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322618
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= 361
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46732 second user time and 7.06992 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 04:31:17
IDJOB=4100753
IDBENCH=1657
IDSOLVER=2542
FILE ID=node130/4100753-1466217077
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100753-1466217077/watcher-4100753-1466217077 -o /tmp/evaluation-result-4100753-1466217077/solver-4100753-1466217077 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100753-1466217077.opb

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

MD5SUM BENCH= e0d3bc77812df02cd6843b358116eb3f
RANDOM SEED=1631611723

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        29351612 kB
Buffers:           92052 kB
Cached:           120568 kB
SwapCached:         1804 kB
Active:          1233236 kB
Inactive:         117672 kB
Active(anon):    1138928 kB
Inactive(anon):     1604 kB
Active(file):      94308 kB
Inactive(file):   116068 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             17492 kB
Writeback:             0 kB
AnonPages:       2648776 kB
Mapped:            10636 kB
Shmem:                 0 kB
Slab:             602024 kB
SReclaimable:      45664 kB
SUnreclaim:       556360 kB
KernelStack:        1520 kB
PageTables:         9052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2714912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node130 at 2016-06-18 05:01:17