Trace number 4078755

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.14 1800.72

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUMd484bc8efed557f17788965b19feafe5
Bench CategoryDEC-SMALLINT (no 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 FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4602
Total number of constraints30179
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
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-06T16:11:32+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-4078755-1465222292.opb"]
0.00/0.01	c use --random-gen="3533565264 3692759540 1495400860 3317770268 832756281 3523347641 363551872 3504984037 468427321 3633745496 2856297947 4212638720 2756862662 1320628482 1544601071 2878256722 2911845115 1834562166 1537805320 86589271 2945690381 352564407 2721500906 88598484 654116881 289856571 2306691934 2541713932 4240343396 2600771269 4269581452 1757639686 437179793 3283946980 1125197561 1057107589 978118215 15519256 9406751 1696638695 1687233632 428906945 1009585353 782546900 3954787802 3332231023 3715539864 1560077003 3025188974 740946134 2663417092 63550869 967470641 2414012948 3419744642 3348324810 1848623127 1619496143 2214416292 4264203594 3706451932 2146392437 2838058855 788770430 2045422328 2835515871 3299687036 1179192821 972040440 1178346683 2248915077 4086231106 740299260 4124406780 3147525369 463863061 1912557531 2547583158 1061574130 962977349 300881738 2379490820 1165266352 426742679 924812247 307670778 649965733 179548965 3227246580 3041857054 1784940111 4119604694 1769240463 1811616756 4068962188 2538622306 2079321149 881423321 4020360957 1186695734 2542494965 2421135985 197533809 1612097877 1290828619 2242865653 3432407152 1750624727 4107015841 1091498891 2055075533 1563591524 3078381541 3853775654 1403795934 878984224 2258823706 4021647881 3849841853 1672371928 1716792735 1016228264 3684880314 3120860725 3696601617 1747519489 2041918982 3433502180 3542343079 1337854322 3776396760 3921981573 1709929515 2483502149 1458398128 1697541560 3099591280 4086542163 554486331 2953751577 540858710 637532350 2079811188 3850775163 2238053306 3260691085 120804315 2603027359 3021726811 1757227530 67202519 1882727882 2702849934 1381097030 4071705613 1506156669 724127473 693233271 809112580 126950430 1431643588 4189866153 1320084410 2506859091 3408249590 2560148923 4196176995 2828389465 3625154700 2018651296 2645448922 3178081542 4091490052 2547755760 4170756859 1234933114 1449138744 1609648782 3254809892 2465046636 1308712807 3310108708 3735641385 3474309160 1880135175 1337683819 1085004482 2921287143 1658442428 1714195381 1090778280 1700152459 2126111667 2900518479 3059651385 2448747247 960860021 3917789207 2464215824 3943662518 51284364 1036921332 3617405883 2201782739 4026399261 3913807191 3727853755 1410613649 3929692801 1869824855 3536628982 1672982524 2518583501 1697937715 2542911452 3056282622 4154270615 3333161629 1464857488 1387937433 3860103289 139218207 2733071401 459055236 2373430082 2712225604 4216626604 1857888114 2584776585 3901025644 3107443166 635138547 4248850952 3122196020 2003923005 3133618694 2743977625 107347111 3226414764 4060160747 2241672839 1321246678 897938473 378309618 2801500514 3907524537 2741587467 3731103078 1270994201 1063254775 2035520594 116897653 3995774653 3869243082 3750527023 3974147823 255 362436" option to reproduce the execution
0.19/0.24	c #vars 4602
0.19/0.24	c #constraints 30179
0.69/0.71	c Solving starts ...
0.69/0.71	c ============================[ Search Statistics ]============================
0.69/0.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.71	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.71	c =============================================================================
0.69/0.79	c  0.0s |       0 |        0 |        0 |    11651      0 |        0 |        0
0.79/0.81	c  0.0s |       1 |      565 |      100 |    11651      0 |        0 |        0
0.79/0.86	c  0.1s |       2 |     1345 |      250 |    12817      0 |        0 |        0
0.89/0.93	c  0.1s |       3 |     2369 |      475 |    14099      0 |        0 |        0
0.99/1.04	c  0.3s |       4 |     3107 |      813 |    15509      0 |        0 |        0
1.29/1.31	c  0.5s |       5 |     4789 |     1320 |    17060      0 |        0 |        0
1.68/1.72	c  0.9s |       6 |     7687 |     2081 |    20643      0 |        0 |        0
2.08/2.16	c  1.4s |       7 |     9366 |     3223 |    22708      0 |        0 |        0
2.78/2.84	c  2.1s |       8 |    12000 |     4936 |    24979      0 |        0 |        0
4.18/4.21	c  3.4s |       9 |    16226 |     7506 |    27477      0 |        0 |        0
5.68/5.79	c  5.0s |      10 |    20735 |    11361 |    30225      0 |        0 |        0
7.79/7.83	c  7.0s |      10 |    26161 |    16061 |    30225      0 |        0 |        0
8.38/8.40	c  7.6s |      11 |    27394 |    17144 |    33248      0 |        0 |        0
10.38/10.45	c  9.7s |      11 |    31841 |    21144 |    33248      0 |        0 |        0
12.48/12.52	c 11.7s |      11 |    35079 |    24244 |    33248      0 |        0 |        0
13.68/13.74	c 13.0s |      12 |    36746 |    25819 |    36573      0 |        0 |        0
15.78/15.83	c 15.0s |      12 |    42036 |    28919 |    36573      0 |        0 |        0
17.88/17.91	c 17.1s |      12 |    44661 |    31219 |    36573      0 |        0 |        0
19.89/19.94	c 19.2s |      12 |    46580 |    32919 |    36573      0 |        0 |        0
21.99/22.04	c 21.2s |      12 |    48492 |    34619 |    36573      0 |        0 |        0
24.08/24.10	c 23.3s |      12 |    50168 |    36119 |    36573      0 |        0 |        0
26.08/26.18	c 25.4s |      12 |    51865 |    37619 |    36573      0 |        0 |        0
27.88/27.92	c 27.1s |      13 |    53278 |    38832 |    40231      0 |        0 |        0
29.88/29.92	c 29.1s |      13 |    57304 |    41032 |    40231      1 |        0 |        0
31.89/31.97	c 31.2s |      13 |    60312 |    43632 |    40231      1 |        0 |        0
33.98/34.01	c 33.2s |      13 |    62795 |    45832 |    40231      1 |        0 |        0
36.08/36.13	c 35.3s |      13 |    64661 |    47532 |    40231      1 |        0 |        0
38.28/38.32	c 37.5s |      13 |    66254 |    48932 |    40231      1 |        0 |        0
40.28/40.36	c 39.6s |      13 |    68048 |    50532 |    40231      1 |        0 |        0
42.38/42.40	c 41.6s |      13 |    70038 |    52232 |    40231      1 |        0 |        0
44.48/44.52	c 43.7s |      13 |    71852 |    53832 |    40231      1 |        0 |        0
46.58/46.65	c 45.9s |      13 |    73465 |    55232 |    40231      1 |        0 |        0
48.78/48.81	c 48.0s |      13 |    74950 |    56532 |    40231      1 |        0 |        0
50.88/50.94	c 50.1s |      13 |    76419 |    57632 |    40231      1 |        0 |        0
52.18/52.26	c 51.5s |      14 |    77413 |    58352 |    44255      1 |        0 |        0
54.28/54.31	c 53.5s |      14 |    82409 |    61152 |    44255      1 |        0 |        0
56.28/56.36	c 55.6s |      14 |    85355 |    63752 |    44255      1 |        0 |        0
58.38/58.44	c 57.6s |      14 |    87652 |    65852 |    44255      1 |        0 |        0
60.58/60.68	c 59.9s |      14 |    89313 |    67352 |    44255      2 |        0 |        0
62.57/62.69	c 61.9s |      14 |    91196 |    69052 |    44255      2 |        0 |        0
64.67/64.76	c 64.0s |      14 |    92958 |    70652 |    44255      2 |        0 |        0
66.77/66.84	c 66.0s |      14 |    94681 |    72152 |    44255      2 |        0 |        0
68.77/68.89	c 68.1s |      14 |    96145 |    73452 |    44255      2 |        0 |        0
70.87/70.99	c 70.2s |      14 |    97767 |    74852 |    44255      2 |        0 |        0
72.97/73.00	c 72.2s |      14 |    98958 |    75952 |    44255      2 |        0 |        0
74.97/75.09	c 74.3s |      14 |   100189 |    77052 |    44255      2 |        0 |        0
77.17/77.21	c 76.4s |      14 |   101405 |    78152 |    44255      2 |        0 |        0
79.28/79.34	c 78.6s |      14 |   103036 |    79552 |    44255      2 |        0 |        0
81.38/81.45	c 80.7s |      14 |   104353 |    80752 |    44255      2 |        0 |        0
83.37/83.50	c 82.7s |      14 |   105720 |    81952 |    44255      2 |        0 |        0
85.47/85.57	c 84.8s |      14 |   106939 |    83052 |    44255      2 |        0 |        0
87.57/87.69	c 86.9s |      14 |   108602 |    84452 |    44255      2 |        0 |        0
89.57/89.69	c 88.9s |      14 |   109986 |    85652 |    44255      2 |        0 |        0
91.77/91.82	c 91.0s |      14 |   111099 |    86652 |    44255      2 |        0 |        0
93.58/93.66	c 92.9s |      15 |   112187 |    87632 |    48681      2 |        0 |        0
95.68/95.71	c 94.9s |      15 |   115804 |    90132 |    48681      2 |        0 |        0
97.98/98.06	c 97.3s |      15 |   119135 |    93032 |    48681      3 |        0 |        0
99.97/100.08	c 99.3s |      15 |   122457 |    95532 |    48681      3 |        0 |        0
102.07/102.15	c  101s |      15 |   125477 |    97932 |    48681      3 |        0 |        0
104.07/104.18	c  103s |      15 |   127169 |    99432 |    48681      3 |        0 |        0
106.17/106.26	c  105s |      15 |   128872 |   100932 |    48681      3 |        0 |        0
108.17/108.29	c  107s |      15 |   131179 |   102632 |    48681      3 |        0 |        0
110.37/110.42	c  109s |      15 |   133162 |   104332 |    48681      3 |        0 |        0
112.37/112.49	c  111s |      15 |   134830 |   105732 |    48681      3 |        0 |        0
114.47/114.54	c  113s |      15 |   136364 |   107132 |    48681      3 |        0 |        0
116.57/116.69	c  115s |      15 |   137761 |   108432 |    48681      3 |        0 |        0
118.77/118.82	c  118s |      15 |   139600 |   109932 |    48681      3 |        0 |        0
120.76/120.89	c  120s |      15 |   141057 |   111232 |    48681      3 |        0 |        0
122.96/123.02	c  122s |      15 |   142587 |   112632 |    48681      3 |        0 |        0
125.06/125.11	c  124s |      15 |   144054 |   113932 |    48681      3 |        0 |        0
127.16/127.29	c  126s |      15 |   145421 |   115232 |    48681      3 |        0 |        0
129.26/129.36	c  128s |      15 |   147078 |   116732 |    48681      3 |        0 |        0
131.26/131.36	c  130s |      15 |   148023 |   117632 |    48681      4 |        0 |        0
133.36/133.44	c  132s |      15 |   149726 |   119232 |    48681      4 |        0 |        0
135.37/135.44	c  134s |      15 |   151229 |   120632 |    48681      4 |        0 |        0
137.36/137.49	c  136s |      15 |   153110 |   122332 |    48681      4 |        0 |        0
139.56/139.60	c  138s |      15 |   154725 |   123832 |    48681      4 |        0 |        0
141.56/141.65	c  140s |      15 |   155809 |   124832 |    48681      4 |        0 |        0
143.66/143.72	c  142s |      15 |   157349 |   126132 |    48681      4 |        0 |        0
145.76/145.89	c  145s |      15 |   158719 |   127432 |    48681      4 |        0 |        0
147.86/147.99	c  147s |      15 |   160096 |   128632 |    48681      4 |        0 |        0
150.06/150.10	c  149s |      15 |   161600 |   129832 |    48681      4 |        0 |        0
152.17/152.24	c  151s |      15 |   163582 |   131532 |    53550      4 |        0 |        0
152.17/152.27	c  151s |      16 |   163610 |   131552 |    53550      4 |        0 |        0
154.17/154.27	c  153s |      16 |   167726 |   133252 |    53550      4 |        0 |        0
156.28/156.33	c  155s |      16 |   170306 |   135552 |    53550      4 |        0 |        0
158.27/158.34	c  157s |      16 |   172798 |   137752 |    53550      4 |        0 |        0
160.27/160.35	c  159s |      16 |   174916 |   139652 |    53550      4 |        0 |        0
162.37/162.41	c  161s |      16 |   176908 |   141452 |    53550      4 |        0 |        0
164.37/164.44	c  163s |      16 |   178804 |   143152 |    53550      4 |        0 |        0
166.46/166.50	c  165s |      16 |   180282 |   144452 |    53550      4 |        0 |        0
168.46/168.54	c  167s |      16 |   182200 |   146152 |    53550      4 |        0 |        0
170.57/170.60	c  169s |      16 |   184014 |   147752 |    53550      4 |        0 |        0
172.56/172.63	c  171s |      16 |   185256 |   148852 |    53550      5 |        0 |        0
174.66/174.76	c  173s |      16 |   186964 |   150352 |    53550      5 |        0 |        0
176.76/176.82	c  176s |      16 |   188507 |   151752 |    53550      5 |        0 |        0
178.76/178.84	c  178s |      16 |   189816 |   152952 |    53550      5 |        0 |        0
180.96/181.00	c  180s |      16 |   191190 |   154152 |    53550      5 |        0 |        0
183.06/183.19	c  182s |      16 |   192494 |   155352 |    53550      5 |        0 |        0
185.16/185.29	c  184s |      16 |   193841 |   156552 |    53550      5 |        0 |        0
187.26/187.31	c  186s |      16 |   195066 |   157652 |    53550      5 |        0 |        0
189.36/189.46	c  188s |      16 |   196444 |   158852 |    53550      5 |        0 |        0
191.36/191.49	c  190s |      16 |   197595 |   159852 |    53550      5 |        0 |        0
193.46/193.54	c  192s |      16 |   198775 |   160852 |    53550      5 |        0 |        0
195.46/195.57	c  194s |      16 |   199901 |   161852 |    53550      5 |        0 |        0
197.66/197.74	c  196s |      16 |   200885 |   162752 |    53550      5 |        0 |        0
199.86/199.99	c  199s |      16 |   201900 |   163652 |    53550      5 |        0 |        0
202.06/202.18	c  201s |      16 |   202816 |   164452 |    53550      5 |        0 |        0
204.26/204.38	c  203s |      16 |   203703 |   165252 |    53550      5 |        0 |        0
206.45/206.53	c  205s |      16 |   204599 |   166052 |    53550      5 |        0 |        0
208.55/208.66	c  207s |      16 |   205481 |   166852 |    53550      5 |        0 |        0
210.85/210.92	c  210s |      16 |   206338 |   167652 |    53550      5 |        0 |        0
212.95/213.02	c  212s |      16 |   207190 |   168452 |    53550      5 |        0 |        0
214.95/215.03	c  214s |      16 |   207976 |   169152 |    53550      5 |        0 |        0
217.15/217.24	c  216s |      16 |   208751 |   169852 |    53550      5 |        0 |        0
219.35/219.44	c  218s |      16 |   209603 |   170652 |    53550      5 |        0 |        0
221.35/221.48	c  220s |      16 |   210361 |   171352 |    53550      5 |        0 |        0
223.45/223.58	c  222s |      16 |   211124 |   172052 |    53550      5 |        0 |        0
225.65/225.79	c  225s |      16 |   212006 |   172852 |    53550      5 |        0 |        0
227.95/228.08	c  227s |      16 |   212871 |   173652 |    53550      5 |        0 |        0
230.05/230.12	c  229s |      16 |   213633 |   174352 |    53550      5 |        0 |        0
232.16/232.25	c  231s |      16 |   214391 |   175052 |    53550      5 |        0 |        0
234.26/234.38	c  233s |      16 |   215143 |   175752 |    53550      5 |        0 |        0
236.35/236.47	c  235s |      16 |   215794 |   176352 |    53550      5 |        0 |        0
240.96/241.09	c  240s |      16 |   216014 |   176552 |    53550      6 |        0 |        0
242.95/243.10	c  242s |      16 |   216873 |   177352 |    53550      6 |        0 |        0
245.05/245.19	c  244s |      16 |   217756 |   178152 |    53550      6 |        0 |        0
247.25/247.40	c  246s |      16 |   218738 |   179052 |    53550      6 |        0 |        0
249.45/249.53	c  248s |      16 |   219597 |   179852 |    53550      6 |        0 |        0
251.55/251.64	c  250s |      16 |   220602 |   180752 |    53550      6 |        0 |        0
253.75/253.84	c  253s |      16 |   221602 |   181652 |    53550      6 |        0 |        0
255.75/255.87	c  255s |      16 |   222488 |   182452 |    53550      6 |        0 |        0
257.95/258.08	c  257s |      16 |   223476 |   183352 |    53550      6 |        0 |        0
260.15/260.26	c  259s |      16 |   224370 |   184152 |    53550      6 |        0 |        0
262.35/262.42	c  261s |      16 |   225147 |   184852 |    53550      6 |        0 |        0
264.45/264.53	c  263s |      16 |   225901 |   185552 |    53550      6 |        0 |        0
266.55/266.60	c  265s |      16 |   226682 |   186252 |    53550      6 |        0 |        0
268.65/268.76	c  267s |      16 |   227470 |   186952 |    53550      6 |        0 |        0
270.75/270.82	c  270s |      16 |   228212 |   187652 |    53550      6 |        0 |        0
272.95/273.08	c  272s |      16 |   228996 |   188352 |    53550      6 |        0 |        0
275.06/275.11	c  274s |      16 |   229660 |   188952 |    53550      6 |        0 |        0
277.16/277.26	c  276s |      16 |   230413 |   189652 |    53550      6 |        0 |        0
279.46/279.51	c  278s |      16 |   231155 |   190352 |    53550      6 |        0 |        0
281.75/281.81	c  281s |      16 |   232033 |   191152 |    53550      6 |        0 |        0
283.75/283.84	c  283s |      16 |   232831 |   191852 |    53550      6 |        0 |        0
285.85/285.97	c  285s |      16 |   233602 |   192552 |    53550      6 |        0 |        0
288.15/288.25	c  287s |      16 |   234382 |   193252 |    53550      6 |        0 |        0
290.15/290.28	c  289s |      16 |   236637 |   194652 |    53550      6 |        0 |        0
292.25/292.31	c  291s |      16 |   238699 |   196452 |    58906      6 |        0 |        0
293.35/293.41	c  292s |      17 |   239767 |   197432 |    58906      6 |        0 |        0
295.34/295.49	c  294s |      17 |   240357 |   197632 |    58906      6 |        0 |        0
297.44/297.51	c  296s |      17 |   247512 |   201932 |    58906      6 |        0 |        0
299.44/299.58	c  298s |      17 |   252675 |   205132 |    58906      6 |        0 |        0
301.54/301.61	c  300s |      17 |   255984 |   207532 |    58906      6 |        0 |        0
303.54/303.65	c  302s |      17 |   258387 |   209032 |    58906      7 |        0 |        0
305.64/305.73	c  304s |      17 |   261416 |   211632 |    58906      7 |        0 |        0
307.73/307.81	c  307s |      17 |   263935 |   213732 |    58906      7 |        0 |        0
309.73/309.84	c  309s |      17 |   265835 |   215432 |    58906      7 |        0 |        0
311.83/311.92	c  311s |      17 |   268004 |   217432 |    58906      7 |        0 |        0
313.83/313.97	c  313s |      17 |   270040 |   219032 |    58906      7 |        0 |        0
316.03/316.14	c  315s |      17 |   272619 |   220532 |    58906      7 |        0 |        0
318.13/318.28	c  317s |      17 |   274855 |   222032 |    58906      7 |        0 |        0
320.33/320.42	c  319s |      17 |   276580 |   223432 |    58906      7 |        0 |        0
322.43/322.55	c  321s |      17 |   278167 |   224832 |    58906      7 |        0 |        0
324.63/324.70	c  323s |      17 |   280034 |   226432 |    58906      7 |        0 |        0
326.63/326.72	c  325s |      17 |   281821 |   227832 |    58906      7 |        0 |        0
328.62/328.77	c  327s |      17 |   283385 |   229132 |    58906      7 |        0 |        0
330.72/330.82	c  330s |      17 |   284845 |   230432 |    58906      7 |        0 |        0
332.82/332.90	c  332s |      17 |   286463 |   231632 |    58906      7 |        0 |        0
334.82/334.96	c  334s |      17 |   287824 |   232732 |    58906      7 |        0 |        0
336.92/337.03	c  336s |      17 |   289073 |   233832 |    58906      7 |        0 |        0
338.91/339.04	c  338s |      17 |   290372 |   235032 |    58906      7 |        0 |        0
340.92/341.09	c  340s |      17 |   291531 |   236032 |    58906      7 |        0 |        0
343.01/343.11	c  342s |      17 |   292572 |   236932 |    58906      7 |        0 |        0
345.32/345.43	c  344s |      17 |   293600 |   237732 |    58906      8 |        0 |        0
347.41/347.54	c  346s |      17 |   294688 |   238632 |    58906      8 |        0 |        0
349.51/349.63	c  348s |      17 |   296164 |   239732 |    58906      8 |        0 |        0
351.61/351.72	c  350s |      17 |   297223 |   240632 |    58906      8 |        0 |        0
353.71/353.84	c  353s |      17 |   299046 |   241932 |    58906      8 |        0 |        0
355.90/356.01	c  355s |      17 |   300183 |   242932 |    58906      8 |        0 |        0
357.90/358.06	c  357s |      17 |   301227 |   243832 |    58906      8 |        0 |        0
360.00/360.12	c  359s |      17 |   302689 |   244932 |    58906      8 |        0 |        0
362.10/362.28	c  361s |      17 |   304005 |   246032 |    58906      8 |        0 |        0
364.11/364.28	c  363s |      17 |   305323 |   247032 |    58906      8 |        0 |        0
366.21/366.38	c  365s |      17 |   306580 |   248032 |    58906      8 |        0 |        0
368.20/368.39	c  367s |      17 |   307610 |   248932 |    58906      8 |        0 |        0
370.49/370.60	c  369s |      17 |   308624 |   249832 |    58906      8 |        0 |        0
372.59/372.74	c  371s |      17 |   309656 |   250732 |    58906      8 |        0 |        0
374.69/374.82	c  374s |      17 |   310629 |   251632 |    58906      8 |        0 |        0
376.69/376.89	c  376s |      17 |   311544 |   252332 |    58906      8 |        0 |        0
378.89/379.01	c  378s |      17 |   312581 |   253232 |    58906      8 |        0 |        0
380.99/381.19	c  380s |      17 |   313518 |   254032 |    58906      8 |        0 |        0
383.09/383.24	c  382s |      17 |   314371 |   254832 |    58906      8 |        0 |        0
385.29/385.46	c  384s |      17 |   315213 |   255632 |    58906      8 |        0 |        0
387.29/387.47	c  386s |      17 |   316047 |   256332 |    58906      8 |        0 |        0
389.49/389.69	c  388s |      17 |   316810 |   257032 |    58906      8 |        0 |        0
391.89/392.03	c  391s |      17 |   317535 |   257732 |    58906      8 |        0 |        0
394.09/394.22	c  393s |      17 |   318291 |   258432 |    58906      8 |        0 |        0
396.18/396.37	c  395s |      17 |   319179 |   259232 |    58906      8 |        0 |        0
398.38/398.57	c  397s |      17 |   320014 |   259932 |    58906      8 |        0 |        0
400.58/400.73	c  399s |      17 |   320895 |   260732 |    58906      8 |        0 |        0
402.68/402.84	c  402s |      17 |   321641 |   261432 |    58906      8 |        0 |        0
404.69/404.90	c  404s |      17 |   322407 |   262032 |    58906      8 |        0 |        0
406.78/406.96	c  406s |      17 |   323411 |   262832 |    58906      8 |        0 |        0
408.87/409.04	c  408s |      17 |   324389 |   263632 |    58906      8 |        0 |        0
411.28/411.41	c  410s |      17 |   325397 |   264432 |    58906      8 |        0 |        0
413.37/413.60	c  412s |      17 |   326085 |   265032 |    58906      8 |        0 |        0
415.47/415.69	c  414s |      17 |   326861 |   265632 |    58906      8 |        0 |        0
417.56/417.71	c  416s |      17 |   327466 |   266232 |    58906      8 |        0 |        0
419.56/419.78	c  418s |      17 |   328198 |   266832 |    58906      8 |        0 |        0
424.07/424.20	c  423s |      17 |   328643 |   267232 |    58906      9 |        0 |        0
426.47/426.60	c  425s |      17 |   329298 |   267632 |    58906      9 |        0 |        0
428.46/428.62	c  427s |      17 |   330130 |   268432 |    58906      9 |        0 |        0
430.46/430.65	c  429s |      17 |   331657 |   269432 |    58906      9 |        0 |        0
432.56/432.72	c  431s |      17 |   331898 |   269632 |    58906      9 |        0 |        0
434.56/434.79	c  434s |      17 |   333974 |   271232 |    58906      9 |        0 |        0
436.76/436.90	c  436s |      17 |   335965 |   272832 |    58906      9 |        0 |        0
438.76/438.95	c  438s |      17 |   337681 |   274332 |    58906      9 |        0 |        0
440.76/440.96	c  440s |      17 |   339500 |   275932 |    58906      9 |        0 |        0
442.86/443.07	c  442s |      17 |   341004 |   277332 |    58906      9 |        0 |        0
444.96/445.18	c  444s |      17 |   342543 |   278632 |    58906      9 |        0 |        0
447.16/447.34	c  446s |      17 |   344241 |   279832 |    58906      9 |        0 |        0
449.15/449.35	c  448s |      17 |   345605 |   280932 |    58906      9 |        0 |        0
451.25/451.45	c  450s |      17 |   347263 |   282232 |    58906      9 |        0 |        0
453.45/453.61	c  452s |      17 |   349212 |   283732 |    58906      9 |        0 |        0
455.45/455.66	c  454s |      17 |   351354 |   285132 |    58906      9 |        0 |        0
457.45/457.69	c  456s |      17 |   353037 |   286332 |    58906      9 |        0 |        0
459.54/459.73	c  458s |      17 |   354627 |   287432 |    58906      9 |        0 |        0
461.65/461.88	c  461s |      17 |   356104 |   288632 |    58906      9 |        0 |        0
463.75/463.94	c  463s |      17 |   357427 |   289832 |    58906      9 |        0 |        0
465.95/466.11	c  465s |      17 |   358894 |   291032 |    58906      9 |        0 |        0
468.05/468.27	c  467s |      17 |   360353 |   292232 |    58906      9 |        0 |        0
470.15/470.31	c  469s |      17 |   361692 |   293232 |    58906      9 |        0 |        0
472.25/472.45	c  471s |      17 |   362950 |   294232 |    64797      9 |        0 |        0
474.34/474.56	c  473s |      17 |   364107 |   295332 |    64797      9 |        0 |        0
476.44/476.61	c  475s |      17 |   365236 |   296232 |    64797      9 |        0 |        0
476.44/476.66	c  475s |      18 |   365257 |   296252 |    64797      9 |        0 |        0
478.74/478.99	c  478s |      18 |   366886 |   296352 |    64797      9 |        0 |        0
480.84/481.05	c  480s |      18 |   370094 |   299252 |    64797      9 |        0 |        0
482.84/483.06	c  482s |      18 |   372705 |   301552 |    64797      9 |        0 |        0
484.94/485.13	c  484s |      18 |   374657 |   303252 |    64797      9 |        0 |        0
486.94/487.19	c  486s |      18 |   376305 |   304752 |    64797      9 |        0 |        0
489.13/489.30	c  488s |      18 |   377866 |   306152 |    64797     10 |        0 |        0
491.13/491.35	c  490s |      18 |   379721 |   307852 |    64797     10 |        0 |        0
493.23/493.46	c  492s |      18 |   381452 |   309452 |    64797     10 |        0 |        0
495.33/495.50	c  494s |      18 |   383346 |   311152 |    64797     10 |        0 |        0
497.43/497.60	c  496s |      18 |   385091 |   312752 |    64797     10 |        0 |        0
499.43/499.64	c  498s |      18 |   386594 |   314152 |    64797     10 |        0 |        0
501.53/501.75	c  500s |      18 |   387953 |   315352 |    64797     10 |        0 |        0
503.73/503.92	c  503s |      18 |   389310 |   316552 |    64797     10 |        0 |        0
505.83/506.09	c  505s |      18 |   390666 |   317752 |    64797     10 |        0 |        0
507.92/508.17	c  507s |      18 |   391773 |   318752 |    64797     10 |        0 |        0
510.02/510.26	c  509s |      18 |   392996 |   319852 |    64797     10 |        0 |        0
512.22/512.45	c  511s |      18 |   394210 |   320952 |    64797     10 |        0 |        0
514.32/514.56	c  513s |      18 |   395289 |   321952 |    64797     10 |        0 |        0
516.42/516.60	c  515s |      18 |   396286 |   322852 |    64797     10 |        0 |        0
518.51/518.73	c  517s |      18 |   397261 |   323752 |    64797     10 |        0 |        0
520.71/520.92	c  520s |      18 |   398270 |   324652 |    64797     10 |        0 |        0
522.81/523.03	c  522s |      18 |   399287 |   325552 |    64797     10 |        0 |        0
525.01/525.23	c  524s |      18 |   400288 |   326452 |    64797     10 |        0 |        0
527.21/527.41	c  526s |      18 |   401203 |   327252 |    64797     10 |        0 |        0
529.20/529.42	c  528s |      18 |   401978 |   327952 |    64797     10 |        0 |        0
531.40/531.65	c  530s |      18 |   402869 |   328752 |    64797     10 |        0 |        0
533.60/533.88	c  533s |      18 |   403965 |   329752 |    64797     10 |        0 |        0
535.61/535.89	c  535s |      18 |   404852 |   330552 |    64797     10 |        0 |        0
537.80/538.06	c  537s |      18 |   405729 |   331352 |    64797     10 |        0 |        0
540.00/540.26	c  539s |      18 |   406611 |   332152 |    64797     10 |        0 |        0
542.20/542.43	c  541s |      18 |   407467 |   332952 |    64797     10 |        0 |        0
544.40/544.65	c  543s |      18 |   408333 |   333752 |    64797     10 |        0 |        0
546.40/546.67	c  545s |      18 |   409109 |   334452 |    64797     10 |        0 |        0
548.70/548.91	c  548s |      18 |   409990 |   335252 |    64797     10 |        0 |        0
550.90/551.16	c  550s |      18 |   410861 |   336052 |    64797     10 |        0 |        0
553.10/553.39	c  552s |      18 |   411724 |   336852 |    64797     10 |        0 |        0
555.19/555.43	c  554s |      18 |   412480 |   337552 |    64797     10 |        0 |        0
557.19/557.48	c  556s |      18 |   413256 |   338252 |    64797     10 |        0 |        0
559.29/559.55	c  558s |      18 |   413794 |   338752 |    64797     11 |        0 |        0
561.48/561.71	c  560s |      18 |   414571 |   339452 |    64797     11 |        0 |        0
563.48/563.79	c  563s |      18 |   415330 |   340152 |    64797     11 |        0 |        0
565.58/565.84	c  565s |      18 |   416097 |   340852 |    64797     11 |        0 |        0
567.68/567.95	c  567s |      18 |   416973 |   341652 |    64797     11 |        0 |        0
569.78/570.03	c  569s |      18 |   417729 |   342352 |    64797     11 |        0 |        0
571.79/572.10	c  571s |      18 |   418623 |   343152 |    64797     11 |        0 |        0
574.18/574.45	c  573s |      18 |   419494 |   343952 |    64797     11 |        0 |        0
576.18/576.50	c  575s |      18 |   420274 |   344652 |    64797     11 |        0 |        0
578.27/578.55	c  577s |      18 |   421217 |   345452 |    64797     11 |        0 |        0
580.37/580.66	c  579s |      18 |   422218 |   346352 |    64797     11 |        0 |        0
582.47/582.74	c  581s |      18 |   423201 |   347252 |    64797     11 |        0 |        0
584.67/584.91	c  584s |      18 |   424098 |   348052 |    64797     11 |        0 |        0
586.77/587.00	c  586s |      18 |   425015 |   348852 |    64797     11 |        0 |        0
588.87/589.18	c  588s |      18 |   425908 |   349652 |    64797     11 |        0 |        0
590.97/591.26	c  590s |      18 |   426679 |   350352 |    64797     11 |        0 |        0
593.26/593.51	c  592s |      18 |   427430 |   351052 |    64797     11 |        0 |        0
595.46/595.79	c  595s |      18 |   428201 |   351752 |    64797     11 |        0 |        0
597.66/597.96	c  597s |      18 |   428959 |   352452 |    64797     11 |        0 |        0
599.86/600.13	c  599s |      18 |   429750 |   353152 |    64797     11 |        0 |        0
601.86/602.16	c  601s |      18 |   430421 |   353752 |    64797     11 |        0 |        0
604.06/604.37	c  603s |      18 |   431080 |   354352 |    64797     11 |        0 |        0
606.36/606.62	c  605s |      18 |   431749 |   354952 |    64797     11 |        0 |        0
608.55/608.81	c  608s |      18 |   432422 |   355552 |    64797     11 |        0 |        0
610.85/611.16	c  610s |      18 |   433070 |   356152 |    64797     11 |        0 |        0
612.95/613.23	c  612s |      18 |   433636 |   356652 |    64797     11 |        0 |        0
615.25/615.57	c  614s |      18 |   434304 |   357252 |    64797     11 |        0 |        0
617.54/617.86	c  617s |      18 |   435066 |   357952 |    64797     11 |        0 |        0
619.84/620.19	c  619s |      18 |   435836 |   358652 |    64797     11 |        0 |        0
622.14/622.47	c  621s |      18 |   436603 |   359352 |    64797     11 |        0 |        0
624.24/624.56	c  623s |      18 |   437284 |   359952 |    64797     11 |        0 |        0
626.34/626.62	c  625s |      18 |   437952 |   360552 |    64797     11 |        0 |        0
628.64/628.93	c  628s |      18 |   438717 |   361252 |    64797     11 |        0 |        0
630.74/631.10	c  630s |      18 |   439550 |   361952 |    64797     11 |        0 |        0
633.03/633.38	c  632s |      18 |   440331 |   362652 |    64797     11 |        0 |        0
635.13/635.44	c  634s |      18 |   441003 |   363252 |    64797     11 |        0 |        0
637.23/637.54	c  636s |      18 |   441794 |   363952 |    64797     11 |        0 |        0
639.53/639.82	c  639s |      18 |   442643 |   364752 |    64797     11 |        0 |        0
641.53/641.86	c  641s |      18 |   443412 |   365452 |    64797     11 |        0 |        0
643.62/643.99	c  643s |      18 |   444768 |   366352 |    64797     11 |        0 |        0
645.72/646.02	c  645s |      18 |   447784 |   369152 |    64797     11 |        0 |        0
648.02/648.35	c  647s |      18 |   450617 |   371552 |    64797     11 |        0 |        0
651.71/652.08	c  651s |      18 |   451821 |   372652 |    64797     12 |        0 |        0
653.81/654.19	c  653s |      18 |   454070 |   374552 |    64797     12 |        0 |        0
655.91/656.28	c  655s |      18 |   456004 |   376152 |    64797     12 |        0 |        0
657.91/658.28	c  657s |      18 |   458246 |   377752 |    64797     12 |        0 |        0
660.01/660.38	c  659s |      18 |   460127 |   379452 |    64797     12 |        0 |        0
662.21/662.55	c  661s |      18 |   461766 |   380952 |    64797     12 |        0 |        0
664.31/664.61	c  663s |      18 |   463067 |   382152 |    64797     12 |        0 |        0
666.41/666.72	c  665s |      18 |   464398 |   383352 |    64797     12 |        0 |        0
668.40/668.77	c  667s |      18 |   465603 |   384452 |    64797     12 |        0 |        0
670.50/670.87	c  670s |      18 |   466955 |   385652 |    64797     12 |        0 |        0
672.60/672.95	c  672s |      18 |   468055 |   386652 |    64797     12 |        0 |        0
674.70/675.07	c  674s |      18 |   469301 |   387752 |    64797     12 |        0 |        0
676.90/677.20	c  676s |      18 |   470454 |   388752 |    64797     12 |        0 |        0
679.00/679.32	c  678s |      18 |   471428 |   389652 |    64797     12 |        0 |        0
681.00/681.40	c  680s |      18 |   472430 |   390552 |    64797     12 |        0 |        0
683.30/683.60	c  682s |      18 |   473413 |   391452 |    64797     12 |        0 |        0
685.39/685.76	c  684s |      18 |   474565 |   392452 |    64797     12 |        0 |        0
687.59/687.97	c  687s |      18 |   475716 |   393452 |    64797     12 |        0 |        0
689.69/690.03	c  689s |      18 |   476748 |   394352 |    64797     12 |        0 |        0
691.79/692.18	c  691s |      18 |   477759 |   395252 |    64797     12 |        0 |        0
693.89/694.26	c  693s |      18 |   478857 |   396152 |    64797     12 |        0 |        0
696.09/696.47	c  695s |      18 |   479976 |   397152 |    64797     12 |        0 |        0
698.19/698.58	c  697s |      18 |   480707 |   397752 |    64797     12 |        0 |        0
700.29/700.60	c  699s |      18 |   481517 |   398452 |    64797     12 |        0 |        0
702.39/702.73	c  701s |      18 |   482389 |   399252 |    64797     12 |        0 |        0
704.39/704.78	c  703s |      18 |   483301 |   400052 |    64797     12 |        0 |        0
706.59/706.97	c  706s |      18 |   484146 |   400752 |    64797     12 |        0 |        0
708.58/708.97	c  708s |      18 |   484960 |   401452 |    64797     12 |        0 |        0
710.78/711.15	c  710s |      18 |   485977 |   402352 |    64797     12 |        0 |        0
712.88/713.25	c  712s |      18 |   487112 |   403352 |    64797     12 |        0 |        0
715.08/715.40	c  714s |      18 |   488367 |   404452 |    64797     12 |        0 |        0
717.28/717.65	c  716s |      18 |   489409 |   405352 |    64797     12 |        0 |        0
719.38/719.70	c  718s |      18 |   490313 |   406152 |    64797     12 |        0 |        0
721.68/722.01	c  721s |      18 |   490852 |   406652 |    64797     13 |        0 |        0
723.88/724.26	c  723s |      18 |   491888 |   407552 |    64797     13 |        0 |        0
725.98/726.33	c  725s |      18 |   492675 |   408252 |    64797     13 |        0 |        0
728.17/728.53	c  727s |      18 |   493447 |   408952 |    64797     13 |        0 |        0
730.27/730.61	c  729s |      18 |   494108 |   409552 |    64797     13 |        0 |        0
732.28/732.63	c  731s |      18 |   494786 |   410152 |    64797     13 |        0 |        0
734.37/734.79	c  733s |      18 |   496114 |   411152 |    64797     13 |        0 |        0
736.46/736.80	c  736s |      18 |   496929 |   411852 |    64797     13 |        0 |        0
738.46/738.88	c  738s |      18 |   498112 |   412852 |    64797     13 |        0 |        0
740.56/740.96	c  740s |      18 |   499106 |   413752 |    64797     13 |        0 |        0
742.66/743.01	c  742s |      18 |   500131 |   414652 |    64797     13 |        0 |        0
744.86/745.20	c  744s |      18 |   501039 |   415452 |    64797     13 |        0 |        0
746.96/747.35	c  746s |      18 |   501812 |   416152 |    64797     13 |        0 |        0
749.06/749.47	c  748s |      18 |   502731 |   416952 |    64797     13 |        0 |        0
751.26/751.65	c  750s |      18 |   503908 |   417952 |    64797     13 |        0 |        0
753.36/753.78	c  752s |      18 |   504860 |   418752 |    64797     13 |        0 |        0
755.66/756.01	c  755s |      18 |   505654 |   419452 |    64797     13 |        0 |        0
757.85/758.28	c  757s |      18 |   506566 |   420252 |    64797     13 |        0 |        0
760.05/760.40	c  759s |      18 |   507479 |   421052 |    64797     13 |        0 |        0
762.15/762.50	c  761s |      18 |   508262 |   421752 |    64797     13 |        0 |        0
764.35/764.74	c  763s |      18 |   508934 |   422352 |    64797     13 |        0 |        0
766.75/767.12	c  766s |      18 |   509770 |   423052 |    64797     13 |        0 |        0
768.95/769.37	c  768s |      18 |   510450 |   423652 |    64797     13 |        0 |        0
771.35/771.72	c  770s |      18 |   511174 |   424252 |    64797     13 |        0 |        0
773.55/773.97	c  773s |      18 |   511780 |   424752 |    64797     13 |        0 |        0
775.65/776.01	c  775s |      18 |   512408 |   425252 |    64797     13 |        0 |        0
777.64/778.05	c  777s |      18 |   513016 |   425752 |    64797     13 |        0 |        0
780.04/780.45	c  779s |      18 |   513761 |   426352 |    64797     13 |        0 |        0
782.24/782.63	c  781s |      18 |   514379 |   426852 |    64797     13 |        0 |        0
784.44/784.89	c  784s |      18 |   514915 |   427352 |    64797     13 |        0 |        0
786.84/787.27	c  786s |      18 |   515364 |   427752 |    64797     13 |        0 |        0
788.93/789.35	c  788s |      18 |   515820 |   428152 |    64797     13 |        0 |        0
791.24/791.65	c  790s |      18 |   516269 |   428552 |    64797     13 |        0 |        0
793.44/793.89	c  793s |      18 |   516733 |   428952 |    64797     13 |        0 |        0
795.64/796.07	c  795s |      18 |   517167 |   429352 |    64797     13 |        0 |        0
798.04/798.43	c  797s |      18 |   517639 |   429752 |    64797     13 |        0 |        0
800.24/800.68	c  799s |      18 |   518063 |   430152 |    64797     13 |        0 |        0
802.44/802.88	c  802s |      18 |   518758 |   430752 |    64797     13 |        0 |        0
804.64/805.08	c  804s |      18 |   519409 |   431352 |    64797     13 |        0 |        0
806.84/807.27	c  806s |      18 |   520091 |   431952 |    64797     13 |        0 |        0
809.13/809.58	c  808s |      18 |   520738 |   432552 |    64797     13 |        0 |        0
811.23/811.63	c  810s |      18 |   521329 |   433052 |    64797     13 |        0 |        0
813.64/814.01	c  813s |      18 |   522025 |   433652 |    64797     13 |        0 |        0
815.63/816.01	c  815s |      18 |   522590 |   434152 |    64797     13 |        0 |        0
817.72/818.16	c  817s |      18 |   523228 |   434652 |    64797     13 |        0 |        0
820.12/820.55	c  819s |      18 |   524030 |   435352 |    64797     13 |        0 |        0
822.43/822.88	c  822s |      18 |   524751 |   435952 |    64797     13 |        0 |        0
824.52/824.98	c  824s |      18 |   525338 |   436452 |    64797     13 |        0 |        0
826.62/827.06	c  826s |      18 |   525923 |   436952 |    64797     13 |        0 |        0
829.13/829.53	c  828s |      18 |   526475 |   437452 |    64797     13 |        0 |        0
831.32/831.73	c  830s |      18 |   526952 |   437852 |    64797     13 |        0 |        0
833.52/833.94	c  833s |      18 |   527387 |   438252 |    64797     13 |        0 |        0
835.92/836.32	c  835s |      18 |   527974 |   438752 |    64797     13 |        0 |        0
838.31/838.72	c  837s |      18 |   528524 |   439252 |    64797     13 |        0 |        0
840.41/840.82	c  840s |      18 |   528969 |   439652 |    64797     13 |        0 |        0
842.71/843.16	c  842s |      18 |   529416 |   440052 |    64797     13 |        0 |        0
845.81/846.20	c  845s |      18 |   529759 |   440352 |    64797     14 |        0 |        0
848.10/848.59	c  847s |      18 |   530209 |   440752 |    64797     14 |        0 |        0
850.40/850.86	c  850s |      18 |   530747 |   441252 |    64797     14 |        0 |        0
852.50/852.93	c  852s |      18 |   531450 |   441852 |    71277     14 |        0 |        0
854.60/855.03	c  854s |      18 |   532256 |   442552 |    71277     14 |        0 |        0
856.61/857.07	c  856s |      18 |   532964 |   443152 |    71277     14 |        0 |        0
858.90/859.38	c  858s |      18 |   533675 |   443752 |    71277     14 |        0 |        0
861.10/861.50	c  860s |      18 |   534375 |   444352 |    71277     14 |        0 |        0
861.60/862.02	c  861s |      19 |   534540 |   444482 |    71277     14 |        0 |        0
863.59/864.05	c  863s |      19 |   535417 |   445082 |    71277     14 |        0 |        0
865.69/866.10	c  865s |      19 |   537604 |   447082 |    71277     14 |        0 |        0
867.69/868.18	c  867s |      19 |   540347 |   449682 |    71277     14 |        0 |        0
869.80/870.27	c  869s |      19 |   542478 |   451682 |    71277     14 |        0 |        0
871.90/872.33	c  871s |      19 |   544778 |   453882 |    71277     14 |        0 |        0
873.99/874.41	c  873s |      19 |   546903 |   455882 |    71277     14 |        0 |        0
875.99/876.44	c  875s |      19 |   548786 |   457682 |    71277     14 |        0 |        0
878.09/878.51	c  877s |      19 |   550435 |   459182 |    71277     14 |        0 |        0
880.19/880.62	c  879s |      19 |   551992 |   460682 |    71277     14 |        0 |        0
882.29/882.73	c  881s |      19 |   553058 |   461682 |    71277     14 |        0 |        0
884.39/884.81	c  884s |      19 |   554087 |   462682 |    71277     14 |        0 |        0
886.39/886.81	c  886s |      19 |   555453 |   463982 |    71277     14 |        0 |        0
888.39/888.90	c  888s |      19 |   556683 |   465182 |    71277     14 |        0 |        0
890.59/891.07	c  890s |      19 |   557730 |   466182 |    71277     14 |        0 |        0
892.68/893.13	c  892s |      19 |   558793 |   467182 |    71277     14 |        0 |        0
894.88/895.32	c  894s |      19 |   559959 |   468282 |    71277     14 |        0 |        0
896.98/897.45	c  896s |      19 |   560865 |   469182 |    71277     14 |        0 |        0
898.97/899.47	c  898s |      19 |   561931 |   470182 |    71277     14 |        0 |        0
901.07/901.57	c  900s |      19 |   563185 |   471382 |    71277     14 |        0 |        0
903.27/903.75	c  902s |      19 |   564336 |   472482 |    71277     14 |        0 |        0
905.47/905.94	c  905s |      19 |   565388 |   473482 |    71277     14 |        0 |        0
907.47/907.99	c  907s |      19 |   566534 |   474582 |    71277     14 |        0 |        0
909.67/910.16	c  909s |      19 |   567690 |   475682 |    71277     14 |        0 |        0
911.77/912.26	c  911s |      19 |   568629 |   476582 |    71277     14 |        0 |        0
913.87/914.32	c  913s |      19 |   569571 |   477482 |    71277     14 |        0 |        0
916.97/917.48	c  916s |      19 |   570407 |   478282 |    71277     15 |        0 |        0
919.06/919.55	c  918s |      19 |   571454 |   479282 |    71277     15 |        0 |        0
921.16/921.64	c  920s |      19 |   572216 |   479982 |    71277     15 |        0 |        0
923.36/923.82	c  923s |      19 |   573036 |   480782 |    71277     15 |        0 |        0
925.47/925.92	c  925s |      19 |   573681 |   481382 |    71277     15 |        0 |        0
927.66/928.11	c  927s |      19 |   574437 |   482082 |    71277     15 |        0 |        0
929.76/930.29	c  929s |      19 |   575267 |   482882 |    71277     15 |        0 |        0
931.96/932.50	c  931s |      19 |   576092 |   483682 |    71277     15 |        0 |        0
934.16/934.69	c  933s |      19 |   576938 |   484482 |    71277     15 |        0 |        0
936.46/936.92	c  936s |      19 |   577760 |   485282 |    71277     15 |        0 |        0
938.46/938.96	c  938s |      19 |   578502 |   485982 |    71277     15 |        0 |        0
940.76/941.23	c  940s |      19 |   579240 |   486682 |    71277     15 |        0 |        0
942.96/943.45	c  942s |      19 |   580080 |   487482 |    71277     15 |        0 |        0
944.96/945.47	c  944s |      19 |   580829 |   488182 |    71277     15 |        0 |        0
947.16/947.64	c  946s |      19 |   581545 |   488882 |    71277     15 |        0 |        0
949.25/949.80	c  949s |      19 |   582275 |   489582 |    71277     15 |        0 |        0
951.35/951.84	c  951s |      19 |   582893 |   490182 |    71277     15 |        0 |        0
953.45/953.95	c  953s |      19 |   583531 |   490782 |    71277     15 |        0 |        0
955.65/956.16	c  955s |      19 |   584145 |   491382 |    71277     15 |        0 |        0
957.76/958.23	c  957s |      19 |   584930 |   492082 |    71277     15 |        0 |        0
959.86/960.39	c  959s |      19 |   585910 |   492982 |    71277     15 |        0 |        0
961.95/962.47	c  961s |      19 |   586874 |   493882 |    71277     15 |        0 |        0
964.05/964.56	c  963s |      19 |   587894 |   494782 |    71277     15 |        0 |        0
966.15/966.65	c  965s |      19 |   588961 |   495782 |    71277     15 |        0 |        0
968.35/968.87	c  968s |      19 |   590092 |   496882 |    71277     15 |        0 |        0
970.45/970.92	c  970s |      19 |   591157 |   497882 |    71277     15 |        0 |        0
972.45/972.96	c  972s |      19 |   592119 |   498782 |    71277     15 |        0 |        0
974.75/975.23	c  974s |      19 |   593067 |   499682 |    71277     15 |        0 |        0
976.85/977.36	c  976s |      19 |   594104 |   500682 |    71277     15 |        0 |        0
979.15/979.61	c  978s |      19 |   595075 |   501582 |    71277     15 |        0 |        0
981.24/981.75	c  980s |      19 |   595946 |   502382 |    71277     15 |        0 |        0
983.34/983.80	c  983s |      19 |   596882 |   503282 |    71277     15 |        0 |        0
985.54/986.05	c  985s |      19 |   597843 |   504182 |    71277     15 |        0 |        0
987.74/988.22	c  987s |      19 |   598583 |   504882 |    71277     15 |        0 |        0
989.94/990.49	c  989s |      19 |   599345 |   505582 |    71277     15 |        0 |        0
992.34/992.86	c  992s |      19 |   600076 |   506282 |    71277     15 |        0 |        0
994.64/995.15	c  994s |      19 |   600732 |   506882 |    71277     15 |        0 |        0
996.74/997.26	c  996s |      19 |   601560 |   507682 |    71277     15 |        0 |        0
998.94/999.45	c  998s |      19 |   602402 |   508482 |    71277     15 |        0 |        0
1001.14/1001.61	c 1000s |      19 |   603147 |   509182 |    71277     15 |        0 |        0
1003.14/1003.69	c 1002s |      19 |   603886 |   509882 |    71277     15 |        0 |        0
1005.24/1005.79	c 1005s |      19 |   604624 |   510582 |    71277     15 |        0 |        0
1007.54/1008.06	c 1007s |      19 |   605462 |   511382 |    71277     15 |        0 |        0
1009.74/1010.27	c 1009s |      19 |   606190 |   512082 |    71277     15 |        0 |        0
1012.04/1012.50	c 1011s |      19 |   606714 |   512582 |    71277     15 |        0 |        0
1014.24/1014.75	c 1013s |      19 |   607256 |   513082 |    71277     15 |        0 |        0
1016.34/1016.84	c 1016s |      19 |   607782 |   513582 |    71277     15 |        0 |        0
1020.14/1020.69	c 1019s |      19 |   608298 |   514082 |    71277     16 |        0 |        0
1038.33/1038.81	c 1038s |      19 |   608510 |   514282 |    71277     16 |        0 |        0
1040.43/1040.94	c 1040s |      19 |   609243 |   514982 |    71277     16 |        0 |        0
1042.44/1042.97	c 1042s |      19 |   610191 |   515882 |    71277     16 |        0 |        0
1044.54/1045.05	c 1044s |      19 |   611020 |   516682 |    71277     16 |        0 |        0
1046.53/1047.09	c 1046s |      19 |   611970 |   517582 |    71277     16 |        0 |        0
1048.73/1049.20	c 1048s |      19 |   612812 |   518382 |    71277     16 |        0 |        0
1050.93/1051.43	c 1050s |      19 |   613673 |   519182 |    71277     16 |        0 |        0
1052.93/1053.49	c 1052s |      19 |   614415 |   519882 |    71277     16 |        0 |        0
1055.13/1055.66	c 1054s |      19 |   615257 |   520682 |    71277     16 |        0 |        0
1057.33/1057.81	c 1057s |      19 |   616103 |   521482 |    71277     16 |        0 |        0
1059.43/1059.99	c 1059s |      19 |   616842 |   522182 |    71277     16 |        0 |        0
1061.73/1062.22	c 1061s |      19 |   617480 |   522782 |    71277     16 |        0 |        0
1063.93/1064.48	c 1063s |      19 |   618215 |   523482 |    71277     16 |        0 |        0
1066.03/1066.52	c 1065s |      19 |   618952 |   524182 |    71277     16 |        0 |        0
1068.02/1068.57	c 1067s |      19 |   619700 |   524882 |    71277     16 |        0 |        0
1070.12/1070.62	c 1069s |      19 |   620550 |   525682 |    71277     16 |        0 |        0
1072.13/1072.68	c 1071s |      19 |   621480 |   526582 |    71277     16 |        0 |        0
1074.42/1074.92	c 1074s |      19 |   622317 |   527382 |    71277     16 |        0 |        0
1076.43/1076.94	c 1076s |      19 |   623041 |   528082 |    71277     16 |        0 |        0
1078.63/1079.20	c 1078s |      19 |   623874 |   528882 |    71277     16 |        0 |        0
1080.72/1081.27	c 1080s |      19 |   624813 |   529782 |    71277     16 |        0 |        0
1083.03/1083.58	c 1082s |      19 |   625773 |   530682 |    71277     16 |        0 |        0
1085.12/1085.65	c 1084s |      19 |   626516 |   531382 |    71277     16 |        0 |        0
1087.12/1087.66	c 1086s |      19 |   627152 |   531982 |    71277     16 |        0 |        0
1089.22/1089.70	c 1088s |      19 |   627773 |   532582 |    71277     16 |        0 |        0
1091.22/1091.76	c 1090s |      19 |   628511 |   533282 |    71277     16 |        0 |        0
1093.32/1093.83	c 1093s |      19 |   629338 |   534082 |    71277     16 |        0 |        0
1095.52/1096.08	c 1095s |      19 |   630066 |   534782 |    71277     16 |        0 |        0
1097.82/1098.37	c 1097s |      19 |   630805 |   535482 |    71277     16 |        0 |        0
1099.81/1100.37	c 1099s |      19 |   631428 |   536082 |    71277     16 |        0 |        0
1102.01/1102.51	c 1101s |      19 |   632159 |   536782 |    71277     16 |        0 |        0
1104.02/1104.58	c 1103s |      19 |   632794 |   537382 |    71277     16 |        0 |        0
1106.41/1106.91	c 1106s |      19 |   633521 |   538082 |    71277     16 |        0 |        0
1108.81/1109.31	c 1108s |      19 |   634265 |   538782 |    71277     16 |        0 |        0
1110.81/1111.35	c 1110s |      19 |   634911 |   539382 |    71277     16 |        0 |        0
1113.11/1113.62	c 1112s |      19 |   635529 |   539982 |    71277     16 |        0 |        0
1115.31/1115.88	c 1115s |      19 |   636172 |   540582 |    71277     16 |        0 |        0
1117.61/1118.15	c 1117s |      19 |   636694 |   541082 |    71277     16 |        0 |        0
1119.91/1120.40	c 1119s |      19 |   637319 |   541682 |    71277     16 |        0 |        0
1122.21/1122.73	c 1121s |      19 |   637965 |   542282 |    71277     16 |        0 |        0
1124.51/1125.05	c 1124s |      19 |   638599 |   542882 |    71277     16 |        0 |        0
1126.71/1127.27	c 1126s |      19 |   639236 |   543482 |    71277     16 |        0 |        0
1129.11/1129.64	c 1128s |      19 |   639866 |   544082 |    71277     16 |        0 |        0
1131.52/1132.00	c 1131s |      19 |   640486 |   544682 |    71277     16 |        0 |        0
1133.81/1134.38	c 1133s |      19 |   641101 |   545282 |    71277     16 |        0 |        0
1136.01/1136.54	c 1135s |      19 |   641619 |   545782 |    71277     16 |        0 |        0
1138.31/1138.83	c 1138s |      19 |   642146 |   546282 |    71277     16 |        0 |        0
1140.61/1141.14	c 1140s |      19 |   642762 |   546882 |    71277     16 |        0 |        0
1142.81/1143.36	c 1142s |      19 |   643282 |   547382 |    71277     16 |        0 |        0
1145.11/1145.62	c 1144s |      19 |   643692 |   547782 |    71277     16 |        0 |        0
1147.31/1147.83	c 1147s |      19 |   644103 |   548182 |    71277     16 |        0 |        0
1149.51/1150.04	c 1149s |      19 |   644608 |   548682 |    71277     16 |        0 |        0
1151.51/1152.07	c 1151s |      19 |   645142 |   549182 |    71277     16 |        0 |        0
1153.71/1154.22	c 1153s |      19 |   645676 |   549682 |    71277     16 |        0 |        0
1158.51/1159.07	c 1158s |      19 |   645890 |   549882 |    71277     17 |        0 |        0
1160.71/1161.20	c 1160s |      19 |   646570 |   550382 |    71277     17 |        0 |        0
1162.81/1163.30	c 1162s |      19 |   647508 |   551182 |    71277     17 |        0 |        0
1164.91/1165.43	c 1164s |      19 |   648438 |   551982 |    71277     17 |        0 |        0
1166.91/1167.45	c 1166s |      19 |   649333 |   552782 |    71277     17 |        0 |        0
1168.92/1169.49	c 1168s |      19 |   650087 |   553482 |    71277     17 |        0 |        0
1171.21/1171.71	c 1170s |      19 |   650919 |   554182 |    71277     17 |        0 |        0
1173.41/1173.91	c 1173s |      19 |   651971 |   555182 |    71277     17 |        0 |        0
1175.51/1176.01	c 1175s |      19 |   652932 |   556082 |    71277     17 |        0 |        0
1177.71/1178.22	c 1177s |      19 |   654011 |   557082 |    71277     17 |        0 |        0
1179.71/1180.24	c 1179s |      19 |   654943 |   557882 |    71277     17 |        0 |        0
1181.91/1182.41	c 1181s |      19 |   655981 |   558782 |    71277     17 |        0 |        0
1184.01/1184.59	c 1183s |      19 |   656845 |   559582 |    71277     17 |        0 |        0
1186.10/1186.65	c 1185s |      19 |   657699 |   560382 |    71277     17 |        0 |        0
1188.30/1188.88	c 1188s |      19 |   658564 |   561182 |    71277     17 |        0 |        0
1190.50/1191.03	c 1190s |      19 |   659350 |   561882 |    71277     17 |        0 |        0
1192.50/1193.09	c 1192s |      19 |   660113 |   562482 |    71277     17 |        0 |        0
1194.60/1195.15	c 1194s |      19 |   660842 |   563082 |    71277     17 |        0 |        0
1196.80/1197.30	c 1196s |      19 |   661715 |   563782 |    71277     17 |        0 |        0
1199.10/1199.61	c 1198s |      19 |   662295 |   564282 |    71277     17 |        0 |        0
1201.30/1201.83	c 1201s |      19 |   662934 |   564882 |    71277     17 |        0 |        0
1203.60/1204.10	c 1203s |      19 |   663639 |   565482 |    71277     17 |        0 |        0
1205.60/1206.13	c 1205s |      19 |   664175 |   565982 |    71277     17 |        0 |        0
1207.80/1208.38	c 1207s |      19 |   665109 |   566682 |    71277     17 |        0 |        0
1210.10/1210.60	c 1209s |      19 |   665843 |   567382 |    71277     17 |        0 |        0
1212.50/1213.01	c 1212s |      19 |   666624 |   567982 |    71277     17 |        0 |        0
1214.70/1215.28	c 1214s |      19 |   667173 |   568482 |    71277     17 |        0 |        0
1217.00/1217.52	c 1216s |      19 |   667801 |   568982 |    71277     17 |        0 |        0
1219.29/1219.82	c 1219s |      19 |   668382 |   569482 |    71277     17 |        0 |        0
1221.50/1222.07	c 1221s |      19 |   669146 |   570082 |    71277     17 |        0 |        0
1223.70/1224.23	c 1223s |      19 |   669638 |   570482 |    71277     17 |        0 |        0
1225.90/1226.46	c 1225s |      19 |   670412 |   571182 |    71277     17 |        0 |        0
1228.00/1228.56	c 1227s |      19 |   671156 |   571882 |    71277     17 |        0 |        0
1230.30/1230.82	c 1230s |      19 |   671894 |   572582 |    71277     17 |        0 |        0
1232.50/1233.00	c 1232s |      19 |   672527 |   573182 |    71277     17 |        0 |        0
1234.70/1235.24	c 1234s |      19 |   673237 |   573882 |    71277     17 |        0 |        0
1237.00/1237.55	c 1236s |      19 |   673994 |   574482 |    71277     17 |        0 |        0
1239.10/1239.69	c 1238s |      19 |   674780 |   575082 |    71277     17 |        0 |        0
1241.40/1241.95	c 1241s |      19 |   675595 |   575782 |    71277     17 |        0 |        0
1243.50/1244.02	c 1243s |      19 |   676278 |   576382 |    71277     17 |        0 |        0
1245.69/1246.27	c 1245s |      19 |   676911 |   576982 |    71277     17 |        0 |        0
1247.79/1248.32	c 1247s |      19 |   677456 |   577482 |    71277     17 |        0 |        0
1249.89/1250.43	c 1249s |      19 |   677976 |   577982 |    71277     17 |        0 |        0
1252.19/1252.74	c 1251s |      19 |   678539 |   578482 |    71277     17 |        0 |        0
1254.60/1255.14	c 1254s |      19 |   679040 |   578982 |    71277     17 |        0 |        0
1256.59/1257.17	c 1256s |      19 |   679465 |   579382 |    71277     17 |        0 |        0
1258.69/1259.24	c 1258s |      19 |   679872 |   579782 |    71277     17 |        0 |        0
1260.79/1261.36	c 1260s |      19 |   680304 |   580182 |    71277     17 |        0 |        0
1263.09/1263.64	c 1262s |      19 |   680733 |   580582 |    71277     17 |        0 |        0
1265.09/1265.68	c 1264s |      19 |   681162 |   580982 |    71277     17 |        0 |        0
1267.19/1267.71	c 1266s |      19 |   681574 |   581382 |    71277     17 |        0 |        0
1269.29/1269.83	c 1269s |      19 |   681985 |   581782 |    71277     17 |        0 |        0
1271.39/1271.91	c 1271s |      19 |   682410 |   582182 |    71277     17 |        0 |        0
1273.59/1274.17	c 1273s |      19 |   682830 |   582582 |    71277     17 |        0 |        0
1275.99/1276.53	c 1275s |      19 |   683361 |   583082 |    71277     17 |        0 |        0
1278.19/1278.72	c 1277s |      19 |   683900 |   583582 |    71277     17 |        0 |        0
1280.19/1280.79	c 1280s |      19 |   684416 |   584082 |    71277     17 |        0 |        0
1282.49/1283.07	c 1282s |      19 |   684944 |   584582 |    71277     17 |        0 |        0
1284.69/1285.21	c 1284s |      19 |   685467 |   585082 |    71277     17 |        0 |        0
1287.09/1287.63	c 1286s |      19 |   686091 |   585682 |    71277     17 |        0 |        0
1289.19/1289.74	c 1288s |      19 |   686199 |   585782 |    71277     18 |        0 |        0
1292.58/1293.19	c 1292s |      19 |   686518 |   586082 |    71277     18 |        0 |        0
1296.88/1297.44	c 1296s |      19 |   687139 |   586682 |    71277     18 |        0 |        0
1298.98/1299.54	c 1298s |      19 |   688031 |   587482 |    71277     18 |        0 |        0
1300.98/1301.58	c 1300s |      19 |   689046 |   588382 |    71277     18 |        0 |        0
1303.09/1303.65	c 1302s |      19 |   690020 |   589282 |    71277     18 |        0 |        0
1305.19/1305.76	c 1304s |      19 |   690987 |   590182 |    71277     18 |        0 |        0
1307.28/1307.87	c 1307s |      19 |   692093 |   591182 |    71277     18 |        0 |        0
1309.28/1309.89	c 1309s |      19 |   693120 |   592182 |    71277     18 |        0 |        0
1311.48/1312.03	c 1311s |      19 |   694080 |   593082 |    71277     18 |        0 |        0
1313.68/1314.21	c 1313s |      19 |   694916 |   593882 |    71277     18 |        0 |        0
1315.78/1316.31	c 1315s |      19 |   695749 |   594682 |    71277     18 |        0 |        0
1317.98/1318.58	c 1317s |      19 |   696291 |   595182 |    71277     18 |        0 |        0
1320.08/1320.60	c 1319s |      19 |   697040 |   595882 |    71277     18 |        0 |        0
1322.28/1322.85	c 1322s |      19 |   698029 |   596782 |    71277     18 |        0 |        0
1324.48/1325.03	c 1324s |      19 |   698872 |   597582 |    71277     18 |        0 |        0
1326.58/1327.19	c 1326s |      19 |   699751 |   598382 |    71277     18 |        0 |        0
1328.68/1329.20	c 1328s |      19 |   700527 |   599082 |    71277     18 |        0 |        0
1330.68/1331.23	c 1330s |      19 |   701162 |   599682 |    71277     18 |        0 |        0
1332.68/1333.26	c 1332s |      19 |   701935 |   600382 |    71277     18 |        0 |        0
1334.88/1335.48	c 1334s |      19 |   702784 |   601082 |    71277     18 |        0 |        0
1336.97/1337.50	c 1336s |      19 |   703519 |   601782 |    71277     18 |        0 |        0
1339.07/1339.67	c 1338s |      19 |   704313 |   602482 |    71277     18 |        0 |        0
1341.27/1341.84	c 1341s |      19 |   705047 |   603182 |    71277     18 |        0 |        0
1343.27/1343.89	c 1343s |      19 |   705778 |   603882 |    71277     18 |        0 |        0
1345.57/1346.15	c 1345s |      19 |   706515 |   604582 |    71277     18 |        0 |        0
1347.97/1348.50	c 1347s |      19 |   707142 |   605182 |    71277     18 |        0 |        0
1350.07/1350.64	c 1349s |      19 |   707760 |   605782 |    71277     18 |        0 |        0
1352.37/1352.94	c 1352s |      19 |   708530 |   606482 |    71277     18 |        0 |        0
1354.47/1355.05	c 1354s |      19 |   709053 |   606982 |    71277     18 |        0 |        0
1356.98/1357.52	c 1356s |      19 |   709726 |   607582 |    71277     18 |        0 |        0
1358.96/1359.53	c 1358s |      19 |   710241 |   608082 |    71277     18 |        0 |        0
1361.16/1361.71	c 1360s |      19 |   710788 |   608582 |    71277     18 |        0 |        0
1363.36/1363.97	c 1363s |      19 |   711301 |   609082 |    71277     18 |        0 |        0
1365.77/1366.32	c 1365s |      19 |   711935 |   609682 |    71277     18 |        0 |        0
1367.76/1368.36	c 1367s |      19 |   712566 |   610282 |    71277     18 |        0 |        0
1370.07/1370.61	c 1369s |      19 |   713190 |   610882 |    71277     18 |        0 |        0
1372.46/1373.03	c 1372s |      19 |   713717 |   611382 |    71277     18 |        0 |        0
1374.66/1375.27	c 1374s |      19 |   714237 |   611882 |    71277     18 |        0 |        0
1376.96/1377.52	c 1376s |      19 |   714761 |   612382 |    71277     18 |        0 |        0
1379.06/1379.61	c 1378s |      19 |   715270 |   612882 |    71277     18 |        0 |        0
1381.46/1382.07	c 1381s |      19 |   715791 |   613382 |    71277     18 |        0 |        0
1383.76/1384.34	c 1383s |      19 |   716335 |   613882 |    71277     18 |        0 |        0
1386.16/1386.77	c 1385s |      19 |   716862 |   614382 |    71277     18 |        0 |        0
1388.26/1388.86	c 1388s |      19 |   717398 |   614882 |    71277     18 |        0 |        0
1390.46/1391.07	c 1390s |      19 |   718041 |   615482 |    71277     18 |        0 |        0
1392.66/1393.24	c 1392s |      19 |   718663 |   616082 |    71277     18 |        0 |        0
1394.76/1395.36	c 1394s |      19 |   719193 |   616582 |    71277     18 |        0 |        0
1397.15/1397.70	c 1396s |      19 |   719809 |   617182 |    71277     18 |        0 |        0
1399.25/1399.84	c 1399s |      19 |   720333 |   617682 |    71277     18 |        0 |        0
1401.35/1401.91	c 1401s |      19 |   720755 |   618082 |    71277     18 |        0 |        0
1403.65/1404.28	c 1403s |      19 |   721261 |   618582 |    71277     18 |        0 |        0
1405.95/1406.54	c 1405s |      19 |   721811 |   619082 |    71277     18 |        0 |        0
1408.25/1408.83	c 1408s |      19 |   722315 |   619582 |    71277     18 |        0 |        0
1410.76/1411.34	c 1410s |      19 |   722835 |   620082 |    71277     18 |        0 |        0
1412.85/1413.41	c 1412s |      19 |   723245 |   620482 |    71277     18 |        0 |        0
1414.95/1415.53	c 1414s |      19 |   723661 |   620882 |    71277     18 |        0 |        0
1417.36/1417.98	c 1417s |      19 |   724204 |   621382 |    71277     18 |        0 |        0
1420.76/1421.31	c 1420s |      19 |   724513 |   621682 |    71277     19 |        0 |        0
1424.15/1424.76	c 1423s |      19 |   724854 |   621982 |    71277     19 |        0 |        0
1426.35/1426.99	c 1426s |      19 |   726256 |   623282 |    71277     19 |        0 |        0
1428.55/1429.17	c 1428s |      19 |   727132 |   624082 |    71277     19 |        0 |        0
1430.65/1431.26	c 1430s |      19 |   728010 |   624882 |    71277     19 |        0 |        0
1432.95/1433.52	c 1432s |      19 |   728858 |   625682 |    71277     19 |        0 |        0
1435.45/1436.04	c 1435s |      19 |   729549 |   626282 |    71277     19 |        0 |        0
1437.65/1438.26	c 1437s |      19 |   730299 |   626982 |    71277     19 |        0 |        0
1439.85/1440.40	c 1439s |      19 |   731173 |   627782 |    71277     19 |        0 |        0
1442.25/1442.85	c 1442s |      19 |   731696 |   628282 |    71277     19 |        0 |        0
1444.45/1445.05	c 1444s |      19 |   732635 |   629182 |    71277     19 |        0 |        0
1446.55/1447.14	c 1446s |      19 |   733482 |   629982 |    71277     19 |        0 |        0
1448.65/1449.20	c 1448s |      19 |   734203 |   630682 |    71277     19 |        0 |        0
1450.75/1451.36	c 1450s |      19 |   735029 |   631482 |    71277     19 |        0 |        0
1452.75/1453.37	c 1452s |      19 |   735836 |   632282 |    71277     19 |        0 |        0
1454.85/1455.45	c 1454s |      19 |   736570 |   632982 |    71277     19 |        0 |        0
1456.85/1457.48	c 1456s |      19 |   737279 |   633682 |    71277     19 |        0 |        0
1458.95/1459.57	c 1458s |      19 |   738100 |   634482 |    71277     19 |        0 |        0
1461.05/1461.69	c 1460s |      19 |   738716 |   635082 |    71277     19 |        0 |        0
1463.15/1463.73	c 1462s |      19 |   739455 |   635782 |    71277     19 |        0 |        0
1465.24/1465.84	c 1465s |      19 |   740181 |   636482 |    71277     19 |        0 |        0
1467.44/1468.00	c 1467s |      19 |   740899 |   637182 |    71277     19 |        0 |        0
1469.64/1470.22	c 1469s |      19 |   741726 |   637982 |    71277     19 |        0 |        0
1471.84/1472.41	c 1471s |      19 |   742655 |   638882 |    71277     19 |        0 |        0
1474.14/1474.73	c 1473s |      19 |   743508 |   639682 |    71277     19 |        0 |        0
1476.44/1477.05	c 1476s |      19 |   744144 |   640282 |    71277     19 |        0 |        0
1478.74/1479.36	c 1478s |      19 |   744760 |   640882 |    71277     19 |        0 |        0
1480.84/1481.47	c 1480s |      19 |   745374 |   641482 |    71277     19 |        0 |        0
1482.94/1483.59	c 1482s |      19 |   745993 |   642082 |    71277     19 |        0 |        0
1485.24/1485.84	c 1485s |      19 |   746729 |   642782 |    71277     19 |        0 |        0
1487.34/1487.95	c 1487s |      19 |   747443 |   643482 |    71277     19 |        0 |        0
1489.54/1490.17	c 1489s |      19 |   748235 |   644182 |    71277     19 |        0 |        0
1491.84/1492.40	c 1491s |      19 |   748868 |   644782 |    71277     19 |        0 |        0
1493.94/1494.59	c 1493s |      19 |   749492 |   645382 |    71277     19 |        0 |        0
1496.34/1496.95	c 1496s |      19 |   750327 |   646182 |    71277     19 |        0 |        0
1498.54/1499.17	c 1498s |      19 |   750840 |   646682 |    71277     19 |        0 |        0
1500.94/1501.51	c 1500s |      19 |   751361 |   647182 |    71277     19 |        0 |        0
1503.04/1503.68	c 1502s |      19 |   751935 |   647682 |    71277     19 |        0 |        0
1505.54/1506.15	c 1505s |      19 |   752475 |   648182 |    71277     19 |        0 |        0
1507.74/1508.32	c 1507s |      19 |   752987 |   648682 |    71277     19 |        0 |        0
1510.24/1510.81	c 1510s |      19 |   753510 |   649182 |    71277     19 |        0 |        0
1512.64/1513.26	c 1512s |      19 |   754045 |   649682 |    71277     19 |        0 |        0
1514.94/1515.59	c 1514s |      19 |   754566 |   650182 |    71277     19 |        0 |        0
1517.34/1517.97	c 1517s |      19 |   755089 |   650682 |    71277     19 |        0 |        0
1519.64/1520.21	c 1519s |      19 |   755609 |   651182 |    71277     19 |        0 |        0
1522.03/1522.61	c 1521s |      19 |   756224 |   651782 |    71277     19 |        0 |        0
1524.33/1524.97	c 1524s |      19 |   756940 |   652482 |    71277     19 |        0 |        0
1526.34/1526.97	c 1526s |      19 |   757459 |   652982 |    71277     19 |        0 |        0
1528.44/1529.07	c 1528s |      19 |   757966 |   653482 |    71277     19 |        0 |        0
1530.74/1531.35	c 1530s |      19 |   758492 |   653982 |    71277     19 |        0 |        0
1532.73/1533.37	c 1532s |      19 |   758922 |   654382 |    71277     19 |        0 |        0
1534.83/1535.48	c 1534s |      19 |   759449 |   654882 |    71277     19 |        0 |        0
1537.13/1537.79	c 1537s |      19 |   759961 |   655382 |    71277     19 |        0 |        0
1539.63/1540.25	c 1539s |      19 |   760484 |   655882 |    71277     19 |        0 |        0
1541.83/1542.48	c 1541s |      19 |   760984 |   656382 |    71277     19 |        0 |        0
1544.13/1544.71	c 1543s |      19 |   761499 |   656882 |    71277     19 |        0 |        0
1546.33/1546.99	c 1546s |      19 |   762022 |   657382 |    71277     19 |        0 |        0
1548.94/1549.53	c 1548s |      19 |   762223 |   657582 |    71277     20 |        0 |        0
1551.03/1551.60	c 1550s |      19 |   762430 |   657782 |    71277     20 |        0 |        0
1555.34/1555.97	c 1555s |      19 |   762743 |   658082 |    71277     20 |        0 |        0
1557.53/1558.13	c 1557s |      19 |   763391 |   658682 |    71277     20 |        0 |        0
1559.73/1560.37	c 1559s |      19 |   764346 |   659582 |    71277     20 |        0 |        0
1561.93/1562.59	c 1561s |      19 |   765382 |   660582 |    71277     20 |        0 |        0
1564.13/1564.75	c 1563s |      19 |   766295 |   661482 |    71277     20 |        0 |        0
1566.13/1566.76	c 1565s |      19 |   766930 |   662082 |    71277     20 |        0 |        0
1568.33/1568.97	c 1568s |      19 |   767594 |   662682 |    78405     20 |        0 |        0
1570.43/1571.07	c 1570s |      19 |   768211 |   663282 |    78405     20 |        0 |        0
1572.54/1573.12	c 1572s |      19 |   768914 |   663882 |    78405     20 |        0 |        0
1574.53/1575.19	c 1574s |      19 |   769533 |   664482 |    78405     20 |        0 |        0
1576.94/1577.53	c 1576s |      19 |   770474 |   665382 |    78405     20 |        0 |        0
1579.04/1579.68	c 1578s |      19 |   771274 |   666182 |    78405     20 |        0 |        0
1580.73/1581.38	c 1580s |      20 |   771965 |   666827 |    78405     20 |        0 |        0
1583.83/1584.48	c 1583s |      20 |   773516 |   667027 |    78405     20 |        0 |        0
1586.53/1587.17	c 1586s |      20 |   774431 |   667527 |    78405     20 |        0 |        0
1588.93/1589.54	c 1588s |      20 |   774556 |   667627 |    78405     20 |        0 |        0
1592.73/1593.36	c 1592s |      20 |   776202 |   669127 |    78405     20 |        0 |        0
1594.83/1595.42	c 1594s |      20 |   779107 |   671727 |    78405     20 |        0 |        0
1596.83/1597.45	c 1596s |      20 |   781583 |   673927 |    78405     20 |        0 |        0
1598.84/1599.49	c 1598s |      20 |   783823 |   675927 |    78405     20 |        0 |        0
1600.93/1601.60	c 1600s |      20 |   786054 |   677927 |    78405     20 |        0 |        0
1603.03/1603.61	c 1602s |      20 |   788051 |   679727 |    78405     20 |        0 |        0
1605.03/1605.67	c 1604s |      20 |   789875 |   681427 |    78405     20 |        0 |        0
1607.13/1607.76	c 1606s |      20 |   792031 |   683227 |    78405     20 |        0 |        0
1609.23/1609.81	c 1609s |      20 |   794045 |   684927 |    78405     20 |        0 |        0
1612.03/1612.66	c 1611s |      20 |   794341 |   685127 |    78405     20 |        0 |        0
1614.12/1614.77	c 1613s |      20 |   795890 |   686527 |    78405     20 |        0 |        0
1616.22/1616.81	c 1616s |      20 |   797355 |   687827 |    78405     20 |        0 |        0
1618.32/1618.93	c 1618s |      20 |   799199 |   689327 |    78405     20 |        0 |        0
1620.42/1621.03	c 1620s |      20 |   801431 |   691227 |    78405     20 |        0 |        0
1622.42/1623.04	c 1622s |      20 |   803207 |   692827 |    78405     20 |        0 |        0
1624.42/1625.06	c 1624s |      20 |   804638 |   694127 |    78405     20 |        0 |        0
1626.62/1627.23	c 1626s |      20 |   806280 |   695627 |    78405     20 |        0 |        0
1628.63/1629.29	c 1628s |      20 |   807761 |   696927 |    78405     20 |        0 |        0
1630.73/1631.40	c 1630s |      20 |   808993 |   698027 |    78405     20 |        0 |        0
1632.93/1633.58	c 1632s |      20 |   810315 |   699227 |    78405     20 |        0 |        0
1635.13/1635.71	c 1634s |      20 |   811438 |   700227 |    78405     20 |        0 |        0
1637.22/1637.87	c 1637s |      20 |   812649 |   701327 |    78405     20 |        0 |        0
1639.62/1640.27	c 1639s |      20 |   813525 |   702127 |    78405     21 |        0 |        0
1641.82/1642.45	c 1641s |      20 |   814611 |   703127 |    78405     21 |        0 |        0
1644.02/1644.66	c 1643s |      20 |   815474 |   703927 |    78405     21 |        0 |        0
1646.22/1646.84	c 1646s |      20 |   816477 |   704827 |    78405     21 |        0 |        0
1648.22/1648.84	c 1648s |      20 |   817571 |   705827 |    78405     21 |        0 |        0
1650.42/1651.04	c 1650s |      20 |   818648 |   706827 |    78405     21 |        0 |        0
1652.62/1653.21	c 1652s |      20 |   819741 |   707827 |    78405     21 |        0 |        0
1654.62/1655.24	c 1654s |      20 |   820736 |   708727 |    78405     21 |        0 |        0
1656.72/1657.35	c 1656s |      20 |   821603 |   709527 |    78405     21 |        0 |        0
1658.72/1659.38	c 1658s |      20 |   822235 |   710127 |    78405     21 |        0 |        0
1660.92/1661.55	c 1660s |      20 |   823217 |   711027 |    78405     21 |        0 |        0
1663.02/1663.66	c 1662s |      20 |   824184 |   711927 |    78405     21 |        0 |        0
1665.12/1665.70	c 1664s |      20 |   825150 |   712827 |    78405     21 |        0 |        0
1667.12/1667.70	c 1666s |      20 |   826109 |   713727 |    78405     21 |        0 |        0
1669.22/1669.87	c 1669s |      20 |   827075 |   714627 |    78405     21 |        0 |        0
1671.42/1672.10	c 1671s |      20 |   828143 |   715627 |    78405     21 |        0 |        0
1673.52/1674.20	c 1673s |      20 |   829123 |   716527 |    78405     21 |        0 |        0
1675.62/1676.28	c 1675s |      20 |   830102 |   717427 |    78405     21 |        0 |        0
1677.82/1678.46	c 1677s |      20 |   831160 |   718427 |    78405     21 |        0 |        0
1680.01/1680.60	c 1679s |      20 |   832129 |   719327 |    78405     21 |        0 |        0
1682.01/1682.63	c 1681s |      20 |   832997 |   720127 |    78405     21 |        0 |        0
1684.01/1684.63	c 1683s |      20 |   833871 |   720927 |    78405     21 |        0 |        0
1686.21/1686.81	c 1686s |      20 |   834833 |   721827 |    78405     21 |        0 |        0
1688.31/1688.94	c 1688s |      20 |   835693 |   722627 |    78405     21 |        0 |        0
1690.51/1691.16	c 1690s |      20 |   836818 |   723627 |    78405     21 |        0 |        0
1692.61/1693.22	c 1692s |      20 |   837814 |   724527 |    78405     21 |        0 |        0
1694.62/1695.24	c 1694s |      20 |   838819 |   725427 |    78405     21 |        0 |        0
1696.61/1697.27	c 1696s |      20 |   839936 |   726427 |    78405     21 |        0 |        0
1698.81/1699.48	c 1698s |      20 |   840829 |   727227 |    78405     21 |        0 |        0
1701.12/1701.71	c 1700s |      20 |   841687 |   728027 |    78405     21 |        0 |        0
1703.32/1703.92	c 1703s |      20 |   842678 |   728927 |    78405     21 |        0 |        0
1705.52/1706.14	c 1705s |      20 |   843653 |   729827 |    78405     21 |        0 |        0
1707.61/1708.25	c 1707s |      20 |   844502 |   730627 |    78405     21 |        0 |        0
1709.61/1710.26	c 1709s |      20 |   845163 |   731227 |    78405     21 |        0 |        0
1711.71/1712.34	c 1711s |      20 |   845912 |   731927 |    78405     21 |        0 |        0
1713.81/1714.48	c 1713s |      20 |   846795 |   732727 |    78405     21 |        0 |        0
1715.91/1716.59	c 1715s |      20 |   847634 |   733527 |    78405     21 |        0 |        0
1718.01/1718.69	c 1717s |      20 |   848653 |   734427 |    78405     21 |        0 |        0
1720.31/1720.90	c 1720s |      20 |   849531 |   735227 |    78405     21 |        0 |        0
1722.41/1723.09	c 1722s |      20 |   850417 |   736027 |    78405     21 |        0 |        0
1724.61/1725.23	c 1724s |      20 |   851296 |   736827 |    78405     21 |        0 |        0
1726.61/1727.25	c 1726s |      20 |   851919 |   737427 |    78405     21 |        0 |        0
1728.81/1729.48	c 1728s |      20 |   852780 |   738227 |    78405     21 |        0 |        0
1731.11/1731.77	c 1730s |      20 |   853776 |   739127 |    78405     21 |        0 |        0
1733.31/1733.92	c 1733s |      20 |   854529 |   739827 |    78405     21 |        0 |        0
1735.31/1735.98	c 1735s |      20 |   855192 |   740427 |    78405     21 |        0 |        0
1737.41/1738.01	c 1737s |      20 |   855960 |   741127 |    78405     21 |        0 |        0
1739.50/1740.18	c 1739s |      20 |   856609 |   741727 |    78405     21 |        0 |        0
1742.40/1743.04	c 1742s |      20 |   857276 |   742327 |    78405     22 |        0 |        0
1744.60/1745.22	c 1744s |      20 |   858248 |   743227 |    78405     22 |        0 |        0
1746.70/1747.35	c 1746s |      20 |   859128 |   744027 |    78405     22 |        0 |        0
1748.90/1749.50	c 1748s |      20 |   860214 |   745027 |    78405     22 |        0 |        0
1751.00/1751.60	c 1750s |      20 |   861338 |   746027 |    78405     22 |        0 |        0
1753.10/1753.77	c 1752s |      20 |   862430 |   747027 |    78405     22 |        0 |        0
1755.90/1756.52	c 1755s |      20 |   863112 |   747627 |    78405     22 |        0 |        0
1757.90/1758.59	c 1757s |      20 |   864224 |   748627 |    78405     22 |        0 |        0
1760.00/1760.64	c 1759s |      20 |   865226 |   749527 |    78405     22 |        0 |        0
1762.20/1762.88	c 1762s |      20 |   866206 |   750427 |    78405     22 |        0 |        0
1764.30/1764.99	c 1764s |      20 |   867206 |   751327 |    78405     22 |        0 |        0
1766.40/1767.03	c 1766s |      20 |   868107 |   752127 |    78405     22 |        0 |        0
1768.40/1769.08	c 1768s |      20 |   868968 |   752927 |    78405     22 |        0 |        0
1770.50/1771.13	c 1770s |      20 |   869861 |   753727 |    78405     22 |        0 |        0
1772.50/1773.18	c 1772s |      20 |   870872 |   754627 |    78405     22 |        0 |        0
1774.60/1775.24	c 1774s |      20 |   871734 |   755427 |    78405     22 |        0 |        0
1776.90/1777.51	c 1776s |      20 |   872715 |   756327 |    78405     22 |        0 |        0
1779.10/1779.77	c 1778s |      20 |   873722 |   757227 |    78405     22 |        0 |        0
1781.30/1781.94	c 1781s |      20 |   874555 |   758027 |    78405     22 |        0 |        0
1783.30/1783.99	c 1783s |      20 |   875452 |   758827 |    78405     22 |        0 |        0
1785.49/1786.19	c 1785s |      20 |   876445 |   759727 |    78405     22 |        0 |        0
1787.59/1788.23	c 1787s |      20 |   877199 |   760427 |    78405     22 |        0 |        0
1789.69/1790.31	c 1789s |      20 |   878108 |   761227 |    78405     22 |        0 |        0
1791.79/1792.49	c 1791s |      20 |   878883 |   761927 |    78405     22 |        0 |        0
1793.89/1794.58	c 1793s |      20 |   879642 |   762627 |    78405     22 |        0 |        0
1795.99/1796.60	c 1795s |      20 |   880424 |   763327 |    78405     22 |        0 |        0
1798.00/1798.62	c 1797s |      20 |   881164 |   764027 |    78405     22 |        0 |        0

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

pid=14822
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.17 2.22 2.23 3/179 14825
/proc/meminfo: memFree=29399344/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 2752 0 0 0 0 0 0 0 20 0 4 0 104161529 754380800 2603 33554432000 4194304 16246674 140733216703328 140733216702752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 184943 2612 441 2943 0 181837 0
[pid=14825/tid=14826] ppid=14822 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 773255168 2674 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 777449472 2690 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=762436 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104161530 780734464 2704 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 2.17 2.22 2.23 3/179 14825
/proc/meminfo: memFree=29399344/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 29126 0 0 0 6 3 0 0 20 0 4 0 104161529 1249447936 28914 33554432000 4194304 16246674 140733216703328 140733216702640 4206653 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 305041 28914 802 2943 0 301935 0
[pid=14825/tid=14826] ppid=14822 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1249447936 28914 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1249447936 28914 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1249447936 28914 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200506 s]
/proc/loadavg: 2.17 2.22 2.23 3/179 14825
/proc/meminfo: memFree=29399344/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 51126 0 0 0 12 7 0 0 20 0 4 0 104161529 1342771200 51425 33554432000 4194304 16246674 140733216703328 140733216702640 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 327825 51431 802 2943 0 324719 0
[pid=14825/tid=14826] ppid=14822 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1342771200 51436 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1342771200 51440 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1342771200 51444 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300488 s]
/proc/loadavg: 2.17 2.22 2.23 3/179 14825
/proc/meminfo: memFree=29399344/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 57418 0 0 0 21 8 0 0 20 0 4 0 104161529 1345916928 57717 33554432000 4194304 16246674 140733216703328 140733216702640 6965369 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 328593 57728 847 2943 0 325487 0
[pid=14825/tid=14826] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1345916928 57733 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1345916928 57739 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1345916928 57744 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700413 s]
/proc/loadavg: 2.17 2.22 2.23 3/179 14825
/proc/meminfo: memFree=29399344/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 131361 0 0 0 50 19 0 0 20 0 4 0 104161529 1345916928 131661 33554432000 4194304 16246674 140733216703328 140733216685184 12481124 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 328593 131670 847 2943 0 325487 0
[pid=14825/tid=14826] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1345916928 131675 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1345916928 131681 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1345916928 131686 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.17 2.22 2.23 3/183 14829
/proc/meminfo: memFree=28844276/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1328708 CPUtime=1.48 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 246519 0 0 0 116 32 0 0 20 0 4 0 104161529 1360596992 246818 33554432000 4194304 16246674 140733216703328 140733216686328 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 332177 246830 883 2943 0 329071 0
[pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 246840 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 246846 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 246855 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1328708

[startup+3.10043 s]
/proc/loadavg: 2.17 2.22 2.23 3/183 14829
/proc/meminfo: memFree=28306864/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1328708 CPUtime=3.08 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272854 0 0 0 272 36 0 0 20 0 4 0 104161529 1360596992 273153 33554432000 4194304 16246674 140733216703328 140733216685248 6010764 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 332177 273153 889 2943 0 329071 0
[pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273153 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273153 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273153 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1328708

[startup+6.30043 s]
/proc/loadavg: 2.15 2.21 2.23 3/183 14829
/proc/meminfo: memFree=28307328/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1328708 CPUtime=6.28 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272855 0 0 0 592 36 0 0 20 0 4 0 104161529 1360596992 273154 33554432000 4194304 16246674 140733216703328 140733216685248 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 332177 273154 889 2943 0 329071 0
[pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273154 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273154 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273154 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1328708

[startup+12.7004 s]
/proc/loadavg: 2.14 2.21 2.23 3/183 14829
/proc/meminfo: memFree=28307128/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1328708 CPUtime=12.68 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272857 0 0 0 1232 36 0 0 20 0 4 0 104161529 1360596992 273156 33554432000 4194304 16246674 140733216703328 140733216685248 5675344 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 332177 273156 890 2943 0 329071 0
[pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273156 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273156 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273156 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.26 2.23 2.23 3/183 14829
/proc/meminfo: memFree=28307760/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1328708 CPUtime=25.48 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272858 0 0 0 2512 36 0 0 20 0 4 0 104161529 1360596992 273157 33554432000 4194304 16246674 140733216703328 140733216685248 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 332177 273157 890 2943 0 329071 0
[pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273157 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273157 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273157 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1328708

[startup+51.1005 s]
/proc/loadavg: 2.24 2.23 2.23 4/183 14829
/proc/meminfo: memFree=28307716/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1328708 CPUtime=51.08 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272862 0 0 0 5072 36 0 0 20 0 4 0 104161529 1360596992 273161 33554432000 4194304 16246674 140733216703328 140733216685248 5545919 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 332177 273161 894 2943 0 329071 0
[pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273161 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273161 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273161 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.301 s]
/proc/loadavg: 2.20 2.22 2.23 3/183 14831
/proc/meminfo: memFree=28307140/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=1328708 CPUtime=102.28 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 272863 0 0 0 10192 36 0 0 20 0 4 0 104161529 1360596992 273162 33554432000 4194304 16246674 140733216703328 140733216685248 5523371 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 332177 273162 895 2943 0 329071 0
[pid=14825/tid=14826] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 1360596992 273162 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273162 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 1360596992 273162 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1328708


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

Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 2025028

[startup+1362.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 14912
/proc/meminfo: memFree=27635136/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=2025028 CPUtime=1361.76 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 447435 0 0 0 136107 69 0 0 20 0 4 0 104161529 2073628672 447498 33554432000 4194304 16246674 140733216703328 140733216702504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 506257 447498 895 2943 0 503151 0
[pid=14825/tid=14826] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 2025028

[startup+1422.3 s]
/proc/loadavg: 2.28 2.20 2.18 4/183 14913
/proc/meminfo: memFree=27634300/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=2025028 CPUtime=1421.76 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 447438 0 0 0 142107 69 0 0 20 0 4 0 104161529 2073628672 447498 33554432000 4194304 16246674 140733216703328 140733216685248 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 506257 447498 895 2943 0 503151 0
[pid=14825/tid=14826] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=2025028 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2073628672 447498 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 2025028

[startup+1482.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/183 14914
/proc/meminfo: memFree=27595724/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=2062916 CPUtime=1481.74 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 456910 0 0 0 148101 73 0 0 20 0 4 0 104161529 2112425984 456970 33554432000 4194304 16246674 140733216703328 140733216685248 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 515729 456970 895 2943 0 512623 0
[pid=14825/tid=14826] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 2062916

[startup+1542.31 s]
/proc/loadavg: 2.14 2.17 2.18 3/183 14915
/proc/meminfo: memFree=27595584/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=2062916 CPUtime=1541.74 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 456910 0 0 0 154101 73 0 0 20 0 4 0 104161529 2112425984 456970 33554432000 4194304 16246674 140733216703328 140733216685248 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 515729 456970 895 2943 0 512623 0
[pid=14825/tid=14826] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=2062916 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2112425984 456970 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 2062916

[startup+1602.3 s]
/proc/loadavg: 2.26 2.20 2.18 4/183 14917
/proc/meminfo: memFree=27582232/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=2076228 CPUtime=1601.73 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 160095 78 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 519057 460298 895 2943 0 515951 0
[pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 2076228

[startup+1662.3 s]
/proc/loadavg: 2.28 2.20 2.19 3/183 14918
/proc/meminfo: memFree=27581880/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=2076228 CPUtime=1661.72 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 166093 79 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 519057 460298 895 2943 0 515951 0
[pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 2076228

[startup+1722.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/184 14922
/proc/meminfo: memFree=27582424/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=2076228 CPUtime=1721.71 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 172092 79 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 519057 460298 895 2943 0 515951 0
[pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 2076228

[startup+1782.3 s]
/proc/loadavg: 2.32 2.22 2.19 4/183 14923
/proc/meminfo: memFree=27581612/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=2076228 CPUtime=1781.7 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 178091 79 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 519057 460298 895 2943 0 515951 0
[pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 2076228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 14923
/proc/meminfo: memFree=27580284/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=2076228 CPUtime=1800.1 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 179931 79 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 519057 460298 895 2943 0 515951 0
[pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2076228

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

[startup+1800.7 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 14923
/proc/meminfo: memFree=27580284/32872528 swapFree=16636/1570076
[pid=14825] ppid=14822 vsize=2076228 CPUtime=1800.1 cores=1,3,5,7
/proc/14825/stat : 14825 (toysat) R 14822 14825 13075 0 -1 4202496 460238 0 0 0 179931 79 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140733216685248 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14825/statm: 519057 460298 895 2943 0 515951 0
[pid=14825/tid=14826] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14826/stat : 14826 (toysat) S 14822 14825 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104161529 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466373766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14825/tid=14827] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14827/stat : 14827 (toysat) S 14822 14825 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466363276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14825/tid=14828] ppid=14822 vsize=2076228 CPUtime=0 cores=1,3,5,7
/proc/14825/task/14828/stat : 14828 (toysat) S 14822 14825 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104161530 2126057472 460298 33554432000 4194304 16246674 140733216703328 140466352802992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2076228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.14
CPU user time (s): 1799.33
CPU system time (s): 0.807877
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 2076228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.807877
maximum resident set size= 1841192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460238
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= 617
involuntary context switches= 1823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.01824 second user time and 7.2169 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 16:11:32
IDJOB=4078755
IDBENCH=1500
IDSOLVER=2542
FILE ID=node140/4078755-1465222292
RUNJOBID= node140-1465216678-13092
PBS_JOBID= 19843199
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078755-1465222292/watcher-4078755-1465222292 -o /tmp/evaluation-result-4078755-1465222292/solver-4078755-1465222292 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078755-1465222292.opb

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

MD5SUM BENCH= d484bc8efed557f17788965b19feafe5
RANDOM SEED=133574920

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29399624 kB
Buffers:           11836 kB
Cached:            86052 kB
SwapCached:         1736 kB
Active:          1166092 kB
Inactive:          32272 kB
Active(anon):    1099932 kB
Inactive(anon):     2644 kB
Active(file):      66160 kB
Inactive(file):    29628 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097924 kB
Dirty:             17696 kB
Writeback:             0 kB
AnonPages:       2676200 kB
Mapped:            10636 kB
Shmem:                 0 kB
Slab:             567808 kB
SReclaimable:      11348 kB
SUnreclaim:       556460 kB
KernelStack:        1512 kB
PageTables:         9252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2816116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2226176 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= 71708 MiB
End job on node140 at 2016-06-06 16:41:33