Trace number 4116077

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.03 1800.51

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-27T00:12:42+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-4116077-1466979161.opb"]
0.00/0.01	c use --random-gen="1144309772 1612723520 1676448413 2808661403 2868779110 2434355466 3334539711 3159912219 2002421657 740996792 2458650790 649324826 2126191217 1150125013 767440786 3099439339 1291345116 2674788338 3199082526 510753072 2023716852 1654339211 143635824 1927245021 1881426815 3322273431 787374219 2099058508 2061409958 2009200349 3982845814 3865025731 1500597262 3419748819 3084225134 678796051 3658847615 2118091787 2077057585 1773675832 142446384 1354306312 4085578694 2881188546 1704571083 769188240 925464507 1798691440 2501280223 3311917406 3552813717 3740915772 3481282258 2071396602 2941524365 796572461 3009007463 1665709304 3953999816 885635449 160306072 1560426957 785595068 1196848376 1969954053 2173316483 2649426415 1312132603 2404332353 1634531826 1396541892 2832483768 2625875310 565252882 83912098 2345860882 2900588148 1891141342 1981067721 3921505063 3382234665 3743195883 2440934600 2219063634 3575301636 100632503 1615818685 3701782291 697984412 1678161897 3655435173 1849007324 1348952334 365720965 2901960611 1737628783 4169131117 3115962818 2059205714 3833311864 3279793714 3881576048 4289969472 4279210753 2385811105 2365673789 4008493109 504090168 4015286787 2631121397 2004100434 3507457293 1063399748 997520238 3593762283 3536745618 1301829575 2731793911 2073115656 1777374570 3626589443 280844928 3943610473 951697649 1366777958 2336735125 500358139 2219169153 3208598248 3890441095 2514596990 4227325626 2331186923 3030116074 3864944730 420723544 2028494232 669854972 868976755 3624568905 2590711217 1101778721 2322745213 2523126135 1540464117 4268965135 1475850693 165410045 780583803 1897864657 2505665466 2344335943 2971362355 2217314142 2952374100 1536549317 272864716 3743353451 2135946995 546213166 3617411170 2169590423 2280196175 3761760337 1195554270 435047429 3721039984 3068473096 2292229281 436263435 1657778744 905330189 2352024870 314425953 4268193314 3405715198 24413445 2003596346 1691638572 359585829 3382136184 2153724985 3730095841 2770361375 3118356816 395930859 3712816791 1802693431 3986342909 2560144997 2510589713 1533615206 1694039477 2944590581 915501349 4110968373 2650494611 3765465253 2064167270 2622176797 2782018425 3427669655 3891786347 611268484 2452678567 2953421417 3891578379 3873220950 4005054538 2908958122 570930654 1323684897 3865013835 978761753 31516186 2071011413 711155430 1252935945 2580700571 3265306967 2118358753 426841147 1913723990 1260898700 500594462 3720270790 813776704 4293534068 1741922678 3629633511 1708189676 4241787835 3731315892 4146451361 11585573 385328137 3145089990 2653352847 3881005508 479912529 3078186283 4267931255 576655754 1612205295 397411735 3147984794 939852772 383074111 2468545580 1634398163 657388301 4144049334 3599024257 977748600 2252548452 783683162 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9504
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     4565      0 |      737 |        0
0.29/0.35	c  0.1s |       1 |      583 |      100 |     4565      0 |      737 |      556
0.39/0.49	c  0.2s |       2 |     1527 |      250 |     5022      0 |      737 |      556
0.59/0.62	c  0.4s |       3 |     4012 |      475 |     5525      0 |      737 |      556
0.99/1.06	c  0.8s |       4 |     5317 |      813 |     6078      0 |      737 |      556
1.39/1.45	c  1.2s |       5 |     9563 |     1320 |     6686      0 |      738 |      556
1.99/2.02	c  1.7s |       6 |    15724 |     2081 |     8091      0 |      738 |      556
2.69/2.76	c  2.5s |       7 |    22439 |     3223 |     8901      0 |      739 |      556
4.59/4.65	c  4.4s |       8 |    26824 |     4936 |     9792      0 |      739 |      556
6.60/6.68	c  6.4s |       8 |    37479 |     7236 |     9792      0 |      739 |      556
6.89/6.95	c  6.7s |       9 |    38761 |     7506 |    10772      0 |      739 |      556
8.99/9.05	c  8.8s |       9 |    45980 |     9906 |    10772      0 |      739 |      556
11.00/11.10	c 10.8s |       9 |    47431 |    11106 |    10772      0 |      739 |      556
11.59/11.69	c 11.4s |      10 |    47702 |    11361 |    11850      0 |      739 |      556
13.59/13.69	c 13.4s |      10 |    55869 |    13561 |    11850      0 |      739 |      556
15.69/15.76	c 15.5s |      10 |    57942 |    15261 |    11850      0 |      739 |      556
17.70/17.77	c 17.5s |      10 |    59944 |    16761 |    11850      1 |      739 |      556
18.19/18.27	c 18.0s |      11 |    60411 |    17144 |    13036      1 |      739 |      556
20.29/20.31	c 20.0s |      11 |    69086 |    19344 |    13036      1 |      739 |      556
22.39/22.45	c 22.2s |      11 |    70569 |    20744 |    13036      1 |      739 |      556
24.49/24.56	c 24.3s |      11 |    73327 |    22244 |    13036      1 |      739 |      556
26.50/26.57	c 26.3s |      11 |    78379 |    24144 |    13036      2 |      739 |      556
28.49/28.58	c 28.3s |      11 |    80844 |    25744 |    14340      2 |      739 |      556
28.60/28.70	c 28.4s |      12 |    80934 |    25819 |    14340      2 |      739 |      556
30.69/30.72	c 30.4s |      12 |    87727 |    27719 |    14340      2 |      739 |      556
32.79/32.82	c 32.5s |      12 |    90156 |    29319 |    14340      2 |      739 |      556
34.89/34.99	c 34.7s |      12 |    92257 |    30819 |    14340      2 |      739 |      556
37.09/37.11	c 36.8s |      12 |    93743 |    32019 |    14340      2 |      739 |      556
39.19/39.25	c 39.0s |      12 |    94827 |    32919 |    14340      2 |      739 |      556
41.29/41.37	c 41.1s |      12 |    95887 |    33819 |    14340      3 |      739 |      556
43.49/43.57	c 43.3s |      12 |    97302 |    34919 |    14340      3 |      739 |      556
45.59/45.66	c 45.4s |      12 |    98379 |    35819 |    14340      3 |      739 |      556
47.78/47.87	c 47.6s |      12 |    99451 |    36719 |    14340      3 |      739 |      556
50.08/50.10	c 49.8s |      12 |   100502 |    37619 |    14340      3 |      739 |      556
52.08/52.12	c 51.8s |      12 |   101299 |    38319 |    14340      3 |      739 |      556
53.28/53.30	c 53.0s |      13 |   101917 |    38832 |    15775      3 |      739 |      556
55.28/55.36	c 55.1s |      13 |   112697 |    41332 |    15775      3 |      739 |      556
57.29/57.38	c 57.1s |      13 |   115063 |    42932 |    15775      3 |      739 |      556
59.49/59.50	c 59.2s |      13 |   116648 |    44132 |    15775      4 |      739 |      556
61.48/61.51	c 61.2s |      13 |   118474 |    45432 |    15775      4 |      739 |      556
63.58/63.64	c 63.4s |      13 |   119926 |    46532 |    15775      4 |      739 |      556
65.68/65.73	c 65.5s |      13 |   121416 |    47632 |    15775      4 |      739 |      556
67.87/67.92	c 67.6s |      13 |   122855 |    48732 |    15775      4 |      739 |      556
69.87/69.96	c 69.7s |      13 |   124516 |    49932 |    15775      4 |      739 |      556
72.07/72.12	c 71.8s |      13 |   125977 |    51032 |    15775      4 |      739 |      556
74.27/74.36	c 74.1s |      13 |   127263 |    52032 |    15775      4 |      739 |      556
76.27/76.39	c 76.1s |      13 |   128183 |    52832 |    15775      4 |      739 |      556
78.57/78.69	c 78.4s |      13 |   128985 |    53532 |    15775      5 |      739 |      556
80.77/80.84	c 80.6s |      13 |   129978 |    54432 |    15775      5 |      739 |      556
82.87/82.97	c 82.7s |      13 |   130843 |    55232 |    15775      5 |      739 |      556
85.17/85.27	c 85.0s |      13 |   131708 |    56032 |    15775      5 |      739 |      556
87.36/87.47	c 87.2s |      13 |   132617 |    56832 |    15775      5 |      739 |      556
89.56/89.66	c 89.4s |      13 |   133400 |    57532 |    15775      5 |      739 |      556
91.76/91.90	c 91.6s |      13 |   134158 |    58232 |    17353      5 |      739 |      556
92.16/92.25	c 92.0s |      14 |   134297 |    58352 |    17353      5 |      739 |      556
94.26/94.33	c 94.1s |      14 |   140566 |    60252 |    17353      5 |      739 |      556
96.36/96.42	c 96.1s |      14 |   143414 |    61952 |    17353      5 |      739 |      556
98.46/98.52	c 98.2s |      14 |   144937 |    63152 |    17353      5 |      739 |      556
100.65/100.74	c  100s |      14 |   146373 |    64352 |    17353      5 |      739 |      556
102.85/102.92	c  102s |      14 |   147442 |    65252 |    17353      6 |      739 |      556
104.85/104.93	c  104s |      14 |   148493 |    66152 |    17353      6 |      739 |      556
106.95/107.09	c  106s |      14 |   149825 |    67152 |    17353      6 |      739 |      556
109.05/109.17	c  108s |      14 |   152509 |    68452 |    17353      6 |      739 |      556
111.35/111.40	c  111s |      14 |   153792 |    69552 |    17353      6 |      739 |      556
113.45/113.55	c  113s |      14 |   157589 |    70952 |    17353      6 |      739 |      556
115.46/115.56	c  115s |      14 |   158821 |    71952 |    17353      6 |      739 |      556
117.66/117.72	c  117s |      14 |   159873 |    72852 |    17353      6 |      739 |      556
119.85/119.95	c  119s |      14 |   160932 |    73752 |    17353      6 |      739 |      556
121.95/122.00	c  121s |      14 |   161853 |    74552 |    17353      6 |      739 |      556
124.05/124.10	c  123s |      14 |   162553 |    75152 |    17353      7 |      739 |      556
126.05/126.18	c  125s |      14 |   163458 |    75952 |    17353      7 |      739 |      556
128.24/128.34	c  128s |      14 |   164575 |    76852 |    17353      7 |      739 |      556
130.44/130.59	c  130s |      14 |   165631 |    77752 |    17353      7 |      739 |      556
132.74/132.83	c  132s |      14 |   166547 |    78552 |    17353      7 |      739 |      556
134.94/135.07	c  134s |      14 |   167457 |    79352 |    17353      7 |      739 |      556
137.14/137.28	c  137s |      14 |   168402 |    80152 |    17353      7 |      739 |      556
139.24/139.37	c  139s |      14 |   169212 |    80852 |    17353      7 |      739 |      556
141.34/141.44	c  141s |      14 |   170154 |    81652 |    17353      7 |      739 |      556
143.34/143.45	c  143s |      14 |   171090 |    82452 |    17353      7 |      739 |      556
145.64/145.72	c  145s |      14 |   172084 |    83252 |    17353      7 |      739 |      556
147.73/147.89	c  147s |      14 |   172924 |    83952 |    17353      7 |      739 |      556
150.03/150.13	c  149s |      14 |   173749 |    84652 |    17353      7 |      739 |      556
152.23/152.38	c  152s |      14 |   174576 |    85352 |    17353      7 |      739 |      556
154.43/154.50	c  154s |      14 |   175448 |    86052 |    17353      8 |      739 |      556
156.53/156.67	c  156s |      14 |   176380 |    86852 |    17353      8 |      739 |      556
158.63/158.76	c  158s |      15 |   177273 |    87632 |    19089      8 |      739 |      556
160.64/160.79	c  160s |      15 |   187695 |    89832 |    19089      8 |      739 |      556
162.74/162.87	c  162s |      15 |   189812 |    91532 |    19089      8 |      739 |      556
164.84/164.97	c  164s |      15 |   192358 |    93132 |    19089      8 |      739 |      556
166.94/167.07	c  166s |      15 |   193717 |    94332 |    19089      8 |      739 |      556
169.03/169.11	c  168s |      15 |   194998 |    95532 |    19089      8 |      739 |      556
171.13/171.22	c  170s |      15 |   196067 |    96532 |    19089      8 |      739 |      556
173.23/173.38	c  173s |      15 |   196993 |    97432 |    19089      8 |      739 |      556
175.33/175.42	c  175s |      15 |   197867 |    98232 |    19089      9 |      739 |      556
177.33/177.49	c  177s |      15 |   198816 |    99132 |    19089      9 |      739 |      556
179.53/179.63	c  179s |      15 |   199657 |    99932 |    19089      9 |      739 |      556
181.63/181.74	c  181s |      15 |   200724 |   100832 |    19089      9 |      739 |      556
183.74/183.89	c  183s |      15 |   202024 |   101832 |    19089      9 |      739 |      556
185.84/185.97	c  185s |      15 |   203104 |   102732 |    19089      9 |      739 |      556
187.93/188.08	c  187s |      15 |   204040 |   103532 |    19089      9 |      739 |      556
190.03/190.10	c  189s |      15 |   205700 |   104732 |    19089      9 |      739 |      556
192.03/192.15	c  191s |      15 |   210029 |   106132 |    19089      9 |      739 |      556
194.03/194.17	c  193s |      15 |   217942 |   108132 |    19089     10 |      739 |      556
196.13/196.21	c  195s |      15 |   220686 |   109732 |    19089     10 |      739 |      556
198.12/198.29	c  198s |      15 |   222321 |   111032 |    19089     10 |      739 |      556
200.13/200.29	c  200s |      15 |   224757 |   112632 |    19089     10 |      739 |      556
202.22/202.38	c  202s |      15 |   226599 |   113832 |    19089     10 |      739 |      556
204.32/204.42	c  204s |      15 |   227628 |   114632 |    19089     10 |      739 |      556
206.42/206.50	c  206s |      15 |   228965 |   115632 |    19089     10 |      739 |      556
208.62/208.70	c  208s |      15 |   230497 |   116732 |    19089     10 |      739 |      556
210.62/210.77	c  210s |      15 |   231496 |   117532 |    19089     10 |      739 |      556
212.92/213.04	c  212s |      15 |   232376 |   118232 |    19089     10 |      739 |      556
215.22/215.39	c  215s |      15 |   233076 |   118832 |    19089     10 |      739 |      556
217.42/217.56	c  217s |      15 |   233933 |   119432 |    19089     11 |      739 |      556
219.62/219.70	c  219s |      15 |   235065 |   120332 |    19089     11 |      739 |      556
221.72/221.85	c  221s |      15 |   236238 |   121232 |    19089     11 |      739 |      556
223.92/224.05	c  223s |      15 |   237438 |   122132 |    19089     11 |      739 |      556
225.92/226.06	c  225s |      15 |   238318 |   122832 |    19089     11 |      739 |      556
228.22/228.39	c  228s |      15 |   239054 |   123432 |    19089     11 |      739 |      556
230.42/230.60	c  230s |      15 |   240003 |   124132 |    19089     11 |      739 |      556
232.51/232.62	c  232s |      15 |   240819 |   124832 |    19089     11 |      739 |      556
234.61/234.78	c  234s |      15 |   241659 |   125532 |    19089     11 |      739 |      556
236.81/236.98	c  236s |      15 |   242229 |   126032 |    19089     11 |      739 |      556
238.91/239.07	c  238s |      15 |   243259 |   126732 |    19089     11 |      739 |      556
241.21/241.34	c  241s |      15 |   244062 |   127432 |    19089     11 |      739 |      556
243.51/243.65	c  243s |      15 |   244911 |   128132 |    19089     11 |      739 |      556
245.51/245.69	c  245s |      15 |   245734 |   128732 |    19089     11 |      739 |      556
247.91/248.02	c  247s |      15 |   246529 |   129332 |    19089     11 |      739 |      556
250.21/250.37	c  250s |      15 |   248193 |   130132 |    19089     12 |      739 |      556
252.41/252.52	c  252s |      15 |   250405 |   131332 |    20998     12 |      739 |      556
252.91/253.01	c  252s |      16 |   250709 |   131552 |    20998     12 |      739 |      556
254.91/255.06	c  254s |      16 |   256699 |   133152 |    20998     12 |      739 |      556
256.90/257.09	c  256s |      16 |   258747 |   134652 |    20998     12 |      739 |      556
259.10/259.20	c  258s |      16 |   264793 |   136552 |    20998     12 |      739 |      556
261.20/261.33	c  261s |      16 |   266473 |   137952 |    20998     12 |      739 |      556
263.40/263.50	c  263s |      16 |   267938 |   139152 |    20998     12 |      739 |      556
265.50/265.61	c  265s |      16 |   269290 |   140252 |    20998     12 |      739 |      556
267.59/267.72	c  267s |      16 |   270655 |   141352 |    20998     12 |      739 |      556
269.59/269.74	c  269s |      16 |   271880 |   142352 |    20998     12 |      739 |      556
271.70/271.82	c  271s |      16 |   272986 |   143252 |    20998     12 |      739 |      556
273.90/274.04	c  273s |      16 |   274098 |   144152 |    20998     13 |      739 |      556
275.89/276.06	c  275s |      16 |   275214 |   145052 |    20998     13 |      739 |      556
277.89/278.08	c  277s |      16 |   276331 |   145952 |    20998     13 |      739 |      556
279.99/280.11	c  279s |      16 |   277450 |   146852 |    20998     13 |      739 |      556
282.09/282.24	c  281s |      16 |   278505 |   147752 |    20998     13 |      739 |      556
284.19/284.36	c  284s |      16 |   279623 |   148652 |    20998     13 |      739 |      556
286.29/286.44	c  286s |      16 |   280892 |   149652 |    20998     13 |      739 |      556
288.29/288.44	c  288s |      16 |   281803 |   150452 |    20998     13 |      739 |      556
290.48/290.68	c  290s |      16 |   282716 |   151252 |    20998     13 |      739 |      556
292.59/292.75	c  292s |      16 |   283529 |   151952 |    20998     13 |      739 |      556
294.79/294.92	c  294s |      16 |   284461 |   152752 |    20998     13 |      739 |      556
296.78/296.98	c  296s |      16 |   285290 |   153452 |    20998     13 |      739 |      556
298.98/299.16	c  298s |      16 |   286097 |   154152 |    20998     13 |      739 |      556
301.08/301.23	c  300s |      16 |   287041 |   154952 |    20998     13 |      739 |      556
303.28/303.47	c  303s |      16 |   287803 |   155652 |    20998     13 |      739 |      556
305.58/305.72	c  305s |      16 |   288581 |   156352 |    20998     14 |      739 |      556
307.58/307.75	c  307s |      16 |   289536 |   157152 |    20998     14 |      739 |      556
309.78/309.97	c  309s |      16 |   290422 |   157952 |    20998     14 |      739 |      556
311.88/312.08	c  311s |      16 |   291198 |   158652 |    20998     14 |      739 |      556
313.98/314.10	c  313s |      16 |   292012 |   159352 |    20998     14 |      739 |      556
315.98/316.12	c  315s |      16 |   292824 |   160052 |    20998     14 |      739 |      556
318.07/318.26	c  317s |      16 |   293486 |   160652 |    20998     14 |      739 |      556
320.17/320.39	c  320s |      16 |   294272 |   161352 |    20998     14 |      739 |      556
322.47/322.69	c  322s |      16 |   295085 |   162052 |    20998     14 |      739 |      556
324.77/324.94	c  324s |      16 |   295780 |   162652 |    20998     14 |      739 |      556
326.97/327.12	c  326s |      16 |   296470 |   163252 |    20998     14 |      739 |      556
329.27/329.41	c  329s |      16 |   297297 |   163952 |    20998     14 |      739 |      556
331.27/331.49	c  331s |      16 |   297955 |   164552 |    20998     14 |      739 |      556
333.38/333.52	c  333s |      16 |   302409 |   165552 |    20998     14 |      739 |      556
335.48/335.61	c  335s |      16 |   303691 |   166552 |    20998     14 |      739 |      556
337.47/337.64	c  337s |      16 |   304551 |   167352 |    20998     14 |      739 |      556
339.57/339.70	c  339s |      16 |   305337 |   168052 |    20998     15 |      739 |      556
341.57/341.77	c  341s |      16 |   306335 |   168952 |    20998     15 |      739 |      556
343.87/344.00	c  343s |      16 |   307488 |   169952 |    20998     15 |      739 |      556
345.87/346.03	c  345s |      16 |   308368 |   170752 |    20998     15 |      739 |      556
348.17/348.30	c  348s |      16 |   309251 |   171552 |    20998     15 |      739 |      556
350.27/350.41	c  350s |      16 |   309986 |   172252 |    20998     15 |      739 |      556
352.57/352.70	c  352s |      16 |   310875 |   173052 |    20998     15 |      739 |      556
354.67/354.84	c  354s |      16 |   311623 |   173752 |    20998     15 |      739 |      556
356.77/356.95	c  356s |      16 |   312249 |   174352 |    20998     15 |      739 |      556
358.97/359.18	c  358s |      16 |   312874 |   174952 |    20998     15 |      739 |      556
361.17/361.32	c  361s |      16 |   313519 |   175552 |    20998     15 |      739 |      556
363.17/363.32	c  363s |      16 |   314874 |   176452 |    20998     15 |      739 |      556
365.47/365.61	c  365s |      16 |   316132 |   177452 |    20998     15 |      739 |      556
367.57/367.79	c  367s |      16 |   317018 |   178252 |    20998     15 |      739 |      556
369.77/369.91	c  369s |      16 |   318089 |   179152 |    20998     15 |      739 |      556
371.78/371.93	c  371s |      16 |   319209 |   180052 |    20998     15 |      739 |      556
373.88/374.02	c  373s |      16 |   320019 |   180752 |    20998     16 |      739 |      556
375.87/376.08	c  375s |      16 |   321099 |   181652 |    20998     16 |      739 |      556
378.07/378.20	c  377s |      16 |   322796 |   182652 |    20998     16 |      739 |      556
380.27/380.42	c  380s |      16 |   324094 |   183752 |    20998     16 |      739 |      556
382.36/382.52	c  382s |      16 |   325028 |   184652 |    20998     16 |      739 |      556
384.36/384.52	c  384s |      16 |   328397 |   185852 |    20998     16 |      739 |      556
386.46/386.65	c  386s |      16 |   330069 |   187152 |    20998     16 |      739 |      556
388.46/388.69	c  388s |      16 |   331106 |   188152 |    20998     16 |      739 |      556
390.56/390.76	c  390s |      16 |   332038 |   189052 |    20998     16 |      739 |      556
392.67/392.86	c  392s |      16 |   332961 |   189952 |    20998     16 |      739 |      556
394.77/394.93	c  394s |      16 |   333792 |   190752 |    20998     16 |      739 |      556
396.86/397.00	c  396s |      16 |   334619 |   191552 |    20998     16 |      739 |      556
398.85/399.06	c  398s |      16 |   335337 |   192252 |    20998     16 |      739 |      556
400.95/401.17	c  400s |      16 |   336049 |   192952 |    20998     17 |      739 |      556
403.15/403.34	c  403s |      16 |   336966 |   193852 |    20998     17 |      739 |      556
405.25/405.41	c  405s |      16 |   337788 |   194652 |    20998     17 |      739 |      556
407.35/407.54	c  407s |      16 |   338599 |   195452 |    20998     17 |      739 |      556
409.45/409.65	c  409s |      16 |   339421 |   196252 |    23098     17 |      739 |      556
411.55/411.71	c  411s |      16 |   340127 |   196952 |    23098     17 |      739 |      556
412.95/413.12	c  412s |      17 |   340615 |   197432 |    23098     17 |      739 |      556
415.05/415.21	c  414s |      17 |   348206 |   199732 |    23098     17 |      739 |      556
417.15/417.30	c  417s |      17 |   352174 |   201632 |    23098     17 |      739 |      556
419.24/419.40	c  419s |      17 |   354464 |   203132 |    23098     17 |      739 |      556
421.25/421.48	c  421s |      17 |   356322 |   204432 |    23098     17 |      739 |      556
423.45/423.63	c  423s |      17 |   357869 |   205632 |    23098     17 |      739 |      556
425.55/425.75	c  425s |      17 |   359139 |   206632 |    23098     17 |      739 |      556
427.74/427.96	c  427s |      17 |   360117 |   207432 |    23098     18 |      739 |      556
429.94/430.12	c  429s |      17 |   361218 |   208332 |    23098     18 |      739 |      556
431.93/432.20	c  431s |      17 |   362376 |   209232 |    23098     18 |      739 |      556
434.03/434.25	c  433s |      17 |   363504 |   210132 |    23098     18 |      739 |      556
436.03/436.28	c  436s |      17 |   364660 |   211032 |    23098     18 |      739 |      556
438.13/438.37	c  438s |      17 |   365791 |   211932 |    23098     18 |      739 |      556
440.33/440.54	c  440s |      17 |   366948 |   212832 |    23098     18 |      739 |      556
442.53/442.73	c  442s |      17 |   367926 |   213632 |    23098     18 |      739 |      556
444.83/445.04	c  444s |      17 |   368906 |   214432 |    23098     18 |      739 |      556
446.93/447.15	c  446s |      17 |   369768 |   215132 |    23098     18 |      739 |      556
449.03/449.26	c  448s |      17 |   370439 |   215732 |    23098     18 |      739 |      556
451.13/451.37	c  451s |      17 |   371272 |   216432 |    23098     18 |      739 |      556
453.33/453.54	c  453s |      17 |   372235 |   217232 |    23098     18 |      739 |      556
455.53/455.76	c  455s |      17 |   373040 |   217932 |    23098     18 |      739 |      556
457.73/457.93	c  457s |      17 |   373704 |   218532 |    23098     18 |      739 |      556
459.74/459.94	c  459s |      17 |   374429 |   219132 |    23098     18 |      739 |      556
461.83/462.06	c  461s |      17 |   375089 |   219732 |    23098     18 |      739 |      556
463.93/464.13	c  463s |      17 |   375701 |   220232 |    23098     19 |      739 |      556
466.03/466.27	c  466s |      17 |   376540 |   220932 |    23098     19 |      739 |      556
468.32/468.55	c  468s |      17 |   377380 |   221632 |    23098     19 |      739 |      556
470.52/470.72	c  470s |      17 |   378221 |   222332 |    23098     19 |      739 |      556
472.52/472.75	c  472s |      17 |   379084 |   223032 |    23098     19 |      739 |      556
474.52/474.77	c  474s |      17 |   379911 |   223732 |    23098     19 |      739 |      556
476.62/476.83	c  476s |      17 |   380749 |   224432 |    23098     19 |      739 |      556
478.72/478.99	c  478s |      17 |   381580 |   225132 |    23098     19 |      739 |      556
480.92/481.12	c  480s |      17 |   382277 |   225732 |    23098     19 |      739 |      556
483.22/483.41	c  483s |      17 |   383129 |   226432 |    23098     19 |      739 |      556
485.22/485.43	c  485s |      17 |   383835 |   227032 |    23098     19 |      739 |      556
487.31/487.52	c  487s |      17 |   384541 |   227632 |    23098     19 |      739 |      556
489.51/489.70	c  489s |      17 |   385220 |   228232 |    23098     19 |      739 |      556
491.62/491.82	c  491s |      17 |   385885 |   228832 |    23098     19 |      739 |      556
493.82/494.03	c  493s |      17 |   386605 |   229432 |    23098     19 |      739 |      556
495.92/496.20	c  495s |      17 |   387329 |   230032 |    23098     19 |      739 |      556
498.01/498.26	c  497s |      17 |   387905 |   230532 |    23098     19 |      739 |      556
500.41/500.64	c  500s |      17 |   388576 |   231132 |    23098     19 |      739 |      556
502.41/502.67	c  502s |      17 |   389156 |   231632 |    23098     19 |      739 |      556
504.51/504.71	c  504s |      17 |   389715 |   232132 |    23098     19 |      739 |      556
506.71/506.92	c  506s |      17 |   390261 |   232632 |    23098     19 |      739 |      556
509.60/509.82	c  509s |      17 |   390963 |   233232 |    23098     20 |      739 |      556
511.60/511.87	c  511s |      17 |   391634 |   233832 |    23098     20 |      739 |      556
513.70/513.96	c  513s |      17 |   392433 |   234532 |    23098     20 |      739 |      556
516.00/516.21	c  515s |      17 |   393110 |   235132 |    23098     20 |      739 |      556
518.30/518.54	c  518s |      17 |   393825 |   235732 |    23098     20 |      739 |      556
520.49/520.77	c  520s |      17 |   394634 |   236432 |    23098     20 |      739 |      556
522.59/522.85	c  522s |      17 |   395338 |   237032 |    23098     20 |      739 |      556
524.69/524.97	c  524s |      17 |   396038 |   237632 |    23098     20 |      739 |      556
526.80/527.03	c  526s |      17 |   396748 |   238232 |    23098     20 |      739 |      556
528.79/529.05	c  528s |      17 |   397436 |   238832 |    23098     20 |      739 |      556
531.10/531.38	c  531s |      17 |   398090 |   239432 |    23098     20 |      739 |      556
533.19/533.46	c  533s |      17 |   398636 |   239932 |    23098     20 |      739 |      556
535.49/535.80	c  535s |      17 |   399312 |   240532 |    23098     20 |      739 |      556
537.79/538.07	c  537s |      17 |   399972 |   241132 |    23098     20 |      739 |      556
539.89/540.12	c  539s |      17 |   400666 |   241732 |    23098     20 |      739 |      556
542.19/542.44	c  542s |      17 |   401359 |   242332 |    23098     20 |      739 |      556
544.18/544.48	c  544s |      17 |   401913 |   242832 |    23098     20 |      739 |      556
546.28/546.53	c  546s |      17 |   402481 |   243332 |    23098     20 |      739 |      556
548.48/548.71	c  548s |      17 |   403008 |   243832 |    23098     20 |      739 |      556
550.68/550.93	c  550s |      17 |   403544 |   244332 |    23098     20 |      739 |      556
553.08/553.36	c  553s |      17 |   404226 |   244932 |    23098     20 |      739 |      556
555.29/555.51	c  555s |      17 |   404775 |   245432 |    23098     20 |      739 |      556
557.38/557.64	c  557s |      17 |   405332 |   245932 |    23098     20 |      739 |      556
560.17/560.40	c  560s |      17 |   405890 |   246432 |    23098     21 |      739 |      556
562.27/562.53	c  562s |      17 |   406692 |   247132 |    23098     21 |      739 |      556
564.37/564.65	c  564s |      17 |   407488 |   247832 |    23098     21 |      739 |      556
566.38/566.68	c  566s |      17 |   408283 |   248532 |    23098     21 |      739 |      556
568.67/568.98	c  568s |      17 |   409089 |   249232 |    23098     21 |      739 |      556
570.87/571.20	c  570s |      17 |   409742 |   249832 |    23098     21 |      739 |      556
573.17/573.47	c  573s |      17 |   410416 |   250432 |    23098     21 |      739 |      556
575.37/575.62	c  575s |      17 |   411096 |   251032 |    23098     21 |      739 |      556
577.66/577.95	c  577s |      17 |   411776 |   251632 |    23098     21 |      739 |      556
579.96/580.28	c  580s |      17 |   412469 |   252232 |    23098     21 |      739 |      556
582.26/582.50	c  582s |      17 |   413261 |   252932 |    23098     21 |      739 |      556
584.56/584.81	c  584s |      17 |   414081 |   253632 |    23098     21 |      739 |      556
586.96/587.23	c  586s |      17 |   414736 |   254232 |    23098     21 |      739 |      556
589.06/589.40	c  589s |      17 |   415511 |   254832 |    23098     21 |      739 |      556
591.16/591.48	c  591s |      17 |   416202 |   255432 |    23098     21 |      739 |      556
593.45/593.75	c  593s |      17 |   417031 |   256132 |    23098     21 |      739 |      556
595.55/595.83	c  595s |      17 |   417732 |   256732 |    23098     21 |      739 |      556
597.85/598.10	c  597s |      17 |   418398 |   257332 |    23098     21 |      739 |      556
600.05/600.38	c  600s |      17 |   419206 |   258032 |    23098     21 |      739 |      556
602.25/602.53	c  602s |      17 |   419923 |   258632 |    23098     21 |      739 |      556
604.35/604.68	c  604s |      17 |   420589 |   259232 |    23098     21 |      739 |      556
606.65/606.90	c  606s |      17 |   421033 |   259632 |    23098     22 |      739 |      556
608.64/608.92	c  608s |      17 |   421724 |   260232 |    23098     22 |      739 |      556
610.64/610.98	c  610s |      17 |   422393 |   260832 |    23098     22 |      739 |      556
612.74/613.04	c  612s |      17 |   423187 |   261532 |    23098     22 |      739 |      556
614.84/615.18	c  614s |      17 |   423983 |   262232 |    23098     22 |      739 |      556
617.04/617.35	c  617s |      17 |   424790 |   262932 |    23098     22 |      739 |      556
619.14/619.44	c  619s |      17 |   425455 |   263532 |    23098     22 |      739 |      556
621.34/621.60	c  621s |      17 |   426117 |   264132 |    23098     22 |      739 |      556
623.54/623.84	c  623s |      17 |   426807 |   264732 |    23098     22 |      739 |      556
625.64/625.95	c  625s |      17 |   427335 |   265232 |    23098     22 |      739 |      556
627.84/628.11	c  627s |      17 |   427892 |   265732 |    23098     22 |      739 |      556
629.93/630.29	c  630s |      17 |   428560 |   266332 |    23098     22 |      739 |      556
632.13/632.44	c  632s |      17 |   429116 |   266832 |    23098     22 |      739 |      556
634.13/634.44	c  634s |      17 |   429657 |   267332 |    23098     22 |      739 |      556
636.43/636.72	c  636s |      17 |   430334 |   267932 |    23098     22 |      739 |      556
638.62/638.94	c  638s |      17 |   430887 |   268432 |    23098     22 |      739 |      556
641.02/641.35	c  641s |      17 |   431438 |   268932 |    23098     22 |      739 |      556
643.22/643.56	c  643s |      17 |   431996 |   269432 |    23098     22 |      739 |      556
645.32/645.63	c  645s |      17 |   432559 |   269932 |    23098     22 |      739 |      556
647.52/647.90	c  647s |      17 |   433114 |   270432 |    23098     22 |      739 |      556
649.83/650.12	c  649s |      17 |   433806 |   271032 |    23098     22 |      739 |      556
651.92/652.23	c  651s |      17 |   434359 |   271532 |    23098     22 |      739 |      556
654.02/654.30	c  654s |      17 |   434901 |   272032 |    23098     22 |      739 |      556
656.32/656.62	c  656s |      17 |   435599 |   272632 |    23098     22 |      739 |      556
658.62/658.96	c  658s |      17 |   436200 |   273132 |    23098     23 |      739 |      556
660.71/661.05	c  660s |      17 |   436885 |   273732 |    23098     23 |      739 |      556
663.02/663.35	c  663s |      17 |   437589 |   274332 |    23098     23 |      739 |      556
665.32/665.65	c  665s |      17 |   438246 |   274932 |    23098     23 |      739 |      556
667.51/667.85	c  667s |      17 |   438934 |   275532 |    23098     23 |      739 |      556
669.81/670.14	c  669s |      17 |   439777 |   276232 |    23098     23 |      739 |      556
671.81/672.16	c  671s |      17 |   440493 |   276832 |    23098     23 |      739 |      556
673.80/674.16	c  673s |      17 |   441172 |   277432 |    23098     23 |      739 |      556
675.90/676.23	c  675s |      17 |   441852 |   278032 |    23098     23 |      739 |      556
678.10/678.41	c  678s |      17 |   442554 |   278632 |    23098     23 |      739 |      556
680.10/680.49	c  680s |      17 |   443251 |   279232 |    23098     23 |      739 |      556
682.30/682.68	c  682s |      17 |   443928 |   279832 |    23098     23 |      739 |      556
684.60/684.95	c  684s |      17 |   444601 |   280432 |    23098     23 |      739 |      556
686.90/687.28	c  687s |      17 |   445300 |   281032 |    23098     23 |      739 |      556
689.19/689.57	c  689s |      17 |   445993 |   281632 |    23098     23 |      739 |      556
691.39/691.74	c  691s |      17 |   446544 |   282132 |    23098     23 |      739 |      556
693.49/693.88	c  693s |      17 |   447725 |   282932 |    23098     23 |      739 |      556
695.69/696.07	c  695s |      17 |   448586 |   283632 |    23098     23 |      739 |      556
697.98/698.30	c  698s |      17 |   449437 |   284332 |    23098     23 |      739 |      556
700.18/700.57	c  700s |      17 |   450257 |   285032 |    23098     23 |      739 |      556
702.28/702.64	c  702s |      17 |   450989 |   285632 |    23098     23 |      739 |      556
704.48/704.88	c  704s |      17 |   451580 |   286132 |    23098     24 |      739 |      556
706.58/706.94	c  706s |      17 |   452408 |   286832 |    23098     24 |      739 |      556
708.68/709.03	c  708s |      17 |   453267 |   287532 |    23098     24 |      739 |      556
710.68/711.08	c  710s |      17 |   454113 |   288232 |    23098     24 |      739 |      556
712.78/713.15	c  712s |      17 |   455050 |   289032 |    23098     24 |      739 |      556
714.88/715.23	c  714s |      17 |   456030 |   289832 |    23098     24 |      739 |      556
716.89/717.27	c  716s |      17 |   456838 |   290532 |    23098     24 |      739 |      556
718.88/719.28	c  719s |      17 |   457525 |   291132 |    23098     24 |      739 |      556
720.98/721.30	c  721s |      17 |   458202 |   291732 |    23098     24 |      739 |      556
723.18/723.58	c  723s |      17 |   458997 |   292432 |    23098     24 |      739 |      556
725.38/725.77	c  725s |      17 |   459796 |   293132 |    23098     24 |      739 |      556
727.78/728.11	c  727s |      17 |   460572 |   293832 |    23098     24 |      739 |      556
729.98/730.35	c  730s |      17 |   461235 |   294432 |    25408     24 |      739 |      556
731.98/732.39	c  732s |      17 |   461912 |   295032 |    25408     24 |      739 |      556
734.18/734.51	c  734s |      17 |   462571 |   295632 |    25408     24 |      739 |      556
736.38/736.75	c  736s |      17 |   463238 |   296232 |    25408     24 |      739 |      556
736.48/736.81	c  736s |      18 |   463260 |   296252 |    25408     24 |      739 |      556
738.48/738.88	c  738s |      18 |   467486 |   297852 |    25408     24 |      739 |      556
740.58/740.92	c  740s |      18 |   469496 |   299452 |    25408     24 |      739 |      556
742.58/742.97	c  742s |      18 |   471020 |   300752 |    25408     24 |      739 |      556
744.67/745.00	c  744s |      18 |   472128 |   301652 |    25408     25 |      739 |      556
746.77/747.16	c  746s |      18 |   473558 |   302852 |    25408     25 |      739 |      556
748.88/749.26	c  748s |      18 |   474860 |   303952 |    25408     25 |      739 |      556
750.98/751.34	c  751s |      18 |   476036 |   304952 |    25408     25 |      739 |      556
753.07/753.40	c  753s |      18 |   477357 |   306052 |    25408     25 |      739 |      556
755.17/755.51	c  755s |      18 |   478668 |   307152 |    25408     25 |      739 |      556
757.28/757.68	c  757s |      18 |   479793 |   308152 |    25408     25 |      739 |      556
759.28/759.69	c  759s |      18 |   481056 |   309152 |    25408     25 |      739 |      556
761.38/761.75	c  761s |      18 |   482094 |   310052 |    25408     25 |      739 |      556
763.48/763.81	c  763s |      18 |   483096 |   310952 |    25408     25 |      739 |      556
765.58/765.97	c  765s |      18 |   483984 |   311752 |    25408     25 |      739 |      556
767.78/768.12	c  767s |      18 |   484937 |   312552 |    25408     25 |      739 |      556
769.79/770.16	c  769s |      18 |   485707 |   313252 |    25408     25 |      739 |      556
771.88/772.29	c  772s |      18 |   486618 |   314052 |    25408     25 |      739 |      556
773.98/774.32	c  774s |      18 |   487622 |   314852 |    25408     25 |      739 |      556
776.38/776.73	c  776s |      18 |   488985 |   315952 |    25408     26 |      739 |      556
778.48/778.83	c  778s |      18 |   490459 |   317152 |    25408     26 |      739 |      556
780.57/780.97	c  780s |      18 |   491457 |   318052 |    25408     26 |      739 |      556
782.67/783.00	c  782s |      18 |   492527 |   318952 |    25408     26 |      739 |      556
784.77/785.16	c  784s |      18 |   493545 |   319852 |    25408     26 |      739 |      556
786.87/787.26	c  786s |      18 |   494606 |   320752 |    25408     26 |      739 |      556
788.97/789.37	c  789s |      18 |   495620 |   321652 |    25408     26 |      739 |      556
791.17/791.57	c  791s |      18 |   496621 |   322552 |    25408     26 |      739 |      556
793.37/793.79	c  793s |      18 |   497615 |   323452 |    25408     26 |      739 |      556
795.47/795.85	c  795s |      18 |   498500 |   324252 |    25408     26 |      739 |      556
797.67/798.04	c  797s |      18 |   499412 |   325052 |    25408     26 |      739 |      556
799.87/800.28	c  800s |      18 |   500312 |   325852 |    25408     26 |      739 |      556
801.97/802.33	c  802s |      18 |   501087 |   326552 |    25408     26 |      739 |      556
804.17/804.53	c  804s |      18 |   501972 |   327352 |    25408     26 |      739 |      556
806.27/806.67	c  806s |      18 |   502747 |   328052 |    25408     26 |      739 |      556
808.47/808.87	c  808s |      18 |   503500 |   328752 |    25408     26 |      739 |      556
810.67/811.04	c  810s |      18 |   504283 |   329452 |    25408     26 |      739 |      556
812.97/813.31	c  813s |      18 |   505045 |   330152 |    25408     26 |      739 |      556
815.07/815.42	c  815s |      18 |   505576 |   330652 |    25408     27 |      739 |      556
817.27/817.65	c  817s |      18 |   506437 |   331452 |    25408     27 |      739 |      556
819.47/819.87	c  819s |      18 |   507313 |   332252 |    25408     27 |      739 |      556
821.57/821.92	c  821s |      18 |   508085 |   332952 |    25408     27 |      739 |      556
823.57/823.97	c  823s |      18 |   508871 |   333652 |    25408     27 |      739 |      556
825.87/826.24	c  825s |      18 |   509736 |   334452 |    25408     27 |      739 |      556
828.16/828.51	c  828s |      18 |   510605 |   335252 |    25408     27 |      739 |      556
830.46/830.81	c  830s |      18 |   511365 |   335952 |    25408     27 |      739 |      556
832.76/833.14	c  832s |      18 |   512114 |   336652 |    25408     27 |      739 |      556
835.06/835.45	c  835s |      18 |   512844 |   337352 |    25408     27 |      739 |      556
837.26/837.67	c  837s |      18 |   513608 |   338052 |    25408     27 |      739 |      556
839.56/839.92	c  839s |      18 |   514230 |   338652 |    25408     27 |      739 |      556
841.76/842.17	c  841s |      18 |   514855 |   339252 |    25408     27 |      739 |      556
843.86/844.26	c  843s |      18 |   515508 |   339852 |    25408     27 |      739 |      556
846.26/846.60	c  846s |      18 |   516170 |   340452 |    25408     27 |      739 |      556
848.36/848.72	c  848s |      18 |   516821 |   341052 |    25408     27 |      739 |      556
850.56/850.94	c  850s |      18 |   517485 |   341652 |    25408     27 |      739 |      556
852.96/853.31	c  853s |      18 |   518118 |   342252 |    25408     27 |      739 |      556
854.96/855.34	c  855s |      18 |   518649 |   342752 |    25408     27 |      739 |      556
857.36/857.72	c  857s |      18 |   519284 |   343352 |    25408     27 |      739 |      556
859.56/859.94	c  859s |      18 |   519942 |   343952 |    25408     27 |      739 |      556
861.86/862.25	c  861s |      18 |   520657 |   344552 |    25408     27 |      739 |      556
863.96/864.34	c  864s |      18 |   521244 |   345052 |    25408     28 |      739 |      556
866.06/866.40	c  866s |      18 |   522222 |   345852 |    25408     28 |      739 |      556
868.36/868.73	c  868s |      18 |   523127 |   346652 |    25408     28 |      739 |      556
870.56/870.90	c  870s |      18 |   524026 |   347452 |    25408     28 |      739 |      556
872.56/872.92	c  872s |      18 |   524829 |   348152 |    25408     28 |      739 |      556
874.76/875.15	c  874s |      18 |   525636 |   348852 |    25408     28 |      739 |      556
876.96/877.37	c  877s |      18 |   526437 |   349552 |    25408     28 |      739 |      556
879.15/879.51	c  879s |      18 |   527107 |   350152 |    25408     28 |      739 |      556
881.45/881.83	c  881s |      18 |   527898 |   350852 |    25408     28 |      739 |      556
883.75/884.12	c  883s |      18 |   528539 |   351452 |    25408     28 |      739 |      556
885.95/886.36	c  886s |      18 |   529187 |   352052 |    25408     28 |      739 |      556
888.15/888.57	c  888s |      18 |   529840 |   352652 |    25408     28 |      739 |      556
890.45/890.81	c  890s |      18 |   530511 |   353252 |    25408     28 |      739 |      556
892.75/893.15	c  892s |      18 |   531163 |   353852 |    25408     28 |      739 |      556
895.06/895.43	c  895s |      18 |   532028 |   354552 |    25408     28 |      739 |      556
897.27/897.70	c  897s |      18 |   532989 |   355352 |    25408     28 |      739 |      556
899.47/899.80	c  899s |      18 |   533655 |   355952 |    25408     28 |      739 |      556
901.46/901.88	c  901s |      18 |   534325 |   356552 |    25408     28 |      739 |      556
903.56/903.91	c  903s |      18 |   534996 |   357152 |    25408     28 |      739 |      556
905.56/905.98	c  905s |      18 |   535645 |   357752 |    25408     28 |      739 |      556
907.66/908.01	c  907s |      18 |   536308 |   358352 |    25408     28 |      739 |      556
910.06/910.44	c  910s |      18 |   536947 |   358952 |    25408     28 |      739 |      556
912.16/912.58	c  912s |      18 |   537499 |   359452 |    25408     28 |      739 |      556
914.46/914.89	c  914s |      18 |   538152 |   360052 |    25408     29 |      739 |      556
916.46/916.89	c  916s |      18 |   538993 |   360752 |    25408     29 |      739 |      556
918.66/919.09	c  918s |      18 |   540096 |   361652 |    25408     29 |      739 |      556
920.86/921.25	c  920s |      18 |   541058 |   362452 |    25408     29 |      739 |      556
922.95/923.33	c  923s |      18 |   541988 |   363252 |    25408     29 |      739 |      556
925.05/925.43	c  925s |      18 |   542764 |   363952 |    25408     29 |      739 |      556
927.06/927.47	c  927s |      18 |   547808 |   365352 |    25408     29 |      739 |      556
929.05/929.49	c  929s |      18 |   550421 |   366652 |    25408     29 |      739 |      556
931.15/931.51	c  931s |      18 |   553232 |   368452 |    25408     29 |      739 |      556
933.25/933.66	c  933s |      18 |   556146 |   369852 |    25408     29 |      739 |      556
935.35/935.74	c  935s |      18 |   557283 |   370952 |    25408     29 |      739 |      556
937.35/937.77	c  937s |      18 |   558443 |   372052 |    25408     29 |      739 |      556
939.55/939.95	c  939s |      18 |   559598 |   373152 |    25408     29 |      739 |      556
941.75/942.11	c  941s |      18 |   560463 |   373952 |    25408     30 |      739 |      556
943.85/944.29	c  944s |      18 |   561599 |   375052 |    25408     30 |      739 |      556
945.85/946.29	c  946s |      18 |   562529 |   375952 |    25408     30 |      739 |      556
948.05/948.46	c  948s |      18 |   563614 |   376952 |    25408     30 |      739 |      556
950.25/950.65	c  950s |      18 |   564561 |   377852 |    25408     30 |      739 |      556
952.25/952.66	c  952s |      18 |   565429 |   378652 |    25408     30 |      739 |      556
954.45/954.86	c  954s |      18 |   566248 |   379452 |    25408     30 |      739 |      556
956.44/956.89	c  956s |      18 |   566986 |   380152 |    25408     30 |      739 |      556
958.54/958.97	c  958s |      18 |   567722 |   380852 |    25408     30 |      739 |      556
960.84/961.26	c  960s |      18 |   568559 |   381652 |    25408     30 |      739 |      556
963.04/963.44	c  963s |      18 |   569278 |   382352 |    25408     30 |      739 |      556
965.24/965.64	c  965s |      18 |   570015 |   383052 |    25408     30 |      739 |      556
967.54/967.92	c  967s |      18 |   570849 |   383852 |    25408     30 |      739 |      556
969.64/970.06	c  969s |      18 |   571614 |   384552 |    25408     30 |      739 |      556
971.74/972.18	c  971s |      18 |   572406 |   385252 |    25408     30 |      739 |      556
973.94/974.38	c  974s |      18 |   573278 |   386052 |    25408     30 |      739 |      556
976.24/976.62	c  976s |      18 |   574168 |   386852 |    25408     30 |      739 |      556
978.34/978.76	c  978s |      18 |   574936 |   387552 |    25408     30 |      739 |      556
980.44/980.89	c  980s |      18 |   575713 |   388252 |    25408     30 |      739 |      556
982.54/982.99	c  982s |      18 |   576483 |   388952 |    25408     31 |      739 |      556
984.84/985.25	c  984s |      18 |   577362 |   389752 |    25408     31 |      739 |      556
986.94/987.35	c  987s |      18 |   578249 |   390552 |    25408     31 |      739 |      556
988.94/989.37	c  989s |      18 |   578992 |   391252 |    25408     31 |      739 |      556
991.14/991.53	c  991s |      18 |   579730 |   391952 |    25408     31 |      739 |      556
993.24/993.69	c  993s |      18 |   580523 |   392652 |    25408     31 |      739 |      556
995.34/995.73	c  995s |      18 |   581176 |   393252 |    25408     31 |      739 |      556
997.64/998.08	c  997s |      18 |   581917 |   393952 |    25408     31 |      739 |      556
999.84/1000.24	c  999s |      18 |   582666 |   394652 |    25408     31 |      739 |      556
1001.84/1002.26	c 1001s |      18 |   583332 |   395252 |    25408     31 |      739 |      556
1003.84/1004.30	c 1004s |      18 |   583987 |   395852 |    25408     31 |      739 |      556
1005.94/1006.39	c 1006s |      18 |   584636 |   396452 |    25408     31 |      739 |      556
1008.14/1008.52	c 1008s |      18 |   585281 |   397052 |    25408     31 |      739 |      556
1010.34/1010.71	c 1010s |      18 |   585939 |   397652 |    25408     31 |      739 |      556
1012.54/1012.96	c 1012s |      18 |   586591 |   398252 |    25408     31 |      739 |      556
1014.73/1015.18	c 1014s |      18 |   587267 |   398852 |    25408     31 |      739 |      556
1017.14/1017.53	c 1017s |      18 |   587922 |   399452 |    25408     31 |      739 |      556
1019.23/1019.67	c 1019s |      18 |   588472 |   399952 |    25408     31 |      739 |      556
1021.43/1021.84	c 1021s |      18 |   588995 |   400452 |    25408     31 |      739 |      556
1023.53/1023.98	c 1023s |      18 |   589518 |   400952 |    25408     31 |      739 |      556
1025.63/1026.02	c 1025s |      18 |   590049 |   401452 |    25408     31 |      739 |      556
1027.83/1028.26	c 1027s |      18 |   590584 |   401952 |    25408     31 |      739 |      556
1029.93/1030.38	c 1030s |      18 |   591131 |   402452 |    25408     31 |      739 |      556
1032.23/1032.65	c 1032s |      18 |   591664 |   402952 |    25408     32 |      739 |      556
1034.33/1034.71	c 1034s |      18 |   592429 |   403652 |    25408     32 |      739 |      556
1036.33/1036.78	c 1036s |      18 |   593176 |   404352 |    25408     32 |      739 |      556
1038.43/1038.88	c 1038s |      18 |   593924 |   405052 |    25408     32 |      739 |      556
1040.63/1041.02	c 1040s |      18 |   594693 |   405752 |    25408     32 |      739 |      556
1042.83/1043.25	c 1042s |      18 |   595447 |   406452 |    25408     32 |      739 |      556
1044.93/1045.30	c 1045s |      18 |   596083 |   407052 |    25408     32 |      739 |      556
1046.94/1047.33	c 1047s |      18 |   596722 |   407652 |    25408     32 |      739 |      556
1049.23/1049.60	c 1049s |      18 |   597354 |   408252 |    25408     32 |      739 |      556
1051.43/1051.84	c 1051s |      18 |   597893 |   408752 |    25408     32 |      739 |      556
1053.73/1054.17	c 1053s |      18 |   598538 |   409352 |    25408     32 |      739 |      556
1056.13/1056.51	c 1056s |      18 |   599149 |   409952 |    25408     32 |      739 |      556
1058.23/1058.62	c 1058s |      18 |   599668 |   410452 |    25408     32 |      739 |      556
1060.63/1061.02	c 1060s |      18 |   600293 |   411052 |    25408     32 |      739 |      556
1062.83/1063.25	c 1062s |      18 |   600931 |   411652 |    25408     32 |      739 |      556
1065.03/1065.45	c 1065s |      18 |   601455 |   412152 |    25408     32 |      739 |      556
1067.13/1067.59	c 1067s |      18 |   601976 |   412652 |    25408     32 |      739 |      556
1069.33/1069.73	c 1069s |      18 |   602499 |   413152 |    25408     32 |      739 |      556
1071.63/1072.07	c 1071s |      18 |   603120 |   413752 |    25408     32 |      739 |      556
1073.92/1074.34	c 1074s |      18 |   603773 |   414352 |    25408     32 |      739 |      556
1075.92/1076.39	c 1076s |      18 |   604302 |   414852 |    25408     32 |      739 |      556
1078.02/1078.49	c 1078s |      18 |   604835 |   415352 |    25408     32 |      739 |      556
1080.22/1080.61	c 1080s |      18 |   605355 |   415852 |    25408     32 |      739 |      556
1082.22/1082.63	c 1082s |      18 |   605909 |   416352 |    25408     32 |      739 |      556
1084.52/1085.00	c 1084s |      18 |   606606 |   416952 |    25408     32 |      739 |      556
1086.63/1087.08	c 1086s |      18 |   607154 |   417452 |    25408     33 |      739 |      556
1088.74/1089.15	c 1088s |      18 |   607902 |   418152 |    25408     33 |      739 |      556
1090.84/1091.27	c 1090s |      18 |   608669 |   418852 |    25408     33 |      739 |      556
1093.14/1093.52	c 1093s |      18 |   609537 |   419652 |    25408     33 |      739 |      556
1095.34/1095.77	c 1095s |      18 |   610269 |   420352 |    25408     33 |      739 |      556
1097.63/1098.04	c 1097s |      18 |   611010 |   421052 |    25408     33 |      739 |      556
1099.64/1100.04	c 1099s |      18 |   611641 |   421652 |    25408     33 |      739 |      556
1101.63/1102.07	c 1101s |      18 |   612273 |   422252 |    25408     33 |      739 |      556
1103.93/1104.38	c 1104s |      18 |   613013 |   422952 |    25408     33 |      739 |      556
1106.03/1106.48	c 1106s |      18 |   613653 |   423552 |    25408     33 |      739 |      556
1108.44/1108.80	c 1108s |      18 |   614415 |   424252 |    25408     33 |      739 |      556
1110.53/1110.93	c 1110s |      18 |   615069 |   424852 |    25408     33 |      739 |      556
1112.63/1113.02	c 1112s |      18 |   615730 |   425452 |    25408     33 |      739 |      556
1114.73/1115.16	c 1114s |      18 |   616378 |   426052 |    25408     33 |      739 |      556
1117.03/1117.46	c 1117s |      18 |   617018 |   426652 |    25408     33 |      739 |      556
1119.43/1119.84	c 1119s |      18 |   617665 |   427252 |    25408     33 |      739 |      556
1121.73/1122.15	c 1121s |      18 |   618305 |   427852 |    25408     33 |      739 |      556
1123.83/1124.27	c 1123s |      18 |   618954 |   428452 |    25408     33 |      739 |      556
1126.13/1126.55	c 1126s |      18 |   619584 |   429052 |    25408     33 |      739 |      556
1128.23/1128.61	c 1128s |      18 |   620116 |   429552 |    25408     33 |      739 |      556
1130.43/1130.85	c 1130s |      18 |   620755 |   430152 |    25408     33 |      739 |      556
1132.42/1132.85	c 1132s |      18 |   621293 |   430652 |    25408     33 |      739 |      556
1134.62/1135.07	c 1134s |      18 |   621960 |   431252 |    25408     33 |      739 |      556
1136.72/1137.14	c 1136s |      18 |   622381 |   431652 |    25408     34 |      739 |      556
1138.92/1139.39	c 1139s |      18 |   623237 |   432452 |    25408     34 |      739 |      556
1141.02/1141.47	c 1141s |      18 |   623966 |   433152 |    25408     34 |      739 |      556
1143.12/1143.57	c 1143s |      18 |   624701 |   433852 |    25408     34 |      739 |      556
1145.32/1145.74	c 1145s |      18 |   625447 |   434552 |    25408     34 |      739 |      556
1147.42/1147.86	c 1147s |      18 |   626089 |   435152 |    25408     34 |      739 |      556
1149.42/1149.87	c 1149s |      18 |   626716 |   435752 |    25408     34 |      739 |      556
1151.72/1152.12	c 1151s |      18 |   627456 |   436452 |    25408     34 |      739 |      556
1153.82/1154.27	c 1153s |      18 |   628104 |   437052 |    25408     34 |      739 |      556
1155.92/1156.36	c 1156s |      18 |   628729 |   437652 |    25408     34 |      739 |      556
1158.03/1158.47	c 1158s |      18 |   629370 |   438252 |    25408     34 |      739 |      556
1160.32/1160.71	c 1160s |      18 |   629985 |   438852 |    25408     34 |      739 |      556
1162.52/1162.95	c 1162s |      18 |   630613 |   439452 |    25408     34 |      739 |      556
1164.63/1165.07	c 1164s |      18 |   631840 |   440352 |    25408     34 |      739 |      556
1166.73/1167.11	c 1166s |      18 |   633449 |   441852 |    27949     34 |      739 |      556
1168.72/1169.16	c 1168s |      18 |   634789 |   443152 |    27949     34 |      739 |      556
1170.72/1171.17	c 1170s |      18 |   635963 |   444252 |    27949     34 |      739 |      556
1171.23/1171.64	c 1171s |      19 |   636197 |   444482 |    27949     34 |      739 |      556
1173.22/1173.65	c 1173s |      19 |   642231 |   445582 |    27949     34 |      739 |      556
1175.32/1175.73	c 1175s |      19 |   643482 |   446582 |    27949     34 |      739 |      556
1177.52/1177.94	c 1177s |      19 |   644669 |   447582 |    27949     34 |      739 |      556
1179.72/1180.12	c 1179s |      19 |   645513 |   448382 |    27949     34 |      739 |      556
1181.72/1182.15	c 1181s |      19 |   646255 |   449082 |    27949     35 |      739 |      556
1183.82/1184.24	c 1183s |      19 |   647179 |   449982 |    27949     35 |      739 |      556
1186.02/1186.49	c 1186s |      19 |   648106 |   450882 |    27949     35 |      739 |      556
1188.12/1188.57	c 1188s |      19 |   648920 |   451682 |    27949     35 |      739 |      556
1190.32/1190.75	c 1190s |      19 |   649735 |   452482 |    27949     35 |      739 |      556
1192.51/1192.91	c 1192s |      19 |   650565 |   453282 |    27949     35 |      739 |      556
1194.51/1194.98	c 1194s |      19 |   651509 |   454182 |    27949     35 |      739 |      556
1196.71/1197.17	c 1196s |      19 |   652461 |   455082 |    27949     35 |      739 |      556
1198.91/1199.34	c 1199s |      19 |   653437 |   455982 |    27949     35 |      739 |      556
1200.92/1201.34	c 1201s |      19 |   654186 |   456682 |    27949     35 |      739 |      556
1203.12/1203.52	c 1203s |      19 |   654915 |   457382 |    27949     35 |      739 |      556
1205.32/1205.77	c 1205s |      19 |   655641 |   458082 |    27949     35 |      739 |      556
1207.42/1207.88	c 1207s |      19 |   656368 |   458782 |    27949     35 |      739 |      556
1209.51/1209.97	c 1209s |      19 |   657101 |   459482 |    27949     35 |      739 |      556
1211.71/1212.17	c 1211s |      19 |   657831 |   460182 |    27949     35 |      739 |      556
1214.02/1214.43	c 1214s |      19 |   658555 |   460882 |    27949     35 |      739 |      556
1216.11/1216.51	c 1216s |      19 |   659164 |   461482 |    27949     35 |      739 |      556
1218.11/1218.59	c 1218s |      19 |   659784 |   462082 |    27949     35 |      739 |      556
1220.41/1220.85	c 1220s |      19 |   660519 |   462782 |    27949     35 |      739 |      556
1222.41/1222.86	c 1222s |      19 |   661144 |   463382 |    27949     35 |      739 |      556
1224.71/1225.17	c 1224s |      19 |   661764 |   463982 |    27949     35 |      739 |      556
1227.01/1227.50	c 1227s |      19 |   662411 |   464582 |    27949     36 |      739 |      556
1229.21/1229.68	c 1229s |      19 |   663137 |   465282 |    27949     36 |      739 |      556
1231.51/1231.99	c 1231s |      19 |   663873 |   465982 |    27949     36 |      739 |      556
1233.71/1234.17	c 1233s |      19 |   664603 |   466682 |    27949     36 |      739 |      556
1236.01/1236.44	c 1236s |      19 |   665320 |   467382 |    27949     36 |      739 |      556
1238.21/1238.68	c 1238s |      19 |   665945 |   467982 |    27949     36 |      739 |      556
1240.31/1240.79	c 1240s |      19 |   666561 |   468582 |    27949     36 |      739 |      556
1242.41/1242.82	c 1242s |      19 |   667196 |   469182 |    27949     36 |      739 |      556
1244.51/1244.97	c 1244s |      19 |   667818 |   469782 |    27949     36 |      739 |      556
1246.71/1247.11	c 1246s |      19 |   668434 |   470382 |    27949     36 |      739 |      556
1249.01/1249.49	c 1249s |      19 |   669056 |   470982 |    27949     36 |      739 |      556
1251.51/1251.91	c 1251s |      19 |   669679 |   471582 |    27949     36 |      739 |      556
1253.50/1253.99	c 1253s |      19 |   670183 |   472082 |    27949     36 |      739 |      556
1255.60/1256.03	c 1255s |      19 |   670709 |   472582 |    27949     36 |      739 |      556
1257.60/1258.08	c 1257s |      19 |   671220 |   473082 |    27949     36 |      739 |      556
1259.70/1260.13	c 1259s |      19 |   671742 |   473582 |    27949     36 |      739 |      556
1261.90/1262.30	c 1262s |      19 |   672256 |   474082 |    27949     36 |      739 |      556
1264.10/1264.52	c 1264s |      19 |   672770 |   474582 |    27949     36 |      739 |      556
1266.40/1266.85	c 1266s |      19 |   673281 |   475082 |    27949     36 |      739 |      556
1268.80/1269.23	c 1268s |      19 |   673802 |   475582 |    27949     36 |      739 |      556
1271.00/1271.49	c 1271s |      19 |   674318 |   476082 |    27949     36 |      739 |      556
1273.20/1273.63	c 1273s |      19 |   674834 |   476582 |    27949     36 |      739 |      556
1275.50/1275.94	c 1275s |      19 |   675345 |   477082 |    27949     36 |      739 |      556
1277.81/1278.27	c 1277s |      19 |   675861 |   477582 |    27949     36 |      739 |      556
1280.11/1280.53	c 1280s |      19 |   676377 |   478082 |    27949     36 |      739 |      556
1282.31/1282.77	c 1282s |      19 |   676889 |   478582 |    27949     36 |      739 |      556
1284.70/1285.12	c 1284s |      19 |   677410 |   479082 |    27949     36 |      739 |      556
1287.00/1287.49	c 1287s |      19 |   677931 |   479582 |    27949     36 |      739 |      556
1289.10/1289.51	c 1289s |      19 |   678232 |   479882 |    27949     37 |      739 |      556
1291.10/1291.52	c 1291s |      19 |   678853 |   480482 |    27949     37 |      739 |      556
1293.30/1293.76	c 1293s |      19 |   679470 |   481082 |    27949     37 |      739 |      556
1295.40/1295.90	c 1295s |      19 |   680103 |   481682 |    27949     37 |      739 |      556
1297.70/1298.19	c 1297s |      19 |   680716 |   482282 |    27949     37 |      739 |      556
1299.90/1300.39	c 1300s |      19 |   681330 |   482882 |    27949     37 |      739 |      556
1302.20/1302.67	c 1302s |      19 |   681970 |   483482 |    27949     37 |      739 |      556
1304.49/1304.92	c 1304s |      19 |   682591 |   484082 |    27949     37 |      739 |      556
1306.59/1307.06	c 1306s |      19 |   683206 |   484682 |    27949     37 |      739 |      556
1308.70/1309.17	c 1308s |      19 |   683837 |   485282 |    27949     37 |      739 |      556
1311.09/1311.53	c 1311s |      19 |   684461 |   485882 |    27949     37 |      739 |      556
1313.59/1314.00	c 1313s |      19 |   685090 |   486482 |    27949     37 |      739 |      556
1315.89/1316.38	c 1316s |      19 |   685710 |   487082 |    27949     37 |      739 |      556
1318.09/1318.53	c 1318s |      19 |   686233 |   487582 |    27949     37 |      739 |      556
1320.39/1320.89	c 1320s |      19 |   686852 |   488182 |    27949     37 |      739 |      556
1322.59/1323.06	c 1322s |      19 |   687367 |   488682 |    27949     37 |      739 |      556
1324.79/1325.22	c 1324s |      19 |   687883 |   489182 |    27949     37 |      739 |      556
1326.79/1327.29	c 1327s |      19 |   688406 |   489682 |    27949     37 |      739 |      556
1329.19/1329.69	c 1329s |      19 |   688914 |   490182 |    27949     37 |      739 |      556
1331.39/1331.88	c 1331s |      19 |   689434 |   490682 |    27949     37 |      739 |      556
1333.39/1333.88	c 1333s |      19 |   689967 |   491182 |    27949     37 |      739 |      556
1335.69/1336.19	c 1335s |      19 |   690491 |   491682 |    27949     37 |      739 |      556
1338.19/1338.61	c 1338s |      19 |   691005 |   492182 |    27949     37 |      739 |      556
1340.50/1340.98	c 1340s |      19 |   691522 |   492682 |    27949     37 |      739 |      556
1342.80/1343.24	c 1342s |      19 |   692043 |   493182 |    27949     37 |      739 |      556
1345.19/1345.69	c 1345s |      19 |   692553 |   493682 |    27949     37 |      739 |      556
1347.29/1347.71	c 1347s |      19 |   692964 |   494082 |    27949     37 |      739 |      556
1349.59/1350.04	c 1349s |      19 |   693476 |   494582 |    27949     37 |      739 |      556
1351.79/1352.21	c 1351s |      19 |   693902 |   494982 |    27949     37 |      739 |      556
1354.69/1355.17	c 1354s |      19 |   694420 |   495482 |    27949     38 |      739 |      556
1356.78/1357.27	c 1356s |      19 |   695042 |   496082 |    27949     38 |      739 |      556
1359.08/1359.53	c 1359s |      19 |   695782 |   496782 |    27949     38 |      739 |      556
1361.18/1361.64	c 1361s |      19 |   696403 |   497382 |    27949     38 |      739 |      556
1363.28/1363.70	c 1363s |      19 |   697018 |   497982 |    27949     38 |      739 |      556
1365.48/1365.97	c 1365s |      19 |   697636 |   498582 |    27949     38 |      739 |      556
1367.58/1368.05	c 1367s |      19 |   698267 |   499182 |    27949     38 |      739 |      556
1369.78/1370.26	c 1369s |      19 |   698883 |   499782 |    27949     38 |      739 |      556
1372.08/1372.58	c 1372s |      19 |   699514 |   500382 |    27949     38 |      739 |      556
1374.38/1374.80	c 1374s |      19 |   700144 |   500982 |    27949     38 |      739 |      556
1376.58/1377.10	c 1376s |      19 |   700763 |   501582 |    27949     38 |      739 |      556
1378.99/1379.46	c 1379s |      19 |   701392 |   502182 |    27949     38 |      739 |      556
1381.38/1381.81	c 1381s |      19 |   702039 |   502782 |    27949     38 |      739 |      556
1383.58/1384.00	c 1383s |      19 |   702649 |   503382 |    27949     38 |      739 |      556
1385.88/1386.33	c 1386s |      19 |   703286 |   503982 |    27949     38 |      739 |      556
1387.98/1388.47	c 1388s |      19 |   703798 |   504482 |    27949     38 |      739 |      556
1390.09/1390.59	c 1390s |      19 |   704319 |   504982 |    27949     38 |      739 |      556
1392.38/1392.82	c 1392s |      19 |   704828 |   505482 |    27949     38 |      739 |      556
1394.49/1394.92	c 1394s |      19 |   705343 |   505982 |    27949     38 |      739 |      556
1396.69/1397.13	c 1396s |      19 |   705858 |   506482 |    27949     38 |      739 |      556
1398.89/1399.36	c 1399s |      19 |   706368 |   506982 |    27949     38 |      739 |      556
1401.28/1401.73	c 1401s |      19 |   706874 |   507482 |    27949     38 |      739 |      556
1403.28/1403.75	c 1403s |      19 |   707282 |   507882 |    27949     38 |      739 |      556
1405.68/1406.13	c 1405s |      19 |   707798 |   508382 |    27949     38 |      739 |      556
1407.88/1408.36	c 1408s |      19 |   708334 |   508882 |    27949     38 |      739 |      556
1409.98/1410.48	c 1410s |      19 |   708866 |   509382 |    27949     38 |      739 |      556
1412.28/1412.79	c 1412s |      19 |   709400 |   509882 |    27949     38 |      739 |      556
1414.58/1415.00	c 1414s |      19 |   709927 |   510382 |    27949     38 |      739 |      556
1416.77/1417.23	c 1416s |      19 |   710454 |   510882 |    27949     38 |      739 |      556
1418.97/1419.41	c 1419s |      19 |   710861 |   511282 |    27949     39 |      739 |      556
1421.17/1421.63	c 1421s |      19 |   711401 |   511782 |    27949     39 |      739 |      556
1423.27/1423.70	c 1423s |      19 |   712161 |   512482 |    27949     39 |      739 |      556
1425.47/1425.96	c 1425s |      19 |   712907 |   513182 |    27949     39 |      739 |      556
1427.77/1428.22	c 1427s |      19 |   713670 |   513882 |    27949     39 |      739 |      556
1429.77/1430.23	c 1429s |      19 |   714319 |   514482 |    27949     39 |      739 |      556
1432.07/1432.53	c 1432s |      19 |   715063 |   515182 |    27949     39 |      739 |      556
1434.47/1434.92	c 1434s |      19 |   715806 |   515882 |    27949     39 |      739 |      556
1436.67/1437.14	c 1436s |      19 |   716458 |   516482 |    27949     39 |      739 |      556
1438.87/1439.37	c 1439s |      19 |   717106 |   517082 |    27949     39 |      739 |      556
1441.17/1441.65	c 1441s |      19 |   717744 |   517682 |    27949     39 |      739 |      556
1443.27/1443.77	c 1443s |      19 |   718386 |   518282 |    27949     39 |      739 |      556
1445.57/1446.08	c 1445s |      19 |   719032 |   518882 |    27949     39 |      739 |      556
1447.97/1448.40	c 1448s |      19 |   719652 |   519482 |    27949     39 |      739 |      556
1450.17/1450.65	c 1450s |      19 |   720282 |   520082 |    27949     39 |      739 |      556
1452.27/1452.71	c 1452s |      19 |   720811 |   520582 |    27949     39 |      739 |      556
1454.47/1454.98	c 1454s |      19 |   721323 |   521082 |    27949     39 |      739 |      556
1456.77/1457.25	c 1456s |      19 |   721847 |   521582 |    27949     39 |      739 |      556
1458.77/1459.27	c 1458s |      19 |   722388 |   522082 |    27949     39 |      739 |      556
1460.87/1461.30	c 1461s |      19 |   722921 |   522582 |    27949     39 |      739 |      556
1462.87/1463.31	c 1463s |      19 |   723464 |   523082 |    27949     39 |      739 |      556
1464.87/1465.36	c 1465s |      19 |   723998 |   523582 |    27949     39 |      739 |      556
1467.07/1467.55	c 1467s |      19 |   724527 |   524082 |    27949     39 |      739 |      556
1469.27/1469.73	c 1469s |      19 |   725056 |   524582 |    27949     39 |      739 |      556
1471.67/1472.16	c 1471s |      19 |   725708 |   525182 |    27949     39 |      739 |      556
1474.06/1474.52	c 1474s |      19 |   726238 |   525682 |    27949     39 |      739 |      556
1476.16/1476.67	c 1476s |      19 |   726763 |   526182 |    27949     39 |      739 |      556
1478.36/1478.80	c 1478s |      19 |   727283 |   526682 |    27949     39 |      739 |      556
1480.66/1481.10	c 1480s |      19 |   727815 |   527182 |    27949     40 |      739 |      556
1482.66/1483.13	c 1482s |      19 |   728441 |   527782 |    27949     40 |      739 |      556
1484.67/1485.13	c 1484s |      19 |   729067 |   528382 |    27949     40 |      739 |      556
1486.66/1487.16	c 1486s |      19 |   729708 |   528982 |    27949     40 |      739 |      556
1488.97/1489.48	c 1489s |      19 |   730336 |   529582 |    27949     40 |      739 |      556
1491.36/1491.81	c 1491s |      19 |   730951 |   530182 |    27949     40 |      739 |      556
1493.47/1493.94	c 1493s |      19 |   731592 |   530782 |    27949     40 |      739 |      556
1495.46/1495.96	c 1495s |      19 |   732105 |   531282 |    27949     40 |      739 |      556
1497.56/1498.00	c 1497s |      19 |   732631 |   531782 |    27949     40 |      739 |      556
1499.66/1500.13	c 1499s |      19 |   733280 |   532382 |    27949     40 |      739 |      556
1501.66/1502.17	c 1501s |      19 |   733947 |   532982 |    27949     40 |      739 |      556
1503.66/1504.18	c 1503s |      19 |   734488 |   533482 |    27949     40 |      739 |      556
1505.66/1506.19	c 1505s |      19 |   735009 |   533982 |    27949     40 |      739 |      556
1507.96/1508.49	c 1508s |      19 |   735527 |   534482 |    27949     40 |      739 |      556
1510.37/1510.87	c 1510s |      19 |   736196 |   535082 |    27949     40 |      739 |      556
1512.67/1513.15	c 1512s |      19 |   736861 |   535682 |    27949     40 |      739 |      556
1515.07/1515.51	c 1515s |      19 |   737509 |   536282 |    27949     40 |      739 |      556
1517.47/1517.95	c 1517s |      19 |   738034 |   536782 |    27949     40 |      739 |      556
1519.77/1520.27	c 1519s |      19 |   738566 |   537282 |    27949     40 |      739 |      556
1521.97/1522.49	c 1522s |      19 |   739088 |   537782 |    27949     40 |      739 |      556
1524.37/1524.82	c 1524s |      19 |   739628 |   538282 |    27949     40 |      739 |      556
1526.66/1527.12	c 1526s |      19 |   740160 |   538782 |    27949     40 |      739 |      556
1528.76/1529.24	c 1528s |      19 |   740714 |   539282 |    27949     40 |      739 |      556
1531.06/1531.54	c 1531s |      19 |   741253 |   539782 |    27949     40 |      739 |      556
1533.16/1533.64	c 1533s |      19 |   741836 |   540282 |    27949     40 |      739 |      556
1535.36/1535.82	c 1535s |      19 |   742378 |   540782 |    27949     40 |      739 |      556
1537.76/1538.24	c 1537s |      19 |   742914 |   541282 |    27949     40 |      739 |      556
1540.16/1540.60	c 1540s |      19 |   743441 |   541782 |    27949     40 |      739 |      556
1542.26/1542.71	c 1542s |      19 |   743864 |   542182 |    27949     40 |      739 |      556
1544.46/1544.99	c 1544s |      19 |   744310 |   542582 |    27949     41 |      739 |      556
1546.86/1547.33	c 1547s |      19 |   744930 |   543182 |    27949     41 |      739 |      556
1549.16/1549.64	c 1549s |      19 |   745558 |   543782 |    27949     41 |      739 |      556
1551.46/1551.90	c 1551s |      19 |   746223 |   544382 |    27949     41 |      739 |      556
1553.46/1553.92	c 1553s |      19 |   746858 |   544982 |    27949     41 |      739 |      556
1555.56/1556.09	c 1555s |      19 |   747502 |   545582 |    27949     41 |      739 |      556
1557.56/1558.09	c 1557s |      19 |   748037 |   546082 |    27949     41 |      739 |      556
1559.86/1560.31	c 1560s |      19 |   748558 |   546582 |    27949     41 |      739 |      556
1561.96/1562.48	c 1562s |      19 |   749067 |   547082 |    27949     41 |      739 |      556
1564.06/1564.56	c 1564s |      19 |   749577 |   547582 |    27949     41 |      739 |      556
1566.46/1566.90	c 1566s |      19 |   750216 |   548182 |    27949     41 |      739 |      556
1568.76/1569.25	c 1568s |      19 |   750838 |   548782 |    27949     41 |      739 |      556
1570.76/1571.27	c 1570s |      19 |   751377 |   549282 |    27949     41 |      739 |      556
1572.86/1573.34	c 1573s |      19 |   751930 |   549782 |    27949     41 |      739 |      556
1575.26/1575.76	c 1575s |      19 |   752574 |   550382 |    27949     41 |      739 |      556
1577.46/1577.95	c 1577s |      19 |   753117 |   550882 |    27949     41 |      739 |      556
1579.56/1580.02	c 1579s |      19 |   753686 |   551382 |    27949     41 |      739 |      556
1581.86/1582.30	c 1582s |      19 |   754226 |   551882 |    27949     41 |      739 |      556
1584.06/1584.58	c 1584s |      19 |   754758 |   552382 |    27949     41 |      739 |      556
1586.25/1586.76	c 1586s |      19 |   755302 |   552882 |    27949     41 |      739 |      556
1588.55/1589.09	c 1588s |      19 |   755819 |   553382 |    27949     41 |      739 |      556
1590.85/1591.35	c 1591s |      19 |   756378 |   553882 |    27949     41 |      739 |      556
1593.05/1593.54	c 1593s |      19 |   756910 |   554382 |    27949     41 |      739 |      556
1595.15/1595.64	c 1595s |      19 |   757458 |   554882 |    27949     41 |      739 |      556
1597.15/1597.68	c 1597s |      19 |   758000 |   555382 |    27949     41 |      739 |      556
1599.35/1599.86	c 1599s |      19 |   758527 |   555882 |    27949     41 |      739 |      556
1601.75/1602.20	c 1601s |      19 |   759056 |   556382 |    27949     41 |      739 |      556
1604.05/1604.50	c 1604s |      19 |   759594 |   556882 |    27949     41 |      739 |      556
1606.55/1607.05	c 1606s |      19 |   760111 |   557382 |    27949     41 |      739 |      556
1608.55/1609.05	c 1608s |      19 |   760532 |   557782 |    27949     41 |      739 |      556
1610.75/1611.28	c 1611s |      19 |   760955 |   558182 |    27949     42 |      739 |      556
1613.05/1613.50	c 1613s |      19 |   761582 |   558782 |    27949     42 |      739 |      556
1615.15/1615.65	c 1615s |      19 |   762205 |   559382 |    27949     42 |      739 |      556
1617.35/1617.82	c 1617s |      19 |   762856 |   559982 |    27949     42 |      739 |      556
1619.55/1620.07	c 1619s |      19 |   763636 |   560682 |    27949     42 |      739 |      556
1621.85/1622.38	c 1622s |      19 |   764264 |   561282 |    27949     42 |      739 |      556
1624.05/1624.52	c 1624s |      19 |   764913 |   561882 |    27949     42 |      739 |      556
1626.35/1626.87	c 1626s |      19 |   765529 |   562482 |    27949     42 |      739 |      556
1628.55/1629.09	c 1628s |      19 |   766208 |   563082 |    27949     42 |      739 |      556
1630.75/1631.24	c 1630s |      19 |   766844 |   563682 |    27949     42 |      739 |      556
1632.95/1633.50	c 1633s |      19 |   767495 |   564282 |    27949     42 |      739 |      556
1635.25/1635.78	c 1635s |      19 |   768121 |   564882 |    27949     42 |      739 |      556
1637.65/1638.10	c 1637s |      19 |   768753 |   565482 |    27949     42 |      739 |      556
1639.75/1640.27	c 1639s |      19 |   769263 |   565982 |    27949     42 |      739 |      556
1641.85/1642.32	c 1642s |      19 |   769787 |   566482 |    27949     42 |      739 |      556
1643.85/1644.37	c 1644s |      19 |   770321 |   566982 |    27949     42 |      739 |      556
1646.14/1646.65	c 1646s |      19 |   770846 |   567482 |    27949     42 |      739 |      556
1648.55/1649.06	c 1648s |      19 |   771535 |   568082 |    27949     42 |      739 |      556
1650.65/1651.15	c 1650s |      19 |   772073 |   568582 |    27949     42 |      739 |      556
1652.74/1653.28	c 1653s |      19 |   772622 |   569082 |    27949     42 |      739 |      556
1655.15/1655.70	c 1655s |      19 |   773134 |   569582 |    27949     42 |      739 |      556
1657.54/1658.04	c 1657s |      19 |   773658 |   570082 |    27949     42 |      739 |      556
1659.55/1660.08	c 1659s |      19 |   774078 |   570482 |    27949     42 |      739 |      556
1661.75/1662.22	c 1661s |      19 |   774618 |   570982 |    27949     42 |      739 |      556
1664.04/1664.55	c 1664s |      19 |   775160 |   571482 |    27949     42 |      739 |      556
1666.44/1666.95	c 1666s |      19 |   775705 |   571982 |    27949     42 |      739 |      556
1668.94/1669.43	c 1669s |      19 |   776238 |   572482 |    27949     42 |      739 |      556
1670.94/1671.46	c 1671s |      19 |   776659 |   572882 |    27949     42 |      739 |      556
1672.94/1673.49	c 1673s |      19 |   777087 |   573282 |    27949     42 |      739 |      556
1675.24/1675.74	c 1675s |      19 |   777522 |   573682 |    27949     43 |      739 |      556
1677.54/1678.03	c 1677s |      19 |   778171 |   574282 |    27949     43 |      739 |      556
1679.64/1680.12	c 1679s |      19 |   778808 |   574882 |    27949     43 |      739 |      556
1681.84/1682.34	c 1682s |      19 |   779440 |   575482 |    27949     43 |      739 |      556
1683.94/1684.43	c 1684s |      19 |   780085 |   576082 |    27949     43 |      739 |      556
1686.04/1686.51	c 1686s |      19 |   780740 |   576682 |    27949     43 |      739 |      556
1688.04/1688.58	c 1688s |      19 |   781393 |   577282 |    27949     43 |      739 |      556
1690.34/1690.83	c 1690s |      19 |   782024 |   577882 |    27949     43 |      739 |      556
1692.64/1693.18	c 1692s |      19 |   782673 |   578482 |    27949     43 |      739 |      556
1694.94/1695.49	c 1695s |      19 |   783340 |   579082 |    27949     43 |      739 |      556
1697.14/1697.62	c 1697s |      19 |   783994 |   579682 |    27949     43 |      739 |      556
1699.33/1699.85	c 1699s |      19 |   784627 |   580282 |    27949     43 |      739 |      556
1701.63/1702.15	c 1701s |      19 |   785268 |   580882 |    27949     43 |      739 |      556
1703.93/1704.49	c 1704s |      19 |   785906 |   581482 |    27949     43 |      739 |      556
1706.03/1706.50	c 1706s |      19 |   786421 |   581982 |    27949     43 |      739 |      556
1708.33/1708.87	c 1708s |      19 |   787088 |   582582 |    27949     43 |      739 |      556
1710.83/1711.38	c 1711s |      19 |   787614 |   583082 |    27949     43 |      739 |      556
1713.13/1713.68	c 1713s |      19 |   788117 |   583582 |    27949     43 |      739 |      556
1715.23/1715.74	c 1715s |      19 |   788539 |   583982 |    27949     43 |      739 |      556
1717.43/1717.92	c 1717s |      19 |   789066 |   584482 |    27949     43 |      739 |      556
1719.63/1720.15	c 1719s |      19 |   789610 |   584982 |    27949     43 |      739 |      556
1721.93/1722.40	c 1722s |      19 |   790145 |   585482 |    27949     43 |      739 |      556
1724.34/1724.86	c 1724s |      19 |   790680 |   585982 |    27949     43 |      739 |      556
1726.73/1727.23	c 1726s |      19 |   791228 |   586482 |    27949     43 |      739 |      556
1728.84/1729.33	c 1729s |      19 |   791658 |   586882 |    27949     43 |      739 |      556
1730.94/1731.46	c 1731s |      19 |   792085 |   587282 |    27949     43 |      739 |      556
1733.03/1733.53	c 1733s |      19 |   792509 |   587682 |    27949     43 |      739 |      556
1735.03/1735.54	c 1735s |      19 |   792931 |   588082 |    27949     43 |      739 |      556
1737.33/1737.87	c 1737s |      19 |   793459 |   588582 |    27949     43 |      739 |      556
1739.53/1740.09	c 1739s |      19 |   793877 |   588982 |    27949     43 |      739 |      556
1742.03/1742.58	c 1742s |      19 |   794303 |   589382 |    27949     44 |      739 |      556
1744.13/1744.61	c 1744s |      19 |   794940 |   589982 |    27949     44 |      739 |      556
1746.13/1746.64	c 1746s |      19 |   795579 |   590582 |    27949     44 |      739 |      556
1748.13/1748.69	c 1748s |      19 |   796226 |   591182 |    27949     44 |      739 |      556
1750.22/1750.72	c 1750s |      19 |   796867 |   591782 |    27949     44 |      739 |      556
1752.32/1752.81	c 1752s |      19 |   797516 |   592382 |    27949     44 |      739 |      556
1754.42/1754.93	c 1754s |      19 |   798042 |   592882 |    27949     44 |      739 |      556
1756.72/1757.26	c 1756s |      19 |   798693 |   593482 |    27949     44 |      739 |      556
1759.02/1759.53	c 1759s |      19 |   799331 |   594082 |    27949     44 |      739 |      556
1761.12/1761.68	c 1761s |      19 |   799888 |   594582 |    27949     44 |      739 |      556
1763.22/1763.72	c 1763s |      19 |   800422 |   595082 |    27949     44 |      739 |      556
1765.42/1765.97	c 1765s |      19 |   800967 |   595582 |    27949     44 |      739 |      556
1767.82/1768.33	c 1768s |      19 |   801607 |   596182 |    27949     44 |      739 |      556
1770.12/1770.69	c 1770s |      19 |   802265 |   596782 |    27949     44 |      739 |      556
1772.52/1773.08	c 1772s |      19 |   802923 |   597382 |    27949     44 |      739 |      556
1774.62/1775.17	c 1774s |      19 |   803449 |   597882 |    27949     44 |      739 |      556
1776.82/1777.39	c 1777s |      19 |   803983 |   598382 |    27949     44 |      739 |      556
1779.22/1779.73	c 1779s |      19 |   804527 |   598882 |    27949     44 |      739 |      556
1781.53/1782.02	c 1781s |      19 |   805064 |   599382 |    27949     44 |      739 |      556
1783.52/1784.04	c 1783s |      19 |   805482 |   599782 |    27949     44 |      739 |      556
1785.93/1786.43	c 1786s |      19 |   806031 |   600282 |    27949     44 |      739 |      556
1788.32/1788.84	c 1788s |      19 |   806551 |   600782 |    27949     44 |      739 |      556
1790.52/1791.03	c 1790s |      19 |   807081 |   601282 |    27949     44 |      739 |      556
1792.63/1793.14	c 1792s |      19 |   807486 |   601682 |    27949     44 |      739 |      556
1794.73/1795.27	c 1794s |      19 |   807908 |   602082 |    27949     44 |      739 |      556
1796.82/1797.38	c 1797s |      19 |   808334 |   602482 |    27949     44 |      739 |      556
1798.92/1799.44	c 1799s |      19 |   808759 |   602882 |    27949     44 |      739 |      556

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

pid=24211
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.04 2.06 4/172 24215
/proc/meminfo: memFree=31535800/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 2635 0 0 0 0 0 0 0 20 0 4 0 30956167 725020672 3508 33554432000 4194304 16246674 140735370612784 140735370612208 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 177775 3518 441 2943 0 174669 0
[pid=24215/tid=24219] ppid=24211 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 743895040 3579 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 749137920 3598 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 753332224 3615 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100133 s]
/proc/loadavg: 2.00 2.04 2.06 4/172 24215
/proc/meminfo: memFree=31535800/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 28466 0 0 0 6 3 0 0 20 0 4 0 30956167 1249447936 29276 33554432000 4194304 16246674 140735370612784 140735370612096 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 305041 29276 801 2943 0 301935 0
[pid=24215/tid=24219] ppid=24211 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1249447936 29276 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1249447936 29276 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1249447936 29276 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200463 s]
/proc/loadavg: 2.00 2.04 2.06 4/172 24215
/proc/meminfo: memFree=31535800/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 48671 0 0 0 13 6 0 0 20 0 4 0 30956167 1332285440 49481 33554432000 4194304 16246674 140735370612784 140735370612096 7205243 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 325265 49481 842 2943 0 322159 0
[pid=24215/tid=24219] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 49481 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 49481 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 49481 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300425 s]
/proc/loadavg: 2.00 2.04 2.06 4/172 24215
/proc/meminfo: memFree=31535800/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 54656 0 0 0 22 7 0 0 20 0 4 0 30956167 1332285440 55466 33554432000 4194304 16246674 140735370612784 140735370612096 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 325265 55471 882 2943 0 322159 0
[pid=24215/tid=24219] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 55474 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 55477 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 55480 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70039 s]
/proc/loadavg: 2.00 2.04 2.06 4/172 24215
/proc/meminfo: memFree=31535800/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 105490 0 0 0 56 13 0 0 20 0 4 0 30956167 1332285440 106300 33554432000 4194304 16246674 140735370612784 140735370612096 13193834 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 325265 106312 882 2943 0 322159 0
[pid=24215/tid=24219] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 106320 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 106329 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 106337 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.08 2.06 2.07 3/183 24226
/proc/meminfo: memFree=30280444/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 214297 0 0 0 122 27 0 0 20 0 4 0 30956167 1332285440 215107 33554432000 4194304 16246674 140735370612784 140735370594688 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 325265 215112 882 2943 0 322159 0
[pid=24215/tid=24219] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 215115 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 215118 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 215121 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10038 s]
/proc/loadavg: 2.08 2.06 2.07 3/183 24226
/proc/meminfo: memFree=29478908/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 269309 0 0 0 275 34 0 0 20 0 4 0 30956167 1344868352 270119 33554432000 4194304 16246674 140735370612784 140735370594688 5722036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 328337 270119 889 2943 0 325231 0
[pid=24215/tid=24219] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270119 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270119 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270119 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.08 2.06 2.07 3/183 24226
/proc/meminfo: memFree=29374412/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 269524 0 0 0 595 34 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140735370612784 140735370594688 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 328337 270334 891 2943 0 325231 0
[pid=24215/tid=24219] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.15 2.07 2.07 3/183 24226
/proc/meminfo: memFree=29375340/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 269524 0 0 0 1235 34 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140735370612784 140735370594688 12478296 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 328337 270334 891 2943 0 325231 0
[pid=24215/tid=24219] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.12 2.07 2.07 3/183 24226
/proc/meminfo: memFree=29376280/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 269525 0 0 0 2515 34 0 0 20 0 4 0 30956167 1344868352 270335 33554432000 4194304 16246674 140735370612784 140735370594688 12477716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 328337 270335 892 2943 0 325231 0
[pid=24215/tid=24219] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270335 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270335 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270335 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.08 2.06 2.07 3/183 24226
/proc/meminfo: memFree=29375680/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 269529 0 0 0 5074 34 0 0 20 0 4 0 30956167 1344868352 270338 33554432000 4194304 16246674 140735370612784 140735370594688 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 328337 270338 892 2943 0 325231 0
[pid=24215/tid=24219] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270338 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270338 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270338 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.10 2.07 2.07 3/183 24227
/proc/meminfo: memFree=29365056/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1318468 CPUtime=102.26 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 270795 0 0 0 10192 34 0 0 20 0 4 0 30956167 1350111232 271580 33554432000 4194304 16246674 140735370612784 140735370594688 5722531 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 329617 271580 892 2943 0 326511 0
[pid=24215/tid=24219] ppid=24211 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1350111232 271580 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1350111232 271580 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1350111232 271580 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1318468


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

/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.12 2.08 2.06 3/183 24258
/proc/meminfo: memFree=29311004/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1335876 CPUtime=1361.88 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 275495 0 0 0 136147 41 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140735370610624 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 333969 275970 892 2943 0 330863 0
[pid=24215/tid=24219] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.10 2.08 2.06 3/183 24259
/proc/meminfo: memFree=29312096/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1335876 CPUtime=1421.88 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 275495 0 0 0 142147 41 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140735370594688 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 333969 275970 892 2943 0 330863 0
[pid=24215/tid=24219] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/183 24261
/proc/meminfo: memFree=29312008/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1335876 CPUtime=1481.86 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 275495 0 0 0 148145 41 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140735370594688 6842338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 333969 275970 892 2943 0 330863 0
[pid=24215/tid=24219] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.21 2.11 2.07 3/183 24262
/proc/meminfo: memFree=29312008/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1335876 CPUtime=1541.87 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 275495 0 0 0 154145 42 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140735370594688 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 333969 275970 892 2943 0 330863 0
[pid=24215/tid=24219] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.21 2.12 2.08 3/183 24263
/proc/meminfo: memFree=29312508/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1335876 CPUtime=1601.85 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 275495 0 0 0 160143 42 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140735370594688 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 333969 275970 892 2943 0 330863 0
[pid=24215/tid=24219] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.17 2.12 2.08 3/184 24267
/proc/meminfo: memFree=29312712/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1335876 CPUtime=1661.84 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 275495 0 0 0 166142 42 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140735370594688 5822187 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 333969 275970 892 2943 0 330863 0
[pid=24215/tid=24219] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.13 2.11 2.08 3/183 24268
/proc/meminfo: memFree=29312228/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1335876 CPUtime=1721.83 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 275495 0 0 0 172141 42 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140735370594688 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 333969 275970 892 2943 0 330863 0
[pid=24215/tid=24219] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/183 24270
/proc/meminfo: memFree=29311488/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1335876 CPUtime=1781.82 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 275495 0 0 0 178140 42 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140735370594688 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 333969 275970 892 2943 0 330863 0
[pid=24215/tid=24219] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 24270
/proc/meminfo: memFree=29311612/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1335876 CPUtime=1800.02 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 275495 0 0 0 179960 42 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140735370594688 5601643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 333969 275970 892 2943 0 330863 0
[pid=24215/tid=24219] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1335876

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

[startup+1800.5 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 24270
/proc/meminfo: memFree=29311612/32872528 swapFree=249752/274280
[pid=24215] ppid=24211 vsize=1335876 CPUtime=1800.02 cores=0,2,4,6
/proc/24215/stat : 24215 (toysat) R 24211 24215 24001 0 -1 4202496 275495 0 0 0 179960 42 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140735370594688 5601643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24215/statm: 333969 275970 892 2943 0 330863 0
[pid=24215/tid=24219] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24219/stat : 24219 (toysat) S 24211 24215 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639192722672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24215/tid=24220] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24220/stat : 24220 (toysat) S 24211 24215 24001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639106739440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24215/tid=24221] ppid=24211 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/24215/task/24221/stat : 24221 (toysat) S 24211 24215 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30956167 1367937024 275970 33554432000 4194304 16246674 140735370612784 140639096265904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1335876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.61
CPU system time (s): 0.425935
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.425935
maximum resident set size= 1103880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275495
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= 356
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.42417 second user time and 6.82396 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-27 00:12:41
IDJOB=4116077
IDBENCH=109425
IDSOLVER=2542
FILE ID=node107/4116077-1466979161
RUNJOBID= node107-1466979161-24189
PBS_JOBID= 19976391
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 7224610b37b7f48e57da5bf33b61b2f7
RANDOM SEED=142926795

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31536568 kB
Buffers:           24696 kB
Cached:           326764 kB
SwapCached:         1976 kB
Active:            75720 kB
Inactive:         278776 kB
Active(anon):       5340 kB
Inactive(anon):      616 kB
Active(file):      70380 kB
Inactive(file):   278160 kB
Unevictable:      274280 kB
Mlocked:          249752 kB
SwapTotal:      67108856 kB
SwapFree:       67099120 kB
Dirty:             33396 kB
Writeback:             0 kB
AnonPages:        434592 kB
Mapped:             7560 kB
Shmem:                 0 kB
Slab:             575488 kB
SReclaimable:      19144 kB
SUnreclaim:       556344 kB
KernelStack:        1472 kB
PageTables:         4332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     371184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71656 MiB
End job on node107 at 2016-06-27 00:42:42