Trace number 4100937

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.2 1800.91

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-ship04s.opb
MD5SUMfe1a2bbeb11180a9cf7bf3ad481e98b1
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables43740
Total number of constraints348
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 constraints348
Minimum length of a constraint30
Maximum length of a constraint1980
Number of terms in the objective function 43740
Biggest coefficient in the objective function 3749
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 560502
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 560502
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-18T05:01:51+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-4100937-1466218911.opb"]
0.00/0.01	c use --random-gen="2603307064 1555232525 1471108647 2819292173 4236428728 1348274408 3338775714 3341790834 2923483748 2902905666 587913685 1741500788 2204767611 968758355 3882790675 2857764025 140424543 920975803 3477877990 951135154 631547321 1251375381 270712277 3019574397 617012550 2987576755 1447667877 4188104296 4258702209 3085650152 840886392 2870120761 1917213725 1027033898 409249952 1056845790 1102432911 1352810935 1065859953 2481409436 3119262373 4195986210 3696517097 3917971024 218414606 2803734026 3509715871 1031173120 2497302894 1020291560 67120082 941070434 2731303961 2910158918 3663216396 1773111142 2637891314 2414875888 3770025160 2606322346 3077698836 663109903 3085412521 3176623111 866883942 3526527440 126061908 2109768815 1658194226 838522162 2989465295 1724032062 606236421 3714335902 1651766369 1436535316 220632491 164174405 3631187949 1760856698 3630724533 2133726528 1181112786 4034886803 2101645730 2832631339 1137764516 239713157 4148736953 2811170942 3043780636 1880376794 3973003618 1070406718 2273742156 1270773853 4242184403 4017900001 3901455888 838219417 4162154372 2982347005 3860993595 517904783 3699253321 3942908258 718975192 1383805309 4225106910 169724950 3226061561 991068411 3768289416 1317160458 687106540 675758868 26690077 3244924306 3691315190 4278807139 445723525 4071924856 3963184919 1946279334 2509092472 1972214059 557838704 3078002106 853880515 3536387195 650628620 1326234870 1409406929 1952772872 527640041 1559947717 3040782999 455124065 2828352291 3599780233 662783504 1610841022 1502303655 609169171 1830178628 2449810418 3661476027 3284400993 1564152662 4202801753 3233544782 1917255519 1991348234 2755283325 772125327 3134142059 1648208915 602174857 1915238044 1473685755 1008684735 2152530095 450361700 798021449 2014506049 4239496751 1091950666 418991632 1826025849 493883106 941444593 3096739628 901733682 3591815534 3446496276 4077552583 1040793569 2885846894 2020966961 2553140623 780745445 3813826215 2812606419 3703263148 1946276836 3721747956 415108761 3283757460 3779676943 1056779487 3440387999 568299877 2106284044 684854193 122347526 2298816764 1721034263 162620713 3168806630 3705598371 3124085453 2856965984 2027093592 1285176257 2315467521 1421164748 9484674 2179704294 1105236277 4123358823 3632466524 323434171 4063494042 3216931826 2489913346 3716754107 698345251 4072179269 142344958 765580783 1155596670 2625663885 3434619754 36359081 3530405643 658234235 2092671724 2169635166 639089057 3892128996 1761780116 3793210518 1877591837 3608173657 3717682315 2371890293 994512879 711897783 4050883912 2626377310 276963353 3177975796 3134424356 3893947425 3758925540 167647189 2620941559 454314487 3298560914 3782703034 2259855473 1624286318 1101908624 557562774 3852539151 1823269305 255 362436" option to reproduce the execution
0.29/0.33	c #vars 43740
0.29/0.33	c #constraints 348
0.89/0.98	c BCD2: Hardening is enabled.
0.89/0.98	c BCD2: BiasedSearch is enabled.
0.89/0.98	c Solving starts ...
0.89/0.98	c ============================[ Search Statistics ]============================
0.89/0.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.98	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.98	c =============================================================================
0.89/0.99	c  0.0s |       0 |        0 |        0 |    14781      0 |    21667 |        0
3.09/3.15	c  2.2s |       0 |     1360 |      100 |    14781      0 |    21667 |       56
3.09/3.16	c  2.2s |       1 |     1360 |      100 |    14781      0 |    21667 |       56
4.19/4.27	c  3.3s |       2 |     2639 |      250 |    16260      0 |    21667 |       56
4.98/5.01	c  4.0s |       3 |     4070 |      475 |    17886      0 |    21667 |       56
5.99/6.07	c  5.1s |       4 |     5247 |      813 |    19675      0 |    21667 |       56
8.09/8.17	c  7.2s |       4 |     8024 |     1313 |    21643      0 |    21667 |       56
8.19/8.20	c  7.2s |       5 |     8036 |     1320 |    21643      0 |    21667 |       56
9.99/10.01	c  9.0s |       6 |    10316 |     2081 |    26189      0 |    21667 |       56
12.09/12.19	c 11.2s |       6 |    11709 |     3081 |    26189      0 |    21667 |       56
12.49/12.51	c 11.5s |       7 |    11846 |     3223 |    28808      0 |    21667 |       56
14.58/14.64	c 13.6s |       7 |    13244 |     4223 |    28808      0 |    21667 |       56
16.18/16.23	c 15.2s |       8 |    13953 |     4936 |    31689      0 |    21667 |       56
18.38/18.44	c 17.5s |       8 |    15136 |     5736 |    31689      0 |    21667 |       56
20.58/20.65	c 19.7s |       8 |    16149 |     6736 |    31689      0 |    21667 |       56
22.38/22.46	c 21.5s |       9 |    16916 |     7506 |    34858      0 |    21667 |       56
24.58/24.61	c 23.6s |       9 |    18207 |     8406 |    34858      0 |    21667 |       56
26.68/26.70	c 25.7s |       9 |    19656 |     9406 |    34858      0 |    21667 |       56
28.69/28.77	c 27.8s |       9 |    20954 |    10606 |    34858      0 |    21667 |       56
29.69/29.78	c 28.8s |      10 |    21711 |    11361 |    38344      0 |    21667 |       56
31.78/31.83	c 30.8s |      10 |    25420 |    12161 |    38344      0 |    21667 |       56
33.78/33.87	c 32.9s |      10 |    26324 |    13061 |    38344      0 |    21667 |       56
35.99/36.00	c 35.0s |      10 |    27354 |    14061 |    38344      0 |    21667 |       56
37.98/38.05	c 37.1s |      10 |    28343 |    15061 |    38344      0 |    21667 |       56
39.98/40.08	c 39.1s |      10 |    29266 |    15961 |    38344      0 |    21667 |       56
42.18/42.20	c 41.2s |      10 |    30157 |    16861 |    38344      0 |    21667 |       56
42.78/42.88	c 41.9s |      11 |    30438 |    17144 |    42179      0 |    21667 |       56
44.88/44.95	c 44.0s |      11 |    35378 |    18544 |    42179      0 |    21667 |       56
46.98/47.04	c 46.0s |      11 |    37234 |    20344 |    42179      0 |    21667 |       56
48.98/49.08	c 48.1s |      11 |    39266 |    22344 |    42179      0 |    21667 |       56
50.98/51.08	c 50.1s |      11 |    40897 |    23944 |    42179      0 |    21667 |       56
53.08/53.17	c 52.2s |      11 |    42530 |    25544 |    42179      0 |    21667 |       56
53.48/53.57	c 52.6s |      12 |    42805 |    25819 |    46397      0 |    21667 |       56
55.48/55.58	c 54.6s |      12 |    45329 |    27919 |    46397      0 |    21667 |       56
57.48/57.58	c 56.6s |      12 |    48240 |    30819 |    46397      0 |    21667 |       56
59.57/59.62	c 58.6s |      12 |    50853 |    33419 |    46397      0 |    21667 |       56
61.58/61.63	c 60.6s |      12 |    53360 |    35919 |    46397      0 |    21667 |       56
63.67/63.76	c 62.8s |      12 |    55166 |    37719 |    46397      0 |    21667 |       56
65.17/65.21	c 64.2s |      13 |    56300 |    38832 |    51037      0 |    21667 |       56
67.18/67.25	c 66.3s |      13 |    61395 |    40232 |    51037      0 |    21667 |       56
69.28/69.40	c 68.4s |      13 |    63216 |    42032 |    51037      0 |    21667 |       56
71.37/71.44	c 70.5s |      13 |    65152 |    43932 |    51037      0 |    21667 |       56
73.37/73.49	c 72.5s |      13 |    68388 |    47132 |    51037      0 |    21667 |       56
75.47/75.51	c 74.5s |      13 |    71008 |    49732 |    51037      0 |    21667 |       56
77.47/77.56	c 76.6s |      13 |    73418 |    52132 |    51037      0 |    21667 |       56
79.47/79.58	c 78.6s |      13 |    75833 |    54532 |    51037      0 |    21667 |       56
81.57/81.60	c 80.6s |      13 |    79249 |    57932 |    51037      0 |    21667 |       56
81.77/81.82	c 80.8s |      14 |    79671 |    58352 |    56141      0 |    21667 |       56
83.77/83.83	c 82.8s |      14 |    82305 |    60952 |    56141      0 |    21667 |       56
85.78/85.88	c 84.9s |      14 |    86128 |    64752 |    56141      0 |    21667 |       56
87.87/87.94	c 86.9s |      14 |    89445 |    68052 |    56141      0 |    21667 |       56
89.87/89.97	c 89.0s |      14 |    92359 |    70952 |    56141      0 |    21667 |       56
91.97/92.05	c 91.1s |      14 |    95161 |    73752 |    56141      0 |    21667 |       56
94.07/94.10	c 93.1s |      14 |    97991 |    76552 |    56141      0 |    21667 |       56
96.47/96.54	c 95.5s |      14 |    99397 |    77952 |    56141      1 |    21667 |       56
98.47/98.54	c 97.5s |      14 |   101925 |    80452 |    56141      1 |    21667 |       56
100.48/100.57	c 99.6s |      14 |   104256 |    82752 |    56141      1 |    21667 |       56
102.48/102.59	c  101s |      14 |   106464 |    84952 |    56141      1 |    21667 |       56
104.58/104.66	c  103s |      14 |   108789 |    87252 |    61756      1 |    21667 |       56
104.98/105.01	c  104s |      15 |   109167 |    87632 |    61756      1 |    21667 |       56
106.97/107.01	c  106s |      15 |   112075 |    90332 |    61756      1 |    21667 |       56
108.98/109.09	c  108s |      15 |   114595 |    92832 |    61756      1 |    21667 |       56
111.08/111.17	c  110s |      15 |   116499 |    94732 |    61756      1 |    21667 |       56
113.17/113.23	c  112s |      15 |   118404 |    96632 |    61756      1 |    21667 |       56
115.17/115.25	c  114s |      15 |   120008 |    98232 |    61756      1 |    21667 |       56
117.17/117.26	c  116s |      15 |   121615 |    99832 |    61756      1 |    21667 |       56
119.17/119.27	c  118s |      15 |   123121 |   101332 |    61756      1 |    21667 |       56
121.27/121.35	c  120s |      15 |   124723 |   102932 |    61756      1 |    21667 |       56
123.37/123.40	c  122s |      15 |   126331 |   104532 |    61756      1 |    21667 |       56
125.47/125.54	c  124s |      15 |   127839 |   106032 |    61756      1 |    21667 |       56
127.57/127.65	c  126s |      15 |   129348 |   107532 |    61756      1 |    21667 |       56
129.57/129.67	c  128s |      15 |   130755 |   108932 |    61756      1 |    21667 |       56
131.67/131.71	c  130s |      15 |   132060 |   110232 |    61756      1 |    21667 |       56
133.76/133.84	c  132s |      15 |   133465 |   111632 |    61756      1 |    21667 |       56
135.76/135.87	c  134s |      15 |   134771 |   112932 |    61756      1 |    21667 |       56
137.86/137.93	c  136s |      15 |   136170 |   114332 |    61756      1 |    21667 |       56
139.96/140.04	c  139s |      15 |   137573 |   115732 |    61756      1 |    21667 |       56
142.06/142.11	c  141s |      15 |   138879 |   117032 |    61756      1 |    21667 |       56
144.07/144.12	c  143s |      15 |   140090 |   118232 |    61756      1 |    21667 |       56
146.06/146.19	c  145s |      15 |   141200 |   119332 |    61756      1 |    21667 |       56
148.16/148.27	c  147s |      15 |   142305 |   120432 |    61756      1 |    21667 |       56
150.26/150.36	c  149s |      15 |   143406 |   121532 |    61756      1 |    21667 |       56
152.76/152.83	c  151s |      15 |   144408 |   122532 |    61756      2 |    21667 |       56
154.76/154.87	c  153s |      15 |   145715 |   123832 |    61756      2 |    21667 |       56
156.86/156.91	c  155s |      15 |   146916 |   125032 |    61756      2 |    21667 |       56
158.96/159.03	c  158s |      15 |   148223 |   126332 |    61756      2 |    21667 |       56
161.05/161.12	c  160s |      15 |   149527 |   127632 |    61756      2 |    21667 |       56
163.15/163.27	c  162s |      15 |   150833 |   128932 |    61756      2 |    21667 |       56
165.35/165.41	c  164s |      15 |   152137 |   130232 |    61756      2 |    21667 |       56
167.35/167.45	c  166s |      15 |   153135 |   131232 |    67932      2 |    21667 |       56
168.05/168.15	c  167s |      16 |   153456 |   131552 |    67932      2 |    21667 |       56
170.15/170.25	c  169s |      16 |   158300 |   132852 |    67932      2 |    21667 |       56
172.15/172.26	c  171s |      16 |   159500 |   134052 |    67932      2 |    21667 |       56
174.35/174.48	c  173s |      16 |   160657 |   135052 |    67932      2 |    21667 |       56
176.45/176.57	c  175s |      16 |   161463 |   135852 |    67932      2 |    21667 |       56
178.75/178.80	c  177s |      16 |   162265 |   136652 |    67932      2 |    21667 |       56
180.75/180.87	c  179s |      16 |   163072 |   137452 |    67932      2 |    21667 |       56
182.95/183.06	c  182s |      16 |   163877 |   138252 |    67932      2 |    21667 |       56
185.25/185.34	c  184s |      16 |   164679 |   139052 |    67932      2 |    21667 |       56
187.25/187.34	c  186s |      16 |   166063 |   139852 |    67932      2 |    21667 |       56
189.34/189.49	c  188s |      16 |   167968 |   140752 |    67932      2 |    21667 |       56
191.54/191.61	c  190s |      16 |   169140 |   141852 |    67932      2 |    21667 |       56
193.64/193.73	c  192s |      16 |   170432 |   143152 |    67932      2 |    21667 |       56
195.64/195.80	c  194s |      16 |   171548 |   144252 |    67932      2 |    21667 |       56
197.84/197.93	c  196s |      16 |   172748 |   145452 |    67932      2 |    21667 |       56
199.93/200.08	c  199s |      16 |   173766 |   146452 |    67932      2 |    21667 |       56
202.03/202.13	c  201s |      16 |   174617 |   147252 |    67932      2 |    21667 |       56
204.23/204.38	c  203s |      16 |   175708 |   148152 |    67932      2 |    21667 |       56
206.33/206.47	c  205s |      16 |   176622 |   148952 |    67932      2 |    21667 |       56
208.43/208.58	c  207s |      16 |   177648 |   149752 |    67932      2 |    21667 |       56
210.73/210.81	c  209s |      16 |   178715 |   150752 |    67932      2 |    21667 |       56
212.83/212.98	c  211s |      16 |   179777 |   151752 |    67932      2 |    21667 |       56
215.03/215.16	c  214s |      16 |   180767 |   152752 |    67932      2 |    21667 |       56
217.03/217.19	c  216s |      16 |   181672 |   153652 |    67932      2 |    21667 |       56
219.32/219.40	c  218s |      16 |   182697 |   154652 |    67932      2 |    21667 |       56
221.62/221.76	c  220s |      16 |   183832 |   155752 |    67932      2 |    21667 |       56
223.92/224.07	c  223s |      16 |   184782 |   156652 |    67932      2 |    21667 |       56
226.12/226.27	c  225s |      16 |   185868 |   157652 |    67932      2 |    21667 |       56
228.32/228.47	c  227s |      16 |   186856 |   158552 |    67932      2 |    21667 |       56
230.52/230.61	c  229s |      16 |   187778 |   159452 |    67932      2 |    21667 |       56
232.82/232.94	c  231s |      16 |   188706 |   160352 |    67932      2 |    21667 |       56
234.92/235.03	c  234s |      16 |   189639 |   161252 |    67932      2 |    21667 |       56
236.92/237.05	c  236s |      16 |   190465 |   162052 |    67932      2 |    21667 |       56
239.21/239.31	c  238s |      16 |   191277 |   162852 |    67932      2 |    21667 |       56
241.21/241.33	c  240s |      16 |   191993 |   163552 |    67932      2 |    21667 |       56
243.31/243.47	c  242s |      16 |   192908 |   164452 |    67932      2 |    21667 |       56
245.32/245.49	c  244s |      16 |   193705 |   165252 |    67932      2 |    21667 |       56
247.41/247.50	c  246s |      16 |   194425 |   165952 |    67932      2 |    21667 |       56
249.61/249.71	c  248s |      16 |   195237 |   166752 |    67932      2 |    21667 |       56
251.81/251.98	c  250s |      16 |   196044 |   167552 |    67932      2 |    21667 |       56
254.01/254.11	c  253s |      16 |   196770 |   168252 |    67932      2 |    21667 |       56
256.10/256.29	c  255s |      16 |   197481 |   168952 |    67932      2 |    21667 |       56
258.20/258.33	c  257s |      16 |   198208 |   169652 |    67932      2 |    21667 |       56
260.40/260.57	c  259s |      16 |   199108 |   170552 |    67932      2 |    21667 |       56
262.50/262.68	c  261s |      16 |   200017 |   171452 |    67932      2 |    21667 |       56
264.60/264.73	c  263s |      16 |   201013 |   172452 |    67932      2 |    21667 |       56
266.90/267.02	c  266s |      16 |   202163 |   173552 |    67932      2 |    21667 |       56
268.90/269.03	c  268s |      16 |   203107 |   174452 |    67932      2 |    21667 |       56
270.99/271.10	c  270s |      16 |   204141 |   175452 |    67932      2 |    21667 |       56
272.99/273.17	c  272s |      16 |   204984 |   176252 |    67932      2 |    21667 |       56
275.29/275.41	c  274s |      16 |   205921 |   177052 |    67932      2 |    21667 |       56
277.39/277.50	c  276s |      16 |   206685 |   177752 |    67932      3 |    21667 |       56
279.39/279.56	c  278s |      16 |   207468 |   178452 |    67932      3 |    21667 |       56
281.49/281.68	c  280s |      16 |   208231 |   179152 |    67932      3 |    21667 |       56
283.79/283.94	c  282s |      16 |   209227 |   180052 |    67932      3 |    21667 |       56
285.89/286.02	c  285s |      16 |   210018 |   180752 |    67932      3 |    21667 |       56
287.99/288.15	c  287s |      16 |   210737 |   181452 |    67932      3 |    21667 |       56
290.29/290.49	c  289s |      16 |   211531 |   182152 |    67932      3 |    21667 |       56
292.49/292.62	c  291s |      16 |   212296 |   182852 |    67932      3 |    21667 |       56
294.48/294.68	c  293s |      16 |   212920 |   183452 |    67932      3 |    21667 |       56
296.78/296.91	c  295s |      16 |   213626 |   184152 |    67932      3 |    21667 |       56
298.88/299.05	c  298s |      16 |   214369 |   184852 |    67932      3 |    21667 |       56
301.18/301.33	c  300s |      16 |   215086 |   185552 |    67932      3 |    21667 |       56
303.18/303.34	c  302s |      16 |   215834 |   186252 |    67932      3 |    21667 |       56
305.48/305.60	c  304s |      16 |   216538 |   186952 |    67932      3 |    21667 |       56
307.68/307.87	c  306s |      16 |   217265 |   187652 |    67932      3 |    21667 |       56
309.67/309.89	c  308s |      16 |   217988 |   188352 |    67932      3 |    21667 |       56
311.77/311.90	c  310s |      16 |   218709 |   189052 |    67932      3 |    21667 |       56
313.97/314.14	c  313s |      16 |   219457 |   189752 |    67932      3 |    21667 |       56
316.07/316.21	c  315s |      16 |   220051 |   190352 |    67932      3 |    21667 |       56
318.07/318.25	c  317s |      16 |   220661 |   190952 |    67932      3 |    21667 |       56
320.17/320.38	c  319s |      16 |   221367 |   191652 |    67932      3 |    21667 |       56
322.28/322.47	c  321s |      16 |   221976 |   192252 |    67932      3 |    21667 |       56
324.57/324.75	c  323s |      16 |   222730 |   192952 |    67932      3 |    21667 |       56
326.57/326.76	c  325s |      16 |   223344 |   193552 |    67932      3 |    21667 |       56
328.77/328.92	c  327s |      16 |   223938 |   194152 |    67932      3 |    21667 |       56
331.07/331.25	c  330s |      16 |   224670 |   194852 |    67932      3 |    21667 |       56
333.27/333.48	c  332s |      16 |   225371 |   195552 |    67932      3 |    21667 |       56
335.27/335.48	c  334s |      16 |   225978 |   196152 |    74726      3 |    21667 |       56
337.57/337.79	c  336s |      16 |   226592 |   196752 |    74726      3 |    21667 |       56
339.66/339.90	c  338s |      16 |   227224 |   197352 |    74726      3 |    21667 |       56
340.06/340.23	c  339s |      17 |   227304 |   197432 |    74726      3 |    21667 |       56
342.16/342.36	c  341s |      17 |   232558 |   197932 |    74726      3 |    21667 |       56
344.36/344.51	c  343s |      17 |   233363 |   198732 |    74726      3 |    21667 |       56
346.36/346.55	c  345s |      17 |   234069 |   199432 |    74726      3 |    21667 |       56
348.46/348.69	c  347s |      17 |   234770 |   200132 |    74726      3 |    21667 |       56
350.66/350.87	c  349s |      17 |   235471 |   200832 |    74726      3 |    21667 |       56
352.86/353.06	c  352s |      17 |   236172 |   201532 |    74726      3 |    21667 |       56
354.86/355.07	c  354s |      17 |   236773 |   202132 |    74726      3 |    21667 |       56
356.96/357.12	c  356s |      17 |   237378 |   202732 |    74726      3 |    21667 |       56
358.96/359.13	c  358s |      17 |   237977 |   203332 |    74726      3 |    21667 |       56
361.06/361.22	c  360s |      17 |   238579 |   203932 |    74726      3 |    21667 |       56
363.06/363.26	c  362s |      17 |   239180 |   204532 |    74726      3 |    21667 |       56
365.07/365.26	c  364s |      17 |   239784 |   205132 |    74726      3 |    21667 |       56
367.16/367.39	c  366s |      17 |   240386 |   205732 |    74726      3 |    21667 |       56
369.36/369.56	c  368s |      17 |   240986 |   206332 |    74726      3 |    21667 |       56
371.56/371.72	c  370s |      17 |   241591 |   206932 |    74726      3 |    21667 |       56
373.86/374.05	c  373s |      17 |   242090 |   207432 |    74726      3 |    21667 |       56
376.26/376.40	c  375s |      17 |   242687 |   208032 |    74726      3 |    21667 |       56
378.56/378.73	c  377s |      17 |   243288 |   208632 |    74726      3 |    21667 |       56
380.96/381.15	c  380s |      17 |   243889 |   209232 |    74726      3 |    21667 |       56
383.16/383.38	c  382s |      17 |   244394 |   209732 |    74726      3 |    21667 |       56
385.36/385.56	c  384s |      17 |   244895 |   210232 |    74726      3 |    21667 |       56
387.56/387.75	c  386s |      17 |   245497 |   210832 |    74726      3 |    21667 |       56
389.65/389.87	c  388s |      17 |   246002 |   211332 |    74726      3 |    21667 |       56
391.85/392.01	c  391s |      17 |   246508 |   211832 |    74726      3 |    21667 |       56
394.05/394.22	c  393s |      17 |   247012 |   212332 |    74726      3 |    21667 |       56
396.35/396.52	c  395s |      17 |   247514 |   212832 |    74726      3 |    21667 |       56
398.55/398.78	c  397s |      17 |   248024 |   213332 |    74726      3 |    21667 |       56
400.94/401.10	c  400s |      17 |   248525 |   213832 |    74726      3 |    21667 |       56
403.04/403.28	c  402s |      17 |   249032 |   214332 |    74726      3 |    21667 |       56
405.14/405.36	c  404s |      17 |   249534 |   214832 |    74726      3 |    21667 |       56
407.44/407.63	c  406s |      17 |   250032 |   215332 |    74726      3 |    21667 |       56
409.74/409.92	c  408s |      17 |   250539 |   215832 |    74726      3 |    21667 |       56
411.94/412.18	c  411s |      17 |   251037 |   216332 |    74726      3 |    21667 |       56
414.24/414.43	c  413s |      17 |   251544 |   216832 |    74726      3 |    21667 |       56
416.33/416.57	c  415s |      17 |   252051 |   217332 |    74726      3 |    21667 |       56
418.73/418.93	c  417s |      17 |   252652 |   217932 |    74726      3 |    21667 |       56
421.03/421.22	c  420s |      17 |   253152 |   218432 |    74726      3 |    21667 |       56
423.23/423.43	c  422s |      17 |   253756 |   219032 |    74726      3 |    21667 |       56
425.43/425.66	c  424s |      17 |   254463 |   219732 |    74726      3 |    21667 |       56
427.53/427.71	c  426s |      17 |   255175 |   220432 |    74726      3 |    21667 |       56
429.52/429.75	c  428s |      17 |   255891 |   221132 |    74726      3 |    21667 |       56
431.72/431.92	c  430s |      17 |   256602 |   221832 |    74726      3 |    21667 |       56
433.92/434.15	c  433s |      17 |   257308 |   222532 |    74726      3 |    21667 |       56
435.92/436.15	c  435s |      17 |   257910 |   223132 |    74726      3 |    21667 |       56
437.92/438.15	c  437s |      17 |   258517 |   223732 |    74726      3 |    21667 |       56
440.02/440.26	c  439s |      17 |   259124 |   224332 |    74726      3 |    21667 |       56
442.32/442.56	c  441s |      17 |   259726 |   224932 |    74726      3 |    21667 |       56
444.52/444.73	c  443s |      17 |   260333 |   225532 |    74726      3 |    21667 |       56
446.71/446.95	c  445s |      17 |   260942 |   226132 |    74726      3 |    21667 |       56
449.02/449.22	c  448s |      17 |   261534 |   226732 |    74726      3 |    21667 |       56
451.22/451.47	c  450s |      17 |   262143 |   227332 |    74726      3 |    21667 |       56
453.62/453.82	c  452s |      17 |   262756 |   227932 |    74726      3 |    21667 |       56
455.82/456.09	c  455s |      17 |   263259 |   228432 |    74726      3 |    21667 |       56
458.12/458.39	c  457s |      17 |   263761 |   228932 |    74726      3 |    21667 |       56
460.31/460.59	c  459s |      17 |   264257 |   229432 |    74726      3 |    21667 |       56
462.71/462.99	c  461s |      17 |   264758 |   229932 |    74726      3 |    21667 |       56
465.12/465.40	c  464s |      17 |   265262 |   230432 |    74726      3 |    21667 |       56
467.61/467.80	c  466s |      17 |   265758 |   230932 |    74726      3 |    21667 |       56
469.80/470.08	c  469s |      17 |   266381 |   231532 |    74726      3 |    21667 |       56
471.81/472.09	c  471s |      17 |   266879 |   232032 |    74726      3 |    21667 |       56
473.91/474.18	c  473s |      17 |   267489 |   232632 |    74726      3 |    21667 |       56
475.90/476.19	c  475s |      17 |   268095 |   233232 |    74726      3 |    21667 |       56
478.31/478.56	c  477s |      17 |   268828 |   233932 |    74726      3 |    21667 |       56
480.40/480.62	c  479s |      17 |   269434 |   234532 |    74726      3 |    21667 |       56
482.50/482.75	c  481s |      17 |   270053 |   235132 |    74726      3 |    21667 |       56
484.50/484.79	c  483s |      17 |   270662 |   235732 |    74726      3 |    21667 |       56
486.70/486.91	c  485s |      17 |   271303 |   236332 |    74726      3 |    21667 |       56
489.00/489.23	c  488s |      17 |   271906 |   236932 |    74726      3 |    21667 |       56
491.39/491.66	c  490s |      17 |   272521 |   237532 |    74726      3 |    21667 |       56
493.59/493.80	c  492s |      17 |   273024 |   238032 |    74726      3 |    21667 |       56
495.59/495.83	c  494s |      17 |   273323 |   238332 |    74726      4 |    21667 |       56
497.69/497.95	c  496s |      17 |   273830 |   238832 |    74726      4 |    21667 |       56
499.78/500.09	c  499s |      17 |   274342 |   239332 |    74726      4 |    21667 |       56
501.98/502.22	c  501s |      17 |   274959 |   239932 |    74726      4 |    21667 |       56
503.98/504.22	c  503s |      17 |   275476 |   240432 |    74726      4 |    21667 |       56
506.08/506.39	c  505s |      17 |   276078 |   241032 |    74726      4 |    21667 |       56
508.69/508.99	c  507s |      17 |   276734 |   241632 |    74726      4 |    21667 |       56
511.09/511.33	c  510s |      17 |   277345 |   242232 |    74726      4 |    21667 |       56
513.09/513.37	c  512s |      17 |   277862 |   242732 |    74726      4 |    21667 |       56
515.09/515.38	c  514s |      17 |   278377 |   243232 |    74726      4 |    21667 |       56
517.09/517.39	c  516s |      17 |   278907 |   243732 |    74726      4 |    21667 |       56
519.28/519.54	c  518s |      17 |   279439 |   244232 |    74726      4 |    21667 |       56
521.68/521.93	c  520s |      17 |   280061 |   244832 |    74726      4 |    21667 |       56
523.68/523.98	c  522s |      17 |   280573 |   245332 |    74726      4 |    21667 |       56
525.78/526.09	c  525s |      17 |   281085 |   245832 |    74726      4 |    21667 |       56
528.08/528.38	c  527s |      17 |   281722 |   246432 |    74726      4 |    21667 |       56
530.17/530.41	c  529s |      17 |   282236 |   246932 |    74726      4 |    21667 |       56
532.37/532.69	c  531s |      17 |   282857 |   247532 |    74726      4 |    21667 |       56
534.48/534.73	c  533s |      17 |   283384 |   248032 |    74726      4 |    21667 |       56
536.58/536.90	c  535s |      17 |   283912 |   248532 |    74726      4 |    21667 |       56
538.88/539.15	c  538s |      17 |   284456 |   249032 |    74726      4 |    21667 |       56
541.17/541.49	c  540s |      17 |   284968 |   249532 |    74726      4 |    21667 |       56
543.37/543.69	c  542s |      17 |   285503 |   250032 |    74726      4 |    21667 |       56
545.57/545.88	c  544s |      17 |   286005 |   250532 |    74726      4 |    21667 |       56
547.76/548.03	c  547s |      17 |   286510 |   251032 |    74726      4 |    21667 |       56
550.16/550.41	c  549s |      17 |   287125 |   251632 |    74726      4 |    21667 |       56
552.36/552.66	c  551s |      17 |   287649 |   252132 |    74726      4 |    21667 |       56
554.46/554.77	c  553s |      17 |   288149 |   252632 |    74726      4 |    21667 |       56
556.76/557.08	c  556s |      17 |   288763 |   253232 |    74726      4 |    21667 |       56
558.86/559.14	c  558s |      17 |   289303 |   253732 |    74726      4 |    21667 |       56
561.05/561.31	c  560s |      17 |   289972 |   254332 |    74726      4 |    21667 |       56
563.15/563.46	c  562s |      17 |   290607 |   254932 |    74726      4 |    21667 |       56
565.45/565.71	c  564s |      17 |   291271 |   255532 |    74726      4 |    21667 |       56
567.75/568.01	c  567s |      17 |   291923 |   256132 |    74726      4 |    21667 |       56
569.94/570.22	c  569s |      17 |   292560 |   256732 |    74726      4 |    21667 |       56
572.24/572.50	c  571s |      17 |   293239 |   257332 |    74726      4 |    21667 |       56
574.24/574.52	c  573s |      17 |   293790 |   257832 |    74726      4 |    21667 |       56
576.25/576.53	c  575s |      17 |   294306 |   258332 |    74726      4 |    21667 |       56
578.36/578.61	c  577s |      17 |   294859 |   258832 |    74726      4 |    21667 |       56
580.45/580.76	c  579s |      17 |   295390 |   259332 |    74726      4 |    21667 |       56
582.75/583.05	c  582s |      17 |   296015 |   259932 |    74726      4 |    21667 |       56
585.15/585.45	c  584s |      17 |   296782 |   260632 |    74726      4 |    21667 |       56
587.15/587.47	c  586s |      17 |   297298 |   261132 |    74726      4 |    21667 |       56
589.34/589.61	c  588s |      17 |   297939 |   261732 |    74726      4 |    21667 |       56
591.54/591.86	c  590s |      17 |   298582 |   262332 |    74726      4 |    21667 |       56
593.64/593.93	c  592s |      17 |   299099 |   262832 |    74726      4 |    21667 |       56
595.94/596.23	c  595s |      17 |   299619 |   263332 |    74726      4 |    21667 |       56
598.14/598.47	c  597s |      17 |   300143 |   263832 |    74726      4 |    21667 |       56
600.53/600.80	c  599s |      17 |   300775 |   264432 |    74726      4 |    21667 |       56
602.73/603.05	c  602s |      17 |   301299 |   264932 |    74726      4 |    21667 |       56
604.84/605.19	c  604s |      17 |   301844 |   265432 |    74726      4 |    21667 |       56
606.93/607.24	c  606s |      17 |   302431 |   265932 |    74726      4 |    21667 |       56
609.33/609.62	c  608s |      17 |   303128 |   266532 |    74726      4 |    21667 |       56
611.43/611.78	c  610s |      17 |   303718 |   267032 |    74726      4 |    21667 |       56
613.53/613.86	c  612s |      17 |   304229 |   267532 |    74726      4 |    21667 |       56
615.63/616.00	c  615s |      17 |   304745 |   268032 |    74726      4 |    21667 |       56
617.93/618.20	c  617s |      17 |   305248 |   268532 |    74726      4 |    21667 |       56
620.23/620.52	c  619s |      17 |   305768 |   269032 |    74726      4 |    21667 |       56
622.33/622.66	c  621s |      17 |   306301 |   269532 |    74726      4 |    21667 |       56
624.72/625.09	c  624s |      17 |   306824 |   270032 |    74726      4 |    21667 |       56
626.92/627.28	c  626s |      17 |   307369 |   270532 |    74726      4 |    21667 |       56
629.12/629.42	c  628s |      17 |   307891 |   271032 |    74726      4 |    21667 |       56
631.12/631.42	c  630s |      17 |   308423 |   271532 |    74726      4 |    21667 |       56
633.43/633.79	c  632s |      17 |   308944 |   272032 |    74726      4 |    21667 |       56
635.63/635.92	c  634s |      17 |   309497 |   272532 |    74726      4 |    21667 |       56
637.72/638.08	c  637s |      17 |   309914 |   272932 |    74726      4 |    21667 |       56
639.81/640.16	c  639s |      17 |   310324 |   273332 |    74726      4 |    21667 |       56
642.42/642.80	c  641s |      17 |   310746 |   273732 |    74726      4 |    21667 |       56
644.52/644.82	c  643s |      17 |   311290 |   274232 |    74726      4 |    21667 |       56
646.72/647.05	c  646s |      17 |   311813 |   274732 |    74726      4 |    21667 |       56
648.82/649.16	c  648s |      17 |   312348 |   275232 |    74726      4 |    21667 |       56
651.21/651.50	c  650s |      17 |   312868 |   275732 |    74726      4 |    21667 |       56
653.41/653.72	c  652s |      17 |   313396 |   276232 |    74726      4 |    21667 |       56
655.41/655.78	c  654s |      17 |   313982 |   276732 |    74726      4 |    21667 |       56
657.61/657.98	c  656s |      17 |   314389 |   277132 |    74726      4 |    21667 |       56
659.90/660.20	c  659s |      17 |   314916 |   277632 |    74726      4 |    21667 |       56
662.10/662.46	c  661s |      17 |   315445 |   278132 |    74726      4 |    21667 |       56
664.30/664.66	c  663s |      17 |   315987 |   278632 |    74726      4 |    21667 |       56
666.50/666.85	c  665s |      17 |   316518 |   279132 |    74726      4 |    21667 |       56
668.70/669.01	c  668s |      17 |   317079 |   279632 |    74726      4 |    21667 |       56
671.10/671.40	c  670s |      17 |   317622 |   280132 |    74726      4 |    21667 |       56
673.49/673.82	c  672s |      17 |   318168 |   280632 |    74726      4 |    21667 |       56
675.69/676.09	c  675s |      17 |   318690 |   281132 |    74726      4 |    21667 |       56
678.09/678.46	c  677s |      17 |   319214 |   281632 |    74726      4 |    21667 |       56
680.39/680.78	c  679s |      17 |   319792 |   282132 |    74726      4 |    21667 |       56
682.59/682.93	c  681s |      17 |   320385 |   282632 |    74726      4 |    21667 |       56
684.79/685.14	c  684s |      17 |   320963 |   283132 |    74726      4 |    21667 |       56
687.09/687.41	c  686s |      17 |   321539 |   283632 |    74726      4 |    21667 |       56
689.39/689.79	c  688s |      17 |   322078 |   284132 |    74726      4 |    21667 |       56
691.78/692.11	c  691s |      17 |   322590 |   284632 |    74726      4 |    21667 |       56
693.98/694.34	c  693s |      17 |   323005 |   285032 |    74726      4 |    21667 |       56
696.59/696.91	c  695s |      17 |   323523 |   285532 |    74726      4 |    21667 |       56
698.69/699.06	c  698s |      17 |   323932 |   285932 |    74726      4 |    21667 |       56
700.78/701.10	c  700s |      17 |   324333 |   286332 |    74726      4 |    21667 |       56
703.18/703.54	c  702s |      17 |   324839 |   286832 |    74726      4 |    21667 |       56
705.58/705.90	c  704s |      17 |   325246 |   287232 |    74726      4 |    21667 |       56
707.98/708.31	c  707s |      17 |   325646 |   287632 |    74726      4 |    21667 |       56
709.98/710.38	c  709s |      17 |   326058 |   288032 |    74726      4 |    21667 |       56
712.37/712.72	c  711s |      17 |   326584 |   288532 |    74726      4 |    21667 |       56
714.48/714.82	c  713s |      17 |   327019 |   288932 |    74726      4 |    21667 |       56
716.77/717.11	c  716s |      17 |   327540 |   289432 |    74726      4 |    21667 |       56
718.98/719.40	c  718s |      17 |   328078 |   289932 |    74726      4 |    21667 |       56
721.17/721.53	c  720s |      17 |   328503 |   290332 |    74726      4 |    21667 |       56
723.36/723.74	c  722s |      17 |   328907 |   290732 |    74726      4 |    21667 |       56
725.67/726.10	c  725s |      17 |   329422 |   291232 |    74726      4 |    21667 |       56
727.76/728.18	c  727s |      17 |   329835 |   291632 |    74726      4 |    21667 |       56
729.97/730.31	c  729s |      17 |   330264 |   292032 |    74726      4 |    21667 |       56
732.16/732.60	c  731s |      17 |   330718 |   292432 |    74726      4 |    21667 |       56
737.36/737.71	c  736s |      17 |   331019 |   292732 |    74726      5 |    21667 |       56
740.66/741.06	c  740s |      17 |   331225 |   292932 |    74726      5 |    21667 |       56
742.76/743.14	c  742s |      17 |   331525 |   293232 |    74726      5 |    21667 |       56
745.86/746.25	c  745s |      17 |   331927 |   293632 |    74726      5 |    21667 |       56
747.96/748.35	c  747s |      17 |   332225 |   293932 |    74726      5 |    21667 |       56
750.26/750.68	c  749s |      17 |   332527 |   294232 |    82199      5 |    21667 |       56
752.36/752.77	c  751s |      17 |   332829 |   294532 |    82199      5 |    21667 |       56
754.46/754.83	c  753s |      17 |   333130 |   294832 |    82199      5 |    21667 |       56
756.96/757.37	c  756s |      17 |   333335 |   295032 |    82199      5 |    21667 |       56
758.96/759.38	c  758s |      17 |   333643 |   295332 |    82199      5 |    21667 |       56
761.15/761.59	c  760s |      17 |   333942 |   295632 |    82199      5 |    21667 |       56
765.26/765.68	c  764s |      17 |   334144 |   295832 |    82199      5 |    21667 |       56
767.46/767.87	c  766s |      17 |   334448 |   296132 |    82199      5 |    21667 |       56
768.35/768.76	c  767s |      18 |   334571 |   296252 |    82199      5 |    21667 |       56
775.16/775.58	c  774s |      18 |   335245 |   296352 |    82199      5 |    21667 |       56
777.65/778.07	c  777s |      18 |   336338 |   296952 |    82199      5 |    21667 |       56
783.35/783.77	c  782s |      18 |   336835 |   297452 |    82199      5 |    21667 |       56
785.35/785.77	c  784s |      18 |   337334 |   297952 |    82199      5 |    21667 |       56
787.75/788.13	c  787s |      18 |   337838 |   298452 |    82199      5 |    21667 |       56
789.95/790.33	c  789s |      18 |   338338 |   298952 |    82199      5 |    21667 |       56
792.25/792.62	c  791s |      18 |   338838 |   299452 |    82199      5 |    21667 |       56
794.55/794.90	c  793s |      18 |   339344 |   299952 |    82199      5 |    21667 |       56
796.95/797.30	c  796s |      18 |   339839 |   300452 |    82199      5 |    21667 |       56
799.35/799.77	c  798s |      18 |   340352 |   300952 |    82199      5 |    21667 |       56
801.84/802.23	c  801s |      18 |   340758 |   301352 |    82199      5 |    21667 |       56
804.24/804.65	c  803s |      18 |   341256 |   301852 |    82199      5 |    21667 |       56
806.44/806.84	c  805s |      18 |   341661 |   302252 |    82199      5 |    21667 |       56
808.54/808.90	c  807s |      18 |   342064 |   302652 |    82199      5 |    21667 |       56
810.64/811.04	c  810s |      18 |   342469 |   303052 |    82199      5 |    21667 |       56
812.74/813.16	c  812s |      18 |   342875 |   303452 |    82199      5 |    21667 |       56
814.94/815.35	c  814s |      18 |   343273 |   303852 |    82199      5 |    21667 |       56
817.05/817.44	c  816s |      18 |   343679 |   304252 |    82199      5 |    21667 |       56
819.53/819.95	c  818s |      18 |   344176 |   304752 |    82199      5 |    21667 |       56
822.04/822.40	c  821s |      18 |   344682 |   305252 |    82199      5 |    21667 |       56
824.14/824.56	c  823s |      18 |   345082 |   305652 |    82199      5 |    21667 |       56
826.24/826.69	c  825s |      18 |   345485 |   306052 |    82199      5 |    21667 |       56
828.54/828.95	c  827s |      18 |   345900 |   306452 |    82199      5 |    21667 |       56
830.93/831.37	c  830s |      18 |   346318 |   306852 |    82199      5 |    21667 |       56
833.13/833.53	c  832s |      18 |   346817 |   307352 |    82199      5 |    21667 |       56
835.23/835.63	c  834s |      18 |   347227 |   307752 |    82199      5 |    21667 |       56
837.53/837.93	c  836s |      18 |   347725 |   308252 |    82199      5 |    21667 |       56
839.82/840.27	c  839s |      18 |   348239 |   308752 |    82199      5 |    21667 |       56
842.33/842.72	c  841s |      18 |   348749 |   309252 |    82199      5 |    21667 |       56
844.43/844.83	c  843s |      18 |   349148 |   309652 |    82199      5 |    21667 |       56
846.52/846.94	c  845s |      18 |   349563 |   310052 |    82199      5 |    21667 |       56
848.62/849.08	c  848s |      18 |   349960 |   310452 |    82199      5 |    21667 |       56
851.02/851.43	c  850s |      18 |   350477 |   310952 |    82199      5 |    21667 |       56
853.22/853.65	c  852s |      18 |   350988 |   311452 |    82199      5 |    21667 |       56
855.62/856.03	c  855s |      18 |   351492 |   311952 |    82199      5 |    21667 |       56
857.92/858.33	c  857s |      18 |   352001 |   312452 |    82199      5 |    21667 |       56
860.02/860.46	c  859s |      18 |   352501 |   312952 |    82199      5 |    21667 |       56
862.52/862.91	c  861s |      18 |   353008 |   313452 |    82199      5 |    21667 |       56
864.81/865.22	c  864s |      18 |   353510 |   313952 |    82199      5 |    21667 |       56
866.92/867.32	c  866s |      18 |   353918 |   314352 |    82199      5 |    21667 |       56
869.31/869.73	c  868s |      18 |   354430 |   314852 |    82199      5 |    21667 |       56
871.41/871.88	c  870s |      18 |   354829 |   315252 |    82199      5 |    21667 |       56
873.51/873.97	c  872s |      18 |   355240 |   315652 |    82199      5 |    21667 |       56
875.91/876.30	c  875s |      18 |   355638 |   316052 |    82199      5 |    21667 |       56
877.91/878.37	c  877s |      18 |   355940 |   316352 |    82199      5 |    21667 |       56
880.01/880.47	c  879s |      18 |   356353 |   316752 |    82199      5 |    21667 |       56
882.41/882.83	c  881s |      18 |   356756 |   317152 |    82199      5 |    21667 |       56
884.81/885.26	c  884s |      18 |   357154 |   317552 |    82199      5 |    21667 |       56
887.11/887.59	c  886s |      18 |   357570 |   317952 |    82199      5 |    21667 |       56
889.61/890.01	c  889s |      18 |   358060 |   318452 |    82199      5 |    21667 |       56
891.61/892.08	c  891s |      18 |   358464 |   318852 |    82199      5 |    21667 |       56
893.80/894.27	c  893s |      18 |   358863 |   319252 |    82199      5 |    21667 |       56
896.00/896.49	c  895s |      18 |   359275 |   319652 |    82199      5 |    21667 |       56
898.10/898.54	c  897s |      18 |   359684 |   320052 |    82199      5 |    21667 |       56
900.60/901.02	c  900s |      18 |   360084 |   320452 |    82199      5 |    21667 |       56
902.70/903.12	c  902s |      18 |   360473 |   320852 |    82199      5 |    21667 |       56
904.80/905.29	c  904s |      18 |   360891 |   321252 |    82199      5 |    21667 |       56
907.10/907.55	c  906s |      18 |   361399 |   321752 |    82199      5 |    21667 |       56
909.49/909.98	c  908s |      18 |   361894 |   322252 |    82199      5 |    21667 |       56
911.79/912.25	c  911s |      18 |   362398 |   322752 |    82199      5 |    21667 |       56
914.19/914.67	c  913s |      18 |   362894 |   323252 |    82199      5 |    21667 |       56
916.59/917.05	c  916s |      18 |   363401 |   323752 |    82199      5 |    21667 |       56
918.80/919.23	c  918s |      18 |   364024 |   324252 |    82199      5 |    21667 |       56
920.89/921.33	c  920s |      18 |   364323 |   324552 |    82199      5 |    21667 |       56
923.08/923.54	c  922s |      18 |   364724 |   324952 |    82199      5 |    21667 |       56
925.59/926.01	c  925s |      18 |   365123 |   325352 |    82199      5 |    21667 |       56
927.58/928.03	c  927s |      18 |   365525 |   325752 |    82199      5 |    21667 |       56
930.19/930.65	c  929s |      18 |   366021 |   326252 |    82199      5 |    21667 |       56
932.39/932.85	c  931s |      18 |   366429 |   326652 |    82199      5 |    21667 |       56
934.69/935.15	c  934s |      18 |   366854 |   327052 |    82199      5 |    21667 |       56
937.09/937.51	c  936s |      18 |   367266 |   327452 |    82199      5 |    21667 |       56
939.48/939.97	c  938s |      18 |   367672 |   327852 |    82199      5 |    21667 |       56
941.49/941.99	c  941s |      18 |   368085 |   328252 |    82199      5 |    21667 |       56
944.08/944.52	c  943s |      18 |   368579 |   328752 |    82199      5 |    21667 |       56
946.18/946.66	c  945s |      18 |   368989 |   329152 |    82199      5 |    21667 |       56
948.58/949.02	c  948s |      18 |   369386 |   329552 |    82199      5 |    21667 |       56
950.98/951.48	c  950s |      18 |   369782 |   329952 |    82199      5 |    21667 |       56
953.39/953.81	c  952s |      18 |   370190 |   330352 |    82199      5 |    21667 |       56
955.38/955.84	c  954s |      18 |   370591 |   330752 |    82199      5 |    21667 |       56
957.69/958.16	c  957s |      18 |   370986 |   331152 |    82199      5 |    21667 |       56
960.18/960.66	c  959s |      18 |   371388 |   331552 |    82199      5 |    21667 |       56
962.38/962.87	c  961s |      18 |   371791 |   331952 |    82199      5 |    21667 |       56
964.58/965.02	c  964s |      18 |   372201 |   332352 |    82199      5 |    21667 |       56
966.88/967.30	c  966s |      18 |   372494 |   332652 |    82199      5 |    21667 |       56
969.28/969.76	c  968s |      18 |   372789 |   332952 |    82199      5 |    21667 |       56
971.78/972.26	c  971s |      18 |   373098 |   333252 |    82199      5 |    21667 |       56
974.18/974.63	c  973s |      18 |   373400 |   333552 |    82199      5 |    21667 |       56
976.68/977.10	c  976s |      18 |   373693 |   333852 |    82199      5 |    21667 |       56
978.98/979.46	c  978s |      18 |   374008 |   334152 |    82199      5 |    21667 |       56
981.08/981.59	c  980s |      18 |   374404 |   334552 |    82199      5 |    21667 |       56
983.37/983.88	c  982s |      18 |   374800 |   334952 |    82199      5 |    21667 |       56
985.57/986.08	c  985s |      18 |   375204 |   335352 |    82199      5 |    21667 |       56
987.68/988.12	c  987s |      18 |   375608 |   335752 |    82199      5 |    21667 |       56
990.17/990.62	c  989s |      18 |   376114 |   336252 |    82199      5 |    21667 |       56
992.37/992.83	c  991s |      18 |   376526 |   336652 |    82199      5 |    21667 |       56
994.87/995.34	c  994s |      18 |   376942 |   337052 |    82199      5 |    21667 |       56
996.87/997.35	c  996s |      18 |   377244 |   337352 |    82199      5 |    21667 |       56
999.27/999.75	c  998s |      18 |   377651 |   337752 |    82199      5 |    21667 |       56
1001.47/1001.98	c 1000s |      18 |   377954 |   338052 |    82199      5 |    21667 |       56
1003.66/1004.16	c 1003s |      18 |   378346 |   338452 |    82199      5 |    21667 |       56
1006.36/1006.89	c 1005s |      18 |   378758 |   338852 |    82199      5 |    21667 |       56
1008.86/1009.36	c 1008s |      18 |   379054 |   339152 |    82199      5 |    21667 |       56
1011.57/1012.03	c 1011s |      18 |   379351 |   339452 |    82199      5 |    21667 |       56
1014.06/1014.53	c 1013s |      18 |   379659 |   339752 |    82199      5 |    21667 |       56
1016.16/1016.60	c 1015s |      18 |   380060 |   340152 |    82199      5 |    21667 |       56
1018.66/1019.16	c 1018s |      18 |   380457 |   340552 |    82199      5 |    21667 |       56
1020.85/1021.38	c 1020s |      18 |   380854 |   340952 |    82199      5 |    21667 |       56
1023.45/1023.96	c 1022s |      18 |   381262 |   341352 |    82199      5 |    21667 |       56
1025.97/1026.47	c 1025s |      18 |   381701 |   341752 |    82199      5 |    21667 |       56
1028.06/1028.57	c 1027s |      18 |   382001 |   342052 |    82199      5 |    21667 |       56
1030.36/1030.81	c 1029s |      18 |   382413 |   342452 |    82199      5 |    21667 |       56
1037.35/1037.88	c 1036s |      18 |   382751 |   342752 |    82199      6 |    21667 |       56
1039.55/1040.01	c 1039s |      18 |   383243 |   343252 |    82199      6 |    21667 |       56
1041.75/1042.26	c 1041s |      18 |   383549 |   343552 |    82199      6 |    21667 |       56
1043.85/1044.35	c 1043s |      18 |   384044 |   344052 |    82199      6 |    21667 |       56
1045.95/1046.40	c 1045s |      18 |   384155 |   344152 |    82199      6 |    21667 |       56
1047.96/1048.44	c 1047s |      18 |   384663 |   344652 |    82199      6 |    21667 |       56
1050.35/1050.80	c 1049s |      18 |   385255 |   345252 |    82199      6 |    21667 |       56
1052.74/1053.29	c 1052s |      18 |   385670 |   345652 |    82199      6 |    21667 |       56
1054.85/1055.35	c 1054s |      18 |   386277 |   346252 |    82199      6 |    21667 |       56
1056.84/1057.39	c 1056s |      18 |   387120 |   347052 |    82199      6 |    21667 |       56
1058.95/1059.41	c 1058s |      18 |   387828 |   347752 |    82199      6 |    21667 |       56
1061.24/1061.70	c 1060s |      18 |   388640 |   348552 |    82199      6 |    21667 |       56
1063.24/1063.75	c 1062s |      18 |   389346 |   349252 |    82199      6 |    21667 |       56
1065.34/1065.88	c 1064s |      18 |   390076 |   349952 |    82199      6 |    21667 |       56
1067.54/1068.09	c 1067s |      18 |   390879 |   350752 |    82199      6 |    21667 |       56
1069.73/1070.23	c 1069s |      18 |   391725 |   351552 |    82199      6 |    21667 |       56
1071.84/1072.35	c 1071s |      18 |   392428 |   352252 |    82199      6 |    21667 |       56
1073.94/1074.46	c 1073s |      18 |   393153 |   352952 |    82199      6 |    21667 |       56
1076.24/1076.77	c 1075s |      18 |   393754 |   353552 |    82199      6 |    21667 |       56
1078.34/1078.88	c 1077s |      18 |   394462 |   354252 |    82199      6 |    21667 |       56
1080.53/1081.07	c 1080s |      18 |   395334 |   355052 |    82199      6 |    21667 |       56
1082.63/1083.12	c 1082s |      18 |   396067 |   355752 |    82199      6 |    21667 |       56
1084.83/1085.38	c 1084s |      18 |   396786 |   356452 |    82199      6 |    21667 |       56
1087.33/1087.80	c 1086s |      18 |   397385 |   357052 |    82199      6 |    21667 |       56
1089.43/1089.98	c 1088s |      18 |   397999 |   357652 |    82199      6 |    21667 |       56
1091.63/1092.16	c 1091s |      18 |   398506 |   358152 |    82199      6 |    21667 |       56
1093.63/1094.18	c 1093s |      18 |   399129 |   358752 |    82199      6 |    21667 |       56
1095.83/1096.30	c 1095s |      18 |   399730 |   359352 |    82199      6 |    21667 |       56
1097.83/1098.34	c 1097s |      18 |   400492 |   360052 |    82199      6 |    21667 |       56
1099.92/1100.41	c 1099s |      18 |   401121 |   360652 |    82199      6 |    21667 |       56
1102.23/1102.76	c 1101s |      18 |   401627 |   361152 |    82199      6 |    21667 |       56
1104.32/1104.86	c 1103s |      18 |   402252 |   361752 |    82199      6 |    21667 |       56
1106.82/1107.31	c 1106s |      18 |   402875 |   362352 |    82199      6 |    21667 |       56
1108.92/1109.45	c 1108s |      18 |   403377 |   362852 |    82199      6 |    21667 |       56
1110.92/1111.47	c 1110s |      18 |   404007 |   363452 |    82199      6 |    21667 |       56
1113.21/1113.72	c 1112s |      18 |   404617 |   364052 |    82199      6 |    21667 |       56
1115.31/1115.82	c 1114s |      18 |   405271 |   364652 |    82199      6 |    21667 |       56
1117.62/1118.18	c 1117s |      18 |   405814 |   365152 |    82199      6 |    21667 |       56
1119.81/1120.32	c 1119s |      18 |   406323 |   365652 |    82199      6 |    21667 |       56
1121.81/1122.32	c 1121s |      18 |   406855 |   366152 |    82199      6 |    21667 |       56
1123.92/1124.47	c 1123s |      18 |   407462 |   366752 |    82199      6 |    21667 |       56
1126.21/1126.78	c 1125s |      18 |   408076 |   367352 |    82199      6 |    21667 |       56
1128.41/1128.98	c 1127s |      18 |   408585 |   367852 |    82199      6 |    21667 |       56
1130.91/1131.42	c 1130s |      18 |   409201 |   368452 |    82199      6 |    21667 |       56
1133.31/1133.83	c 1132s |      18 |   409698 |   368952 |    82199      6 |    21667 |       56
1135.41/1135.97	c 1134s |      18 |   410098 |   369352 |    82199      6 |    21667 |       56
1137.61/1138.13	c 1137s |      18 |   410498 |   369752 |    82199      6 |    21667 |       56
1139.61/1140.18	c 1139s |      18 |   411019 |   370252 |    82199      6 |    21667 |       56
1142.01/1142.51	c 1141s |      18 |   411665 |   370852 |    82199      6 |    21667 |       56
1144.71/1145.23	c 1144s |      18 |   412172 |   371352 |    82199      6 |    21667 |       56
1147.00/1147.59	c 1146s |      18 |   412793 |   371952 |    82199      6 |    21667 |       56
1149.20/1149.73	c 1148s |      18 |   413304 |   372452 |    82199      6 |    21667 |       56
1151.50/1152.10	c 1151s |      18 |   413811 |   372952 |    82199      6 |    21667 |       56
1153.60/1154.10	c 1153s |      18 |   414221 |   373352 |    82199      6 |    21667 |       56
1155.60/1156.13	c 1155s |      18 |   414635 |   373752 |    82199      6 |    21667 |       56
1157.70/1158.27	c 1157s |      18 |   415035 |   374152 |    82199      6 |    21667 |       56
1160.00/1160.56	c 1159s |      18 |   415552 |   374652 |    82199      6 |    21667 |       56
1162.49/1163.00	c 1162s |      18 |   416066 |   375152 |    82199      6 |    21667 |       56
1164.50/1165.07	c 1164s |      18 |   416599 |   375652 |    82199      6 |    21667 |       56
1166.79/1167.39	c 1166s |      18 |   417122 |   376152 |    82199      6 |    21667 |       56
1172.60/1173.19	c 1172s |      18 |   417447 |   376452 |    82199      6 |    21667 |       56
1174.99/1175.51	c 1174s |      18 |   417849 |   376852 |    82199      6 |    21667 |       56
1177.30/1177.85	c 1176s |      18 |   418352 |   377352 |    82199      6 |    21667 |       56
1180.09/1180.65	c 1179s |      18 |   418855 |   377852 |    82199      6 |    21667 |       56
1182.38/1182.96	c 1181s |      18 |   419365 |   378352 |    82199      6 |    21667 |       56
1184.49/1185.09	c 1184s |      18 |   419866 |   378852 |    82199      6 |    21667 |       56
1186.99/1187.50	c 1186s |      18 |   420367 |   379352 |    82199      6 |    21667 |       56
1189.28/1189.80	c 1188s |      18 |   420865 |   379852 |    82199      6 |    21667 |       56
1191.48/1192.01	c 1191s |      18 |   421369 |   380352 |    82199      6 |    21667 |       56
1193.89/1194.47	c 1193s |      18 |   421869 |   380852 |    82199      6 |    21667 |       56
1196.18/1196.71	c 1195s |      18 |   422375 |   381352 |    82199      6 |    21667 |       56
1198.18/1198.77	c 1197s |      18 |   422890 |   381852 |    82199      6 |    21667 |       56
1200.48/1201.00	c 1200s |      18 |   423386 |   382352 |    82199      6 |    21667 |       56
1202.47/1203.04	c 1202s |      18 |   423893 |   382852 |    82199      6 |    21667 |       56
1204.68/1205.22	c 1204s |      18 |   424602 |   383552 |    82199      6 |    21667 |       56
1206.98/1207.54	c 1206s |      18 |   425201 |   384152 |    82199      6 |    21667 |       56
1209.37/1209.93	c 1208s |      18 |   425701 |   384652 |    82199      6 |    21667 |       56
1211.48/1212.08	c 1211s |      18 |   426106 |   385052 |    82199      6 |    21667 |       56
1213.58/1214.13	c 1213s |      18 |   426611 |   385552 |    82199      6 |    21667 |       56
1215.58/1216.15	c 1215s |      18 |   427109 |   386052 |    82199      6 |    21667 |       56
1217.87/1218.43	c 1217s |      18 |   427713 |   386652 |    82199      6 |    21667 |       56
1220.07/1220.64	c 1219s |      18 |   428321 |   387252 |    82199      6 |    21667 |       56
1222.38/1222.96	c 1221s |      18 |   428943 |   387852 |    82199      6 |    21667 |       56
1224.47/1225.06	c 1224s |      18 |   429448 |   388352 |    82199      6 |    21667 |       56
1226.87/1227.45	c 1226s |      18 |   430063 |   388952 |    82199      6 |    21667 |       56
1229.07/1229.61	c 1228s |      18 |   430571 |   389452 |    82199      6 |    21667 |       56
1231.26/1231.85	c 1230s |      18 |   431078 |   389952 |    82199      6 |    21667 |       56
1233.47/1234.05	c 1233s |      18 |   431578 |   390452 |    82199      6 |    21667 |       56
1235.67/1236.29	c 1235s |      18 |   432078 |   390952 |    82199      6 |    21667 |       56
1238.07/1238.63	c 1237s |      18 |   432589 |   391452 |    82199      6 |    21667 |       56
1240.27/1240.88	c 1239s |      18 |   433091 |   391952 |    82199      6 |    21667 |       56
1242.67/1243.22	c 1242s |      18 |   433701 |   392552 |    82199      6 |    21667 |       56
1244.78/1245.34	c 1244s |      18 |   434209 |   393052 |    82199      6 |    21667 |       56
1246.97/1247.54	c 1246s |      18 |   434739 |   393552 |    82199      6 |    21667 |       56
1249.17/1249.70	c 1248s |      18 |   435340 |   394152 |    82199      6 |    21667 |       56
1251.16/1251.77	c 1250s |      18 |   435840 |   394652 |    82199      6 |    21667 |       56
1256.26/1256.81	c 1255s |      18 |   436238 |   395052 |    82199      7 |    21667 |       56
1258.47/1259.07	c 1258s |      18 |   436749 |   395552 |    82199      7 |    21667 |       56
1260.66/1261.21	c 1260s |      18 |   437145 |   395952 |    82199      7 |    21667 |       56
1263.16/1263.73	c 1262s |      18 |   437545 |   396352 |    82199      7 |    21667 |       56
1265.46/1266.10	c 1265s |      18 |   437952 |   396752 |    82199      7 |    21667 |       56
1267.66/1268.22	c 1267s |      18 |   438352 |   397152 |    82199      7 |    21667 |       56
1269.87/1270.44	c 1269s |      18 |   438854 |   397652 |    82199      7 |    21667 |       56
1272.17/1272.76	c 1271s |      18 |   439259 |   398052 |    82199      7 |    21667 |       56
1274.46/1275.07	c 1274s |      18 |   439775 |   398552 |    82199      7 |    21667 |       56
1276.76/1277.38	c 1276s |      18 |   440279 |   399052 |    82199      7 |    21667 |       56
1279.16/1279.70	c 1278s |      18 |   440704 |   399452 |    82199      7 |    21667 |       56
1281.16/1281.77	c 1280s |      18 |   441110 |   399852 |    82199      7 |    21667 |       56
1283.45/1284.03	c 1283s |      18 |   441632 |   400352 |    82199      7 |    21667 |       56
1285.76/1286.32	c 1285s |      18 |   442070 |   400752 |    82199      7 |    21667 |       56
1288.16/1288.70	c 1287s |      18 |   442618 |   401252 |    82199      7 |    21667 |       56
1290.16/1290.70	c 1289s |      18 |   443034 |   401652 |    82199      7 |    21667 |       56
1292.56/1293.14	c 1292s |      18 |   443666 |   402252 |    82199      7 |    21667 |       56
1294.65/1295.20	c 1294s |      18 |   444183 |   402752 |    82199      7 |    21667 |       56
1296.65/1297.29	c 1296s |      18 |   444686 |   403252 |    82199      7 |    21667 |       56
1299.15/1299.71	c 1298s |      18 |   445285 |   403852 |    82199      7 |    21667 |       56
1301.35/1301.96	c 1300s |      18 |   445886 |   404452 |    82199      7 |    21667 |       56
1303.46/1304.02	c 1303s |      18 |   446696 |   405152 |    82199      7 |    21667 |       56
1305.55/1306.12	c 1305s |      18 |   447498 |   405852 |    82199      7 |    21667 |       56
1307.75/1308.33	c 1307s |      18 |   448318 |   406552 |    82199      7 |    21667 |       56
1309.85/1310.44	c 1309s |      18 |   448820 |   407052 |    82199      7 |    21667 |       56
1312.75/1313.32	c 1312s |      18 |   449323 |   407552 |    82199      7 |    21667 |       56
1314.85/1315.48	c 1314s |      18 |   449821 |   408052 |    82199      7 |    21667 |       56
1316.95/1317.52	c 1316s |      18 |   450330 |   408552 |    82199      7 |    21667 |       56
1319.14/1319.74	c 1318s |      18 |   450829 |   409052 |    82199      7 |    21667 |       56
1321.25/1321.84	c 1320s |      18 |   451331 |   409552 |    82199      7 |    21667 |       56
1323.45/1324.01	c 1323s |      18 |   451828 |   410052 |    82199      7 |    21667 |       56
1325.84/1326.43	c 1325s |      18 |   452337 |   410552 |    82199      7 |    21667 |       56
1328.15/1328.73	c 1327s |      18 |   452837 |   411052 |    82199      7 |    21667 |       56
1330.14/1330.75	c 1329s |      18 |   453238 |   411452 |    82199      7 |    21667 |       56
1332.54/1333.13	c 1332s |      18 |   453743 |   411952 |    82199      7 |    21667 |       56
1334.95/1335.51	c 1334s |      18 |   454241 |   412452 |    82199      7 |    21667 |       56
1337.24/1337.84	c 1336s |      18 |   454908 |   413052 |    82199      7 |    21667 |       56
1339.34/1339.95	c 1338s |      18 |   455303 |   413452 |    82199      7 |    21667 |       56
1341.44/1342.03	c 1341s |      18 |   455709 |   413852 |    82199      7 |    21667 |       56
1343.54/1344.10	c 1343s |      18 |   456113 |   414252 |    82199      7 |    21667 |       56
1345.54/1346.16	c 1345s |      18 |   456510 |   414652 |    82199      7 |    21667 |       56
1347.63/1348.22	c 1347s |      18 |   456918 |   415052 |    82199      7 |    21667 |       56
1349.83/1350.42	c 1349s |      18 |   457413 |   415552 |    82199      7 |    21667 |       56
1352.44/1353.03	c 1352s |      18 |   457931 |   416052 |    82199      7 |    21667 |       56
1354.63/1355.27	c 1354s |      18 |   458430 |   416552 |    82199      7 |    21667 |       56
1356.94/1357.56	c 1356s |      18 |   458927 |   417052 |    82199      7 |    21667 |       56
1359.33/1359.95	c 1358s |      18 |   459430 |   417552 |    82199      7 |    21667 |       56
1361.73/1362.30	c 1361s |      18 |   459930 |   418052 |    82199      7 |    21667 |       56
1363.73/1364.31	c 1363s |      18 |   460330 |   418452 |    82199      7 |    21667 |       56
1366.13/1366.79	c 1365s |      18 |   460832 |   418952 |    82199      7 |    21667 |       56
1368.33/1368.92	c 1367s |      18 |   461355 |   419452 |    82199      7 |    21667 |       56
1370.33/1370.99	c 1370s |      18 |   461758 |   419852 |    82199      7 |    21667 |       56
1372.42/1373.09	c 1372s |      18 |   462283 |   420352 |    82199      7 |    21667 |       56
1374.73/1375.34	c 1374s |      18 |   462821 |   420852 |    82199      7 |    21667 |       56
1376.82/1377.47	c 1376s |      18 |   463224 |   421252 |    82199      7 |    21667 |       56
1379.02/1379.65	c 1378s |      18 |   463622 |   421652 |    82199      7 |    21667 |       56
1381.32/1381.92	c 1380s |      18 |   464025 |   422052 |    82199      7 |    21667 |       56
1383.63/1384.25	c 1383s |      18 |   464422 |   422452 |    82199      7 |    21667 |       56
1386.02/1386.62	c 1385s |      18 |   464824 |   422852 |    82199      7 |    21667 |       56
1388.02/1388.63	c 1387s |      18 |   465267 |   423252 |    82199      7 |    21667 |       56
1390.22/1390.83	c 1389s |      18 |   465667 |   423652 |    82199      7 |    21667 |       56
1393.02/1393.65	c 1392s |      18 |   466166 |   424152 |    82199      7 |    21667 |       56
1395.21/1395.85	c 1394s |      18 |   466571 |   424552 |    82199      7 |    21667 |       56
1397.72/1398.35	c 1397s |      18 |   467076 |   425052 |    82199      7 |    21667 |       56
1400.31/1400.93	c 1399s |      18 |   467575 |   425552 |    82199      7 |    21667 |       56
1402.81/1403.41	c 1402s |      18 |   467976 |   425952 |    82199      7 |    21667 |       56
1405.11/1405.73	c 1404s |      18 |   468378 |   426352 |    82199      7 |    21667 |       56
1407.31/1407.90	c 1406s |      18 |   468780 |   426752 |    82199      7 |    21667 |       56
1409.41/1410.09	c 1409s |      18 |   469279 |   427252 |    82199      7 |    21667 |       56
1411.51/1412.11	c 1411s |      18 |   469684 |   427652 |    82199      7 |    21667 |       56
1413.80/1414.40	c 1413s |      18 |   470087 |   428052 |    82199      7 |    21667 |       56
1415.81/1416.42	c 1415s |      18 |   470499 |   428452 |    82199      7 |    21667 |       56
1417.91/1418.59	c 1417s |      18 |   470920 |   428852 |    82199      7 |    21667 |       56
1420.11/1420.71	c 1419s |      18 |   471322 |   429252 |    82199      7 |    21667 |       56
1422.20/1422.82	c 1421s |      18 |   471724 |   429652 |    82199      7 |    21667 |       56
1424.41/1425.08	c 1424s |      18 |   472131 |   430052 |    82199      7 |    21667 |       56
1427.00/1427.66	c 1426s |      18 |   472638 |   430552 |    82199      7 |    21667 |       56
1429.30/1429.99	c 1428s |      18 |   473165 |   431052 |    82199      7 |    21667 |       56
1431.89/1432.56	c 1431s |      18 |   473674 |   431552 |    82199      7 |    21667 |       56
1434.30/1434.94	c 1433s |      18 |   474076 |   431952 |    82199      7 |    21667 |       56
1437.30/1437.91	c 1436s |      18 |   474475 |   432352 |    82199      7 |    21667 |       56
1439.50/1440.10	c 1439s |      18 |   474876 |   432752 |    82199      7 |    21667 |       56
1441.60/1442.27	c 1441s |      18 |   475278 |   433152 |    82199      7 |    21667 |       56
1443.90/1444.56	c 1443s |      18 |   475680 |   433552 |    82199      7 |    21667 |       56
1446.29/1446.91	c 1445s |      18 |   476239 |   434052 |    82199      7 |    21667 |       56
1448.69/1449.39	c 1448s |      18 |   476746 |   434552 |    82199      7 |    21667 |       56
1451.09/1451.76	c 1450s |      18 |   477147 |   434952 |    82199      7 |    21667 |       56
1453.40/1454.05	c 1453s |      18 |   477558 |   435352 |    82199      7 |    21667 |       56
1455.40/1456.05	c 1455s |      18 |   477983 |   435752 |    82199      7 |    21667 |       56
1457.79/1458.43	c 1457s |      18 |   478390 |   436152 |    82199      7 |    21667 |       56
1460.19/1460.81	c 1459s |      18 |   478800 |   436552 |    82199      7 |    21667 |       56
1462.59/1463.27	c 1462s |      18 |   479208 |   436952 |    82199      7 |    21667 |       56
1464.59/1465.28	c 1464s |      18 |   479508 |   437252 |    82199      7 |    21667 |       56
1467.19/1467.80	c 1466s |      18 |   479910 |   437652 |    82199      7 |    21667 |       56
1469.48/1470.18	c 1469s |      18 |   480429 |   438152 |    82199      7 |    21667 |       56
1471.89/1472.57	c 1471s |      18 |   480834 |   438552 |    82199      7 |    21667 |       56
1474.39/1475.09	c 1474s |      18 |   481242 |   438952 |    82199      7 |    21667 |       56
1477.08/1477.79	c 1476s |      18 |   481644 |   439352 |    82199      7 |    21667 |       56
1479.39/1480.02	c 1479s |      18 |   481939 |   439652 |    82199      7 |    21667 |       56
1481.88/1482.51	c 1481s |      18 |   482346 |   440052 |    82199      7 |    21667 |       56
1484.28/1484.99	c 1483s |      18 |   482749 |   440452 |    82199      7 |    21667 |       56
1486.88/1487.54	c 1486s |      18 |   483149 |   440852 |    82199      7 |    21667 |       56
1489.18/1489.85	c 1488s |      18 |   483547 |   441252 |    82199      7 |    21667 |       56
1491.38/1492.04	c 1491s |      18 |   483953 |   441652 |    90419      7 |    21667 |       56
1493.88/1494.52	c 1493s |      18 |   484475 |   442152 |    90419      7 |    21667 |       56
1496.58/1497.21	c 1496s |      18 |   484877 |   442552 |    90419      7 |    21667 |       56
1498.58/1499.21	c 1498s |      18 |   485174 |   442852 |    90419      7 |    21667 |       56
1501.07/1501.79	c 1500s |      18 |   485575 |   443252 |    90419      7 |    21667 |       56
1503.19/1503.88	c 1502s |      18 |   485877 |   443552 |    90419      7 |    21667 |       56
1505.47/1506.12	c 1505s |      18 |   486175 |   443852 |    90419      7 |    21667 |       56
1507.48/1508.20	c 1507s |      18 |   486476 |   444152 |    90419      7 |    21667 |       56
1509.58/1510.21	c 1509s |      18 |   486778 |   444452 |    90419      7 |    21667 |       56
1509.78/1510.41	c 1509s |      19 |   486808 |   444482 |    90419      7 |    21667 |       56
1514.57/1515.22	c 1514s |      19 |   487389 |   444582 |    90419      7 |    21667 |       56
1516.77/1517.47	c 1516s |      19 |   487586 |   444782 |    90419      7 |    21667 |       56
1519.68/1520.39	c 1519s |      19 |   487794 |   444982 |    90419      7 |    21667 |       56
1522.07/1522.74	c 1521s |      19 |   487865 |   445082 |    90419      7 |    21667 |       56
1524.66/1525.36	c 1524s |      19 |   488089 |   445282 |    90419      7 |    21667 |       56
1527.17/1527.86	c 1526s |      19 |   488247 |   445482 |    90419      7 |    21667 |       56
1529.86/1530.51	c 1529s |      19 |   488480 |   445682 |    90419      7 |    21667 |       56
1533.87/1534.52	c 1533s |      19 |   488480 |   445882 |    90419      7 |    21667 |       56
1537.06/1537.80	c 1536s |      19 |   488480 |   445982 |    90419      7 |    21667 |       56
1539.76/1540.44	c 1539s |      19 |   488881 |   446082 |    90419      7 |    21667 |       56
1544.46/1545.17	c 1544s |      19 |   488881 |   446282 |    90419      7 |    21667 |       56
1547.37/1548.02	c 1547s |      19 |   488881 |   446382 |    90419      7 |    21667 |       56
1549.97/1550.65	c 1549s |      19 |   489287 |   446482 |    90419      7 |    21667 |       56
1554.06/1554.70	c 1553s |      19 |   489287 |   446682 |    90419      7 |    21667 |       56
1556.76/1557.44	c 1556s |      19 |   489287 |   446782 |    90419      7 |    21667 |       56
1559.96/1560.61	c 1559s |      19 |   489698 |   446882 |    90419      7 |    21667 |       56
1563.86/1564.57	c 1563s |      19 |   489698 |   447082 |    90419      7 |    21667 |       56
1567.16/1567.81	c 1566s |      19 |   489698 |   447182 |    90419      7 |    21667 |       56
1570.06/1570.73	c 1569s |      19 |   490117 |   447282 |    90419      7 |    21667 |       56
1573.96/1574.60	c 1573s |      19 |   490117 |   447482 |    90419      7 |    21667 |       56
1576.56/1577.29	c 1576s |      19 |   490117 |   447582 |    90419      7 |    21667 |       56
1579.75/1580.45	c 1579s |      19 |   490117 |   447682 |    90419      7 |    21667 |       56
1585.66/1586.37	c 1585s |      19 |   490581 |   447782 |    90419      7 |    21667 |       56
1589.75/1590.44	c 1589s |      19 |   490581 |   447982 |    90419      7 |    21667 |       56
1592.95/1593.66	c 1592s |      19 |   490581 |   448082 |    90419      7 |    21667 |       56
1600.95/1601.68	c 1600s |      19 |   496332 |   448182 |    90419      7 |    21667 |       56
1603.04/1603.77	c 1602s |      19 |   498018 |   449782 |    90419      7 |    21667 |       56
1605.15/1605.86	c 1604s |      19 |   499128 |   450882 |    90419      7 |    21667 |       56
1607.34/1608.01	c 1607s |      19 |   500648 |   452382 |    90419      7 |    21667 |       56
1609.34/1610.09	c 1609s |      19 |   501783 |   453482 |    90419      7 |    21667 |       56
1611.44/1612.14	c 1611s |      19 |   502783 |   454482 |    90419      7 |    21667 |       56
1613.64/1614.30	c 1613s |      19 |   503785 |   455482 |    90419      7 |    21667 |       56
1615.74/1616.48	c 1615s |      19 |   504785 |   456482 |    90419      7 |    21667 |       56
1617.84/1618.58	c 1617s |      19 |   505687 |   457382 |    90419      7 |    21667 |       56
1619.94/1620.61	c 1619s |      19 |   506488 |   458182 |    90419      7 |    21667 |       56
1622.04/1622.71	c 1621s |      19 |   507291 |   458982 |    90419      7 |    21667 |       56
1624.14/1624.88	c 1623s |      19 |   508092 |   459782 |    90419      7 |    21667 |       56
1626.14/1626.89	c 1625s |      19 |   508892 |   460582 |    90419      7 |    21667 |       56
1628.44/1629.16	c 1628s |      19 |   509795 |   461482 |    90419      7 |    21667 |       56
1630.64/1631.39	c 1630s |      19 |   510700 |   462382 |    90419      7 |    21667 |       56
1632.84/1633.54	c 1632s |      19 |   511407 |   463082 |    90419      7 |    21667 |       56
1634.93/1635.63	c 1634s |      19 |   512021 |   463682 |    90419      7 |    21667 |       56
1637.14/1637.87	c 1636s |      19 |   512814 |   464482 |    90419      7 |    21667 |       56
1641.44/1642.19	c 1641s |      19 |   513020 |   464682 |    90419      8 |    21667 |       56
1643.53/1644.23	c 1643s |      19 |   513628 |   465282 |    90419      8 |    21667 |       56
1645.54/1646.24	c 1645s |      19 |   514227 |   465882 |    90419      8 |    21667 |       56
1647.83/1648.55	c 1647s |      19 |   514944 |   466582 |    90419      8 |    21667 |       56
1649.93/1650.61	c 1649s |      19 |   515655 |   467282 |    90419      8 |    21667 |       56
1652.23/1652.90	c 1651s |      19 |   516366 |   467982 |    90419      8 |    21667 |       56
1654.33/1655.04	c 1654s |      19 |   516967 |   468582 |    90419      8 |    21667 |       56
1656.33/1657.05	c 1656s |      19 |   517573 |   469182 |    90419      8 |    21667 |       56
1658.54/1659.24	c 1658s |      19 |   518288 |   469882 |    90419      8 |    21667 |       56
1660.53/1661.25	c 1660s |      19 |   518897 |   470482 |    90419      8 |    21667 |       56
1662.63/1663.35	c 1662s |      19 |   519597 |   471182 |    90419      8 |    21667 |       56
1664.83/1665.53	c 1664s |      19 |   520315 |   471882 |    90419      8 |    21667 |       56
1666.94/1667.70	c 1666s |      19 |   520922 |   472482 |    90419      8 |    21667 |       56
1669.24/1669.95	c 1668s |      19 |   521430 |   472982 |    90419      8 |    21667 |       56
1671.33/1672.08	c 1671s |      19 |   521831 |   473382 |    90419      8 |    21667 |       56
1673.64/1674.35	c 1673s |      19 |   522131 |   473682 |    90419      8 |    21667 |       56
1675.92/1676.68	c 1675s |      19 |   522637 |   474182 |    90419      8 |    21667 |       56
1678.13/1678.87	c 1677s |      19 |   523345 |   474882 |    90419      8 |    21667 |       56
1680.33/1681.07	c 1680s |      19 |   524046 |   475582 |    90419      8 |    21667 |       56
1682.53/1683.26	c 1682s |      19 |   524758 |   476282 |    90419      8 |    21667 |       56
1684.83/1685.54	c 1684s |      19 |   525471 |   476982 |    90419      8 |    21667 |       56
1687.12/1687.80	c 1686s |      19 |   526177 |   477682 |    90419      8 |    21667 |       56
1689.33/1690.08	c 1689s |      19 |   526890 |   478382 |    90419      8 |    21667 |       56
1691.52/1692.28	c 1691s |      19 |   527499 |   478982 |    90419      8 |    21667 |       56
1693.62/1694.35	c 1693s |      19 |   528100 |   479582 |    90419      8 |    21667 |       56
1695.82/1696.55	c 1695s |      19 |   528706 |   480182 |    90419      8 |    21667 |       56
1697.92/1698.68	c 1697s |      19 |   529209 |   480682 |    90419      8 |    21667 |       56
1700.12/1700.80	c 1699s |      19 |   529711 |   481182 |    90419      8 |    21667 |       56
1702.32/1703.06	c 1702s |      19 |   530116 |   481582 |    90419      8 |    21667 |       56
1704.81/1705.50	c 1704s |      19 |   530514 |   481982 |    90419      8 |    21667 |       56
1706.92/1707.63	c 1706s |      19 |   531019 |   482482 |    90419      8 |    21667 |       56
1709.12/1709.85	c 1708s |      19 |   531532 |   482982 |    90419      8 |    21667 |       56
1711.42/1712.15	c 1711s |      19 |   532047 |   483482 |    90419      8 |    21667 |       56
1713.92/1714.68	c 1713s |      19 |   532651 |   484082 |    90419      8 |    21667 |       56
1716.31/1717.01	c 1716s |      19 |   533254 |   484682 |    90419      8 |    21667 |       56
1718.32/1719.05	c 1718s |      19 |   533662 |   485082 |    90419      8 |    21667 |       56
1720.71/1721.41	c 1720s |      19 |   534067 |   485482 |    90419      8 |    21667 |       56
1723.21/1723.99	c 1723s |      19 |   534468 |   485882 |    90419      8 |    21667 |       56
1725.71/1726.48	c 1725s |      19 |   534871 |   486282 |    90419      8 |    21667 |       56
1728.21/1728.95	c 1727s |      19 |   535376 |   486782 |    90419      8 |    21667 |       56
1730.21/1730.96	c 1729s |      19 |   535785 |   487182 |    90419      8 |    21667 |       56
1732.50/1733.28	c 1732s |      19 |   536288 |   487682 |    90419      8 |    21667 |       56
1734.80/1735.58	c 1734s |      19 |   536796 |   488182 |    90419      8 |    21667 |       56
1737.80/1738.50	c 1737s |      19 |   537201 |   488582 |    90419      8 |    21667 |       56
1740.00/1740.70	c 1739s |      19 |   537604 |   488982 |    90419      8 |    21667 |       56
1742.30/1743.07	c 1742s |      19 |   538006 |   489382 |    90419      8 |    21667 |       56
1744.70/1745.47	c 1744s |      19 |   538416 |   489782 |    90419      8 |    21667 |       56
1747.00/1747.78	c 1746s |      19 |   538816 |   490182 |    90419      8 |    21667 |       56
1749.09/1749.84	c 1748s |      19 |   539224 |   490582 |    90419      8 |    21667 |       56
1751.40/1752.16	c 1751s |      19 |   539739 |   491082 |    90419      8 |    21667 |       56
1753.50/1754.25	c 1753s |      19 |   540249 |   491582 |    90419      8 |    21667 |       56
1755.80/1756.52	c 1755s |      19 |   540751 |   492082 |    90419      8 |    21667 |       56
1758.00/1758.77	c 1757s |      19 |   541251 |   492582 |    90419      8 |    21667 |       56
1760.39/1761.17	c 1760s |      19 |   541752 |   493082 |    90419      8 |    21667 |       56
1762.39/1763.18	c 1762s |      19 |   542257 |   493582 |    90419      8 |    21667 |       56
1764.69/1765.45	c 1764s |      19 |   542866 |   494182 |    90419      8 |    21667 |       56
1766.90/1767.63	c 1766s |      19 |   543481 |   494782 |    90419      8 |    21667 |       56
1769.30/1770.01	c 1769s |      19 |   544102 |   495382 |    90419      8 |    21667 |       56
1771.29/1772.07	c 1771s |      19 |   544400 |   495682 |    90419      8 |    21667 |       56
1773.39/1774.15	c 1773s |      19 |   544909 |   496182 |    90419      8 |    21667 |       56
1775.49/1776.26	c 1775s |      19 |   545315 |   496582 |    90419      8 |    21667 |       56
1777.89/1778.67	c 1777s |      19 |   545828 |   497082 |    90419      8 |    21667 |       56
1780.09/1780.85	c 1779s |      19 |   546232 |   497482 |    90419      8 |    21667 |       56
1782.28/1783.02	c 1782s |      19 |   546637 |   497882 |    90419      8 |    21667 |       56
1784.29/1785.04	c 1784s |      19 |   547044 |   498282 |    90419      8 |    21667 |       56
1786.28/1787.05	c 1786s |      19 |   547452 |   498682 |    90419      8 |    21667 |       56
1788.69/1789.44	c 1788s |      19 |   547963 |   499182 |    90419      8 |    21667 |       56
1790.88/1791.63	c 1790s |      19 |   548366 |   499582 |    90419      8 |    21667 |       56
1793.48/1794.20	c 1793s |      19 |   548874 |   500082 |    90419      8 |    21667 |       56
1795.48/1796.23	c 1795s |      19 |   549283 |   500482 |    90419      8 |    21667 |       56
1797.68/1798.49	c 1797s |      19 |   549583 |   500782 |    90419      8 |    21667 |       56
1799.89/1800.64	c 1799s |      19 |   550082 |   501282 |    90419      8 |    21667 |       56

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

pid=1091
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.36 2.35 2.24 3/180 1094
/proc/meminfo: memFree=29367696/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=445884 CPUtime=0 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 1613 0 0 0 0 0 0 0 20 0 4 0 23937597 456585216 1974 33554432000 4194304 16246674 140735143850240 140735143849664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 112239 1984 441 2943 0 109133 0
[pid=1094/tid=1095] ppid=1091 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 741797888 3061 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 745992192 3080 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23937597 750186496 3096 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.36 2.35 2.24 3/180 1094
/proc/meminfo: memFree=29367696/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1300036 CPUtime=0.09 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 28520 0 0 0 6 3 0 0 20 0 4 0 23937597 1331236864 28820 33554432000 4194304 16246674 140735143850240 140735143849552 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 325009 28833 799 2943 0 321903 0
[pid=1094/tid=1095] ppid=1091 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1331236864 28844 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1331236864 28856 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1331236864 28867 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1300036

[startup+0.200518 s]
/proc/loadavg: 2.36 2.35 2.24 3/180 1094
/proc/meminfo: memFree=29367696/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 47901 0 0 0 13 6 0 0 20 0 4 0 23937597 1342771200 48711 33554432000 4194304 16246674 140735143850240 140735143849552 7361324 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 327825 48711 801 2943 0 324719 0
[pid=1094/tid=1095] ppid=1091 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1342771200 48711 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1342771200 48711 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1342771200 48711 33554432000 4194304 16246674 140735143850240 139707354696880 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) 1311300

[startup+0.300521 s]
/proc/loadavg: 2.36 2.35 2.24 3/180 1094
/proc/meminfo: memFree=29367696/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 52554 0 0 0 23 6 0 0 20 0 4 0 23937597 1343819776 53364 33554432000 4194304 16246674 140735143850240 140735143849552 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 328081 53364 801 2943 0 324975 0
[pid=1094/tid=1095] ppid=1091 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1343819776 53364 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1343819776 53364 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1343819776 53364 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700434 s]
/proc/loadavg: 2.36 2.35 2.24 3/180 1094
/proc/meminfo: memFree=29367696/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1327684 CPUtime=0.69 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 56445 0 0 0 62 7 0 0 20 0 4 0 23937597 1359548416 57255 33554432000 4194304 16246674 140735143850240 140735143849552 13966736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 331921 57255 842 2943 0 328815 0
[pid=1094/tid=1095] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 57255 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 57255 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 57255 33554432000 4194304 16246674 140735143850240 139707354696880 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) 1327684

[startup+1.50043 s]
/proc/loadavg: 2.36 2.35 2.24 3/184 1098
/proc/meminfo: memFree=29111088/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1327684 CPUtime=1.49 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 66873 0 0 0 141 8 0 0 20 0 4 0 23937597 1359548416 67683 33554432000 4194304 16246674 140735143850240 140735143832128 13759646 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 331921 67683 900 2943 0 328815 0
[pid=1094/tid=1095] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 67683 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 67683 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 67683 33554432000 4194304 16246674 140735143850240 139707354696880 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) 1327684

[startup+3.10043 s]
/proc/loadavg: 2.33 2.34 2.24 3/184 1098
/proc/meminfo: memFree=29097448/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1327684 CPUtime=3.09 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 66873 0 0 0 301 8 0 0 20 0 4 0 23937597 1359548416 67683 33554432000 4194304 16246674 140735143850240 140735143832128 5723504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 331921 67683 900 2943 0 328815 0
[pid=1094/tid=1095] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 67683 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 67683 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 67683 33554432000 4194304 16246674 140735143850240 139707354696880 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) 1327684

[startup+6.30037 s]
/proc/loadavg: 2.33 2.34 2.24 3/184 1098
/proc/meminfo: memFree=28796548/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1327684 CPUtime=6.29 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 142108 0 0 0 611 18 0 0 20 0 4 0 23937597 1359548416 142918 33554432000 4194304 16246674 140735143850240 140735143832128 12477787 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 331921 142918 900 2943 0 328815 0
[pid=1094/tid=1095] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 142918 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 142918 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 142918 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1327684

[startup+12.7005 s]
/proc/loadavg: 2.43 2.37 2.25 3/183 1098
/proc/meminfo: memFree=28274100/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1327684 CPUtime=12.69 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 272609 0 0 0 1234 35 0 0 20 0 4 0 23937597 1359548416 273419 33554432000 4194304 16246674 140735143850240 140735143832128 5661021 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 331921 273419 900 2943 0 328815 0
[pid=1094/tid=1095] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273419 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273419 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273419 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1327684

[startup+25.5005 s]
/proc/loadavg: 2.45 2.37 2.25 3/183 1098
/proc/meminfo: memFree=28274728/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1327684 CPUtime=25.48 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 272611 0 0 0 2513 35 0 0 20 0 4 0 23937597 1359548416 273421 33554432000 4194304 16246674 140735143850240 140735143832128 6021684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 331921 273421 902 2943 0 328815 0
[pid=1094/tid=1095] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273421 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273421 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273421 33554432000 4194304 16246674 140735143850240 139707354696880 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) 1327684

[startup+51.1005 s]
/proc/loadavg: 2.29 2.34 2.25 3/183 1098
/proc/meminfo: memFree=28274080/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1327684 CPUtime=51.08 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 272611 0 0 0 5072 36 0 0 20 0 4 0 23937597 1359548416 273421 33554432000 4194304 16246674 140735143850240 140735143832128 5711245 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 331921 273421 902 2943 0 328815 0
[pid=1094/tid=1095] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273421 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273421 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273421 33554432000 4194304 16246674 140735143850240 139707354696880 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) 1327684

[startup+102.301 s]
/proc/loadavg: 2.36 2.34 2.25 3/183 1099
/proc/meminfo: memFree=28273212/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=1327684 CPUtime=102.28 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 272618 0 0 0 10191 37 0 0 20 0 4 0 23937597 1359548416 273422 33554432000 4194304 16246674 140735143850240 140735143832128 5673687 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 331921 273422 903 2943 0 328815 0
[pid=1094/tid=1095] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273422 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273422 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 1359548416 273422 33554432000 4194304 16246674 140735143850240 139707354696880 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) 1327684


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

/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 4021882880 923192 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=3927620 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 4021882880 923192 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=3927620 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 4021882880 923192 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 3927620

[startup+1362.3 s]
/proc/loadavg: 2.44 2.33 2.28 3/183 1179
/proc/meminfo: memFree=24571960/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=4170308 CPUtime=1361.73 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 983657 0 0 0 135856 317 0 0 20 0 4 0 23937597 4270395392 983885 33554432000 4194304 16246674 140735143850240 140735143832128 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 1042577 983885 906 2943 0 1039471 0
[pid=1094/tid=1095] ppid=1091 vsize=4170308 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 4270395392 983885 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=4170308 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 4270395392 983885 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=4170308 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 4270395392 983885 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 4170308

[startup+1422.3 s]
/proc/loadavg: 2.40 2.34 2.29 4/183 1181
/proc/meminfo: memFree=24236956/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=4306500 CPUtime=1421.71 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 1017936 0 0 0 141836 335 0 0 20 0 4 0 23937597 4409856000 1018130 33554432000 4194304 16246674 140735143850240 140735143849416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 1076625 1018130 906 2943 0 1073519 0
[pid=1094/tid=1095] ppid=1091 vsize=4306500 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 4409856000 1018130 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=4306500 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 4409856000 1018130 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=4306500 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 4409856000 1018130 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 4306500

[startup+1482.3 s]
/proc/loadavg: 2.30 2.31 2.28 3/183 1182
/proc/meminfo: memFree=23845264/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=4584004 CPUtime=1481.68 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 1087304 0 0 0 147813 355 0 0 20 0 4 0 23937597 4694020096 1087476 33554432000 4194304 16246674 140735143850240 140735143832128 5673600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 1146001 1087476 906 2943 0 1142895 0
[pid=1094/tid=1095] ppid=1091 vsize=4584004 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 4694020096 1087476 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=4584004 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 4694020096 1087476 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=4584004 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 4694020096 1087476 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 4584004

[startup+1542.31 s]
/proc/loadavg: 2.21 2.28 2.27 3/183 1183
/proc/meminfo: memFree=23541828/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=4775492 CPUtime=1541.67 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 1135145 0 0 0 153794 373 0 0 20 0 4 0 23937597 4890103808 1135297 33554432000 4194304 16246674 140735143850240 140735143849336 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 1193873 1135297 906 2943 0 1190767 0
[pid=1094/tid=1095] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135297 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135297 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135297 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 4775492

[startup+1602.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/183 1184
/proc/meminfo: memFree=23422036/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=4775492 CPUtime=1601.65 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 1135238 0 0 0 159784 381 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 140735143849416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 1193873 1135378 906 2943 0 1190767 0
[pid=1094/tid=1095] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 4775492

[startup+1662.3 s]
/proc/loadavg: 2.17 2.25 2.26 3/183 1185
/proc/meminfo: memFree=23406952/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=4775492 CPUtime=1661.63 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 1135252 0 0 0 165763 400 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 140735143832128 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 1193873 1135378 906 2943 0 1190767 0
[pid=1094/tid=1095] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 4775492

[startup+1722.3 s]
/proc/loadavg: 2.11 2.22 2.25 3/183 1189
/proc/meminfo: memFree=23334268/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=4775492 CPUtime=1721.61 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 1135270 0 0 0 171747 414 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 140735143849336 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 1193873 1135378 906 2943 0 1190767 0
[pid=1094/tid=1095] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 4775492

[startup+1782.3 s]
/proc/loadavg: 2.20 2.22 2.25 3/183 1191
/proc/meminfo: memFree=23228972/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=4775492 CPUtime=1781.58 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 1135292 0 0 0 177732 426 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 140735143832128 5823690 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 1193873 1135378 906 2943 0 1190767 0
[pid=1094/tid=1095] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 4775492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 2.31 2.24 2.25 3/183 1192
/proc/meminfo: memFree=23217592/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=4775492 CPUtime=1800.09 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) R 1091 1094 31224 0 -1 4202496 1135298 0 0 0 179579 430 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 140735143849416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 1193873 1135378 906 2943 0 1190767 0
[pid=1094/tid=1095] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1095/stat : 1095 (toysat) S 1091 1094 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707375660272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) S 1091 1094 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707365170416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1094/tid=1097] ppid=1091 vsize=4775492 CPUtime=0 cores=1,3,5,7
/proc/1094/task/1097/stat : 1097 (toysat) S 1091 1094 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23937597 4890103808 1135378 33554432000 4194304 16246674 140735143850240 139707354696880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 4775492

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

[startup+1800.9 s]
/proc/loadavg: 2.31 2.24 2.25 3/183 1192
/proc/meminfo: memFree=23217592/32872528 swapFree=1200228/1314692
[pid=1094] ppid=1091 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/1094/stat : 1094 (toysat) Z 1091 1094 31224 0 -1 4203532 1135298 0 0 0 179580 439 0 0 20 0 2 0 23937597 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1094/statm: 0 0 0 0 0 0 0
[pid=1094/tid=1096] ppid=1091 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/1094/task/1096/stat : 1096 (toysat) R 1091 1094 31224 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 23937597 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.91
CPU time (s): 1800.2
CPU user time (s): 1795.8
CPU system time (s): 4.39733
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 4775492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.8
system time used= 4.39733
maximum resident set size= 4541512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1135298
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= 897
involuntary context switches= 1939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.75367 second user time and 9.32758 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 05:01:51
IDJOB=4100937
IDBENCH=1680
IDSOLVER=2542
FILE ID=node131/4100937-1466218911
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71688 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-ship04s.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100937-1466218911/watcher-4100937-1466218911 -o /tmp/evaluation-result-4100937-1466218911/solver-4100937-1466218911 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100937-1466218911.opb

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

MD5SUM BENCH= fe1a2bbeb11180a9cf7bf3ad481e98b1
RANDOM SEED=1117084047

node131.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.752
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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.752
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.752
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.57
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.752
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.56
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.752
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.752
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.56
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.752
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.57
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.752
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:        29368224 kB
Buffers:          103944 kB
Cached:           124496 kB
SwapCached:         1508 kB
Active:          1320204 kB
Inactive:         132700 kB
Active(anon):    1224564 kB
Inactive(anon):     2680 kB
Active(file):      95640 kB
Inactive(file):   130020 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             18292 kB
Writeback:             0 kB
AnonPages:       2540744 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             600876 kB
SReclaimable:      44752 kB
SUnreclaim:       556124 kB
KernelStack:        1456 kB
PageTables:         8892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2681028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1263616 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= 71668 MiB
End job on node131 at 2016-06-18 05:31:52