Trace number 4116869

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T21:46:19+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-4116869-1466970378.opb"]
0.00/0.01	c use --random-gen="2850943569 3257485299 475549530 2782926042 213418120 1878863461 1514631065 2776954982 4103911069 2219462193 2791866051 296449455 2250651663 1917786411 4215908781 3615164025 1643931057 2474348520 2764066880 1458731732 651580385 435553813 1254021098 2353398712 3147202205 317708368 2466697587 2637399793 1542070947 1155485057 871772026 614168903 1320650324 4211218386 2375758398 1294288574 1228082307 1317192240 1340840631 909287608 2918129529 4166701118 1184217363 3328694804 102392737 291756820 2967160674 4080451987 2027515634 1697125726 2719806097 3394104447 3257795243 3061095146 3815006278 1170412309 2783002398 3747660097 3679845879 1012535543 1057034262 3032813611 3658774903 1475708842 1102092598 1026291132 734267907 238596716 3251934088 631080427 2317556045 4139064002 3359236841 39103258 2451365160 1658788170 846585537 2791075311 3228414123 381376551 1581028188 3222729296 2484760789 450446612 3445293237 3960505799 2611811339 162831806 4224994200 2059490616 2773123380 1159075406 597569123 1010551852 3087036868 1614445719 1895177359 173228730 4038162511 3186558784 205312949 924596427 3283878820 2078452638 2122340271 1677931387 1282191644 744937438 3449963255 1262870105 2256540820 751907377 910020683 2029169106 2848900413 2939355859 4204955277 2606186440 439505191 2161747186 3783767989 3970176215 1699597239 3209891557 1782235364 3590485775 450540365 3818277445 1983633263 65264923 1803315388 32648183 1010648693 2507958197 2041936090 3499201157 2772610167 1602709702 345411765 3185613486 3668774997 646373644 1430763741 2231887057 2130680776 3392283823 421839642 1223962223 2665720446 647126332 1418108338 3138824202 556628035 1560638571 3292149594 178731528 2799486984 1250936151 1159736974 4154407045 711709670 2753346967 2569578213 2870734399 3245865393 3374195834 3082289318 3466180302 943739135 1960104731 3902721296 3808328212 2430524372 2905110240 2724315345 2194690545 2442959508 1947156986 1743290810 4051525450 1342459896 2599805241 2985136848 1046580769 2354290639 3086440839 3716316834 966998734 534086468 3009211339 2388688571 1398484483 2935914303 2719285149 3054860888 233987888 3008180851 2197912628 3954072274 2089795428 106176326 2950015791 661213476 934050814 1322203813 2194642284 2894837048 2519804970 297126725 1228999262 801918278 1828362645 3444541523 2450750246 210422080 1039923484 203663085 3153281423 2019279581 831780449 3155931326 1914238997 1484290872 617316759 1767866303 2186132352 723272956 2244424618 545380718 3103408909 4105580178 2285376378 3538553532 1079090149 2556175054 3680739300 1211258060 917994529 2028325239 2234359820 2067001921 372405142 1321467231 1716012547 431419623 2530445570 2716349938 2817601154 746028753 248675230 3730757031 439392002 2303949893 2127218568 2407568015 2747289823 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8736
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      914 |        0
0.29/0.34	c  0.1s |       1 |      483 |      100 |     4234      0 |      917 |      880
0.39/0.44	c  0.2s |       2 |     2102 |      250 |     4658      0 |      917 |      880
0.59/0.60	c  0.3s |       3 |     3862 |      475 |     5124      0 |      917 |      880
0.79/0.82	c  0.6s |       4 |     6408 |      813 |     5637      0 |      918 |      880
1.09/1.16	c  0.9s |       5 |     9509 |     1320 |     6201      0 |      918 |      880
1.49/1.77	c  1.5s |       6 |    12597 |     2081 |     7505      0 |      918 |      880
2.59/2.63	c  2.4s |       7 |    18669 |     3223 |     8256      0 |      918 |      880
3.99/4.06	c  3.8s |       8 |    22646 |     4936 |     9082      0 |      918 |      880
6.09/6.13	c  5.9s |       8 |    25845 |     6836 |     9082      0 |      918 |      880
6.90/6.96	c  6.7s |       9 |    26727 |     7506 |     9991      0 |      918 |      880
8.89/8.97	c  8.7s |       9 |    34544 |    10006 |     9991      0 |      918 |      880
10.49/10.54	c 10.3s |      10 |    37098 |    11361 |    10991      0 |      918 |      880
12.59/12.60	c 12.3s |      10 |    40137 |    12861 |    10991      0 |      918 |      880
14.59/14.64	c 14.4s |      10 |    42968 |    14461 |    10991      1 |      918 |      880
16.59/16.64	c 16.4s |      10 |    45075 |    15961 |    10991      1 |      918 |      880
18.29/18.33	c 18.1s |      11 |    46756 |    17144 |    12091      1 |      918 |      880
20.29/20.33	c 20.1s |      11 |    53403 |    19244 |    12091      1 |      918 |      880
22.39/22.41	c 22.2s |      11 |    55644 |    20744 |    12091      1 |      918 |      880
24.39/24.47	c 24.2s |      11 |    57440 |    22144 |    12091      1 |      918 |      880
26.49/26.55	c 26.3s |      11 |    59241 |    23444 |    12091      2 |      918 |      880
28.58/28.65	c 28.4s |      11 |    60582 |    24544 |    12091      2 |      918 |      880
30.78/30.85	c 30.6s |      11 |    61926 |    25644 |    12091      2 |      918 |      880
31.18/31.22	c 31.0s |      12 |    62120 |    25819 |    13301      2 |      918 |      880
33.38/33.42	c 33.2s |      12 |    66414 |    27819 |    13301      2 |      918 |      880
35.49/35.51	c 35.3s |      12 |    69432 |    29619 |    13301      2 |      918 |      880
37.48/37.60	c 37.3s |      12 |    71422 |    31119 |    13301      2 |      918 |      880
39.58/39.63	c 39.4s |      12 |    72657 |    32119 |    13301      3 |      918 |      880
41.68/41.78	c 41.5s |      12 |    73944 |    33219 |    13301      3 |      918 |      880
43.88/43.97	c 43.7s |      12 |    75377 |    34419 |    13301      3 |      918 |      880
45.98/46.02	c 45.8s |      12 |    76544 |    35419 |    13301      3 |      918 |      880
48.08/48.18	c 47.9s |      12 |    77624 |    36319 |    13301      3 |      918 |      880
50.28/50.35	c 50.1s |      12 |    79392 |    37519 |    13301      3 |      918 |      880
52.18/52.23	c 52.0s |      13 |    81878 |    38832 |    14632      3 |      918 |      880
54.19/54.26	c 54.0s |      13 |    88312 |    40932 |    14632      4 |      918 |      880
56.19/56.29	c 56.0s |      13 |    92933 |    43132 |    14632      4 |      918 |      880
58.29/58.37	c 58.1s |      13 |    94961 |    44632 |    14632      4 |      918 |      880
60.28/60.38	c 60.1s |      13 |    96383 |    45732 |    14632      4 |      918 |      880
62.38/62.48	c 62.2s |      13 |    97595 |    46732 |    14632      4 |      918 |      880
64.48/64.58	c 64.3s |      13 |    98988 |    47832 |    14632      4 |      918 |      880
66.68/66.78	c 66.5s |      13 |   100208 |    48832 |    14632      4 |      918 |      880
68.78/68.88	c 68.6s |      13 |   101409 |    49732 |    14632      5 |      918 |      880
70.88/70.98	c 70.7s |      13 |   103429 |    51032 |    14632      5 |      918 |      880
72.98/73.00	c 72.8s |      13 |   106288 |    52532 |    14632      5 |      918 |      880
75.09/75.16	c 74.9s |      13 |   107822 |    53732 |    14632      5 |      918 |      880
77.19/77.23	c 77.0s |      13 |   109420 |    54832 |    14632      5 |      918 |      880
79.49/79.53	c 79.3s |      13 |   110572 |    55732 |    14632      5 |      918 |      880
81.69/81.73	c 81.5s |      13 |   111898 |    56732 |    14632      5 |      918 |      880
84.18/84.21	c 84.0s |      13 |   113220 |    57732 |    14632      6 |      918 |      880
84.99/85.06	c 84.8s |      14 |   114125 |    58352 |    16096      6 |      918 |      880
86.98/87.08	c 86.8s |      14 |   119938 |    60152 |    16096      6 |      918 |      880
89.08/89.12	c 88.9s |      14 |   122275 |    61852 |    16096      6 |      918 |      880
91.08/91.12	c 90.9s |      14 |   123613 |    63052 |    16096      6 |      918 |      880
93.08/93.12	c 92.9s |      14 |   124894 |    64152 |    16096      6 |      918 |      880
95.08/95.15	c 94.9s |      14 |   126202 |    65252 |    16096      6 |      918 |      880
97.18/97.21	c 97.0s |      14 |   128077 |    66752 |    16096      6 |      918 |      880
99.18/99.28	c 99.0s |      14 |   129448 |    67952 |    16096      6 |      918 |      880
101.27/101.32	c  101s |      14 |   130700 |    68952 |    16096      7 |      918 |      880
103.27/103.37	c  103s |      14 |   131855 |    69952 |    16096      7 |      918 |      880
105.37/105.45	c  105s |      14 |   132863 |    70852 |    16096      7 |      918 |      880
107.57/107.66	c  107s |      14 |   134172 |    71952 |    16096      7 |      918 |      880
109.67/109.75	c  109s |      14 |   135211 |    72852 |    16096      7 |      918 |      880
111.67/111.76	c  111s |      14 |   136079 |    73652 |    16096      7 |      918 |      880
113.77/113.90	c  113s |      14 |   136983 |    74452 |    16096      7 |      918 |      880
115.97/116.06	c  115s |      14 |   137726 |    75152 |    16096      7 |      918 |      880
118.07/118.17	c  117s |      14 |   138479 |    75852 |    16096      7 |      918 |      880
120.27/120.34	c  120s |      14 |   139252 |    76552 |    16096      7 |      918 |      880
122.57/122.61	c  122s |      14 |   140150 |    77352 |    16096      7 |      918 |      880
124.87/124.91	c  124s |      14 |   140905 |    78052 |    16096      8 |      918 |      880
126.97/127.02	c  126s |      14 |   141910 |    78952 |    16096      8 |      918 |      880
128.98/129.02	c  128s |      14 |   142778 |    79752 |    16096      8 |      918 |      880
130.97/131.07	c  130s |      14 |   147054 |    81352 |    16096      8 |      918 |      880
133.07/133.15	c  132s |      14 |   149541 |    82852 |    16096      8 |      918 |      880
135.17/135.27	c  135s |      14 |   151173 |    84152 |    16096      8 |      918 |      880
137.27/137.39	c  137s |      14 |   152532 |    85252 |    16096      8 |      918 |      880
139.37/139.42	c  139s |      14 |   153581 |    86152 |    16096      8 |      918 |      880
141.47/141.54	c  141s |      14 |   154662 |    87052 |    17706      8 |      918 |      880
142.67/142.79	c  142s |      15 |   155384 |    87632 |    17706      8 |      918 |      880
144.77/144.85	c  144s |      15 |   169956 |    89832 |    17706      9 |      918 |      880
146.87/146.98	c  146s |      15 |   176125 |    92132 |    17706      9 |      918 |      880
148.97/149.09	c  148s |      15 |   177766 |    93332 |    17706      9 |      918 |      880
151.07/151.12	c  150s |      15 |   179089 |    94232 |    17706      9 |      918 |      880
153.07/153.14	c  152s |      15 |   184102 |    96232 |    17706      9 |      918 |      880
155.16/155.25	c  154s |      15 |   186714 |    97832 |    17706      9 |      918 |      880
157.36/157.45	c  157s |      15 |   188196 |    98932 |    17706     10 |      918 |      880
159.46/159.58	c  159s |      15 |   189775 |   100132 |    17706     10 |      918 |      880
161.56/161.62	c  161s |      15 |   191084 |   101132 |    17706     10 |      918 |      880
163.56/163.69	c  163s |      15 |   193177 |   102332 |    17706     10 |      918 |      880
165.66/165.73	c  165s |      15 |   194751 |   103532 |    17706     10 |      918 |      880
167.76/167.81	c  167s |      15 |   195931 |   104532 |    17706     10 |      918 |      880
169.86/169.92	c  169s |      15 |   196966 |   105432 |    17706     10 |      918 |      880
172.06/172.18	c  171s |      15 |   197998 |   106332 |    17706     10 |      918 |      880
174.26/174.37	c  174s |      15 |   198899 |   107132 |    17706     10 |      918 |      880
176.36/176.49	c  176s |      15 |   199649 |   107832 |    17706     10 |      918 |      880
178.56/178.67	c  178s |      15 |   200572 |   108632 |    17706     10 |      918 |      880
180.96/181.00	c  180s |      15 |   201566 |   109432 |    17706     11 |      918 |      880
183.06/183.16	c  182s |      15 |   202631 |   110332 |    17706     11 |      918 |      880
185.16/185.28	c  185s |      15 |   203568 |   111132 |    17706     11 |      918 |      880
187.46/187.56	c  187s |      15 |   204436 |   111932 |    17706     11 |      918 |      880
189.66/189.75	c  189s |      15 |   205379 |   112732 |    17706     11 |      918 |      880
191.86/191.91	c  191s |      15 |   206322 |   113532 |    17706     11 |      918 |      880
193.96/194.08	c  193s |      15 |   207098 |   114232 |    17706     11 |      918 |      880
196.26/196.33	c  196s |      15 |   207874 |   114932 |    17706     11 |      918 |      880
198.46/198.50	c  198s |      15 |   208544 |   115532 |    17706     11 |      918 |      880
200.46/200.51	c  200s |      15 |   209222 |   116132 |    17706     11 |      918 |      880
202.46/202.60	c  202s |      15 |   210059 |   116832 |    17706     11 |      918 |      880
204.66/204.76	c  204s |      15 |   210901 |   117532 |    17706     11 |      918 |      880
206.96/207.04	c  206s |      15 |   211724 |   118232 |    17706     11 |      918 |      880
208.96/209.08	c  208s |      15 |   212410 |   118832 |    17706     11 |      918 |      880
211.25/211.37	c  211s |      15 |   213184 |   119532 |    17706     11 |      918 |      880
213.56/213.62	c  213s |      15 |   213716 |   120032 |    17706     12 |      918 |      880
215.76/215.86	c  215s |      15 |   214498 |   120732 |    17706     12 |      918 |      880
217.96/218.04	c  217s |      15 |   215452 |   121532 |    17706     12 |      918 |      880
220.05/220.16	c  219s |      15 |   216279 |   122232 |    17706     12 |      918 |      880
222.05/222.18	c  221s |      15 |   217082 |   122932 |    17706     12 |      918 |      880
224.15/224.25	c  223s |      15 |   217852 |   123632 |    17706     12 |      918 |      880
226.25/226.38	c  226s |      15 |   219037 |   124532 |    17706     12 |      918 |      880
228.35/228.46	c  228s |      15 |   220004 |   125332 |    17706     12 |      918 |      880
230.75/230.80	c  230s |      15 |   220814 |   126032 |    17706     12 |      918 |      880
232.75/232.81	c  232s |      15 |   221688 |   126732 |    17706     12 |      918 |      880
235.05/235.12	c  234s |      15 |   222503 |   127432 |    17706     12 |      918 |      880
237.05/237.18	c  236s |      15 |   223200 |   128032 |    17706     12 |      918 |      880
239.25/239.35	c  239s |      15 |   223847 |   128632 |    17706     12 |      918 |      880
241.25/241.38	c  241s |      15 |   224385 |   129132 |    17706     12 |      918 |      880
243.45/243.57	c  243s |      15 |   225060 |   129732 |    17706     12 |      918 |      880
245.65/245.70	c  245s |      15 |   225641 |   130232 |    17706     13 |      918 |      880
247.85/247.90	c  247s |      15 |   226424 |   130932 |    19477     13 |      918 |      880
249.65/249.71	c  249s |      16 |   227113 |   131552 |    19477     13 |      918 |      880
251.65/251.78	c  251s |      16 |   233667 |   133552 |    19477     13 |      918 |      880
253.75/253.83	c  253s |      16 |   236062 |   135752 |    19477     13 |      918 |      880
255.75/255.87	c  255s |      16 |   237955 |   137452 |    19477     13 |      918 |      880
257.85/257.92	c  257s |      16 |   239689 |   139052 |    19477     13 |      918 |      880
259.95/260.05	c  259s |      16 |   241084 |   140352 |    19477     13 |      918 |      880
262.15/262.22	c  261s |      16 |   242386 |   141552 |    19477     13 |      918 |      880
264.16/264.26	c  264s |      16 |   243268 |   142352 |    19477     14 |      918 |      880
266.25/266.30	c  266s |      16 |   244594 |   143552 |    19477     14 |      918 |      880
268.25/268.36	c  268s |      16 |   245537 |   144452 |    19477     14 |      918 |      880
270.25/270.38	c  270s |      16 |   246862 |   145652 |    19477     14 |      918 |      880
272.35/272.44	c  272s |      16 |   248025 |   146752 |    19477     14 |      918 |      880
274.45/274.55	c  274s |      16 |   249375 |   147952 |    19477     14 |      918 |      880
276.45/276.56	c  276s |      16 |   251023 |   149152 |    19477     14 |      918 |      880
278.56/278.65	c  278s |      16 |   252285 |   150252 |    19477     14 |      918 |      880
280.66/280.72	c  280s |      16 |   253466 |   151252 |    19477     14 |      918 |      880
282.75/282.89	c  282s |      16 |   254551 |   152252 |    19477     14 |      918 |      880
284.95/285.01	c  284s |      16 |   255566 |   153152 |    19477     14 |      918 |      880
286.95/287.05	c  286s |      16 |   256309 |   153852 |    19477     15 |      918 |      880
289.05/289.17	c  288s |      16 |   257288 |   154752 |    19477     15 |      918 |      880
291.15/291.26	c  291s |      16 |   258408 |   155752 |    19477     15 |      918 |      880
293.15/293.30	c  293s |      16 |   259416 |   156652 |    19477     15 |      918 |      880
295.25/295.37	c  295s |      16 |   260289 |   157452 |    19477     15 |      918 |      880
297.35/297.40	c  297s |      16 |   261329 |   158352 |    19477     15 |      918 |      880
299.35/299.41	c  299s |      16 |   262206 |   159152 |    19477     15 |      918 |      880
301.35/301.44	c  301s |      16 |   263187 |   160052 |    19477     15 |      918 |      880
303.34/303.44	c  303s |      16 |   264305 |   161052 |    19477     15 |      918 |      880
305.44/305.50	c  305s |      16 |   265311 |   161952 |    19477     15 |      918 |      880
307.54/307.70	c  307s |      16 |   266195 |   162752 |    19477     15 |      918 |      880
309.84/309.94	c  309s |      16 |   267086 |   163552 |    19477     15 |      918 |      880
311.84/311.95	c  311s |      16 |   267874 |   164252 |    19477     15 |      918 |      880
313.94/314.02	c  313s |      16 |   268528 |   164852 |    19477     16 |      918 |      880
315.95/316.06	c  315s |      16 |   269528 |   165752 |    19477     16 |      918 |      880
317.94/318.10	c  317s |      16 |   270414 |   166552 |    19477     16 |      918 |      880
320.14/320.30	c  320s |      16 |   271434 |   167452 |    19477     16 |      918 |      880
322.34/322.40	c  322s |      16 |   272323 |   168252 |    19477     16 |      918 |      880
324.44/324.57	c  324s |      16 |   273191 |   169052 |    19477     16 |      918 |      880
326.74/326.86	c  326s |      16 |   274080 |   169852 |    19477     16 |      918 |      880
328.94/329.00	c  328s |      16 |   274825 |   170552 |    19477     16 |      918 |      880
331.04/331.15	c  330s |      16 |   275599 |   171252 |    19477     16 |      918 |      880
333.14/333.26	c  333s |      16 |   276378 |   171952 |    19477     16 |      918 |      880
335.44/335.57	c  335s |      16 |   277170 |   172652 |    19477     16 |      918 |      880
337.64/337.79	c  337s |      16 |   277816 |   173252 |    19477     16 |      918 |      880
339.74/339.80	c  339s |      16 |   278481 |   173852 |    19477     16 |      918 |      880
341.74/341.81	c  341s |      16 |   279139 |   174452 |    19477     16 |      918 |      880
343.83/343.97	c  343s |      16 |   279774 |   175052 |    19477     16 |      918 |      880
346.23/346.32	c  346s |      16 |   280404 |   175652 |    19477     16 |      918 |      880
348.23/348.39	c  348s |      16 |   280929 |   176152 |    19477     17 |      918 |      880
350.43/350.54	c  350s |      16 |   281766 |   176952 |    19477     17 |      918 |      880
352.73/352.83	c  352s |      16 |   282620 |   177752 |    19477     17 |      918 |      880
354.73/354.89	c  354s |      16 |   283388 |   178452 |    19477     17 |      918 |      880
357.03/357.18	c  356s |      16 |   284130 |   179152 |    19477     17 |      918 |      880
359.03/359.19	c  358s |      16 |   284791 |   179752 |    19477     17 |      918 |      880
361.33/361.47	c  361s |      16 |   285552 |   180452 |    19477     17 |      918 |      880
363.53/363.67	c  363s |      16 |   286284 |   181152 |    19477     17 |      918 |      880
365.73/365.82	c  365s |      16 |   287032 |   181852 |    19477     17 |      918 |      880
367.73/367.89	c  367s |      16 |   287683 |   182452 |    19477     17 |      918 |      880
370.03/370.16	c  369s |      16 |   288316 |   183052 |    19477     17 |      918 |      880
372.43/372.52	c  372s |      16 |   288968 |   183652 |    19477     17 |      918 |      880
374.63/374.78	c  374s |      16 |   289635 |   184252 |    19477     17 |      918 |      880
376.93/377.02	c  376s |      16 |   290302 |   184852 |    19477     17 |      918 |      880
378.93/379.09	c  378s |      16 |   290822 |   185352 |    19477     17 |      918 |      880
381.13/381.25	c  380s |      16 |   291373 |   185852 |    19477     17 |      918 |      880
383.53/383.60	c  383s |      16 |   292006 |   186452 |    19477     17 |      918 |      880
385.73/385.84	c  385s |      16 |   292515 |   186952 |    19477     17 |      918 |      880
387.93/388.09	c  387s |      16 |   293056 |   187452 |    19477     18 |      918 |      880
390.23/390.35	c  390s |      16 |   293927 |   188252 |    19477     18 |      918 |      880
392.33/392.45	c  392s |      16 |   294573 |   188852 |    19477     18 |      918 |      880
394.33/394.49	c  394s |      16 |   295745 |   189752 |    19477     18 |      918 |      880
396.43/396.53	c  396s |      16 |   300492 |   191052 |    19477     18 |      918 |      880
398.43/398.54	c  398s |      16 |   303693 |   192652 |    19477     18 |      918 |      880
400.53/400.60	c  400s |      16 |   306243 |   194152 |    19477     18 |      918 |      880
402.52/402.62	c  402s |      16 |   309299 |   195652 |    19477     18 |      918 |      880
404.52/404.63	c  404s |      16 |   310829 |   196752 |    21425     18 |      918 |      880
405.92/406.03	c  405s |      17 |   311808 |   197432 |    21425     18 |      918 |      880
407.92/408.08	c  407s |      17 |   318710 |   199132 |    21425     18 |      918 |      880
410.12/410.20	c  409s |      17 |   321561 |   200732 |    21425     19 |      918 |      880
412.12/412.25	c  411s |      17 |   323574 |   202232 |    21425     19 |      918 |      880
414.23/414.35	c  414s |      17 |   325536 |   203632 |    21425     19 |      918 |      880
416.33/416.46	c  416s |      17 |   326955 |   204832 |    21425     19 |      918 |      880
418.33/418.48	c  418s |      17 |   328773 |   206132 |    21425     19 |      918 |      880
420.44/420.51	c  420s |      17 |   330477 |   207332 |    21425     19 |      918 |      880
422.54/422.62	c  422s |      17 |   332037 |   208532 |    21425     19 |      918 |      880
424.63/424.76	c  424s |      17 |   333447 |   209632 |    21425     19 |      918 |      880
426.73/426.86	c  426s |      17 |   334863 |   210732 |    21425     19 |      918 |      880
428.83/428.98	c  428s |      17 |   336303 |   211832 |    21425     19 |      918 |      880
430.93/431.03	c  430s |      17 |   337362 |   212732 |    21425     19 |      918 |      880
432.93/433.05	c  432s |      17 |   338330 |   213532 |    21425     20 |      918 |      880
435.03/435.16	c  434s |      17 |   339403 |   214432 |    21425     20 |      918 |      880
437.23/437.35	c  437s |      17 |   340547 |   215332 |    21425     20 |      918 |      880
439.33/439.46	c  439s |      17 |   341487 |   216132 |    21425     20 |      918 |      880
441.43/441.52	c  441s |      17 |   342451 |   216932 |    21425     20 |      918 |      880
443.43/443.56	c  443s |      17 |   343514 |   217832 |    21425     20 |      918 |      880
445.53/445.64	c  445s |      17 |   344336 |   218532 |    21425     20 |      918 |      880
447.73/447.85	c  447s |      17 |   345218 |   219232 |    21425     20 |      918 |      880
449.92/450.10	c  449s |      17 |   346086 |   219932 |    21425     20 |      918 |      880
452.12/452.28	c  452s |      17 |   346895 |   220632 |    21425     20 |      918 |      880
454.43/454.52	c  454s |      17 |   347553 |   221232 |    21425     20 |      918 |      880
456.63/456.78	c  456s |      17 |   348564 |   222032 |    21425     20 |      918 |      880
458.83/458.91	c  458s |      17 |   349594 |   222832 |    21425     20 |      918 |      880
461.03/461.18	c  460s |      17 |   350386 |   223532 |    21425     20 |      918 |      880
463.02/463.19	c  462s |      17 |   351275 |   224232 |    21425     20 |      918 |      880
465.32/465.43	c  465s |      17 |   352128 |   224932 |    21425     20 |      918 |      880
467.42/467.54	c  467s |      17 |   352818 |   225532 |    21425     21 |      918 |      880
469.62/469.77	c  469s |      17 |   353767 |   226332 |    21425     21 |      918 |      880
471.92/472.01	c  471s |      17 |   354674 |   227132 |    21425     21 |      918 |      880
474.12/474.20	c  473s |      17 |   355578 |   227932 |    21425     21 |      918 |      880
476.12/476.21	c  475s |      17 |   356434 |   228632 |    21425     21 |      918 |      880
478.22/478.35	c  478s |      17 |   357399 |   229432 |    21425     21 |      918 |      880
480.22/480.38	c  480s |      17 |   358216 |   230132 |    21425     21 |      918 |      880
482.42/482.57	c  482s |      17 |   358986 |   230832 |    21425     21 |      918 |      880
484.62/484.73	c  484s |      17 |   359815 |   231532 |    21425     21 |      918 |      880
486.62/486.78	c  486s |      17 |   360500 |   232132 |    21425     21 |      918 |      880
488.72/488.86	c  488s |      17 |   361317 |   232832 |    21425     21 |      918 |      880
490.92/491.03	c  490s |      17 |   362130 |   233532 |    21425     21 |      918 |      880
493.02/493.19	c  492s |      17 |   362938 |   234232 |    21425     21 |      918 |      880
495.12/495.25	c  494s |      17 |   363615 |   234832 |    21425     21 |      918 |      880
497.42/497.51	c  497s |      17 |   364444 |   235532 |    21425     21 |      918 |      880
499.42/499.59	c  499s |      17 |   365113 |   236132 |    21425     21 |      918 |      880
501.72/501.88	c  501s |      17 |   365947 |   236832 |    21425     21 |      918 |      880
503.92/504.06	c  503s |      17 |   366639 |   237432 |    21425     21 |      918 |      880
506.12/506.28	c  506s |      17 |   367330 |   238032 |    21425     22 |      918 |      880
508.21/508.37	c  508s |      17 |   368226 |   238832 |    21425     22 |      918 |      880
510.52/510.63	c  510s |      17 |   369075 |   239532 |    21425     22 |      918 |      880
512.51/512.64	c  512s |      17 |   369778 |   240132 |    21425     22 |      918 |      880
514.81/514.93	c  514s |      17 |   370476 |   240732 |    21425     22 |      918 |      880
517.01/517.19	c  516s |      17 |   371154 |   241332 |    21425     22 |      918 |      880
519.32/519.45	c  519s |      17 |   371806 |   241932 |    21425     22 |      918 |      880
521.31/521.47	c  521s |      17 |   372364 |   242432 |    21425     22 |      918 |      880
523.41/523.51	c  523s |      17 |   372918 |   242932 |    21425     22 |      918 |      880
525.71/525.85	c  525s |      17 |   373615 |   243532 |    21425     22 |      918 |      880
527.91/528.03	c  527s |      17 |   374389 |   244232 |    21425     22 |      918 |      880
530.21/530.34	c  530s |      17 |   374960 |   244732 |    21425     22 |      918 |      880
532.52/532.64	c  532s |      17 |   375630 |   245332 |    21425     22 |      918 |      880
534.61/534.70	c  534s |      17 |   376083 |   245732 |    21425     22 |      918 |      880
537.02/537.12	c  536s |      17 |   376640 |   246232 |    21425     22 |      918 |      880
539.41/539.54	c  539s |      17 |   377192 |   246732 |    21425     22 |      918 |      880
541.51/541.68	c  541s |      17 |   377643 |   247132 |    21425     22 |      918 |      880
543.91/544.05	c  543s |      17 |   378326 |   247732 |    21425     22 |      918 |      880
546.31/546.41	c  546s |      17 |   378905 |   248232 |    21425     22 |      918 |      880
548.60/548.70	c  548s |      17 |   379621 |   248832 |    21425     22 |      918 |      880
550.70/550.82	c  550s |      17 |   380413 |   249532 |    21425     22 |      918 |      880
552.80/552.97	c  552s |      17 |   381098 |   250132 |    21425     23 |      918 |      880
554.90/555.06	c  554s |      17 |   381997 |   250932 |    21425     23 |      918 |      880
557.10/557.25	c  556s |      17 |   382910 |   251732 |    21425     23 |      918 |      880
559.20/559.35	c  559s |      17 |   384030 |   252632 |    21425     23 |      918 |      880
561.30/561.43	c  561s |      17 |   384987 |   253432 |    21425     23 |      918 |      880
563.50/563.62	c  563s |      17 |   385931 |   254232 |    21425     23 |      918 |      880
565.51/565.65	c  565s |      17 |   386745 |   254932 |    21425     23 |      918 |      880
567.81/567.90	c  567s |      17 |   387704 |   255732 |    21425     23 |      918 |      880
569.80/569.95	c  569s |      17 |   388517 |   256432 |    21425     23 |      918 |      880
572.00/572.17	c  571s |      17 |   389436 |   257232 |    21425     23 |      918 |      880
574.00/574.18	c  573s |      17 |   390236 |   257932 |    21425     23 |      918 |      880
576.30/576.42	c  576s |      17 |   391008 |   258632 |    21425     23 |      918 |      880
578.30/578.48	c  578s |      17 |   391674 |   259232 |    21425     23 |      918 |      880
580.30/580.49	c  580s |      17 |   392380 |   259832 |    21425     23 |      918 |      880
582.40/582.52	c  582s |      17 |   393078 |   260432 |    21425     23 |      918 |      880
584.70/584.86	c  584s |      17 |   393870 |   261132 |    21425     23 |      918 |      880
586.90/587.01	c  586s |      17 |   394537 |   261732 |    21425     23 |      918 |      880
589.00/589.14	c  588s |      17 |   395133 |   262232 |    21425     24 |      918 |      880
591.20/591.37	c  591s |      17 |   396232 |   263132 |    21425     24 |      918 |      880
593.30/593.44	c  593s |      17 |   397172 |   263932 |    21425     24 |      918 |      880
595.50/595.64	c  595s |      17 |   398097 |   264732 |    21425     24 |      918 |      880
597.50/597.64	c  597s |      17 |   398885 |   265432 |    21425     24 |      918 |      880
599.70/599.88	c  599s |      17 |   399822 |   266232 |    21425     24 |      918 |      880
602.00/602.17	c  601s |      17 |   400795 |   267032 |    21425     24 |      918 |      880
604.10/604.26	c  604s |      17 |   401605 |   267732 |    21425     24 |      918 |      880
606.30/606.41	c  606s |      17 |   402408 |   268432 |    21425     24 |      918 |      880
608.40/608.58	c  608s |      17 |   403198 |   269132 |    21425     24 |      918 |      880
610.60/610.77	c  610s |      17 |   404008 |   269832 |    21425     24 |      918 |      880
612.69/612.84	c  612s |      17 |   404664 |   270432 |    21425     24 |      918 |      880
614.69/614.86	c  614s |      17 |   405317 |   271032 |    21425     24 |      918 |      880
616.89/617.02	c  616s |      17 |   406001 |   271632 |    21425     24 |      918 |      880
619.09/619.26	c  619s |      17 |   406805 |   272332 |    21425     24 |      918 |      880
621.09/621.27	c  621s |      17 |   407483 |   272932 |    21425     24 |      918 |      880
623.09/623.29	c  623s |      17 |   408130 |   273532 |    21425     24 |      918 |      880
625.29/625.48	c  625s |      17 |   408793 |   274132 |    21425     24 |      918 |      880
627.69/627.85	c  627s |      17 |   409337 |   274632 |    21425     25 |      918 |      880
629.89/630.01	c  629s |      17 |   410241 |   275432 |    21425     25 |      918 |      880
631.99/632.10	c  631s |      17 |   411155 |   276232 |    21425     25 |      918 |      880
634.19/634.34	c  634s |      17 |   412084 |   277032 |    21425     25 |      918 |      880
636.39/636.57	c  636s |      17 |   412982 |   277832 |    21425     25 |      918 |      880
638.59/638.76	c  638s |      17 |   413757 |   278532 |    21425     25 |      918 |      880
640.69/640.85	c  640s |      17 |   414544 |   279232 |    21425     25 |      918 |      880
642.99/643.13	c  642s |      17 |   415320 |   279932 |    21425     25 |      918 |      880
645.39/645.51	c  645s |      17 |   416105 |   280632 |    21425     25 |      918 |      880
647.49/647.62	c  647s |      17 |   416801 |   281232 |    21425     25 |      918 |      880
649.50/649.64	c  649s |      17 |   417514 |   281832 |    21425     25 |      918 |      880
651.69/651.87	c  651s |      17 |   418351 |   282532 |    21425     25 |      918 |      880
653.69/653.87	c  653s |      17 |   419028 |   283132 |    21425     25 |      918 |      880
655.80/655.98	c  655s |      17 |   419700 |   283732 |    21425     25 |      918 |      880
657.90/658.00	c  657s |      17 |   420397 |   284332 |    21425     25 |      918 |      880
659.89/660.04	c  659s |      17 |   421097 |   284932 |    21425     25 |      918 |      880
662.19/662.33	c  662s |      17 |   421777 |   285532 |    21425     25 |      918 |      880
664.29/664.46	c  664s |      17 |   422447 |   286132 |    21425     25 |      918 |      880
667.09/667.28	c  667s |      17 |   423146 |   286732 |    21425     26 |      918 |      880
669.19/669.36	c  669s |      17 |   424056 |   287532 |    21425     26 |      918 |      880
671.39/671.58	c  671s |      17 |   424863 |   288232 |    21425     26 |      918 |      880
673.59/673.78	c  673s |      17 |   425645 |   288932 |    21425     26 |      918 |      880
675.79/675.99	c  675s |      17 |   426419 |   289632 |    21425     26 |      918 |      880
678.09/678.26	c  678s |      17 |   427209 |   290332 |    21425     26 |      918 |      880
680.19/680.32	c  680s |      17 |   427990 |   291032 |    21425     26 |      918 |      880
682.19/682.35	c  682s |      17 |   428791 |   291732 |    21425     26 |      918 |      880
684.19/684.40	c  684s |      17 |   429444 |   292332 |    21425     26 |      918 |      880
686.38/686.51	c  686s |      17 |   430126 |   292932 |    21425     26 |      918 |      880
688.38/688.55	c  688s |      17 |   430781 |   293532 |    21425     26 |      918 |      880
690.48/690.69	c  690s |      17 |   431567 |   294232 |    23568     26 |      918 |      880
692.88/693.02	c  692s |      17 |   432218 |   294832 |    23568     26 |      918 |      880
695.18/695.38	c  695s |      17 |   432890 |   295432 |    23568     26 |      918 |      880
697.58/697.72	c  697s |      17 |   433581 |   296032 |    23568     26 |      918 |      880
698.38/698.56	c  698s |      18 |   433829 |   296252 |    23568     26 |      918 |      880
700.47/700.67	c  700s |      18 |   439150 |   298352 |    23568     26 |      918 |      880
702.57/702.71	c  702s |      18 |   441562 |   300152 |    23568     26 |      918 |      880
704.67/704.81	c  704s |      18 |   443152 |   301352 |    23568     27 |      918 |      880
706.67/706.89	c  706s |      18 |   444945 |   302752 |    23568     27 |      918 |      880
708.77/708.94	c  708s |      18 |   446532 |   304052 |    23568     27 |      918 |      880
710.86/711.03	c  710s |      18 |   448133 |   305352 |    23568     27 |      918 |      880
712.97/713.18	c  712s |      18 |   449624 |   306552 |    23568     27 |      918 |      880
714.96/715.19	c  714s |      18 |   450749 |   307452 |    23568     27 |      918 |      880
717.16/717.34	c  717s |      18 |   451809 |   308352 |    23568     27 |      918 |      880
719.36/719.56	c  719s |      18 |   452989 |   309352 |    23568     27 |      918 |      880
721.56/721.79	c  721s |      18 |   454033 |   310252 |    23568     27 |      918 |      880
723.76/723.94	c  723s |      18 |   454948 |   311052 |    23568     27 |      918 |      880
725.86/726.00	c  725s |      18 |   455747 |   311752 |    23568     27 |      918 |      880
727.86/728.03	c  727s |      18 |   456671 |   312552 |    23568     27 |      918 |      880
729.86/730.09	c  729s |      18 |   457602 |   313352 |    23568     27 |      918 |      880
731.96/732.15	c  731s |      18 |   458404 |   314052 |    23568     27 |      918 |      880
734.06/734.29	c  734s |      18 |   459210 |   314752 |    23568     27 |      918 |      880
736.15/736.33	c  736s |      18 |   459881 |   315352 |    23568     28 |      918 |      880
738.35/738.53	c  738s |      18 |   460761 |   316152 |    23568     28 |      918 |      880
740.46/740.66	c  740s |      18 |   461657 |   316952 |    23568     28 |      918 |      880
742.66/742.84	c  742s |      18 |   462554 |   317752 |    23568     28 |      918 |      880
744.86/745.08	c  744s |      18 |   463337 |   318452 |    23568     28 |      918 |      880
746.85/747.08	c  746s |      18 |   464137 |   319152 |    23568     28 |      918 |      880
749.26/749.46	c  749s |      18 |   464930 |   319852 |    23568     28 |      918 |      880
751.55/751.75	c  751s |      18 |   465601 |   320452 |    23568     28 |      918 |      880
753.75/753.95	c  753s |      18 |   466264 |   321052 |    23568     28 |      918 |      880
755.85/756.01	c  755s |      18 |   466927 |   321652 |    23568     28 |      918 |      880
758.05/758.28	c  758s |      18 |   467583 |   322252 |    23568     28 |      918 |      880
760.15/760.33	c  760s |      18 |   468252 |   322852 |    23568     28 |      918 |      880
762.25/762.50	c  762s |      18 |   468917 |   323452 |    23568     28 |      918 |      880
764.44/764.62	c  764s |      18 |   471017 |   324452 |    23568     28 |      918 |      880
766.44/766.66	c  766s |      18 |   472010 |   325152 |    23568     28 |      918 |      880
768.64/768.88	c  768s |      18 |   473180 |   325952 |    23568     28 |      918 |      880
770.84/771.05	c  770s |      18 |   474135 |   326652 |    23568     28 |      918 |      880
773.45/773.67	c  773s |      18 |   476556 |   327752 |    23568     29 |      918 |      880
775.65/775.83	c  775s |      18 |   478855 |   329152 |    23568     29 |      918 |      880
777.75/777.93	c  777s |      18 |   480813 |   330352 |    23568     29 |      918 |      880
779.74/779.94	c  779s |      18 |   481970 |   331252 |    23568     29 |      918 |      880
782.04/782.23	c  781s |      18 |   483039 |   332152 |    23568     29 |      918 |      880
784.14/784.30	c  784s |      18 |   483842 |   332852 |    23568     29 |      918 |      880
786.23/786.43	c  786s |      18 |   484943 |   333752 |    23568     29 |      918 |      880
788.33/788.55	c  788s |      18 |   486034 |   334652 |    23568     29 |      918 |      880
790.33/790.57	c  790s |      18 |   486976 |   335452 |    23568     29 |      918 |      880
792.53/792.70	c  792s |      18 |   487799 |   336152 |    23568     29 |      918 |      880
794.73/794.98	c  794s |      18 |   488745 |   336952 |    23568     29 |      918 |      880
796.83/797.06	c  796s |      18 |   489899 |   337752 |    23568     29 |      918 |      880
798.93/799.15	c  798s |      18 |   490766 |   338452 |    23568     29 |      918 |      880
801.13/801.35	c  801s |      18 |   491615 |   339152 |    23568     29 |      918 |      880
803.33/803.54	c  803s |      18 |   492416 |   339852 |    23568     29 |      918 |      880
805.43/805.62	c  805s |      18 |   493159 |   340452 |    23568     29 |      918 |      880
807.83/808.00	c  807s |      18 |   494015 |   341152 |    23568     29 |      918 |      880
810.03/810.24	c  809s |      18 |   494670 |   341652 |    23568     30 |      918 |      880
812.13/812.31	c  812s |      18 |   496573 |   342952 |    23568     30 |      918 |      880
814.23/814.47	c  814s |      18 |   497961 |   344052 |    23568     30 |      918 |      880
816.53/816.74	c  816s |      18 |   499164 |   345052 |    23568     30 |      918 |      880
818.73/818.95	c  818s |      18 |   500364 |   346052 |    23568     30 |      918 |      880
820.83/821.10	c  820s |      18 |   501301 |   346852 |    23568     30 |      918 |      880
823.02/823.20	c  822s |      18 |   502247 |   347652 |    23568     30 |      918 |      880
825.03/825.27	c  825s |      18 |   503154 |   348352 |    23568     30 |      918 |      880
827.23/827.41	c  827s |      18 |   504306 |   349252 |    23568     30 |      918 |      880
829.22/829.44	c  829s |      18 |   505469 |   350152 |    23568     30 |      918 |      880
831.42/831.63	c  831s |      18 |   506283 |   350852 |    23568     30 |      918 |      880
833.62/833.83	c  833s |      18 |   506946 |   351452 |    23568     30 |      918 |      880
835.62/835.83	c  835s |      18 |   507627 |   352052 |    23568     30 |      918 |      880
837.82/838.04	c  837s |      18 |   508438 |   352752 |    23568     30 |      918 |      880
840.12/840.33	c  840s |      18 |   509109 |   353352 |    23568     30 |      918 |      880
842.43/842.66	c  842s |      18 |   509904 |   354052 |    23568     30 |      918 |      880
844.73/844.94	c  844s |      18 |   510585 |   354652 |    23568     30 |      918 |      880
847.03/847.26	c  847s |      18 |   511143 |   355152 |    23568     31 |      918 |      880
849.23/849.47	c  849s |      18 |   511921 |   355852 |    23568     31 |      918 |      880
851.43/851.68	c  851s |      18 |   512817 |   356652 |    23568     31 |      918 |      880
853.63/853.82	c  853s |      18 |   513627 |   357352 |    23568     31 |      918 |      880
855.83/856.08	c  855s |      18 |   514515 |   358152 |    23568     31 |      918 |      880
857.92/858.11	c  857s |      18 |   515346 |   358852 |    23568     31 |      918 |      880
859.92/860.14	c  859s |      18 |   516053 |   359452 |    23568     31 |      918 |      880
862.02/862.23	c  861s |      18 |   516755 |   360052 |    23568     31 |      918 |      880
864.22/864.49	c  864s |      18 |   517418 |   360652 |    23568     31 |      918 |      880
866.72/866.94	c  866s |      18 |   517975 |   361152 |    23568     31 |      918 |      880
868.82/869.04	c  868s |      18 |   518414 |   361552 |    23568     31 |      918 |      880
871.12/871.35	c  871s |      18 |   519102 |   362152 |    23568     31 |      918 |      880
873.12/873.38	c  873s |      18 |   519653 |   362652 |    23568     31 |      918 |      880
875.22/875.45	c  875s |      18 |   520932 |   363452 |    23568     31 |      918 |      880
877.31/877.55	c  877s |      18 |   522101 |   364252 |    23568     31 |      918 |      880
879.31/879.55	c  879s |      18 |   523165 |   365052 |    23568     31 |      918 |      880
881.41/881.62	c  881s |      18 |   524115 |   365852 |    23568     31 |      918 |      880
883.61/883.83	c  883s |      18 |   525098 |   366652 |    23568     31 |      918 |      880
885.71/885.91	c  885s |      18 |   525895 |   367352 |    23568     31 |      918 |      880
887.72/887.99	c  887s |      18 |   526576 |   367952 |    23568     31 |      918 |      880
889.81/890.08	c  889s |      18 |   527142 |   368452 |    23568     32 |      918 |      880
892.01/892.21	c  891s |      18 |   528302 |   369352 |    23568     32 |      918 |      880
894.11/894.39	c  894s |      18 |   529375 |   370252 |    23568     32 |      918 |      880
896.20/896.44	c  896s |      18 |   530308 |   371052 |    23568     32 |      918 |      880
898.30/898.51	c  898s |      18 |   531089 |   371752 |    23568     32 |      918 |      880
900.30/900.58	c  900s |      18 |   532200 |   372552 |    23568     32 |      918 |      880
902.50/902.79	c  902s |      18 |   533165 |   373352 |    23568     32 |      918 |      880
904.80/905.00	c  904s |      18 |   534056 |   374052 |    23568     32 |      918 |      880
907.00/907.27	c  907s |      18 |   534910 |   374752 |    23568     32 |      918 |      880
909.10/909.30	c  909s |      18 |   535591 |   375352 |    23568     32 |      918 |      880
911.20/911.41	c  911s |      18 |   536288 |   375952 |    23568     32 |      918 |      880
913.40/913.68	c  913s |      18 |   536864 |   376452 |    23568     32 |      918 |      880
915.69/915.98	c  915s |      18 |   537461 |   376952 |    23568     32 |      918 |      880
917.99/918.26	c  918s |      18 |   538168 |   377552 |    23568     32 |      918 |      880
920.09/920.30	c  920s |      18 |   538730 |   378052 |    23568     32 |      918 |      880
922.19/922.42	c  922s |      18 |   539394 |   378652 |    23568     32 |      918 |      880
924.59/924.89	c  924s |      18 |   539958 |   379152 |    23568     32 |      918 |      880
926.89/927.10	c  926s |      18 |   540514 |   379652 |    23568     32 |      918 |      880
929.38/929.61	c  929s |      18 |   541076 |   380152 |    23568     32 |      918 |      880
931.48/931.74	c  931s |      18 |   541638 |   380652 |    23568     32 |      918 |      880
933.68/933.93	c  933s |      18 |   542196 |   381152 |    23568     32 |      918 |      880
935.68/935.96	c  935s |      18 |   542753 |   381652 |    23568     32 |      918 |      880
937.78/938.02	c  937s |      18 |   543214 |   382052 |    23568     33 |      918 |      880
939.88/940.19	c  939s |      18 |   543866 |   382652 |    23568     33 |      918 |      880
942.28/942.52	c  942s |      18 |   544525 |   383252 |    23568     33 |      918 |      880
944.28/944.54	c  944s |      18 |   548861 |   384652 |    23568     33 |      918 |      880
946.27/946.55	c  946s |      18 |   550461 |   385752 |    23568     33 |      918 |      880
948.28/948.58	c  948s |      18 |   554601 |   387352 |    23568     33 |      918 |      880
950.48/950.71	c  950s |      18 |   555961 |   388352 |    23568     33 |      918 |      880
952.47/952.80	c  952s |      18 |   557490 |   389352 |    23568     33 |      918 |      880
954.67/954.91	c  954s |      18 |   558972 |   390352 |    23568     33 |      918 |      880
956.67/956.92	c  956s |      18 |   560425 |   391352 |    23568     33 |      918 |      880
958.86/959.13	c  958s |      18 |   561810 |   392352 |    23568     33 |      918 |      880
961.06/961.32	c  961s |      18 |   562905 |   393152 |    23568     33 |      918 |      880
963.06/963.39	c  963s |      18 |   564716 |   394152 |    23568     33 |      918 |      880
965.16/965.45	c  965s |      18 |   565872 |   395052 |    23568     33 |      918 |      880
967.16/967.47	c  967s |      18 |   566722 |   395752 |    23568     34 |      918 |      880
969.26/969.52	c  969s |      18 |   567966 |   396752 |    23568     34 |      918 |      880
971.36/971.69	c  971s |      18 |   569059 |   397652 |    23568     34 |      918 |      880
973.56/973.83	c  973s |      18 |   570149 |   398552 |    23568     34 |      918 |      880
975.56/975.90	c  975s |      18 |   570842 |   399152 |    23568     34 |      918 |      880
977.96/978.22	c  977s |      18 |   571502 |   399752 |    23568     34 |      918 |      880
980.35/980.64	c  980s |      18 |   572184 |   400352 |    23568     34 |      918 |      880
982.75/983.03	c  982s |      18 |   572752 |   400852 |    23568     34 |      918 |      880
984.75/985.08	c  984s |      18 |   573441 |   401452 |    23568     34 |      918 |      880
986.76/987.08	c  986s |      18 |   574286 |   402152 |    23568     34 |      918 |      880
988.86/989.18	c  988s |      18 |   575084 |   402852 |    23568     34 |      918 |      880
990.85/991.18	c  990s |      18 |   576178 |   403652 |    23568     34 |      918 |      880
992.95/993.21	c  992s |      18 |   577049 |   404352 |    23568     34 |      918 |      880
994.95/995.24	c  994s |      18 |   579089 |   405452 |    23568     34 |      918 |      880
997.15/997.43	c  997s |      18 |   580366 |   406452 |    23568     34 |      918 |      880
999.25/999.58	c  999s |      18 |   581848 |   407452 |    23568     34 |      918 |      880
1001.34/1001.64	c 1001s |      18 |   582793 |   408252 |    23568     34 |      918 |      880
1003.44/1003.80	c 1003s |      18 |   583794 |   409052 |    23568     35 |      918 |      880
1005.64/1005.96	c 1005s |      18 |   584990 |   409952 |    23568     35 |      918 |      880
1007.74/1008.05	c 1007s |      18 |   586047 |   410852 |    23568     35 |      918 |      880
1009.94/1010.27	c 1010s |      18 |   587140 |   411752 |    23568     35 |      918 |      880
1012.14/1012.47	c 1012s |      18 |   587907 |   412452 |    23568     35 |      918 |      880
1014.34/1014.60	c 1014s |      18 |   588900 |   413252 |    23568     35 |      918 |      880
1016.34/1016.66	c 1016s |      18 |   589788 |   414052 |    23568     35 |      918 |      880
1018.44/1018.78	c 1018s |      18 |   590545 |   414752 |    23568     35 |      918 |      880
1020.64/1020.90	c 1020s |      18 |   592105 |   415852 |    23568     35 |      918 |      880
1022.84/1023.12	c 1022s |      18 |   593407 |   416852 |    23568     35 |      918 |      880
1025.04/1025.35	c 1025s |      18 |   594520 |   417752 |    23568     35 |      918 |      880
1027.13/1027.40	c 1027s |      18 |   595290 |   418452 |    23568     35 |      918 |      880
1029.13/1029.44	c 1029s |      18 |   596076 |   419152 |    23568     35 |      918 |      880
1031.33/1031.67	c 1031s |      18 |   597832 |   420252 |    23568     35 |      918 |      880
1033.73/1034.01	c 1033s |      18 |   598895 |   421052 |    23568     35 |      918 |      880
1035.84/1036.14	c 1035s |      18 |   600231 |   421952 |    23568     35 |      918 |      880
1037.94/1038.26	c 1038s |      18 |   601353 |   422752 |    23568     36 |      918 |      880
1040.04/1040.38	c 1040s |      18 |   602522 |   423652 |    23568     36 |      918 |      880
1042.24/1042.59	c 1042s |      18 |   603594 |   424552 |    23568     36 |      918 |      880
1044.34/1044.68	c 1044s |      18 |   604567 |   425352 |    23568     36 |      918 |      880
1046.54/1046.84	c 1046s |      18 |   605491 |   426152 |    23568     36 |      918 |      880
1048.64/1048.91	c 1048s |      18 |   606307 |   426852 |    23568     36 |      918 |      880
1050.84/1051.11	c 1050s |      18 |   607262 |   427652 |    23568     36 |      918 |      880
1052.93/1053.28	c 1053s |      18 |   608131 |   428352 |    23568     36 |      918 |      880
1054.94/1055.29	c 1055s |      18 |   608832 |   428952 |    23568     36 |      918 |      880
1057.14/1057.44	c 1057s |      18 |   609917 |   429752 |    23568     36 |      918 |      880
1059.24/1059.54	c 1059s |      18 |   610849 |   430452 |    23568     36 |      918 |      880
1061.33/1061.67	c 1061s |      18 |   611915 |   431252 |    23568     36 |      918 |      880
1063.64/1063.91	c 1063s |      18 |   612948 |   432052 |    23568     36 |      918 |      880
1065.73/1066.03	c 1065s |      18 |   614008 |   432852 |    23568     36 |      918 |      880
1067.72/1068.08	c 1067s |      18 |   614848 |   433552 |    23568     36 |      918 |      880
1069.72/1070.09	c 1069s |      18 |   615565 |   434152 |    23568     36 |      918 |      880
1072.02/1072.34	c 1072s |      18 |   616390 |   434852 |    23568     36 |      918 |      880
1074.02/1074.39	c 1074s |      18 |   617098 |   435452 |    23568     36 |      918 |      880
1076.22/1076.56	c 1076s |      18 |   617835 |   436052 |    23568     37 |      918 |      880
1078.52/1078.81	c 1078s |      18 |   618883 |   436852 |    23568     37 |      918 |      880
1080.52/1080.82	c 1080s |      18 |   620033 |   437752 |    23568     37 |      918 |      880
1082.62/1082.94	c 1082s |      18 |   621196 |   438652 |    23568     37 |      918 |      880
1084.82/1085.12	c 1084s |      18 |   622226 |   439452 |    23568     37 |      918 |      880
1087.01/1087.36	c 1087s |      18 |   623036 |   440152 |    23568     37 |      918 |      880
1089.01/1089.38	c 1089s |      18 |   623861 |   440852 |    23568     37 |      918 |      880
1091.31/1091.60	c 1091s |      18 |   624853 |   441652 |    25925     37 |      918 |      880
1093.31/1093.70	c 1093s |      18 |   625562 |   442252 |    25925     37 |      918 |      880
1095.51/1095.90	c 1095s |      18 |   626235 |   442852 |    25925     37 |      918 |      880
1097.90/1098.21	c 1097s |      18 |   627057 |   443552 |    25925     37 |      918 |      880
1100.10/1100.44	c 1100s |      18 |   627872 |   444252 |    25925     37 |      918 |      880
1100.80/1101.13	c 1100s |      19 |   628159 |   444482 |    25925     37 |      918 |      880
1102.80/1103.20	c 1102s |      19 |   632185 |   445782 |    25925     37 |      918 |      880
1105.00/1105.34	c 1105s |      19 |   633785 |   447182 |    25925     37 |      918 |      880
1107.00/1107.37	c 1107s |      19 |   635505 |   448582 |    25925     37 |      918 |      880
1109.10/1109.48	c 1109s |      19 |   637136 |   449982 |    25925     37 |      918 |      880
1111.20/1111.54	c 1111s |      19 |   638436 |   451082 |    25925     37 |      918 |      880
1113.30/1113.65	c 1113s |      19 |   639694 |   452082 |    25925     38 |      918 |      880
1115.40/1115.73	c 1115s |      19 |   640798 |   453082 |    25925     38 |      918 |      880
1117.39/1117.80	c 1117s |      19 |   641954 |   454082 |    25925     38 |      918 |      880
1119.49/1119.84	c 1119s |      19 |   643273 |   455182 |    25925     38 |      918 |      880
1121.59/1121.96	c 1121s |      19 |   644488 |   456182 |    25925     38 |      918 |      880
1123.79/1124.12	c 1123s |      19 |   645368 |   456982 |    25925     38 |      918 |      880
1125.79/1126.13	c 1125s |      19 |   646262 |   457782 |    25925     38 |      918 |      880
1127.78/1128.15	c 1127s |      19 |   647064 |   458482 |    25925     38 |      918 |      880
1129.98/1130.38	c 1130s |      19 |   648103 |   459382 |    25925     38 |      918 |      880
1132.18/1132.53	c 1132s |      19 |   649111 |   460282 |    25925     38 |      918 |      880
1134.28/1134.63	c 1134s |      19 |   650030 |   461082 |    25925     38 |      918 |      880
1136.58/1136.96	c 1136s |      19 |   650828 |   461782 |    25925     38 |      918 |      880
1138.68/1139.03	c 1138s |      19 |   651497 |   462382 |    25925     38 |      918 |      880
1140.88/1141.26	c 1141s |      19 |   652304 |   463082 |    25925     38 |      918 |      880
1143.18/1143.56	c 1143s |      19 |   653133 |   463782 |    25925     38 |      918 |      880
1145.58/1145.98	c 1145s |      19 |   653820 |   464382 |    25925     38 |      918 |      880
1147.67/1148.08	c 1147s |      19 |   654476 |   464982 |    25925     38 |      918 |      880
1149.97/1150.33	c 1150s |      19 |   655277 |   465682 |    25925     38 |      918 |      880
1152.17/1152.51	c 1152s |      19 |   656128 |   466382 |    25925     39 |      918 |      880
1154.27/1154.60	c 1154s |      19 |   657079 |   467182 |    25925     39 |      918 |      880
1156.37/1156.70	c 1156s |      19 |   657991 |   467982 |    25925     39 |      918 |      880
1158.57/1158.95	c 1158s |      19 |   658887 |   468782 |    25925     39 |      918 |      880
1160.87/1161.25	c 1160s |      19 |   659780 |   469582 |    25925     39 |      918 |      880
1162.97/1163.35	c 1163s |      19 |   660585 |   470282 |    25925     39 |      918 |      880
1165.07/1165.46	c 1165s |      19 |   661369 |   470982 |    25925     39 |      918 |      880
1167.16/1167.52	c 1167s |      19 |   662186 |   471682 |    25925     39 |      918 |      880
1169.36/1169.71	c 1169s |      19 |   663106 |   472482 |    25925     39 |      918 |      880
1171.56/1171.94	c 1171s |      19 |   663896 |   473182 |    25925     39 |      918 |      880
1173.57/1173.96	c 1173s |      19 |   664980 |   473882 |    25925     39 |      918 |      880
1175.66/1176.10	c 1175s |      19 |   667468 |   475182 |    25925     39 |      918 |      880
1177.75/1178.17	c 1177s |      19 |   669717 |   476182 |    25925     39 |      918 |      880
1179.85/1180.29	c 1180s |      19 |   672015 |   477182 |    25925     39 |      918 |      880
1182.05/1182.42	c 1182s |      19 |   673547 |   478482 |    25925     39 |      918 |      880
1184.25/1184.64	c 1184s |      19 |   674619 |   479482 |    25925     39 |      918 |      880
1186.25/1186.69	c 1186s |      19 |   675487 |   480282 |    25925     40 |      918 |      880
1188.45/1188.82	c 1188s |      19 |   676818 |   481482 |    25925     40 |      918 |      880
1190.55/1190.95	c 1190s |      19 |   677888 |   482482 |    25925     40 |      918 |      880
1192.65/1193.02	c 1192s |      19 |   679325 |   483582 |    25925     40 |      918 |      880
1194.65/1195.06	c 1194s |      19 |   680780 |   484882 |    25925     40 |      918 |      880
1196.75/1197.11	c 1196s |      19 |   682162 |   486182 |    25925     40 |      918 |      880
1198.85/1199.27	c 1199s |      19 |   683410 |   487382 |    25925     40 |      918 |      880
1201.05/1201.40	c 1201s |      19 |   684569 |   488482 |    25925     40 |      918 |      880
1203.04/1203.43	c 1203s |      19 |   688205 |   489882 |    25925     40 |      918 |      880
1205.14/1205.55	c 1205s |      19 |   693913 |   491482 |    25925     40 |      918 |      880
1207.24/1207.62	c 1207s |      19 |   695767 |   492582 |    25925     40 |      918 |      880
1209.34/1209.71	c 1209s |      19 |   698446 |   493782 |    25925     40 |      918 |      880
1211.84/1212.26	c 1212s |      19 |   699649 |   494682 |    25925     41 |      918 |      880
1213.84/1214.26	c 1214s |      19 |   700778 |   495682 |    25925     41 |      918 |      880
1216.04/1216.44	c 1216s |      19 |   701658 |   496482 |    25925     41 |      918 |      880
1218.03/1218.46	c 1218s |      19 |   702539 |   497282 |    25925     41 |      918 |      880
1220.13/1220.53	c 1220s |      19 |   703449 |   498082 |    25925     41 |      918 |      880
1222.23/1222.68	c 1222s |      19 |   704445 |   498982 |    25925     41 |      918 |      880
1224.43/1224.80	c 1224s |      19 |   706272 |   500182 |    25925     41 |      918 |      880
1226.53/1226.99	c 1226s |      19 |   707512 |   501182 |    25925     41 |      918 |      880
1228.73/1229.13	c 1228s |      19 |   709814 |   502382 |    25925     41 |      918 |      880
1230.73/1231.15	c 1230s |      19 |   710883 |   503282 |    25925     41 |      918 |      880
1232.93/1233.39	c 1233s |      19 |   711989 |   504182 |    25925     41 |      918 |      880
1235.13/1235.59	c 1235s |      19 |   712940 |   504982 |    25925     41 |      918 |      880
1237.22/1237.63	c 1237s |      19 |   713839 |   505682 |    25925     41 |      918 |      880
1239.32/1239.70	c 1239s |      19 |   714584 |   506382 |    25925     41 |      918 |      880
1241.42/1241.86	c 1241s |      19 |   715361 |   507082 |    25925     41 |      918 |      880
1243.52/1243.97	c 1243s |      19 |   716377 |   507882 |    25925     41 |      918 |      880
1245.52/1245.99	c 1245s |      19 |   717172 |   508582 |    25925     41 |      918 |      880
1247.82/1248.29	c 1248s |      19 |   717922 |   509282 |    25925     41 |      918 |      880
1249.92/1250.31	c 1250s |      19 |   718574 |   509882 |    25925     42 |      918 |      880
1252.12/1252.54	c 1252s |      19 |   719441 |   510682 |    25925     42 |      918 |      880
1254.32/1254.72	c 1254s |      19 |   720196 |   511382 |    25925     42 |      918 |      880
1256.32/1256.79	c 1256s |      19 |   720959 |   512082 |    25925     42 |      918 |      880
1258.52/1258.97	c 1258s |      19 |   721713 |   512782 |    25925     42 |      918 |      880
1260.82/1261.24	c 1260s |      19 |   722347 |   513382 |    25925     42 |      918 |      880
1263.12/1263.56	c 1263s |      19 |   722962 |   513982 |    25925     42 |      918 |      880
1265.41/1265.87	c 1265s |      19 |   723705 |   514682 |    25925     42 |      918 |      880
1267.51/1267.96	c 1267s |      19 |   724344 |   515282 |    25925     42 |      918 |      880
1269.71/1270.11	c 1269s |      19 |   725000 |   515882 |    25925     42 |      918 |      880
1271.71/1272.12	c 1271s |      19 |   725503 |   516382 |    25925     42 |      918 |      880
1273.81/1274.25	c 1273s |      19 |   726180 |   516982 |    25925     42 |      918 |      880
1275.82/1276.26	c 1276s |      19 |   726830 |   517582 |    25925     42 |      918 |      880
1277.90/1278.37	c 1278s |      19 |   727471 |   518182 |    25925     42 |      918 |      880
1280.21/1280.65	c 1280s |      19 |   728111 |   518782 |    25925     42 |      918 |      880
1282.30/1282.72	c 1282s |      19 |   728655 |   519282 |    25925     42 |      918 |      880
1284.50/1284.99	c 1284s |      19 |   729294 |   519882 |    25925     42 |      918 |      880
1286.80/1287.26	c 1287s |      19 |   729946 |   520482 |    25925     42 |      918 |      880
1288.89/1289.31	c 1289s |      19 |   730485 |   520982 |    25925     42 |      918 |      880
1290.99/1291.47	c 1291s |      19 |   731030 |   521482 |    25925     42 |      918 |      880
1293.29/1293.76	c 1293s |      19 |   731554 |   521982 |    25925     42 |      918 |      880
1295.60/1296.02	c 1295s |      19 |   732103 |   522482 |    25925     42 |      918 |      880
1297.89/1298.38	c 1298s |      19 |   732631 |   522982 |    25925     42 |      918 |      880
1300.09/1300.56	c 1300s |      19 |   733036 |   523382 |    25925     42 |      918 |      880
1302.89/1303.32	c 1303s |      19 |   733453 |   523782 |    25925     43 |      918 |      880
1304.89/1305.35	c 1305s |      19 |   734132 |   524382 |    25925     43 |      918 |      880
1306.88/1307.38	c 1307s |      19 |   734802 |   524982 |    25925     43 |      918 |      880
1309.18/1309.63	c 1309s |      19 |   735589 |   525682 |    25925     43 |      918 |      880
1311.38/1311.87	c 1311s |      19 |   736209 |   526282 |    25925     43 |      918 |      880
1313.68/1314.13	c 1313s |      19 |   736830 |   526882 |    25925     43 |      918 |      880
1315.68/1316.17	c 1315s |      19 |   737450 |   527482 |    25925     43 |      918 |      880
1317.88/1318.34	c 1318s |      19 |   738251 |   528182 |    25925     43 |      918 |      880
1319.98/1320.46	c 1320s |      19 |   739006 |   528882 |    25925     43 |      918 |      880
1322.28/1322.77	c 1322s |      19 |   739749 |   529582 |    25925     43 |      918 |      880
1324.38/1324.82	c 1324s |      19 |   740382 |   530182 |    25925     43 |      918 |      880
1326.39/1326.90	c 1326s |      19 |   741038 |   530782 |    25925     43 |      918 |      880
1328.78/1329.23	c 1328s |      19 |   741671 |   531382 |    25925     43 |      918 |      880
1331.18/1331.66	c 1331s |      19 |   742295 |   531982 |    25925     43 |      918 |      880
1333.38/1333.86	c 1333s |      19 |   742821 |   532482 |    25925     43 |      918 |      880
1335.58/1336.04	c 1335s |      19 |   743346 |   532982 |    25925     43 |      918 |      880
1337.88/1338.39	c 1338s |      19 |   743867 |   533482 |    25925     43 |      918 |      880
1340.08/1340.57	c 1340s |      19 |   744403 |   533982 |    25925     43 |      918 |      880
1342.18/1342.66	c 1342s |      19 |   744959 |   534482 |    25925     43 |      918 |      880
1344.58/1345.01	c 1344s |      19 |   745631 |   535082 |    25925     43 |      918 |      880
1346.78/1347.21	c 1346s |      19 |   746165 |   535582 |    25925     43 |      918 |      880
1348.98/1349.42	c 1349s |      19 |   746700 |   536082 |    25925     43 |      918 |      880
1351.08/1351.57	c 1351s |      19 |   747240 |   536582 |    25925     43 |      918 |      880
1353.57/1354.02	c 1353s |      19 |   747905 |   537182 |    25925     43 |      918 |      880
1355.87/1356.32	c 1356s |      19 |   748436 |   537682 |    25925     43 |      918 |      880
1358.07/1358.56	c 1358s |      19 |   748979 |   538182 |    25925     43 |      918 |      880
1360.58/1361.05	c 1360s |      19 |   749400 |   538582 |    25925     44 |      918 |      880
1362.97/1363.45	c 1363s |      19 |   750026 |   539182 |    25925     44 |      918 |      880
1365.07/1365.56	c 1365s |      19 |   750561 |   539682 |    25925     44 |      918 |      880
1367.18/1367.61	c 1367s |      19 |   751091 |   540182 |    25925     44 |      918 |      880
1369.47/1369.94	c 1369s |      19 |   751856 |   540882 |    25925     44 |      918 |      880
1371.77/1372.21	c 1371s |      19 |   752616 |   541582 |    25925     44 |      918 |      880
1373.87/1374.35	c 1374s |      19 |   753256 |   542182 |    25925     44 |      918 |      880
1376.17/1376.61	c 1376s |      19 |   753887 |   542782 |    25925     44 |      918 |      880
1378.27/1378.77	c 1378s |      19 |   754423 |   543282 |    25925     44 |      918 |      880
1380.47/1380.91	c 1380s |      19 |   754960 |   543782 |    25925     44 |      918 |      880
1382.47/1382.97	c 1382s |      19 |   755488 |   544282 |    25925     44 |      918 |      880
1384.57/1385.06	c 1384s |      19 |   756021 |   544782 |    25925     44 |      918 |      880
1387.07/1387.54	c 1387s |      19 |   756667 |   545382 |    25925     44 |      918 |      880
1389.27/1389.72	c 1389s |      19 |   757196 |   545882 |    25925     44 |      918 |      880
1391.57/1392.07	c 1391s |      19 |   757713 |   546382 |    25925     44 |      918 |      880
1393.87/1394.35	c 1394s |      19 |   758258 |   546882 |    25925     44 |      918 |      880
1396.36/1396.80	c 1396s |      19 |   758800 |   547382 |    25925     44 |      918 |      880
1398.36/1398.88	c 1398s |      19 |   759325 |   547882 |    25925     44 |      918 |      880
1400.66/1401.14	c 1400s |      19 |   759858 |   548382 |    25925     44 |      918 |      880
1402.96/1403.46	c 1403s |      19 |   760380 |   548882 |    25925     44 |      918 |      880
1405.26/1405.75	c 1405s |      19 |   760915 |   549382 |    25925     44 |      918 |      880
1407.36/1407.87	c 1407s |      19 |   761328 |   549782 |    25925     44 |      918 |      880
1409.46/1409.92	c 1409s |      19 |   761747 |   550182 |    25925     44 |      918 |      880
1411.86/1412.39	c 1412s |      19 |   762260 |   550682 |    25925     44 |      918 |      880
1414.27/1414.74	c 1414s |      19 |   762785 |   551182 |    25925     44 |      918 |      880
1416.47/1416.93	c 1416s |      19 |   763534 |   551782 |    25925     44 |      918 |      880
1418.47/1418.97	c 1418s |      19 |   764086 |   552282 |    25925     44 |      918 |      880
1420.77/1421.21	c 1420s |      19 |   764620 |   552782 |    25925     45 |      918 |      880
1422.97/1423.44	c 1423s |      19 |   765376 |   553482 |    25925     45 |      918 |      880
1424.97/1425.47	c 1425s |      19 |   766046 |   554082 |    25925     45 |      918 |      880
1427.27/1427.73	c 1427s |      19 |   766940 |   554882 |    25925     45 |      918 |      880
1429.57/1430.00	c 1429s |      19 |   767672 |   555582 |    25925     45 |      918 |      880
1431.77/1432.29	c 1432s |      19 |   768431 |   556282 |    25925     45 |      918 |      880
1433.97/1434.46	c 1434s |      19 |   769187 |   556982 |    25925     45 |      918 |      880
1436.27/1436.78	c 1436s |      19 |   769922 |   557682 |    25925     45 |      918 |      880
1438.47/1438.91	c 1438s |      19 |   770715 |   558382 |    25925     45 |      918 |      880
1440.77/1441.24	c 1440s |      19 |   771488 |   559082 |    25925     45 |      918 |      880
1442.87/1443.32	c 1443s |      19 |   772165 |   559682 |    25925     45 |      918 |      880
1445.17/1445.61	c 1445s |      19 |   772795 |   560282 |    25925     45 |      918 |      880
1447.57/1448.00	c 1447s |      19 |   773435 |   560882 |    25925     45 |      918 |      880
1449.96/1450.40	c 1450s |      19 |   774070 |   561482 |    25925     45 |      918 |      880
1452.06/1452.53	c 1452s |      19 |   774598 |   561982 |    25925     45 |      918 |      880
1454.46/1454.91	c 1454s |      19 |   775121 |   562482 |    25925     45 |      918 |      880
1456.56/1457.08	c 1456s |      19 |   775652 |   562982 |    25925     45 |      918 |      880
1458.76/1459.28	c 1459s |      19 |   776207 |   563482 |    25925     45 |      918 |      880
1460.86/1461.37	c 1461s |      19 |   776762 |   563982 |    25925     45 |      918 |      880
1463.16/1463.61	c 1463s |      19 |   777305 |   564482 |    25925     45 |      918 |      880
1465.46/1465.99	c 1465s |      19 |   777861 |   564982 |    25925     45 |      918 |      880
1467.76/1468.28	c 1468s |      19 |   778407 |   565482 |    25925     45 |      918 |      880
1469.96/1470.45	c 1470s |      19 |   778940 |   565982 |    25925     45 |      918 |      880
1472.36/1472.80	c 1472s |      19 |   779470 |   566482 |    25925     45 |      918 |      880
1474.56/1475.08	c 1474s |      19 |   780017 |   566982 |    25925     45 |      918 |      880
1476.76/1477.25	c 1476s |      19 |   780445 |   567382 |    25925     46 |      918 |      880
1478.96/1479.50	c 1479s |      19 |   781202 |   568082 |    25925     46 |      918 |      880
1481.05/1481.57	c 1481s |      19 |   781856 |   568682 |    25925     46 |      918 |      880
1483.25/1483.75	c 1483s |      19 |   782508 |   569282 |    25925     46 |      918 |      880
1485.25/1485.76	c 1485s |      19 |   783041 |   569782 |    25925     46 |      918 |      880
1487.55/1488.03	c 1487s |      19 |   783688 |   570382 |    25925     46 |      918 |      880
1489.65/1490.15	c 1489s |      19 |   784212 |   570882 |    25925     46 |      918 |      880
1492.05/1492.51	c 1492s |      19 |   784862 |   571482 |    25925     46 |      918 |      880
1494.15/1494.66	c 1494s |      19 |   785513 |   572082 |    25925     46 |      918 |      880
1496.45/1496.96	c 1496s |      19 |   786160 |   572682 |    25925     46 |      918 |      880
1498.95/1499.43	c 1499s |      19 |   786793 |   573282 |    25925     46 |      918 |      880
1501.05/1501.52	c 1501s |      19 |   787317 |   573782 |    25925     46 |      918 |      880
1503.05/1503.58	c 1503s |      19 |   787854 |   574282 |    25925     46 |      918 |      880
1505.15/1505.68	c 1505s |      19 |   788385 |   574782 |    25925     46 |      918 |      880
1507.45/1507.90	c 1507s |      19 |   788912 |   575282 |    25925     46 |      918 |      880
1509.75/1510.24	c 1509s |      19 |   789446 |   575782 |    25925     46 |      918 |      880
1511.85/1512.31	c 1512s |      19 |   789861 |   576182 |    25925     46 |      918 |      880
1514.05/1514.53	c 1514s |      19 |   790276 |   576582 |    25925     46 |      918 |      880
1516.35/1516.86	c 1516s |      19 |   790702 |   576982 |    25925     46 |      918 |      880
1518.75/1519.29	c 1519s |      19 |   791131 |   577382 |    25925     46 |      918 |      880
1521.15/1521.69	c 1521s |      19 |   791652 |   577882 |    25925     46 |      918 |      880
1523.45/1523.98	c 1523s |      19 |   792188 |   578382 |    25925     46 |      918 |      880
1525.75/1526.25	c 1525s |      19 |   792729 |   578882 |    25925     46 |      918 |      880
1528.15/1528.64	c 1528s |      19 |   793275 |   579382 |    25925     46 |      918 |      880
1530.55/1531.07	c 1530s |      19 |   793819 |   579882 |    25925     46 |      918 |      880
1532.75/1533.20	c 1532s |      19 |   794264 |   580282 |    25925     46 |      918 |      880
1535.15/1535.67	c 1535s |      19 |   794802 |   580782 |    25925     46 |      918 |      880
1537.35/1537.80	c 1537s |      19 |   795265 |   581182 |    25925     46 |      918 |      880
1539.45/1539.99	c 1539s |      19 |   795688 |   581582 |    25925     47 |      918 |      880
1541.85/1542.30	c 1542s |      19 |   796453 |   582282 |    25925     47 |      918 |      880
1544.16/1544.64	c 1544s |      19 |   797222 |   582982 |    25925     47 |      918 |      880
1546.25/1546.77	c 1546s |      19 |   797965 |   583682 |    25925     47 |      918 |      880
1548.35/1548.83	c 1548s |      19 |   798596 |   584282 |    25925     47 |      918 |      880
1550.55/1551.01	c 1550s |      19 |   799355 |   584982 |    25925     47 |      918 |      880
1552.65/1553.18	c 1552s |      19 |   800008 |   585582 |    25925     47 |      918 |      880
1554.95/1555.42	c 1555s |      19 |   800782 |   586282 |    25925     47 |      918 |      880
1556.95/1557.45	c 1557s |      19 |   801427 |   586882 |    25925     47 |      918 |      880
1558.95/1559.48	c 1559s |      19 |   802064 |   587482 |    25925     47 |      918 |      880
1561.24/1561.74	c 1561s |      19 |   802711 |   588082 |    25925     47 |      918 |      880
1563.64/1564.16	c 1563s |      19 |   803356 |   588682 |    25925     47 |      918 |      880
1565.94/1566.45	c 1566s |      19 |   803875 |   589182 |    25925     47 |      918 |      880
1568.24/1568.78	c 1568s |      19 |   804547 |   589782 |    25925     47 |      918 |      880
1570.74/1571.25	c 1570s |      19 |   805168 |   590382 |    25925     47 |      918 |      880
1572.94/1573.49	c 1573s |      19 |   805849 |   590982 |    25925     47 |      918 |      880
1575.24/1575.71	c 1575s |      19 |   806366 |   591482 |    25925     47 |      918 |      880
1577.34/1577.83	c 1577s |      19 |   806894 |   591982 |    25925     47 |      918 |      880
1579.74/1580.22	c 1579s |      19 |   807614 |   592582 |    25925     47 |      918 |      880
1581.94/1582.49	c 1582s |      19 |   808264 |   593182 |    25925     47 |      918 |      880
1584.34/1584.87	c 1584s |      19 |   808897 |   593782 |    25925     47 |      918 |      880
1586.64/1587.13	c 1586s |      19 |   809575 |   594382 |    25925     47 |      918 |      880
1588.74/1589.25	c 1588s |      19 |   810366 |   595082 |    25925     47 |      918 |      880
1590.84/1591.30	c 1591s |      19 |   811049 |   595682 |    25925     47 |      918 |      880
1592.94/1593.47	c 1593s |      19 |   811755 |   596282 |    25925     48 |      918 |      880
1595.14/1595.69	c 1595s |      19 |   812648 |   597082 |    25925     48 |      918 |      880
1597.24/1597.70	c 1597s |      19 |   813446 |   597782 |    25925     48 |      918 |      880
1599.34/1599.86	c 1599s |      19 |   814237 |   598482 |    25925     48 |      918 |      880
1601.54/1602.01	c 1601s |      19 |   815168 |   599282 |    25925     48 |      918 |      880
1603.64/1604.13	c 1603s |      19 |   815974 |   599982 |    25925     48 |      918 |      880
1605.93/1606.44	c 1606s |      19 |   816787 |   600682 |    25925     48 |      918 |      880
1608.04/1608.56	c 1608s |      19 |   817442 |   601282 |    25925     48 |      918 |      880
1610.24/1610.73	c 1610s |      19 |   818147 |   601882 |    25925     48 |      918 |      880
1612.34/1612.87	c 1612s |      19 |   818687 |   602382 |    25925     48 |      918 |      880
1614.73/1615.26	c 1615s |      19 |   819344 |   602982 |    25925     48 |      918 |      880
1616.84/1617.36	c 1617s |      19 |   819879 |   603482 |    25925     48 |      918 |      880
1618.94/1619.48	c 1619s |      19 |   820421 |   603982 |    25925     48 |      918 |      880
1621.24/1621.78	c 1621s |      19 |   821064 |   604582 |    25925     48 |      918 |      880
1623.44/1623.93	c 1623s |      19 |   821709 |   605182 |    25925     48 |      918 |      880
1625.43/1625.95	c 1625s |      19 |   822389 |   605782 |    25925     48 |      918 |      880
1627.74/1628.27	c 1628s |      19 |   823088 |   606382 |    25925     48 |      918 |      880
1630.13/1630.68	c 1630s |      19 |   823754 |   606982 |    25925     48 |      918 |      880
1632.24/1632.77	c 1632s |      19 |   824310 |   607482 |    25925     48 |      918 |      880
1634.44/1634.98	c 1634s |      19 |   824847 |   607982 |    25925     48 |      918 |      880
1636.54/1637.10	c 1636s |      19 |   825399 |   608482 |    25925     48 |      918 |      880
1638.74/1639.22	c 1638s |      19 |   825940 |   608982 |    25925     48 |      918 |      880
1640.73/1641.28	c 1641s |      19 |   826491 |   609482 |    25925     48 |      918 |      880
1642.93/1643.43	c 1643s |      19 |   827043 |   609982 |    25925     48 |      918 |      880
1645.53/1646.02	c 1645s |      19 |   827598 |   610482 |    25925     49 |      918 |      880
1647.73/1648.28	c 1648s |      19 |   828374 |   611182 |    25925     49 |      918 |      880
1649.93/1650.40	c 1650s |      19 |   829135 |   611882 |    25925     49 |      918 |      880
1652.03/1652.56	c 1652s |      19 |   829780 |   612482 |    25925     49 |      918 |      880
1654.33/1654.88	c 1654s |      19 |   830529 |   613182 |    25925     49 |      918 |      880
1656.33/1656.90	c 1656s |      19 |   831189 |   613782 |    25925     49 |      918 |      880
1658.63/1659.18	c 1658s |      19 |   831846 |   614382 |    25925     49 |      918 |      880
1660.73/1661.22	c 1660s |      19 |   832385 |   614882 |    25925     49 |      918 |      880
1663.13/1663.60	c 1663s |      19 |   833016 |   615482 |    25925     49 |      918 |      880
1665.23/1665.72	c 1665s |      19 |   833623 |   615982 |    25925     49 |      918 |      880
1667.43/1667.97	c 1667s |      19 |   834472 |   616682 |    25925     49 |      918 |      880
1669.63/1670.13	c 1669s |      19 |   835124 |   617282 |    25925     49 |      918 |      880
1671.73/1672.30	c 1672s |      19 |   835749 |   617882 |    25925     49 |      918 |      880
1673.93/1674.42	c 1674s |      19 |   836419 |   618482 |    25925     49 |      918 |      880
1675.92/1676.47	c 1676s |      19 |   837132 |   619082 |    25925     49 |      918 |      880
1678.12/1678.63	c 1678s |      19 |   837916 |   619782 |    25925     49 |      918 |      880
1680.32/1680.87	c 1680s |      19 |   838703 |   620482 |    25925     49 |      918 |      880
1682.52/1683.01	c 1682s |      19 |   839499 |   621182 |    25925     49 |      918 |      880
1684.72/1685.29	c 1685s |      19 |   840246 |   621882 |    25925     49 |      918 |      880
1687.13/1687.63	c 1687s |      19 |   840906 |   622482 |    25925     49 |      918 |      880
1689.33/1689.88	c 1689s |      19 |   841581 |   623082 |    25925     49 |      918 |      880
1691.32/1691.89	c 1691s |      19 |   842130 |   623582 |    25925     49 |      918 |      880
1693.62/1694.17	c 1693s |      19 |   842827 |   624182 |    25925     49 |      918 |      880
1695.93/1696.48	c 1696s |      19 |   843503 |   624782 |    25925     49 |      918 |      880
1698.13/1698.65	c 1698s |      19 |   844050 |   625282 |    25925     50 |      918 |      880
1700.33/1700.83	c 1700s |      19 |   844958 |   626082 |    25925     50 |      918 |      880
1702.42/1702.95	c 1702s |      19 |   845754 |   626782 |    25925     50 |      918 |      880
1704.73/1705.27	c 1705s |      19 |   846630 |   627582 |    25925     50 |      918 |      880
1706.93/1707.48	c 1707s |      19 |   847402 |   628282 |    25925     50 |      918 |      880
1709.02/1709.54	c 1709s |      19 |   848193 |   628982 |    25925     50 |      918 |      880
1711.32/1711.84	c 1711s |      19 |   848955 |   629682 |    25925     50 |      918 |      880
1713.32/1713.89	c 1713s |      19 |   849644 |   630282 |    25925     50 |      918 |      880
1715.43/1715.94	c 1715s |      19 |   850305 |   630882 |    25925     50 |      918 |      880
1717.52/1718.07	c 1717s |      19 |   851083 |   631582 |    25925     50 |      918 |      880
1719.72/1720.25	c 1719s |      19 |   851735 |   632182 |    25925     50 |      918 |      880
1721.92/1722.43	c 1722s |      19 |   852374 |   632782 |    25925     50 |      918 |      880
1724.02/1724.55	c 1724s |      19 |   852906 |   633282 |    25925     50 |      918 |      880
1726.22/1726.77	c 1726s |      19 |   853567 |   633882 |    25925     50 |      918 |      880
1728.32/1728.89	c 1728s |      19 |   854100 |   634382 |    25925     50 |      918 |      880
1730.52/1731.08	c 1730s |      19 |   854771 |   634982 |    25925     50 |      918 |      880
1732.62/1733.14	c 1732s |      19 |   855454 |   635582 |    25925     50 |      918 |      880
1734.82/1735.34	c 1735s |      19 |   856003 |   636082 |    25925     50 |      918 |      880
1737.12/1737.60	c 1737s |      19 |   856675 |   636682 |    25925     50 |      918 |      880
1739.12/1739.61	c 1739s |      19 |   857227 |   637182 |    25925     50 |      918 |      880
1741.13/1741.64	c 1741s |      19 |   857800 |   637682 |    25925     50 |      918 |      880
1743.52/1744.07	c 1743s |      19 |   858458 |   638282 |    25925     50 |      918 |      880
1745.72/1746.26	c 1746s |      19 |   858990 |   638782 |    25925     50 |      918 |      880
1748.12/1748.62	c 1748s |      19 |   859515 |   639282 |    25925     50 |      918 |      880
1750.22/1750.71	c 1750s |      19 |   859958 |   639682 |    25925     51 |      918 |      880
1752.22/1752.78	c 1752s |      19 |   860613 |   640282 |    25925     51 |      918 |      880
1754.62/1755.12	c 1754s |      19 |   861385 |   640982 |    25925     51 |      918 |      880
1756.72/1757.23	c 1756s |      19 |   862027 |   641582 |    25925     51 |      918 |      880
1758.91/1759.48	c 1759s |      19 |   862781 |   642282 |    25925     51 |      918 |      880
1761.01/1761.59	c 1761s |      19 |   863419 |   642882 |    25925     51 |      918 |      880
1763.21/1763.76	c 1763s |      19 |   864164 |   643582 |    25925     51 |      918 |      880
1765.32/1765.85	c 1765s |      19 |   864805 |   644182 |    25925     51 |      918 |      880
1767.61/1768.12	c 1767s |      19 |   865596 |   644882 |    25925     51 |      918 |      880
1769.62/1770.13	c 1769s |      19 |   866277 |   645482 |    25925     51 |      918 |      880
1771.71/1772.26	c 1772s |      19 |   866937 |   646082 |    25925     51 |      918 |      880
1773.91/1774.43	c 1774s |      19 |   867584 |   646682 |    25925     51 |      918 |      880
1776.11/1776.69	c 1776s |      19 |   868344 |   647382 |    25925     51 |      918 |      880
1778.52/1779.05	c 1778s |      19 |   869091 |   648082 |    25925     51 |      918 |      880
1780.51/1781.09	c 1780s |      19 |   869626 |   648582 |    25925     51 |      918 |      880
1782.82/1783.38	c 1783s |      19 |   870276 |   649182 |    25925     51 |      918 |      880
1785.02/1785.56	c 1785s |      19 |   870923 |   649782 |    25925     51 |      918 |      880
1787.22/1787.79	c 1787s |      19 |   871581 |   650382 |    25925     51 |      918 |      880
1789.61/1790.19	c 1789s |      19 |   872222 |   650982 |    25925     51 |      918 |      880
1791.81/1792.39	c 1792s |      19 |   872755 |   651482 |    25925     51 |      918 |      880
1794.31/1794.84	c 1794s |      19 |   873289 |   651982 |    25925     51 |      918 |      880
1796.51/1797.06	c 1796s |      19 |   873811 |   652482 |    25925     51 |      918 |      880
1798.91/1799.47	c 1799s |      19 |   874345 |   652982 |    25925     51 |      918 |      880

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4116869-1466970378/watcher-4116869-1466970378 -o /tmp/evaluation-result-4116869-1466970378/solver-4116869-1466970378 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466966776-23464 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116869-1466970378.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.23 2.25 3/171 23784
/proc/meminfo: memFree=30352208/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 2791 0 0 0 0 0 0 0 20 0 4 0 30076552 764866560 3151 33554432000 4194304 16246674 140734274035248 140734274034672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 187503 3163 441 2943 0 184397 0
[pid=23784/tid=23785] ppid=23781 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 782692352 3219 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 786886656 3235 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30076552 791080960 3251 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.31 2.23 2.25 3/171 23784
/proc/meminfo: memFree=30352208/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 28275 0 0 0 6 3 0 0 20 0 4 0 30076552 1249447936 28573 33554432000 4194304 16246674 140734274035248 140734274034560 4220491 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 305041 28573 802 2943 0 301935 0
[pid=23784/tid=23785] ppid=23781 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1249447936 28573 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1249447936 28573 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1249447936 28573 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200516 s]
/proc/loadavg: 2.31 2.23 2.25 3/171 23784
/proc/meminfo: memFree=30352208/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 48484 0 0 0 13 6 0 0 20 0 4 0 30076552 1332285440 48782 33554432000 4194304 16246674 140734274035248 140734274017152 12368772 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 325265 48782 843 2943 0 322159 0
[pid=23784/tid=23785] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 48782 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 48782 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 48782 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300445 s]
/proc/loadavg: 2.31 2.23 2.25 3/171 23784
/proc/meminfo: memFree=30352208/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 51245 0 0 0 23 6 0 0 20 0 4 0 30076552 1332285440 51544 33554432000 4194304 16246674 140734274035248 140734274017152 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 325265 51549 883 2943 0 322159 0
[pid=23784/tid=23785] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 51553 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 51556 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 51559 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700413 s]
/proc/loadavg: 2.31 2.23 2.25 3/171 23784
/proc/meminfo: memFree=30352208/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 99309 0 0 0 56 13 0 0 20 0 4 0 30076552 1332285440 99607 33554432000 4194304 16246674 140734274035248 140734274017152 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 325265 99613 883 2943 0 322159 0
[pid=23784/tid=23785] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 99617 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 99620 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 99623 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50057 s]
/proc/loadavg: 2.31 2.23 2.25 4/183 23807
/proc/meminfo: memFree=29184740/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 199970 0 0 0 121 28 0 0 20 0 4 0 30076552 1332285440 200268 33554432000 4194304 16246674 140734274035248 140734274017152 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 325265 200272 883 2943 0 322159 0
[pid=23784/tid=23785] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 200275 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 200277 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1332285440 200280 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.31 2.23 2.25 3/183 23807
/proc/meminfo: memFree=28183556/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 269163 0 0 0 269 40 0 0 20 0 4 0 30076552 1343819776 269461 33554432000 4194304 16246674 140734274035248 140734274017152 12482981 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 328081 269461 889 2943 0 324975 0
[pid=23784/tid=23785] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269461 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269461 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269461 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30036 s]
/proc/loadavg: 2.28 2.23 2.25 3/183 23807
/proc/meminfo: memFree=28182952/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 269269 0 0 0 589 40 0 0 20 0 4 0 30076552 1343819776 269567 33554432000 4194304 16246674 140734274035248 140734274017152 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 328081 269567 890 2943 0 324975 0
[pid=23784/tid=23785] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269567 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269567 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269567 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.26 2.23 2.24 3/183 23807
/proc/meminfo: memFree=28183484/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 269269 0 0 0 1229 40 0 0 20 0 4 0 30076552 1343819776 269567 33554432000 4194304 16246674 140734274035248 140734274017152 12483481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 328081 269567 890 2943 0 324975 0
[pid=23784/tid=23785] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269567 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269567 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269567 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.34 2.25 2.25 3/183 23807
/proc/meminfo: memFree=28184068/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 269272 0 0 0 2509 40 0 0 20 0 4 0 30076552 1343819776 269570 33554432000 4194304 16246674 140734274035248 140734274017152 5717660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 328081 269570 893 2943 0 324975 0
[pid=23784/tid=23785] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269570 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269570 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269570 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.28 2.24 2.25 3/183 23807
/proc/meminfo: memFree=28184080/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 269272 0 0 0 5068 40 0 0 20 0 4 0 30076552 1343819776 269570 33554432000 4194304 16246674 140734274035248 140734274017152 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 328081 269570 893 2943 0 324975 0
[pid=23784/tid=23785] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269570 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269570 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1343819776 269570 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.22 2.23 2.24 3/183 23808
/proc/meminfo: memFree=28170764/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1314372 CPUtime=102.27 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 269785 0 0 0 10186 41 0 0 20 0 4 0 30076552 1345916928 270083 33554432000 4194304 16246674 140734274035248 140734274017152 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 328593 270083 893 2943 0 325487 0
[pid=23784/tid=23785] ppid=23781 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1345916928 270083 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1345916928 270083 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1345916928 270083 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1314372


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

/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.58 2.39 2.30 3/183 23863
/proc/meminfo: memFree=28139480/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1331780 CPUtime=1361.87 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 274510 0 0 0 136140 47 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140734274017152 6842233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 332945 274438 893 2943 0 329839 0
[pid=23784/tid=23785] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.44 2.39 2.30 3/183 23864
/proc/meminfo: memFree=28139456/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1331780 CPUtime=1421.87 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 274510 0 0 0 142139 48 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140734274017152 5823218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 332945 274438 893 2943 0 329839 0
[pid=23784/tid=23785] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.39 2.38 2.30 3/184 23869
/proc/meminfo: memFree=28139652/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1331780 CPUtime=1481.85 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 274510 0 0 0 148137 48 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140734274017152 5824847 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 332945 274438 893 2943 0 329839 0
[pid=23784/tid=23785] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1331780

[startup+1542.3 s]
/proc/loadavg: 2.18 2.32 2.28 3/183 23870
/proc/meminfo: memFree=28138716/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1331780 CPUtime=1541.85 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 274510 0 0 0 154136 49 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140734274017152 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 332945 274438 893 2943 0 329839 0
[pid=23784/tid=23785] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.32 2.33 2.28 3/183 23871
/proc/meminfo: memFree=28138740/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1331780 CPUtime=1601.84 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 274510 0 0 0 160135 49 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140734274017152 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 332945 274438 893 2943 0 329839 0
[pid=23784/tid=23785] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.22 2.30 2.27 3/183 23872
/proc/meminfo: memFree=28138664/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1331780 CPUtime=1661.83 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 274510 0 0 0 166134 49 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140734274017152 5673090 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 332945 274438 893 2943 0 329839 0
[pid=23784/tid=23785] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.15 2.27 2.26 3/183 23873
/proc/meminfo: memFree=28138396/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1331780 CPUtime=1721.82 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 274510 0 0 0 172132 50 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140734274017152 5672184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 332945 274438 893 2943 0 329839 0
[pid=23784/tid=23785] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1331780

[startup+1782.31 s]
/proc/loadavg: 2.15 2.25 2.26 3/182 23874
/proc/meminfo: memFree=28137804/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1331780 CPUtime=1781.82 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 274510 0 0 0 178132 50 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140734274017152 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 332945 274438 893 2943 0 329839 0
[pid=23784/tid=23785] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.24 2.25 3/183 23875
/proc/meminfo: memFree=28137888/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1331780 CPUtime=1800.01 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 274510 0 0 0 179951 50 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140734274017152 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 332945 274438 893 2943 0 329839 0
[pid=23784/tid=23785] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1331780

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.24 2.25 3/183 23875
/proc/meminfo: memFree=28137888/32872528 swapFree=1541156/1696500
[pid=23784] ppid=23781 vsize=1331780 CPUtime=1800.01 cores=1,3,5,7
/proc/23784/stat : 23784 (toysat) R 23781 23784 23447 0 -1 4202496 274510 0 0 0 179951 50 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140734274017152 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23784/statm: 332945 274438 893 2943 0 329839 0
[pid=23784/tid=23785] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23785/stat : 23785 (toysat) S 23781 23784 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178207255792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23784/tid=23787] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23787/stat : 23787 (toysat) S 23781 23784 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178196765936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23784/tid=23788] ppid=23781 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/23784/task/23788/stat : 23788 (toysat) S 23781 23784 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30076552 1363742720 274438 33554432000 4194304 16246674 140734274035248 140178186292400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1331780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.52
CPU system time (s): 0.507922
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.507922
maximum resident set size= 1097752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274510
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= 387
involuntary context switches= 1940

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

The end

Launcher Data 

Begin job on node125 at 2016-06-26 21:46:18
IDJOB=4116869
IDBENCH=109524
IDSOLVER=2542
FILE ID=node125/4116869-1466970378
RUNJOBID= node125-1466966776-23464
PBS_JOBID= 19976375
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= ca96545404dcee2091c8062de7659853
RANDOM SEED=1528368774

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30338824 kB
Buffers:           37896 kB
Cached:            95088 kB
SwapCached:         1736 kB
Active:            79412 kB
Inactive:          57228 kB
Active(anon):       5488 kB
Inactive(anon):      448 kB
Active(file):      73924 kB
Inactive(file):    56780 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       1899944 kB
Mapped:             7236 kB
Shmem:                 0 kB
Slab:             567540 kB
SReclaimable:      11488 kB
SUnreclaim:       556052 kB
KernelStack:        1520 kB
PageTables:         6884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1801368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    356352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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