Trace number 4116317

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.08 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round22-0.opb
MD5SUM21a0e500ca727a88f38c5e532822f09b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8736
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T21:35:00+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-4116317-1466969700.opb"]
0.00/0.01	c use --random-gen="1680464434 630734013 1176681002 1662166311 1890095590 1964452620 1411767030 2113315325 1657152722 2049351400 3404161464 3193907693 2330307066 3259473278 181484109 4082870778 1462462645 1806360155 1690966245 3724295169 3574167307 2296770643 303021444 3218884056 4241885593 1801948614 762210350 1888006708 263950345 2840215114 3398942464 3129053029 2717905090 2794610887 4158315832 2216307109 547222364 3420234740 3502016925 275185136 3976070465 1247007156 449122499 1617349654 781430398 4051423128 1209432025 455179074 1952311644 1594848142 1630043414 3584512188 2894280443 2135353800 2193911867 1376846708 2799000431 668530622 1173961129 3335605909 1648922588 1817871438 6154473 2506014859 337833325 55945168 446173991 631444792 2997387330 749677727 4035240088 344876583 2138546686 1555489202 2600591316 2535252892 125683995 3669503301 1770652428 130278454 2732560458 1990995180 3895425160 2635695115 1040472660 2543263206 2521528913 3064372875 1438353508 124687564 4004060197 892329818 2255398618 3345813349 234620233 1829296242 1249724301 2223356980 505177577 1919059269 2612152153 1192216568 2273882631 2581234309 1228408945 1459224856 1871949341 516138608 1395249590 1212999259 642898271 878133821 1631865838 4062084963 2915803831 1769156822 2196117664 3689625065 3395730544 3030106954 3939122750 1104502855 3886322708 3050900839 240551846 656057409 3688593809 3122820247 8810938 2455751617 1358296639 2316014940 4008797912 4137799469 3592594383 1784065014 2390557894 1848090212 1234239821 884646796 3294619948 108184618 1563897886 3875804110 2233851699 1339873865 2796010121 1020842650 3356384881 1057221704 3864129588 2899634824 1122987642 4253348486 359059068 3514287107 3773188698 1744815564 1891232643 3175543339 3516158689 3301817383 2153679301 2080984201 2801988213 3954827698 2317628077 1912620654 606996836 1153337870 865005423 2226403021 529128607 4196278416 1994541756 4263532670 1954184604 177853562 1290937811 1840574060 676485681 3284718502 919547405 2025374462 2417056713 1171038879 4010705875 744009447 3395769652 1249523731 2337344543 1930627948 1086701694 2495002797 2271651136 3955013691 1371925571 2532209794 46970133 1033610956 162392620 977123293 4281697868 800563806 442827762 594859982 3497357599 2687901343 4268098105 1645715563 1154381588 561858703 3835356456 3421495989 1124061538 1550589887 4159331548 3430502374 3537324583 4213227099 2956860948 810176799 3352594838 2846880002 16282303 3065904296 1639607430 3071999805 1683508149 2342597972 2609035644 3285955374 3011242980 1768149514 3933368040 1671948912 1857875699 2014586636 3536082593 1711636171 2063451718 2161444366 1565757767 838770183 1557971397 2895126371 2358000247 2505578524 2947268919 3969015497 3636141300 2654558099 2988420492 146843657 2570121115 3574355998 255 362436" option to reproduce the execution
0.08/0.11	c #vars 4128
0.08/0.11	c #constraints 8736
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      909 |        0
0.29/0.34	c  0.1s |       1 |     1023 |      100 |     4234      0 |      910 |      880
0.39/0.44	c  0.2s |       2 |     2681 |      250 |     4658      0 |      910 |      880
0.69/0.70	c  0.4s |       3 |     4592 |      475 |     5124      0 |      910 |      880
0.89/0.99	c  0.7s |       4 |     6826 |      813 |     5637      0 |      910 |      880
1.38/1.49	c  1.2s |       5 |     9795 |     1320 |     6201      0 |      910 |      880
1.99/2.06	c  1.8s |       6 |    15528 |     2081 |     7505      0 |      910 |      880
2.89/2.95	c  2.7s |       7 |    20493 |     3223 |     8256      0 |      911 |      880
4.89/4.96	c  4.7s |       7 |    25524 |     4923 |     9082      0 |      911 |      880
4.89/5.00	c  4.7s |       8 |    25544 |     4936 |     9082      0 |      911 |      880
7.09/7.12	c  6.9s |       8 |    35042 |     7236 |     9082      0 |      911 |      880
7.39/7.43	c  7.2s |       9 |    35384 |     7506 |     9991      0 |      911 |      880
9.39/9.47	c  9.2s |       9 |    45541 |    10106 |     9991      0 |      911 |      880
10.69/10.79	c 10.5s |      10 |    46866 |    11361 |    10991      0 |      911 |      880
12.79/12.87	c 12.6s |      10 |    50132 |    13161 |    10991      0 |      911 |      880
14.89/14.93	c 14.7s |      10 |    54313 |    15161 |    10991      1 |      911 |      880
16.89/16.94	c 16.7s |      10 |    57236 |    16961 |    10991      1 |      911 |      880
17.09/17.15	c 16.9s |      11 |    57462 |    17144 |    12091      1 |      911 |      880
19.09/19.20	c 18.9s |      11 |    67643 |    19744 |    12091      1 |      912 |      880
21.29/21.30	c 21.0s |      11 |    71546 |    21844 |    12091      1 |      912 |      880
23.29/23.35	c 23.1s |      11 |    72954 |    23144 |    12091      2 |      912 |      880
25.30/25.36	c 25.1s |      11 |    74927 |    24544 |    12091      2 |      912 |      880
27.29/27.35	c 27.1s |      12 |    76485 |    25819 |    13301      2 |      912 |      880
29.39/29.44	c 29.2s |      12 |    82618 |    27819 |    13301      2 |      912 |      880
31.39/31.44	c 31.2s |      12 |    84328 |    29219 |    13301      2 |      912 |      880
33.39/33.46	c 33.2s |      12 |    86253 |    30619 |    13301      2 |      912 |      880
35.39/35.47	c 35.2s |      12 |    88039 |    31919 |    13301      3 |      912 |      880
37.50/37.51	c 37.3s |      12 |    90270 |    33419 |    13301      3 |      912 |      880
39.49/39.51	c 39.3s |      12 |    92197 |    34819 |    13301      3 |      912 |      880
41.59/41.67	c 41.4s |      12 |    93668 |    36019 |    13301      3 |      912 |      880
43.89/43.90	c 43.6s |      12 |    94936 |    37119 |    13301      3 |      912 |      880
45.99/46.00	c 45.7s |      12 |    96161 |    38119 |    13301      3 |      912 |      880
47.29/47.35	c 47.1s |      13 |    97077 |    38832 |    14632      3 |      912 |      880
49.29/49.39	c 49.1s |      13 |   103900 |    40932 |    14632      4 |      912 |      880
51.49/51.52	c 51.3s |      13 |   106514 |    42732 |    14632      4 |      912 |      880
53.58/53.64	c 53.4s |      13 |   108489 |    44232 |    14632      4 |      912 |      880
55.68/55.77	c 55.5s |      13 |   110181 |    45532 |    14632      4 |      912 |      880
57.98/58.00	c 57.7s |      13 |   111522 |    46632 |    14632      4 |      912 |      880
59.98/60.04	c 59.8s |      13 |   112737 |    47632 |    14632      4 |      912 |      880
62.08/62.19	c 61.9s |      13 |   114240 |    48832 |    14632      4 |      912 |      880
64.18/64.24	c 64.0s |      13 |   115334 |    49732 |    14632      5 |      912 |      880
66.18/66.29	c 66.0s |      13 |   116567 |    50732 |    14632      5 |      912 |      880
68.29/68.39	c 68.1s |      13 |   117583 |    51532 |    14632      5 |      912 |      880
70.49/70.58	c 70.3s |      13 |   118548 |    52332 |    14632      5 |      912 |      880
72.69/72.71	c 72.5s |      13 |   119800 |    53332 |    14632      5 |      912 |      880
74.68/74.78	c 74.5s |      13 |   120914 |    54232 |    14632      5 |      912 |      880
76.99/77.04	c 76.8s |      13 |   121971 |    55132 |    14632      5 |      912 |      880
79.08/79.16	c 78.9s |      13 |   122915 |    55932 |    14632      5 |      912 |      880
81.28/81.33	c 81.1s |      13 |   123711 |    56632 |    14632      5 |      912 |      880
83.48/83.59	c 83.3s |      13 |   124500 |    57332 |    14632      5 |      912 |      880
85.58/85.61	c 85.4s |      13 |   125223 |    57932 |    14632      6 |      912 |      880
86.58/86.64	c 86.4s |      14 |   125703 |    58352 |    16096      6 |      912 |      880
88.57/88.69	c 88.4s |      14 |   128815 |    59952 |    16096      6 |      912 |      880
90.77/90.80	c 90.5s |      14 |   130322 |    61252 |    16096      6 |      912 |      880
92.87/92.91	c 92.7s |      14 |   131879 |    62552 |    16096      6 |      912 |      880
94.97/95.00	c 94.7s |      14 |   133186 |    63652 |    16096      6 |      912 |      880
96.97/97.00	c 96.8s |      14 |   134406 |    64652 |    16096      6 |      912 |      880
98.98/99.03	c 98.8s |      14 |   135819 |    65752 |    16096      6 |      912 |      880
101.07/101.13	c  100s |      14 |   137152 |    66852 |    16096      6 |      912 |      880
103.17/103.24	c  102s |      14 |   138222 |    67752 |    16096      6 |      912 |      880
105.37/105.42	c  105s |      14 |   139130 |    68552 |    16096      7 |      912 |      880
107.37/107.43	c  107s |      14 |   140030 |    69352 |    16096      7 |      912 |      880
109.57/109.61	c  109s |      14 |   141091 |    70252 |    16096      7 |      912 |      880
111.77/111.80	c  111s |      14 |   142140 |    71152 |    16096      7 |      912 |      880
113.77/113.89	c  113s |      14 |   143047 |    71952 |    16096      7 |      912 |      880
115.97/116.06	c  115s |      14 |   143948 |    72752 |    16096      7 |      912 |      880
117.97/118.07	c  117s |      14 |   144705 |    73452 |    16096      7 |      912 |      880
120.07/120.11	c  119s |      14 |   145492 |    74152 |    16096      7 |      912 |      880
122.08/122.17	c  121s |      14 |   146247 |    74852 |    16096      7 |      912 |      880
124.17/124.30	c  124s |      14 |   147200 |    75652 |    16096      7 |      912 |      880
126.48/126.60	c  126s |      14 |   147961 |    76352 |    16096      7 |      912 |      880
128.68/128.75	c  128s |      14 |   148610 |    76952 |    16096      7 |      912 |      880
130.77/130.83	c  130s |      14 |   149299 |    77552 |    16096      7 |      912 |      880
132.87/132.97	c  132s |      14 |   149836 |    78052 |    16096      8 |      912 |      880
134.97/135.06	c  134s |      14 |   150807 |    78852 |    16096      8 |      912 |      880
137.07/137.12	c  136s |      14 |   154847 |    80152 |    16096      8 |      912 |      880
139.16/139.22	c  138s |      14 |   156660 |    81452 |    16096      8 |      912 |      880
141.16/141.25	c  140s |      14 |   157899 |    82452 |    16096      8 |      912 |      880
143.26/143.39	c  143s |      14 |   159160 |    83452 |    16096      8 |      912 |      880
145.36/145.41	c  145s |      14 |   160214 |    84252 |    16096      8 |      912 |      880
147.37/147.49	c  147s |      14 |   161586 |    85252 |    16096      8 |      912 |      880
149.46/149.55	c  149s |      14 |   162760 |    86152 |    16096      8 |      912 |      880
151.46/151.57	c  151s |      14 |   163984 |    87052 |    17706      8 |      912 |      880
152.97/153.06	c  152s |      15 |   164784 |    87632 |    17706      8 |      912 |      880
155.07/155.15	c  154s |      15 |   169554 |    89432 |    17706      9 |      912 |      880
157.16/157.22	c  156s |      15 |   171711 |    91032 |    17706      9 |      912 |      880
159.26/159.31	c  159s |      15 |   174668 |    92832 |    17706      9 |      912 |      880
161.27/161.32	c  161s |      15 |   176306 |    94132 |    17706      9 |      912 |      880
163.37/163.49	c  163s |      15 |   177786 |    95332 |    17706      9 |      912 |      880
165.67/165.70	c  165s |      15 |   179136 |    96432 |    17706      9 |      912 |      880
167.77/167.81	c  167s |      15 |   180916 |    97632 |    17706      9 |      912 |      880
169.87/169.97	c  169s |      15 |   182482 |    98732 |    17706      9 |      912 |      880
172.07/172.13	c  171s |      15 |   183670 |    99632 |    17706     10 |      912 |      880
174.17/174.27	c  174s |      15 |   184733 |   100532 |    17706     10 |      912 |      880
176.37/176.49	c  176s |      15 |   185661 |   101332 |    17706     10 |      912 |      880
178.47/178.56	c  178s |      15 |   186480 |   102032 |    17706     10 |      912 |      880
180.47/180.57	c  180s |      15 |   187875 |   103032 |    17706     10 |      912 |      880
182.67/182.71	c  182s |      15 |   188999 |   103932 |    17706     10 |      912 |      880
184.87/184.92	c  184s |      15 |   190019 |   104732 |    17706     10 |      912 |      880
186.86/186.98	c  186s |      15 |   191249 |   105632 |    17706     10 |      912 |      880
189.17/189.26	c  189s |      15 |   192316 |   106532 |    17706     10 |      912 |      880
191.37/191.41	c  191s |      15 |   193292 |   107332 |    17706     10 |      912 |      880
193.36/193.46	c  193s |      15 |   194194 |   108032 |    17706     10 |      912 |      880
195.77/195.83	c  195s |      15 |   194993 |   108732 |    17706     10 |      912 |      880
197.97/198.06	c  197s |      15 |   195810 |   109432 |    17706     10 |      912 |      880
200.17/200.25	c  200s |      15 |   196661 |   110132 |    17706     11 |      912 |      880
202.37/202.44	c  202s |      15 |   197579 |   110932 |    17706     11 |      912 |      880
204.46/204.51	c  204s |      15 |   198389 |   111632 |    17706     11 |      912 |      880
206.66/206.71	c  206s |      15 |   199200 |   112332 |    17706     11 |      912 |      880
208.86/208.94	c  208s |      15 |   200022 |   113032 |    17706     11 |      912 |      880
211.27/211.31	c  211s |      15 |   200774 |   113732 |    17706     11 |      912 |      880
213.37/213.45	c  213s |      15 |   201785 |   114532 |    17706     11 |      912 |      880
215.46/215.52	c  215s |      15 |   202591 |   115232 |    17706     11 |      912 |      880
217.46/217.52	c  217s |      15 |   203284 |   115832 |    17706     11 |      912 |      880
219.46/219.55	c  219s |      15 |   203973 |   116432 |    17706     11 |      912 |      880
221.56/221.63	c  221s |      15 |   204826 |   117132 |    17706     11 |      912 |      880
223.66/223.74	c  223s |      15 |   205644 |   117832 |    17706     11 |      912 |      880
225.66/225.78	c  225s |      15 |   206297 |   118432 |    17706     11 |      912 |      880
227.77/227.84	c  227s |      15 |   206993 |   119032 |    17706     11 |      912 |      880
229.97/230.01	c  229s |      15 |   207689 |   119632 |    17706     11 |      912 |      880
232.46/232.51	c  232s |      15 |   208379 |   120232 |    17706     12 |      912 |      880
234.75/234.83	c  234s |      15 |   209285 |   121032 |    17706     12 |      912 |      880
236.95/237.01	c  236s |      15 |   210063 |   121732 |    17706     12 |      912 |      880
239.25/239.36	c  239s |      15 |   210920 |   122432 |    17706     12 |      912 |      880
241.55/241.61	c  241s |      15 |   211714 |   123132 |    17706     12 |      912 |      880
243.75/243.87	c  243s |      15 |   212489 |   123832 |    17706     12 |      912 |      880
245.75/245.87	c  245s |      15 |   213338 |   124532 |    17706     12 |      912 |      880
247.95/248.03	c  247s |      15 |   214331 |   125332 |    17706     12 |      912 |      880
250.25/250.32	c  250s |      15 |   215103 |   126032 |    17706     12 |      912 |      880
252.55/252.60	c  252s |      15 |   215921 |   126732 |    17706     12 |      912 |      880
254.75/254.88	c  254s |      15 |   216858 |   127532 |    17706     12 |      912 |      880
256.95/257.01	c  256s |      15 |   217667 |   128232 |    17706     12 |      912 |      880
259.05/259.10	c  258s |      15 |   218464 |   128932 |    17706     12 |      912 |      880
261.15/261.24	c  260s |      15 |   219307 |   129632 |    17706     12 |      912 |      880
263.35/263.45	c  263s |      15 |   219951 |   130232 |    17706     12 |      912 |      880
265.65/265.70	c  265s |      15 |   220517 |   130732 |    19477     13 |      912 |      880
267.75/267.81	c  267s |      15 |   221315 |   131432 |    19477     13 |      912 |      880
268.05/268.15	c  267s |      16 |   221455 |   131552 |    19477     13 |      912 |      880
270.05/270.19	c  269s |      16 |   227466 |   133352 |    19477     13 |      912 |      880
272.15/272.20	c  271s |      16 |   230040 |   134852 |    19477     13 |      912 |      880
274.15/274.28	c  274s |      16 |   233493 |   136552 |    19477     13 |      912 |      880
276.25/276.37	c  276s |      16 |   236721 |   138452 |    19477     13 |      912 |      880
278.35/278.42	c  278s |      16 |   239456 |   140352 |    19477     13 |      912 |      880
280.34/280.42	c  280s |      16 |   241249 |   141952 |    19477     13 |      912 |      880
282.34/282.45	c  282s |      16 |   242569 |   143152 |    19477     14 |      912 |      880
284.44/284.54	c  284s |      16 |   244257 |   144552 |    19477     14 |      912 |      880
286.54/286.63	c  286s |      16 |   245937 |   145952 |    19477     14 |      912 |      880
288.54/288.65	c  288s |      16 |   247445 |   147152 |    19477     14 |      912 |      880
290.64/290.78	c  290s |      16 |   249018 |   148352 |    19477     14 |      912 |      880
292.84/292.95	c  292s |      16 |   250413 |   149552 |    19477     14 |      912 |      880
295.04/295.12	c  294s |      16 |   251627 |   150652 |    19477     14 |      912 |      880
297.14/297.24	c  296s |      16 |   252786 |   151652 |    19477     14 |      912 |      880
299.15/299.24	c  298s |      16 |   253857 |   152552 |    19477     14 |      912 |      880
301.24/301.30	c  301s |      16 |   254846 |   153452 |    19477     14 |      912 |      880
303.34/303.42	c  303s |      16 |   255756 |   154252 |    19477     15 |      912 |      880
305.34/305.48	c  305s |      16 |   257010 |   155252 |    19477     15 |      912 |      880
307.44/307.57	c  307s |      16 |   258208 |   156252 |    19477     15 |      912 |      880
309.64/309.75	c  309s |      16 |   259311 |   157252 |    19477     15 |      912 |      880
311.74/311.88	c  311s |      16 |   260771 |   158352 |    19477     15 |      912 |      880
313.94/314.06	c  313s |      16 |   262042 |   159452 |    19477     15 |      912 |      880
316.14/316.20	c  315s |      16 |   263046 |   160352 |    19477     15 |      912 |      880
318.34/318.42	c  318s |      16 |   264035 |   161252 |    19477     15 |      912 |      880
320.54/320.64	c  320s |      16 |   264904 |   162052 |    19477     15 |      912 |      880
322.74/322.83	c  322s |      16 |   265768 |   162852 |    19477     15 |      912 |      880
324.84/324.97	c  324s |      16 |   266514 |   163552 |    19477     15 |      912 |      880
326.94/327.10	c  326s |      16 |   267247 |   164252 |    19477     15 |      912 |      880
329.14/329.20	c  328s |      16 |   267988 |   164952 |    19477     15 |      912 |      880
331.14/331.28	c  331s |      16 |   268731 |   165652 |    19477     16 |      912 |      880
333.24/333.34	c  333s |      16 |   269702 |   166552 |    19477     16 |      912 |      880
335.33/335.43	c  335s |      16 |   270672 |   167452 |    19477     16 |      912 |      880
337.43/337.50	c  337s |      16 |   271520 |   168252 |    19477     16 |      912 |      880
339.63/339.75	c  339s |      16 |   272359 |   169052 |    19477     16 |      912 |      880
341.63/341.77	c  341s |      16 |   273210 |   169852 |    19477     16 |      912 |      880
343.83/343.96	c  343s |      16 |   274321 |   170852 |    19477     16 |      912 |      880
346.03/346.11	c  345s |      16 |   275310 |   171752 |    19477     16 |      912 |      880
348.24/348.30	c  348s |      16 |   276312 |   172652 |    19477     16 |      912 |      880
350.34/350.45	c  350s |      16 |   277200 |   173452 |    19477     16 |      912 |      880
352.44/352.56	c  352s |      16 |   278066 |   174252 |    19477     16 |      912 |      880
354.64/354.79	c  354s |      16 |   278935 |   175052 |    19477     16 |      912 |      880
356.74/356.86	c  356s |      16 |   279684 |   175752 |    19477     16 |      912 |      880
359.04/359.13	c  358s |      16 |   280431 |   176452 |    19477     16 |      912 |      880
361.24/361.38	c  361s |      16 |   281058 |   177052 |    19477     17 |      912 |      880
363.34/363.43	c  363s |      16 |   282039 |   177952 |    19477     17 |      912 |      880
365.44/365.57	c  365s |      16 |   282990 |   178852 |    19477     17 |      912 |      880
367.45/367.57	c  367s |      16 |   283897 |   179652 |    19477     17 |      912 |      880
369.54/369.68	c  369s |      16 |   284759 |   180452 |    19477     17 |      912 |      880
371.64/371.70	c  371s |      16 |   285612 |   181252 |    19477     17 |      912 |      880
373.84/373.90	c  373s |      16 |   286461 |   182052 |    19477     17 |      912 |      880
376.03/376.12	c  375s |      16 |   287199 |   182752 |    19477     17 |      912 |      880
378.03/378.14	c  377s |      16 |   287846 |   183352 |    19477     17 |      912 |      880
380.13/380.24	c  379s |      16 |   288491 |   183952 |    19477     17 |      912 |      880
382.23/382.32	c  382s |      16 |   289117 |   184552 |    19477     17 |      912 |      880
384.43/384.51	c  384s |      16 |   289750 |   185152 |    19477     17 |      912 |      880
386.73/386.81	c  386s |      16 |   290385 |   185752 |    19477     17 |      912 |      880
389.03/389.15	c  388s |      16 |   291003 |   186352 |    19477     17 |      912 |      880
391.13/391.22	c  390s |      16 |   291523 |   186852 |    19477     17 |      912 |      880
393.33/393.48	c  393s |      16 |   292159 |   187452 |    19477     17 |      912 |      880
395.73/395.80	c  395s |      16 |   292781 |   188052 |    19477     17 |      912 |      880
397.83/397.98	c  397s |      16 |   293761 |   188952 |    19477     18 |      912 |      880
400.03/400.16	c  399s |      16 |   294841 |   189952 |    19477     18 |      912 |      880
402.23/402.31	c  402s |      16 |   295833 |   190852 |    19477     18 |      912 |      880
404.33/404.44	c  404s |      16 |   296796 |   191752 |    19477     18 |      912 |      880
406.43/406.52	c  406s |      16 |   297740 |   192652 |    19477     18 |      912 |      880
408.63/408.71	c  408s |      16 |   298562 |   193452 |    19477     18 |      912 |      880
410.83/410.92	c  410s |      16 |   299417 |   194252 |    19477     18 |      912 |      880
413.13/413.23	c  412s |      16 |   300275 |   195052 |    19477     18 |      912 |      880
415.23/415.33	c  415s |      16 |   301010 |   195752 |    19477     18 |      912 |      880
417.33/417.40	c  417s |      16 |   301759 |   196452 |    21425     18 |      912 |      880
419.43/419.51	c  419s |      16 |   302505 |   197152 |    21425     18 |      912 |      880
420.33/420.44	c  420s |      17 |   302812 |   197432 |    21425     18 |      912 |      880
422.43/422.55	c  422s |      17 |   308417 |   199232 |    21425     18 |      912 |      880
424.53/424.66	c  424s |      17 |   310735 |   200832 |    21425     18 |      912 |      880
426.62/426.79	c  426s |      17 |   312273 |   201932 |    21425     19 |      912 |      880
428.72/428.80	c  428s |      17 |   313643 |   203032 |    21425     19 |      912 |      880
430.92/431.06	c  430s |      17 |   315214 |   204232 |    21425     19 |      912 |      880
432.92/433.08	c  432s |      17 |   316333 |   205132 |    21425     19 |      912 |      880
435.02/435.14	c  434s |      17 |   317750 |   206232 |    21425     19 |      912 |      880
437.22/437.32	c  437s |      17 |   319149 |   207332 |    21425     19 |      912 |      880
439.32/439.42	c  439s |      17 |   320656 |   208432 |    21425     19 |      912 |      880
441.42/441.59	c  441s |      17 |   322022 |   209532 |    21425     19 |      912 |      880
443.52/443.64	c  443s |      17 |   323261 |   210532 |    21425     19 |      912 |      880
445.72/445.84	c  445s |      17 |   324328 |   211432 |    21425     19 |      912 |      880
448.02/448.11	c  447s |      17 |   325254 |   212232 |    21425     19 |      912 |      880
450.02/450.16	c  449s |      17 |   326214 |   213032 |    21425     19 |      912 |      880
452.22/452.40	c  452s |      17 |   327165 |   213832 |    21425     20 |      912 |      880
454.52/454.62	c  454s |      17 |   328212 |   214732 |    21425     20 |      912 |      880
456.62/456.74	c  456s |      17 |   329199 |   215532 |    21425     20 |      912 |      880
458.73/458.82	c  458s |      17 |   330025 |   216232 |    21425     20 |      912 |      880
460.83/460.94	c  460s |      17 |   330932 |   216932 |    21425     20 |      912 |      880
462.82/462.99	c  462s |      17 |   331877 |   217732 |    21425     20 |      912 |      880
465.02/465.10	c  464s |      17 |   332901 |   218532 |    21425     20 |      912 |      880
467.02/467.11	c  466s |      17 |   333737 |   219232 |    21425     20 |      912 |      880
469.22/469.35	c  469s |      17 |   334519 |   219932 |    21425     20 |      912 |      880
471.52/471.64	c  471s |      17 |   335483 |   220632 |    21425     20 |      912 |      880
473.62/473.77	c  473s |      17 |   336222 |   221232 |    21425     20 |      912 |      880
475.72/475.83	c  475s |      17 |   336977 |   221832 |    21425     20 |      912 |      880
477.92/478.01	c  477s |      17 |   337683 |   222432 |    21425     20 |      912 |      880
479.92/480.04	c  479s |      17 |   338421 |   223032 |    21425     20 |      912 |      880
482.31/482.48	c  482s |      17 |   339013 |   223532 |    21425     20 |      912 |      880
484.31/484.49	c  484s |      17 |   339637 |   224032 |    21425     20 |      912 |      880
486.61/486.70	c  486s |      17 |   340370 |   224632 |    21425     20 |      912 |      880
488.71/488.85	c  488s |      17 |   340936 |   225132 |    21425     20 |      912 |      880
490.91/491.00	c  490s |      17 |   341544 |   225632 |    21425     20 |      912 |      880
493.41/493.59	c  493s |      17 |   341987 |   226032 |    21425     21 |      912 |      880
495.61/495.70	c  495s |      17 |   342683 |   226632 |    21425     21 |      912 |      880
497.91/498.03	c  497s |      17 |   343512 |   227332 |    21425     21 |      912 |      880
499.91/500.09	c  499s |      17 |   344057 |   227832 |    21425     21 |      912 |      880
502.31/502.42	c  502s |      17 |   344726 |   228432 |    21425     21 |      912 |      880
504.31/504.44	c  504s |      17 |   345308 |   228932 |    21425     21 |      912 |      880
506.41/506.50	c  506s |      17 |   345996 |   229532 |    21425     21 |      912 |      880
508.41/508.53	c  508s |      17 |   346549 |   230032 |    21425     21 |      912 |      880
510.42/510.55	c  510s |      17 |   347779 |   230832 |    21425     21 |      912 |      880
512.41/512.58	c  512s |      17 |   348637 |   231532 |    21425     21 |      912 |      880
514.51/514.63	c  514s |      17 |   349448 |   232232 |    21425     21 |      912 |      880
516.61/516.73	c  516s |      17 |   350486 |   233032 |    21425     21 |      912 |      880
518.81/518.92	c  518s |      17 |   351774 |   233932 |    21425     21 |      912 |      880
520.91/521.05	c  520s |      17 |   352764 |   234732 |    21425     21 |      912 |      880
522.91/523.05	c  522s |      17 |   353601 |   235432 |    21425     21 |      912 |      880
525.11/525.20	c  524s |      17 |   354699 |   236332 |    21425     21 |      912 |      880
527.21/527.30	c  527s |      17 |   355568 |   237032 |    21425     21 |      912 |      880
529.31/529.43	c  529s |      17 |   356722 |   237932 |    21425     21 |      912 |      880
531.51/531.64	c  531s |      17 |   357585 |   238632 |    21425     22 |      912 |      880
533.81/533.93	c  533s |      17 |   358562 |   239432 |    21425     22 |      912 |      880
535.81/535.96	c  535s |      17 |   359508 |   240232 |    21425     22 |      912 |      880
537.92/538.01	c  537s |      17 |   360454 |   241032 |    21425     22 |      912 |      880
540.11/540.21	c  539s |      17 |   361551 |   241932 |    21425     22 |      912 |      880
542.21/542.32	c  542s |      17 |   362393 |   242632 |    21425     22 |      912 |      880
544.41/544.55	c  544s |      17 |   363318 |   243432 |    21425     22 |      912 |      880
546.61/546.76	c  546s |      17 |   364243 |   244132 |    21425     22 |      912 |      880
548.70/548.87	c  548s |      17 |   365077 |   244832 |    21425     22 |      912 |      880
550.70/550.87	c  550s |      17 |   365771 |   245432 |    21425     22 |      912 |      880
552.90/553.01	c  552s |      17 |   366503 |   246032 |    21425     22 |      912 |      880
555.20/555.35	c  555s |      17 |   367524 |   246832 |    21425     22 |      912 |      880
557.50/557.68	c  557s |      17 |   368385 |   247532 |    21425     22 |      912 |      880
559.60/559.74	c  559s |      17 |   369115 |   248132 |    21425     22 |      912 |      880
561.80/561.90	c  561s |      17 |   370008 |   248832 |    21425     22 |      912 |      880
563.91/564.00	c  563s |      17 |   370826 |   249532 |    21425     22 |      912 |      880
566.01/566.10	c  565s |      17 |   371711 |   250232 |    21425     22 |      912 |      880
568.51/568.69	c  568s |      17 |   372427 |   250832 |    21425     23 |      912 |      880
570.71/570.86	c  570s |      17 |   373546 |   251732 |    21425     23 |      912 |      880
573.02/573.12	c  572s |      17 |   374607 |   252632 |    21425     23 |      912 |      880
575.10/575.21	c  574s |      17 |   375665 |   253432 |    21425     23 |      912 |      880
577.20/577.39	c  577s |      17 |   376658 |   254232 |    21425     23 |      912 |      880
579.40/579.51	c  579s |      17 |   377935 |   255132 |    21425     23 |      912 |      880
581.50/581.63	c  581s |      17 |   379221 |   256132 |    21425     23 |      912 |      880
583.60/583.71	c  583s |      17 |   380171 |   256932 |    21425     23 |      912 |      880
585.60/585.79	c  585s |      17 |   381332 |   257732 |    21425     23 |      912 |      880
587.70/587.83	c  587s |      17 |   382424 |   258532 |    21425     23 |      912 |      880
589.80/589.98	c  589s |      17 |   383281 |   259232 |    21425     23 |      912 |      880
591.90/592.06	c  591s |      17 |   384109 |   259832 |    21425     23 |      912 |      880
594.01/594.18	c  593s |      17 |   384800 |   260432 |    21425     23 |      912 |      880
596.50/596.66	c  596s |      17 |   385460 |   261032 |    21425     23 |      912 |      880
598.60/598.76	c  598s |      17 |   386007 |   261532 |    21425     23 |      912 |      880
600.80/600.98	c  600s |      17 |   386583 |   262032 |    21425     23 |      912 |      880
602.90/603.08	c  602s |      17 |   387355 |   262632 |    21425     23 |      912 |      880
605.01/605.19	c  604s |      17 |   388135 |   263232 |    21425     23 |      912 |      880
607.60/607.70	c  607s |      17 |   388970 |   263932 |    21425     24 |      912 |      880
609.80/609.94	c  609s |      17 |   389937 |   264732 |    21425     24 |      912 |      880
611.90/612.05	c  611s |      17 |   391742 |   265732 |    21425     24 |      912 |      880
614.10/614.25	c  613s |      17 |   393101 |   266732 |    21425     24 |      912 |      880
616.30/616.43	c  616s |      17 |   394052 |   267532 |    21425     24 |      912 |      880
618.50/618.61	c  618s |      17 |   394885 |   268232 |    21425     24 |      912 |      880
620.59/620.73	c  620s |      17 |   395698 |   268932 |    21425     24 |      912 |      880
622.79/622.97	c  622s |      17 |   396397 |   269532 |    21425     24 |      912 |      880
624.89/625.06	c  624s |      17 |   397543 |   270332 |    21425     24 |      912 |      880
626.90/627.08	c  626s |      17 |   398396 |   271032 |    21425     24 |      912 |      880
629.20/629.34	c  629s |      17 |   399196 |   271732 |    21425     24 |      912 |      880
631.30/631.41	c  631s |      17 |   399863 |   272332 |    21425     24 |      912 |      880
633.29/633.42	c  633s |      17 |   400556 |   272932 |    21425     24 |      912 |      880
635.29/635.44	c  635s |      17 |   401335 |   273632 |    21425     24 |      912 |      880
637.29/637.47	c  637s |      17 |   402014 |   274232 |    21425     24 |      912 |      880
639.39/639.53	c  639s |      17 |   402681 |   274832 |    21425     24 |      912 |      880
641.39/641.57	c  641s |      17 |   403344 |   275432 |    21425     24 |      912 |      880
643.69/643.86	c  643s |      17 |   404136 |   276132 |    21425     25 |      912 |      880
645.89/646.04	c  645s |      17 |   404913 |   276832 |    21425     25 |      912 |      880
648.19/648.33	c  648s |      17 |   405717 |   277532 |    21425     25 |      912 |      880
650.39/650.58	c  650s |      17 |   406490 |   278232 |    21425     25 |      912 |      880
652.49/652.67	c  652s |      17 |   407399 |   278932 |    21425     25 |      912 |      880
654.79/654.97	c  654s |      17 |   408556 |   279832 |    21425     25 |      912 |      880
656.89/657.06	c  656s |      17 |   409688 |   280732 |    21425     25 |      912 |      880
658.99/659.13	c  658s |      17 |   410461 |   281432 |    21425     25 |      912 |      880
661.39/661.57	c  661s |      17 |   411211 |   282132 |    21425     25 |      912 |      880
663.59/663.71	c  663s |      17 |   412140 |   282832 |    21425     25 |      912 |      880
665.69/665.86	c  665s |      17 |   413040 |   283532 |    21425     25 |      912 |      880
667.89/668.00	c  667s |      17 |   413742 |   284132 |    21425     25 |      912 |      880
669.99/670.11	c  669s |      17 |   414426 |   284732 |    21425     25 |      912 |      880
672.29/672.44	c  672s |      17 |   415118 |   285332 |    21425     25 |      912 |      880
674.59/674.77	c  674s |      17 |   415808 |   285932 |    21425     25 |      912 |      880
676.79/676.90	c  676s |      17 |   416341 |   286432 |    21425     25 |      912 |      880
678.89/679.02	c  678s |      17 |   416952 |   286932 |    21425     25 |      912 |      880
680.99/681.15	c  680s |      17 |   417539 |   287432 |    21425     25 |      912 |      880
683.39/683.52	c  683s |      17 |   418140 |   287932 |    21425     26 |      912 |      880
685.39/685.53	c  685s |      17 |   419140 |   288632 |    21425     26 |      912 |      880
687.69/687.84	c  687s |      17 |   420440 |   289632 |    21425     26 |      912 |      880
689.89/690.01	c  689s |      17 |   421534 |   290532 |    21425     26 |      912 |      880
691.90/692.05	c  691s |      17 |   422459 |   291332 |    21425     26 |      912 |      880
693.99/694.14	c  693s |      17 |   423408 |   292132 |    21425     26 |      912 |      880
695.99/696.15	c  695s |      17 |   424393 |   292932 |    21425     26 |      912 |      880
698.18/698.36	c  698s |      17 |   425558 |   293732 |    21425     26 |      912 |      880
700.48/700.67	c  700s |      17 |   426636 |   294632 |    23568     26 |      912 |      880
702.58/702.78	c  702s |      17 |   427566 |   295432 |    23568     26 |      912 |      880
704.88/705.03	c  704s |      17 |   428363 |   296132 |    23568     26 |      912 |      880
705.28/705.48	c  705s |      18 |   428492 |   296252 |    23568     26 |      912 |      880
707.38/707.51	c  707s |      18 |   436992 |   298152 |    23568     26 |      912 |      880
709.39/709.57	c  709s |      18 |   438840 |   299652 |    23568     26 |      912 |      880
711.48/711.69	c  711s |      18 |   440912 |   301352 |    23568     26 |      912 |      880
713.68/713.81	c  713s |      18 |   442238 |   302452 |    23568     27 |      912 |      880
715.68/715.81	c  715s |      18 |   443624 |   303652 |    23568     27 |      912 |      880
717.78/717.94	c  717s |      18 |   445002 |   304852 |    23568     27 |      912 |      880
719.88/720.04	c  719s |      18 |   446304 |   305952 |    23568     27 |      912 |      880
721.98/722.17	c  721s |      18 |   447610 |   307052 |    23568     27 |      912 |      880
724.18/724.31	c  724s |      18 |   449027 |   308152 |    23568     27 |      912 |      880
726.38/726.52	c  726s |      18 |   450083 |   309052 |    23568     27 |      912 |      880
728.37/728.56	c  728s |      18 |   451095 |   309952 |    23568     27 |      912 |      880
730.38/730.56	c  730s |      18 |   452125 |   310852 |    23568     27 |      912 |      880
732.58/732.77	c  732s |      18 |   453212 |   311852 |    23568     27 |      912 |      880
734.57/734.80	c  734s |      18 |   457423 |   313252 |    23568     27 |      912 |      880
736.67/736.88	c  736s |      18 |   461667 |   314952 |    23568     28 |      912 |      880
738.87/739.00	c  738s |      18 |   463972 |   316452 |    23568     28 |      912 |      880
740.97/741.13	c  740s |      18 |   465595 |   317752 |    23568     28 |      912 |      880
742.97/743.14	c  742s |      18 |   468904 |   319152 |    23568     28 |      912 |      880
745.07/745.21	c  744s |      18 |   474817 |   321452 |    23568     28 |      912 |      880
747.17/747.35	c  747s |      18 |   478393 |   323352 |    23568     28 |      912 |      880
749.26/749.42	c  749s |      18 |   480408 |   324752 |    23568     28 |      912 |      880
751.27/751.43	c  751s |      18 |   482399 |   325952 |    23568     28 |      912 |      880
753.37/753.56	c  753s |      18 |   485131 |   327552 |    23568     28 |      912 |      880
755.46/755.62	c  755s |      18 |   488062 |   328952 |    23568     29 |      912 |      880
757.56/757.79	c  757s |      18 |   489811 |   330252 |    23568     29 |      912 |      880
759.76/759.94	c  759s |      18 |   491424 |   331452 |    23568     29 |      912 |      880
761.76/761.99	c  761s |      18 |   492958 |   332652 |    23568     29 |      912 |      880
763.86/764.02	c  763s |      18 |   494266 |   333652 |    23568     29 |      912 |      880
765.86/766.06	c  765s |      18 |   496212 |   334852 |    23568     29 |      912 |      880
767.96/768.14	c  767s |      18 |   497566 |   335852 |    23568     29 |      912 |      880
770.06/770.27	c  770s |      18 |   498842 |   336852 |    23568     29 |      912 |      880
772.26/772.46	c  772s |      18 |   500188 |   337852 |    23568     29 |      912 |      880
774.46/774.64	c  774s |      18 |   501504 |   338852 |    23568     29 |      912 |      880
776.47/776.69	c  776s |      18 |   502607 |   339752 |    23568     29 |      912 |      880
778.77/778.93	c  778s |      18 |   503865 |   340752 |    23568     29 |      912 |      880
780.97/781.13	c  780s |      18 |   504670 |   341452 |    23568     30 |      912 |      880
782.96/783.17	c  782s |      18 |   505699 |   342252 |    23568     30 |      912 |      880
785.26/785.44	c  785s |      18 |   506936 |   343252 |    23568     30 |      912 |      880
787.35/787.60	c  787s |      18 |   507864 |   344052 |    23568     30 |      912 |      880
789.46/789.62	c  789s |      18 |   508664 |   344752 |    23568     30 |      912 |      880
791.66/791.86	c  791s |      18 |   509675 |   345552 |    23568     30 |      912 |      880
793.86/794.07	c  793s |      18 |   510764 |   346452 |    23568     30 |      912 |      880
796.16/796.31	c  796s |      18 |   511766 |   347352 |    23568     30 |      912 |      880
798.36/798.55	c  798s |      18 |   512707 |   348152 |    23568     30 |      912 |      880
800.67/800.81	c  800s |      18 |   513562 |   348852 |    23568     30 |      912 |      880
802.66/802.86	c  802s |      18 |   514480 |   349552 |    23568     30 |      912 |      880
804.86/805.05	c  804s |      18 |   515490 |   350352 |    23568     30 |      912 |      880
807.06/807.28	c  807s |      18 |   516370 |   351052 |    23568     30 |      912 |      880
809.25/809.41	c  809s |      18 |   517074 |   351652 |    23568     30 |      912 |      880
811.25/811.48	c  811s |      18 |   517647 |   352152 |    23568     30 |      912 |      880
813.65/813.84	c  813s |      18 |   518320 |   352752 |    23568     30 |      912 |      880
815.75/815.94	c  815s |      18 |   519036 |   353352 |    23568     30 |      912 |      880
818.05/818.20	c  817s |      18 |   519953 |   354052 |    23568     30 |      912 |      880
820.15/820.35	c  820s |      18 |   520704 |   354652 |    23568     31 |      912 |      880
822.45/822.60	c  822s |      18 |   521532 |   355352 |    23568     31 |      912 |      880
824.45/824.64	c  824s |      18 |   522323 |   356052 |    23568     31 |      912 |      880
826.75/826.99	c  826s |      18 |   523000 |   356652 |    23568     31 |      912 |      880
829.04/829.26	c  829s |      18 |   523675 |   357252 |    23568     31 |      912 |      880
831.14/831.30	c  831s |      18 |   524484 |   357952 |    23568     31 |      912 |      880
833.14/833.30	c  833s |      18 |   525329 |   358652 |    23568     31 |      912 |      880
835.34/835.55	c  835s |      18 |   526166 |   359352 |    23568     31 |      912 |      880
837.44/837.62	c  837s |      18 |   527660 |   360052 |    23568     31 |      912 |      880
839.54/839.71	c  839s |      18 |   528730 |   361052 |    23568     31 |      912 |      880
841.53/841.72	c  841s |      18 |   529683 |   361952 |    23568     31 |      912 |      880
843.54/843.74	c  843s |      18 |   530766 |   362852 |    23568     31 |      912 |      880
845.63/845.81	c  845s |      18 |   532596 |   364352 |    23568     31 |      912 |      880
847.73/847.94	c  847s |      18 |   535222 |   365552 |    23568     31 |      912 |      880
849.92/850.15	c  849s |      18 |   536361 |   366452 |    23568     31 |      912 |      880
852.12/852.33	c  852s |      18 |   537322 |   367252 |    23568     31 |      912 |      880
854.12/854.39	c  854s |      18 |   538066 |   367852 |    23568     32 |      912 |      880
856.32/856.54	c  856s |      18 |   539660 |   368952 |    23568     32 |      912 |      880
858.42/858.67	c  858s |      18 |   542625 |   370452 |    23568     32 |      912 |      880
860.62/860.87	c  860s |      18 |   543947 |   371452 |    23568     32 |      912 |      880
862.81/863.07	c  862s |      18 |   545483 |   372552 |    23568     32 |      912 |      880
865.01/865.27	c  865s |      18 |   546553 |   373452 |    23568     32 |      912 |      880
867.21/867.48	c  867s |      18 |   547493 |   374252 |    23568     32 |      912 |      880
869.41/869.62	c  869s |      18 |   548915 |   375252 |    23568     32 |      912 |      880
871.51/871.79	c  871s |      18 |   550187 |   376252 |    23568     32 |      912 |      880
873.61/873.81	c  873s |      18 |   551235 |   377052 |    23568     32 |      912 |      880
875.61/875.89	c  875s |      18 |   552263 |   377852 |    23568     32 |      912 |      880
877.81/878.06	c  877s |      18 |   553230 |   378652 |    23568     32 |      912 |      880
880.11/880.30	c  880s |      18 |   554278 |   379452 |    23568     32 |      912 |      880
882.21/882.47	c  882s |      18 |   555254 |   380252 |    23568     32 |      912 |      880
884.41/884.67	c  884s |      18 |   556219 |   381052 |    23568     32 |      912 |      880
886.61/886.84	c  886s |      18 |   557071 |   381752 |    23568     33 |      912 |      880
888.71/888.94	c  888s |      18 |   558036 |   382552 |    23568     33 |      912 |      880
890.91/891.14	c  890s |      18 |   559076 |   383452 |    23568     33 |      912 |      880
892.90/893.16	c  892s |      18 |   560092 |   384252 |    23568     33 |      912 |      880
895.00/895.27	c  895s |      18 |   561227 |   385152 |    23568     33 |      912 |      880
897.20/897.45	c  897s |      18 |   562177 |   385952 |    23568     33 |      912 |      880
899.20/899.49	c  899s |      18 |   563030 |   386652 |    23568     33 |      912 |      880
901.40/901.63	c  901s |      18 |   564001 |   387452 |    23568     33 |      912 |      880
903.40/903.65	c  903s |      18 |   564870 |   388152 |    23568     33 |      912 |      880
905.50/905.71	c  905s |      18 |   565719 |   388852 |    23568     33 |      912 |      880
907.60/907.84	c  907s |      18 |   566582 |   389552 |    23568     33 |      912 |      880
909.79/910.06	c  909s |      18 |   567413 |   390252 |    23568     33 |      912 |      880
911.89/912.18	c  911s |      18 |   568252 |   390952 |    23568     33 |      912 |      880
914.29/914.51	c  914s |      18 |   569208 |   391752 |    23568     33 |      912 |      880
916.29/916.52	c  916s |      18 |   570086 |   392452 |    23568     33 |      912 |      880
918.30/918.53	c  918s |      18 |   570919 |   393152 |    23568     33 |      912 |      880
920.29/920.56	c  920s |      18 |   571603 |   393752 |    23568     33 |      912 |      880
922.49/922.77	c  922s |      18 |   572256 |   394352 |    23568     33 |      912 |      880
924.69/924.95	c  924s |      18 |   572940 |   394952 |    23568     34 |      912 |      880
926.79/927.09	c  926s |      18 |   573866 |   395752 |    23568     34 |      912 |      880
928.89/929.12	c  928s |      18 |   574659 |   396452 |    23568     34 |      912 |      880
930.99/931.23	c  930s |      18 |   575494 |   397152 |    23568     34 |      912 |      880
933.09/933.35	c  933s |      18 |   576438 |   397952 |    23568     34 |      912 |      880
935.09/935.38	c  935s |      18 |   577214 |   398652 |    23568     34 |      912 |      880
937.39/937.66	c  937s |      18 |   578034 |   399352 |    23568     34 |      912 |      880
939.49/939.73	c  939s |      18 |   578841 |   400052 |    23568     34 |      912 |      880
941.79/942.01	c  941s |      18 |   579648 |   400752 |    23568     34 |      912 |      880
943.89/944.13	c  943s |      18 |   580485 |   401452 |    23568     34 |      912 |      880
945.90/946.17	c  945s |      18 |   581159 |   402052 |    23568     34 |      912 |      880
948.18/948.46	c  948s |      18 |   581981 |   402752 |    23568     34 |      912 |      880
950.29/950.58	c  950s |      18 |   582694 |   403352 |    23568     34 |      912 |      880
952.58/952.88	c  952s |      18 |   583373 |   403952 |    23568     34 |      912 |      880
954.88/955.16	c  954s |      18 |   584043 |   404552 |    23568     34 |      912 |      880
957.18/957.41	c  957s |      18 |   584719 |   405152 |    23568     34 |      912 |      880
959.38/959.62	c  959s |      18 |   585395 |   405752 |    23568     34 |      912 |      880
961.48/961.75	c  961s |      18 |   586419 |   406452 |    23568     34 |      912 |      880
963.58/963.84	c  963s |      18 |   587664 |   407252 |    23568     34 |      912 |      880
965.98/966.29	c  966s |      18 |   588846 |   408052 |    23568     35 |      912 |      880
968.18/968.44	c  968s |      18 |   590398 |   409152 |    23568     35 |      912 |      880
970.28/970.59	c  970s |      18 |   591737 |   410152 |    23568     35 |      912 |      880
972.38/972.66	c  972s |      18 |   592964 |   411052 |    23568     35 |      912 |      880
974.58/974.81	c  974s |      18 |   594010 |   411852 |    23568     35 |      912 |      880
976.59/976.87	c  976s |      18 |   595029 |   412652 |    23568     35 |      912 |      880
978.78/979.04	c  978s |      18 |   595836 |   413352 |    23568     35 |      912 |      880
980.98/981.23	c  980s |      18 |   596675 |   414052 |    23568     35 |      912 |      880
982.97/983.25	c  982s |      18 |   597727 |   414852 |    23568     35 |      912 |      880
985.17/985.40	c  985s |      18 |   598754 |   415652 |    23568     35 |      912 |      880
987.26/987.57	c  987s |      18 |   599720 |   416452 |    23568     35 |      912 |      880
989.36/989.66	c  989s |      18 |   600552 |   417152 |    23568     35 |      912 |      880
991.46/991.75	c  991s |      18 |   601539 |   417952 |    23568     35 |      912 |      880
993.46/993.76	c  993s |      18 |   602452 |   418652 |    23568     35 |      912 |      880
995.66/995.92	c  995s |      18 |   603302 |   419352 |    23568     35 |      912 |      880
997.86/998.16	c  997s |      18 |   604322 |   420152 |    23568     35 |      912 |      880
999.96/1000.28	c 1000s |      18 |   605026 |   420752 |    23568     35 |      912 |      880
1002.35/1002.65	c 1002s |      18 |   605905 |   421452 |    23568     36 |      912 |      880
1004.35/1004.69	c 1004s |      18 |   607029 |   422352 |    23568     36 |      912 |      880
1006.55/1006.87	c 1006s |      18 |   608160 |   423252 |    23568     36 |      912 |      880
1008.75/1009.02	c 1008s |      18 |   609320 |   424152 |    23568     36 |      912 |      880
1010.85/1011.13	c 1010s |      18 |   610275 |   424952 |    23568     36 |      912 |      880
1013.05/1013.32	c 1013s |      18 |   611187 |   425752 |    23568     36 |      912 |      880
1015.06/1015.32	c 1015s |      18 |   612157 |   426552 |    23568     36 |      912 |      880
1017.25/1017.60	c 1017s |      18 |   613133 |   427352 |    23568     36 |      912 |      880
1019.45/1019.76	c 1019s |      18 |   613960 |   428052 |    23568     36 |      912 |      880
1021.54/1021.83	c 1021s |      18 |   614792 |   428752 |    23568     36 |      912 |      880
1023.85/1024.17	c 1023s |      18 |   615754 |   429552 |    23568     36 |      912 |      880
1026.16/1026.44	c 1026s |      18 |   616562 |   430252 |    23568     36 |      912 |      880
1028.26/1028.57	c 1028s |      18 |   617245 |   430852 |    23568     36 |      912 |      880
1030.46/1030.77	c 1030s |      18 |   618093 |   431552 |    23568     36 |      912 |      880
1032.55/1032.87	c 1032s |      18 |   618795 |   432152 |    23568     36 |      912 |      880
1034.65/1034.91	c 1034s |      18 |   619497 |   432752 |    23568     36 |      912 |      880
1036.75/1037.08	c 1036s |      18 |   620193 |   433352 |    23568     36 |      912 |      880
1038.95/1039.24	c 1038s |      18 |   621035 |   434052 |    23568     36 |      912 |      880
1041.65/1041.91	c 1041s |      18 |   621716 |   434652 |    23568     37 |      912 |      880
1043.66/1043.94	c 1043s |      18 |   622699 |   435452 |    23568     37 |      912 |      880
1045.75/1046.10	c 1045s |      18 |   623617 |   436252 |    23568     37 |      912 |      880
1048.05/1048.35	c 1048s |      18 |   624551 |   437052 |    23568     37 |      912 |      880
1050.14/1050.40	c 1050s |      18 |   625489 |   437852 |    23568     37 |      912 |      880
1052.14/1052.43	c 1052s |      18 |   626315 |   438552 |    23568     37 |      912 |      880
1054.34/1054.65	c 1054s |      18 |   627438 |   439452 |    23568     37 |      912 |      880
1056.44/1056.78	c 1056s |      18 |   628521 |   440352 |    23568     37 |      912 |      880
1058.64/1058.91	c 1058s |      18 |   629472 |   441152 |    23568     37 |      912 |      880
1060.84/1061.19	c 1060s |      18 |   630403 |   441952 |    25925     37 |      912 |      880
1063.04/1063.30	c 1063s |      18 |   631236 |   442652 |    25925     37 |      912 |      880
1065.04/1065.36	c 1065s |      18 |   632277 |   443452 |    25925     37 |      912 |      880
1067.14/1067.46	c 1067s |      18 |   633228 |   444252 |    25925     37 |      912 |      880
1067.84/1068.18	c 1067s |      19 |   633522 |   444482 |    25925     37 |      912 |      880
1069.93/1070.22	c 1069s |      19 |   641063 |   446482 |    25925     37 |      912 |      880
1072.03/1072.30	c 1072s |      19 |   643516 |   448082 |    25925     37 |      912 |      880
1074.03/1074.31	c 1074s |      19 |   645676 |   449482 |    25925     37 |      912 |      880
1076.13/1076.40	c 1076s |      19 |   647514 |   450882 |    25925     38 |      912 |      880
1078.12/1078.43	c 1078s |      19 |   651228 |   452682 |    25925     38 |      912 |      880
1080.12/1080.48	c 1080s |      19 |   652449 |   453682 |    25925     38 |      912 |      880
1082.13/1082.48	c 1082s |      19 |   653843 |   454782 |    25925     38 |      912 |      880
1084.22/1084.53	c 1084s |      19 |   654990 |   455682 |    25925     38 |      912 |      880
1086.32/1086.69	c 1086s |      19 |   656380 |   456682 |    25925     38 |      912 |      880
1088.42/1088.70	c 1088s |      19 |   657597 |   457582 |    25925     38 |      912 |      880
1090.62/1090.93	c 1090s |      19 |   658450 |   458282 |    25925     38 |      912 |      880
1092.81/1093.15	c 1092s |      19 |   659003 |   458782 |    25925     38 |      912 |      880
1094.91/1095.21	c 1094s |      19 |   659806 |   459482 |    25925     38 |      912 |      880
1097.21/1097.54	c 1097s |      19 |   660784 |   460282 |    25925     38 |      912 |      880
1099.41/1099.76	c 1099s |      19 |   661493 |   460882 |    25925     38 |      912 |      880
1101.71/1102.03	c 1101s |      19 |   662659 |   461782 |    25925     38 |      912 |      880
1103.91/1104.25	c 1103s |      19 |   663675 |   462582 |    25925     38 |      912 |      880
1106.01/1106.32	c 1106s |      19 |   664670 |   463382 |    25925     38 |      912 |      880
1108.01/1108.35	c 1108s |      19 |   665515 |   464082 |    25925     38 |      912 |      880
1110.71/1111.02	c 1110s |      19 |   666484 |   464882 |    25925     39 |      912 |      880
1112.80/1113.17	c 1112s |      19 |   667487 |   465682 |    25925     39 |      912 |      880
1115.00/1115.34	c 1115s |      19 |   668623 |   466582 |    25925     39 |      912 |      880
1117.00/1117.38	c 1117s |      19 |   669467 |   467282 |    25925     39 |      912 |      880
1119.10/1119.47	c 1119s |      19 |   670355 |   467982 |    25925     39 |      912 |      880
1121.50/1121.81	c 1121s |      19 |   671335 |   468782 |    25925     39 |      912 |      880
1123.70/1124.01	c 1123s |      19 |   672141 |   469482 |    25925     39 |      912 |      880
1125.70/1126.04	c 1125s |      19 |   672823 |   470082 |    25925     39 |      912 |      880
1128.10/1128.45	c 1128s |      19 |   673639 |   470782 |    25925     39 |      912 |      880
1130.40/1130.78	c 1130s |      19 |   674472 |   471482 |    25925     39 |      912 |      880
1132.60/1132.98	c 1132s |      19 |   675959 |   472382 |    25925     39 |      912 |      880
1134.70/1135.02	c 1134s |      19 |   676851 |   473082 |    25925     39 |      912 |      880
1136.80/1137.18	c 1136s |      19 |   678001 |   473882 |    25925     39 |      912 |      880
1139.10/1139.43	c 1139s |      19 |   678891 |   474582 |    25925     39 |      912 |      880
1141.10/1141.43	c 1141s |      19 |   679579 |   475182 |    25925     39 |      912 |      880
1143.20/1143.56	c 1143s |      19 |   680321 |   475782 |    25925     39 |      912 |      880
1145.50/1145.83	c 1145s |      19 |   681283 |   476482 |    25925     39 |      912 |      880
1147.69/1148.00	c 1147s |      19 |   682052 |   477082 |    25925     39 |      912 |      880
1149.89/1150.21	c 1149s |      19 |   682784 |   477682 |    25925     39 |      912 |      880
1151.89/1152.29	c 1152s |      19 |   683546 |   478282 |    25925     39 |      912 |      880
1153.99/1154.39	c 1154s |      19 |   684340 |   478882 |    25925     39 |      912 |      880
1156.29/1156.61	c 1156s |      19 |   684967 |   479382 |    25925     40 |      912 |      880
1158.58/1158.96	c 1158s |      19 |   685809 |   480082 |    25925     40 |      912 |      880
1160.68/1161.06	c 1160s |      19 |   686892 |   480882 |    25925     40 |      912 |      880
1162.78/1163.19	c 1162s |      19 |   687947 |   481682 |    25925     40 |      912 |      880
1164.88/1165.28	c 1165s |      19 |   688804 |   482382 |    25925     40 |      912 |      880
1167.18/1167.53	c 1167s |      19 |   689663 |   483082 |    25925     40 |      912 |      880
1169.37/1169.74	c 1169s |      19 |   690533 |   483782 |    25925     40 |      912 |      880
1171.57/1171.90	c 1171s |      19 |   691409 |   484482 |    25925     40 |      912 |      880
1173.87/1174.29	c 1174s |      19 |   692347 |   485182 |    25925     40 |      912 |      880
1175.97/1176.38	c 1176s |      19 |   693052 |   485782 |    25925     40 |      912 |      880
1178.27/1178.61	c 1178s |      19 |   693953 |   486482 |    25925     40 |      912 |      880
1180.27/1180.70	c 1180s |      19 |   694525 |   486982 |    25925     40 |      912 |      880
1182.46/1182.88	c 1182s |      19 |   695101 |   487482 |    25925     40 |      912 |      880
1184.86/1185.25	c 1184s |      19 |   695805 |   488082 |    25925     40 |      912 |      880
1187.16/1187.52	c 1187s |      19 |   696513 |   488682 |    25925     40 |      912 |      880
1189.26/1189.69	c 1189s |      19 |   697088 |   489182 |    25925     40 |      912 |      880
1191.56/1191.98	c 1191s |      19 |   697839 |   489782 |    25925     40 |      912 |      880
1193.96/1194.36	c 1194s |      19 |   698560 |   490382 |    25925     40 |      912 |      880
1196.36/1196.74	c 1196s |      19 |   699310 |   490982 |    25925     40 |      912 |      880
1198.55/1198.98	c 1198s |      19 |   699912 |   491482 |    25925     40 |      912 |      880
1200.86/1201.24	c 1200s |      19 |   700486 |   491982 |    25925     40 |      912 |      880
1203.25/1203.65	c 1203s |      19 |   701052 |   492482 |    25925     40 |      912 |      880
1205.45/1205.87	c 1205s |      19 |   701537 |   492882 |    25925     40 |      912 |      880
1207.74/1208.17	c 1207s |      19 |   702164 |   493382 |    25925     40 |      912 |      880
1210.24/1210.61	c 1210s |      19 |   702790 |   493882 |    25925     41 |      912 |      880
1212.44/1212.85	c 1212s |      19 |   703791 |   494682 |    25925     41 |      912 |      880
1214.44/1214.88	c 1214s |      19 |   704682 |   495382 |    25925     41 |      912 |      880
1216.54/1216.99	c 1216s |      19 |   705581 |   496082 |    25925     41 |      912 |      880
1218.64/1219.03	c 1218s |      19 |   706312 |   496682 |    25925     41 |      912 |      880
1220.94/1221.36	c 1221s |      19 |   707171 |   497382 |    25925     41 |      912 |      880
1222.95/1223.39	c 1223s |      19 |   708069 |   498082 |    25925     41 |      912 |      880
1225.23/1225.63	c 1225s |      19 |   708891 |   498782 |    25925     41 |      912 |      880
1227.34/1227.79	c 1227s |      19 |   709599 |   499382 |    25925     41 |      912 |      880
1229.63/1230.00	c 1229s |      19 |   710300 |   499982 |    25925     41 |      912 |      880
1231.63/1232.06	c 1231s |      19 |   710883 |   500482 |    25925     41 |      912 |      880
1233.83/1234.26	c 1234s |      19 |   711463 |   500982 |    25925     41 |      912 |      880
1235.83/1236.27	c 1236s |      19 |   712040 |   501482 |    25925     41 |      912 |      880
1238.02/1238.47	c 1238s |      19 |   712591 |   501982 |    25925     41 |      912 |      880
1240.22/1240.66	c 1240s |      19 |   713179 |   502482 |    25925     41 |      912 |      880
1242.52/1242.98	c 1242s |      19 |   713797 |   502982 |    25925     41 |      912 |      880
1244.83/1245.23	c 1244s |      19 |   714879 |   503782 |    25925     41 |      912 |      880
1246.82/1247.26	c 1247s |      19 |   716062 |   504482 |    25925     41 |      912 |      880
1249.12/1249.50	c 1249s |      19 |   717044 |   505182 |    25925     41 |      912 |      880
1251.32/1251.79	c 1251s |      19 |   717870 |   505882 |    25925     41 |      912 |      880
1253.42/1253.80	c 1253s |      19 |   718636 |   506482 |    25925     41 |      912 |      880
1255.62/1256.07	c 1255s |      19 |   719521 |   507182 |    25925     41 |      912 |      880
1257.71/1258.15	c 1257s |      19 |   720251 |   507782 |    25925     41 |      912 |      880
1260.01/1260.49	c 1260s |      19 |   720987 |   508382 |    25925     41 |      912 |      880
1262.31/1262.73	c 1262s |      19 |   721587 |   508882 |    25925     42 |      912 |      880
1264.31/1264.74	c 1264s |      19 |   722413 |   509582 |    25925     42 |      912 |      880
1266.31/1266.74	c 1266s |      19 |   723127 |   510182 |    25925     42 |      912 |      880
1268.60/1269.05	c 1268s |      19 |   723811 |   510782 |    25925     42 |      912 |      880
1270.81/1271.21	c 1270s |      19 |   724535 |   511382 |    25925     42 |      912 |      880
1273.11/1273.51	c 1273s |      19 |   725439 |   512082 |    25925     42 |      912 |      880
1275.41/1275.83	c 1275s |      19 |   726312 |   512782 |    25925     42 |      912 |      880
1277.41/1277.89	c 1277s |      19 |   727042 |   513382 |    25925     42 |      912 |      880
1279.81/1280.29	c 1280s |      19 |   727883 |   514082 |    25925     42 |      912 |      880
1282.01/1282.43	c 1282s |      19 |   728580 |   514682 |    25925     42 |      912 |      880
1284.10/1284.51	c 1284s |      19 |   729199 |   515182 |    25925     42 |      912 |      880
1286.10/1286.55	c 1286s |      19 |   729785 |   515682 |    25925     42 |      912 |      880
1288.50/1288.97	c 1288s |      19 |   730473 |   516282 |    25925     42 |      912 |      880
1290.90/1291.39	c 1291s |      19 |   731196 |   516882 |    25925     42 |      912 |      880
1293.31/1293.72	c 1293s |      19 |   731766 |   517382 |    25925     42 |      912 |      880
1295.70/1296.11	c 1295s |      19 |   732635 |   517982 |    25925     42 |      912 |      880
1297.89/1298.36	c 1298s |      19 |   733299 |   518482 |    25925     42 |      912 |      880
1300.29/1300.73	c 1300s |      19 |   734151 |   519082 |    25925     42 |      912 |      880
1302.29/1302.73	c 1302s |      19 |   734708 |   519582 |    25925     42 |      912 |      880
1304.39/1304.89	c 1304s |      19 |   735464 |   520182 |    25925     42 |      912 |      880
1306.69/1307.12	c 1306s |      19 |   736204 |   520782 |    25925     42 |      912 |      880
1308.88/1309.34	c 1309s |      19 |   736677 |   521182 |    25925     42 |      912 |      880
1311.18/1311.67	c 1311s |      19 |   737491 |   521782 |    25925     42 |      912 |      880
1313.38/1313.84	c 1313s |      19 |   738223 |   522382 |    25925     42 |      912 |      880
1315.68/1316.19	c 1315s |      19 |   738982 |   522882 |    25925     43 |      912 |      880
1317.97/1318.45	c 1318s |      19 |   740046 |   523682 |    25925     43 |      912 |      880
1320.27/1320.72	c 1320s |      19 |   740869 |   524382 |    25925     43 |      912 |      880
1322.27/1322.77	c 1322s |      19 |   741603 |   524982 |    25925     43 |      912 |      880
1324.47/1324.94	c 1324s |      19 |   742321 |   525582 |    25925     43 |      912 |      880
1326.77/1327.20	c 1326s |      19 |   743122 |   526282 |    25925     43 |      912 |      880
1329.07/1329.52	c 1329s |      19 |   743812 |   526882 |    25925     43 |      912 |      880
1331.37/1331.88	c 1331s |      19 |   744499 |   527482 |    25925     43 |      912 |      880
1333.77/1334.25	c 1333s |      19 |   745195 |   528082 |    25925     43 |      912 |      880
1335.97/1336.42	c 1336s |      19 |   745874 |   528682 |    25925     43 |      912 |      880
1337.96/1338.49	c 1338s |      19 |   746469 |   529182 |    25925     43 |      912 |      880
1340.06/1340.50	c 1340s |      19 |   747305 |   529782 |    25925     43 |      912 |      880
1342.16/1342.64	c 1342s |      19 |   748057 |   530382 |    25925     43 |      912 |      880
1344.46/1344.98	c 1344s |      19 |   748973 |   531082 |    25925     43 |      912 |      880
1346.56/1347.07	c 1346s |      19 |   749553 |   531582 |    25925     43 |      912 |      880
1348.66/1349.18	c 1348s |      19 |   750280 |   532182 |    25925     43 |      912 |      880
1350.85/1351.34	c 1351s |      19 |   750907 |   532682 |    25925     43 |      912 |      880
1353.15/1353.63	c 1353s |      19 |   751548 |   533182 |    25925     43 |      912 |      880
1355.65/1356.11	c 1355s |      19 |   752283 |   533782 |    25925     43 |      912 |      880
1357.85/1358.34	c 1358s |      19 |   752889 |   534282 |    25925     43 |      912 |      880
1360.15/1360.65	c 1360s |      19 |   753473 |   534782 |    25925     43 |      912 |      880
1362.15/1362.67	c 1362s |      19 |   753911 |   535182 |    25925     43 |      912 |      880
1364.25/1364.71	c 1364s |      19 |   754558 |   535682 |    25925     43 |      912 |      880
1366.35/1366.87	c 1366s |      19 |   755193 |   536182 |    25925     43 |      912 |      880
1368.54/1369.04	c 1368s |      19 |   755761 |   536682 |    25925     43 |      912 |      880
1370.74/1371.24	c 1370s |      19 |   756341 |   537182 |    25925     43 |      912 |      880
1373.14/1373.61	c 1373s |      19 |   756815 |   537582 |    25925     44 |      912 |      880
1375.14/1375.66	c 1375s |      19 |   757400 |   538082 |    25925     44 |      912 |      880
1377.33/1377.80	c 1377s |      19 |   758106 |   538682 |    25925     44 |      912 |      880
1379.53/1380.02	c 1379s |      19 |   758682 |   539182 |    25925     44 |      912 |      880
1381.73/1382.23	c 1381s |      19 |   759240 |   539682 |    25925     44 |      912 |      880
1384.13/1384.62	c 1384s |      19 |   759947 |   540282 |    25925     44 |      912 |      880
1386.64/1387.18	c 1386s |      19 |   760519 |   540782 |    25925     44 |      912 |      880
1388.72/1389.27	c 1389s |      19 |   761116 |   541282 |    25925     44 |      912 |      880
1391.13/1391.67	c 1391s |      19 |   761805 |   541882 |    25925     44 |      912 |      880
1393.23/1393.73	c 1393s |      19 |   762372 |   542382 |    25925     44 |      912 |      880
1395.32/1395.89	c 1395s |      19 |   762935 |   542882 |    25925     44 |      912 |      880
1397.82/1398.30	c 1398s |      19 |   763512 |   543382 |    25925     44 |      912 |      880
1399.83/1400.37	c 1400s |      19 |   764127 |   543882 |    25925     44 |      912 |      880
1402.03/1402.51	c 1402s |      19 |   764730 |   544382 |    25925     44 |      912 |      880
1404.23/1404.76	c 1404s |      19 |   765303 |   544882 |    25925     44 |      912 |      880
1406.62/1407.17	c 1406s |      19 |   765872 |   545382 |    25925     44 |      912 |      880
1408.92/1409.43	c 1409s |      19 |   766444 |   545882 |    25925     44 |      912 |      880
1411.02/1411.58	c 1411s |      19 |   766883 |   546282 |    25925     44 |      912 |      880
1413.13/1413.64	c 1413s |      19 |   767346 |   546682 |    25925     44 |      912 |      880
1415.63/1416.15	c 1415s |      19 |   767934 |   547182 |    25925     44 |      912 |      880
1418.03/1418.53	c 1418s |      19 |   768378 |   547582 |    25925     44 |      912 |      880
1420.23/1420.70	c 1420s |      19 |   768836 |   547982 |    25925     44 |      912 |      880
1422.33/1422.84	c 1422s |      19 |   769281 |   548382 |    25925     44 |      912 |      880
1424.53/1425.08	c 1424s |      19 |   769720 |   548782 |    25925     44 |      912 |      880
1427.03/1427.56	c 1427s |      19 |   770168 |   549182 |    25925     44 |      912 |      880
1429.23/1429.78	c 1429s |      19 |   770618 |   549582 |    25925     44 |      912 |      880
1431.43/1431.92	c 1431s |      19 |   771091 |   549982 |    25925     44 |      912 |      880
1433.83/1434.35	c 1434s |      19 |   771682 |   550482 |    25925     44 |      912 |      880
1436.32/1436.84	c 1436s |      19 |   772252 |   550982 |    25925     44 |      912 |      880
1438.52/1439.03	c 1438s |      19 |   772722 |   551382 |    25925     44 |      912 |      880
1441.82/1442.34	c 1442s |      19 |   773305 |   551882 |    25925     45 |      912 |      880
1443.93/1444.49	c 1444s |      19 |   773890 |   552382 |    25925     45 |      912 |      880
1446.03/1446.59	c 1446s |      19 |   774453 |   552882 |    25925     45 |      912 |      880
1448.12/1448.61	c 1448s |      19 |   775031 |   553382 |    25925     45 |      912 |      880
1450.53/1451.03	c 1450s |      19 |   775713 |   553982 |    25925     45 |      912 |      880
1452.73/1453.26	c 1453s |      19 |   776312 |   554482 |    25925     45 |      912 |      880
1454.93/1455.42	c 1455s |      19 |   776903 |   554982 |    25925     45 |      912 |      880
1457.32/1457.84	c 1457s |      19 |   777484 |   555482 |    25925     45 |      912 |      880
1459.52/1460.09	c 1459s |      19 |   778062 |   555982 |    25925     45 |      912 |      880
1461.62/1462.17	c 1461s |      19 |   778727 |   556482 |    25925     45 |      912 |      880
1464.02/1464.56	c 1464s |      19 |   779413 |   557082 |    25925     45 |      912 |      880
1466.32/1466.89	c 1466s |      19 |   779980 |   557582 |    25925     45 |      912 |      880
1468.42/1468.90	c 1468s |      19 |   780585 |   558082 |    25925     45 |      912 |      880
1470.82/1471.34	c 1471s |      19 |   781139 |   558582 |    25925     45 |      912 |      880
1472.82/1473.34	c 1473s |      19 |   781588 |   558982 |    25925     45 |      912 |      880
1475.31/1475.86	c 1475s |      19 |   782142 |   559482 |    25925     45 |      912 |      880
1477.41/1477.98	c 1477s |      19 |   782578 |   559882 |    25925     45 |      912 |      880
1479.51/1480.03	c 1479s |      19 |   783022 |   560282 |    25925     45 |      912 |      880
1481.91/1482.49	c 1482s |      19 |   783595 |   560782 |    25925     45 |      912 |      880
1484.31/1484.80	c 1484s |      19 |   784079 |   561182 |    25925     45 |      912 |      880
1486.72/1487.24	c 1486s |      19 |   784674 |   561682 |    25925     45 |      912 |      880
1489.21/1489.77	c 1489s |      19 |   785266 |   562182 |    25925     45 |      912 |      880
1491.51/1492.02	c 1491s |      19 |   785731 |   562582 |    25925     45 |      912 |      880
1493.71/1494.24	c 1493s |      19 |   786163 |   562982 |    25925     45 |      912 |      880
1496.01/1496.50	c 1496s |      19 |   786618 |   563382 |    25925     45 |      912 |      880
1498.51/1499.04	c 1498s |      19 |   787165 |   563882 |    25925     45 |      912 |      880
1500.71/1501.20	c 1500s |      19 |   787625 |   564282 |    25925     45 |      912 |      880
1503.01/1503.53	c 1503s |      19 |   788074 |   564682 |    25925     45 |      912 |      880
1505.42/1506.01	c 1505s |      19 |   788514 |   565082 |    25925     45 |      912 |      880
1507.81/1508.35	c 1508s |      19 |   788968 |   565482 |    25925     45 |      912 |      880
1510.31/1510.89	c 1510s |      19 |   789424 |   565882 |    25925     45 |      912 |      880
1512.71/1513.28	c 1513s |      19 |   789875 |   566282 |    25925     45 |      912 |      880
1515.01/1515.59	c 1515s |      19 |   790199 |   566582 |    25925     46 |      912 |      880
1517.21/1517.71	c 1517s |      19 |   790740 |   567082 |    25925     46 |      912 |      880
1519.21/1519.76	c 1519s |      19 |   791303 |   567582 |    25925     46 |      912 |      880
1521.61/1522.11	c 1521s |      19 |   791870 |   568082 |    25925     46 |      912 |      880
1523.71/1524.23	c 1523s |      19 |   792457 |   568582 |    25925     46 |      912 |      880
1526.11/1526.64	c 1526s |      19 |   793136 |   569182 |    25925     46 |      912 |      880
1528.40/1528.90	c 1528s |      19 |   793680 |   569682 |    25925     46 |      912 |      880
1530.40/1530.93	c 1530s |      19 |   794151 |   570082 |    25925     46 |      912 |      880
1532.91/1533.42	c 1533s |      19 |   794711 |   570582 |    25925     46 |      912 |      880
1535.00/1535.55	c 1535s |      19 |   795172 |   570982 |    25925     46 |      912 |      880
1537.10/1537.63	c 1537s |      19 |   795603 |   571382 |    25925     46 |      912 |      880
1539.20/1539.79	c 1539s |      19 |   796046 |   571782 |    25925     46 |      912 |      880
1541.30/1541.89	c 1541s |      19 |   796485 |   572182 |    25925     46 |      912 |      880
1543.40/1543.91	c 1543s |      19 |   796930 |   572582 |    25925     46 |      912 |      880
1545.50/1546.08	c 1545s |      19 |   797357 |   572982 |    25925     46 |      912 |      880
1547.80/1548.31	c 1548s |      19 |   797708 |   573282 |    25925     46 |      912 |      880
1550.20/1550.72	c 1550s |      19 |   798163 |   573682 |    25925     46 |      912 |      880
1552.60/1553.18	c 1552s |      19 |   798623 |   574082 |    25925     46 |      912 |      880
1554.91/1555.47	c 1555s |      19 |   799092 |   574482 |    25925     46 |      912 |      880
1557.11/1557.61	c 1557s |      19 |   799522 |   574882 |    25925     46 |      912 |      880
1559.31/1559.81	c 1559s |      19 |   799845 |   575182 |    25925     46 |      912 |      880
1561.70/1562.28	c 1562s |      19 |   800295 |   575582 |    25925     46 |      912 |      880
1564.30/1564.87	c 1564s |      19 |   800761 |   575982 |    25925     46 |      912 |      880
1566.50/1567.06	c 1566s |      19 |   801098 |   576282 |    25925     46 |      912 |      880
1568.60/1569.14	c 1568s |      19 |   801571 |   576682 |    25925     46 |      912 |      880
1570.70/1571.21	c 1570s |      19 |   802006 |   577082 |    25925     46 |      912 |      880
1573.00/1573.50	c 1573s |      19 |   802437 |   577482 |    25925     46 |      912 |      880
1575.40/1575.99	c 1575s |      19 |   802905 |   577882 |    25925     46 |      912 |      880
1577.50/1578.00	c 1577s |      19 |   803241 |   578182 |    25925     46 |      912 |      880
1579.99/1580.50	c 1580s |      19 |   803673 |   578582 |    25925     46 |      912 |      880
1582.19/1582.75	c 1582s |      19 |   804117 |   578982 |    25925     46 |      912 |      880
1584.39/1584.95	c 1584s |      19 |   804430 |   579282 |    25925     46 |      912 |      880
1586.69/1587.22	c 1586s |      19 |   804899 |   579682 |    25925     46 |      912 |      880
1588.69/1589.26	c 1589s |      19 |   805240 |   579982 |    25925     46 |      912 |      880
1591.20/1591.74	c 1591s |      19 |   805674 |   580382 |    25925     46 |      912 |      880
1593.89/1594.46	c 1594s |      19 |   806018 |   580682 |    25925     47 |      912 |      880
1595.89/1596.49	c 1596s |      19 |   806600 |   581182 |    25925     47 |      912 |      880
1598.09/1598.61	c 1598s |      19 |   807368 |   581782 |    25925     47 |      912 |      880
1600.20/1600.73	c 1600s |      19 |   808042 |   582382 |    25925     47 |      912 |      880
1602.40/1602.93	c 1602s |      19 |   808721 |   582982 |    25925     47 |      912 |      880
1604.60/1605.11	c 1604s |      19 |   809379 |   583582 |    25925     47 |      912 |      880
1606.71/1607.24	c 1606s |      19 |   809945 |   584082 |    25925     47 |      912 |      880
1608.81/1609.40	c 1609s |      19 |   810517 |   584582 |    25925     47 |      912 |      880
1611.20/1611.73	c 1611s |      19 |   811262 |   585182 |    25925     47 |      912 |      880
1613.31/1613.86	c 1613s |      19 |   811844 |   585682 |    25925     47 |      912 |      880
1615.30/1615.87	c 1615s |      19 |   812426 |   586182 |    25925     47 |      912 |      880
1617.60/1618.19	c 1617s |      19 |   813213 |   586782 |    25925     47 |      912 |      880
1619.90/1620.42	c 1620s |      19 |   813866 |   587382 |    25925     47 |      912 |      880
1622.00/1622.55	c 1622s |      19 |   814434 |   587882 |    25925     47 |      912 |      880
1624.09/1624.63	c 1624s |      19 |   815012 |   588382 |    25925     47 |      912 |      880
1626.50/1627.06	c 1626s |      19 |   815583 |   588882 |    25925     47 |      912 |      880
1628.60/1629.14	c 1628s |      19 |   816046 |   589282 |    25925     47 |      912 |      880
1630.80/1631.34	c 1631s |      19 |   816626 |   589782 |    25925     47 |      912 |      880
1633.00/1633.60	c 1633s |      19 |   817052 |   590182 |    25925     47 |      912 |      880
1635.59/1636.13	c 1635s |      19 |   817619 |   590682 |    25925     47 |      912 |      880
1637.89/1638.43	c 1638s |      19 |   818088 |   591082 |    25925     47 |      912 |      880
1639.99/1640.52	c 1640s |      19 |   818529 |   591482 |    25925     47 |      912 |      880
1642.29/1642.81	c 1642s |      19 |   818966 |   591882 |    25925     47 |      912 |      880
1644.49/1645.03	c 1644s |      19 |   819414 |   592282 |    25925     47 |      912 |      880
1646.59/1647.16	c 1646s |      19 |   819876 |   592682 |    25925     47 |      912 |      880
1648.99/1649.53	c 1649s |      19 |   820522 |   593182 |    25925     47 |      912 |      880
1651.09/1651.66	c 1651s |      19 |   820995 |   593582 |    25925     47 |      912 |      880
1653.18/1653.79	c 1653s |      19 |   821479 |   593982 |    25925     47 |      912 |      880
1655.48/1656.01	c 1655s |      19 |   821919 |   594382 |    25925     47 |      912 |      880
1657.68/1658.22	c 1657s |      19 |   822370 |   594782 |    25925     47 |      912 |      880
1659.88/1660.42	c 1660s |      19 |   822820 |   595182 |    25925     47 |      912 |      880
1661.88/1662.47	c 1662s |      19 |   823172 |   595482 |    25925     48 |      912 |      880
1664.38/1664.93	c 1664s |      19 |   823840 |   596082 |    25925     48 |      912 |      880
1666.58/1667.17	c 1666s |      19 |   824423 |   596582 |    25925     48 |      912 |      880
1668.98/1669.51	c 1669s |      19 |   824983 |   597082 |    25925     48 |      912 |      880
1671.28/1671.88	c 1671s |      19 |   825517 |   597582 |    25925     48 |      912 |      880
1673.38/1673.90	c 1673s |      19 |   825945 |   597982 |    25925     48 |      912 |      880
1675.48/1676.02	c 1675s |      19 |   826380 |   598382 |    25925     48 |      912 |      880
1677.68/1678.24	c 1677s |      19 |   826984 |   598882 |    25925     48 |      912 |      880
1679.98/1680.50	c 1680s |      19 |   827562 |   599382 |    25925     48 |      912 |      880
1682.19/1682.73	c 1682s |      19 |   828125 |   599882 |    25925     48 |      912 |      880
1684.59/1685.17	c 1684s |      19 |   828693 |   600382 |    25925     48 |      912 |      880
1686.90/1687.47	c 1687s |      19 |   829257 |   600882 |    25925     48 |      912 |      880
1689.39/1689.94	c 1689s |      19 |   829822 |   601382 |    25925     48 |      912 |      880
1691.58/1692.15	c 1691s |      19 |   830417 |   601882 |    25925     48 |      912 |      880
1693.88/1694.45	c 1694s |      19 |   830998 |   602382 |    25925     48 |      912 |      880
1695.88/1696.46	c 1696s |      19 |   831435 |   602782 |    25925     48 |      912 |      880
1698.08/1698.62	c 1698s |      19 |   831873 |   603182 |    25925     48 |      912 |      880
1700.09/1700.63	c 1700s |      19 |   832299 |   603582 |    25925     48 |      912 |      880
1702.29/1702.89	c 1702s |      19 |   832897 |   604082 |    25925     48 |      912 |      880
1704.49/1705.01	c 1704s |      19 |   833358 |   604482 |    25925     48 |      912 |      880
1706.88/1707.42	c 1707s |      19 |   833938 |   604982 |    25925     48 |      912 |      880
1709.38/1709.91	c 1709s |      19 |   834517 |   605482 |    25925     48 |      912 |      880
1711.48/1712.02	c 1711s |      19 |   834987 |   605882 |    25925     48 |      912 |      880
1713.48/1714.06	c 1713s |      19 |   835426 |   606282 |    25925     48 |      912 |      880
1715.98/1716.55	c 1716s |      19 |   835997 |   606782 |    25925     48 |      912 |      880
1718.18/1718.77	c 1718s |      19 |   836429 |   607182 |    25925     48 |      912 |      880
1720.58/1721.15	c 1720s |      19 |   836877 |   607582 |    25925     48 |      912 |      880
1722.78/1723.34	c 1723s |      19 |   837331 |   607982 |    25925     48 |      912 |      880
1724.98/1725.56	c 1725s |      19 |   837788 |   608382 |    25925     48 |      912 |      880
1727.18/1727.77	c 1727s |      19 |   838213 |   608782 |    25925     48 |      912 |      880
1729.38/1729.96	c 1729s |      19 |   838673 |   609182 |    25925     48 |      912 |      880
1731.58/1732.11	c 1731s |      19 |   839125 |   609582 |    25925     48 |      912 |      880
1733.88/1734.41	c 1734s |      19 |   839455 |   609882 |    25925     49 |      912 |      880
1735.98/1736.54	c 1736s |      19 |   840019 |   610382 |    25925     49 |      912 |      880
1738.17/1738.74	c 1738s |      19 |   840586 |   610882 |    25925     49 |      912 |      880
1740.17/1740.79	c 1740s |      19 |   841177 |   611382 |    25925     49 |      912 |      880
1742.37/1742.92	c 1742s |      19 |   841740 |   611882 |    25925     49 |      912 |      880
1744.67/1745.23	c 1744s |      19 |   842303 |   612382 |    25925     49 |      912 |      880
1747.07/1747.65	c 1747s |      19 |   842859 |   612882 |    25925     49 |      912 |      880
1749.58/1750.12	c 1749s |      19 |   843404 |   613382 |    25925     49 |      912 |      880
1751.67/1752.25	c 1751s |      19 |   843833 |   613782 |    25925     49 |      912 |      880
1753.67/1754.25	c 1753s |      19 |   844287 |   614182 |    25925     49 |      912 |      880
1755.97/1756.58	c 1756s |      19 |   844863 |   614682 |    25925     49 |      912 |      880
1758.38/1758.98	c 1758s |      19 |   845433 |   615182 |    25925     49 |      912 |      880
1760.77/1761.32	c 1761s |      19 |   845964 |   615682 |    25925     49 |      912 |      880
1762.97/1763.55	c 1763s |      19 |   846538 |   616182 |    25925     49 |      912 |      880
1764.98/1765.56	c 1765s |      19 |   846985 |   616582 |    25925     49 |      912 |      880
1766.97/1767.60	c 1767s |      19 |   847438 |   616982 |    25925     49 |      912 |      880
1769.27/1769.82	c 1769s |      19 |   847886 |   617382 |    25925     49 |      912 |      880
1771.58/1772.13	c 1771s |      19 |   848311 |   617782 |    25925     49 |      912 |      880
1773.88/1774.43	c 1774s |      19 |   848746 |   618182 |    25925     49 |      912 |      880
1776.37/1776.93	c 1776s |      19 |   849321 |   618682 |    25925     49 |      912 |      880
1778.57/1779.14	c 1778s |      19 |   849771 |   619082 |    25925     49 |      912 |      880
1780.96/1781.55	c 1781s |      19 |   850245 |   619482 |    25925     49 |      912 |      880
1783.26/1783.87	c 1783s |      19 |   851040 |   620082 |    25925     49 |      912 |      880
1785.66/1786.29	c 1786s |      19 |   851591 |   620582 |    25925     49 |      912 |      880
1787.86/1788.45	c 1788s |      19 |   852233 |   621082 |    25925     49 |      912 |      880
1789.86/1790.48	c 1790s |      19 |   852706 |   621482 |    25925     49 |      912 |      880
1792.16/1792.74	c 1792s |      19 |   853163 |   621882 |    25925     49 |      912 |      880
1794.26/1794.84	c 1794s |      19 |   853629 |   622282 |    25925     49 |      912 |      880
1796.26/1796.85	c 1796s |      19 |   854110 |   622682 |    25925     49 |      912 |      880
1798.56/1799.10	c 1798s |      19 |   854554 |   623082 |    25925     49 |      912 |      880

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

pid=3856
running on 8 cores: 0-3,8-11

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.02 2.05 2.05 3/261 3859
/proc/meminfo: memFree=30829604/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1086908 CPUtime=0 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 4120 0 0 0 0 0 0 0 20 0 4 0 30008158 1112993792 3971 33554432000 4194304 16246674 140736700905280 140736700904704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 272239 3980 441 2943 0 269133 0
[pid=3859/tid=3860] ppid=3856 vsize=1136060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1163325440 4161 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1140156 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1167519744 4180 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1144252 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30008158 1171714048 4196 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 2.02 2.05 2.05 3/261 3859
/proc/meminfo: memFree=30829604/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1220164 CPUtime=0.08 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 28278 0 0 0 5 3 0 0 20 0 4 0 30008158 1249447936 28066 33554432000 4194304 16246674 140736700905280 140736700887168 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 305041 28066 801 2943 0 301935 0
[pid=3859/tid=3860] ppid=3856 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1249447936 28066 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1249447936 28066 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1249447936 28066 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200432 s]
/proc/loadavg: 2.02 2.05 2.05 3/261 3859
/proc/meminfo: memFree=30829604/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 48485 0 0 0 12 7 0 0 20 0 4 0 30008158 1332285440 48273 33554432000 4194304 16246674 140736700905280 140736700887168 6965344 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 325265 48273 842 2943 0 322159 0
[pid=3859/tid=3860] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 48273 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 48273 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 48273 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300415 s]
/proc/loadavg: 2.02 2.05 2.05 3/261 3859
/proc/meminfo: memFree=30829604/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 50372 0 0 0 22 7 0 0 20 0 4 0 30008158 1332285440 50160 33554432000 4194304 16246674 140736700905280 140736700887168 5675357 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 325265 50163 882 2943 0 322159 0
[pid=3859/tid=3860] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 50165 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 50167 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 50170 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700394 s]
/proc/loadavg: 2.02 2.05 2.05 3/261 3859
/proc/meminfo: memFree=30829604/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 100347 0 0 0 54 15 0 0 20 0 4 0 30008158 1332285440 100135 33554432000 4194304 16246674 140736700905280 140736700887168 5661217 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 325265 100138 882 2943 0 322159 0
[pid=3859/tid=3860] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 100139 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 100141 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 100142 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50038 s]
/proc/loadavg: 2.02 2.05 2.05 3/265 3863
/proc/meminfo: memFree=30221312/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1301060 CPUtime=1.49 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 208559 0 0 0 117 32 0 0 20 0 4 0 30008158 1332285440 208347 33554432000 4194304 16246674 140736700905280 140736700887168 5532301 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 325265 208356 882 2943 0 322159 0
[pid=3859/tid=3860] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 208365 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 208370 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1332285440 208380 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.02 2.05 2.05 3/265 3863
/proc/meminfo: memFree=29753708/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 269173 0 0 0 268 41 0 0 20 0 4 0 30008158 1343819776 268961 33554432000 4194304 16246674 140736700905280 140736700887168 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 328081 268961 891 2943 0 324975 0
[pid=3859/tid=3860] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 268961 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 268961 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 268961 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.02 2.05 2.05 3/265 3863
/proc/meminfo: memFree=29752840/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 269272 0 0 0 588 41 0 0 20 0 4 0 30008158 1343819776 269060 33554432000 4194304 16246674 140736700905280 140736700887168 5754983 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 328081 269060 891 2943 0 324975 0
[pid=3859/tid=3860] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269060 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269060 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269060 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.02 2.04 2.05 3/265 3863
/proc/meminfo: memFree=29752260/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1312324 CPUtime=12.69 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 269272 0 0 0 1228 41 0 0 20 0 4 0 30008158 1343819776 269060 33554432000 4194304 16246674 140736700905280 140736700887168 13759567 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 328081 269060 891 2943 0 324975 0
[pid=3859/tid=3860] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269060 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269060 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269060 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.01 2.04 2.05 3/265 3863
/proc/meminfo: memFree=29752964/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1312324 CPUtime=25.49 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 269273 0 0 0 2508 41 0 0 20 0 4 0 30008158 1343819776 269061 33554432000 4194304 16246674 140736700905280 140736700887168 13950230 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 328081 269061 891 2943 0 324975 0
[pid=3859/tid=3860] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269061 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269061 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269061 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.01 2.04 2.05 3/265 3863
/proc/meminfo: memFree=29753216/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1312324 CPUtime=51.09 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 269274 0 0 0 5068 41 0 0 20 0 4 0 30008158 1343819776 269062 33554432000 4194304 16246674 140736700905280 140736700887168 12483568 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 328081 269062 892 2943 0 324975 0
[pid=3859/tid=3860] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269062 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269062 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1343819776 269062 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/265 3864
/proc/meminfo: memFree=29746352/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1319492 CPUtime=102.28 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 270854 0 0 0 10187 41 0 0 20 0 4 0 30008158 1351159808 270642 33554432000 4194304 16246674 140736700905280 140736700887168 5522977 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 329873 270642 892 2943 0 326767 0
[pid=3859/tid=3860] ppid=3856 vsize=1319492 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1351159808 270642 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1319492 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1351159808 270642 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1319492 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1351159808 270642 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1342020

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/265 3944
/proc/meminfo: memFree=29706436/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1342020 CPUtime=1301.89 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 277000 0 0 0 130139 50 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140736700887168 5677277 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 335505 276742 892 2943 0 332399 0
[pid=3859/tid=3860] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1342020

[startup+1362.3 s]
/proc/loadavg: 2.13 2.05 2.03 3/265 3945
/proc/meminfo: memFree=29706352/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1342020 CPUtime=1361.85 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 277045 0 0 0 136135 50 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140736700887168 12415796 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 335505 276742 892 2943 0 332399 0
[pid=3859/tid=3860] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1342020

[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.02 3/265 3947
/proc/meminfo: memFree=29706188/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1342020 CPUtime=1421.84 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 277062 0 0 0 142133 51 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140736700887168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 335505 276742 892 2943 0 332399 0
[pid=3859/tid=3860] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1342020

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/265 3948
/proc/meminfo: memFree=29706152/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1342020 CPUtime=1481.81 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 277062 0 0 0 148130 51 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140736700887168 5546098 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 335505 276742 892 2943 0 332399 0
[pid=3859/tid=3860] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1342020

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.01 3/266 3952
/proc/meminfo: memFree=29705628/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1342020 CPUtime=1541.81 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 277062 0 0 0 154130 51 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140736700887168 4221031 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 335505 276742 892 2943 0 332399 0
[pid=3859/tid=3860] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1342020

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/266 3976
/proc/meminfo: memFree=29706180/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1342020 CPUtime=1601.8 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 277062 0 0 0 160128 52 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140736700887168 13774516 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 335505 276742 892 2943 0 332399 0
[pid=3859/tid=3860] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/265 3977
/proc/meminfo: memFree=29706404/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1342020 CPUtime=1661.78 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 277062 0 0 0 166126 52 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140736700887168 12459952 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 335505 276742 892 2943 0 332399 0
[pid=3859/tid=3860] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/265 3979
/proc/meminfo: memFree=29706500/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1342020 CPUtime=1721.78 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 277062 0 0 0 172125 53 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140736700887168 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 335505 276742 892 2943 0 332399 0
[pid=3859/tid=3860] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/265 3980
/proc/meminfo: memFree=29706004/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1342020 CPUtime=1781.76 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 277062 0 0 0 178123 53 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140736700887168 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 335505 276742 892 2943 0 332399 0
[pid=3859/tid=3860] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.04 2.01 3/265 3980
/proc/meminfo: memFree=29706040/32872528 swapFree=7556/7556
[pid=3859] ppid=3856 vsize=1342020 CPUtime=1800.06 cores=0-3,8-11
/proc/3859/stat : 3859 (toysat) R 3856 3859 32495 0 -1 4202496 277062 0 0 0 179953 53 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140736700887168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3859/statm: 335505 276742 892 2943 0 332399 0
[pid=3859/tid=3860] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3860/stat : 3860 (toysat) S 3856 3859 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331084393712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3859/tid=3861] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3861/stat : 3861 (toysat) S 3856 3859 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331073903856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3859/tid=3862] ppid=3856 vsize=1342020 CPUtime=0 cores=0-3,8-11
/proc/3859/task/3862/stat : 3862 (toysat) S 3856 3859 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30008158 1374228480 276742 33554432000 4194304 16246674 140736700905280 140331063430320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1342020

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.54
CPU system time (s): 0.537918
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.537918
maximum resident set size= 1106968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277062
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= 379
involuntary context switches= 1948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71498 second user time and 9.75252 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 21:35:00
IDJOB=4116317
IDBENCH=109455
IDSOLVER=2542
FILE ID=node132/4116317-1466969700
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 21a0e500ca727a88f38c5e532822f09b
RANDOM SEED=1047798774

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30829596 kB
Buffers:           50768 kB
Cached:           185412 kB
SwapCached:         1784 kB
Active:          1155924 kB
Inactive:         172024 kB
Active(anon):    1092568 kB
Inactive(anon):     1780 kB
Active(file):      63356 kB
Inactive(file):   170244 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16964 kB
Writeback:             0 kB
AnonPages:       1196204 kB
Mapped:            10956 kB
Shmem:                 0 kB
Slab:             571392 kB
SReclaimable:      11952 kB
SUnreclaim:       559440 kB
KernelStack:        2240 kB
PageTables:         6684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1242224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1181696 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= 71496 MiB
End job on node132 at 2016-06-26 22:05:01