Trace number 4116069

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.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round22-5.opb
MD5SUM339b0592277b6eb86d9f3fb9ca0d5b6d
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:36:06+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-4116069-1466966166.opb"]
0.00/0.01	c use --random-gen="3563481300 2453933199 912933345 2758690158 457544596 318489894 174831684 249168790 3212568737 4057804439 2240427417 2864720062 3031277133 1352225986 2675873254 2832551385 3368006967 2087552935 2913543913 1205526950 458146394 376414221 2333145222 3239134655 2346979645 2070813819 895273725 2145927104 297719733 1180052139 3650385428 2926196254 138553287 3915553004 350991062 153950224 1492642405 1356717501 3103908614 3956089804 1627634388 2780670241 4245013567 3178963166 3801141940 760812226 1844189552 3616184697 1363276160 952294211 3213485391 3801943604 4182546239 1104711486 411703419 3319211010 3151717244 2341030128 209917698 1898874911 2300865080 1155406354 1449177372 1597092706 2946748186 2427147935 2171608005 3274742602 2782696296 568937993 2853320364 2143522559 3533021988 2329922725 3283011196 3221223103 390725846 4129309998 2749726600 2241855797 1437394928 806565811 890666522 1358814052 3130718967 767542273 3287923262 619136344 2756144969 1540840718 3184891437 920790057 3622518326 380522921 667850548 631338871 873281030 855311897 3763691298 3069028665 1649770809 3942713956 1833196048 2182824745 177298012 3059772775 2279428491 451460560 1527762034 125570293 1350747979 2664339740 93185681 1836063257 575901497 3182989801 2396673646 3125330294 2130124031 3902773407 1467563434 1302281218 3697497631 429524548 3267760285 1803462203 2051875319 2014676970 3835121968 2593214132 4011145545 2505780669 389942120 2341219182 3196877853 2973024014 3834683619 1578932775 2734541345 1912561122 483946737 393747847 1971175751 2988716642 4038942219 1897764733 1426982921 2880562900 3615670175 1672455731 1543109167 347102557 890692220 671471659 71318703 2851458311 3499199949 723659085 2657829377 247123774 3907392142 486880242 1568949414 770802523 1307815203 1242275460 2529881401 392978660 737039805 1459617045 2206522921 373788761 3798907459 3979728420 1247488988 3945866501 1145183779 449266084 1802180775 4152885744 4169979513 533788293 3851603368 1761654706 2598740664 170059681 1830182353 3967749251 3467323484 4216669185 1522609397 2408623963 345866413 4265506184 3825640752 1750634784 169482877 2593466863 882162216 168785601 780723706 256741661 352014122 3106364425 2483188040 2189114433 1643670415 601425028 2777545757 1415804866 3475863831 1814353343 1951048392 649931903 2190724264 3194471787 433856933 547080325 158266302 3394270018 2380324415 2990941811 3907231106 2524160160 3167305480 3098530643 4281905892 2454241110 3771386865 2716644067 3707798411 1221659991 4115475682 4143672477 189740343 2591765565 2314961548 1254583129 556346423 1861906193 4062844250 2407828988 117292766 3287510027 3200085357 3998424498 4224702061 3246117172 2847809491 440926454 4007610718 3408591817 2113316646 3906567622 3597911752 232996889 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8720
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      824 |        0
0.29/0.33	c  0.1s |       1 |     1318 |      100 |     4234      0 |      825 |      742
0.39/0.42	c  0.2s |       2 |     2369 |      250 |     4658      0 |      825 |      742
0.59/0.60	c  0.3s |       3 |     5115 |      475 |     5124      0 |      825 |      742
0.99/1.03	c  0.8s |       4 |     6916 |      813 |     5637      0 |      825 |      742
1.49/1.53	c  1.3s |       5 |    10094 |     1320 |     6201      0 |      826 |      742
2.09/2.11	c  1.9s |       6 |    14245 |     2081 |     7505      0 |      826 |      742
2.69/2.77	c  2.5s |       7 |    20602 |     3223 |     8256      0 |      826 |      742
4.69/4.73	c  4.5s |       8 |    25427 |     4936 |     9082      0 |      826 |      742
6.49/6.58	c  6.3s |       9 |    36323 |     7506 |     9991      0 |      826 |      742
8.58/8.67	c  8.4s |       9 |    43542 |     9706 |     9991      0 |      826 |      742
10.68/10.73	c 10.5s |      10 |    45554 |    11361 |    10991      0 |      826 |      742
12.68/12.79	c 12.5s |      10 |    51354 |    13661 |    10991      0 |      826 |      742
14.78/14.84	c 14.6s |      10 |    53134 |    15061 |    10991      1 |      826 |      742
16.78/16.87	c 16.6s |      10 |    54798 |    16461 |    10991      1 |      826 |      742
17.69/17.75	c 17.5s |      11 |    55776 |    17144 |    12091      1 |      826 |      742
19.79/19.83	c 19.6s |      11 |    63054 |    18944 |    12091      1 |      826 |      742
21.78/21.84	c 21.6s |      11 |    65353 |    20544 |    12091      1 |      826 |      742
23.98/24.00	c 23.7s |      11 |    67023 |    21844 |    12091      1 |      826 |      742
25.98/26.04	c 25.8s |      11 |    68093 |    22744 |    12091      2 |      826 |      742
28.18/28.28	c 28.0s |      11 |    69376 |    23844 |    12091      2 |      826 |      742
30.18/30.29	c 30.0s |      11 |    72561 |    25444 |    12091      2 |      826 |      742
30.89/30.92	c 30.7s |      12 |    73183 |    25819 |    13301      2 |      826 |      742
32.99/33.09	c 32.8s |      12 |    77044 |    27519 |    13301      2 |      826 |      742
35.08/35.19	c 34.9s |      12 |    79231 |    28819 |    13301      2 |      826 |      742
37.18/37.25	c 37.0s |      12 |    82267 |    30519 |    13301      2 |      826 |      742
39.28/39.34	c 39.1s |      12 |    84403 |    31919 |    13301      3 |      826 |      742
41.28/41.36	c 41.1s |      12 |    85885 |    33019 |    13301      3 |      826 |      742
43.49/43.51	c 43.3s |      12 |    87467 |    34219 |    13301      3 |      826 |      742
45.59/45.63	c 45.4s |      12 |    89244 |    35519 |    13301      3 |      826 |      742
47.59/47.67	c 47.4s |      12 |    90801 |    36719 |    13301      3 |      826 |      742
49.79/49.86	c 49.6s |      12 |    91957 |    37719 |    13301      3 |      826 |      742
51.89/51.96	c 51.7s |      12 |    93108 |    38619 |    14632      3 |      826 |      742
52.29/52.35	c 52.1s |      13 |    93548 |    38832 |    14632      3 |      826 |      742
54.29/54.35	c 54.1s |      13 |    98171 |    40432 |    14632      4 |      826 |      742
56.29/56.35	c 56.1s |      13 |   100260 |    41932 |    14632      4 |      826 |      742
58.30/58.39	c 58.1s |      13 |   102368 |    43432 |    14632      4 |      826 |      742
60.38/60.50	c 60.2s |      13 |   103801 |    44632 |    14632      4 |      826 |      742
62.58/62.68	c 62.4s |      13 |   105124 |    45732 |    14632      4 |      826 |      742
64.78/64.86	c 64.6s |      13 |   106276 |    46732 |    14632      4 |      826 |      742
66.88/66.94	c 66.7s |      13 |   107439 |    47732 |    14632      4 |      826 |      742
69.08/69.13	c 68.9s |      13 |   108627 |    48732 |    14632      4 |      826 |      742
71.08/71.17	c 70.9s |      13 |   109378 |    49432 |    14632      5 |      826 |      742
73.28/73.32	c 73.1s |      13 |   110256 |    50232 |    14632      5 |      826 |      742
75.38/75.49	c 75.2s |      13 |   111231 |    51132 |    14632      5 |      826 |      742
77.58/77.65	c 77.4s |      13 |   112114 |    51932 |    14632      5 |      826 |      742
79.58/79.68	c 79.4s |      13 |   112859 |    52632 |    14632      5 |      826 |      742
81.78/81.85	c 81.6s |      13 |   113620 |    53332 |    14632      5 |      826 |      742
83.98/84.08	c 83.8s |      13 |   114368 |    54032 |    14632      5 |      826 |      742
86.38/86.41	c 86.2s |      13 |   115127 |    54732 |    14632      5 |      826 |      742
88.58/88.61	c 88.4s |      13 |   115750 |    55332 |    14632      5 |      826 |      742
90.88/90.96	c 90.7s |      13 |   116495 |    56032 |    14632      5 |      826 |      742
92.98/93.01	c 92.8s |      13 |   117140 |    56632 |    14632      5 |      826 |      742
95.18/95.25	c 95.0s |      13 |   117761 |    57232 |    14632      5 |      826 |      742
97.18/97.26	c 97.0s |      13 |   118282 |    57732 |    14632      5 |      826 |      742
99.38/99.43	c 99.2s |      13 |   118930 |    58332 |    16096      5 |      826 |      742
99.48/99.50	c 99.2s |      14 |   118952 |    58352 |    16096      5 |      826 |      742
101.48/101.53	c  101s |      14 |   125483 |    60352 |    16096      6 |      826 |      742
103.58/103.63	c  103s |      14 |   131574 |    62552 |    16096      6 |      826 |      742
105.59/105.68	c  105s |      14 |   133168 |    63752 |    16096      6 |      826 |      742
107.79/107.82	c  107s |      14 |   135528 |    65352 |    16096      6 |      826 |      742
109.88/109.98	c  109s |      14 |   137794 |    66852 |    16096      6 |      826 |      742
111.98/112.02	c  111s |      14 |   139656 |    67952 |    16096      7 |      826 |      742
113.98/114.07	c  113s |      14 |   141316 |    69052 |    16096      7 |      826 |      742
116.08/116.19	c  115s |      14 |   142491 |    69952 |    16096      7 |      826 |      742
118.18/118.20	c  117s |      14 |   143447 |    70752 |    16096      7 |      826 |      742
120.17/120.29	c  120s |      14 |   144858 |    71752 |    16096      7 |      826 |      742
122.37/122.43	c  122s |      14 |   145954 |    72652 |    16096      7 |      826 |      742
124.47/124.52	c  124s |      14 |   146902 |    73452 |    16096      7 |      826 |      742
126.48/126.54	c  126s |      14 |   148034 |    74252 |    16096      7 |      826 |      742
128.68/128.71	c  128s |      14 |   148776 |    74852 |    16096      7 |      826 |      742
130.67/130.72	c  130s |      14 |   149370 |    75352 |    16096      7 |      826 |      742
132.97/133.09	c  132s |      14 |   149962 |    75852 |    16096      7 |      826 |      742
135.17/135.23	c  134s |      14 |   150331 |    76152 |    16096      7 |      826 |      742
137.17/137.28	c  137s |      14 |   151010 |    76752 |    16096      7 |      826 |      742
139.47/139.55	c  139s |      14 |   151684 |    77352 |    16096      7 |      826 |      742
141.47/141.57	c  141s |      14 |   152420 |    77952 |    16096      7 |      826 |      742
143.67/143.72	c  143s |      14 |   153128 |    78552 |    16096      8 |      826 |      742
146.06/146.12	c  145s |      14 |   154053 |    79352 |    16096      8 |      826 |      742
148.16/148.28	c  148s |      14 |   154987 |    80052 |    16096      8 |      826 |      742
150.26/150.35	c  150s |      14 |   156093 |    80952 |    16096      8 |      826 |      742
152.46/152.57	c  152s |      14 |   157024 |    81752 |    16096      8 |      826 |      742
154.46/154.59	c  154s |      14 |   158026 |    82552 |    16096      8 |      826 |      742
156.76/156.89	c  156s |      14 |   159392 |    83552 |    16096      8 |      826 |      742
158.86/158.90	c  158s |      14 |   160133 |    84152 |    16096      8 |      826 |      742
161.06/161.17	c  160s |      14 |   160753 |    84652 |    16096      8 |      826 |      742
163.46/163.58	c  163s |      14 |   161139 |    84952 |    16096      8 |      826 |      742
165.66/165.79	c  165s |      14 |   161927 |    85652 |    16096      8 |      826 |      742
168.06/168.19	c  167s |      14 |   162523 |    86152 |    16096      8 |      826 |      742
170.26/170.37	c  170s |      14 |   163144 |    86652 |    16096      8 |      826 |      742
172.36/172.43	c  172s |      14 |   163733 |    87152 |    17706      8 |      826 |      742
174.16/174.28	c  174s |      15 |   164344 |    87632 |    17706      8 |      826 |      742
176.16/176.28	c  176s |      15 |   167850 |    88932 |    17706      9 |      826 |      742
178.17/178.30	c  178s |      15 |   169586 |    90332 |    17706      9 |      826 |      742
180.27/180.34	c  180s |      15 |   170905 |    91432 |    17706      9 |      826 |      742
182.27/182.36	c  182s |      15 |   172507 |    92632 |    17706      9 |      826 |      742
184.37/184.45	c  184s |      15 |   174355 |    94032 |    17706      9 |      826 |      742
186.37/186.48	c  186s |      15 |   175839 |    95132 |    17706      9 |      826 |      742
188.47/188.55	c  188s |      15 |   177002 |    96132 |    17706      9 |      826 |      742
190.67/190.77	c  190s |      15 |   178329 |    97232 |    17706      9 |      826 |      742
192.77/192.90	c  192s |      15 |   179332 |    98132 |    17706      9 |      826 |      742
194.96/195.04	c  194s |      15 |   180447 |    99032 |    17706     10 |      826 |      742
196.97/197.09	c  196s |      15 |   181651 |   100032 |    17706     10 |      826 |      742
199.07/199.19	c  198s |      15 |   182735 |   100932 |    17706     10 |      826 |      742
201.16/201.21	c  200s |      15 |   183642 |   101732 |    17706     10 |      826 |      742
203.36/203.49	c  203s |      15 |   184525 |   102532 |    17706     10 |      826 |      742
205.67/205.73	c  205s |      15 |   185369 |   103332 |    17706     10 |      826 |      742
207.76/207.86	c  207s |      15 |   186163 |   104032 |    17706     10 |      826 |      742
210.07/210.13	c  209s |      15 |   186941 |   104732 |    17706     10 |      826 |      742
212.27/212.41	c  212s |      15 |   187699 |   105432 |    17706     10 |      826 |      742
214.36/214.42	c  214s |      15 |   188322 |   106032 |    17706     10 |      826 |      742
216.56/216.69	c  216s |      15 |   189066 |   106732 |    17706     10 |      826 |      742
218.76/218.80	c  218s |      15 |   189714 |   107332 |    17706     10 |      826 |      742
220.76/220.82	c  220s |      15 |   190262 |   107832 |    17706     10 |      826 |      742
223.06/223.14	c  222s |      15 |   190909 |   108432 |    17706     10 |      826 |      742
225.26/225.30	c  225s |      15 |   191578 |   109032 |    17706     10 |      826 |      742
227.26/227.35	c  227s |      15 |   192298 |   109632 |    17706     11 |      826 |      742
229.26/229.36	c  229s |      15 |   193105 |   110332 |    17706     11 |      826 |      742
231.46/231.54	c  231s |      15 |   193872 |   111032 |    17706     11 |      826 |      742
233.76/233.80	c  233s |      15 |   194653 |   111732 |    17706     11 |      826 |      742
235.76/235.88	c  235s |      15 |   195291 |   112332 |    17706     11 |      826 |      742
238.16/238.20	c  237s |      15 |   196036 |   113032 |    17706     11 |      826 |      742
240.16/240.29	c  240s |      15 |   196696 |   113632 |    17706     11 |      826 |      742
242.36/242.49	c  242s |      15 |   197361 |   114232 |    17706     11 |      826 |      742
244.65/244.75	c  244s |      15 |   198045 |   114832 |    17706     11 |      826 |      742
246.75/246.83	c  246s |      15 |   199010 |   115632 |    17706     11 |      826 |      742
248.95/249.05	c  248s |      15 |   199833 |   116332 |    17706     11 |      826 |      742
251.05/251.17	c  250s |      15 |   200671 |   117032 |    17706     11 |      826 |      742
253.35/253.47	c  253s |      15 |   201453 |   117732 |    17706     11 |      826 |      742
255.35/255.48	c  255s |      15 |   202245 |   118432 |    17706     11 |      826 |      742
257.55/257.63	c  257s |      15 |   203046 |   119132 |    17706     11 |      826 |      742
259.66/259.78	c  259s |      15 |   203707 |   119732 |    17706     11 |      826 |      742
261.76/261.84	c  261s |      15 |   204282 |   120232 |    17706     12 |      826 |      742
263.96/264.10	c  263s |      15 |   205305 |   121132 |    17706     12 |      826 |      742
266.26/266.33	c  266s |      15 |   206206 |   121932 |    17706     12 |      826 |      742
268.46/268.55	c  268s |      15 |   207112 |   122732 |    17706     12 |      826 |      742
270.66/270.76	c  270s |      15 |   208039 |   123532 |    17706     12 |      826 |      742
272.76/272.85	c  272s |      15 |   208840 |   124232 |    17706     12 |      826 |      742
274.85/274.99	c  274s |      15 |   209630 |   124932 |    17706     12 |      826 |      742
276.95/277.08	c  276s |      15 |   210433 |   125632 |    17706     12 |      826 |      742
279.15/279.20	c  278s |      15 |   211083 |   126232 |    17706     12 |      826 |      742
281.15/281.24	c  280s |      15 |   211750 |   126832 |    17706     12 |      826 |      742
283.35/283.48	c  283s |      15 |   212563 |   127532 |    17706     12 |      826 |      742
285.45/285.55	c  285s |      15 |   213238 |   128132 |    17706     12 |      826 |      742
287.65/287.70	c  287s |      15 |   213940 |   128732 |    17706     12 |      826 |      742
289.95/290.07	c  289s |      15 |   214704 |   129432 |    17706     12 |      826 |      742
291.95/292.09	c  291s |      15 |   215391 |   130032 |    17706     12 |      826 |      742
294.05/294.16	c  293s |      15 |   215964 |   130532 |    17706     13 |      826 |      742
296.05/296.19	c  295s |      15 |   216739 |   131232 |    19477     13 |      826 |      742
297.06/297.14	c  296s |      16 |   217092 |   131552 |    19477     13 |      826 |      742
299.16/299.24	c  298s |      16 |   222769 |   133552 |    19477     13 |      826 |      742
301.15/301.27	c  301s |      16 |   224610 |   135052 |    19477     13 |      826 |      742
303.25/303.39	c  303s |      16 |   229232 |   137352 |    19477     13 |      826 |      742
305.35/305.45	c  305s |      16 |   230873 |   138552 |    19477     13 |      826 |      742
307.45/307.53	c  307s |      16 |   232008 |   139452 |    19477     13 |      826 |      742
309.55/309.61	c  309s |      16 |   233814 |   140652 |    19477     13 |      826 |      742
311.55/311.63	c  311s |      16 |   235449 |   141852 |    19477     13 |      826 |      742
313.65/313.70	c  313s |      16 |   236744 |   142752 |    19477     14 |      826 |      742
315.66/315.71	c  315s |      16 |   237858 |   143652 |    19477     14 |      826 |      742
317.74/317.84	c  317s |      16 |   239325 |   144752 |    19477     14 |      826 |      742
319.74/319.90	c  319s |      16 |   240545 |   145652 |    19477     14 |      826 |      742
321.94/322.06	c  321s |      16 |   241557 |   146452 |    19477     14 |      826 |      742
324.14/324.25	c  323s |      16 |   242491 |   147252 |    19477     14 |      826 |      742
326.24/326.36	c  326s |      16 |   243680 |   148152 |    19477     14 |      826 |      742
328.44/328.59	c  328s |      16 |   244781 |   149052 |    19477     14 |      826 |      742
330.54/330.66	c  330s |      16 |   245786 |   149852 |    19477     14 |      826 |      742
332.74/332.88	c  332s |      16 |   246750 |   150652 |    19477     14 |      826 |      742
335.04/335.14	c  334s |      16 |   247708 |   151452 |    19477     14 |      826 |      742
337.24/337.37	c  337s |      16 |   248564 |   152152 |    19477     14 |      826 |      742
339.34/339.46	c  339s |      16 |   249400 |   152852 |    19477     14 |      826 |      742
341.64/341.70	c  341s |      16 |   250333 |   153652 |    19477     14 |      826 |      742
343.94/344.05	c  343s |      16 |   251054 |   154252 |    19477     15 |      826 |      742
346.14/346.26	c  346s |      16 |   252053 |   155052 |    19477     15 |      826 |      742
348.14/348.29	c  348s |      16 |   253045 |   155852 |    19477     15 |      826 |      742
350.43/350.58	c  350s |      16 |   253858 |   156552 |    19477     15 |      826 |      742
352.53/352.60	c  352s |      16 |   254454 |   157052 |    19477     15 |      826 |      742
354.83/354.94	c  354s |      16 |   255128 |   157652 |    19477     15 |      826 |      742
356.93/357.05	c  356s |      16 |   256160 |   158452 |    19477     15 |      826 |      742
359.03/359.17	c  358s |      16 |   257015 |   159152 |    19477     15 |      826 |      742
361.13/361.21	c  360s |      16 |   257715 |   159752 |    19477     15 |      826 |      742
363.23/363.30	c  363s |      16 |   259031 |   160652 |    19477     15 |      826 |      742
365.33/365.45	c  365s |      16 |   260339 |   161552 |    19477     15 |      826 |      742
367.53/367.60	c  367s |      16 |   261680 |   162552 |    19477     15 |      826 |      742
369.64/369.78	c  369s |      16 |   263014 |   163552 |    19477     15 |      826 |      742
371.74/371.85	c  371s |      16 |   264052 |   164352 |    19477     15 |      826 |      742
373.83/373.95	c  373s |      16 |   265064 |   165152 |    19477     15 |      826 |      742
375.93/376.04	c  375s |      16 |   265823 |   165752 |    19477     16 |      826 |      742
378.03/378.17	c  377s |      16 |   267056 |   166752 |    19477     16 |      826 |      742
380.13/380.25	c  379s |      16 |   268252 |   167652 |    19477     16 |      826 |      742
382.23/382.31	c  382s |      16 |   269618 |   168652 |    19477     16 |      826 |      742
384.24/384.35	c  384s |      16 |   270630 |   169452 |    19477     16 |      826 |      742
386.44/386.53	c  386s |      16 |   271831 |   170252 |    19477     16 |      826 |      742
388.64/388.75	c  388s |      16 |   272902 |   171052 |    19477     16 |      826 |      742
390.84/390.94	c  390s |      16 |   274083 |   171952 |    19477     16 |      826 |      742
392.84/392.97	c  392s |      16 |   275165 |   172752 |    19477     16 |      826 |      742
395.04/395.10	c  394s |      16 |   275916 |   173352 |    19477     16 |      826 |      742
397.23/397.33	c  397s |      16 |   276653 |   173952 |    19477     16 |      826 |      742
399.43/399.58	c  399s |      16 |   277415 |   174552 |    19477     16 |      826 |      742
401.73/401.81	c  401s |      16 |   277939 |   174952 |    19477     16 |      826 |      742
403.93/404.05	c  403s |      16 |   278562 |   175452 |    19477     16 |      826 |      742
405.94/406.06	c  405s |      16 |   279205 |   175952 |    19477     16 |      826 |      742
408.14/408.28	c  408s |      16 |   279928 |   176552 |    19477     16 |      826 |      742
410.34/410.44	c  410s |      16 |   280549 |   177052 |    19477     17 |      826 |      742
412.54/412.65	c  412s |      16 |   281549 |   177852 |    19477     17 |      826 |      742
414.53/414.69	c  414s |      16 |   282297 |   178452 |    19477     17 |      826 |      742
416.63/416.78	c  416s |      16 |   283157 |   179152 |    19477     17 |      826 |      742
418.93/419.05	c  418s |      16 |   283904 |   179752 |    19477     17 |      826 |      742
421.03/421.13	c  420s |      16 |   284392 |   180152 |    19477     17 |      826 |      742
423.13/423.28	c  423s |      16 |   285262 |   180852 |    19477     17 |      826 |      742
425.43/425.56	c  425s |      16 |   285873 |   181352 |    19477     17 |      826 |      742
427.63/427.72	c  427s |      16 |   286837 |   182152 |    19477     17 |      826 |      742
429.63/429.79	c  429s |      16 |   287751 |   182952 |    19477     17 |      826 |      742
431.93/432.00	c  431s |      16 |   288900 |   183852 |    19477     17 |      826 |      742
433.93/434.08	c  433s |      16 |   289887 |   184652 |    19477     17 |      826 |      742
436.13/436.27	c  436s |      16 |   290838 |   185452 |    19477     17 |      826 |      742
438.43/438.53	c  438s |      16 |   291650 |   186152 |    19477     17 |      826 |      742
440.73/440.80	c  440s |      16 |   292613 |   186852 |    19477     17 |      826 |      742
443.13/443.26	c  443s |      16 |   293249 |   187352 |    19477     17 |      826 |      742
445.33/445.47	c  445s |      16 |   294125 |   188052 |    19477     17 |      826 |      742
447.43/447.58	c  447s |      16 |   294600 |   188452 |    19477     18 |      826 |      742
449.53/449.66	c  449s |      16 |   295171 |   188952 |    19477     18 |      826 |      742
451.73/451.85	c  451s |      16 |   296179 |   189752 |    19477     18 |      826 |      742
454.03/454.17	c  453s |      16 |   296867 |   190352 |    19477     18 |      826 |      742
456.32/456.42	c  456s |      16 |   297677 |   191052 |    19477     18 |      826 |      742
458.63/458.73	c  458s |      16 |   298407 |   191652 |    19477     18 |      826 |      742
460.72/460.82	c  460s |      16 |   299095 |   192252 |    19477     18 |      826 |      742
462.92/463.04	c  462s |      16 |   300114 |   193052 |    19477     18 |      826 |      742
465.12/465.21	c  464s |      16 |   301127 |   193852 |    19477     18 |      826 |      742
467.22/467.32	c  467s |      16 |   302036 |   194552 |    19477     18 |      826 |      742
469.22/469.34	c  469s |      16 |   302773 |   195152 |    19477     18 |      826 |      742
471.32/471.47	c  471s |      16 |   303634 |   195852 |    19477     18 |      826 |      742
473.62/473.76	c  473s |      16 |   304459 |   196552 |    21425     18 |      826 |      742
475.82/475.94	c  475s |      16 |   305225 |   197152 |    21425     18 |      826 |      742
476.82/476.98	c  476s |      17 |   305615 |   197432 |    21425     18 |      826 |      742
478.92/479.05	c  478s |      17 |   309697 |   198932 |    21425     18 |      826 |      742
481.12/481.21	c  480s |      17 |   311495 |   200432 |    21425     18 |      826 |      742
483.62/483.73	c  483s |      17 |   312830 |   201632 |    21425     19 |      826 |      742
485.72/485.80	c  485s |      17 |   314105 |   202732 |    21425     19 |      826 |      742
487.82/487.98	c  487s |      17 |   315347 |   203832 |    21425     19 |      826 |      742
489.92/490.07	c  489s |      17 |   316454 |   204832 |    21425     19 |      826 |      742
492.12/492.22	c  491s |      17 |   317730 |   205932 |    21425     19 |      826 |      742
494.12/494.28	c  494s |      17 |   318730 |   206832 |    21425     19 |      826 |      742
496.22/496.38	c  496s |      17 |   320382 |   207932 |    21425     19 |      826 |      742
498.33/498.47	c  498s |      17 |   322421 |   209232 |    21425     19 |      826 |      742
500.43/500.53	c  500s |      17 |   323858 |   210432 |    21425     19 |      826 |      742
502.52/502.63	c  502s |      17 |   325009 |   211432 |    21425     19 |      826 |      742
504.62/504.72	c  504s |      17 |   326039 |   212332 |    21425     19 |      826 |      742
506.62/506.77	c  506s |      17 |   327037 |   213232 |    21425     19 |      826 |      742
509.23/509.33	c  509s |      17 |   328081 |   214132 |    21425     20 |      826 |      742
511.32/511.47	c  511s |      17 |   328953 |   214932 |    21425     20 |      826 |      742
513.42/513.57	c  513s |      17 |   329874 |   215732 |    21425     20 |      826 |      742
515.71/515.81	c  515s |      17 |   331086 |   216732 |    21425     20 |      826 |      742
517.81/517.95	c  517s |      17 |   332046 |   217532 |    21425     20 |      826 |      742
519.91/520.09	c  519s |      17 |   332996 |   218332 |    21425     20 |      826 |      742
522.11/522.27	c  522s |      17 |   333903 |   219132 |    21425     20 |      826 |      742
524.31/524.48	c  524s |      17 |   334832 |   219932 |    21425     20 |      826 |      742
526.41/526.57	c  526s |      17 |   335705 |   220632 |    21425     20 |      826 |      742
528.61/528.74	c  528s |      17 |   336482 |   221332 |    21425     20 |      826 |      742
530.81/530.95	c  530s |      17 |   339158 |   222432 |    21425     20 |      826 |      742
532.81/532.96	c  532s |      17 |   340147 |   223332 |    21425     20 |      826 |      742
535.11/535.21	c  534s |      17 |   341109 |   224232 |    21425     20 |      826 |      742
537.11/537.28	c  537s |      17 |   341960 |   225032 |    21425     20 |      826 |      742
539.31/539.49	c  539s |      17 |   342826 |   225832 |    21425     20 |      826 |      742
541.81/541.90	c  541s |      17 |   343611 |   226532 |    21425     21 |      826 |      742
543.91/544.06	c  543s |      17 |   344600 |   227432 |    21425     21 |      826 |      742
546.21/546.32	c  546s |      17 |   345437 |   228232 |    21425     21 |      826 |      742
548.31/548.40	c  548s |      17 |   346172 |   228932 |    21425     21 |      826 |      742
550.31/550.49	c  550s |      17 |   347040 |   229732 |    21425     21 |      826 |      742
552.41/552.59	c  552s |      17 |   347777 |   230432 |    21425     21 |      826 |      742
554.51/554.68	c  554s |      17 |   348750 |   231332 |    21425     21 |      826 |      742
556.71/556.81	c  556s |      17 |   349612 |   232132 |    21425     21 |      826 |      742
558.72/558.81	c  558s |      17 |   350556 |   232932 |    21425     21 |      826 |      742
560.71/560.87	c  560s |      17 |   351333 |   233632 |    21425     21 |      826 |      742
562.91/563.02	c  562s |      17 |   352076 |   234332 |    21425     21 |      826 |      742
565.21/565.36	c  565s |      17 |   352826 |   235032 |    21425     21 |      826 |      742
567.31/567.43	c  567s |      17 |   353828 |   235732 |    21425     21 |      826 |      742
569.31/569.49	c  569s |      17 |   354871 |   236532 |    21425     21 |      826 |      742
571.51/571.64	c  571s |      17 |   357154 |   237732 |    21425     21 |      826 |      742
573.60/573.75	c  573s |      17 |   358214 |   238732 |    21425     21 |      826 |      742
575.60/575.76	c  575s |      17 |   359201 |   239632 |    21425     22 |      826 |      742
577.80/577.92	c  577s |      17 |   360443 |   240732 |    21425     22 |      826 |      742
579.80/579.97	c  579s |      17 |   361544 |   241732 |    21425     22 |      826 |      742
582.00/582.11	c  581s |      17 |   362496 |   242632 |    21425     22 |      826 |      742
584.01/584.19	c  583s |      17 |   363982 |   243832 |    21425     22 |      826 |      742
586.21/586.35	c  586s |      17 |   365981 |   245132 |    21425     22 |      826 |      742
588.30/588.40	c  588s |      17 |   367212 |   246132 |    21425     22 |      826 |      742
590.40/590.51	c  590s |      17 |   368346 |   247132 |    21425     22 |      826 |      742
592.40/592.56	c  592s |      17 |   369262 |   247932 |    21425     22 |      826 |      742
594.50/594.61	c  594s |      17 |   370284 |   248832 |    21425     22 |      826 |      742
596.50/596.66	c  596s |      17 |   371561 |   249832 |    21425     22 |      826 |      742
598.70/598.87	c  598s |      17 |   372377 |   250532 |    21425     22 |      826 |      742
601.10/601.25	c  600s |      17 |   373145 |   251232 |    21425     23 |      826 |      742
603.20/603.35	c  603s |      17 |   375311 |   252532 |    21425     23 |      826 |      742
605.40/605.50	c  605s |      17 |   376768 |   253732 |    21425     23 |      826 |      742
607.50/607.66	c  607s |      17 |   377901 |   254732 |    21425     23 |      826 |      742
609.70/609.87	c  609s |      17 |   379067 |   255732 |    21425     23 |      826 |      742
611.80/611.96	c  611s |      17 |   380111 |   256632 |    21425     23 |      826 |      742
614.00/614.15	c  613s |      17 |   381014 |   257432 |    21425     23 |      826 |      742
616.30/616.41	c  616s |      17 |   381913 |   258232 |    21425     23 |      826 |      742
618.60/618.72	c  618s |      17 |   382817 |   259032 |    21425     23 |      826 |      742
620.59/620.78	c  620s |      17 |   383620 |   259732 |    21425     23 |      826 |      742
622.60/622.79	c  622s |      17 |   384389 |   260432 |    21425     23 |      826 |      742
624.99/625.12	c  624s |      17 |   385028 |   261032 |    21425     23 |      826 |      742
627.00/627.14	c  626s |      17 |   385663 |   261632 |    21425     23 |      826 |      742
629.10/629.27	c  629s |      17 |   386310 |   262232 |    21425     23 |      826 |      742
631.19/631.35	c  631s |      17 |   387766 |   263132 |    21425     24 |      826 |      742
633.19/633.37	c  633s |      17 |   389123 |   264332 |    21425     24 |      826 |      742
635.29/635.49	c  635s |      17 |   390328 |   265432 |    21425     24 |      826 |      742
637.49/637.66	c  637s |      17 |   391440 |   266432 |    21425     24 |      826 |      742
639.49/639.67	c  639s |      17 |   392409 |   267332 |    21425     24 |      826 |      742
641.59/641.73	c  641s |      17 |   393444 |   268232 |    21425     24 |      826 |      742
643.79/643.96	c  643s |      17 |   394671 |   269232 |    21425     24 |      826 |      742
645.99/646.15	c  645s |      17 |   395765 |   270132 |    21425     24 |      826 |      742
648.19/648.30	c  648s |      17 |   397004 |   271132 |    21425     24 |      826 |      742
650.29/650.48	c  650s |      17 |   398386 |   272132 |    21425     24 |      826 |      742
652.39/652.55	c  652s |      17 |   399461 |   273032 |    21425     24 |      826 |      742
654.50/654.68	c  654s |      17 |   400787 |   273932 |    21425     24 |      826 |      742
656.79/656.91	c  656s |      17 |   401965 |   274832 |    21425     24 |      826 |      742
658.80/658.99	c  658s |      17 |   402744 |   275432 |    21425     25 |      826 |      742
661.00/661.15	c  660s |      17 |   403948 |   276332 |    21425     25 |      826 |      742
662.99/663.16	c  662s |      17 |   405134 |   277232 |    21425     25 |      826 |      742
665.18/665.35	c  665s |      17 |   406452 |   278232 |    21425     25 |      826 |      742
667.28/667.48	c  667s |      17 |   407398 |   279032 |    21425     25 |      826 |      742
669.48/669.69	c  669s |      17 |   408415 |   279832 |    21425     25 |      826 |      742
671.58/671.77	c  671s |      17 |   409423 |   280632 |    21425     25 |      826 |      742
673.68/673.86	c  673s |      17 |   410245 |   281332 |    21425     25 |      826 |      742
675.78/675.96	c  675s |      17 |   411079 |   282032 |    21425     25 |      826 |      742
677.98/678.10	c  677s |      17 |   411926 |   282732 |    21425     25 |      826 |      742
679.98/680.11	c  679s |      17 |   412646 |   283332 |    21425     25 |      826 |      742
682.08/682.28	c  682s |      17 |   413722 |   284132 |    21425     25 |      826 |      742
684.19/684.33	c  684s |      17 |   414494 |   284832 |    21425     25 |      826 |      742
686.39/686.56	c  686s |      17 |   415428 |   285632 |    21425     25 |      826 |      742
688.59/688.74	c  688s |      17 |   416170 |   286332 |    21425     25 |      826 |      742
690.88/691.03	c  690s |      17 |   416966 |   287032 |    21425     25 |      826 |      742
692.89/693.04	c  692s |      17 |   417618 |   287632 |    21425     25 |      826 |      742
695.09/695.27	c  695s |      17 |   418406 |   288332 |    21425     26 |      826 |      742
697.18/697.34	c  697s |      17 |   419292 |   289132 |    21425     26 |      826 |      742
699.38/699.52	c  699s |      17 |   420297 |   290032 |    21425     26 |      826 |      742
701.38/701.56	c  701s |      17 |   421172 |   290832 |    21425     26 |      826 |      742
703.58/703.76	c  703s |      17 |   422080 |   291632 |    21425     26 |      826 |      742
705.88/706.00	c  705s |      17 |   422859 |   292332 |    21425     26 |      826 |      742
707.98/708.14	c  707s |      17 |   423624 |   293032 |    21425     26 |      826 |      742
710.08/710.27	c  710s |      17 |   424367 |   293732 |    21425     26 |      826 |      742
712.28/712.49	c  712s |      17 |   425123 |   294432 |    23568     26 |      826 |      742
714.59/714.70	c  714s |      17 |   425922 |   295132 |    23568     26 |      826 |      742
716.69/716.89	c  716s |      17 |   426701 |   295832 |    23568     26 |      826 |      742
717.99/718.17	c  717s |      18 |   427184 |   296252 |    23568     26 |      826 |      742
720.08/720.23	c  719s |      18 |   437530 |   298152 |    23568     26 |      826 |      742
722.18/722.40	c  722s |      18 |   439316 |   299452 |    23568     26 |      826 |      742
724.28/724.47	c  724s |      18 |   440483 |   300452 |    23568     26 |      826 |      742
726.58/726.72	c  726s |      18 |   441500 |   301352 |    23568     26 |      826 |      742
728.58/728.73	c  728s |      18 |   442383 |   302152 |    23568     26 |      826 |      742
730.68/730.85	c  730s |      18 |   443319 |   302952 |    23568     27 |      826 |      742
732.88/733.02	c  732s |      18 |   444423 |   303952 |    23568     27 |      826 |      742
735.08/735.28	c  735s |      18 |   445418 |   304852 |    23568     27 |      826 |      742
737.38/737.51	c  737s |      18 |   446406 |   305752 |    23568     27 |      826 |      742
739.38/739.53	c  739s |      18 |   447274 |   306552 |    23568     27 |      826 |      742
741.58/741.77	c  741s |      18 |   448288 |   307452 |    23568     27 |      826 |      742
743.68/743.80	c  743s |      18 |   449084 |   308152 |    23568     27 |      826 |      742
745.88/746.02	c  745s |      18 |   449962 |   308952 |    23568     27 |      826 |      742
747.89/748.07	c  747s |      18 |   450758 |   309652 |    23568     27 |      826 |      742
749.87/750.10	c  749s |      18 |   451439 |   310252 |    23568     27 |      826 |      742
752.07/752.28	c  752s |      18 |   452224 |   310952 |    23568     27 |      826 |      742
754.27/754.48	c  754s |      18 |   453001 |   311652 |    23568     27 |      826 |      742
756.47/756.65	c  756s |      18 |   453787 |   312352 |    23568     27 |      826 |      742
758.77/758.98	c  758s |      18 |   454554 |   313052 |    23568     27 |      826 |      742
761.08/761.29	c  761s |      18 |   455215 |   313652 |    23568     27 |      826 |      742
763.38/763.58	c  763s |      18 |   455875 |   314252 |    23568     27 |      826 |      742
765.76/765.90	c  765s |      18 |   456685 |   314952 |    23568     27 |      826 |      742
767.77/767.91	c  767s |      18 |   457235 |   315452 |    23568     27 |      826 |      742
769.87/770.04	c  769s |      18 |   457788 |   315952 |    23568     28 |      826 |      742
772.07/772.21	c  771s |      18 |   458425 |   316552 |    23568     28 |      826 |      742
774.37/774.52	c  774s |      18 |   459203 |   317252 |    23568     28 |      826 |      742
776.66/776.89	c  776s |      18 |   460022 |   317952 |    23568     28 |      826 |      742
778.86/779.09	c  778s |      18 |   460685 |   318552 |    23568     28 |      826 |      742
781.06/781.27	c  781s |      18 |   461348 |   319152 |    23568     28 |      826 |      742
783.17/783.35	c  783s |      18 |   462005 |   319752 |    23568     28 |      826 |      742
785.46/785.65	c  785s |      18 |   462629 |   320352 |    23568     28 |      826 |      742
787.57/787.71	c  787s |      18 |   463161 |   320852 |    23568     28 |      826 |      742
789.77/789.98	c  789s |      18 |   463800 |   321452 |    23568     28 |      826 |      742
792.06/792.25	c  791s |      18 |   464454 |   322052 |    23568     28 |      826 |      742
794.36/794.58	c  794s |      18 |   465096 |   322652 |    23568     28 |      826 |      742
796.46/796.61	c  796s |      18 |   465634 |   323152 |    23568     28 |      826 |      742
798.76/798.96	c  798s |      18 |   466307 |   323752 |    23568     28 |      826 |      742
801.06/801.28	c  801s |      18 |   466956 |   324352 |    23568     28 |      826 |      742
803.45/803.69	c  803s |      18 |   467607 |   324952 |    23568     28 |      826 |      742
805.95/806.18	c  805s |      18 |   468266 |   325552 |    23568     28 |      826 |      742
808.05/808.20	c  807s |      18 |   468818 |   326052 |    23568     28 |      826 |      742
810.25/810.49	c  810s |      18 |   469356 |   326552 |    23568     28 |      826 |      742
812.35/812.50	c  812s |      18 |   469790 |   326952 |    23568     28 |      826 |      742
814.65/814.87	c  814s |      18 |   470333 |   327452 |    23568     28 |      826 |      742
816.75/816.99	c  816s |      18 |   470879 |   327952 |    23568     28 |      826 |      742
818.95/819.19	c  818s |      18 |   471426 |   328452 |    23568     28 |      826 |      742
821.45/821.62	c  821s |      18 |   471965 |   328952 |    23568     28 |      826 |      742
823.55/823.74	c  823s |      18 |   472401 |   329352 |    23568     29 |      826 |      742
825.75/825.93	c  825s |      18 |   473069 |   329952 |    23568     29 |      826 |      742
827.85/828.03	c  827s |      18 |   473705 |   330552 |    23568     29 |      826 |      742
829.95/830.17	c  829s |      18 |   474864 |   331352 |    23568     29 |      826 |      742
832.05/832.24	c  831s |      18 |   475748 |   332152 |    23568     29 |      826 |      742
834.25/834.47	c  834s |      18 |   476685 |   332952 |    23568     29 |      826 |      742
836.34/836.54	c  836s |      18 |   477359 |   333552 |    23568     29 |      826 |      742
838.55/838.77	c  838s |      18 |   478134 |   334252 |    23568     29 |      826 |      742
840.95/841.10	c  840s |      18 |   478900 |   334952 |    23568     29 |      826 |      742
843.05/843.26	c  843s |      18 |   479542 |   335552 |    23568     29 |      826 |      742
845.45/845.62	c  845s |      18 |   480191 |   336152 |    23568     29 |      826 |      742
847.45/847.66	c  847s |      18 |   480738 |   336652 |    23568     29 |      826 |      742
849.55/849.79	c  849s |      18 |   481406 |   337252 |    23568     29 |      826 |      742
851.65/851.83	c  851s |      18 |   481967 |   337752 |    23568     29 |      826 |      742
853.75/853.97	c  853s |      18 |   482631 |   338352 |    23568     29 |      826 |      742
855.95/856.17	c  855s |      18 |   483316 |   338952 |    23568     29 |      826 |      742
858.25/858.43	c  858s |      18 |   484168 |   339652 |    23568     29 |      826 |      742
860.35/860.52	c  860s |      18 |   484933 |   340252 |    23568     29 |      826 |      742
862.36/862.52	c  862s |      18 |   485937 |   340952 |    23568     29 |      826 |      742
864.35/864.55	c  864s |      18 |   486788 |   341652 |    23568     29 |      826 |      742
866.55/866.75	c  866s |      18 |   487468 |   342252 |    23568     29 |      826 |      742
868.75/868.91	c  868s |      18 |   488052 |   342752 |    23568     30 |      826 |      742
870.85/871.05	c  870s |      18 |   488823 |   343452 |    23568     30 |      826 |      742
873.15/873.34	c  873s |      18 |   489568 |   344152 |    23568     30 |      826 |      742
875.25/875.42	c  875s |      18 |   490241 |   344752 |    23568     30 |      826 |      742
877.25/877.44	c  877s |      18 |   490892 |   345352 |    23568     30 |      826 |      742
879.25/879.48	c  879s |      18 |   491530 |   345952 |    23568     30 |      826 |      742
881.34/881.50	c  881s |      18 |   492197 |   346552 |    23568     30 |      826 |      742
883.44/883.67	c  883s |      18 |   492967 |   347252 |    23568     30 |      826 |      742
885.54/885.75	c  885s |      18 |   493622 |   347852 |    23568     30 |      826 |      742
887.74/887.94	c  887s |      18 |   494387 |   348552 |    23568     30 |      826 |      742
889.94/890.11	c  889s |      18 |   495189 |   349252 |    23568     30 |      826 |      742
892.14/892.36	c  892s |      18 |   495952 |   349952 |    23568     30 |      826 |      742
894.44/894.66	c  894s |      18 |   496726 |   350652 |    23568     30 |      826 |      742
896.74/896.98	c  896s |      18 |   497468 |   351352 |    23568     30 |      826 |      742
898.94/899.16	c  898s |      18 |   498136 |   351952 |    23568     30 |      826 |      742
900.94/901.17	c  900s |      18 |   498677 |   352452 |    23568     30 |      826 |      742
903.34/903.56	c  903s |      18 |   499317 |   353052 |    23568     30 |      826 |      742
905.44/905.68	c  905s |      18 |   499859 |   353552 |    23568     30 |      826 |      742
907.64/907.85	c  907s |      18 |   500421 |   354052 |    23568     30 |      826 |      742
910.03/910.20	c  909s |      18 |   501301 |   354752 |    23568     30 |      826 |      742
912.33/912.55	c  912s |      18 |   502053 |   355352 |    23568     30 |      826 |      742
914.43/914.68	c  914s |      18 |   502620 |   355852 |    23568     30 |      826 |      742
916.63/916.85	c  916s |      18 |   503214 |   356352 |    23568     31 |      826 |      742
918.63/918.87	c  918s |      18 |   503920 |   356952 |    23568     31 |      826 |      742
921.03/921.24	c  920s |      18 |   504628 |   357552 |    23568     31 |      826 |      742
923.03/923.27	c  923s |      18 |   505283 |   358152 |    23568     31 |      826 |      742
925.04/925.28	c  925s |      18 |   506134 |   358852 |    23568     31 |      826 |      742
927.14/927.37	c  927s |      18 |   506811 |   359452 |    23568     31 |      826 |      742
929.23/929.43	c  929s |      18 |   507484 |   360052 |    23568     31 |      826 |      742
931.42/931.62	c  931s |      18 |   508249 |   360652 |    23568     31 |      826 |      742
933.42/933.62	c  933s |      18 |   508918 |   361252 |    23568     31 |      826 |      742
935.62/935.81	c  935s |      18 |   509571 |   361852 |    23568     31 |      826 |      742
937.72/937.94	c  937s |      18 |   510142 |   362352 |    23568     31 |      826 |      742
939.82/940.08	c  939s |      18 |   510865 |   362952 |    23568     31 |      826 |      742
941.92/942.13	c  941s |      18 |   511569 |   363552 |    23568     31 |      826 |      742
943.92/944.17	c  943s |      18 |   512109 |   364052 |    23568     31 |      826 |      742
946.32/946.55	c  946s |      18 |   512817 |   364652 |    23568     31 |      826 |      742
948.52/948.77	c  948s |      18 |   513475 |   365252 |    23568     31 |      826 |      742
950.81/951.05	c  950s |      18 |   514307 |   365952 |    23568     31 |      826 |      742
953.01/953.26	c  953s |      18 |   514956 |   366552 |    23568     31 |      826 |      742
955.31/955.59	c  955s |      18 |   515571 |   367152 |    23568     31 |      826 |      742
957.51/957.71	c  957s |      18 |   516240 |   367752 |    23568     31 |      826 |      742
959.61/959.86	c  959s |      18 |   516920 |   368352 |    23568     31 |      826 |      742
961.70/961.93	c  961s |      18 |   517488 |   368852 |    23568     31 |      826 |      742
964.00/964.26	c  964s |      18 |   518031 |   369352 |    23568     32 |      826 |      742
966.10/966.30	c  966s |      18 |   518793 |   370052 |    23568     32 |      826 |      742
968.20/968.40	c  968s |      18 |   519679 |   370852 |    23568     32 |      826 |      742
970.30/970.56	c  970s |      18 |   520438 |   371552 |    23568     32 |      826 |      742
972.40/972.61	c  972s |      18 |   521213 |   372252 |    23568     32 |      826 |      742
974.41/974.68	c  974s |      18 |   521879 |   372852 |    23568     32 |      826 |      742
976.50/976.70	c  976s |      18 |   522507 |   373452 |    23568     32 |      826 |      742
978.60/978.82	c  978s |      18 |   523157 |   374052 |    23568     32 |      826 |      742
980.69/980.93	c  980s |      18 |   523803 |   374652 |    23568     32 |      826 |      742
982.79/983.00	c  982s |      18 |   524452 |   375252 |    23568     32 |      826 |      742
984.79/985.00	c  984s |      18 |   525133 |   375852 |    23568     32 |      826 |      742
986.89/987.16	c  986s |      18 |   525937 |   376552 |    23568     32 |      826 |      742
988.99/989.20	c  988s |      18 |   526578 |   377152 |    23568     32 |      826 |      742
991.29/991.55	c  991s |      18 |   527222 |   377752 |    23568     32 |      826 |      742
993.49/993.77	c  993s |      18 |   527879 |   378352 |    23568     32 |      826 |      742
995.59/995.89	c  995s |      18 |   528529 |   378952 |    23568     32 |      826 |      742
997.99/998.27	c  998s |      18 |   529172 |   379552 |    23568     32 |      826 |      742
1000.28/1000.59	c 1000s |      18 |   529822 |   380152 |    23568     32 |      826 |      742
1002.68/1002.93	c 1002s |      18 |   530486 |   380752 |    23568     32 |      826 |      742
1004.68/1004.98	c 1004s |      18 |   531052 |   381252 |    23568     32 |      826 |      742
1006.88/1007.18	c 1006s |      18 |   531586 |   381752 |    23568     32 |      826 |      742
1008.98/1009.25	c 1008s |      18 |   532110 |   382252 |    23568     32 |      826 |      742
1011.68/1011.92	c 1011s |      18 |   532641 |   382752 |    23568     33 |      826 |      742
1013.88/1014.13	c 1013s |      18 |   533280 |   383352 |    23568     33 |      826 |      742
1015.98/1016.25	c 1015s |      18 |   533924 |   383952 |    23568     33 |      826 |      742
1018.08/1018.32	c 1018s |      18 |   534558 |   384552 |    23568     33 |      826 |      742
1020.08/1020.38	c 1020s |      18 |   535246 |   385152 |    23568     33 |      826 |      742
1022.18/1022.46	c 1022s |      18 |   536075 |   385852 |    23568     33 |      826 |      742
1024.28/1024.57	c 1024s |      18 |   536861 |   386552 |    23568     33 |      826 |      742
1026.48/1026.70	c 1026s |      18 |   537557 |   387152 |    23568     33 |      826 |      742
1028.48/1028.76	c 1028s |      18 |   538131 |   387652 |    23568     33 |      826 |      742
1030.78/1031.00	c 1030s |      18 |   538944 |   388352 |    23568     33 |      826 |      742
1032.88/1033.13	c 1032s |      18 |   539974 |   389052 |    23568     33 |      826 |      742
1034.89/1035.20	c 1034s |      18 |   540638 |   389652 |    23568     33 |      826 |      742
1037.08/1037.36	c 1037s |      18 |   541487 |   390352 |    23568     33 |      826 |      742
1039.18/1039.40	c 1039s |      18 |   542324 |   391052 |    23568     33 |      826 |      742
1041.17/1041.46	c 1041s |      18 |   543004 |   391652 |    23568     33 |      826 |      742
1043.27/1043.51	c 1043s |      18 |   543686 |   392252 |    23568     33 |      826 |      742
1045.37/1045.67	c 1045s |      18 |   544371 |   392852 |    23568     33 |      826 |      742
1047.67/1047.96	c 1047s |      18 |   545077 |   393452 |    23568     33 |      826 |      742
1049.77/1050.08	c 1049s |      18 |   545750 |   394052 |    23568     33 |      826 |      742
1052.07/1052.37	c 1052s |      18 |   546416 |   394652 |    23568     33 |      826 |      742
1054.37/1054.67	c 1054s |      18 |   547059 |   395252 |    23568     33 |      826 |      742
1056.77/1057.10	c 1056s |      18 |   547725 |   395852 |    23568     33 |      826 |      742
1058.87/1059.13	c 1058s |      18 |   548164 |   396252 |    23568     34 |      826 |      742
1060.96/1061.21	c 1060s |      18 |   548808 |   396852 |    23568     34 |      826 |      742
1063.26/1063.52	c 1063s |      18 |   549542 |   397552 |    23568     34 |      826 |      742
1065.26/1065.57	c 1065s |      18 |   550181 |   398152 |    23568     34 |      826 |      742
1067.46/1067.78	c 1067s |      18 |   550977 |   398852 |    23568     34 |      826 |      742
1069.76/1070.02	c 1069s |      18 |   551760 |   399552 |    23568     34 |      826 |      742
1071.85/1072.10	c 1071s |      18 |   552407 |   400152 |    23568     34 |      826 |      742
1073.95/1074.28	c 1074s |      18 |   553075 |   400752 |    23568     34 |      826 |      742
1076.05/1076.38	c 1076s |      18 |   553727 |   401352 |    23568     34 |      826 |      742
1078.35/1078.60	c 1078s |      18 |   554542 |   402052 |    23568     34 |      826 |      742
1080.35/1080.67	c 1080s |      18 |   555191 |   402652 |    23568     34 |      826 |      742
1082.45/1082.71	c 1082s |      18 |   555843 |   403252 |    23568     34 |      826 |      742
1084.55/1084.89	c 1084s |      18 |   556635 |   403952 |    23568     34 |      826 |      742
1086.66/1086.93	c 1086s |      18 |   557467 |   404652 |    23568     34 |      826 |      742
1088.75/1089.05	c 1088s |      18 |   558272 |   405352 |    23568     34 |      826 |      742
1090.74/1091.09	c 1090s |      18 |   558909 |   405952 |    23568     34 |      826 |      742
1092.84/1093.13	c 1092s |      18 |   559585 |   406552 |    23568     34 |      826 |      742
1095.14/1095.46	c 1095s |      18 |   560343 |   407252 |    23568     34 |      826 |      742
1097.34/1097.67	c 1097s |      18 |   560999 |   407852 |    23568     34 |      826 |      742
1099.64/1099.90	c 1099s |      18 |   561665 |   408452 |    23568     34 |      826 |      742
1101.95/1102.22	c 1101s |      18 |   562295 |   409052 |    23568     34 |      826 |      742
1104.25/1104.52	c 1104s |      18 |   562832 |   409552 |    23568     35 |      826 |      742
1106.35/1106.64	c 1106s |      18 |   563598 |   410252 |    23568     35 |      826 |      742
1108.34/1108.68	c 1108s |      18 |   564378 |   410952 |    23568     35 |      826 |      742
1110.44/1110.70	c 1110s |      18 |   565112 |   411552 |    23568     35 |      826 |      742
1112.43/1112.79	c 1112s |      18 |   566044 |   412352 |    23568     35 |      826 |      742
1114.53/1114.84	c 1114s |      18 |   566815 |   413052 |    23568     35 |      826 |      742
1116.83/1117.14	c 1116s |      18 |   567583 |   413752 |    23568     35 |      826 |      742
1119.03/1119.38	c 1119s |      18 |   568361 |   414452 |    23568     35 |      826 |      742
1121.43/1121.77	c 1121s |      18 |   569137 |   415152 |    23568     35 |      826 |      742
1123.63/1123.96	c 1123s |      18 |   569767 |   415752 |    23568     35 |      826 |      742
1126.03/1126.31	c 1126s |      18 |   570421 |   416352 |    23568     35 |      826 |      742
1128.13/1128.42	c 1128s |      18 |   571066 |   416952 |    23568     35 |      826 |      742
1130.32/1130.62	c 1130s |      18 |   571609 |   417452 |    23568     35 |      826 |      742
1132.52/1132.85	c 1132s |      18 |   572266 |   418052 |    23568     35 |      826 |      742
1134.62/1134.96	c 1134s |      18 |   572795 |   418552 |    23568     35 |      826 |      742
1136.82/1137.17	c 1136s |      18 |   573452 |   419152 |    23568     35 |      826 |      742
1138.92/1139.22	c 1138s |      18 |   573988 |   419652 |    23568     35 |      826 |      742
1141.21/1141.58	c 1141s |      18 |   574511 |   420152 |    23568     35 |      826 |      742
1143.31/1143.69	c 1143s |      18 |   575046 |   420652 |    23568     35 |      826 |      742
1145.61/1145.93	c 1145s |      18 |   575582 |   421152 |    23568     35 |      826 |      742
1147.81/1148.11	c 1147s |      18 |   576143 |   421652 |    23568     35 |      826 |      742
1150.10/1150.41	c 1150s |      18 |   576725 |   422152 |    23568     35 |      826 |      742
1152.20/1152.57	c 1152s |      18 |   577279 |   422652 |    23568     35 |      826 |      742
1154.30/1154.61	c 1154s |      18 |   577930 |   423152 |    23568     36 |      826 |      742
1156.40/1156.70	c 1156s |      18 |   578819 |   423952 |    23568     36 |      826 |      742
1158.40/1158.79	c 1158s |      18 |   579711 |   424752 |    23568     36 |      826 |      742
1160.50/1160.87	c 1160s |      18 |   580359 |   425352 |    23568     36 |      826 |      742
1162.70/1163.02	c 1162s |      18 |   581451 |   426152 |    23568     36 |      826 |      742
1164.90/1165.21	c 1164s |      18 |   582266 |   426852 |    23568     36 |      826 |      742
1167.10/1167.48	c 1167s |      18 |   583096 |   427552 |    23568     36 |      826 |      742
1169.30/1169.66	c 1169s |      18 |   583883 |   428252 |    23568     36 |      826 |      742
1171.39/1171.76	c 1171s |      18 |   584710 |   428952 |    23568     36 |      826 |      742
1173.69/1174.04	c 1173s |      18 |   585497 |   429652 |    23568     36 |      826 |      742
1175.70/1176.05	c 1175s |      18 |   586049 |   430152 |    23568     36 |      826 |      742
1177.80/1178.16	c 1177s |      18 |   586612 |   430652 |    23568     36 |      826 |      742
1180.09/1180.41	c 1180s |      18 |   587497 |   431352 |    23568     36 |      826 |      742
1182.08/1182.46	c 1182s |      18 |   588101 |   431852 |    23568     36 |      826 |      742
1184.49/1184.84	c 1184s |      18 |   588795 |   432452 |    23568     36 |      826 |      742
1186.59/1186.97	c 1186s |      18 |   589364 |   432952 |    23568     36 |      826 |      742
1188.79/1189.11	c 1188s |      18 |   590060 |   433552 |    23568     36 |      826 |      742
1191.08/1191.45	c 1191s |      18 |   590621 |   434052 |    23568     36 |      826 |      742
1193.47/1193.86	c 1193s |      18 |   591279 |   434652 |    23568     36 |      826 |      742
1195.77/1196.15	c 1195s |      18 |   591836 |   435152 |    23568     36 |      826 |      742
1198.07/1198.46	c 1198s |      18 |   592414 |   435652 |    23568     36 |      826 |      742
1200.27/1200.68	c 1200s |      18 |   592866 |   436052 |    23568     37 |      826 |      742
1202.37/1202.77	c 1202s |      18 |   593520 |   436652 |    23568     37 |      826 |      742
1204.77/1205.14	c 1204s |      18 |   594334 |   437352 |    23568     37 |      826 |      742
1207.07/1207.45	c 1207s |      18 |   595207 |   438152 |    23568     37 |      826 |      742
1209.26/1209.64	c 1209s |      18 |   595973 |   438852 |    23568     37 |      826 |      742
1211.37/1211.79	c 1211s |      18 |   596813 |   439552 |    23568     37 |      826 |      742
1213.67/1214.05	c 1213s |      18 |   597675 |   440352 |    23568     37 |      826 |      742
1215.77/1216.13	c 1215s |      18 |   598422 |   441052 |    23568     37 |      826 |      742
1218.07/1218.44	c 1218s |      18 |   599198 |   441752 |    25925     37 |      826 |      742
1220.26/1220.65	c 1220s |      18 |   599870 |   442352 |    25925     37 |      826 |      742
1222.56/1222.91	c 1222s |      18 |   600539 |   442952 |    25925     37 |      826 |      742
1224.56/1224.94	c 1224s |      18 |   601190 |   443552 |    25925     37 |      826 |      742
1226.96/1227.39	c 1227s |      18 |   601948 |   444252 |    25925     37 |      826 |      742
1228.26/1228.61	c 1228s |      19 |   602186 |   444482 |    25925     37 |      826 |      742
1230.25/1230.63	c 1230s |      19 |   607732 |   446082 |    25925     37 |      826 |      742
1232.35/1232.71	c 1232s |      19 |   614824 |   448582 |    25925     37 |      826 |      742
1234.35/1234.80	c 1234s |      19 |   621377 |   451082 |    25925     37 |      826 |      742
1236.45/1236.85	c 1236s |      19 |   624114 |   452482 |    25925     38 |      826 |      742
1238.45/1238.88	c 1238s |      19 |   625779 |   453782 |    25925     38 |      826 |      742
1240.45/1240.89	c 1240s |      19 |   626985 |   454782 |    25925     38 |      826 |      742
1242.65/1243.05	c 1242s |      19 |   628274 |   455882 |    25925     38 |      826 |      742
1244.74/1245.13	c 1244s |      19 |   629298 |   456782 |    25925     38 |      826 |      742
1246.94/1247.36	c 1247s |      19 |   630294 |   457682 |    25925     38 |      826 |      742
1249.04/1249.41	c 1249s |      19 |   631354 |   458582 |    25925     38 |      826 |      742
1251.13/1251.50	c 1251s |      19 |   632260 |   459382 |    25925     38 |      826 |      742
1253.23/1253.64	c 1253s |      19 |   633023 |   460082 |    25925     38 |      826 |      742
1255.33/1255.78	c 1255s |      19 |   633783 |   460782 |    25925     38 |      826 |      742
1257.53/1257.91	c 1257s |      19 |   634529 |   461482 |    25925     38 |      826 |      742
1259.63/1260.03	c 1259s |      19 |   635470 |   462282 |    25925     38 |      826 |      742
1261.72/1262.19	c 1261s |      19 |   636110 |   462882 |    25925     38 |      826 |      742
1263.82/1264.23	c 1263s |      19 |   636772 |   463482 |    25925     38 |      826 |      742
1265.83/1266.27	c 1266s |      19 |   637584 |   464182 |    25925     38 |      826 |      742
1267.93/1268.39	c 1268s |      19 |   638418 |   464882 |    25925     38 |      826 |      742
1270.01/1270.46	c 1270s |      19 |   639231 |   465582 |    25925     38 |      826 |      742
1272.11/1272.59	c 1272s |      19 |   640032 |   466282 |    25925     38 |      826 |      742
1274.21/1274.68	c 1274s |      19 |   643018 |   467582 |    25925     39 |      826 |      742
1276.41/1276.82	c 1276s |      19 |   644701 |   468582 |    25925     39 |      826 |      742
1278.41/1278.88	c 1278s |      19 |   646502 |   469682 |    25925     39 |      826 |      742
1280.50/1280.97	c 1280s |      19 |   647824 |   470682 |    25925     39 |      826 |      742
1282.60/1283.02	c 1282s |      19 |   648908 |   471582 |    25925     39 |      826 |      742
1284.60/1285.07	c 1284s |      19 |   650761 |   472782 |    25925     39 |      826 |      742
1286.61/1287.08	c 1286s |      19 |   652179 |   473782 |    25925     39 |      826 |      742
1288.81/1289.25	c 1288s |      19 |   653338 |   474682 |    25925     39 |      826 |      742
1291.01/1291.41	c 1291s |      19 |   654455 |   475582 |    25925     39 |      826 |      742
1293.10/1293.53	c 1293s |      19 |   655711 |   476482 |    25925     39 |      826 |      742
1295.30/1295.77	c 1295s |      19 |   656691 |   477282 |    25925     39 |      826 |      742
1297.51/1297.94	c 1297s |      19 |   657454 |   477982 |    25925     39 |      826 |      742
1299.81/1300.26	c 1300s |      19 |   658095 |   478582 |    25925     39 |      826 |      742
1301.90/1302.34	c 1302s |      19 |   658750 |   479082 |    25925     39 |      826 |      742
1304.10/1304.59	c 1304s |      19 |   659531 |   479782 |    25925     39 |      826 |      742
1306.10/1306.59	c 1306s |      19 |   660316 |   480382 |    25925     39 |      826 |      742
1308.30/1308.78	c 1308s |      19 |   660973 |   480982 |    25925     39 |      826 |      742
1310.59/1311.01	c 1310s |      19 |   661519 |   481482 |    25925     40 |      826 |      742
1312.59/1313.06	c 1312s |      19 |   662293 |   482182 |    25925     40 |      826 |      742
1314.69/1315.17	c 1314s |      19 |   663056 |   482882 |    25925     40 |      826 |      742
1316.79/1317.25	c 1316s |      19 |   663749 |   483482 |    25925     40 |      826 |      742
1318.99/1319.43	c 1319s |      19 |   664472 |   484082 |    25925     40 |      826 |      742
1321.18/1321.63	c 1321s |      19 |   664932 |   484482 |    25925     40 |      826 |      742
1323.48/1323.91	c 1323s |      19 |   665753 |   485182 |    25925     40 |      826 |      742
1325.58/1326.02	c 1325s |      19 |   666413 |   485782 |    25925     40 |      826 |      742
1327.68/1328.12	c 1327s |      19 |   667062 |   486382 |    25925     40 |      826 |      742
1329.97/1330.45	c 1330s |      19 |   667613 |   486882 |    25925     40 |      826 |      742
1332.27/1332.71	c 1332s |      19 |   668438 |   487482 |    25925     40 |      826 |      742
1334.47/1334.91	c 1334s |      19 |   669476 |   488282 |    25925     40 |      826 |      742
1336.57/1337.02	c 1336s |      19 |   670293 |   488982 |    25925     40 |      826 |      742
1338.57/1339.08	c 1338s |      19 |   671118 |   489682 |    25925     40 |      826 |      742
1340.66/1341.13	c 1340s |      19 |   671940 |   490382 |    25925     40 |      826 |      742
1342.86/1343.32	c 1343s |      19 |   672735 |   491082 |    25925     40 |      826 |      742
1345.16/1345.65	c 1345s |      19 |   673530 |   491782 |    25925     40 |      826 |      742
1347.26/1347.74	c 1347s |      19 |   674206 |   492382 |    25925     40 |      826 |      742
1349.27/1349.77	c 1349s |      19 |   674761 |   492882 |    25925     40 |      826 |      742
1351.36/1351.85	c 1351s |      19 |   675651 |   493582 |    25925     40 |      826 |      742
1353.36/1353.85	c 1353s |      19 |   676616 |   494282 |    25925     40 |      826 |      742
1355.66/1356.12	c 1355s |      19 |   677698 |   495082 |    25925     40 |      826 |      742
1358.26/1358.72	c 1358s |      19 |   678417 |   495682 |    25925     41 |      826 |      742
1360.45/1360.94	c 1360s |      19 |   679663 |   496582 |    25925     41 |      826 |      742
1362.65/1363.16	c 1362s |      19 |   680777 |   497482 |    25925     41 |      826 |      742
1364.95/1365.45	c 1365s |      19 |   681740 |   498282 |    25925     41 |      826 |      742
1366.96/1367.45	c 1367s |      19 |   682590 |   498982 |    25925     41 |      826 |      742
1368.94/1369.46	c 1369s |      19 |   683298 |   499582 |    25925     41 |      826 |      742
1371.14/1371.66	c 1371s |      19 |   684437 |   500482 |    25925     41 |      826 |      742
1373.34/1373.87	c 1373s |      19 |   685503 |   501382 |    25925     41 |      826 |      742
1375.54/1376.09	c 1375s |      19 |   686538 |   502182 |    25925     41 |      826 |      742
1377.74/1378.29	c 1378s |      19 |   687381 |   502882 |    25925     41 |      826 |      742
1379.84/1380.35	c 1380s |      19 |   688101 |   503482 |    25925     41 |      826 |      742
1381.93/1382.42	c 1382s |      19 |   688775 |   504082 |    25925     41 |      826 |      742
1384.23/1384.71	c 1384s |      19 |   689606 |   504782 |    25925     41 |      826 |      742
1386.33/1386.86	c 1386s |      19 |   690287 |   505382 |    25925     41 |      826 |      742
1388.73/1389.26	c 1389s |      19 |   690951 |   505982 |    25925     41 |      826 |      742
1390.73/1391.26	c 1391s |      19 |   691742 |   506582 |    25925     41 |      826 |      742
1392.73/1393.29	c 1393s |      19 |   692425 |   507182 |    25925     41 |      826 |      742
1395.03/1395.53	c 1395s |      19 |   693116 |   507782 |    25925     41 |      826 |      742
1397.33/1397.84	c 1397s |      19 |   693803 |   508382 |    25925     41 |      826 |      742
1399.63/1400.10	c 1399s |      19 |   694688 |   509082 |    25925     41 |      826 |      742
1401.73/1402.29	c 1402s |      19 |   695236 |   509582 |    25925     41 |      826 |      742
1404.03/1404.51	c 1404s |      19 |   695931 |   510182 |    25925     41 |      826 |      742
1406.24/1406.75	c 1406s |      19 |   696512 |   510682 |    25925     42 |      826 |      742
1408.54/1409.02	c 1408s |      19 |   697321 |   511382 |    25925     42 |      826 |      742
1410.54/1411.04	c 1410s |      19 |   698173 |   512082 |    25925     42 |      826 |      742
1412.74/1413.21	c 1412s |      19 |   699119 |   512882 |    25925     42 |      826 |      742
1414.74/1415.25	c 1414s |      19 |   699913 |   513582 |    25925     42 |      826 |      742
1416.84/1417.34	c 1417s |      19 |   700702 |   514282 |    25925     42 |      826 |      742
1418.94/1419.44	c 1419s |      19 |   702014 |   515182 |    25925     42 |      826 |      742
1421.24/1421.71	c 1421s |      19 |   703097 |   516082 |    25925     42 |      826 |      742
1423.24/1423.75	c 1423s |      19 |   704057 |   516882 |    25925     42 |      826 |      742
1425.44/1425.99	c 1425s |      19 |   705060 |   517682 |    25925     42 |      826 |      742
1427.64/1428.16	c 1427s |      19 |   706233 |   518582 |    25925     42 |      826 |      742
1429.83/1430.40	c 1430s |      19 |   707054 |   519282 |    25925     42 |      826 |      742
1432.13/1432.68	c 1432s |      19 |   707710 |   519882 |    25925     42 |      826 |      742
1434.43/1434.96	c 1434s |      19 |   708644 |   520682 |    25925     42 |      826 |      742
1436.53/1437.09	c 1436s |      19 |   709465 |   521382 |    25925     42 |      826 |      742
1438.63/1439.16	c 1438s |      19 |   710134 |   521982 |    25925     42 |      826 |      742
1440.83/1441.31	c 1441s |      19 |   711100 |   522682 |    25925     42 |      826 |      742
1442.84/1443.35	c 1443s |      19 |   717494 |   524182 |    25925     43 |      826 |      742
1444.94/1445.42	c 1445s |      19 |   720957 |   526082 |    25925     43 |      826 |      742
1446.93/1447.49	c 1447s |      19 |   722840 |   527582 |    25925     43 |      826 |      742
1449.13/1449.65	c 1449s |      19 |   724589 |   528982 |    25925     43 |      826 |      742
1451.43/1451.90	c 1451s |      19 |   726021 |   530182 |    25925     43 |      826 |      742
1453.43/1453.95	c 1453s |      19 |   727174 |   531182 |    25925     43 |      826 |      742
1455.63/1456.14	c 1455s |      19 |   728324 |   532182 |    25925     43 |      826 |      742
1457.63/1458.20	c 1457s |      19 |   729350 |   533082 |    25925     43 |      826 |      742
1459.73/1460.23	c 1459s |      19 |   731585 |   534482 |    25925     43 |      826 |      742
1461.83/1462.35	c 1462s |      19 |   734309 |   535982 |    25925     43 |      826 |      742
1463.83/1464.38	c 1464s |      19 |   735724 |   537082 |    25925     43 |      826 |      742
1466.03/1466.56	c 1466s |      19 |   737207 |   538082 |    25925     43 |      826 |      742
1468.14/1468.65	c 1468s |      19 |   739113 |   539182 |    25925     44 |      826 |      742
1470.12/1470.68	c 1470s |      19 |   741406 |   540582 |    25925     44 |      826 |      742
1472.22/1472.79	c 1472s |      19 |   742475 |   541482 |    25925     44 |      826 |      742
1474.32/1474.89	c 1474s |      19 |   743399 |   542282 |    25925     44 |      826 |      742
1476.52/1477.06	c 1476s |      19 |   744655 |   543182 |    25925     44 |      826 |      742
1478.52/1479.07	c 1478s |      19 |   745808 |   544082 |    25925     44 |      826 |      742
1480.52/1481.09	c 1480s |      19 |   747372 |   545282 |    25925     44 |      826 |      742
1482.62/1483.14	c 1482s |      19 |   748386 |   546182 |    25925     44 |      826 |      742
1484.72/1485.21	c 1484s |      19 |   749267 |   546982 |    25925     44 |      826 |      742
1486.73/1487.23	c 1486s |      19 |   750032 |   547682 |    25925     44 |      826 |      742
1488.93/1489.46	c 1489s |      19 |   751085 |   548482 |    25925     44 |      826 |      742
1491.23/1491.75	c 1491s |      19 |   752005 |   549282 |    25925     44 |      826 |      742
1493.52/1494.08	c 1493s |      19 |   752782 |   549982 |    25925     44 |      826 |      742
1495.92/1496.42	c 1496s |      19 |   753419 |   550582 |    25925     44 |      826 |      742
1498.02/1498.57	c 1498s |      19 |   754076 |   551182 |    25925     44 |      826 |      742
1500.03/1500.59	c 1500s |      19 |   755260 |   551882 |    25925     44 |      826 |      742
1502.13/1502.69	c 1502s |      19 |   756077 |   552582 |    25925     44 |      826 |      742
1504.22/1504.74	c 1504s |      19 |   756778 |   553182 |    25925     45 |      826 |      742
1506.42/1506.95	c 1506s |      19 |   757828 |   554082 |    25925     45 |      826 |      742
1508.62/1509.13	c 1508s |      19 |   759117 |   555082 |    25925     45 |      826 |      742
1510.82/1511.40	c 1511s |      19 |   760214 |   555982 |    25925     45 |      826 |      742
1513.13/1513.62	c 1513s |      19 |   761133 |   556782 |    25925     45 |      826 |      742
1515.22/1515.75	c 1515s |      19 |   762035 |   557582 |    25925     45 |      826 |      742
1517.22/1517.75	c 1517s |      19 |   762850 |   558282 |    25925     45 |      826 |      742
1519.42/1519.92	c 1519s |      19 |   763657 |   558982 |    25925     45 |      826 |      742
1521.62/1522.15	c 1521s |      19 |   764593 |   559782 |    25925     45 |      826 |      742
1523.62/1524.19	c 1523s |      19 |   765397 |   560482 |    25925     45 |      826 |      742
1525.62/1526.19	c 1525s |      19 |   766072 |   561082 |    25925     45 |      826 |      742
1528.01/1528.51	c 1528s |      19 |   766719 |   561682 |    25925     45 |      826 |      742
1530.11/1530.62	c 1530s |      19 |   767406 |   562282 |    25925     45 |      826 |      742
1532.31/1532.85	c 1532s |      19 |   768247 |   562982 |    25925     45 |      826 |      742
1534.51/1535.05	c 1534s |      19 |   768932 |   563582 |    25925     45 |      826 |      742
1536.81/1537.30	c 1537s |      19 |   769612 |   564182 |    25925     45 |      826 |      742
1538.91/1539.46	c 1539s |      19 |   770158 |   564682 |    25925     45 |      826 |      742
1541.01/1541.51	c 1541s |      19 |   770737 |   565182 |    25925     45 |      826 |      742
1543.51/1544.04	c 1543s |      19 |   771509 |   565882 |    25925     45 |      826 |      742
1545.81/1546.38	c 1546s |      19 |   772165 |   566482 |    25925     45 |      826 |      742
1548.01/1548.53	c 1548s |      19 |   772693 |   566982 |    25925     45 |      826 |      742
1550.41/1550.95	c 1550s |      19 |   773259 |   567482 |    25925     46 |      826 |      742
1552.51/1553.04	c 1552s |      19 |   773911 |   568082 |    25925     46 |      826 |      742
1554.81/1555.33	c 1555s |      19 |   774679 |   568782 |    25925     46 |      826 |      742
1556.91/1557.43	c 1557s |      19 |   775326 |   569382 |    25925     46 |      826 |      742
1559.01/1559.56	c 1559s |      19 |   776012 |   569982 |    25925     46 |      826 |      742
1561.31/1561.82	c 1561s |      19 |   776537 |   570482 |    25925     46 |      826 |      742
1563.61/1564.18	c 1563s |      19 |   777223 |   571082 |    25925     46 |      826 |      742
1565.81/1566.33	c 1566s |      19 |   777985 |   571682 |    25925     46 |      826 |      742
1567.90/1568.41	c 1568s |      19 |   778776 |   572282 |    25925     46 |      826 |      742
1569.91/1570.45	c 1570s |      19 |   779513 |   572882 |    25925     46 |      826 |      742
1572.11/1572.63	c 1572s |      19 |   780221 |   573482 |    25925     46 |      826 |      742
1574.31/1574.84	c 1574s |      19 |   780926 |   574082 |    25925     46 |      826 |      742
1576.41/1576.92	c 1576s |      19 |   781482 |   574582 |    25925     46 |      826 |      742
1578.61/1579.13	c 1578s |      19 |   782035 |   575082 |    25925     46 |      826 |      742
1580.71/1581.28	c 1581s |      19 |   782917 |   575682 |    25925     46 |      826 |      742
1582.81/1583.35	c 1583s |      19 |   783995 |   576482 |    25925     46 |      826 |      742
1584.91/1585.44	c 1585s |      19 |   784689 |   577082 |    25925     46 |      826 |      742
1586.91/1587.46	c 1587s |      19 |   785382 |   577682 |    25925     46 |      826 |      742
1589.11/1589.65	c 1589s |      19 |   786088 |   578282 |    25925     46 |      826 |      742
1591.21/1591.80	c 1591s |      19 |   786759 |   578882 |    25925     46 |      826 |      742
1593.60/1594.10	c 1593s |      19 |   787409 |   579482 |    25925     46 |      826 |      742
1595.71/1596.28	c 1596s |      19 |   787930 |   579982 |    25925     46 |      826 |      742
1597.81/1598.35	c 1598s |      19 |   788529 |   580482 |    25925     46 |      826 |      742
1600.01/1600.60	c 1600s |      19 |   789204 |   581082 |    25925     46 |      826 |      742
1602.10/1602.61	c 1602s |      19 |   789859 |   581682 |    25925     46 |      826 |      742
1604.10/1604.66	c 1604s |      19 |   790425 |   582182 |    25925     47 |      826 |      742
1606.10/1606.69	c 1606s |      19 |   791180 |   582882 |    25925     47 |      826 |      742
1608.30/1608.83	c 1608s |      19 |   791949 |   583582 |    25925     47 |      826 |      742
1610.60/1611.17	c 1610s |      19 |   792722 |   584282 |    25925     47 |      826 |      742
1612.90/1613.48	c 1613s |      19 |   793531 |   584982 |    25925     47 |      826 |      742
1615.10/1615.68	c 1615s |      19 |   794355 |   585682 |    25925     47 |      826 |      742
1617.50/1618.03	c 1617s |      19 |   794990 |   586282 |    25925     47 |      826 |      742
1619.91/1620.41	c 1620s |      19 |   795629 |   586882 |    25925     47 |      826 |      742
1621.90/1622.47	c 1622s |      19 |   796285 |   587482 |    25925     47 |      826 |      742
1624.01/1624.51	c 1624s |      19 |   796967 |   588082 |    25925     47 |      826 |      742
1626.10/1626.67	c 1626s |      19 |   797637 |   588682 |    25925     47 |      826 |      742
1628.20/1628.74	c 1628s |      19 |   798176 |   589182 |    25925     47 |      826 |      742
1630.30/1630.87	c 1630s |      19 |   798718 |   589682 |    25925     47 |      826 |      742
1632.60/1633.15	c 1632s |      19 |   799404 |   590282 |    25925     47 |      826 |      742
1635.00/1635.53	c 1635s |      19 |   800046 |   590882 |    25925     47 |      826 |      742
1637.00/1637.58	c 1637s |      19 |   800601 |   591382 |    25925     47 |      826 |      742
1639.30/1639.87	c 1639s |      19 |   801289 |   591982 |    25925     47 |      826 |      742
1641.60/1642.16	c 1641s |      19 |   801984 |   592582 |    25925     47 |      826 |      742
1643.80/1644.33	c 1644s |      19 |   802520 |   593082 |    25925     47 |      826 |      742
1645.90/1646.46	c 1646s |      19 |   803089 |   593582 |    25925     47 |      826 |      742
1648.20/1648.73	c 1648s |      19 |   803647 |   594082 |    25925     47 |      826 |      742
1650.50/1651.04	c 1650s |      19 |   804310 |   594682 |    25925     47 |      826 |      742
1652.50/1653.05	c 1652s |      19 |   804838 |   595182 |    25925     47 |      826 |      742
1654.90/1655.46	c 1655s |      19 |   805363 |   595682 |    25925     47 |      826 |      742
1657.31/1657.82	c 1657s |      19 |   806039 |   596282 |    25925     47 |      826 |      742
1659.51/1660.02	c 1659s |      19 |   806484 |   596682 |    25925     48 |      826 |      742
1661.61/1662.13	c 1661s |      19 |   807135 |   597282 |    25925     48 |      826 |      742
1663.70/1664.22	c 1663s |      19 |   807789 |   597882 |    25925     48 |      826 |      742
1665.79/1666.30	c 1666s |      19 |   808432 |   598482 |    25925     48 |      826 |      742
1667.89/1668.42	c 1668s |      19 |   809069 |   599082 |    25925     48 |      826 |      742
1670.09/1670.66	c 1670s |      19 |   809732 |   599682 |    25925     48 |      826 |      742
1672.39/1672.90	c 1672s |      19 |   810372 |   600282 |    25925     48 |      826 |      742
1674.69/1675.25	c 1674s |      19 |   810995 |   600882 |    25925     48 |      826 |      742
1676.79/1677.30	c 1677s |      19 |   811519 |   601382 |    25925     48 |      826 |      742
1679.09/1679.62	c 1679s |      19 |   812207 |   601982 |    25925     48 |      826 |      742
1681.29/1681.85	c 1681s |      19 |   812733 |   602482 |    25925     48 |      826 |      742
1683.70/1684.21	c 1683s |      19 |   813373 |   603082 |    25925     48 |      826 |      742
1685.69/1686.25	c 1685s |      19 |   813899 |   603582 |    25925     48 |      826 |      742
1687.79/1688.39	c 1688s |      19 |   814427 |   604082 |    25925     48 |      826 |      742
1689.89/1690.41	c 1690s |      19 |   814856 |   604482 |    25925     48 |      826 |      742
1692.09/1692.64	c 1692s |      19 |   815387 |   604982 |    25925     48 |      826 |      742
1694.29/1694.87	c 1694s |      19 |   815924 |   605482 |    25925     48 |      826 |      742
1696.80/1697.38	c 1697s |      19 |   816439 |   605982 |    25925     48 |      826 |      742
1699.10/1699.68	c 1699s |      19 |   816961 |   606482 |    25925     48 |      826 |      742
1701.20/1701.74	c 1701s |      19 |   817537 |   606982 |    25925     48 |      826 |      742
1703.29/1703.89	c 1703s |      19 |   818096 |   607482 |    25925     48 |      826 |      742
1705.70/1706.28	c 1706s |      19 |   818801 |   608082 |    25925     48 |      826 |      742
1707.80/1708.39	c 1708s |      19 |   819362 |   608582 |    25925     48 |      826 |      742
1710.19/1710.78	c 1710s |      19 |   819920 |   609082 |    25925     48 |      826 |      742
1712.39/1712.98	c 1712s |      19 |   820481 |   609582 |    25925     48 |      826 |      742
1714.50/1715.06	c 1714s |      19 |   820909 |   609982 |    25925     48 |      826 |      742
1716.79/1717.37	c 1717s |      19 |   821457 |   610482 |    25925     48 |      826 |      742
1718.90/1719.48	c 1719s |      19 |   822001 |   610982 |    25925     48 |      826 |      742
1721.10/1721.64	c 1721s |      19 |   822561 |   611482 |    25925     49 |      826 |      742
1723.09/1723.66	c 1723s |      19 |   823220 |   612082 |    25925     49 |      826 |      742
1725.18/1725.72	c 1725s |      19 |   823742 |   612582 |    25925     49 |      826 |      742
1727.28/1727.84	c 1727s |      19 |   824767 |   613382 |    25925     49 |      826 |      742
1729.28/1729.89	c 1729s |      19 |   825634 |   614082 |    25925     49 |      826 |      742
1731.38/1731.92	c 1731s |      19 |   826525 |   614682 |    25925     49 |      826 |      742
1733.68/1734.24	c 1733s |      19 |   827542 |   615482 |    25925     49 |      826 |      742
1735.78/1736.30	c 1736s |      19 |   828355 |   616182 |    25925     49 |      826 |      742
1737.98/1738.50	c 1738s |      19 |   829057 |   616782 |    25925     49 |      826 |      742
1740.18/1740.70	c 1740s |      19 |   829750 |   617382 |    25925     49 |      826 |      742
1742.38/1742.95	c 1742s |      19 |   830428 |   617982 |    25925     49 |      826 |      742
1744.58/1745.15	c 1744s |      19 |   830962 |   618482 |    25925     49 |      826 |      742
1746.88/1747.40	c 1747s |      19 |   831735 |   619182 |    25925     49 |      826 |      742
1749.08/1749.60	c 1749s |      19 |   832410 |   619782 |    25925     49 |      826 |      742
1751.18/1751.74	c 1751s |      19 |   833075 |   620382 |    25925     49 |      826 |      742
1753.58/1754.16	c 1753s |      19 |   833900 |   621082 |    25925     49 |      826 |      742
1755.78/1756.38	c 1756s |      19 |   834444 |   621582 |    25925     49 |      826 |      742
1757.98/1758.50	c 1758s |      19 |   834886 |   621982 |    25925     49 |      826 |      742
1760.18/1760.77	c 1760s |      19 |   835495 |   622482 |    25925     49 |      826 |      742
1762.28/1762.87	c 1762s |      19 |   836129 |   622982 |    25925     49 |      826 |      742
1764.48/1765.05	c 1764s |      19 |   836700 |   623482 |    25925     49 |      826 |      742
1766.88/1767.40	c 1767s |      19 |   837265 |   623982 |    25925     49 |      826 |      742
1769.08/1769.66	c 1769s |      19 |   837793 |   624482 |    25925     49 |      826 |      742
1771.37/1771.98	c 1771s |      19 |   838357 |   624982 |    25925     49 |      826 |      742
1773.78/1774.39	c 1774s |      19 |   838807 |   625382 |    25925     50 |      826 |      742
1775.87/1776.48	c 1776s |      19 |   839478 |   625982 |    25925     50 |      826 |      742
1777.97/1778.53	c 1778s |      19 |   840134 |   626582 |    25925     50 |      826 |      742
1780.07/1780.64	c 1780s |      19 |   840654 |   627082 |    25925     50 |      826 |      742
1782.47/1783.05	c 1782s |      19 |   841432 |   627782 |    25925     50 |      826 |      742
1784.78/1785.35	c 1785s |      19 |   842077 |   628382 |    25925     50 |      826 |      742
1786.98/1787.51	c 1787s |      19 |   842895 |   629082 |    25925     50 |      826 |      742
1788.97/1789.51	c 1789s |      19 |   843572 |   629682 |    25925     50 |      826 |      742
1791.28/1791.82	c 1791s |      19 |   844409 |   630382 |    25925     50 |      826 |      742
1793.59/1794.13	c 1793s |      19 |   845056 |   630982 |    25925     50 |      826 |      742
1795.89/1796.47	c 1796s |      19 |   845722 |   631582 |    25925     50 |      826 |      742
1798.28/1798.82	c 1798s |      19 |   846391 |   632182 |    25925     50 |      826 |      742

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.09 2.04 3/261 3551
/proc/meminfo: memFree=30820008/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1086020 CPUtime=0 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 4119 0 0 0 0 0 0 0 20 0 4 0 29654741 1112084480 3968 33554432000 4194304 16246674 140735262557440 140735262556864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 272273 3978 442 2943 0 269167 0
[pid=3551/tid=3552] ppid=3548 vsize=1134148 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1161367552 4158 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1139268 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1166610432 4178 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1143364 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29654741 1170804736 4194 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.15 2.09 2.04 3/261 3551
/proc/meminfo: memFree=30820008/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 28281 0 0 0 5 4 0 0 20 0 4 0 29654741 1249447936 28068 33554432000 4194304 16246674 140735262557440 140735262556752 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 305041 28068 802 2943 0 301935 0
[pid=3551/tid=3552] ppid=3548 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1249447936 28068 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1249447936 28068 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1249447936 28068 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20051 s]
/proc/loadavg: 2.15 2.09 2.04 3/261 3551
/proc/meminfo: memFree=30820008/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 48488 0 0 0 12 7 0 0 20 0 4 0 29654741 1332285440 48275 33554432000 4194304 16246674 140735262557440 140735262556752 5657556 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 325265 48275 843 2943 0 322159 0
[pid=3551/tid=3552] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 48275 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 48275 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 48275 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300468 s]
/proc/loadavg: 2.15 2.09 2.04 3/261 3551
/proc/meminfo: memFree=30820008/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 50469 0 0 0 22 7 0 0 20 0 4 0 29654741 1332285440 50256 33554432000 4194304 16246674 140735262557440 140735262540432 5677541 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 325265 50260 883 2943 0 322159 0
[pid=3551/tid=3552] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 50265 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 50268 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 50271 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70034 s]
/proc/loadavg: 2.15 2.09 2.04 3/261 3551
/proc/meminfo: memFree=30820008/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 97943 0 0 0 54 15 0 0 20 0 4 0 29654741 1332285440 97730 33554432000 4194304 16246674 140735262557440 140735262540432 5677277 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 325265 97734 883 2943 0 322159 0
[pid=3551/tid=3552] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 97737 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 97740 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 97744 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.15 2.09 2.04 3/265 3555
/proc/meminfo: memFree=30206292/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1301060 CPUtime=1.49 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 207718 0 0 0 119 30 0 0 20 0 4 0 29654741 1332285440 207505 33554432000 4194304 16246674 140735262557440 140735262539328 5828874 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 325265 207509 883 2943 0 322159 0
[pid=3551/tid=3552] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 207511 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 207513 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1332285440 207516 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.14 2.08 2.04 3/265 3555
/proc/meminfo: memFree=29745532/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 269162 0 0 0 272 37 0 0 20 0 4 0 29654741 1343819776 268949 33554432000 4194304 16246674 140735262557440 140735262539328 5827966 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 328081 268949 890 2943 0 324975 0
[pid=3551/tid=3552] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 268949 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 268949 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 268949 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.14 2.08 2.04 3/265 3555
/proc/meminfo: memFree=29744548/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 269273 0 0 0 592 37 0 0 20 0 4 0 29654741 1343819776 269060 33554432000 4194304 16246674 140735262557440 140735262539328 5600072 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 328081 269060 890 2943 0 324975 0
[pid=3551/tid=3552] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269060 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269060 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269060 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.12 2.08 2.04 3/265 3555
/proc/meminfo: memFree=29744660/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1312324 CPUtime=12.68 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 269275 0 0 0 1231 37 0 0 20 0 4 0 29654741 1343819776 269062 33554432000 4194304 16246674 140735262557440 140735262539328 12478229 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 328081 269062 892 2943 0 324975 0
[pid=3551/tid=3552] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269062 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269062 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269062 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 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: 2.10 2.08 2.04 3/265 3556
/proc/meminfo: memFree=29745724/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1312324 CPUtime=25.48 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 269276 0 0 0 2511 37 0 0 20 0 4 0 29654741 1343819776 269063 33554432000 4194304 16246674 140735262557440 140735262539328 4220552 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 328081 269063 893 2943 0 324975 0
[pid=3551/tid=3552] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269063 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269063 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269063 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.13 2.09 2.04 3/265 3556
/proc/meminfo: memFree=29745508/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1312324 CPUtime=51.09 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 269276 0 0 0 5071 38 0 0 20 0 4 0 29654741 1343819776 269063 33554432000 4194304 16246674 140735262557440 140735262539328 13759557 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 328081 269063 893 2943 0 324975 0
[pid=3551/tid=3552] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269063 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269063 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1343819776 269063 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.05 2.07 2.04 3/265 3557
/proc/meminfo: memFree=29741504/32872528 swapFree=7560/7560
[pid=3551] ppid=3548 vsize=1316420 CPUtime=102.29 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 270126 0 0 0 10191 38 0 0 20 0 4 0 29654741 1348014080 269913 33554432000 4194304 16246674 140735262557440 140735262539328 5829789 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 329105 269913 893 2943 0 325999 0
[pid=3551/tid=3552] ppid=3548 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1348014080 269913 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1348014080 269913 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1348014080 269913 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1316420


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

/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1339972

[startup+1302.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/265 3637
/proc/meminfo: memFree=29723212/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1339972 CPUtime=1301.9 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 276467 0 0 0 130144 46 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140735262539328 5754952 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 334993 276232 893 2943 0 331887 0
[pid=3551/tid=3552] ppid=3548 vsize=1339972 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1339972 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1339972 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1339972

[startup+1362.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/265 3638
/proc/meminfo: memFree=29723336/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1339972 CPUtime=1361.85 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 276513 0 0 0 136139 46 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140735262556536 5673488 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 334993 276232 893 2943 0 331887 0
[pid=3551/tid=3552] ppid=3548 vsize=1339972 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1339972 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1339972 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1339972

[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/265 3639
/proc/meminfo: memFree=29722488/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1339972 CPUtime=1421.85 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 276523 0 0 0 142138 47 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140735262539328 5822484 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 334993 276232 893 2943 0 331887 0
[pid=3551/tid=3552] ppid=3548 vsize=1339972 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1339972 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1339972 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1372131328 276232 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1339972

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/266 3643
/proc/meminfo: memFree=29711612/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1350212 CPUtime=1481.82 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 278975 0 0 0 148135 47 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140735262539328 5827784 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 337553 278684 893 2943 0 334447 0
[pid=3551/tid=3552] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1350212

[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/266 3667
/proc/meminfo: memFree=29712620/32872528 swapFree=7560/7560
[pid=3551] ppid=3548 vsize=1350212 CPUtime=1541.82 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 278975 0 0 0 154135 47 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140735262539328 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 337553 278684 893 2943 0 334447 0
[pid=3551/tid=3552] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1350212

[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/265 3669
/proc/meminfo: memFree=29701352/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1350212 CPUtime=1601.8 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 278975 0 0 0 160132 48 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140735262539328 5822428 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 337553 278684 893 2943 0 334447 0
[pid=3551/tid=3552] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1350212

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/265 3670
/proc/meminfo: memFree=29699984/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1350212 CPUtime=1661.8 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 278975 0 0 0 166131 49 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140735262539328 13950199 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 337553 278684 893 2943 0 334447 0
[pid=3551/tid=3552] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1350212

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/265 3671
/proc/meminfo: memFree=29699908/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1350212 CPUtime=1721.79 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 278975 0 0 0 172130 49 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140735262556616 5712756 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 337553 278684 893 2943 0 334447 0
[pid=3551/tid=3552] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1350212

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/265 3672
/proc/meminfo: memFree=29699532/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1350212 CPUtime=1781.77 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 278975 0 0 0 178128 49 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140735262540440 5827966 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 337553 278684 893 2943 0 334447 0
[pid=3551/tid=3552] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1350212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.05 2.00 3/265 3672
/proc/meminfo: memFree=29700432/32872528 swapFree=7556/7556
[pid=3551] ppid=3548 vsize=1350212 CPUtime=1800.08 cores=0-3,8-11
/proc/3551/stat : 3551 (toysat) R 3548 3551 32495 0 -1 4202496 278975 0 0 0 179958 50 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140735262539328 5661428 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3551/statm: 337553 278684 893 2943 0 334447 0
[pid=3551/tid=3552] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3552/stat : 3552 (toysat) S 3548 3551 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539862166768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3551/tid=3553] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3553/stat : 3553 (toysat) S 3548 3551 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539851676912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3551/tid=3554] ppid=3548 vsize=1350212 CPUtime=0 cores=0-3,8-11
/proc/3551/task/3554/stat : 3554 (toysat) S 3548 3551 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29654741 1382617088 278684 33554432000 4194304 16246674 140735262557440 140539841203376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1350212

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.59
CPU system time (s): 0.500923
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1350212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.500923
maximum resident set size= 1114736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278975
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= 349
involuntary context switches= 1949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65399 second user time and 9.81851 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 20:36:06
IDJOB=4116069
IDBENCH=109424
IDSOLVER=2542
FILE ID=node132/4116069-1466966166
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 339b0592277b6eb86d9f3fb9ca0d5b6d
RANDOM SEED=1766060453

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30820404 kB
Buffers:           45220 kB
Cached:           183280 kB
SwapCached:         1784 kB
Active:          1168488 kB
Inactive:         165056 kB
Active(anon):    1106048 kB
Inactive(anon):     1700 kB
Active(file):      62440 kB
Inactive(file):   163356 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             17004 kB
Writeback:             0 kB
AnonPages:       1241872 kB
Mapped:            10952 kB
Shmem:                 0 kB
Slab:             571180 kB
SReclaimable:      11668 kB
SUnreclaim:       559512 kB
KernelStack:        2240 kB
PageTables:         6744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1256468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1228800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node132 at 2016-06-26 21:06:06