Trace number 4116237

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round22-4.opb
MD5SUMf04d3d6fc51f4b7608ff050c353aa18a
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 constraints8672
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)384
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-26T18:00:47+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-4116237-1466956846.opb"]
0.00/0.01	c use --random-gen="1687174099 4247617671 165374683 1559598935 1021158621 898187528 3678401983 264141001 3705921705 2055608584 1390696307 1596655527 3936640417 1157184015 479388692 4169253221 2784871731 1604153099 1235747106 3897959451 9666168 3326213327 3379454523 2501010945 2144679425 2584796501 3630350814 3219371173 3320447108 4126698966 2521543068 3715391234 3957517147 2425562635 3435709784 3265178686 2314839234 3338710875 412515812 1488242625 3789413187 1243212549 3053527328 513897182 3723380192 2439115341 3245633751 2042109036 1722084026 1523388049 3826695424 4041827360 1312838379 2077231066 1099077005 2340429307 3445392181 3848792673 290499987 3185487006 1157940390 3741217538 2159200913 4267874397 2680793667 1872785290 3592860668 192982978 1421638971 3027407181 3935158679 3922593202 3437437602 1697650858 430083446 1638217179 825057911 1573871547 1815594107 2435187651 4030337191 3492834998 2306681890 2877609832 858089561 1529864289 3192768673 1742067878 2762490423 2262630169 1701898063 3575269390 3574247571 438282452 1346313113 1343118654 963789439 2948357962 4005347826 3235320403 1836919387 222890611 971655753 2094513282 2043793445 1007168755 2699709591 46983345 2154513587 2350242851 825073091 754457967 2854151452 3487560153 2411894231 2853378612 1504578652 123073256 2105660224 1085971660 1451281233 476482669 2027303900 2994805892 3220349413 2982260724 963428707 1787464338 431462435 2129229 332032019 1705337251 96075936 2431423611 3195362182 2936288916 1524135785 892013722 2109408997 500836267 391403827 3510566751 710909099 3613935330 3237080284 345007012 1320749999 3726192541 143819397 1959151402 1229735025 64660995 3344030718 2183793092 1680414396 3286167146 223667101 3751058262 2694619299 284574793 2280744404 2109914539 1448729284 3847064729 2814118639 1187174208 1669222078 2442630673 427289629 2267414502 2125614172 3245196399 432669227 3310243837 3769068891 2118044815 1539684536 2189878170 1835143447 1191050861 670339665 288293953 31910180 752564443 2226417439 743847195 3175620976 1547436217 1761219032 3083147142 1659978778 3329041921 468598315 1322451039 3575761547 2258498445 2483596384 405245241 3369613759 653750910 2459619872 3065283878 2784570748 859856148 92406162 2405892802 1010305539 879475845 3490151461 3082567374 2057565247 3748427396 2396667817 3568888249 3949400249 2742753706 27501921 886046128 466131502 1274900136 630580262 3297665253 2230297048 686293187 2371214397 612515369 4067788994 105141485 2450390591 3476741633 490917579 1100863824 1896925479 436590302 1052095932 2760739077 2066408222 3218087280 3003503162 2079305799 2943340678 1278428473 2936741241 3421369297 3230510103 4287666995 2490287422 3232551983 1605806767 2288599858 2986131969 691953495 943666769 644943092 1081880600 3037820916 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8672
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 |      651 |        0
0.28/0.33	c  0.1s |       1 |     1477 |      100 |     4234      0 |      652 |      424
0.39/0.47	c  0.2s |       2 |     2940 |      250 |     4658      0 |      652 |      424
0.59/0.66	c  0.4s |       3 |     5297 |      475 |     5124      0 |      652 |      424
0.99/1.09	c  0.8s |       4 |     7167 |      813 |     5637      0 |      652 |      424
1.39/1.44	c  1.2s |       5 |    11374 |     1320 |     6201      0 |      652 |      424
2.08/2.11	c  1.9s |       6 |    15223 |     2081 |     7505      0 |      652 |      424
2.98/3.08	c  2.8s |       7 |    19761 |     3223 |     8256      0 |      652 |      424
4.98/5.08	c  4.8s |       8 |    23383 |     4936 |     9082      0 |      652 |      424
6.88/6.95	c  6.7s |       9 |    34415 |     7506 |     9991      0 |      652 |      424
8.98/9.01	c  8.8s |       9 |    40216 |     9306 |     9991      0 |      652 |      424
10.78/10.86	c 10.6s |      10 |    49904 |    11361 |    10991      0 |      653 |      424
12.88/12.98	c 12.7s |      10 |    54644 |    12961 |    10991      0 |      653 |      424
14.88/14.99	c 14.7s |      10 |    56501 |    14161 |    10991      1 |      653 |      424
17.08/17.12	c 16.9s |      10 |    59491 |    15661 |    10991      1 |      653 |      424
19.18/19.25	c 19.0s |      10 |    62183 |    17061 |    12091      1 |      653 |      424
19.38/19.40	c 19.1s |      11 |    62291 |    17144 |    12091      1 |      653 |      424
21.48/21.60	c 21.3s |      11 |    70479 |    19044 |    12091      1 |      653 |      424
23.78/23.80	c 23.5s |      11 |    71645 |    20044 |    12091      1 |      653 |      424
25.88/25.92	c 25.7s |      11 |    72696 |    20944 |    12091      1 |      653 |      424
27.98/28.04	c 27.8s |      11 |    74958 |    22044 |    12091      2 |      653 |      424
30.08/30.18	c 29.9s |      11 |    76243 |    23044 |    12091      2 |      653 |      424
32.28/32.31	c 32.1s |      11 |    78246 |    24344 |    12091      2 |      653 |      424
34.48/34.56	c 34.3s |      11 |    79534 |    25344 |    12091      2 |      653 |      424
35.38/35.46	c 35.2s |      12 |    80191 |    25819 |    13301      2 |      653 |      424
37.49/37.58	c 37.3s |      12 |    84257 |    27519 |    13301      2 |      653 |      424
39.59/39.68	c 39.4s |      12 |    85602 |    28719 |    13301      2 |      653 |      424
41.68/41.79	c 41.5s |      12 |    87682 |    30119 |    13301      2 |      653 |      424
43.78/43.86	c 43.6s |      12 |    88792 |    31019 |    13301      3 |      653 |      424
45.88/45.98	c 45.7s |      12 |    90395 |    32219 |    13301      3 |      653 |      424
48.08/48.13	c 47.9s |      12 |    92074 |    33319 |    13301      3 |      653 |      424
50.08/50.19	c 49.9s |      12 |    93401 |    34319 |    13301      3 |      653 |      424
52.38/52.45	c 52.2s |      12 |    94353 |    35119 |    13301      3 |      653 |      424
54.48/54.56	c 54.3s |      12 |    95542 |    36019 |    13301      3 |      653 |      424
56.78/56.82	c 56.6s |      12 |    96324 |    36719 |    13301      3 |      653 |      424
59.18/59.20	c 59.0s |      12 |    97135 |    37419 |    13301      3 |      653 |      424
61.28/61.39	c 61.1s |      12 |    97872 |    38019 |    13301      3 |      653 |      424
63.58/63.60	c 63.4s |      12 |    98671 |    38719 |    14632      3 |      653 |      424
63.98/64.08	c 63.8s |      13 |    98793 |    38832 |    14632      3 |      653 |      424
66.09/66.13	c 65.9s |      13 |   104191 |    40532 |    14632      4 |      653 |      424
68.08/68.15	c 67.9s |      13 |   111409 |    42732 |    14632      4 |      653 |      424
70.18/70.21	c 70.0s |      13 |   115900 |    44632 |    14632      4 |      653 |      424
72.28/72.30	c 72.0s |      13 |   117690 |    45932 |    14632      4 |      653 |      424
74.28/74.31	c 74.1s |      13 |   119700 |    47332 |    14632      4 |      653 |      424
76.28/76.32	c 76.1s |      13 |   120926 |    48432 |    14632      4 |      653 |      424
78.28/78.35	c 78.1s |      13 |   121842 |    49232 |    14632      5 |      653 |      424
80.48/80.59	c 80.3s |      13 |   123223 |    50432 |    14632      5 |      653 |      424
82.58/82.61	c 82.4s |      13 |   124270 |    51332 |    14632      5 |      653 |      424
84.68/84.75	c 84.5s |      13 |   125202 |    52132 |    14632      5 |      653 |      424
86.78/86.85	c 86.6s |      13 |   126084 |    52932 |    14632      5 |      653 |      424
88.98/89.04	c 88.8s |      13 |   127114 |    53832 |    14632      5 |      653 |      424
90.98/91.05	c 90.8s |      13 |   127990 |    54632 |    14632      5 |      653 |      424
93.17/93.22	c 93.0s |      13 |   129012 |    55532 |    14632      5 |      653 |      424
95.17/95.24	c 95.0s |      13 |   129798 |    56232 |    14632      5 |      653 |      424
97.27/97.35	c 97.1s |      13 |   130569 |    56932 |    14632      5 |      653 |      424
99.37/99.41	c 99.2s |      13 |   131358 |    57632 |    14632      6 |      653 |      424
100.87/100.91	c  100s |      14 |   132416 |    58352 |    16096      6 |      653 |      424
102.97/103.01	c  102s |      14 |   139413 |    60552 |    16096      6 |      653 |      424
105.07/105.10	c  104s |      14 |   141443 |    62152 |    16096      6 |      653 |      424
107.07/107.19	c  106s |      14 |   144412 |    64052 |    16096      6 |      653 |      424
109.17/109.22	c  108s |      14 |   146989 |    65652 |    16096      6 |      653 |      424
111.18/111.25	c  111s |      14 |   149008 |    67052 |    16096      6 |      653 |      424
113.27/113.33	c  113s |      14 |   150119 |    67952 |    16096      7 |      653 |      424
115.27/115.38	c  115s |      14 |   151817 |    69252 |    16096      7 |      653 |      424
117.27/117.39	c  117s |      14 |   153549 |    70452 |    16096      7 |      653 |      424
119.47/119.50	c  119s |      14 |   154771 |    71452 |    16096      7 |      653 |      424
121.57/121.61	c  121s |      14 |   155817 |    72352 |    16096      7 |      653 |      424
123.57/123.61	c  123s |      14 |   156739 |    73152 |    16096      7 |      653 |      424
125.56/125.69	c  125s |      14 |   157822 |    74052 |    16096      7 |      653 |      424
127.67/127.72	c  127s |      14 |   158923 |    74952 |    16096      7 |      653 |      424
129.66/129.74	c  129s |      14 |   159819 |    75752 |    16096      7 |      653 |      424
131.66/131.77	c  131s |      14 |   160773 |    76552 |    16096      7 |      653 |      424
133.77/133.85	c  133s |      14 |   161717 |    77352 |    16096      7 |      653 |      424
135.77/135.89	c  135s |      14 |   162403 |    77952 |    16096      8 |      653 |      424
137.87/137.94	c  137s |      14 |   163304 |    78752 |    16096      8 |      653 |      424
140.07/140.10	c  139s |      14 |   164552 |    79752 |    16096      8 |      653 |      424
142.27/142.34	c  142s |      14 |   165896 |    80852 |    16096      8 |      653 |      424
144.47/144.56	c  144s |      14 |   167077 |    81852 |    16096      8 |      653 |      424
146.67/146.76	c  146s |      14 |   168267 |    82852 |    16096      8 |      653 |      424
148.87/148.90	c  148s |      14 |   169369 |    83752 |    16096      8 |      653 |      424
150.97/151.05	c  150s |      14 |   170444 |    84652 |    16096      8 |      653 |      424
153.07/153.11	c  152s |      14 |   171992 |    85752 |    16096      8 |      653 |      424
155.27/155.32	c  155s |      14 |   173254 |    86752 |    16096      8 |      653 |      424
157.28/157.34	c  157s |      14 |   174247 |    87552 |    17706      8 |      653 |      424
157.47/157.55	c  157s |      15 |   174348 |    87632 |    17706      8 |      653 |      424
159.58/159.62	c  159s |      15 |   184717 |    89832 |    17706      9 |      653 |      424
161.57/161.69	c  161s |      15 |   187719 |    91532 |    17706      9 |      653 |      424
163.77/163.80	c  163s |      15 |   189584 |    92932 |    17706      9 |      653 |      424
165.87/165.96	c  165s |      15 |   190999 |    94032 |    17706      9 |      653 |      424
167.87/167.98	c  167s |      15 |   192328 |    95132 |    17706      9 |      653 |      424
169.97/170.05	c  169s |      15 |   193261 |    95932 |    17706      9 |      653 |      424
172.07/172.15	c  171s |      15 |   194295 |    96832 |    17706      9 |      653 |      424
174.37/174.41	c  174s |      15 |   195185 |    97632 |    17706      9 |      653 |      424
176.37/176.42	c  176s |      15 |   195961 |    98332 |    17706      9 |      653 |      424
178.87/178.93	c  178s |      15 |   196630 |    98932 |    17706     10 |      653 |      424
180.87/180.99	c  180s |      15 |   197397 |    99632 |    17706     10 |      653 |      424
183.07/183.14	c  182s |      15 |   198153 |   100332 |    17706     10 |      653 |      424
185.16/185.29	c  185s |      15 |   198970 |   101032 |    17706     10 |      653 |      424
187.36/187.45	c  187s |      15 |   199909 |   101832 |    17706     10 |      653 |      424
189.56/189.64	c  189s |      15 |   200844 |   102632 |    17706     10 |      653 |      424
191.66/191.74	c  191s |      15 |   201626 |   103332 |    17706     10 |      653 |      424
193.67/193.76	c  193s |      15 |   202447 |   104032 |    17706     10 |      653 |      424
195.96/196.07	c  195s |      15 |   203302 |   104732 |    17706     10 |      653 |      424
198.16/198.20	c  197s |      15 |   204133 |   105432 |    17706     10 |      653 |      424
200.17/200.27	c  200s |      15 |   204788 |   106032 |    17706     10 |      653 |      424
202.16/202.28	c  202s |      15 |   205461 |   106632 |    17706     10 |      653 |      424
204.46/204.58	c  204s |      15 |   206303 |   107332 |    17706     10 |      653 |      424
206.87/206.91	c  206s |      15 |   207077 |   108032 |    17706     10 |      653 |      424
208.97/209.01	c  208s |      15 |   207765 |   108632 |    17706     10 |      653 |      424
210.96/211.05	c  210s |      15 |   208303 |   109132 |    17706     10 |      653 |      424
213.26/213.32	c  213s |      15 |   208974 |   109732 |    17706     11 |      653 |      424
215.46/215.54	c  215s |      15 |   209743 |   110432 |    17706     11 |      653 |      424
217.77/217.80	c  217s |      15 |   210493 |   111132 |    17706     11 |      653 |      424
219.97/220.08	c  219s |      15 |   211140 |   111732 |    17706     11 |      653 |      424
222.06/222.12	c  221s |      15 |   211676 |   112232 |    17706     11 |      653 |      424
224.26/224.31	c  224s |      15 |   212345 |   112832 |    17706     11 |      653 |      424
226.46/226.59	c  226s |      15 |   212980 |   113432 |    17706     11 |      653 |      424
228.76/228.87	c  228s |      15 |   213784 |   114132 |    17706     11 |      653 |      424
231.06/231.17	c  230s |      15 |   214623 |   114832 |    17706     11 |      653 |      424
233.26/233.36	c  233s |      15 |   215286 |   115432 |    17706     11 |      653 |      424
235.46/235.55	c  235s |      15 |   215946 |   116032 |    17706     11 |      653 |      424
237.75/237.86	c  237s |      15 |   216613 |   116632 |    17706     11 |      653 |      424
239.76/239.87	c  239s |      15 |   217306 |   117232 |    17706     11 |      653 |      424
242.06/242.18	c  241s |      15 |   217971 |   117832 |    17706     11 |      653 |      424
244.35/244.45	c  244s |      15 |   218615 |   118432 |    17706     11 |      653 |      424
246.65/246.79	c  246s |      15 |   219247 |   119032 |    17706     11 |      653 |      424
248.85/248.96	c  248s |      15 |   219800 |   119532 |    17706     11 |      653 |      424
251.15/251.27	c  251s |      15 |   220342 |   120032 |    17706     12 |      653 |      424
253.25/253.39	c  253s |      15 |   221004 |   120632 |    17706     12 |      653 |      424
255.45/255.58	c  255s |      15 |   221785 |   121332 |    17706     12 |      653 |      424
257.55/257.60	c  257s |      15 |   222454 |   121932 |    17706     12 |      653 |      424
259.75/259.87	c  259s |      15 |   223236 |   122632 |    17706     12 |      653 |      424
261.86/261.93	c  261s |      15 |   223925 |   123232 |    17706     12 |      653 |      424
264.15/264.28	c  264s |      15 |   224591 |   123832 |    17706     12 |      653 |      424
266.55/266.67	c  266s |      15 |   225243 |   124432 |    17706     12 |      653 |      424
268.95/269.02	c  268s |      15 |   225914 |   125032 |    17706     12 |      653 |      424
271.15/271.24	c  270s |      15 |   226571 |   125632 |    17706     12 |      653 |      424
273.45/273.52	c  273s |      15 |   227230 |   126232 |    17706     12 |      653 |      424
275.45/275.54	c  275s |      15 |   227788 |   126732 |    17706     12 |      653 |      424
277.44/277.59	c  277s |      15 |   228333 |   127232 |    17706     12 |      653 |      424
279.54/279.66	c  279s |      15 |   228877 |   127732 |    17706     12 |      653 |      424
281.84/281.90	c  281s |      15 |   229414 |   128232 |    17706     12 |      653 |      424
284.04/284.17	c  283s |      15 |   229958 |   128732 |    17706     12 |      653 |      424
286.44/286.56	c  286s |      15 |   230494 |   129232 |    17706     12 |      653 |      424
288.64/288.72	c  288s |      15 |   231029 |   129732 |    17706     12 |      653 |      424
290.94/291.03	c  290s |      15 |   231460 |   130132 |    17706     13 |      653 |      424
293.04/293.13	c  292s |      15 |   232128 |   130732 |    19477     13 |      653 |      424
295.04/295.18	c  294s |      15 |   232918 |   131432 |    19477     13 |      653 |      424
295.54/295.64	c  295s |      16 |   233047 |   131552 |    19477     13 |      653 |      424
297.64/297.70	c  297s |      16 |   239611 |   133452 |    19477     13 |      653 |      424
299.64/299.74	c  299s |      16 |   241555 |   134752 |    19477     13 |      653 |      424
301.64/301.79	c  301s |      16 |   248244 |   137052 |    19477     13 |      653 |      424
303.74/303.83	c  303s |      16 |   258214 |   139452 |    19477     13 |      653 |      424
305.85/305.94	c  305s |      16 |   260240 |   140852 |    19477     13 |      653 |      424
307.95/308.07	c  307s |      16 |   261842 |   142152 |    19477     13 |      653 |      424
309.94/310.07	c  309s |      16 |   263055 |   143152 |    19477     14 |      653 |      424
312.04/312.14	c  311s |      16 |   264426 |   144352 |    19477     14 |      653 |      424
314.04/314.17	c  313s |      16 |   265730 |   145452 |    19477     14 |      653 |      424
316.24/316.33	c  316s |      16 |   266866 |   146452 |    19477     14 |      653 |      424
318.24/318.35	c  318s |      16 |   267746 |   147252 |    19477     14 |      653 |      424
320.44/320.55	c  320s |      16 |   268796 |   148152 |    19477     14 |      653 |      424
322.44/322.59	c  322s |      16 |   269685 |   148952 |    19477     14 |      653 |      424
324.54/324.64	c  324s |      16 |   270441 |   149652 |    19477     14 |      653 |      424
326.64/326.77	c  326s |      16 |   271209 |   150352 |    19477     14 |      653 |      424
328.74/328.82	c  328s |      16 |   271963 |   151052 |    19477     14 |      653 |      424
330.84/330.90	c  330s |      16 |   272758 |   151752 |    19477     14 |      653 |      424
333.04/333.15	c  332s |      16 |   273544 |   152452 |    19477     14 |      653 |      424
335.23/335.37	c  335s |      16 |   274348 |   153152 |    19477     14 |      653 |      424
337.43/337.56	c  337s |      16 |   275004 |   153752 |    19477     15 |      653 |      424
339.63/339.75	c  339s |      16 |   275891 |   154552 |    19477     15 |      653 |      424
341.83/341.96	c  341s |      16 |   276655 |   155252 |    19477     15 |      653 |      424
344.13/344.26	c  344s |      16 |   277411 |   155952 |    19477     15 |      653 |      424
346.23/346.39	c  346s |      16 |   278164 |   156652 |    19477     15 |      653 |      424
348.43/348.54	c  348s |      16 |   278922 |   157352 |    19477     15 |      653 |      424
350.43/350.60	c  350s |      16 |   279588 |   157952 |    19477     15 |      653 |      424
352.53/352.69	c  352s |      16 |   280338 |   158652 |    19477     15 |      653 |      424
354.93/355.00	c  354s |      16 |   280980 |   159252 |    19477     15 |      653 |      424
357.23/357.30	c  357s |      16 |   281616 |   159852 |    19477     15 |      653 |      424
359.43/359.55	c  359s |      16 |   282266 |   160452 |    19477     15 |      653 |      424
361.63/361.71	c  361s |      16 |   282909 |   161052 |    19477     15 |      653 |      424
363.83/363.97	c  363s |      16 |   283555 |   161652 |    19477     15 |      653 |      424
366.13/366.27	c  366s |      16 |   284212 |   162252 |    19477     15 |      653 |      424
368.33/368.48	c  368s |      16 |   284840 |   162852 |    19477     15 |      653 |      424
370.53/370.60	c  370s |      16 |   285377 |   163352 |    19477     15 |      653 |      424
372.53/372.64	c  372s |      16 |   285915 |   163852 |    19477     15 |      653 |      424
374.52/374.67	c  374s |      16 |   286455 |   164352 |    19477     15 |      653 |      424
376.92/377.07	c  376s |      16 |   287097 |   164952 |    19477     15 |      653 |      424
379.12/379.24	c  378s |      16 |   287641 |   165452 |    19477     16 |      653 |      424
381.32/381.42	c  381s |      16 |   288270 |   166052 |    19477     16 |      653 |      424
383.32/383.47	c  383s |      16 |   289150 |   166752 |    19477     16 |      653 |      424
385.52/385.64	c  385s |      16 |   290258 |   167652 |    19477     16 |      653 |      424
387.52/387.67	c  387s |      16 |   291214 |   168452 |    19477     16 |      653 |      424
389.72/389.80	c  389s |      16 |   292202 |   169252 |    19477     16 |      653 |      424
391.72/391.82	c  391s |      16 |   293247 |   170052 |    19477     16 |      653 |      424
393.92/394.04	c  393s |      16 |   294236 |   170852 |    19477     16 |      653 |      424
396.12/396.22	c  395s |      16 |   295216 |   171652 |    19477     16 |      653 |      424
398.13/398.25	c  398s |      16 |   296070 |   172352 |    19477     16 |      653 |      424
400.12/400.29	c  400s |      16 |   296900 |   173052 |    19477     16 |      653 |      424
402.32/402.42	c  402s |      16 |   297744 |   173752 |    19477     16 |      653 |      424
404.32/404.49	c  404s |      16 |   298443 |   174352 |    19477     16 |      653 |      424
406.52/406.67	c  406s |      16 |   299131 |   174952 |    19477     16 |      653 |      424
408.62/408.76	c  408s |      16 |   299818 |   175552 |    19477     16 |      653 |      424
410.72/410.87	c  410s |      16 |   300395 |   176052 |    19477     16 |      653 |      424
412.82/412.99	c  412s |      16 |   300992 |   176552 |    19477     17 |      653 |      424
414.82/414.99	c  414s |      16 |   302137 |   177452 |    19477     17 |      653 |      424
416.83/417.00	c  416s |      16 |   303423 |   178452 |    19477     17 |      653 |      424
418.92/419.05	c  418s |      16 |   304431 |   179252 |    19477     17 |      653 |      424
421.02/421.16	c  420s |      16 |   305566 |   180152 |    19477     17 |      653 |      424
423.22/423.39	c  423s |      16 |   306505 |   180952 |    19477     17 |      653 |      424
425.32/425.48	c  425s |      16 |   307440 |   181752 |    19477     17 |      653 |      424
427.42/427.52	c  427s |      16 |   308259 |   182452 |    19477     17 |      653 |      424
429.72/429.86	c  429s |      16 |   309056 |   183152 |    19477     17 |      653 |      424
431.92/432.09	c  431s |      16 |   309831 |   183852 |    19477     17 |      653 |      424
434.21/434.38	c  434s |      16 |   310617 |   184552 |    19477     17 |      653 |      424
436.41/436.51	c  436s |      16 |   311274 |   185152 |    19477     17 |      653 |      424
438.51/438.61	c  438s |      16 |   311954 |   185752 |    19477     17 |      653 |      424
440.81/440.92	c  440s |      16 |   312889 |   186452 |    19477     17 |      653 |      424
442.91/443.09	c  442s |      16 |   313552 |   187052 |    19477     17 |      653 |      424
445.52/445.62	c  445s |      16 |   314209 |   187652 |    19477     18 |      653 |      424
447.51/447.70	c  447s |      16 |   315111 |   188452 |    19477     18 |      653 |      424
449.81/449.97	c  449s |      16 |   315982 |   189252 |    19477     18 |      653 |      424
452.11/452.25	c  452s |      16 |   316940 |   190052 |    19477     18 |      653 |      424
454.21/454.32	c  454s |      16 |   317788 |   190752 |    19477     18 |      653 |      424
456.41/456.59	c  456s |      16 |   318818 |   191652 |    19477     18 |      653 |      424
458.71/458.89	c  458s |      16 |   319740 |   192452 |    19477     18 |      653 |      424
460.92/461.08	c  460s |      16 |   320560 |   193152 |    19477     18 |      653 |      424
463.02/463.20	c  462s |      16 |   321460 |   193852 |    19477     18 |      653 |      424
465.31/465.43	c  465s |      16 |   322465 |   194652 |    19477     18 |      653 |      424
467.51/467.67	c  467s |      16 |   323332 |   195352 |    19477     18 |      653 |      424
469.80/469.97	c  469s |      16 |   324130 |   196052 |    19477     18 |      653 |      424
471.91/472.08	c  471s |      16 |   324797 |   196652 |    21425     18 |      653 |      424
474.20/474.32	c  474s |      16 |   325514 |   197252 |    21425     18 |      653 |      424
474.80/474.90	c  474s |      17 |   325731 |   197432 |    21425     18 |      653 |      424
476.80/476.94	c  476s |      17 |   330560 |   198832 |    21425     18 |      653 |      424
478.80/478.95	c  478s |      17 |   332676 |   200332 |    21425     18 |      653 |      424
480.90/481.01	c  480s |      17 |   334089 |   201532 |    21425     19 |      653 |      424
483.00/483.14	c  482s |      17 |   345543 |   204032 |    21425     19 |      653 |      424
485.01/485.16	c  484s |      17 |   347374 |   205532 |    21425     19 |      653 |      424
487.10/487.23	c  486s |      17 |   348636 |   206632 |    21425     19 |      653 |      424
489.30/489.41	c  489s |      17 |   349846 |   207732 |    21425     19 |      653 |      424
491.30/491.41	c  491s |      17 |   350808 |   208632 |    21425     19 |      653 |      424
493.40/493.58	c  493s |      17 |   351801 |   209532 |    21425     19 |      653 |      424
495.49/495.61	c  495s |      17 |   352667 |   210332 |    21425     19 |      653 |      424
497.59/497.71	c  497s |      17 |   353517 |   211132 |    21425     19 |      653 |      424
499.69/499.86	c  499s |      17 |   354538 |   212032 |    21425     19 |      653 |      424
501.79/501.95	c  501s |      17 |   355388 |   212832 |    21425     19 |      653 |      424
503.89/504.06	c  503s |      17 |   356012 |   213432 |    21425     20 |      653 |      424
506.00/506.14	c  505s |      17 |   356749 |   214132 |    21425     20 |      653 |      424
508.20/508.38	c  508s |      17 |   357589 |   214932 |    21425     20 |      653 |      424
510.49/510.60	c  510s |      17 |   358327 |   215632 |    21425     20 |      653 |      424
512.69/512.88	c  512s |      17 |   359070 |   216332 |    21425     20 |      653 |      424
514.69/514.89	c  514s |      17 |   359860 |   217032 |    21425     20 |      653 |      424
516.89/517.02	c  516s |      17 |   360595 |   217732 |    21425     20 |      653 |      424
519.09/519.25	c  519s |      17 |   361331 |   218432 |    21425     20 |      653 |      424
521.08/521.28	c  521s |      17 |   361961 |   219032 |    21425     20 |      653 |      424
523.18/523.34	c  523s |      17 |   362618 |   219632 |    21425     20 |      653 |      424
525.38/525.58	c  525s |      17 |   363354 |   220332 |    21425     20 |      653 |      424
527.48/527.67	c  527s |      17 |   363985 |   220932 |    21425     20 |      653 |      424
529.68/529.83	c  529s |      17 |   364608 |   221532 |    21425     20 |      653 |      424
531.98/532.10	c  531s |      17 |   365236 |   222132 |    21425     20 |      653 |      424
534.07/534.28	c  534s |      17 |   365901 |   222732 |    21425     20 |      653 |      424
536.17/536.31	c  536s |      17 |   366553 |   223332 |    21425     20 |      653 |      424
538.37/538.59	c  538s |      17 |   367194 |   223932 |    21425     20 |      653 |      424
540.67/540.82	c  540s |      17 |   367847 |   224532 |    21425     20 |      653 |      424
542.67/542.83	c  542s |      17 |   368391 |   225032 |    21425     20 |      653 |      424
544.67/544.86	c  544s |      17 |   368926 |   225532 |    21425     20 |      653 |      424
546.97/547.10	c  546s |      17 |   369443 |   226032 |    21425     21 |      653 |      424
549.17/549.38	c  549s |      17 |   370176 |   226732 |    21425     21 |      653 |      424
551.47/551.64	c  551s |      17 |   370927 |   227432 |    21425     21 |      653 |      424
553.57/553.73	c  553s |      17 |   371543 |   228032 |    21425     21 |      653 |      424
555.56/555.75	c  555s |      17 |   372164 |   228632 |    21425     21 |      653 |      424
557.86/558.09	c  557s |      17 |   372937 |   229332 |    21425     21 |      653 |      424
559.96/560.14	c  559s |      17 |   373596 |   229932 |    21425     21 |      653 |      424
562.07/562.27	c  562s |      17 |   374240 |   230532 |    21425     21 |      653 |      424
564.17/564.37	c  564s |      17 |   374861 |   231132 |    21425     21 |      653 |      424
566.47/566.69	c  566s |      17 |   375489 |   231732 |    21425     21 |      653 |      424
568.76/568.93	c  568s |      17 |   376147 |   232332 |    21425     21 |      653 |      424
571.06/571.23	c  570s |      17 |   376902 |   233032 |    21425     21 |      653 |      424
573.46/573.61	c  573s |      17 |   377684 |   233732 |    21425     21 |      653 |      424
575.86/576.04	c  575s |      17 |   378203 |   234232 |    21425     21 |      653 |      424
578.26/578.41	c  578s |      17 |   378731 |   234732 |    21425     21 |      653 |      424
580.56/580.70	c  580s |      17 |   379237 |   235232 |    21425     21 |      653 |      424
582.66/582.86	c  582s |      17 |   379773 |   235732 |    21425     21 |      653 |      424
585.16/585.31	c  585s |      17 |   380294 |   236232 |    21425     21 |      653 |      424
587.36/587.51	c  587s |      17 |   381001 |   236832 |    21425     21 |      653 |      424
589.56/589.76	c  589s |      17 |   381659 |   237432 |    21425     21 |      653 |      424
591.66/591.89	c  591s |      17 |   382220 |   237932 |    21425     21 |      653 |      424
593.86/594.06	c  593s |      17 |   382755 |   238432 |    21425     22 |      653 |      424
595.85/596.08	c  595s |      17 |   383529 |   239132 |    21425     22 |      653 |      424
598.15/598.31	c  598s |      17 |   384262 |   239832 |    21425     22 |      653 |      424
600.35/600.59	c  600s |      17 |   385012 |   240532 |    21425     22 |      653 |      424
602.45/602.65	c  602s |      17 |   385874 |   241232 |    21425     22 |      653 |      424
604.65/604.85	c  604s |      17 |   386781 |   242032 |    21425     22 |      653 |      424
606.85/607.01	c  606s |      17 |   387533 |   242732 |    21425     22 |      653 |      424
609.15/609.30	c  609s |      17 |   388451 |   243532 |    21425     22 |      653 |      424
611.35/611.56	c  611s |      17 |   389231 |   244232 |    21425     22 |      653 |      424
613.45/613.64	c  613s |      17 |   390182 |   245032 |    21425     22 |      653 |      424
615.44/615.69	c  615s |      17 |   391010 |   245732 |    21425     22 |      653 |      424
617.54/617.74	c  617s |      17 |   391675 |   246332 |    21425     22 |      653 |      424
619.64/619.81	c  619s |      17 |   392322 |   246932 |    21425     22 |      653 |      424
621.64/621.87	c  621s |      17 |   393088 |   247632 |    21425     22 |      653 |      424
623.84/624.01	c  623s |      17 |   393731 |   248232 |    21425     22 |      653 |      424
626.03/626.28	c  626s |      17 |   394355 |   248832 |    21425     22 |      653 |      424
628.23/628.48	c  628s |      17 |   395010 |   249432 |    21425     22 |      653 |      424
630.24/630.49	c  630s |      17 |   395664 |   250032 |    21425     22 |      653 |      424
632.93/633.17	c  632s |      17 |   396311 |   250632 |    21425     23 |      653 |      424
634.93/635.18	c  634s |      17 |   397045 |   251332 |    21425     23 |      653 |      424
637.03/637.21	c  636s |      17 |   397678 |   251932 |    21425     23 |      653 |      424
639.23/639.45	c  639s |      17 |   398418 |   252632 |    21425     23 |      653 |      424
641.43/641.66	c  641s |      17 |   399371 |   253332 |    21425     23 |      653 |      424
643.53/643.72	c  643s |      17 |   400928 |   254232 |    21425     23 |      653 |      424
645.53/645.77	c  645s |      17 |   402203 |   255232 |    21425     23 |      653 |      424
647.63/647.80	c  647s |      17 |   404331 |   256332 |    21425     23 |      653 |      424
649.63/649.82	c  649s |      17 |   405417 |   257232 |    21425     23 |      653 |      424
651.82/652.02	c  651s |      17 |   406449 |   258132 |    21425     23 |      653 |      424
653.92/654.13	c  653s |      17 |   407652 |   259032 |    21425     23 |      653 |      424
656.22/656.40	c  656s |      17 |   409015 |   259932 |    21425     23 |      653 |      424
658.42/658.60	c  658s |      17 |   409985 |   260732 |    21425     23 |      653 |      424
660.42/660.69	c  660s |      17 |   410982 |   261532 |    21425     23 |      653 |      424
662.52/662.74	c  662s |      17 |   411860 |   262232 |    21425     23 |      653 |      424
664.61/664.81	c  664s |      17 |   412456 |   262732 |    21425     23 |      653 |      424
666.71/666.96	c  666s |      17 |   413169 |   263332 |    21425     24 |      653 |      424
668.72/668.99	c  668s |      17 |   413901 |   263932 |    21425     24 |      653 |      424
670.82/671.06	c  670s |      17 |   414835 |   264732 |    21425     24 |      653 |      424
672.91/673.13	c  672s |      17 |   415781 |   265532 |    21425     24 |      653 |      424
675.11/675.34	c  675s |      17 |   416715 |   266332 |    21425     24 |      653 |      424
677.31/677.58	c  677s |      17 |   417869 |   267232 |    21425     24 |      653 |      424
679.30/679.59	c  679s |      17 |   418689 |   267932 |    21425     24 |      653 |      424
681.50/681.71	c  681s |      17 |   419486 |   268632 |    21425     24 |      653 |      424
683.50/683.74	c  683s |      17 |   426317 |   270332 |    21425     24 |      653 |      424
685.60/685.84	c  685s |      17 |   428714 |   271732 |    21425     24 |      653 |      424
687.60/687.86	c  687s |      17 |   429817 |   272532 |    21425     24 |      653 |      424
689.70/689.92	c  689s |      17 |   430734 |   273232 |    21425     24 |      653 |      424
691.70/691.98	c  691s |      17 |   431473 |   273832 |    21425     24 |      653 |      424
694.00/694.27	c  694s |      17 |   432254 |   274432 |    21425     24 |      653 |      424
696.20/696.41	c  696s |      17 |   433097 |   275032 |    21425     25 |      653 |      424
698.30/698.58	c  698s |      17 |   434164 |   275832 |    21425     25 |      653 |      424
700.39/700.68	c  700s |      17 |   435099 |   276532 |    21425     25 |      653 |      424
702.49/702.77	c  702s |      17 |   435963 |   277232 |    21425     25 |      653 |      424
704.69/704.99	c  704s |      17 |   436695 |   277832 |    21425     25 |      653 |      424
706.79/707.03	c  706s |      17 |   439211 |   279032 |    21425     25 |      653 |      424
708.89/709.16	c  708s |      17 |   441334 |   280532 |    21425     25 |      653 |      424
711.08/711.30	c  711s |      17 |   446547 |   282132 |    21425     25 |      653 |      424
713.08/713.33	c  713s |      17 |   449862 |   283532 |    21425     25 |      653 |      424
715.08/715.36	c  715s |      17 |   451606 |   284632 |    21425     25 |      653 |      424
717.19/717.48	c  717s |      17 |   452826 |   285532 |    21425     25 |      653 |      424
719.39/719.60	c  719s |      17 |   454116 |   286432 |    21425     25 |      653 |      424
721.50/721.76	c  721s |      17 |   454976 |   287132 |    21425     26 |      653 |      424
723.70/723.92	c  723s |      17 |   456251 |   288132 |    21425     26 |      653 |      424
725.89/726.11	c  725s |      17 |   457710 |   289132 |    21425     26 |      653 |      424
727.99/728.22	c  727s |      17 |   458858 |   290032 |    21425     26 |      653 |      424
730.08/730.31	c  730s |      17 |   459734 |   290732 |    21425     26 |      653 |      424
732.18/732.44	c  732s |      17 |   460614 |   291432 |    21425     26 |      653 |      424
734.28/734.53	c  734s |      17 |   461712 |   292332 |    21425     26 |      653 |      424
736.28/736.57	c  736s |      17 |   462553 |   293032 |    21425     26 |      653 |      424
738.38/738.68	c  738s |      17 |   463414 |   293732 |    21425     26 |      653 |      424
740.78/741.00	c  740s |      17 |   464278 |   294432 |    23568     26 |      653 |      424
742.88/743.20	c  742s |      17 |   464900 |   294932 |    23568     26 |      653 |      424
744.97/745.29	c  745s |      17 |   465597 |   295532 |    23568     26 |      653 |      424
746.47/746.77	c  746s |      18 |   467627 |   296252 |    23568     26 |      653 |      424
748.57/748.87	c  748s |      18 |   471218 |   297752 |    23568     26 |      653 |      424
750.67/750.99	c  750s |      18 |   473252 |   299252 |    23568     26 |      653 |      424
752.87/753.10	c  752s |      18 |   478289 |   301252 |    23568     26 |      653 |      424
754.87/755.19	c  754s |      18 |   480094 |   302552 |    23568     27 |      653 |      424
756.96/757.22	c  756s |      18 |   481734 |   303852 |    23568     27 |      653 |      424
758.96/759.23	c  758s |      18 |   483232 |   305052 |    23568     27 |      653 |      424
761.07/761.33	c  761s |      18 |   484672 |   306252 |    23568     27 |      653 |      424
763.06/763.40	c  763s |      18 |   485858 |   307252 |    23568     27 |      653 |      424
765.16/765.44	c  765s |      18 |   486945 |   308152 |    23568     27 |      653 |      424
767.26/767.58	c  767s |      18 |   487986 |   309052 |    23568     27 |      653 |      424
769.36/769.65	c  769s |      18 |   489218 |   310052 |    23568     27 |      653 |      424
771.36/771.65	c  771s |      18 |   490138 |   310852 |    23568     27 |      653 |      424
773.36/773.66	c  773s |      18 |   490938 |   311552 |    23568     27 |      653 |      424
775.55/775.88	c  775s |      18 |   491978 |   312452 |    23568     27 |      653 |      424
777.85/778.17	c  777s |      18 |   493038 |   313352 |    23568     27 |      653 |      424
780.05/780.33	c  780s |      18 |   493995 |   314152 |    23568     27 |      653 |      424
782.15/782.46	c  782s |      18 |   494819 |   314852 |    23568     27 |      653 |      424
784.34/784.68	c  784s |      18 |   495522 |   315452 |    23568     28 |      653 |      424
786.64/786.95	c  786s |      18 |   496440 |   316252 |    23568     28 |      653 |      424
788.84/789.19	c  788s |      18 |   497211 |   316952 |    23568     28 |      653 |      424
791.04/791.37	c  791s |      18 |   498030 |   317652 |    23568     28 |      653 |      424
793.24/793.57	c  793s |      18 |   498824 |   318352 |    23568     28 |      653 |      424
795.33/795.60	c  795s |      18 |   499481 |   318952 |    23568     28 |      653 |      424
797.34/797.61	c  797s |      18 |   500186 |   319552 |    23568     28 |      653 |      424
799.33/799.63	c  799s |      18 |   500935 |   320152 |    23568     28 |      653 |      424
801.74/802.01	c  801s |      18 |   501925 |   320952 |    23568     28 |      653 |      424
803.84/804.12	c  803s |      18 |   502626 |   321552 |    23568     28 |      653 |      424
805.83/806.15	c  805s |      18 |   503324 |   322152 |    23568     28 |      653 |      424
807.83/808.18	c  807s |      18 |   504101 |   322752 |    23568     28 |      653 |      424
810.03/810.32	c  810s |      18 |   504807 |   323352 |    23568     28 |      653 |      424
812.13/812.48	c  812s |      18 |   505535 |   323952 |    23568     28 |      653 |      424
814.42/814.72	c  814s |      18 |   506221 |   324552 |    23568     28 |      653 |      424
816.42/816.74	c  816s |      18 |   506796 |   325052 |    23568     28 |      653 |      424
818.62/818.90	c  818s |      18 |   507482 |   325652 |    23568     28 |      653 |      424
820.62/820.96	c  820s |      18 |   508126 |   326252 |    23568     28 |      653 |      424
822.82/823.10	c  822s |      18 |   508802 |   326852 |    23568     28 |      653 |      424
825.11/825.46	c  825s |      18 |   509473 |   327452 |    23568     28 |      653 |      424
827.41/827.74	c  827s |      18 |   510184 |   328052 |    23568     28 |      653 |      424
829.51/829.81	c  829s |      18 |   510774 |   328552 |    23568     28 |      653 |      424
831.51/831.87	c  831s |      18 |   511343 |   329052 |    23568     29 |      653 |      424
833.81/834.14	c  833s |      18 |   512162 |   329752 |    23568     29 |      653 |      424
835.81/836.19	c  835s |      18 |   512847 |   330352 |    23568     29 |      653 |      424
837.81/838.20	c  837s |      18 |   513695 |   331052 |    23568     29 |      653 |      424
840.11/840.48	c  840s |      18 |   514504 |   331752 |    23568     29 |      653 |      424
842.31/842.65	c  842s |      18 |   515342 |   332452 |    23568     29 |      653 |      424
844.61/844.92	c  844s |      18 |   516144 |   333152 |    23568     29 |      653 |      424
846.60/846.99	c  846s |      18 |   516838 |   333752 |    23568     29 |      653 |      424
848.70/849.06	c  848s |      18 |   517523 |   334352 |    23568     29 |      653 |      424
850.90/851.29	c  851s |      18 |   518210 |   334952 |    23568     29 |      653 |      424
853.00/853.35	c  853s |      18 |   518908 |   335552 |    23568     29 |      653 |      424
855.19/855.59	c  855s |      18 |   519599 |   336152 |    23568     29 |      653 |      424
857.39/857.78	c  857s |      18 |   520253 |   336752 |    23568     29 |      653 |      424
859.69/860.06	c  859s |      18 |   520950 |   337352 |    23568     29 |      653 |      424
862.10/862.50	c  862s |      18 |   521634 |   337952 |    23568     29 |      653 |      424
864.18/864.57	c  864s |      18 |   522208 |   338452 |    23568     29 |      653 |      424
866.59/866.91	c  866s |      18 |   522914 |   339052 |    23568     29 |      653 |      424
868.88/869.23	c  868s |      18 |   523577 |   339652 |    23568     29 |      653 |      424
871.08/871.45	c  871s |      18 |   524276 |   340252 |    23568     29 |      653 |      424
873.19/873.52	c  873s |      18 |   524858 |   340752 |    23568     29 |      653 |      424
875.38/875.74	c  875s |      18 |   525410 |   341252 |    23568     29 |      653 |      424
877.68/878.03	c  877s |      18 |   525969 |   341752 |    23568     29 |      653 |      424
880.48/880.88	c  880s |      18 |   526519 |   342252 |    23568     30 |      653 |      424
882.57/882.95	c  882s |      18 |   527201 |   342852 |    23568     30 |      653 |      424
884.87/885.26	c  885s |      18 |   527953 |   343552 |    23568     30 |      653 |      424
887.07/887.41	c  887s |      18 |   528614 |   344152 |    23568     30 |      653 |      424
889.37/889.71	c  889s |      18 |   529395 |   344852 |    23568     30 |      653 |      424
891.67/892.05	c  891s |      18 |   530178 |   345552 |    23568     30 |      653 |      424
893.87/894.21	c  893s |      18 |   530854 |   346152 |    23568     30 |      653 |      424
896.27/896.62	c  896s |      18 |   531515 |   346752 |    23568     30 |      653 |      424
898.47/898.86	c  898s |      18 |   532337 |   347452 |    23568     30 |      653 |      424
900.57/900.93	c  900s |      18 |   533067 |   348052 |    23568     30 |      653 |      424
902.77/903.11	c  902s |      18 |   533731 |   348652 |    23568     30 |      653 |      424
905.06/905.45	c  905s |      18 |   534423 |   349252 |    23568     30 |      653 |      424
907.35/907.73	c  907s |      18 |   535132 |   349852 |    23568     30 |      653 |      424
909.46/909.81	c  909s |      18 |   535686 |   350352 |    23568     30 |      653 |      424
911.75/912.16	c  911s |      18 |   536389 |   350952 |    23568     30 |      653 |      424
913.86/914.24	c  913s |      18 |   536940 |   351452 |    23568     30 |      653 |      424
915.95/916.32	c  916s |      18 |   537490 |   351952 |    23568     30 |      653 |      424
918.15/918.53	c  918s |      18 |   538055 |   352452 |    23568     30 |      653 |      424
920.45/920.85	c  920s |      18 |   538603 |   352952 |    23568     30 |      653 |      424
922.44/922.87	c  922s |      18 |   539164 |   353452 |    23568     30 |      653 |      424
924.75/925.14	c  924s |      18 |   539740 |   353952 |    23568     30 |      653 |      424
927.05/927.48	c  927s |      18 |   540327 |   354452 |    23568     30 |      653 |      424
929.44/929.89	c  929s |      18 |   540855 |   354952 |    23568     30 |      653 |      424
931.64/932.09	c  931s |      18 |   541430 |   355452 |    23568     30 |      653 |      424
933.94/934.32	c  934s |      18 |   541873 |   355852 |    23568     31 |      653 |      424
936.23/936.63	c  936s |      18 |   542660 |   356552 |    23568     31 |      653 |      424
938.23/938.70	c  938s |      18 |   543385 |   357152 |    23568     31 |      653 |      424
940.33/940.71	c  940s |      18 |   544079 |   357752 |    23568     31 |      653 |      424
942.44/942.85	c  942s |      18 |   544762 |   358352 |    23568     31 |      653 |      424
944.63/945.06	c  944s |      18 |   545424 |   358952 |    23568     31 |      653 |      424
946.73/947.14	c  946s |      18 |   546092 |   359552 |    23568     31 |      653 |      424
948.83/949.28	c  949s |      18 |   546783 |   360152 |    23568     31 |      653 |      424
950.93/951.33	c  951s |      18 |   547356 |   360652 |    23568     31 |      653 |      424
953.03/953.48	c  953s |      18 |   547901 |   361152 |    23568     31 |      653 |      424
955.42/955.88	c  955s |      18 |   548593 |   361752 |    23568     31 |      653 |      424
957.62/958.05	c  957s |      18 |   549142 |   362252 |    23568     31 |      653 |      424
959.82/960.22	c  959s |      18 |   549678 |   362752 |    23568     31 |      653 |      424
962.22/962.66	c  962s |      18 |   550227 |   363252 |    23568     31 |      653 |      424
964.42/964.82	c  964s |      18 |   550780 |   363752 |    23568     31 |      653 |      424
966.62/967.04	c  966s |      18 |   551320 |   364252 |    23568     31 |      653 |      424
968.91/969.36	c  969s |      18 |   551858 |   364752 |    23568     31 |      653 |      424
971.11/971.57	c  971s |      18 |   552412 |   365252 |    23568     31 |      653 |      424
973.51/973.96	c  973s |      18 |   552963 |   365752 |    23568     31 |      653 |      424
976.01/976.45	c  976s |      18 |   553497 |   366252 |    23568     31 |      653 |      424
978.01/978.46	c  978s |      18 |   553938 |   366652 |    23568     31 |      653 |      424
980.11/980.59	c  980s |      18 |   554379 |   367052 |    23568     31 |      653 |      424
982.21/982.67	c  982s |      18 |   554820 |   367452 |    23568     31 |      653 |      424
984.31/984.78	c  984s |      18 |   555259 |   367852 |    23568     31 |      653 |      424
986.81/987.21	c  986s |      18 |   555811 |   368352 |    23568     31 |      653 |      424
988.81/989.27	c  989s |      18 |   556254 |   368752 |    23568     31 |      653 |      424
991.51/991.95	c  991s |      18 |   556876 |   369252 |    23568     32 |      653 |      424
993.51/993.97	c  993s |      18 |   557716 |   369952 |    23568     32 |      653 |      424
995.71/996.12	c  995s |      18 |   558529 |   370652 |    23568     32 |      653 |      424
997.81/998.24	c  997s |      18 |   559330 |   371352 |    23568     32 |      653 |      424
1000.01/1000.44	c 1000s |      18 |   560001 |   371952 |    23568     32 |      653 |      424
1002.21/1002.65	c 1002s |      18 |   560801 |   372652 |    23568     32 |      653 |      424
1004.21/1004.65	c 1004s |      18 |   561364 |   373152 |    23568     32 |      653 |      424
1006.31/1006.73	c 1006s |      18 |   561911 |   373652 |    23568     32 |      653 |      424
1008.41/1008.88	c 1008s |      18 |   562448 |   374152 |    23568     32 |      653 |      424
1010.81/1011.21	c 1010s |      18 |   563100 |   374752 |    23568     32 |      653 |      424
1013.11/1013.54	c 1013s |      18 |   563748 |   375352 |    23568     32 |      653 |      424
1015.31/1015.74	c 1015s |      18 |   564423 |   375952 |    23568     32 |      653 |      424
1017.71/1018.10	c 1017s |      18 |   565077 |   376552 |    23568     32 |      653 |      424
1020.01/1020.40	c 1020s |      18 |   565745 |   377152 |    23568     32 |      653 |      424
1022.01/1022.45	c 1022s |      18 |   566296 |   377652 |    23568     32 |      653 |      424
1024.41/1024.85	c 1024s |      18 |   566981 |   378252 |    23568     32 |      653 |      424
1026.41/1026.88	c 1026s |      18 |   567549 |   378752 |    23568     32 |      653 |      424
1028.80/1029.24	c 1028s |      18 |   568250 |   379352 |    23568     32 |      653 |      424
1031.00/1031.48	c 1031s |      18 |   568797 |   379852 |    23568     32 |      653 |      424
1033.40/1033.89	c 1033s |      18 |   569360 |   380352 |    23568     32 |      653 |      424
1035.81/1036.23	c 1035s |      18 |   570051 |   380952 |    23568     32 |      653 |      424
1038.01/1038.45	c 1038s |      18 |   570639 |   381452 |    23568     32 |      653 |      424
1040.40/1040.85	c 1040s |      18 |   571358 |   382052 |    23568     32 |      653 |      424
1043.40/1043.80	c 1043s |      18 |   571913 |   382552 |    23568     33 |      653 |      424
1045.60/1046.02	c 1045s |      18 |   572719 |   383252 |    23568     33 |      653 |      424
1047.70/1048.14	c 1047s |      18 |   573400 |   383852 |    23568     33 |      653 |      424
1049.80/1050.21	c 1049s |      18 |   574074 |   384452 |    23568     33 |      653 |      424
1051.90/1052.34	c 1052s |      18 |   574740 |   385052 |    23568     33 |      653 |      424
1054.10/1054.54	c 1054s |      18 |   575394 |   385652 |    23568     33 |      653 |      424
1056.10/1056.56	c 1056s |      18 |   576110 |   386252 |    23568     33 |      653 |      424
1058.50/1058.91	c 1058s |      18 |   576927 |   386952 |    23568     33 |      653 |      424
1060.80/1061.20	c 1060s |      18 |   577605 |   387552 |    23568     33 |      653 |      424
1063.10/1063.52	c 1063s |      18 |   578286 |   388152 |    23568     33 |      653 |      424
1065.20/1065.69	c 1065s |      18 |   578864 |   388652 |    23568     33 |      653 |      424
1067.30/1067.78	c 1067s |      18 |   579417 |   389152 |    23568     33 |      653 |      424
1069.40/1069.82	c 1069s |      18 |   579971 |   389652 |    23568     33 |      653 |      424
1071.50/1071.91	c 1071s |      18 |   580538 |   390152 |    23568     33 |      653 |      424
1073.60/1074.06	c 1073s |      18 |   581079 |   390652 |    23568     33 |      653 |      424
1075.90/1076.34	c 1076s |      18 |   581614 |   391152 |    23568     33 |      653 |      424
1078.10/1078.52	c 1078s |      18 |   582159 |   391652 |    23568     33 |      653 |      424
1080.50/1080.90	c 1080s |      18 |   582852 |   392252 |    23568     33 |      653 |      424
1082.80/1083.26	c 1083s |      18 |   583513 |   392852 |    23568     33 |      653 |      424
1085.10/1085.50	c 1085s |      18 |   584061 |   393352 |    23568     33 |      653 |      424
1087.19/1087.69	c 1087s |      18 |   584617 |   393852 |    23568     33 |      653 |      424
1089.59/1090.04	c 1089s |      18 |   585186 |   394352 |    23568     33 |      653 |      424
1091.90/1092.36	c 1092s |      18 |   585737 |   394852 |    23568     33 |      653 |      424
1094.20/1094.69	c 1094s |      18 |   586170 |   395252 |    23568     33 |      653 |      424
1096.59/1097.09	c 1096s |      18 |   586714 |   395752 |    23568     33 |      653 |      424
1098.79/1099.29	c 1099s |      18 |   587156 |   396152 |    23568     34 |      653 |      424
1101.09/1101.55	c 1101s |      18 |   587934 |   396852 |    23568     34 |      653 |      424
1103.10/1103.58	c 1103s |      18 |   588624 |   397452 |    23568     34 |      653 |      424
1105.21/1105.67	c 1105s |      18 |   589299 |   398052 |    23568     34 |      653 |      424
1107.50/1107.91	c 1107s |      18 |   589970 |   398652 |    23568     34 |      653 |      424
1109.70/1110.14	c 1109s |      18 |   590633 |   399252 |    23568     34 |      653 |      424
1112.10/1112.50	c 1112s |      18 |   591293 |   399852 |    23568     34 |      653 |      424
1114.40/1114.82	c 1114s |      18 |   591964 |   400452 |    23568     34 |      653 |      424
1116.70/1117.15	c 1116s |      18 |   592773 |   401152 |    23568     34 |      653 |      424
1119.10/1119.52	c 1119s |      18 |   593436 |   401752 |    23568     34 |      653 |      424
1121.20/1121.62	c 1121s |      18 |   593988 |   402252 |    23568     34 |      653 |      424
1123.60/1124.01	c 1123s |      18 |   594688 |   402852 |    23568     34 |      653 |      424
1126.00/1126.41	c 1126s |      18 |   595520 |   403552 |    23568     34 |      653 |      424
1128.10/1128.57	c 1128s |      18 |   596380 |   404252 |    23568     34 |      653 |      424
1130.20/1130.60	c 1130s |      18 |   597069 |   404852 |    23568     34 |      653 |      424
1132.20/1132.69	c 1132s |      18 |   597644 |   405352 |    23568     34 |      653 |      424
1134.50/1134.99	c 1134s |      18 |   598348 |   405952 |    23568     34 |      653 |      424
1136.60/1137.09	c 1136s |      18 |   598904 |   406452 |    23568     34 |      653 |      424
1138.80/1139.23	c 1138s |      18 |   599459 |   406952 |    23568     34 |      653 |      424
1141.20/1141.65	c 1141s |      18 |   600163 |   407552 |    23568     34 |      653 |      424
1143.50/1143.93	c 1143s |      18 |   600724 |   408052 |    23568     34 |      653 |      424
1145.69/1146.13	c 1145s |      18 |   601315 |   408552 |    23568     34 |      653 |      424
1148.00/1148.43	c 1148s |      18 |   601898 |   409052 |    23568     34 |      653 |      424
1150.09/1150.52	c 1150s |      18 |   602345 |   409452 |    23568     34 |      653 |      424
1152.19/1152.62	c 1152s |      18 |   602794 |   409852 |    23568     35 |      653 |      424
1154.29/1154.70	c 1154s |      18 |   603461 |   410452 |    23568     35 |      653 |      424
1156.49/1156.94	c 1156s |      18 |   604237 |   411152 |    23568     35 |      653 |      424
1158.69/1159.12	c 1158s |      18 |   605033 |   411852 |    23568     35 |      653 |      424
1160.89/1161.32	c 1161s |      18 |   605852 |   412552 |    23568     35 |      653 |      424
1163.19/1163.67	c 1163s |      18 |   606512 |   413152 |    23568     35 |      653 |      424
1165.39/1165.82	c 1165s |      18 |   607179 |   413752 |    23568     35 |      653 |      424
1167.49/1167.97	c 1167s |      18 |   607895 |   414352 |    23568     35 |      653 |      424
1169.59/1170.05	c 1169s |      18 |   608441 |   414852 |    23568     35 |      653 |      424
1171.69/1172.10	c 1171s |      18 |   609149 |   415452 |    23568     35 |      653 |      424
1173.89/1174.36	c 1174s |      18 |   609845 |   416052 |    23568     35 |      653 |      424
1176.29/1176.79	c 1176s |      18 |   610537 |   416652 |    23568     35 |      653 |      424
1178.39/1178.89	c 1178s |      18 |   611107 |   417152 |    23568     35 |      653 |      424
1180.69/1181.10	c 1180s |      18 |   611671 |   417652 |    23568     35 |      653 |      424
1182.99/1183.45	c 1183s |      18 |   612356 |   418252 |    23568     35 |      653 |      424
1185.09/1185.50	c 1185s |      18 |   612920 |   418752 |    23568     35 |      653 |      424
1187.19/1187.64	c 1187s |      18 |   613501 |   419252 |    23568     35 |      653 |      424
1189.59/1190.01	c 1189s |      18 |   614073 |   419752 |    23568     35 |      653 |      424
1191.99/1192.42	c 1192s |      18 |   614623 |   420252 |    23568     35 |      653 |      424
1194.29/1194.74	c 1194s |      18 |   615174 |   420752 |    23568     35 |      653 |      424
1196.39/1196.90	c 1196s |      18 |   615720 |   421252 |    23568     35 |      653 |      424
1198.59/1199.06	c 1198s |      18 |   616314 |   421752 |    23568     35 |      653 |      424
1201.09/1201.52	c 1201s |      18 |   616874 |   422252 |    23568     35 |      653 |      424
1203.49/1203.98	c 1203s |      18 |   617421 |   422752 |    23568     35 |      653 |      424
1205.69/1206.18	c 1205s |      18 |   617866 |   423152 |    23568     36 |      653 |      424
1207.79/1208.24	c 1207s |      18 |   618538 |   423752 |    23568     36 |      653 |      424
1209.88/1210.36	c 1210s |      18 |   619211 |   424352 |    23568     36 |      653 |      424
1211.98/1212.47	c 1212s |      18 |   619921 |   424952 |    23568     36 |      653 |      424
1214.28/1214.71	c 1214s |      18 |   620763 |   425652 |    23568     36 |      653 |      424
1216.38/1216.83	c 1216s |      18 |   621459 |   426252 |    23568     36 |      653 |      424
1218.58/1219.02	c 1218s |      18 |   622193 |   426852 |    23568     36 |      653 |      424
1220.59/1221.05	c 1220s |      18 |   622733 |   427352 |    23568     36 |      653 |      424
1222.98/1223.43	c 1223s |      18 |   623453 |   427952 |    23568     36 |      653 |      424
1225.28/1225.72	c 1225s |      18 |   624112 |   428552 |    23568     36 |      653 |      424
1227.58/1228.07	c 1227s |      18 |   624757 |   429152 |    23568     36 |      653 |      424
1229.68/1230.16	c 1229s |      18 |   625319 |   429652 |    23568     36 |      653 |      424
1231.88/1232.33	c 1232s |      18 |   625894 |   430152 |    23568     36 |      653 |      424
1233.98/1234.46	c 1234s |      18 |   626458 |   430652 |    23568     36 |      653 |      424
1236.28/1236.72	c 1236s |      18 |   627005 |   431152 |    23568     36 |      653 |      424
1238.38/1238.88	c 1238s |      18 |   627562 |   431652 |    23568     36 |      653 |      424
1240.68/1241.13	c 1240s |      18 |   628124 |   432152 |    23568     36 |      653 |      424
1242.98/1243.49	c 1243s |      18 |   628669 |   432652 |    23568     36 |      653 |      424
1245.48/1245.92	c 1245s |      18 |   629224 |   433152 |    23568     36 |      653 |      424
1247.78/1248.25	c 1247s |      18 |   629768 |   433652 |    23568     36 |      653 |      424
1250.18/1250.64	c 1250s |      18 |   630352 |   434152 |    23568     36 |      653 |      424
1252.68/1253.17	c 1252s |      18 |   630894 |   434652 |    23568     36 |      653 |      424
1254.68/1255.19	c 1254s |      18 |   631335 |   435052 |    23568     36 |      653 |      424
1257.07/1257.50	c 1257s |      18 |   631901 |   435552 |    23568     36 |      653 |      424
1259.47/1259.90	c 1259s |      18 |   632466 |   436052 |    23568     36 |      653 |      424
1262.07/1262.56	c 1262s |      18 |   632910 |   436452 |    23568     37 |      653 |      424
1264.37/1264.80	c 1264s |      18 |   633573 |   437052 |    23568     37 |      653 |      424
1266.67/1267.17	c 1266s |      18 |   634223 |   437652 |    23568     37 |      653 |      424
1269.08/1269.56	c 1269s |      18 |   634885 |   438252 |    23568     37 |      653 |      424
1271.07/1271.59	c 1271s |      18 |   635424 |   438752 |    23568     37 |      653 |      424
1273.17/1273.63	c 1273s |      18 |   635963 |   439252 |    23568     37 |      653 |      424
1275.17/1275.66	c 1275s |      18 |   636515 |   439752 |    23568     37 |      653 |      424
1277.37/1277.82	c 1277s |      18 |   637059 |   440252 |    23568     37 |      653 |      424
1279.57/1280.05	c 1279s |      18 |   637732 |   440852 |    23568     37 |      653 |      424
1281.87/1282.31	c 1282s |      18 |   638275 |   441352 |    25925     37 |      653 |      424
1283.97/1284.45	c 1284s |      18 |   638830 |   441852 |    25925     37 |      653 |      424
1286.37/1286.89	c 1286s |      18 |   639529 |   442452 |    25925     37 |      653 |      424
1288.67/1289.10	c 1288s |      18 |   640100 |   442952 |    25925     37 |      653 |      424
1290.77/1291.26	c 1291s |      18 |   640649 |   443452 |    25925     37 |      653 |      424
1293.07/1293.53	c 1293s |      18 |   641209 |   443952 |    25925     37 |      653 |      424
1295.17/1295.67	c 1295s |      18 |   641758 |   444452 |    25925     37 |      653 |      424
1295.37/1295.81	c 1295s |      19 |   641790 |   444482 |    25925     37 |      653 |      424
1297.37/1297.83	c 1297s |      19 |   655012 |   446782 |    25925     37 |      653 |      424
1299.47/1299.90	c 1299s |      19 |   660353 |   448682 |    25925     37 |      653 |      424
1301.57/1302.06	c 1301s |      19 |   661796 |   449782 |    25925     37 |      653 |      424
1303.76/1304.21	c 1303s |      19 |   663104 |   450782 |    25925     37 |      653 |      424
1306.47/1306.93	c 1306s |      19 |   664708 |   451882 |    25925     38 |      653 |      424
1308.57/1309.09	c 1308s |      19 |   667099 |   453282 |    25925     38 |      653 |      424
1310.77/1311.26	c 1311s |      19 |   668896 |   454682 |    25925     38 |      653 |      424
1312.86/1313.32	c 1313s |      19 |   670280 |   455782 |    25925     38 |      653 |      424
1315.06/1315.53	c 1315s |      19 |   671501 |   456682 |    25925     38 |      653 |      424
1317.06/1317.58	c 1317s |      19 |   672665 |   457582 |    25925     38 |      653 |      424
1319.16/1319.60	c 1319s |      19 |   673782 |   458482 |    25925     38 |      653 |      424
1321.36/1321.83	c 1321s |      19 |   675017 |   459482 |    25925     38 |      653 |      424
1323.46/1323.94	c 1323s |      19 |   676005 |   460282 |    25925     38 |      653 |      424
1325.66/1326.15	c 1325s |      19 |   676957 |   461082 |    25925     38 |      653 |      424
1327.66/1328.16	c 1327s |      19 |   677943 |   461882 |    25925     38 |      653 |      424
1329.76/1330.29	c 1330s |      19 |   678899 |   462682 |    25925     38 |      653 |      424
1332.06/1332.55	c 1332s |      19 |   679960 |   463482 |    25925     38 |      653 |      424
1334.16/1334.65	c 1334s |      19 |   680823 |   464182 |    25925     38 |      653 |      424
1336.16/1336.65	c 1336s |      19 |   681626 |   464882 |    25925     38 |      653 |      424
1338.36/1338.86	c 1338s |      19 |   682571 |   465582 |    25925     38 |      653 |      424
1340.36/1340.89	c 1340s |      19 |   683318 |   466182 |    25925     38 |      653 |      424
1342.46/1342.93	c 1342s |      19 |   684008 |   466782 |    25925     39 |      653 |      424
1344.56/1345.05	c 1344s |      19 |   685038 |   467582 |    25925     39 |      653 |      424
1346.56/1347.06	c 1346s |      19 |   685872 |   468282 |    25925     39 |      653 |      424
1348.66/1349.15	c 1348s |      19 |   686544 |   468882 |    25925     39 |      653 |      424
1350.95/1351.40	c 1351s |      19 |   687275 |   469482 |    25925     39 |      653 |      424
1352.95/1353.45	c 1353s |      19 |   687952 |   470082 |    25925     39 |      653 |      424
1354.95/1355.49	c 1355s |      19 |   688684 |   470682 |    25925     39 |      653 |      424
1357.15/1357.65	c 1357s |      19 |   689872 |   471582 |    25925     39 |      653 |      424
1359.26/1359.78	c 1359s |      19 |   690760 |   472282 |    25925     39 |      653 |      424
1361.55/1362.01	c 1361s |      19 |   691557 |   472982 |    25925     39 |      653 |      424
1363.56/1364.08	c 1363s |      19 |   692331 |   473682 |    25925     39 |      653 |      424
1365.65/1366.18	c 1365s |      19 |   692998 |   474282 |    25925     39 |      653 |      424
1367.85/1368.36	c 1368s |      19 |   693771 |   474982 |    25925     39 |      653 |      424
1370.06/1370.50	c 1370s |      19 |   694437 |   475582 |    25925     39 |      653 |      424
1372.06/1372.58	c 1372s |      19 |   695085 |   476182 |    25925     39 |      653 |      424
1374.36/1374.86	c 1374s |      19 |   696015 |   476882 |    25925     39 |      653 |      424
1376.77/1377.21	c 1376s |      19 |   696858 |   477582 |    25925     39 |      653 |      424
1378.97/1379.48	c 1379s |      19 |   697514 |   478182 |    25925     39 |      653 |      424
1381.06/1381.56	c 1381s |      19 |   698406 |   478782 |    25925     39 |      653 |      424
1383.06/1383.57	c 1383s |      19 |   699183 |   479382 |    25925     39 |      653 |      424
1385.46/1385.95	c 1385s |      19 |   699831 |   479982 |    25925     39 |      653 |      424
1387.76/1388.20	c 1387s |      19 |   700408 |   480482 |    25925     39 |      653 |      424
1389.96/1390.41	c 1390s |      19 |   700838 |   480882 |    25925     40 |      653 |      424
1391.96/1392.50	c 1392s |      19 |   701586 |   481582 |    25925     40 |      653 |      424
1394.06/1394.51	c 1394s |      19 |   702825 |   482482 |    25925     40 |      653 |      424
1396.16/1396.61	c 1396s |      19 |   704162 |   483482 |    25925     40 |      653 |      424
1398.16/1398.64	c 1398s |      19 |   705294 |   484382 |    25925     40 |      653 |      424
1400.26/1400.70	c 1400s |      19 |   706177 |   485082 |    25925     40 |      653 |      424
1402.25/1402.77	c 1402s |      19 |   707402 |   485882 |    25925     40 |      653 |      424
1404.36/1404.86	c 1404s |      19 |   708341 |   486682 |    25925     40 |      653 |      424
1406.56/1407.07	c 1406s |      19 |   709147 |   487382 |    25925     40 |      653 |      424
1408.66/1409.17	c 1408s |      19 |   710023 |   488082 |    25925     40 |      653 |      424
1410.65/1411.19	c 1410s |      19 |   712575 |   488982 |    25925     40 |      653 |      424
1412.85/1413.33	c 1413s |      19 |   716058 |   490282 |    25925     40 |      653 |      424
1414.85/1415.33	c 1415s |      19 |   719607 |   491382 |    25925     40 |      653 |      424
1416.95/1417.43	c 1417s |      19 |   721423 |   492682 |    25925     40 |      653 |      424
1419.05/1419.52	c 1419s |      19 |   727084 |   494282 |    25925     40 |      653 |      424
1421.05/1421.56	c 1421s |      19 |   728836 |   495182 |    25925     41 |      653 |      424
1423.15/1423.60	c 1423s |      19 |   732605 |   496782 |    25925     41 |      653 |      424
1425.26/1425.71	c 1425s |      19 |   735101 |   498082 |    25925     41 |      653 |      424
1427.36/1427.83	c 1427s |      19 |   736779 |   499082 |    25925     41 |      653 |      424
1429.45/1429.94	c 1429s |      19 |   737822 |   499882 |    25925     41 |      653 |      424
1431.45/1431.97	c 1431s |      19 |   739203 |   500782 |    25925     41 |      653 |      424
1433.55/1434.05	c 1433s |      19 |   740618 |   501682 |    25925     41 |      653 |      424
1435.95/1436.45	c 1436s |      19 |   741716 |   502482 |    25925     41 |      653 |      424
1438.05/1438.53	c 1438s |      19 |   744180 |   503482 |    25925     41 |      653 |      424
1440.15/1440.64	c 1440s |      19 |   748446 |   504882 |    25925     41 |      653 |      424
1442.25/1442.78	c 1442s |      19 |   750020 |   505882 |    25925     41 |      653 |      424
1444.45/1444.95	c 1444s |      19 |   751117 |   506782 |    25925     41 |      653 |      424
1446.55/1447.08	c 1446s |      19 |   752186 |   507582 |    25925     41 |      653 |      424
1448.85/1449.36	c 1449s |      19 |   753032 |   508282 |    25925     41 |      653 |      424
1450.95/1451.49	c 1451s |      19 |   753821 |   508982 |    25925     41 |      653 |      424
1453.15/1453.65	c 1453s |      19 |   754562 |   509582 |    25925     42 |      653 |      424
1455.24/1455.77	c 1455s |      19 |   755752 |   510482 |    25925     42 |      653 |      424
1457.34/1457.89	c 1457s |      19 |   756906 |   511382 |    25925     42 |      653 |      424
1459.54/1460.00	c 1459s |      19 |   758193 |   512382 |    25925     42 |      653 |      424
1461.64/1462.15	c 1461s |      19 |   759417 |   513282 |    25925     42 |      653 |      424
1463.65/1464.20	c 1463s |      19 |   760536 |   514082 |    25925     42 |      653 |      424
1465.85/1466.38	c 1466s |      19 |   761831 |   514982 |    25925     42 |      653 |      424
1468.05/1468.57	c 1468s |      19 |   762838 |   515782 |    25925     42 |      653 |      424
1470.35/1470.83	c 1470s |      19 |   763741 |   516482 |    25925     42 |      653 |      424
1472.34/1472.83	c 1472s |      19 |   764534 |   517082 |    25925     42 |      653 |      424
1474.54/1475.01	c 1474s |      19 |   765674 |   517982 |    25925     42 |      653 |      424
1476.64/1477.18	c 1476s |      19 |   766585 |   518782 |    25925     42 |      653 |      424
1478.74/1479.28	c 1479s |      19 |   767493 |   519582 |    25925     42 |      653 |      424
1481.04/1481.54	c 1481s |      19 |   768379 |   520382 |    25925     42 |      653 |      424
1483.14/1483.63	c 1483s |      19 |   769281 |   521082 |    25925     42 |      653 |      424
1485.54/1486.02	c 1485s |      19 |   769957 |   521682 |    25925     42 |      653 |      424
1487.85/1488.35	c 1488s |      19 |   770673 |   522282 |    25925     42 |      653 |      424
1489.94/1490.40	c 1490s |      19 |   771291 |   522782 |    25925     42 |      653 |      424
1492.25/1492.72	c 1492s |      19 |   771874 |   523282 |    25925     42 |      653 |      424
1494.44/1495.00	c 1494s |      19 |   772458 |   523782 |    25925     42 |      653 |      424
1496.84/1497.35	c 1497s |      19 |   772894 |   524182 |    25925     43 |      653 |      424
1499.24/1499.70	c 1499s |      19 |   773558 |   524782 |    25925     43 |      653 |      424
1501.44/1501.91	c 1501s |      19 |   774263 |   525382 |    25925     43 |      653 |      424
1503.54/1504.04	c 1503s |      19 |   774843 |   525882 |    25925     43 |      653 |      424
1505.74/1506.20	c 1505s |      19 |   775987 |   526582 |    25925     43 |      653 |      424
1507.84/1508.31	c 1508s |      19 |   778106 |   527782 |    25925     43 |      653 |      424
1509.84/1510.33	c 1510s |      19 |   780109 |   529182 |    25925     43 |      653 |      424
1511.84/1512.39	c 1512s |      19 |   781652 |   530382 |    25925     43 |      653 |      424
1514.03/1514.50	c 1514s |      19 |   783149 |   531582 |    25925     43 |      653 |      424
1516.03/1516.56	c 1516s |      19 |   784401 |   532582 |    25925     43 |      653 |      424
1518.13/1518.61	c 1518s |      19 |   785341 |   533382 |    25925     43 |      653 |      424
1520.33/1520.83	c 1520s |      19 |   786404 |   534282 |    25925     43 |      653 |      424
1522.43/1522.96	c 1522s |      19 |   787605 |   535182 |    25925     43 |      653 |      424
1524.43/1524.98	c 1524s |      19 |   788462 |   535882 |    25925     43 |      653 |      424
1526.53/1527.07	c 1526s |      19 |   789180 |   536482 |    25925     43 |      653 |      424
1528.83/1529.33	c 1529s |      19 |   789975 |   537182 |    25925     43 |      653 |      424
1530.93/1531.48	c 1531s |      19 |   790642 |   537782 |    25925     43 |      653 |      424
1533.04/1533.54	c 1533s |      19 |   791303 |   538382 |    25925     43 |      653 |      424
1535.14/1535.62	c 1535s |      19 |   791934 |   538882 |    25925     44 |      653 |      424
1537.13/1537.66	c 1537s |      19 |   792501 |   539382 |    25925     44 |      653 |      424
1539.23/1539.78	c 1539s |      19 |   793197 |   539982 |    25925     44 |      653 |      424
1541.23/1541.79	c 1541s |      19 |   793774 |   540482 |    25925     44 |      653 |      424
1543.33/1543.85	c 1543s |      19 |   794463 |   541082 |    25925     44 |      653 |      424
1545.73/1546.28	c 1546s |      19 |   795135 |   541682 |    25925     44 |      653 |      424
1547.93/1548.48	c 1548s |      19 |   795843 |   542282 |    25925     44 |      653 |      424
1550.23/1550.72	c 1550s |      19 |   796549 |   542882 |    25925     44 |      653 |      424
1552.23/1552.74	c 1552s |      19 |   797278 |   543482 |    25925     44 |      653 |      424
1554.63/1555.10	c 1554s |      19 |   797965 |   544082 |    25925     44 |      653 |      424
1556.63/1557.19	c 1556s |      19 |   798539 |   544582 |    25925     44 |      653 |      424
1558.93/1559.45	c 1559s |      19 |   799243 |   545182 |    25925     44 |      653 |      424
1561.23/1561.77	c 1561s |      19 |   799953 |   545782 |    25925     44 |      653 |      424
1563.33/1563.81	c 1563s |      19 |   800615 |   546282 |    25925     44 |      653 |      424
1565.43/1565.93	c 1565s |      19 |   801318 |   546882 |    25925     44 |      653 |      424
1567.42/1567.99	c 1567s |      19 |   801967 |   547382 |    25925     44 |      653 |      424
1569.82/1570.31	c 1570s |      19 |   802661 |   547982 |    25925     44 |      653 |      424
1572.02/1572.56	c 1572s |      19 |   803427 |   548582 |    25925     44 |      653 |      424
1574.22/1574.71	c 1574s |      19 |   804026 |   549082 |    25925     44 |      653 |      424
1576.42/1576.95	c 1576s |      19 |   804590 |   549582 |    25925     44 |      653 |      424
1578.72/1579.21	c 1578s |      19 |   805167 |   550082 |    25925     44 |      653 |      424
1580.82/1581.34	c 1581s |      19 |   805770 |   550582 |    25925     44 |      653 |      424
1583.12/1583.68	c 1583s |      19 |   806366 |   551082 |    25925     44 |      653 |      424
1585.73/1586.23	c 1585s |      19 |   806927 |   551582 |    25925     44 |      653 |      424
1587.93/1588.45	c 1588s |      19 |   807373 |   551982 |    25925     44 |      653 |      424
1590.23/1590.71	c 1590s |      19 |   807809 |   552382 |    25925     44 |      653 |      424
1592.62/1593.19	c 1592s |      19 |   808496 |   552982 |    25925     44 |      653 |      424
1594.72/1595.26	c 1595s |      19 |   808870 |   553282 |    25925     45 |      653 |      424
1597.12/1597.68	c 1597s |      19 |   809545 |   553882 |    25925     45 |      653 |      424
1599.52/1600.05	c 1599s |      19 |   810230 |   554482 |    25925     45 |      653 |      424
1601.72/1602.24	c 1601s |      19 |   810781 |   554982 |    25925     45 |      653 |      424
1603.82/1604.37	c 1604s |      19 |   811347 |   555482 |    25925     45 |      653 |      424
1606.02/1606.58	c 1606s |      19 |   811899 |   555982 |    25925     45 |      653 |      424
1608.12/1608.65	c 1608s |      19 |   812638 |   556582 |    25925     45 |      653 |      424
1610.12/1610.69	c 1610s |      19 |   813257 |   557082 |    25925     45 |      653 |      424
1612.32/1612.85	c 1612s |      19 |   813833 |   557582 |    25925     45 |      653 |      424
1614.52/1615.07	c 1614s |      19 |   814516 |   558182 |    25925     45 |      653 |      424
1616.62/1617.15	c 1616s |      19 |   815069 |   558682 |    25925     45 |      653 |      424
1618.72/1619.25	c 1619s |      19 |   815607 |   559182 |    25925     45 |      653 |      424
1621.02/1621.59	c 1621s |      19 |   816173 |   559682 |    25925     45 |      653 |      424
1623.22/1623.74	c 1623s |      19 |   816774 |   560182 |    25925     45 |      653 |      424
1625.32/1625.90	c 1625s |      19 |   817377 |   560682 |    25925     45 |      653 |      424
1627.42/1627.99	c 1627s |      19 |   817846 |   561082 |    25925     45 |      653 |      424
1629.82/1630.31	c 1630s |      19 |   818819 |   561782 |    25925     45 |      653 |      424
1631.92/1632.47	c 1632s |      19 |   819654 |   562382 |    25925     45 |      653 |      424
1634.31/1634.81	c 1634s |      19 |   820465 |   562982 |    25925     45 |      653 |      424
1636.32/1636.85	c 1636s |      19 |   821085 |   563482 |    25925     45 |      653 |      424
1638.41/1638.90	c 1638s |      19 |   821718 |   563982 |    25925     45 |      653 |      424
1640.61/1641.19	c 1640s |      19 |   822366 |   564482 |    25925     45 |      653 |      424
1642.81/1643.30	c 1643s |      19 |   823000 |   564982 |    25925     45 |      653 |      424
1645.12/1645.66	c 1645s |      19 |   823588 |   565482 |    25925     45 |      653 |      424
1647.51/1648.07	c 1647s |      19 |   824155 |   565982 |    25925     45 |      653 |      424
1649.71/1650.21	c 1649s |      19 |   825537 |   566782 |    25925     46 |      653 |      424
1651.72/1652.21	c 1651s |      19 |   826898 |   567882 |    25925     46 |      653 |      424
1653.81/1654.30	c 1654s |      19 |   828515 |   568982 |    25925     46 |      653 |      424
1655.81/1656.33	c 1656s |      19 |   833346 |   570582 |    25925     46 |      653 |      424
1657.91/1658.45	c 1658s |      19 |   837168 |   572082 |    25925     46 |      653 |      424
1659.91/1660.47	c 1660s |      19 |   838940 |   573282 |    25925     46 |      653 |      424
1662.01/1662.50	c 1662s |      19 |   841082 |   574482 |    25925     46 |      653 |      424
1664.11/1664.60	c 1664s |      19 |   845650 |   575982 |    25925     46 |      653 |      424
1666.12/1666.68	c 1666s |      19 |   847261 |   576982 |    25925     46 |      653 |      424
1668.22/1668.75	c 1668s |      19 |   849034 |   578082 |    25925     46 |      653 |      424
1670.31/1670.90	c 1670s |      19 |   850316 |   579082 |    25925     46 |      653 |      424
1672.41/1672.96	c 1672s |      19 |   851198 |   579782 |    25925     46 |      653 |      424
1674.61/1675.11	c 1674s |      19 |   852187 |   580582 |    25925     46 |      653 |      424
1676.61/1677.11	c 1676s |      19 |   853064 |   581282 |    25925     46 |      653 |      424
1678.61/1679.16	c 1678s |      19 |   853997 |   581982 |    25925     47 |      653 |      424
1680.71/1681.28	c 1681s |      19 |   855079 |   582882 |    25925     47 |      653 |      424
1682.81/1683.35	c 1683s |      19 |   856089 |   583782 |    25925     47 |      653 |      424
1684.81/1685.36	c 1685s |      19 |   857070 |   584582 |    25925     47 |      653 |      424
1686.91/1687.47	c 1687s |      19 |   858191 |   585482 |    25925     47 |      653 |      424
1689.01/1689.54	c 1689s |      19 |   859008 |   586182 |    25925     47 |      653 |      424
1691.10/1691.66	c 1691s |      19 |   859817 |   586882 |    25925     47 |      653 |      424
1693.30/1693.82	c 1693s |      19 |   860515 |   587482 |    25925     47 |      653 |      424
1695.40/1695.93	c 1695s |      19 |   861305 |   588182 |    25925     47 |      653 |      424
1697.50/1698.08	c 1697s |      19 |   862119 |   588882 |    25925     47 |      653 |      424
1699.50/1700.09	c 1699s |      19 |   862789 |   589482 |    25925     47 |      653 |      424
1701.60/1702.10	c 1701s |      19 |   863497 |   590082 |    25925     47 |      653 |      424
1703.70/1704.21	c 1703s |      19 |   864294 |   590782 |    25925     47 |      653 |      424
1706.00/1706.54	c 1706s |      19 |   864978 |   591382 |    25925     47 |      653 |      424
1708.10/1708.66	c 1708s |      19 |   865676 |   591982 |    25925     47 |      653 |      424
1710.40/1710.90	c 1710s |      19 |   866383 |   592582 |    25925     47 |      653 |      424
1712.50/1713.03	c 1712s |      19 |   866927 |   593082 |    25925     47 |      653 |      424
1714.81/1715.36	c 1715s |      19 |   867516 |   593582 |    25925     47 |      653 |      424
1716.91/1717.44	c 1717s |      19 |   867960 |   593982 |    25925     47 |      653 |      424
1719.21/1719.76	c 1719s |      19 |   868666 |   594582 |    25925     47 |      653 |      424
1721.31/1721.87	c 1721s |      19 |   869236 |   595082 |    25925     47 |      653 |      424
1723.51/1724.07	c 1723s |      19 |   869809 |   595582 |    25925     47 |      653 |      424
1726.41/1726.90	c 1726s |      19 |   870510 |   596182 |    25925     48 |      653 |      424
1728.41/1728.90	c 1728s |      19 |   871079 |   596682 |    25925     48 |      653 |      424
1730.41/1730.98	c 1730s |      19 |   871763 |   597282 |    25925     48 |      653 |      424
1732.70/1733.25	c 1733s |      19 |   872467 |   597882 |    25925     48 |      653 |      424
1734.70/1735.28	c 1735s |      19 |   873029 |   598382 |    25925     48 |      653 |      424
1737.10/1737.64	c 1737s |      19 |   873716 |   598982 |    25925     48 |      653 |      424
1739.20/1739.72	c 1739s |      19 |   874270 |   599482 |    25925     48 |      653 |      424
1741.60/1742.16	c 1741s |      19 |   874810 |   599982 |    25925     48 |      653 |      424
1743.90/1744.44	c 1744s |      19 |   875364 |   600482 |    25925     48 |      653 |      424
1746.00/1746.51	c 1746s |      19 |   875934 |   600982 |    25925     48 |      653 |      424
1748.10/1748.61	c 1748s |      19 |   876490 |   601482 |    25925     48 |      653 |      424
1750.20/1750.72	c 1750s |      19 |   877041 |   601982 |    25925     48 |      653 |      424
1752.20/1752.77	c 1752s |      19 |   877589 |   602482 |    25925     48 |      653 |      424
1754.30/1754.89	c 1754s |      19 |   878125 |   602982 |    25925     48 |      653 |      424
1756.40/1756.97	c 1756s |      19 |   878662 |   603482 |    25925     48 |      653 |      424
1758.41/1758.99	c 1758s |      19 |   879191 |   603982 |    25925     48 |      653 |      424
1760.80/1761.33	c 1761s |      19 |   879723 |   604482 |    25925     48 |      653 |      424
1762.81/1763.33	c 1763s |      19 |   880162 |   604882 |    25925     48 |      653 |      424
1764.80/1765.36	c 1765s |      19 |   880590 |   605282 |    25925     48 |      653 |      424
1766.90/1767.49	c 1767s |      19 |   881049 |   605682 |    25925     48 |      653 |      424
1769.00/1769.52	c 1769s |      19 |   881617 |   606182 |    25925     48 |      653 |      424
1771.29/1771.85	c 1771s |      19 |   882176 |   606682 |    25925     48 |      653 |      424
1773.80/1774.36	c 1774s |      19 |   882770 |   607182 |    25925     48 |      653 |      424
1776.00/1776.54	c 1776s |      19 |   883209 |   607582 |    25925     48 |      653 |      424
1778.30/1778.88	c 1778s |      19 |   883750 |   608082 |    25925     48 |      653 |      424
1780.59/1781.15	c 1780s |      19 |   884316 |   608582 |    25925     48 |      653 |      424
1782.60/1783.16	c 1782s |      19 |   884754 |   608982 |    25925     48 |      653 |      424
1785.19/1785.70	c 1785s |      19 |   885296 |   609482 |    25925     48 |      653 |      424
1787.29/1787.80	c 1787s |      19 |   885760 |   609882 |    25925     48 |      653 |      424
1789.39/1789.93	c 1789s |      19 |   886298 |   610382 |    25925     48 |      653 |      424
1791.89/1792.49	c 1792s |      19 |   886765 |   610782 |    25925     49 |      653 |      424
1793.99/1794.50	c 1794s |      19 |   887321 |   611282 |    25925     49 |      653 |      424
1795.99/1796.51	c 1796s |      19 |   887966 |   611882 |    25925     49 |      653 |      424
1797.99/1798.52	c 1798s |      19 |   888545 |   612382 |    25925     49 |      653 |      424

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

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.15 2.16 3/180 23230
/proc/meminfo: memFree=29640380/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 2619 0 0 0 0 0 0 0 20 0 4 0 28724267 719777792 2980 33554432000 4194304 16246674 140735447212944 140735447212368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 176239 2989 441 2943 0 173133 0
[pid=23230/tid=23231] ppid=23227 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 737603584 3048 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 741797888 3065 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28724267 747040768 3083 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.14 2.15 2.16 3/180 23230
/proc/meminfo: memFree=29640380/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 28277 0 0 0 5 4 0 0 20 0 4 0 28724267 1249447936 28575 33554432000 4194304 16246674 140735447212944 140735447212256 4207952 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 305041 28575 801 2943 0 301935 0
[pid=23230/tid=23231] ppid=23227 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1249447936 28575 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1249447936 28575 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1249447936 28575 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200611 s]
/proc/loadavg: 2.14 2.15 2.16 3/180 23230
/proc/meminfo: memFree=29640380/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 48484 0 0 0 12 7 0 0 20 0 4 0 28724267 1332285440 48782 33554432000 4194304 16246674 140735447212944 140735447212256 5515846 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 325265 48782 842 2943 0 322159 0
[pid=23230/tid=23231] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 48782 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 48782 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 48782 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300467 s]
/proc/loadavg: 2.14 2.15 2.16 3/180 23230
/proc/meminfo: memFree=29640380/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1301060 CPUtime=0.28 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 51264 0 0 0 21 7 0 0 20 0 4 0 28724267 1332285440 51562 33554432000 4194304 16246674 140735447212944 140735447212256 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 325265 51564 882 2943 0 322159 0
[pid=23230/tid=23231] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 51566 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 51567 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 51568 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700388 s]
/proc/loadavg: 2.14 2.15 2.16 3/180 23230
/proc/meminfo: memFree=29640380/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 99198 0 0 0 54 15 0 0 20 0 4 0 28724267 1332285440 99496 33554432000 4194304 16246674 140735447212944 140735447212256 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 325265 99501 882 2943 0 322159 0
[pid=23230/tid=23231] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 99504 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 99507 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 99510 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.14 2.15 2.16 3/184 23234
/proc/meminfo: memFree=29032948/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 202492 0 0 0 119 29 0 0 20 0 4 0 28724267 1332285440 202790 33554432000 4194304 16246674 140735447212944 140735447194816 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 325265 202795 882 2943 0 322159 0
[pid=23230/tid=23231] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 202799 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 202802 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1332285440 202805 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.14 2.15 2.16 3/184 23234
/proc/meminfo: memFree=28563608/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1312324 CPUtime=3.08 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 269264 0 0 0 270 38 0 0 20 0 4 0 28724267 1343819776 269562 33554432000 4194304 16246674 140735447212944 140735447194816 5532372 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 328081 269562 889 2943 0 324975 0
[pid=23230/tid=23231] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269562 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269562 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269562 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30035 s]
/proc/loadavg: 2.29 2.18 2.17 4/184 23234
/proc/meminfo: memFree=28562924/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1312324 CPUtime=6.28 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 269269 0 0 0 590 38 0 0 20 0 4 0 28724267 1343819776 269567 33554432000 4194304 16246674 140735447212944 140735447194816 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 328081 269567 889 2943 0 324975 0
[pid=23230/tid=23231] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269567 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269567 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269567 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.27 2.18 2.17 3/184 23234
/proc/meminfo: memFree=28563232/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1312324 CPUtime=12.68 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 269270 0 0 0 1230 38 0 0 20 0 4 0 28724267 1343819776 269568 33554432000 4194304 16246674 140735447212944 140735447194816 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 328081 269568 889 2943 0 324975 0
[pid=23230/tid=23231] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269568 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269568 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269568 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.28 2.18 2.17 3/184 23257
/proc/meminfo: memFree=28563304/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1312324 CPUtime=25.48 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 269273 0 0 0 2510 38 0 0 20 0 4 0 28724267 1343819776 269571 33554432000 4194304 16246674 140735447212944 140735447212120 13949872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 328081 269571 892 2943 0 324975 0
[pid=23230/tid=23231] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269571 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269571 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269571 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.26 2.19 2.17 4/184 23257
/proc/meminfo: memFree=28564064/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 269273 0 0 0 5070 38 0 0 20 0 4 0 28724267 1343819776 269571 33554432000 4194304 16246674 140735447212944 140735447194816 5717462 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 328081 269571 892 2943 0 324975 0
[pid=23230/tid=23231] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269571 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269571 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1343819776 269571 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.25 2.19 2.17 3/183 23259
/proc/meminfo: memFree=28545432/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1320516 CPUtime=102.28 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 271310 0 0 0 10189 39 0 0 20 0 4 0 28724267 1352208384 271608 33554432000 4194304 16246674 140735447212944 140735447194816 5754961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 330129 271608 892 2943 0 327023 0
[pid=23230/tid=23231] ppid=23227 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1352208384 271608 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1352208384 271608 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1352208384 271608 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1335876

[startup+1302.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 23337
/proc/meminfo: memFree=28540140/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1335876 CPUtime=1301.87 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 275539 0 0 0 130142 45 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 140735447194816 5598730 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 333969 275462 892 2943 0 330863 0
[pid=23230/tid=23231] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.39 2.25 2.20 3/183 23339
/proc/meminfo: memFree=28524768/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1335876 CPUtime=1361.85 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 275539 0 0 0 136140 45 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 140735447195936 5823086 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 333969 275462 892 2943 0 330863 0
[pid=23230/tid=23231] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.40 2.28 2.20 3/183 23340
/proc/meminfo: memFree=28525120/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1335876 CPUtime=1421.86 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 275539 0 0 0 142140 46 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 140735447194816 5823408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 333969 275462 892 2943 0 330863 0
[pid=23230/tid=23231] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.34 2.28 2.21 3/183 23341
/proc/meminfo: memFree=28524876/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1335876 CPUtime=1481.84 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 275539 0 0 0 148138 46 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 140735447194816 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 333969 275462 892 2943 0 330863 0
[pid=23230/tid=23231] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.30 2.29 2.21 3/183 23342
/proc/meminfo: memFree=28524536/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1335876 CPUtime=1541.84 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 275539 0 0 0 154138 46 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 140735447194816 5724032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 333969 275462 892 2943 0 330863 0
[pid=23230/tid=23231] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.34 2.29 2.22 3/183 23343
/proc/meminfo: memFree=28524332/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1335876 CPUtime=1601.82 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 275539 0 0 0 160136 46 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 140735447194816 5717450 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 333969 275462 892 2943 0 330863 0
[pid=23230/tid=23231] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.22 2.27 2.21 3/183 23345
/proc/meminfo: memFree=28524324/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1335876 CPUtime=1661.81 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 275539 0 0 0 166135 46 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 140735447194816 5523352 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 333969 275462 892 2943 0 330863 0
[pid=23230/tid=23231] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.27 2.28 2.21 3/183 23346
/proc/meminfo: memFree=28523820/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1335876 CPUtime=1721.81 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 275539 0 0 0 172134 47 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 140735447194816 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 333969 275462 892 2943 0 330863 0
[pid=23230/tid=23231] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.21 2.26 2.21 3/184 23350
/proc/meminfo: memFree=28522924/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1335876 CPUtime=1781.79 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 275539 0 0 0 178132 47 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 140735447194816 5545840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 333969 275462 892 2943 0 330863 0
[pid=23230/tid=23231] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.26 2.21 4/184 23350
/proc/meminfo: memFree=28523396/32872528 swapFree=1085692/1157232
[pid=23230] ppid=23227 vsize=1335876 CPUtime=1800.09 cores=0,2,4,6
/proc/23230/stat : 23230 (toysat) R 23227 23230 21062 0 -1 4202496 275539 0 0 0 179962 47 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 140735447194816 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23230/statm: 333969 275462 892 2943 0 330863 0
[pid=23230/tid=23231] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23231/stat : 23231 (toysat) S 23227 23230 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958935334128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23230/tid=23232] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23232/stat : 23232 (toysat) S 23227 23230 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958924844272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23230/tid=23233] ppid=23227 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/23230/task/23233/stat : 23233 (toysat) S 23227 23230 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28724267 1367937024 275462 33554432000 4194304 16246674 140735447212944 139958914370736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1335876

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23230 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.11
CPU user time (s): 1799.63
CPU system time (s): 0.478927
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.478927
maximum resident set size= 1101848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275539
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= 394
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3883 second user time and 13.7909 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 18:00:46
IDJOB=4116237
IDBENCH=109445
IDSOLVER=2542
FILE ID=node114/4116237-1466956846
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= f04d3d6fc51f4b7608ff050c353aa18a
RANDOM SEED=975055483

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29640560 kB
Buffers:           24968 kB
Cached:           219520 kB
SwapCached:        38932 kB
Active:          1152928 kB
Inactive:         218720 kB
Active(anon):    1091632 kB
Inactive(anon):    37756 kB
Active(file):      61296 kB
Inactive(file):   180964 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061376 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:       2246952 kB
Mapped:            10656 kB
Shmem:                 0 kB
Slab:             567048 kB
SReclaimable:      11164 kB
SUnreclaim:       555884 kB
KernelStack:        1528 kB
PageTables:         8612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2389492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    708608 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= 71624 MiB
End job on node114 at 2016-06-26 18:30:47