Trace number 4116357

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.09 1800.52

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T20:46:16+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-4116357-1466966776.opb"]
0.00/0.01	c use --random-gen="2054735738 2219636110 2329289338 2839875922 814829516 3309442013 540155019 2561105354 3648312167 2080334750 4146713643 1874166452 3914179599 4187929197 844784458 1426597529 209493671 623135825 172817624 607709433 2098139855 1890175481 4293618573 2320967700 2896014399 3451215738 142209814 3711705083 2611536340 3365757711 4257135435 1306998013 4082788624 1170208731 1240296693 455479664 3132514781 1597002855 1190847596 3593197664 3483733125 2210038536 3855355901 4180543165 3398278053 2032430833 3771242344 764930929 2158963248 21240898 2421858489 1385634821 705909859 3646964473 810476649 1240845135 1873165721 3757540022 4294042787 469564181 3227944692 2486966549 4142470042 3162499446 3968887608 2090228500 1775857223 898763900 884582693 3216007780 2251760736 3986318692 3040536387 425444043 2847589034 2606529074 3982578307 2710698314 27947402 1130557290 632554951 797837759 808298031 3843152647 2451210584 258365547 3162278307 2024516537 203380745 2187278512 267703821 3750477379 985950625 104627197 188907378 4139327485 4194509003 3100271790 2106021463 269985910 2056132566 4187452681 2424124454 1484041690 3664246771 2694931864 1141468444 657817093 2627706742 1603790274 2712026359 2729485177 4183832448 2759820784 3920358485 3505506030 3366986675 3460923599 2275315812 1095133758 3104691871 1558298098 1538677734 2272801489 3224728530 698984334 3538497380 618312096 3462683033 1123713079 2434737707 777222967 2842085429 3321495790 3078728009 35437562 3107059155 1783347460 1698999403 173533387 2344641027 2162873425 2780689101 2340789065 2381769496 2423467092 3518820726 3334859693 302894295 3488106328 3045892164 2156432771 3116964583 2230402175 3143911896 1215177502 504361975 66748771 2935605916 3189127791 1407297273 1660017647 2956157497 939514626 186825072 4199201041 3967261569 1860142417 2718549405 3866949013 2733978407 1231921936 441060583 921623164 2672399016 3269955643 4174844571 377768587 786472825 550036030 2378882399 3339224852 620273869 3592812171 2262322203 1258112342 3410947220 1060997393 928330423 4236750176 2939458372 3029744067 835226538 3363940917 2984425097 4031499616 150804427 3745182823 3012974115 3748785498 564503649 960181312 831340596 4271869680 2519766478 2489278184 1955136495 262355157 3866579055 917283991 1619622131 1445115584 3874966041 850974354 870703752 4109350518 1153750745 1622308062 3011448823 1858781723 2322974948 826578976 1520226092 3765396700 3896265036 3638410513 2878939580 1159441383 1795391466 995468631 3848110575 1428198389 3198087164 2931458687 3219947473 2076284388 3488174651 1833456946 2554442 3524768007 4264081058 1008882940 693101267 2824218741 2887846918 1373073226 2429119256 2018124286 1453978337 567288299 1072538054 1208893251 1142457832 1883945694 567199136 986955403 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8720
0.18/0.26	c Solving starts ...
0.18/0.26	c ============================[ Search Statistics ]============================
0.18/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.26	c =============================================================================
0.18/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      857 |        0
0.29/0.33	c  0.1s |       1 |      465 |      100 |     4234      0 |      858 |      806
0.38/0.43	c  0.2s |       2 |     1984 |      250 |     4658      0 |      859 |      806
0.49/0.59	c  0.3s |       3 |     4284 |      475 |     5124      0 |      859 |      806
0.89/0.96	c  0.7s |       4 |     5638 |      813 |     5637      0 |      859 |      806
1.49/1.54	c  1.3s |       5 |     6755 |     1320 |     6201      0 |      859 |      806
2.19/2.28	c  2.0s |       6 |     9741 |     2081 |     7505      0 |      859 |      806
3.58/3.64	c  3.4s |       7 |    11767 |     3223 |     8256      0 |      859 |      806
4.68/4.74	c  4.5s |       8 |    20304 |     4936 |     9082      0 |      859 |      806
6.69/6.78	c  6.5s |       8 |    26406 |     6936 |     9082      0 |      859 |      806
7.48/7.53	c  7.3s |       9 |    27666 |     7506 |     9991      0 |      859 |      806
9.48/9.57	c  9.3s |       9 |    36440 |     9906 |     9991      0 |      859 |      806
10.88/11.00	c 10.7s |      10 |    40597 |    11361 |    10991      0 |      859 |      806
12.98/13.09	c 12.8s |      10 |    47016 |    13361 |    10991      1 |      859 |      806
15.08/15.19	c 14.9s |      10 |    54371 |    15761 |    10991      1 |      859 |      806
16.68/16.72	c 16.5s |      11 |    57604 |    17144 |    12091      1 |      859 |      806
18.69/18.73	c 18.5s |      11 |    63507 |    18844 |    12091      1 |      859 |      806
20.78/20.85	c 20.6s |      11 |    65086 |    20144 |    12091      1 |      859 |      806
22.88/22.93	c 22.7s |      11 |    66389 |    21244 |    12091      1 |      859 |      806
25.08/25.11	c 24.8s |      11 |    67692 |    22344 |    12091      2 |      859 |      806
27.08/27.14	c 26.9s |      11 |    68898 |    23344 |    12091      2 |      859 |      806
29.18/29.29	c 29.0s |      11 |    69913 |    24244 |    12091      2 |      859 |      806
31.38/31.43	c 31.2s |      11 |    70943 |    25144 |    12091      2 |      859 |      806
32.98/33.04	c 32.8s |      12 |    71776 |    25819 |    13301      2 |      859 |      806
35.08/35.15	c 34.9s |      12 |    78537 |    28119 |    13301      2 |      859 |      806
37.18/37.22	c 37.0s |      12 |    80618 |    29619 |    13301      2 |      859 |      806
39.38/39.42	c 39.2s |      12 |    82096 |    30819 |    13301      2 |      859 |      806
41.48/41.53	c 41.3s |      12 |    83653 |    31919 |    13301      3 |      859 |      806
43.48/43.58	c 43.3s |      12 |    85872 |    33319 |    13301      3 |      859 |      806
45.68/45.71	c 45.5s |      12 |    87642 |    34719 |    13301      3 |      859 |      806
47.78/47.88	c 47.6s |      12 |    89032 |    35919 |    13301      3 |      859 |      806
49.88/49.92	c 49.7s |      12 |    90372 |    37019 |    13301      3 |      859 |      806
51.98/52.03	c 51.8s |      12 |    91491 |    38019 |    13301      3 |      859 |      806
53.38/53.47	c 53.2s |      13 |    92666 |    38832 |    14632      3 |      859 |      806
55.38/55.49	c 55.2s |      13 |    97001 |    40332 |    14632      4 |      859 |      806
57.48/57.56	c 57.3s |      13 |    98754 |    41832 |    14632      4 |      859 |      806
59.58/59.61	c 59.4s |      13 |   100661 |    43332 |    14632      4 |      859 |      806
61.69/61.78	c 61.5s |      13 |   102047 |    44532 |    14632      4 |      859 |      806
63.89/63.94	c 63.7s |      13 |   103243 |    45632 |    14632      4 |      859 |      806
65.88/65.95	c 65.7s |      13 |   104681 |    46832 |    14632      4 |      859 |      806
67.98/68.05	c 67.8s |      13 |   105813 |    47832 |    14632      4 |      859 |      806
69.98/70.05	c 69.8s |      13 |   106807 |    48732 |    14632      4 |      859 |      806
71.98/72.09	c 71.8s |      13 |   107846 |    49632 |    14632      5 |      859 |      806
74.08/74.10	c 73.8s |      13 |   108889 |    50532 |    14632      5 |      859 |      806
76.18/76.27	c 76.0s |      13 |   109893 |    51432 |    14632      5 |      859 |      806
78.18/78.29	c 78.0s |      13 |   110757 |    52232 |    14632      5 |      859 |      806
80.38/80.41	c 80.2s |      13 |   112851 |    53332 |    14632      5 |      859 |      806
82.37/82.43	c 82.2s |      13 |   114350 |    54532 |    14632      5 |      859 |      806
84.47/84.52	c 84.3s |      13 |   115800 |    55632 |    14632      5 |      859 |      806
86.47/86.58	c 86.3s |      13 |   117202 |    56632 |    14632      5 |      859 |      806
88.57/88.67	c 88.4s |      13 |   118333 |    57532 |    14632      5 |      859 |      806
90.77/90.86	c 90.6s |      13 |   119358 |    58332 |    16096      6 |      859 |      806
90.87/90.93	c 90.7s |      14 |   119386 |    58352 |    16096      6 |      859 |      806
92.87/92.98	c 92.7s |      14 |   126112 |    60752 |    16096      6 |      859 |      806
94.97/95.00	c 94.7s |      14 |   129486 |    62652 |    16096      6 |      859 |      806
96.97/97.01	c 96.8s |      14 |   133004 |    64552 |    16096      6 |      859 |      806
99.08/99.12	c 98.9s |      14 |   136017 |    66252 |    16096      6 |      859 |      806
101.28/101.33	c  101s |      14 |   137733 |    67452 |    16096      6 |      859 |      806
103.27/103.35	c  103s |      14 |   138971 |    68352 |    16096      7 |      859 |      806
105.47/105.53	c  105s |      14 |   140269 |    69352 |    16096      7 |      859 |      806
107.67/107.72	c  107s |      14 |   141882 |    70452 |    16096      7 |      859 |      806
109.77/109.84	c  109s |      14 |   146944 |    72352 |    16096      7 |      859 |      806
111.77/111.88	c  111s |      14 |   148783 |    73552 |    16096      7 |      859 |      806
113.87/113.92	c  113s |      14 |   150142 |    74652 |    16096      7 |      859 |      806
115.87/115.98	c  115s |      14 |   151424 |    75652 |    16096      7 |      859 |      806
117.97/118.01	c  117s |      14 |   152921 |    76752 |    16096      7 |      859 |      806
120.16/120.21	c  119s |      14 |   154027 |    77652 |    16096      7 |      859 |      806
122.36/122.48	c  122s |      14 |   155237 |    78652 |    16096      8 |      859 |      806
124.47/124.58	c  124s |      14 |   156449 |    79652 |    16096      8 |      859 |      806
126.66/126.71	c  126s |      14 |   157708 |    80652 |    16096      8 |      859 |      806
128.77/128.86	c  128s |      14 |   158785 |    81552 |    16096      8 |      859 |      806
130.87/130.92	c  130s |      14 |   159902 |    82452 |    16096      8 |      859 |      806
132.96/133.07	c  132s |      14 |   160854 |    83252 |    16096      8 |      859 |      806
135.27/135.32	c  135s |      14 |   161765 |    84052 |    16096      8 |      859 |      806
137.26/137.35	c  137s |      14 |   162596 |    84752 |    16096      8 |      859 |      806
139.36/139.46	c  139s |      14 |   163565 |    85552 |    16096      8 |      859 |      806
141.46/141.58	c  141s |      14 |   164382 |    86252 |    16096      8 |      859 |      806
143.66/143.78	c  143s |      14 |   165314 |    87052 |    17706      8 |      859 |      806
145.27/145.36	c  145s |      15 |   166007 |    87632 |    17706      8 |      859 |      806
147.37/147.44	c  147s |      15 |   169206 |    89132 |    17706      9 |      859 |      806
149.47/149.51	c  149s |      15 |   171696 |    90832 |    17706      9 |      859 |      806
151.47/151.59	c  151s |      15 |   174152 |    92632 |    17706      9 |      859 |      806
153.57/153.65	c  153s |      15 |   175798 |    94032 |    17706      9 |      859 |      806
155.67/155.72	c  155s |      15 |   178131 |    95532 |    17706      9 |      859 |      806
157.77/157.80	c  157s |      15 |   179924 |    96832 |    17706      9 |      859 |      806
159.86/159.98	c  159s |      15 |   181151 |    97932 |    17706      9 |      859 |      806
162.06/162.16	c  161s |      15 |   182492 |    98932 |    17706     10 |      859 |      806
164.07/164.18	c  163s |      15 |   183631 |    99932 |    17706     10 |      859 |      806
166.26/166.39	c  166s |      15 |   184783 |   100932 |    17706     10 |      859 |      806
168.27/168.39	c  168s |      15 |   185859 |   101832 |    17706     10 |      859 |      806
170.47/170.53	c  170s |      15 |   187037 |   102832 |    17706     10 |      859 |      806
172.67/172.78	c  172s |      15 |   188087 |   103732 |    17706     10 |      859 |      806
174.97/175.02	c  174s |      15 |   189160 |   104632 |    17706     10 |      859 |      806
176.96/177.10	c  176s |      15 |   190586 |   105632 |    17706     10 |      859 |      806
179.06/179.11	c  178s |      15 |   192250 |   106732 |    17706     10 |      859 |      806
181.16/181.24	c  180s |      15 |   193530 |   107732 |    17706     10 |      859 |      806
183.26/183.31	c  183s |      15 |   194657 |   108632 |    17706     10 |      859 |      806
185.26/185.33	c  185s |      15 |   195661 |   109432 |    17706     10 |      859 |      806
187.46/187.55	c  187s |      15 |   196581 |   110232 |    17706     11 |      859 |      806
189.46/189.59	c  189s |      15 |   197888 |   111232 |    17706     11 |      859 |      806
191.56/191.66	c  191s |      15 |   199147 |   112232 |    17706     11 |      859 |      806
193.56/193.68	c  193s |      15 |   200099 |   113032 |    17706     11 |      859 |      806
195.56/195.69	c  195s |      15 |   201097 |   113832 |    17706     11 |      859 |      806
197.75/197.81	c  197s |      15 |   202096 |   114632 |    17706     11 |      859 |      806
199.75/199.84	c  199s |      15 |   203055 |   115432 |    17706     11 |      859 |      806
201.85/201.94	c  201s |      15 |   204009 |   116232 |    17706     11 |      859 |      806
204.05/204.19	c  203s |      15 |   204903 |   117032 |    17706     11 |      859 |      806
206.15/206.28	c  206s |      15 |   205910 |   117832 |    17706     11 |      859 |      806
208.25/208.36	c  208s |      15 |   206859 |   118632 |    17706     11 |      859 |      806
210.35/210.42	c  210s |      15 |   207851 |   119432 |    17706     11 |      859 |      806
212.36/212.49	c  212s |      15 |   208578 |   120032 |    17706     12 |      859 |      806
214.46/214.60	c  214s |      15 |   209613 |   120932 |    17706     12 |      859 |      806
216.55/216.61	c  216s |      15 |   210571 |   121732 |    17706     12 |      859 |      806
218.75/218.82	c  218s |      15 |   211763 |   122732 |    17706     12 |      859 |      806
220.75/220.83	c  220s |      15 |   212719 |   123532 |    17706     12 |      859 |      806
222.75/222.85	c  222s |      15 |   213696 |   124332 |    17706     12 |      859 |      806
225.05/225.14	c  224s |      15 |   214607 |   125132 |    17706     12 |      859 |      806
227.15/227.29	c  227s |      15 |   215566 |   125932 |    17706     12 |      859 |      806
229.25/229.37	c  229s |      15 |   216488 |   126732 |    17706     12 |      859 |      806
231.45/231.56	c  231s |      15 |   217283 |   127432 |    17706     12 |      859 |      806
233.45/233.58	c  233s |      15 |   218283 |   128232 |    17706     12 |      859 |      806
235.65/235.75	c  235s |      15 |   219091 |   128932 |    17706     12 |      859 |      806
237.85/237.97	c  237s |      15 |   219899 |   129632 |    17706     12 |      859 |      806
239.85/239.99	c  239s |      15 |   220586 |   130232 |    17706     12 |      859 |      806
242.15/242.22	c  241s |      15 |   221395 |   130932 |    19477     13 |      859 |      806
243.75/243.83	c  243s |      16 |   222115 |   131552 |    19477     13 |      859 |      806
245.75/245.87	c  245s |      16 |   230959 |   133852 |    19477     13 |      859 |      806
247.75/247.89	c  247s |      16 |   233938 |   135652 |    19477     13 |      859 |      806
249.95/250.00	c  249s |      16 |   236572 |   137352 |    19477     13 |      859 |      806
251.95/252.09	c  251s |      16 |   238443 |   138752 |    19477     13 |      859 |      806
253.94/254.09	c  253s |      16 |   239900 |   139952 |    19477     13 |      859 |      806
256.04/256.13	c  255s |      16 |   241199 |   141052 |    19477     13 |      859 |      806
258.14/258.22	c  257s |      16 |   242405 |   142052 |    19477     13 |      859 |      806
260.14/260.24	c  259s |      16 |   243202 |   142752 |    19477     14 |      859 |      806
262.24/262.30	c  262s |      16 |   246712 |   144252 |    19477     14 |      859 |      806
264.24/264.33	c  264s |      16 |   251761 |   146052 |    19477     14 |      859 |      806
266.25/266.36	c  266s |      16 |   256913 |   148352 |    19477     14 |      859 |      806
268.24/268.38	c  268s |      16 |   259212 |   149952 |    19477     14 |      859 |      806
270.34/270.48	c  270s |      16 |   260987 |   151452 |    19477     14 |      859 |      806
272.34/272.49	c  272s |      16 |   262720 |   152752 |    19477     14 |      859 |      806
274.44/274.54	c  274s |      16 |   264141 |   153852 |    19477     15 |      859 |      806
276.45/276.57	c  276s |      16 |   265442 |   154952 |    19477     15 |      859 |      806
278.55/278.69	c  278s |      16 |   267224 |   156252 |    19477     15 |      859 |      806
280.55/280.69	c  280s |      16 |   269075 |   157552 |    19477     15 |      859 |      806
282.65/282.76	c  282s |      16 |   276985 |   159552 |    19477     15 |      859 |      806
284.75/284.88	c  284s |      16 |   279294 |   161052 |    19477     15 |      859 |      806
286.95/287.01	c  286s |      16 |   280563 |   162052 |    19477     15 |      859 |      806
288.95/289.06	c  288s |      16 |   281451 |   162852 |    19477     15 |      859 |      806
291.04/291.11	c  290s |      16 |   282351 |   163652 |    19477     15 |      859 |      806
293.05/293.12	c  292s |      16 |   283261 |   164452 |    19477     15 |      859 |      806
295.14/295.27	c  295s |      16 |   284058 |   165152 |    19477     16 |      859 |      806
297.24/297.31	c  297s |      16 |   284820 |   165852 |    19477     16 |      859 |      806
299.34/299.47	c  299s |      16 |   285578 |   166552 |    19477     16 |      859 |      806
301.54/301.69	c  301s |      16 |   286459 |   167352 |    19477     16 |      859 |      806
303.74/303.86	c  303s |      16 |   287207 |   168052 |    19477     16 |      859 |      806
306.14/306.20	c  305s |      16 |   287950 |   168752 |    19477     16 |      859 |      806
308.44/308.50	c  308s |      16 |   288569 |   169352 |    19477     16 |      859 |      806
310.54/310.68	c  310s |      16 |   289207 |   169952 |    19477     16 |      859 |      806
312.74/312.81	c  312s |      16 |   289847 |   170552 |    19477     16 |      859 |      806
314.84/314.91	c  314s |      16 |   290493 |   171152 |    19477     16 |      859 |      806
317.14/317.20	c  316s |      16 |   291126 |   171752 |    19477     16 |      859 |      806
319.14/319.23	c  318s |      16 |   291642 |   172252 |    19477     16 |      859 |      806
321.25/321.38	c  321s |      16 |   292296 |   172852 |    19477     16 |      859 |      806
323.34/323.48	c  323s |      16 |   293053 |   173552 |    19477     16 |      859 |      806
325.44/325.57	c  325s |      16 |   293808 |   174252 |    19477     16 |      859 |      806
327.44/327.58	c  327s |      16 |   294636 |   174952 |    19477     16 |      859 |      806
329.74/329.84	c  329s |      16 |   295397 |   175652 |    19477     16 |      859 |      806
331.84/331.97	c  331s |      16 |   296075 |   176252 |    19477     17 |      859 |      806
334.24/334.30	c  334s |      16 |   296974 |   177052 |    19477     17 |      859 |      806
336.33/336.49	c  336s |      16 |   297854 |   177852 |    19477     17 |      859 |      806
338.53/338.60	c  338s |      16 |   298616 |   178552 |    19477     17 |      859 |      806
340.63/340.77	c  340s |      16 |   299249 |   179152 |    19477     17 |      859 |      806
342.73/342.86	c  342s |      16 |   299905 |   179752 |    19477     17 |      859 |      806
344.93/345.05	c  344s |      16 |   300434 |   180252 |    19477     17 |      859 |      806
347.13/347.26	c  347s |      16 |   301094 |   180852 |    19477     17 |      859 |      806
349.33/349.42	c  349s |      16 |   301639 |   181352 |    19477     17 |      859 |      806
351.43/351.52	c  351s |      16 |   302305 |   181952 |    19477     17 |      859 |      806
353.53/353.61	c  353s |      16 |   303015 |   182552 |    19477     17 |      859 |      806
355.73/355.89	c  355s |      16 |   303666 |   183152 |    19477     17 |      859 |      806
358.03/358.11	c  357s |      16 |   304331 |   183752 |    19477     17 |      859 |      806
360.23/360.34	c  360s |      16 |   304995 |   184352 |    19477     17 |      859 |      806
362.33/362.46	c  362s |      16 |   305551 |   184852 |    19477     17 |      859 |      806
364.53/364.66	c  364s |      16 |   306100 |   185352 |    19477     17 |      859 |      806
366.83/366.99	c  366s |      16 |   306768 |   185952 |    19477     17 |      859 |      806
369.33/369.45	c  369s |      16 |   307309 |   186452 |    19477     17 |      859 |      806
371.43/371.56	c  371s |      16 |   307738 |   186852 |    19477     17 |      859 |      806
373.53/373.67	c  373s |      16 |   308413 |   187452 |    19477     17 |      859 |      806
375.73/375.84	c  375s |      16 |   308968 |   187952 |    19477     18 |      859 |      806
378.13/378.20	c  377s |      16 |   309595 |   188552 |    19477     18 |      859 |      806
380.23/380.37	c  380s |      16 |   310235 |   189152 |    19477     18 |      859 |      806
382.42/382.53	c  382s |      16 |   312211 |   190152 |    19477     18 |      859 |      806
384.52/384.62	c  384s |      16 |   313050 |   190852 |    19477     18 |      859 |      806
386.62/386.76	c  386s |      16 |   314264 |   191652 |    19477     18 |      859 |      806
388.82/388.94	c  388s |      16 |   316133 |   192852 |    19477     18 |      859 |      806
391.02/391.10	c  390s |      16 |   317385 |   193752 |    19477     18 |      859 |      806
393.02/393.17	c  392s |      16 |   318592 |   194652 |    19477     18 |      859 |      806
395.12/395.26	c  394s |      16 |   319455 |   195352 |    19477     18 |      859 |      806
397.22/397.37	c  397s |      16 |   320220 |   195952 |    19477     18 |      859 |      806
399.42/399.55	c  399s |      16 |   321422 |   196852 |    21425     18 |      859 |      806
400.92/401.08	c  400s |      17 |   322188 |   197432 |    21425     18 |      859 |      806
403.02/403.12	c  402s |      17 |   326496 |   198932 |    21425     18 |      859 |      806
405.12/405.20	c  404s |      17 |   329215 |   200632 |    21425     18 |      859 |      806
407.22/407.35	c  407s |      17 |   330674 |   201832 |    21425     19 |      859 |      806
409.32/409.43	c  409s |      17 |   332242 |   203132 |    21425     19 |      859 |      806
411.33/411.48	c  411s |      17 |   333582 |   204232 |    21425     19 |      859 |      806
413.42/413.52	c  413s |      17 |   334484 |   205032 |    21425     19 |      859 |      806
415.52/415.64	c  415s |      17 |   335402 |   205832 |    21425     19 |      859 |      806
417.52/417.69	c  417s |      17 |   336877 |   207032 |    21425     19 |      859 |      806
419.62/419.79	c  419s |      17 |   338395 |   208132 |    21425     19 |      859 |      806
421.82/421.90	c  421s |      17 |   340371 |   209432 |    21425     19 |      859 |      806
423.82/423.98	c  423s |      17 |   342558 |   210832 |    21425     19 |      859 |      806
425.92/426.08	c  425s |      17 |   343814 |   211832 |    21425     19 |      859 |      806
428.22/428.32	c  428s |      17 |   344953 |   212832 |    21425     19 |      859 |      806
430.42/430.57	c  430s |      17 |   345838 |   213632 |    21425     20 |      859 |      806
432.52/432.68	c  432s |      17 |   347077 |   214632 |    21425     20 |      859 |      806
434.72/434.88	c  434s |      17 |   348295 |   215632 |    21425     20 |      859 |      806
436.72/436.89	c  436s |      17 |   349479 |   216532 |    21425     20 |      859 |      806
438.82/438.95	c  438s |      17 |   350788 |   217532 |    21425     20 |      859 |      806
440.92/441.04	c  440s |      17 |   352066 |   218432 |    21425     20 |      859 |      806
443.01/443.15	c  442s |      17 |   353285 |   219332 |    21425     20 |      859 |      806
445.11/445.29	c  445s |      17 |   354241 |   220132 |    21425     20 |      859 |      806
447.31/447.48	c  447s |      17 |   355058 |   220832 |    21425     20 |      859 |      806
449.41/449.55	c  449s |      17 |   355895 |   221532 |    21425     20 |      859 |      806
451.71/451.83	c  451s |      17 |   356875 |   222332 |    21425     20 |      859 |      806
453.91/454.00	c  453s |      17 |   357922 |   223132 |    21425     20 |      859 |      806
456.01/456.11	c  455s |      17 |   358798 |   223832 |    21425     20 |      859 |      806
458.31/458.44	c  458s |      17 |   359640 |   224532 |    21425     20 |      859 |      806
460.51/460.66	c  460s |      17 |   360497 |   225232 |    21425     20 |      859 |      806
462.81/462.94	c  462s |      17 |   361224 |   225832 |    21425     21 |      859 |      806
465.01/465.19	c  464s |      17 |   362225 |   226632 |    21425     21 |      859 |      806
467.31/467.43	c  467s |      17 |   363186 |   227432 |    21425     21 |      859 |      806
469.41/469.50	c  469s |      17 |   364032 |   228132 |    21425     21 |      859 |      806
471.41/471.55	c  471s |      17 |   364912 |   228832 |    21425     21 |      859 |      806
473.61/473.70	c  473s |      17 |   365811 |   229532 |    21425     21 |      859 |      806
475.81/475.92	c  475s |      17 |   366859 |   230332 |    21425     21 |      859 |      806
477.91/478.06	c  477s |      17 |   367586 |   230932 |    21425     21 |      859 |      806
480.21/480.35	c  480s |      17 |   368412 |   231632 |    21425     21 |      859 |      806
482.71/482.87	c  482s |      17 |   369234 |   232332 |    21425     21 |      859 |      806
484.71/484.88	c  484s |      17 |   369801 |   232832 |    21425     21 |      859 |      806
487.01/487.11	c  486s |      17 |   370486 |   233432 |    21425     21 |      859 |      806
489.11/489.29	c  489s |      17 |   371217 |   234032 |    21425     21 |      859 |      806
491.41/491.57	c  491s |      17 |   371906 |   234632 |    21425     21 |      859 |      806
493.61/493.74	c  493s |      17 |   372612 |   235232 |    21425     21 |      859 |      806
495.81/495.94	c  495s |      17 |   373578 |   235932 |    21425     21 |      859 |      806
498.11/498.21	c  497s |      17 |   374441 |   236632 |    21425     21 |      859 |      806
500.42/500.56	c  500s |      17 |   375255 |   237332 |    21425     21 |      859 |      806
502.62/502.73	c  502s |      17 |   375856 |   237832 |    21425     22 |      859 |      806
504.71/504.90	c  504s |      17 |   376849 |   238632 |    21425     22 |      859 |      806
507.02/507.16	c  506s |      17 |   377804 |   239432 |    21425     22 |      859 |      806
509.22/509.39	c  509s |      17 |   378602 |   240132 |    21425     22 |      859 |      806
511.52/511.61	c  511s |      17 |   379452 |   240832 |    21425     22 |      859 |      806
513.72/513.82	c  513s |      17 |   380222 |   241532 |    21425     22 |      859 |      806
515.81/515.97	c  515s |      17 |   381004 |   242232 |    21425     22 |      859 |      806
518.11/518.20	c  517s |      17 |   381969 |   243032 |    21425     22 |      859 |      806
520.21/520.39	c  520s |      17 |   382766 |   243732 |    21425     22 |      859 |      806
522.61/522.72	c  522s |      17 |   383553 |   244432 |    21425     22 |      859 |      806
524.71/524.87	c  524s |      17 |   384231 |   245032 |    21425     22 |      859 |      806
527.01/527.18	c  526s |      17 |   385020 |   245732 |    21425     22 |      859 |      806
529.21/529.35	c  529s |      17 |   385702 |   246332 |    21425     22 |      859 |      806
531.21/531.39	c  531s |      17 |   386267 |   246832 |    21425     22 |      859 |      806
533.41/533.56	c  533s |      17 |   387166 |   247532 |    21425     22 |      859 |      806
535.40/535.59	c  535s |      17 |   387903 |   248132 |    21425     22 |      859 |      806
537.81/537.99	c  537s |      17 |   388754 |   248832 |    21425     22 |      859 |      806
540.01/540.16	c  539s |      17 |   389492 |   249432 |    21425     22 |      859 |      806
542.00/542.18	c  541s |      17 |   390175 |   250032 |    21425     22 |      859 |      806
544.30/544.41	c  544s |      17 |   390895 |   250632 |    21425     23 |      859 |      806
546.40/546.58	c  546s |      17 |   391829 |   251432 |    21425     23 |      859 |      806
548.60/548.74	c  548s |      17 |   392636 |   252132 |    21425     23 |      859 |      806
550.60/550.78	c  550s |      17 |   393324 |   252732 |    21425     23 |      859 |      806
552.60/552.79	c  552s |      17 |   394047 |   253332 |    21425     23 |      859 |      806
554.90/555.00	c  554s |      17 |   394838 |   254032 |    21425     23 |      859 |      806
557.20/557.37	c  557s |      17 |   395663 |   254732 |    21425     23 |      859 |      806
559.50/559.60	c  559s |      17 |   396336 |   255332 |    21425     23 |      859 |      806
561.60/561.77	c  561s |      17 |   397048 |   255932 |    21425     23 |      859 |      806
563.80/563.91	c  563s |      17 |   397728 |   256532 |    21425     23 |      859 |      806
566.00/566.13	c  565s |      17 |   398417 |   257132 |    21425     23 |      859 |      806
568.20/568.36	c  568s |      17 |   399105 |   257732 |    21425     23 |      859 |      806
570.60/570.71	c  570s |      17 |   399784 |   258332 |    21425     23 |      859 |      806
572.80/572.97	c  572s |      17 |   400447 |   258932 |    21425     23 |      859 |      806
575.10/575.22	c  574s |      17 |   401107 |   259532 |    21425     23 |      859 |      806
577.10/577.28	c  577s |      17 |   401666 |   260032 |    21425     23 |      859 |      806
579.40/579.50	c  579s |      17 |   402368 |   260632 |    21425     23 |      859 |      806
581.40/581.53	c  581s |      17 |   402917 |   261132 |    21425     23 |      859 |      806
583.50/583.60	c  583s |      17 |   403491 |   261632 |    21425     23 |      859 |      806
585.60/585.73	c  585s |      17 |   404050 |   262132 |    21425     23 |      859 |      806
587.79/587.96	c  587s |      17 |   404507 |   262532 |    21425     24 |      859 |      806
589.89/590.00	c  589s |      17 |   405391 |   263232 |    21425     24 |      859 |      806
591.89/592.04	c  591s |      17 |   406027 |   263832 |    21425     24 |      859 |      806
594.00/594.13	c  593s |      17 |   407198 |   264632 |    21425     24 |      859 |      806
595.99/596.14	c  595s |      17 |   409452 |   265732 |    21425     24 |      859 |      806
597.99/598.15	c  597s |      17 |   411483 |   266932 |    21425     24 |      859 |      806
600.09/600.20	c  599s |      17 |   414174 |   268132 |    21425     24 |      859 |      806
602.19/602.38	c  602s |      17 |   415754 |   269232 |    21425     24 |      859 |      806
604.29/604.42	c  604s |      17 |   417134 |   270232 |    21425     24 |      859 |      806
606.29/606.47	c  606s |      17 |   418360 |   271132 |    21425     24 |      859 |      806
608.39/608.55	c  608s |      17 |   419348 |   271932 |    21425     24 |      859 |      806
610.40/610.60	c  610s |      17 |   420330 |   272732 |    21425     24 |      859 |      806
612.70/612.83	c  612s |      17 |   421458 |   273632 |    21425     24 |      859 |      806
614.69/614.84	c  614s |      17 |   422263 |   274332 |    21425     24 |      859 |      806
616.79/616.92	c  616s |      17 |   423116 |   275032 |    21425     25 |      859 |      806
618.79/618.92	c  618s |      17 |   424222 |   275932 |    21425     25 |      859 |      806
620.79/620.97	c  620s |      17 |   425147 |   276732 |    21425     25 |      859 |      806
622.99/623.19	c  622s |      17 |   426057 |   277532 |    21425     25 |      859 |      806
625.09/625.23	c  624s |      17 |   426918 |   278232 |    21425     25 |      859 |      806
627.19/627.33	c  627s |      17 |   427923 |   279032 |    21425     25 |      859 |      806
629.29/629.40	c  629s |      17 |   428742 |   279732 |    21425     25 |      859 |      806
631.49/631.64	c  631s |      17 |   429856 |   280632 |    21425     25 |      859 |      806
633.59/633.72	c  633s |      17 |   430821 |   281432 |    21425     25 |      859 |      806
635.79/635.95	c  635s |      17 |   431960 |   282332 |    21425     25 |      859 |      806
637.89/638.10	c  637s |      17 |   432773 |   283032 |    21425     25 |      859 |      806
639.98/640.12	c  639s |      17 |   433458 |   283632 |    21425     25 |      859 |      806
642.29/642.43	c  642s |      17 |   434298 |   284332 |    21425     25 |      859 |      806
644.28/644.49	c  644s |      17 |   435135 |   285032 |    21425     25 |      859 |      806
646.58/646.77	c  646s |      17 |   435948 |   285732 |    21425     25 |      859 |      806
648.89/649.08	c  648s |      17 |   436715 |   286432 |    21425     25 |      859 |      806
650.99/651.13	c  650s |      17 |   437276 |   286932 |    21425     25 |      859 |      806
653.09/653.21	c  652s |      17 |   437851 |   287432 |    21425     26 |      859 |      806
655.19/655.32	c  655s |      17 |   438747 |   288232 |    21425     26 |      859 |      806
657.29/657.45	c  657s |      17 |   439680 |   289032 |    21425     26 |      859 |      806
659.49/659.69	c  659s |      17 |   440643 |   289832 |    21425     26 |      859 |      806
661.59/661.77	c  661s |      17 |   441430 |   290532 |    21425     26 |      859 |      806
663.69/663.84	c  663s |      17 |   442095 |   291132 |    21425     26 |      859 |      806
665.79/665.94	c  665s |      17 |   442783 |   291732 |    21425     26 |      859 |      806
668.19/668.31	c  668s |      17 |   443451 |   292332 |    21425     26 |      859 |      806
670.39/670.56	c  670s |      17 |   444279 |   293032 |    21425     26 |      859 |      806
672.39/672.59	c  672s |      17 |   445116 |   293732 |    21425     26 |      859 |      806
674.59/674.77	c  674s |      17 |   446103 |   294532 |    23568     26 |      859 |      806
676.89/677.04	c  676s |      17 |   447085 |   295332 |    23568     26 |      859 |      806
678.99/679.10	c  678s |      17 |   447972 |   296032 |    23568     26 |      859 |      806
679.59/679.70	c  679s |      18 |   448227 |   296252 |    23568     26 |      859 |      806
681.58/681.72	c  681s |      18 |   456068 |   298252 |    23568     26 |      859 |      806
683.58/683.75	c  683s |      18 |   458551 |   299952 |    23568     26 |      859 |      806
685.58/685.76	c  685s |      18 |   460881 |   301452 |    23568     26 |      859 |      806
687.68/687.85	c  687s |      18 |   462309 |   302552 |    23568     27 |      859 |      806
689.78/689.94	c  689s |      18 |   464010 |   303852 |    23568     27 |      859 |      806
691.89/692.05	c  691s |      18 |   465660 |   305052 |    23568     27 |      859 |      806
693.99/694.18	c  693s |      18 |   469118 |   306652 |    23568     27 |      859 |      806
696.08/696.25	c  695s |      18 |   470844 |   307752 |    23568     27 |      859 |      806
698.18/698.31	c  698s |      18 |   472551 |   308952 |    23568     27 |      859 |      806
700.18/700.39	c  700s |      18 |   474549 |   310152 |    23568     27 |      859 |      806
702.28/702.45	c  702s |      18 |   475914 |   311152 |    23568     27 |      859 |      806
704.48/704.62	c  704s |      18 |   477288 |   312152 |    23568     27 |      859 |      806
706.58/706.75	c  706s |      18 |   478426 |   313052 |    23568     27 |      859 |      806
708.68/708.89	c  708s |      18 |   479717 |   313952 |    23568     27 |      859 |      806
710.78/710.96	c  710s |      18 |   480757 |   314752 |    23568     27 |      859 |      806
713.08/713.21	c  712s |      18 |   481631 |   315452 |    23568     28 |      859 |      806
715.18/715.30	c  715s |      18 |   482806 |   316352 |    23568     28 |      859 |      806
717.18/717.38	c  717s |      18 |   483821 |   317152 |    23568     28 |      859 |      806
719.48/719.65	c  719s |      18 |   484774 |   317952 |    23568     28 |      859 |      806
721.67/721.80	c  721s |      18 |   485746 |   318752 |    23568     28 |      859 |      806
723.87/724.07	c  723s |      18 |   486699 |   319552 |    23568     28 |      859 |      806
725.98/726.16	c  725s |      18 |   487548 |   320252 |    23568     28 |      859 |      806
728.08/728.21	c  727s |      18 |   488221 |   320852 |    23568     28 |      859 |      806
730.07/730.26	c  729s |      18 |   488941 |   321452 |    23568     28 |      859 |      806
732.27/732.48	c  732s |      18 |   489791 |   322152 |    23568     28 |      859 |      806
734.57/734.71	c  734s |      18 |   490645 |   322852 |    23568     28 |      859 |      806
736.77/736.99	c  736s |      18 |   491475 |   323552 |    23568     28 |      859 |      806
739.08/739.28	c  739s |      18 |   492232 |   324152 |    23568     28 |      859 |      806
741.38/741.54	c  741s |      18 |   492945 |   324752 |    23568     28 |      859 |      806
743.58/743.71	c  743s |      18 |   493653 |   325352 |    23568     28 |      859 |      806
745.68/745.88	c  745s |      18 |   494342 |   325952 |    23568     28 |      859 |      806
747.88/748.00	c  747s |      18 |   495041 |   326552 |    23568     28 |      859 |      806
749.87/750.08	c  749s |      18 |   495711 |   327152 |    23568     28 |      859 |      806
752.07/752.26	c  752s |      18 |   496408 |   327752 |    23568     28 |      859 |      806
754.17/754.37	c  754s |      18 |   498653 |   328852 |    23568     29 |      859 |      806
756.27/756.49	c  756s |      18 |   500770 |   330152 |    23568     29 |      859 |      806
758.47/758.66	c  758s |      18 |   501992 |   331152 |    23568     29 |      859 |      806
760.67/760.81	c  760s |      18 |   503298 |   332152 |    23568     29 |      859 |      806
762.77/762.99	c  762s |      18 |   504487 |   333052 |    23568     29 |      859 |      806
764.77/764.99	c  764s |      18 |   505606 |   333852 |    23568     29 |      859 |      806
766.87/767.07	c  766s |      18 |   506842 |   334652 |    23568     29 |      859 |      806
769.06/769.29	c  769s |      18 |   508513 |   335652 |    23568     29 |      859 |      806
771.26/771.48	c  771s |      18 |   509834 |   336552 |    23568     29 |      859 |      806
773.36/773.55	c  773s |      18 |   513121 |   337752 |    23568     29 |      859 |      806
775.47/775.67	c  775s |      18 |   516483 |   339052 |    23568     29 |      859 |      806
777.57/777.71	c  777s |      18 |   517898 |   340052 |    23568     29 |      859 |      806
779.66/779.87	c  779s |      18 |   519281 |   341052 |    23568     29 |      859 |      806
781.76/781.90	c  781s |      18 |   523380 |   342452 |    23568     30 |      859 |      806
783.76/783.93	c  783s |      18 |   524941 |   343652 |    23568     30 |      859 |      806
785.76/785.97	c  785s |      18 |   526393 |   344752 |    23568     30 |      859 |      806
787.76/787.97	c  787s |      18 |   527690 |   345752 |    23568     30 |      859 |      806
789.86/790.01	c  789s |      18 |   529324 |   346852 |    23568     30 |      859 |      806
791.87/792.08	c  791s |      18 |   530526 |   347852 |    23568     30 |      859 |      806
793.96/794.18	c  793s |      18 |   531461 |   348652 |    23568     30 |      859 |      806
796.06/796.29	c  796s |      18 |   532375 |   349452 |    23568     30 |      859 |      806
798.16/798.33	c  798s |      18 |   533165 |   350152 |    23568     30 |      859 |      806
800.36/800.55	c  800s |      18 |   534052 |   350952 |    23568     30 |      859 |      806
802.46/802.60	c  802s |      18 |   534854 |   351652 |    23568     30 |      859 |      806
804.46/804.65	c  804s |      18 |   535824 |   352452 |    23568     30 |      859 |      806
806.66/806.88	c  806s |      18 |   536758 |   353252 |    23568     30 |      859 |      806
808.76/808.98	c  808s |      18 |   537602 |   353952 |    23568     30 |      859 |      806
810.96/811.13	c  810s |      18 |   538399 |   354652 |    23568     30 |      859 |      806
813.26/813.40	c  813s |      18 |   539057 |   355252 |    23568     31 |      859 |      806
815.26/815.45	c  815s |      18 |   539840 |   355952 |    23568     31 |      859 |      806
817.36/817.52	c  817s |      18 |   540777 |   356752 |    23568     31 |      859 |      806
819.46/819.62	c  819s |      18 |   541732 |   357552 |    23568     31 |      859 |      806
821.46/821.67	c  821s |      18 |   542662 |   358352 |    23568     31 |      859 |      806
823.65/823.84	c  823s |      18 |   543410 |   359052 |    23568     31 |      859 |      806
825.75/825.99	c  825s |      18 |   544360 |   359852 |    23568     31 |      859 |      806
827.95/828.14	c  827s |      18 |   545150 |   360552 |    23568     31 |      859 |      806
830.05/830.23	c  829s |      18 |   545965 |   361252 |    23568     31 |      859 |      806
832.25/832.40	c  832s |      18 |   546639 |   361852 |    23568     31 |      859 |      806
834.25/834.46	c  834s |      18 |   547323 |   362452 |    23568     31 |      859 |      806
836.65/836.85	c  836s |      18 |   548104 |   363152 |    23568     31 |      859 |      806
838.95/839.15	c  838s |      18 |   548776 |   363752 |    23568     31 |      859 |      806
841.15/841.32	c  841s |      18 |   549483 |   364352 |    23568     31 |      859 |      806
843.25/843.44	c  843s |      18 |   550160 |   364952 |    23568     31 |      859 |      806
845.45/845.67	c  845s |      18 |   550868 |   365552 |    23568     31 |      859 |      806
847.55/847.76	c  847s |      18 |   551529 |   366152 |    23568     31 |      859 |      806
849.85/850.02	c  849s |      18 |   552223 |   366752 |    23568     31 |      859 |      806
852.15/852.33	c  852s |      18 |   552895 |   367352 |    23568     31 |      859 |      806
854.35/854.52	c  854s |      18 |   553461 |   367852 |    23568     31 |      859 |      806
856.45/856.61	c  856s |      18 |   553916 |   368252 |    23568     32 |      859 |      806
858.66/858.85	c  858s |      18 |   554686 |   368952 |    23568     32 |      859 |      806
860.86/861.00	c  860s |      18 |   555488 |   369652 |    23568     32 |      859 |      806
862.96/863.12	c  862s |      18 |   556122 |   370252 |    23568     32 |      859 |      806
865.06/865.25	c  864s |      18 |   557139 |   371052 |    23568     32 |      859 |      806
867.06/867.26	c  866s |      18 |   558030 |   371752 |    23568     32 |      859 |      806
869.26/869.47	c  869s |      18 |   558985 |   372552 |    23568     32 |      859 |      806
871.46/871.69	c  871s |      18 |   559794 |   373252 |    23568     32 |      859 |      806
873.66/873.83	c  873s |      18 |   560607 |   373952 |    23568     32 |      859 |      806
875.95/876.15	c  875s |      18 |   561397 |   374652 |    23568     32 |      859 |      806
878.05/878.28	c  878s |      18 |   562082 |   375252 |    23568     32 |      859 |      806
880.35/880.57	c  880s |      18 |   562922 |   375952 |    23568     32 |      859 |      806
882.45/882.62	c  882s |      18 |   566519 |   377052 |    23568     32 |      859 |      806
884.45/884.66	c  884s |      18 |   571585 |   378552 |    23568     32 |      859 |      806
886.46/886.68	c  886s |      18 |   573254 |   379552 |    23568     32 |      859 |      806
888.55/888.71	c  888s |      18 |   574202 |   380252 |    23568     32 |      859 |      806
890.65/890.80	c  890s |      18 |   575631 |   380952 |    23568     33 |      859 |      806
892.65/892.80	c  892s |      18 |   579337 |   382552 |    23568     33 |      859 |      806
894.65/894.82	c  894s |      18 |   583015 |   384152 |    23568     33 |      859 |      806
896.75/896.96	c  896s |      18 |   585524 |   385552 |    23568     33 |      859 |      806
898.95/899.11	c  898s |      18 |   587247 |   386652 |    23568     33 |      859 |      806
900.95/901.18	c  900s |      18 |   589000 |   387752 |    23568     33 |      859 |      806
903.05/903.25	c  902s |      18 |   590357 |   388752 |    23568     33 |      859 |      806
905.25/905.44	c  905s |      18 |   591551 |   389652 |    23568     33 |      859 |      806
907.45/907.61	c  907s |      18 |   592592 |   390452 |    23568     33 |      859 |      806
909.55/909.80	c  909s |      18 |   593674 |   391352 |    23568     33 |      859 |      806
911.85/912.02	c  911s |      18 |   594612 |   392152 |    23568     33 |      859 |      806
913.84/914.09	c  913s |      18 |   595465 |   392852 |    23568     33 |      859 |      806
915.94/916.11	c  915s |      18 |   596137 |   393452 |    23568     33 |      859 |      806
918.04/918.28	c  918s |      18 |   596992 |   394152 |    23568     33 |      859 |      806
920.14/920.33	c  920s |      18 |   597623 |   394652 |    23568     34 |      859 |      806
922.24/922.42	c  922s |      18 |   598566 |   395452 |    23568     34 |      859 |      806
924.34/924.52	c  924s |      18 |   599500 |   396252 |    23568     34 |      859 |      806
926.34/926.54	c  926s |      18 |   600187 |   396852 |    23568     34 |      859 |      806
928.64/928.81	c  928s |      18 |   600984 |   397552 |    23568     34 |      859 |      806
930.94/931.11	c  930s |      18 |   601838 |   398252 |    23568     34 |      859 |      806
933.04/933.23	c  932s |      18 |   602655 |   398952 |    23568     34 |      859 |      806
935.24/935.42	c  935s |      18 |   603589 |   399752 |    23568     34 |      859 |      806
937.34/937.56	c  937s |      18 |   604249 |   400352 |    23568     34 |      859 |      806
939.44/939.66	c  939s |      18 |   605018 |   400952 |    23568     34 |      859 |      806
941.44/941.68	c  941s |      18 |   605904 |   401652 |    23568     34 |      859 |      806
943.64/943.87	c  943s |      18 |   606747 |   402352 |    23568     34 |      859 |      806
945.94/946.11	c  945s |      18 |   607584 |   403052 |    23568     34 |      859 |      806
948.14/948.39	c  948s |      18 |   608397 |   403752 |    23568     34 |      859 |      806
950.34/950.52	c  950s |      18 |   609086 |   404352 |    23568     34 |      859 |      806
952.54/952.74	c  952s |      18 |   609777 |   404952 |    23568     34 |      859 |      806
954.74/954.91	c  954s |      18 |   610484 |   405552 |    23568     34 |      859 |      806
956.94/957.11	c  956s |      18 |   611181 |   406152 |    23568     34 |      859 |      806
959.15/959.31	c  959s |      18 |   611877 |   406752 |    23568     34 |      859 |      806
961.25/961.48	c  961s |      18 |   612577 |   407352 |    23568     34 |      859 |      806
963.64/963.86	c  963s |      18 |   613169 |   407852 |    23568     35 |      859 |      806
965.94/966.13	c  965s |      18 |   613986 |   408552 |    23568     35 |      859 |      806
968.14/968.31	c  968s |      18 |   614666 |   409152 |    23568     35 |      859 |      806
970.44/970.66	c  970s |      18 |   615483 |   409852 |    23568     35 |      859 |      806
972.54/972.75	c  972s |      18 |   616176 |   410452 |    23568     35 |      859 |      806
974.54/974.79	c  974s |      18 |   616879 |   411052 |    23568     35 |      859 |      806
976.83/977.06	c  976s |      18 |   617681 |   411752 |    23568     35 |      859 |      806
979.13/979.33	c  979s |      18 |   618338 |   412352 |    23568     35 |      859 |      806
981.23/981.42	c  981s |      18 |   618910 |   412852 |    23568     35 |      859 |      806
983.24/983.46	c  983s |      18 |   619477 |   413352 |    23568     35 |      859 |      806
985.44/985.61	c  985s |      18 |   620166 |   413952 |    23568     35 |      859 |      806
987.53/987.72	c  987s |      18 |   620891 |   414552 |    23568     35 |      859 |      806
989.73/989.94	c  989s |      18 |   621749 |   415252 |    23568     35 |      859 |      806
991.83/992.06	c  991s |      18 |   622612 |   415952 |    23568     35 |      859 |      806
994.03/994.24	c  993s |      18 |   623439 |   416652 |    23568     35 |      859 |      806
996.13/996.30	c  996s |      18 |   624126 |   417252 |    23568     35 |      859 |      806
998.33/998.54	c  998s |      18 |   624812 |   417852 |    23568     35 |      859 |      806
1000.63/1000.80	c 1000s |      18 |   625538 |   418452 |    23568     35 |      859 |      806
1002.93/1003.12	c 1002s |      18 |   626406 |   419152 |    23568     35 |      859 |      806
1005.03/1005.24	c 1004s |      18 |   627117 |   419752 |    23568     35 |      859 |      806
1007.03/1007.24	c 1006s |      18 |   627864 |   420352 |    23568     35 |      859 |      806
1009.13/1009.32	c 1009s |      18 |   628457 |   420852 |    23568     35 |      859 |      806
1011.13/1011.39	c 1011s |      18 |   628920 |   421252 |    23568     36 |      859 |      806
1013.23/1013.49	c 1013s |      18 |   629730 |   421952 |    23568     36 |      859 |      806
1015.43/1015.66	c 1015s |      18 |   630557 |   422652 |    23568     36 |      859 |      806
1017.73/1017.93	c 1017s |      18 |   631377 |   423352 |    23568     36 |      859 |      806
1019.93/1020.16	c 1019s |      18 |   632173 |   424052 |    23568     36 |      859 |      806
1022.23/1022.48	c 1022s |      18 |   632971 |   424752 |    23568     36 |      859 |      806
1024.53/1024.76	c 1024s |      18 |   633775 |   425452 |    23568     36 |      859 |      806
1026.53/1026.79	c 1026s |      18 |   634462 |   426052 |    23568     36 |      859 |      806
1028.72/1028.96	c 1028s |      18 |   635172 |   426652 |    23568     36 |      859 |      806
1030.82/1031.08	c 1030s |      18 |   635863 |   427252 |    23568     36 |      859 |      806
1033.12/1033.35	c 1033s |      18 |   636547 |   427852 |    23568     36 |      859 |      806
1035.42/1035.65	c 1035s |      18 |   637357 |   428552 |    23568     36 |      859 |      806
1037.52/1037.72	c 1037s |      18 |   637915 |   429052 |    23568     36 |      859 |      806
1039.72/1039.97	c 1039s |      18 |   638583 |   429652 |    23568     36 |      859 |      806
1042.02/1042.26	c 1042s |      18 |   639237 |   430252 |    23568     36 |      859 |      806
1044.52/1044.71	c 1044s |      18 |   639901 |   430852 |    23568     36 |      859 |      806
1046.52/1046.74	c 1046s |      18 |   640663 |   431452 |    23568     36 |      859 |      806
1048.62/1048.88	c 1048s |      18 |   641375 |   432052 |    23568     36 |      859 |      806
1050.72/1050.95	c 1050s |      18 |   642054 |   432652 |    23568     36 |      859 |      806
1052.82/1053.04	c 1052s |      18 |   642735 |   433252 |    23568     36 |      859 |      806
1055.12/1055.39	c 1055s |      18 |   643434 |   433852 |    23568     36 |      859 |      806
1058.13/1058.32	c 1058s |      18 |   644098 |   434452 |    23568     37 |      859 |      806
1060.32/1060.58	c 1060s |      18 |   644882 |   435152 |    23568     37 |      859 |      806
1062.62/1062.87	c 1062s |      18 |   645687 |   435852 |    23568     37 |      859 |      806
1064.62/1064.90	c 1064s |      18 |   646236 |   436352 |    23568     37 |      859 |      806
1067.02/1067.22	c 1066s |      18 |   646897 |   436952 |    23568     37 |      859 |      806
1069.22/1069.43	c 1069s |      18 |   647579 |   437552 |    23568     37 |      859 |      806
1071.62/1071.80	c 1071s |      18 |   648121 |   438052 |    23568     37 |      859 |      806
1073.82/1074.04	c 1073s |      18 |   649059 |   438752 |    23568     37 |      859 |      806
1076.02/1076.25	c 1075s |      18 |   650175 |   439552 |    23568     37 |      859 |      806
1078.12/1078.30	c 1078s |      18 |   651321 |   440452 |    23568     37 |      859 |      806
1080.13/1080.30	c 1080s |      18 |   652355 |   441252 |    23568     37 |      859 |      806
1082.12/1082.38	c 1082s |      18 |   653358 |   442052 |    25925     37 |      859 |      806
1084.43/1084.61	c 1084s |      18 |   654209 |   442752 |    25925     37 |      859 |      806
1086.63/1086.81	c 1086s |      18 |   655048 |   443452 |    25925     37 |      859 |      806
1088.72/1088.95	c 1088s |      18 |   655738 |   444052 |    25925     37 |      859 |      806
1090.32/1090.57	c 1090s |      19 |   656250 |   444482 |    25925     37 |      859 |      806
1092.42/1092.65	c 1092s |      19 |   661270 |   446182 |    25925     37 |      859 |      806
1094.43/1094.67	c 1094s |      19 |   667800 |   448882 |    25925     37 |      859 |      806
1096.53/1096.72	c 1096s |      19 |   670175 |   450382 |    25925     38 |      859 |      806
1098.52/1098.75	c 1098s |      19 |   672150 |   451682 |    25925     38 |      859 |      806
1100.62/1100.84	c 1100s |      19 |   674190 |   453182 |    25925     38 |      859 |      806
1102.72/1102.96	c 1102s |      19 |   676268 |   454582 |    25925     38 |      859 |      806
1104.72/1104.97	c 1104s |      19 |   679815 |   456482 |    25925     38 |      859 |      806
1106.82/1107.07	c 1106s |      19 |   682338 |   457982 |    25925     38 |      859 |      806
1109.12/1109.30	c 1109s |      19 |   683942 |   459082 |    25925     38 |      859 |      806
1111.42/1111.66	c 1111s |      19 |   685254 |   460082 |    25925     38 |      859 |      806
1113.52/1113.79	c 1113s |      19 |   686965 |   461282 |    25925     38 |      859 |      806
1115.82/1116.00	c 1115s |      19 |   688469 |   462382 |    25925     38 |      859 |      806
1117.92/1118.14	c 1117s |      19 |   689990 |   463482 |    25925     38 |      859 |      806
1120.12/1120.36	c 1120s |      19 |   691598 |   464482 |    25925     39 |      859 |      806
1122.11/1122.39	c 1122s |      19 |   692836 |   465482 |    25925     39 |      859 |      806
1124.31/1124.57	c 1124s |      19 |   694304 |   466582 |    25925     39 |      859 |      806
1126.51/1126.72	c 1126s |      19 |   695715 |   467682 |    25925     39 |      859 |      806
1128.61/1128.87	c 1128s |      19 |   697047 |   468682 |    25925     39 |      859 |      806
1130.62/1130.90	c 1130s |      19 |   698163 |   469582 |    25925     39 |      859 |      806
1132.92/1133.14	c 1132s |      19 |   699295 |   470482 |    25925     39 |      859 |      806
1135.12/1135.33	c 1135s |      19 |   700487 |   471382 |    25925     39 |      859 |      806
1137.11/1137.38	c 1137s |      19 |   703223 |   472682 |    25925     39 |      859 |      806
1139.21/1139.41	c 1139s |      19 |   704982 |   473782 |    25925     39 |      859 |      806
1141.41/1141.65	c 1141s |      19 |   706156 |   474682 |    25925     39 |      859 |      806
1143.71/1143.95	c 1143s |      19 |   707172 |   475482 |    25925     39 |      859 |      806
1145.81/1146.03	c 1145s |      19 |   708061 |   476182 |    25925     39 |      859 |      806
1147.91/1148.14	c 1147s |      19 |   709068 |   476982 |    25925     39 |      859 |      806
1150.21/1150.43	c 1150s |      19 |   710033 |   477782 |    25925     39 |      859 |      806
1152.31/1152.57	c 1152s |      19 |   711061 |   478482 |    25925     39 |      859 |      806
1154.31/1154.58	c 1154s |      19 |   712308 |   479282 |    25925     40 |      859 |      806
1156.51/1156.75	c 1156s |      19 |   713867 |   480382 |    25925     40 |      859 |      806
1158.51/1158.79	c 1158s |      19 |   714950 |   481182 |    25925     40 |      859 |      806
1160.71/1160.90	c 1160s |      19 |   715858 |   481882 |    25925     40 |      859 |      806
1162.71/1162.95	c 1162s |      19 |   717091 |   482782 |    25925     40 |      859 |      806
1164.91/1165.12	c 1164s |      19 |   718296 |   483682 |    25925     40 |      859 |      806
1167.11/1167.33	c 1167s |      19 |   719212 |   484482 |    25925     40 |      859 |      806
1169.21/1169.46	c 1169s |      19 |   720365 |   485382 |    25925     40 |      859 |      806
1171.51/1171.71	c 1171s |      19 |   721312 |   486182 |    25925     40 |      859 |      806
1173.51/1173.78	c 1173s |      19 |   722134 |   486882 |    25925     40 |      859 |      806
1175.61/1175.87	c 1175s |      19 |   722789 |   487482 |    25925     40 |      859 |      806
1177.71/1177.99	c 1177s |      19 |   723623 |   488182 |    25925     40 |      859 |      806
1180.00/1180.22	c 1179s |      19 |   724453 |   488882 |    25925     40 |      859 |      806
1182.10/1182.32	c 1182s |      19 |   725158 |   489482 |    25925     40 |      859 |      806
1184.20/1184.44	c 1184s |      19 |   725887 |   490082 |    25925     40 |      859 |      806
1186.20/1186.46	c 1186s |      19 |   726586 |   490682 |    25925     40 |      859 |      806
1188.50/1188.72	c 1188s |      19 |   727434 |   491382 |    25925     40 |      859 |      806
1190.70/1190.95	c 1190s |      19 |   728171 |   491982 |    25925     40 |      859 |      806
1192.80/1193.05	c 1192s |      19 |   728943 |   492582 |    25925     40 |      859 |      806
1194.90/1195.17	c 1194s |      19 |   729701 |   493182 |    25925     40 |      859 |      806
1197.00/1197.21	c 1196s |      19 |   730270 |   493682 |    25925     41 |      859 |      806
1199.00/1199.21	c 1198s |      19 |   731120 |   494382 |    25925     41 |      859 |      806
1201.01/1201.28	c 1201s |      19 |   731969 |   495082 |    25925     41 |      859 |      806
1203.21/1203.44	c 1203s |      19 |   732780 |   495782 |    25925     41 |      859 |      806
1205.20/1205.45	c 1205s |      19 |   734110 |   496582 |    25925     41 |      859 |      806
1207.40/1207.67	c 1207s |      19 |   735245 |   497482 |    25925     41 |      859 |      806
1209.60/1209.85	c 1209s |      19 |   736459 |   498382 |    25925     41 |      859 |      806
1211.70/1211.96	c 1211s |      19 |   737440 |   499182 |    25925     41 |      859 |      806
1213.90/1214.19	c 1213s |      19 |   738488 |   499982 |    25925     41 |      859 |      806
1216.10/1216.30	c 1216s |      19 |   739573 |   500782 |    25925     41 |      859 |      806
1218.10/1218.35	c 1218s |      19 |   740363 |   501482 |    25925     41 |      859 |      806
1220.20/1220.42	c 1220s |      19 |   741195 |   502182 |    25925     41 |      859 |      806
1222.30/1222.55	c 1222s |      19 |   742053 |   502882 |    25925     41 |      859 |      806
1224.60/1224.89	c 1224s |      19 |   742856 |   503582 |    25925     41 |      859 |      806
1226.80/1227.02	c 1226s |      19 |   743552 |   504182 |    25925     41 |      859 |      806
1228.99/1229.23	c 1228s |      19 |   744287 |   504782 |    25925     41 |      859 |      806
1231.29/1231.56	c 1231s |      19 |   745124 |   505482 |    25925     41 |      859 |      806
1233.59/1233.88	c 1233s |      19 |   745969 |   506182 |    25925     41 |      859 |      806
1235.79/1236.08	c 1235s |      19 |   746619 |   506782 |    25925     41 |      859 |      806
1238.09/1238.38	c 1238s |      19 |   747315 |   507382 |    25925     41 |      859 |      806
1240.29/1240.56	c 1240s |      19 |   747782 |   507782 |    25925     42 |      859 |      806
1242.39/1242.63	c 1242s |      19 |   748767 |   508582 |    25925     42 |      859 |      806
1244.39/1244.69	c 1244s |      19 |   749563 |   509282 |    25925     42 |      859 |      806
1246.69/1246.98	c 1246s |      19 |   750423 |   509982 |    25925     42 |      859 |      806
1248.69/1248.98	c 1248s |      19 |   751108 |   510582 |    25925     42 |      859 |      806
1250.89/1251.12	c 1250s |      19 |   751918 |   511282 |    25925     42 |      859 |      806
1253.09/1253.31	c 1253s |      19 |   752755 |   511982 |    25925     42 |      859 |      806
1255.09/1255.35	c 1255s |      19 |   753608 |   512682 |    25925     42 |      859 |      806
1257.39/1257.67	c 1257s |      19 |   754454 |   513382 |    25925     42 |      859 |      806
1259.49/1259.79	c 1259s |      19 |   755181 |   513982 |    25925     42 |      859 |      806
1261.79/1262.04	c 1261s |      19 |   755845 |   514582 |    25925     42 |      859 |      806
1263.89/1264.19	c 1263s |      19 |   756736 |   515182 |    25925     42 |      859 |      806
1266.09/1266.37	c 1266s |      19 |   758292 |   516182 |    25925     42 |      859 |      806
1268.39/1268.64	c 1268s |      19 |   760722 |   517382 |    25925     42 |      859 |      806
1270.59/1270.84	c 1270s |      19 |   762115 |   518282 |    25925     42 |      859 |      806
1272.69/1272.94	c 1272s |      19 |   762972 |   518982 |    25925     42 |      859 |      806
1274.79/1275.02	c 1274s |      19 |   764245 |   519782 |    25925     42 |      859 |      806
1276.78/1277.05	c 1276s |      19 |   765523 |   520682 |    25925     42 |      859 |      806
1278.88/1279.18	c 1278s |      19 |   766548 |   521482 |    25925     42 |      859 |      806
1281.08/1281.39	c 1281s |      19 |   767570 |   522282 |    25925     42 |      859 |      806
1283.18/1283.43	c 1283s |      19 |   768462 |   522982 |    25925     43 |      859 |      806
1285.28/1285.59	c 1285s |      19 |   769878 |   524082 |    25925     43 |      859 |      806
1287.58/1287.85	c 1287s |      19 |   771117 |   525082 |    25925     43 |      859 |      806
1289.68/1289.95	c 1289s |      19 |   771821 |   525682 |    25925     43 |      859 |      806
1291.68/1291.97	c 1291s |      19 |   772748 |   526482 |    25925     43 |      859 |      806
1293.78/1294.04	c 1293s |      19 |   773663 |   527282 |    25925     43 |      859 |      806
1296.08/1296.32	c 1296s |      19 |   774662 |   528082 |    25925     43 |      859 |      806
1298.18/1298.48	c 1298s |      19 |   775777 |   528982 |    25925     43 |      859 |      806
1300.28/1300.55	c 1300s |      19 |   776740 |   529782 |    25925     43 |      859 |      806
1302.29/1302.58	c 1302s |      19 |   777618 |   530482 |    25925     43 |      859 |      806
1304.39/1304.66	c 1304s |      19 |   778453 |   531182 |    25925     43 |      859 |      806
1306.48/1306.80	c 1306s |      19 |   779255 |   531882 |    25925     43 |      859 |      806
1308.68/1308.91	c 1308s |      19 |   779966 |   532482 |    25925     43 |      859 |      806
1310.99/1311.22	c 1310s |      19 |   780758 |   533182 |    25925     43 |      859 |      806
1313.08/1313.33	c 1313s |      19 |   781428 |   533782 |    25925     43 |      859 |      806
1315.18/1315.40	c 1315s |      19 |   782160 |   534382 |    25925     43 |      859 |      806
1317.38/1317.62	c 1317s |      19 |   782943 |   535082 |    25925     43 |      859 |      806
1319.38/1319.63	c 1319s |      19 |   783630 |   535682 |    25925     43 |      859 |      806
1321.38/1321.64	c 1321s |      19 |   784329 |   536282 |    25925     43 |      859 |      806
1323.68/1323.90	c 1323s |      19 |   785005 |   536882 |    25925     43 |      859 |      806
1325.88/1326.16	c 1325s |      19 |   785694 |   537482 |    25925     44 |      859 |      806
1327.98/1328.27	c 1328s |      19 |   786479 |   538182 |    25925     44 |      859 |      806
1329.98/1330.29	c 1330s |      19 |   787261 |   538882 |    25925     44 |      859 |      806
1332.28/1332.51	c 1332s |      19 |   788040 |   539582 |    25925     44 |      859 |      806
1334.58/1334.87	c 1334s |      19 |   788806 |   540282 |    25925     44 |      859 |      806
1336.58/1336.88	c 1336s |      19 |   789603 |   540982 |    25925     44 |      859 |      806
1338.68/1338.94	c 1338s |      19 |   790253 |   541582 |    25925     44 |      859 |      806
1340.98/1341.26	c 1340s |      19 |   790930 |   542182 |    25925     44 |      859 |      806
1343.17/1343.48	c 1343s |      19 |   791600 |   542782 |    25925     44 |      859 |      806
1345.28/1345.54	c 1345s |      19 |   792284 |   543382 |    25925     44 |      859 |      806
1347.28/1347.59	c 1347s |      19 |   792816 |   543882 |    25925     44 |      859 |      806
1349.67/1349.91	c 1349s |      19 |   793359 |   544382 |    25925     44 |      859 |      806
1351.68/1351.97	c 1351s |      19 |   793916 |   544882 |    25925     44 |      859 |      806
1353.77/1354.02	c 1353s |      19 |   794476 |   545382 |    25925     44 |      859 |      806
1355.97/1356.26	c 1355s |      19 |   795031 |   545882 |    25925     44 |      859 |      806
1358.28/1358.58	c 1358s |      19 |   795841 |   546582 |    25925     44 |      859 |      806
1360.58/1360.82	c 1360s |      19 |   796524 |   547182 |    25925     44 |      859 |      806
1362.78/1363.05	c 1362s |      19 |   797196 |   547782 |    25925     44 |      859 |      806
1364.77/1365.06	c 1364s |      19 |   797771 |   548282 |    25925     44 |      859 |      806
1366.87/1367.12	c 1366s |      19 |   798422 |   548882 |    25925     44 |      859 |      806
1368.97/1369.23	c 1368s |      19 |   798979 |   549382 |    25925     44 |      859 |      806
1371.17/1371.43	c 1371s |      19 |   799504 |   549882 |    25925     44 |      859 |      806
1373.47/1373.79	c 1373s |      19 |   800032 |   550382 |    25925     44 |      859 |      806
1375.97/1376.21	c 1375s |      19 |   800562 |   550882 |    25925     44 |      859 |      806
1378.07/1378.35	c 1378s |      19 |   801104 |   551382 |    25925     44 |      859 |      806
1380.07/1380.36	c 1380s |      19 |   801565 |   551782 |    25925     45 |      859 |      806
1382.16/1382.42	c 1382s |      19 |   802230 |   552382 |    25925     45 |      859 |      806
1384.36/1384.63	c 1384s |      19 |   802899 |   552982 |    25925     45 |      859 |      806
1386.46/1386.73	c 1386s |      19 |   804295 |   553782 |    25925     45 |      859 |      806
1388.66/1388.93	c 1388s |      19 |   805559 |   554682 |    25925     45 |      859 |      806
1390.86/1391.18	c 1390s |      19 |   806675 |   555582 |    25925     45 |      859 |      806
1392.96/1393.27	c 1393s |      19 |   807491 |   556282 |    25925     45 |      859 |      806
1395.06/1395.34	c 1395s |      19 |   808560 |   557082 |    25925     45 |      859 |      806
1397.06/1397.38	c 1397s |      19 |   809384 |   557782 |    25925     45 |      859 |      806
1399.06/1399.39	c 1399s |      19 |   810074 |   558382 |    25925     45 |      859 |      806
1401.26/1401.57	c 1401s |      19 |   810972 |   559082 |    25925     45 |      859 |      806
1403.56/1403.85	c 1403s |      19 |   811895 |   559782 |    25925     45 |      859 |      806
1405.76/1406.01	c 1405s |      19 |   812734 |   560382 |    25925     45 |      859 |      806
1407.76/1408.05	c 1407s |      19 |   813575 |   561082 |    25925     45 |      859 |      806
1410.15/1410.42	c 1410s |      19 |   814330 |   561682 |    25925     45 |      859 |      806
1412.26/1412.57	c 1412s |      19 |   815079 |   562282 |    25925     45 |      859 |      806
1414.36/1414.60	c 1414s |      19 |   815655 |   562782 |    25925     45 |      859 |      806
1416.56/1416.88	c 1416s |      19 |   816388 |   563382 |    25925     45 |      859 |      806
1418.86/1419.18	c 1418s |      19 |   817096 |   563982 |    25925     45 |      859 |      806
1421.15/1421.47	c 1421s |      19 |   817950 |   564682 |    25925     45 |      859 |      806
1423.35/1423.65	c 1423s |      19 |   818655 |   565282 |    25925     45 |      859 |      806
1425.35/1425.68	c 1425s |      19 |   819219 |   565782 |    25925     45 |      859 |      806
1427.56/1427.88	c 1427s |      19 |   819803 |   566282 |    25925     46 |      859 |      806
1429.86/1430.14	c 1429s |      19 |   820711 |   567082 |    25925     46 |      859 |      806
1431.96/1432.21	c 1431s |      19 |   821487 |   567782 |    25925     46 |      859 |      806
1434.05/1434.38	c 1434s |      19 |   822276 |   568482 |    25925     46 |      859 |      806
1436.15/1436.41	c 1436s |      19 |   822951 |   569082 |    25925     46 |      859 |      806
1438.15/1438.47	c 1438s |      19 |   823605 |   569682 |    25925     46 |      859 |      806
1440.55/1440.85	c 1440s |      19 |   824252 |   570282 |    25925     46 |      859 |      806
1442.96/1443.29	c 1443s |      19 |   824909 |   570882 |    25925     46 |      859 |      806
1444.95/1445.29	c 1445s |      19 |   825573 |   571482 |    25925     46 |      859 |      806
1447.15/1447.43	c 1447s |      19 |   826273 |   572082 |    25925     46 |      859 |      806
1449.45/1449.70	c 1449s |      19 |   826952 |   572682 |    25925     46 |      859 |      806
1451.65/1451.95	c 1451s |      19 |   827604 |   573282 |    25925     46 |      859 |      806
1453.85/1454.15	c 1453s |      19 |   828276 |   573882 |    25925     46 |      859 |      806
1456.05/1456.33	c 1456s |      19 |   828941 |   574482 |    25925     46 |      859 |      806
1458.25/1458.59	c 1458s |      19 |   829492 |   574982 |    25925     46 |      859 |      806
1460.35/1460.68	c 1460s |      19 |   830043 |   575482 |    25925     46 |      859 |      806
1462.65/1462.99	c 1462s |      19 |   830721 |   576082 |    25925     46 |      859 |      806
1464.95/1465.28	c 1465s |      19 |   831420 |   576682 |    25925     46 |      859 |      806
1467.25/1467.57	c 1467s |      19 |   832110 |   577282 |    25925     46 |      859 |      806
1469.64/1469.98	c 1469s |      19 |   832796 |   577882 |    25925     46 |      859 |      806
1471.84/1472.16	c 1471s |      19 |   833476 |   578482 |    25925     46 |      859 |      806
1474.14/1474.45	c 1474s |      19 |   834156 |   579082 |    25925     46 |      859 |      806
1476.54/1476.81	c 1476s |      19 |   834696 |   579582 |    25925     46 |      859 |      806
1478.84/1479.14	c 1478s |      19 |   835261 |   580082 |    25925     46 |      859 |      806
1481.24/1481.59	c 1481s |      19 |   835693 |   580482 |    25925     47 |      859 |      806
1483.34/1483.67	c 1483s |      19 |   836430 |   581082 |    25925     47 |      859 |      806
1485.44/1485.79	c 1485s |      19 |   837220 |   581782 |    25925     47 |      859 |      806
1487.74/1488.02	c 1487s |      19 |   837922 |   582382 |    25925     47 |      859 |      806
1489.84/1490.11	c 1489s |      19 |   838605 |   582982 |    25925     47 |      859 |      806
1491.94/1492.29	c 1492s |      19 |   839389 |   583682 |    25925     47 |      859 |      806
1494.04/1494.33	c 1494s |      19 |   840059 |   584282 |    25925     47 |      859 |      806
1496.04/1496.38	c 1496s |      19 |   840736 |   584882 |    25925     47 |      859 |      806
1498.33/1498.64	c 1498s |      19 |   841387 |   585482 |    25925     47 |      859 |      806
1500.43/1500.75	c 1500s |      19 |   842212 |   586082 |    25925     47 |      859 |      806
1502.63/1502.98	c 1502s |      19 |   843480 |   586982 |    25925     47 |      859 |      806
1504.83/1505.12	c 1504s |      19 |   844362 |   587682 |    25925     47 |      859 |      806
1506.84/1507.19	c 1506s |      19 |   845086 |   588282 |    25925     47 |      859 |      806
1509.13/1509.43	c 1509s |      19 |   845758 |   588882 |    25925     47 |      859 |      806
1511.13/1511.45	c 1511s |      19 |   846444 |   589482 |    25925     47 |      859 |      806
1513.43/1513.77	c 1513s |      19 |   847138 |   590082 |    25925     47 |      859 |      806
1515.53/1515.87	c 1515s |      19 |   847708 |   590582 |    25925     47 |      859 |      806
1517.83/1518.15	c 1517s |      19 |   848376 |   591182 |    25925     47 |      859 |      806
1520.03/1520.39	c 1520s |      19 |   849070 |   591782 |    25925     47 |      859 |      806
1522.42/1522.79	c 1522s |      19 |   849763 |   592382 |    25925     47 |      859 |      806
1524.52/1524.82	c 1524s |      19 |   850331 |   592882 |    25925     47 |      859 |      806
1526.63/1526.91	c 1526s |      19 |   850867 |   593382 |    25925     47 |      859 |      806
1528.82/1529.15	c 1528s |      19 |   851445 |   593882 |    25925     47 |      859 |      806
1531.02/1531.38	c 1531s |      19 |   852157 |   594482 |    25925     47 |      859 |      806
1533.12/1533.49	c 1533s |      19 |   852616 |   594882 |    25925     48 |      859 |      806
1535.43/1535.78	c 1535s |      19 |   853433 |   595582 |    25925     48 |      859 |      806
1537.53/1537.80	c 1537s |      19 |   854116 |   596182 |    25925     48 |      859 |      806
1539.52/1539.84	c 1539s |      19 |   854765 |   596782 |    25925     48 |      859 |      806
1541.52/1541.86	c 1541s |      19 |   855433 |   597382 |    25925     48 |      859 |      806
1543.82/1544.19	c 1543s |      19 |   856202 |   598082 |    25925     48 |      859 |      806
1546.12/1546.46	c 1546s |      19 |   856983 |   598782 |    25925     48 |      859 |      806
1548.22/1548.58	c 1548s |      19 |   857631 |   599382 |    25925     48 |      859 |      806
1550.32/1550.62	c 1550s |      19 |   858179 |   599882 |    25925     48 |      859 |      806
1552.42/1552.70	c 1552s |      19 |   858845 |   600482 |    25925     48 |      859 |      806
1554.61/1554.92	c 1554s |      19 |   859494 |   601082 |    25925     48 |      859 |      806
1556.71/1557.07	c 1556s |      19 |   860177 |   601682 |    25925     48 |      859 |      806
1559.11/1559.45	c 1559s |      19 |   860743 |   602182 |    25925     48 |      859 |      806
1561.11/1561.47	c 1561s |      19 |   861297 |   602682 |    25925     48 |      859 |      806
1563.41/1563.74	c 1563s |      19 |   861941 |   603282 |    25925     48 |      859 |      806
1565.61/1565.96	c 1565s |      19 |   862486 |   603782 |    25925     48 |      859 |      806
1567.90/1568.24	c 1567s |      19 |   863083 |   604282 |    25925     48 |      859 |      806
1569.90/1570.26	c 1569s |      19 |   863622 |   604782 |    25925     48 |      859 |      806
1572.00/1572.37	c 1572s |      19 |   864148 |   605282 |    25925     48 |      859 |      806
1574.20/1574.56	c 1574s |      19 |   864699 |   605782 |    25925     48 |      859 |      806
1576.30/1576.67	c 1576s |      19 |   865229 |   606282 |    25925     48 |      859 |      806
1578.80/1579.10	c 1578s |      19 |   865760 |   606782 |    25925     48 |      859 |      806
1581.10/1581.46	c 1581s |      19 |   866288 |   607282 |    25925     48 |      859 |      806
1583.30/1583.61	c 1583s |      19 |   867657 |   608182 |    25925     48 |      859 |      806
1585.30/1585.69	c 1585s |      19 |   868793 |   608982 |    25925     48 |      859 |      806
1587.39/1587.76	c 1587s |      19 |   869688 |   609582 |    25925     49 |      859 |      806
1589.49/1589.84	c 1589s |      19 |   870931 |   610582 |    25925     49 |      859 |      806
1591.59/1592.00	c 1591s |      19 |   872226 |   611582 |    25925     49 |      859 |      806
1593.89/1594.21	c 1593s |      19 |   873470 |   612582 |    25925     49 |      859 |      806
1595.89/1596.23	c 1595s |      19 |   874415 |   613382 |    25925     49 |      859 |      806
1597.88/1598.24	c 1597s |      19 |   875348 |   614182 |    25925     49 |      859 |      806
1600.08/1600.48	c 1600s |      19 |   876336 |   614982 |    25925     49 |      859 |      806
1602.28/1602.61	c 1602s |      19 |   877232 |   615782 |    25925     49 |      859 |      806
1604.48/1604.83	c 1604s |      19 |   878024 |   616482 |    25925     49 |      859 |      806
1606.68/1607.05	c 1606s |      19 |   878928 |   617282 |    25925     49 |      859 |      806
1608.78/1609.16	c 1608s |      19 |   879587 |   617882 |    25925     49 |      859 |      806
1610.98/1611.34	c 1611s |      19 |   880365 |   618582 |    25925     49 |      859 |      806
1613.28/1613.61	c 1613s |      19 |   881151 |   619282 |    25925     49 |      859 |      806
1615.28/1615.62	c 1615s |      19 |   881842 |   619882 |    25925     49 |      859 |      806
1617.37/1617.78	c 1617s |      19 |   882492 |   620482 |    25925     49 |      859 |      806
1619.58/1619.93	c 1619s |      19 |   883132 |   621082 |    25925     49 |      859 |      806
1621.78/1622.14	c 1621s |      19 |   883786 |   621682 |    25925     49 |      859 |      806
1623.98/1624.34	c 1624s |      19 |   884444 |   622282 |    25925     49 |      859 |      806
1626.18/1626.55	c 1626s |      19 |   885098 |   622882 |    25925     49 |      859 |      806
1628.17/1628.59	c 1628s |      19 |   885644 |   623382 |    25925     49 |      859 |      806
1630.37/1630.74	c 1630s |      19 |   886191 |   623882 |    25925     49 |      859 |      806
1632.57/1632.92	c 1632s |      19 |   886734 |   624382 |    25925     50 |      859 |      806
1634.77/1635.18	c 1634s |      19 |   887483 |   625082 |    25925     50 |      859 |      806
1637.16/1637.50	c 1637s |      19 |   888252 |   625782 |    25925     50 |      859 |      806
1639.16/1639.54	c 1639s |      19 |   888910 |   626382 |    25925     50 |      859 |      806
1641.26/1641.67	c 1641s |      19 |   889801 |   627082 |    25925     50 |      859 |      806
1643.56/1643.95	c 1643s |      19 |   890762 |   627882 |    25925     50 |      859 |      806
1645.66/1646.08	c 1645s |      19 |   891439 |   628482 |    25925     50 |      859 |      806
1647.76/1648.19	c 1647s |      19 |   892098 |   629082 |    25925     50 |      859 |      806
1649.96/1650.32	c 1650s |      19 |   892786 |   629682 |    25925     50 |      859 |      806
1652.26/1652.64	c 1652s |      19 |   893434 |   630282 |    25925     50 |      859 |      806
1654.46/1654.85	c 1654s |      19 |   894099 |   630882 |    25925     50 |      859 |      806
1656.46/1656.88	c 1656s |      19 |   894645 |   631382 |    25925     50 |      859 |      806
1658.75/1659.13	c 1658s |      19 |   895306 |   631982 |    25925     50 |      859 |      806
1660.85/1661.24	c 1660s |      19 |   895862 |   632482 |    25925     50 |      859 |      806
1662.86/1663.25	c 1662s |      19 |   897870 |   633482 |    25925     50 |      859 |      806
1664.95/1665.40	c 1665s |      19 |   899982 |   634582 |    25925     50 |      859 |      806
1667.25/1667.64	c 1667s |      19 |   901471 |   635582 |    25925     50 |      859 |      806
1669.34/1669.78	c 1669s |      19 |   902979 |   636582 |    25925     50 |      859 |      806
1671.54/1671.93	c 1671s |      19 |   903915 |   637282 |    25925     50 |      859 |      806
1673.64/1674.00	c 1673s |      19 |   904844 |   637982 |    25925     50 |      859 |      806
1675.64/1676.04	c 1675s |      19 |   905384 |   638382 |    25925     51 |      859 |      806
1677.84/1678.20	c 1677s |      19 |   906597 |   639282 |    25925     51 |      859 |      806
1679.94/1680.36	c 1680s |      19 |   907694 |   640082 |    25925     51 |      859 |      806
1682.04/1682.40	c 1682s |      19 |   908859 |   640982 |    25925     51 |      859 |      806
1684.14/1684.56	c 1684s |      19 |   910134 |   641882 |    25925     51 |      859 |      806
1686.24/1686.67	c 1686s |      19 |   911709 |   642882 |    25925     51 |      859 |      806
1688.43/1688.85	c 1688s |      19 |   913038 |   643882 |    25925     51 |      859 |      806
1690.63/1691.06	c 1690s |      19 |   914217 |   644782 |    25925     51 |      859 |      806
1692.83/1693.23	c 1692s |      19 |   915531 |   645682 |    25925     51 |      859 |      806
1694.93/1695.35	c 1695s |      19 |   916494 |   646482 |    25925     51 |      859 |      806
1697.23/1697.62	c 1697s |      19 |   917524 |   647282 |    25925     51 |      859 |      806
1699.33/1699.70	c 1699s |      19 |   918364 |   647982 |    25925     51 |      859 |      806
1701.43/1701.83	c 1701s |      19 |   919204 |   648682 |    25925     51 |      859 |      806
1703.43/1703.86	c 1703s |      19 |   920350 |   649482 |    25925     51 |      859 |      806
1705.63/1706.07	c 1705s |      19 |   921357 |   650282 |    25925     51 |      859 |      806
1707.72/1708.15	c 1707s |      19 |   922204 |   650982 |    25925     51 |      859 |      806
1709.72/1710.19	c 1709s |      19 |   922976 |   651582 |    25925     51 |      859 |      806
1711.82/1712.24	c 1711s |      19 |   923719 |   652182 |    25925     51 |      859 |      806
1714.02/1714.48	c 1714s |      19 |   924335 |   652682 |    25925     52 |      859 |      806
1716.12/1716.59	c 1716s |      19 |   925194 |   653382 |    25925     52 |      859 |      806
1718.42/1718.80	c 1718s |      19 |   926005 |   654082 |    25925     52 |      859 |      806
1720.42/1720.82	c 1720s |      19 |   927193 |   654982 |    25925     52 |      859 |      806
1722.52/1722.98	c 1722s |      19 |   928274 |   655882 |    25925     52 |      859 |      806
1724.52/1724.98	c 1724s |      19 |   929218 |   656682 |    25925     52 |      859 |      806
1726.81/1727.25	c 1726s |      19 |   930128 |   657482 |    25925     52 |      859 |      806
1729.01/1729.45	c 1729s |      19 |   931061 |   658282 |    25925     52 |      859 |      806
1731.12/1731.51	c 1731s |      19 |   931940 |   658982 |    25925     52 |      859 |      806
1733.22/1733.67	c 1733s |      19 |   932933 |   659782 |    25925     52 |      859 |      806
1735.61/1736.02	c 1735s |      19 |   933737 |   660482 |    25925     52 |      859 |      806
1737.90/1738.34	c 1738s |      19 |   934374 |   661082 |    25925     52 |      859 |      806
1740.30/1740.74	c 1740s |      19 |   935042 |   661682 |    25925     52 |      859 |      806
1742.40/1742.89	c 1742s |      19 |   935879 |   662382 |    28518     52 |      859 |      806
1744.70/1745.19	c 1744s |      19 |   936667 |   663082 |    28518     52 |      859 |      806
1746.80/1747.22	c 1746s |      19 |   937337 |   663682 |    28518     52 |      859 |      806
1748.90/1749.39	c 1749s |      19 |   937998 |   664282 |    28518     52 |      859 |      806
1751.00/1751.40	c 1751s |      19 |   938535 |   664782 |    28518     52 |      859 |      806
1753.10/1753.51	c 1753s |      19 |   939307 |   665382 |    28518     52 |      859 |      806
1755.40/1755.84	c 1755s |      19 |   940020 |   665982 |    28518     52 |      859 |      806
1757.59/1758.03	c 1757s |      19 |   940730 |   666582 |    28518     52 |      859 |      806
1758.39/1758.87	c 1758s |      20 |   941008 |   666827 |    28518     52 |      859 |      806
1760.39/1760.87	c 1760s |      20 |   950234 |   668427 |    28518     52 |      859 |      806
1762.49/1762.94	c 1762s |      20 |   951833 |   669827 |    28518     52 |      859 |      806
1764.49/1764.96	c 1764s |      20 |   952693 |   670627 |    28518     53 |      859 |      806
1766.59/1767.04	c 1766s |      20 |   954678 |   672127 |    28518     53 |      859 |      806
1768.68/1769.19	c 1768s |      20 |   955939 |   673327 |    28518     53 |      859 |      806
1770.78/1771.25	c 1770s |      20 |   957041 |   674327 |    28518     53 |      859 |      806
1773.08/1773.51	c 1773s |      20 |   958137 |   675327 |    28518     53 |      859 |      806
1775.18/1775.67	c 1775s |      20 |   959137 |   676227 |    28518     53 |      859 |      806
1777.38/1777.81	c 1777s |      20 |   960120 |   677127 |    28518     53 |      859 |      806
1779.48/1779.98	c 1779s |      20 |   961008 |   677927 |    28518     53 |      859 |      806
1781.68/1782.15	c 1781s |      20 |   961886 |   678727 |    28518     53 |      859 |      806
1783.88/1784.38	c 1784s |      20 |   962726 |   679527 |    28518     53 |      859 |      806
1786.08/1786.53	c 1786s |      20 |   963573 |   680327 |    28518     53 |      859 |      806
1788.18/1788.61	c 1788s |      20 |   964301 |   681027 |    28518     53 |      859 |      806
1790.17/1790.65	c 1790s |      20 |   965061 |   681727 |    28518     53 |      859 |      806
1792.37/1792.85	c 1792s |      20 |   965825 |   682427 |    28518     53 |      859 |      806
1794.47/1794.95	c 1794s |      20 |   966598 |   683127 |    28518     53 |      859 |      806
1796.57/1797.06	c 1796s |      20 |   967243 |   683727 |    28518     53 |      859 |      806
1798.66/1799.17	c 1798s |      20 |   967916 |   684327 |    28518     53 |      859 |      806

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

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

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


[startup+0 s]
/proc/loadavg: 1.11 1.27 1.64 4/179 23496
/proc/meminfo: memFree=30282784/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=447932 CPUtime=0 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 1621 0 0 0 0 0 0 0 20 0 4 0 29716340 458682368 1981 33554432000 4194304 16246674 140734087125040 140734087124464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 112495 1992 441 2943 0 109389 0
[pid=23496/tid=23497] ppid=23493 vsize=465340 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 476508160 2053 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=469436 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 480702464 2069 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=474556 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29716340 485945344 2086 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 1.11 1.27 1.64 4/179 23496
/proc/meminfo: memFree=30282784/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 28275 0 0 0 4 5 0 0 20 0 4 0 29716340 1249447936 28573 33554432000 4194304 16246674 140734087125040 140734087124352 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 305041 28573 801 2943 0 301935 0
[pid=23496/tid=23497] ppid=23493 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1249447936 28573 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1249447936 28573 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1249447936 28573 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200528 s]
/proc/loadavg: 1.11 1.27 1.64 4/179 23496
/proc/meminfo: memFree=30282784/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1301060 CPUtime=0.18 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 48484 0 0 0 11 7 0 0 20 0 4 0 29716340 1332285440 48782 33554432000 4194304 16246674 140734087125040 140734087124352 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 325265 48782 842 2943 0 322159 0
[pid=23496/tid=23497] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 48782 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 48782 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 48782 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300486 s]
/proc/loadavg: 1.11 1.27 1.64 4/179 23496
/proc/meminfo: memFree=30282784/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 50461 0 0 0 21 8 0 0 20 0 4 0 29716340 1332285440 50759 33554432000 4194304 16246674 140734087125040 140734087106944 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 325265 50767 882 2943 0 322159 0
[pid=23496/tid=23497] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 50771 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 50775 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 50778 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700412 s]
/proc/loadavg: 1.11 1.27 1.64 4/179 23496
/proc/meminfo: memFree=30282784/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 100647 0 0 0 54 15 0 0 20 0 4 0 29716340 1332285440 100945 33554432000 4194304 16246674 140734087125040 140734087106944 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 325265 100953 882 2943 0 322159 0
[pid=23496/tid=23497] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 100962 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 100967 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 100972 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 1.18 1.29 1.64 4/183 23500
/proc/meminfo: memFree=29087104/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 219675 0 0 0 116 33 0 0 20 0 4 0 29716340 1332285440 219973 33554432000 4194304 16246674 140734087125040 140734087106944 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 325265 219978 882 2943 0 322159 0
[pid=23496/tid=23497] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 219983 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 219986 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1332285440 219989 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 1.18 1.29 1.64 4/183 23500
/proc/meminfo: memFree=28192396/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1312324 CPUtime=3.08 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 269183 0 0 0 268 40 0 0 20 0 4 0 29716340 1343819776 269481 33554432000 4194304 16246674 140734087125040 140734087106944 5712094 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 328081 269481 892 2943 0 324975 0
[pid=23496/tid=23497] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269481 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269481 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269481 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30042 s]
/proc/loadavg: 1.18 1.29 1.64 3/183 23500
/proc/meminfo: memFree=28191464/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1312324 CPUtime=6.28 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 269272 0 0 0 588 40 0 0 20 0 4 0 29716340 1343819776 269570 33554432000 4194304 16246674 140734087125040 140734087106944 12415676 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 328081 269570 892 2943 0 324975 0
[pid=23496/tid=23497] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269570 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269570 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269570 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 1.38 1.33 1.65 4/183 23500
/proc/meminfo: memFree=28192040/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 269272 0 0 0 1228 40 0 0 20 0 4 0 29716340 1343819776 269570 33554432000 4194304 16246674 140734087125040 140734087108040 5601643 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 328081 269570 892 2943 0 324975 0
[pid=23496/tid=23497] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269570 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269570 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269570 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 1.55 1.36 1.66 3/183 23500
/proc/meminfo: memFree=28193152/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 269274 0 0 0 2508 40 0 0 20 0 4 0 29716340 1343819776 269572 33554432000 4194304 16246674 140734087125040 140734087106944 5677802 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 328081 269572 893 2943 0 324975 0
[pid=23496/tid=23497] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269572 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269572 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269572 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1006 s]
/proc/loadavg: 1.78 1.43 1.67 3/183 23500
/proc/meminfo: memFree=28193352/32872528 swapFree=1541160/1696504
[pid=23496] ppid=23493 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 269274 0 0 0 5067 41 0 0 20 0 4 0 29716340 1343819776 269572 33554432000 4194304 16246674 140734087125040 140734087106944 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 328081 269572 893 2943 0 324975 0
[pid=23496/tid=23497] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269572 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269572 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1343819776 269572 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.07 1.57 1.70 3/183 23501
/proc/meminfo: memFree=28181620/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 270580 0 0 0 10187 41 0 0 20 0 4 0 29716340 1350111232 270878 33554432000 4194304 16246674 140734087125040 140734087106944 5711636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 329617 270878 893 2943 0 326511 0
[pid=23496/tid=23497] ppid=23493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1350111232 270878 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1350111232 270878 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1350111232 270878 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.21 2.21 2.08 3/183 23555
/proc/meminfo: memFree=28139072/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1333828 CPUtime=1362.07 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 274465 0 0 0 136158 49 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140734087106944 5721677 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 333457 274757 893 2943 0 330351 0
[pid=23496/tid=23497] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.40 2.26 2.10 3/182 23556
/proc/meminfo: memFree=28138124/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1333828 CPUtime=1422.05 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 274492 0 0 0 142156 49 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140734087124136 5827728 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 333457 274757 893 2943 0 330351 0
[pid=23496/tid=23497] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.34 2.27 2.11 3/184 23561
/proc/meminfo: memFree=28137984/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1333828 CPUtime=1482.04 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 274498 0 0 0 148154 50 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140734087106944 5523080 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 333457 274757 893 2943 0 330351 0
[pid=23496/tid=23497] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.41 2.31 2.13 3/183 23562
/proc/meminfo: memFree=28137780/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1333828 CPUtime=1542.03 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 274527 0 0 0 154152 51 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140734087106944 5712555 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 333457 274757 893 2943 0 330351 0
[pid=23496/tid=23497] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.38 2.32 2.15 3/183 23563
/proc/meminfo: memFree=28138068/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1333828 CPUtime=1601.98 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 274564 0 0 0 160147 51 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140734087106944 5711439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 333457 274757 893 2943 0 330351 0
[pid=23496/tid=23497] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.31 2.32 2.16 4/183 23564
/proc/meminfo: memFree=28137980/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1333828 CPUtime=1661.95 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 274609 0 0 0 166143 52 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140734087106944 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 333457 274757 893 2943 0 330351 0
[pid=23496/tid=23497] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.41 2.36 2.18 3/183 23565
/proc/meminfo: memFree=28138200/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1333828 CPUtime=1721.92 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 274652 0 0 0 172140 52 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140734087106944 5717604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 333457 274757 893 2943 0 330351 0
[pid=23496/tid=23497] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.25 2.32 2.18 3/183 23567
/proc/meminfo: memFree=28137736/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1333828 CPUtime=1781.88 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 274695 0 0 0 178136 52 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140734087106944 5822432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 333457 274757 893 2943 0 330351 0
[pid=23496/tid=23497] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.32 2.18 3/183 23567
/proc/meminfo: memFree=28138200/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1333828 CPUtime=1800.06 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 274710 0 0 0 179954 52 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140734087106944 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 333457 274757 893 2943 0 330351 0
[pid=23496/tid=23497] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1333828

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.32 2.18 3/183 23567
/proc/meminfo: memFree=28138200/32872528 swapFree=1541156/1696500
[pid=23496] ppid=23493 vsize=1333828 CPUtime=1800.06 cores=1,3,5,7
/proc/23496/stat : 23496 (toysat) R 23493 23496 23447 0 -1 4202496 274710 0 0 0 179954 52 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140734087106944 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23496/statm: 333457 274757 893 2943 0 330351 0
[pid=23496/tid=23497] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23497/stat : 23497 (toysat) S 23493 23496 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476546002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23496/tid=23498] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23498/stat : 23498 (toysat) S 23493 23496 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476535512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23496/tid=23499] ppid=23493 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23496/task/23499/stat : 23499 (toysat) S 23493 23496 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29716340 1365839872 274757 33554432000 4194304 16246674 140734087125040 140476525038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1333828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1799.55
CPU system time (s): 0.537918
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.537918
maximum resident set size= 1099028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274710
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= 272
involuntary context switches= 2012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6949 second user time and 15.5156 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 20:46:16
IDJOB=4116357
IDBENCH=109460
IDSOLVER=2542
FILE ID=node125/4116357-1466966776
RUNJOBID= node125-1466966776-23464
PBS_JOBID= 19976375
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 78ca7d2efc3c3d047eb34d0c951eba42
RANDOM SEED=71680743

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30309840 kB
Buffers:           32276 kB
Cached:            93612 kB
SwapCached:         1736 kB
Active:           111460 kB
Inactive:          51036 kB
Active(anon):      38632 kB
Inactive(anon):      448 kB
Active(file):      72828 kB
Inactive(file):    50588 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33384 kB
Writeback:             0 kB
AnonPages:       1732676 kB
Mapped:             8696 kB
Shmem:                 0 kB
Slab:             567244 kB
SReclaimable:      11488 kB
SUnreclaim:       555756 kB
KernelStack:        1336 kB
PageTables:        10016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2825460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-26 21:16:17