Trace number 4116757

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.12 1800.53

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-27T00:44:52+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-4116757-1466981092.opb"]
0.00/0.01	c use --random-gen="2021973007 291337280 706351404 2208652175 2967149125 1511235222 3321015988 3879814903 2699829266 3374830443 3979635370 1070580722 2521380288 3810108744 2925653926 2519320523 3544645614 54997179 2205980679 2642696341 1051163887 2528713032 266870133 2940329181 3654210924 2664210363 704307249 3456096361 2582011393 2162496574 706945543 3630987907 2083603039 2673077797 1616026757 1173758724 435322314 3898104933 2623665307 2578005703 2692851150 3131068726 2639859912 2498886480 1608415835 3156466867 1978320560 1311320204 265551771 3043090964 968344048 4115769000 1186717363 1890888795 3170438122 3601551344 2585563157 741795961 729638104 523707949 121504189 3552868152 3900983692 3440037254 1556409394 766645121 1756580251 1256137057 1946027492 1357392432 2449898203 4109332749 1159917629 472478536 4066733570 2429581463 3724445875 3245203380 4122863621 3585805363 484079986 2530476922 2807342715 221935629 1368794247 4200453825 3819161310 1617927397 2847771964 3761259670 1047822051 844484395 1602823375 4010229021 2130203064 3419909634 2710883629 300736334 2678357013 2620399775 1523081118 844790796 1791231442 3446272348 2238505398 3983970882 1196152245 704426427 3303893853 3908677659 1034958048 2910738680 3706166178 1571794992 2647852570 4223054889 2465728161 2150364138 1229822154 2432613990 2952718973 2038248016 943695162 1291635072 1523192164 340249203 4214606715 3930897842 3665881672 2402530877 1669545154 4251541248 3869430831 1369946299 3851447491 586654724 965625368 2234933567 612877591 4139280776 2466324661 3394172149 3242933911 3494802105 2227548088 4263844751 3149951082 3068610105 868922630 1674469200 3806495668 377283605 3449160067 2657401375 3662705158 3373296236 1365335913 167934891 645583788 3659397170 3637981974 1179192134 1247832476 643393855 1522235872 1367971558 1682239714 4163395823 4117545565 3275334713 4132280777 3142306583 240633275 799831971 732324391 1713119582 607676212 1867293828 359964521 3810844994 413554428 3880806683 3091763332 1976251375 683935831 1048013564 4226652285 1116105322 802086111 983773388 1184214306 1646458715 359471689 4161496930 3526977199 3066567756 297600903 22996113 1225721840 2152002615 1092705256 2640456176 4120168791 1143600636 513410474 2980925523 3418372168 1497874986 206211627 3584563344 3488588478 3029321722 2589994285 1204674504 1202927234 857919445 850530772 3924721934 2569860385 3148591904 1587838720 2023420161 918209842 1564040029 4190803477 4254726862 1631132531 2680216808 1386826072 2483589502 3274822126 2191306440 3683848541 2594640019 148174292 59270422 884273909 2836844 3079198614 3199413733 3620464203 3472844959 1207896329 1945460266 2075195082 185336486 1543783658 3177035991 1618346895 464508035 2828238429 2732649093 1237624034 3679601179 1429822887 2170044436 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9520
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      828 |        0
0.29/0.37	c  0.1s |       1 |      492 |      100 |     4565      0 |      828 |      754
0.38/0.48	c  0.2s |       2 |     2181 |      250 |     5022      0 |      828 |      754
0.59/0.62	c  0.3s |       3 |     4340 |      475 |     5525      0 |      828 |      754
0.68/0.94	c  0.7s |       4 |     7105 |      813 |     6078      0 |      828 |      754
1.49/1.58	c  1.3s |       5 |     8771 |     1320 |     6686      0 |      828 |      754
1.99/2.07	c  1.8s |       6 |    14594 |     2081 |     8091      0 |      829 |      754
2.79/2.85	c  2.6s |       7 |    18985 |     3223 |     8901      0 |      830 |      754
4.60/4.69	c  4.4s |       8 |    23318 |     4936 |     9792      0 |      830 |      754
6.69/6.70	c  6.4s |       8 |    26602 |     7236 |     9792      0 |      830 |      754
6.90/6.93	c  6.7s |       9 |    27849 |     7506 |    10772      0 |      830 |      754
8.99/9.01	c  8.7s |       9 |    31568 |     9206 |    10772      0 |      830 |      754
10.99/11.04	c 10.8s |       9 |    33137 |    10506 |    10772      0 |      830 |      754
12.39/12.48	c 12.2s |      10 |    34216 |    11361 |    11850      0 |      830 |      754
14.39/14.50	c 14.2s |      10 |    44983 |    14061 |    11850      0 |      830 |      754
16.49/16.51	c 16.2s |      10 |    47146 |    15461 |    11850      1 |      830 |      754
18.49/18.59	c 18.3s |      10 |    48767 |    16661 |    11850      1 |      830 |      754
19.29/19.32	c 19.0s |      11 |    49387 |    17144 |    13036      1 |      830 |      754
21.29/21.32	c 21.0s |      11 |    52355 |    18644 |    13036      1 |      830 |      754
23.39/23.47	c 23.2s |      11 |    53838 |    20044 |    13036      1 |      830 |      754
25.49/25.59	c 25.3s |      11 |    55468 |    21444 |    13036      1 |      830 |      754
27.69/27.70	c 27.4s |      11 |    56858 |    22644 |    13036      1 |      830 |      754
29.78/29.86	c 29.6s |      11 |    58076 |    23744 |    13036      1 |      830 |      754
31.88/31.94	c 31.7s |      11 |    59211 |    24744 |    13036      2 |      830 |      754
33.78/33.80	c 33.5s |      12 |    60744 |    25819 |    14340      2 |      830 |      754
35.78/35.84	c 35.6s |      12 |    69428 |    28019 |    14340      2 |      830 |      754
37.78/37.86	c 37.6s |      12 |    78280 |    30719 |    14340      2 |      830 |      754
39.98/40.02	c 39.7s |      12 |    81449 |    32719 |    14340      3 |      830 |      754
41.99/42.09	c 41.8s |      12 |    90889 |    35219 |    14340      3 |      830 |      754
44.08/44.10	c 43.8s |      12 |    95660 |    37119 |    14340      3 |      830 |      754
45.88/45.98	c 45.7s |      13 |    99351 |    38832 |    15775      3 |      830 |      754
47.98/48.02	c 47.7s |      13 |   104528 |    40832 |    15775      3 |      830 |      754
50.08/50.15	c 49.9s |      13 |   106953 |    42632 |    15775      3 |      830 |      754
52.18/52.26	c 52.0s |      13 |   108566 |    44132 |    15775      4 |      830 |      754
54.38/54.44	c 54.2s |      13 |   110098 |    45532 |    15775      4 |      830 |      754
56.48/56.53	c 56.3s |      13 |   111498 |    46832 |    15775      4 |      830 |      754
58.68/58.71	c 58.4s |      13 |   112956 |    48132 |    15775      4 |      830 |      754
60.78/60.84	c 60.6s |      13 |   114257 |    49332 |    15775      4 |      830 |      754
62.98/63.03	c 62.8s |      13 |   115459 |    50432 |    15775      4 |      830 |      754
65.08/65.17	c 64.9s |      13 |   116515 |    51432 |    15775      4 |      830 |      754
67.18/67.30	c 67.0s |      13 |   117605 |    52432 |    15775      4 |      830 |      754
69.38/69.46	c 69.2s |      13 |   118725 |    53432 |    15775      5 |      830 |      754
71.48/71.56	c 71.3s |      13 |   119931 |    54532 |    15775      5 |      830 |      754
73.67/73.76	c 73.5s |      13 |   121017 |    55532 |    15775      5 |      830 |      754
75.77/75.87	c 75.6s |      13 |   122132 |    56532 |    15775      5 |      830 |      754
77.97/78.06	c 77.8s |      13 |   123101 |    57432 |    15775      5 |      830 |      754
80.17/80.26	c 80.0s |      13 |   124063 |    58332 |    17353      5 |      830 |      754
80.17/80.29	c 80.0s |      14 |   124083 |    58352 |    17353      5 |      830 |      754
82.27/82.30	c 82.0s |      14 |   130640 |    60152 |    17353      5 |      830 |      754
84.37/84.40	c 84.1s |      14 |   134335 |    61852 |    17353      5 |      830 |      754
86.37/86.45	c 86.2s |      14 |   136390 |    63452 |    17353      5 |      830 |      754
88.47/88.57	c 88.3s |      14 |   138076 |    64852 |    17353      6 |      830 |      754
90.57/90.61	c 90.3s |      14 |   140591 |    66452 |    17353      6 |      830 |      754
92.78/92.80	c 92.5s |      14 |   142048 |    67652 |    17353      6 |      830 |      754
94.89/94.94	c 94.7s |      14 |   143517 |    68852 |    17353      6 |      830 |      754
96.99/97.08	c 96.8s |      14 |   144838 |    69952 |    17353      6 |      830 |      754
99.08/99.14	c 98.9s |      14 |   145876 |    70752 |    17353      6 |      830 |      754
101.08/101.18	c  100s |      14 |   147066 |    71652 |    17353      6 |      830 |      754
103.28/103.30	c  103s |      14 |   148623 |    72552 |    17353      6 |      830 |      754
105.28/105.34	c  105s |      14 |   149453 |    73252 |    17353      6 |      830 |      754
107.48/107.59	c  107s |      14 |   150301 |    73952 |    17353      6 |      830 |      754
109.78/109.86	c  109s |      14 |   150889 |    74452 |    17353      7 |      830 |      754
111.78/111.89	c  111s |      14 |   151336 |    74852 |    17353      7 |      830 |      754
114.98/115.00	c  114s |      14 |   151825 |    75252 |    17353      7 |      830 |      754
117.48/117.52	c  117s |      14 |   152151 |    75552 |    17353      7 |      830 |      754
119.88/119.99	c  119s |      14 |   152475 |    75852 |    17353      7 |      830 |      754
122.18/122.29	c  122s |      14 |   153182 |    76452 |    17353      7 |      830 |      754
124.58/124.60	c  124s |      14 |   153929 |    77052 |    17353      7 |      830 |      754
126.68/126.76	c  126s |      14 |   154563 |    77552 |    17353      7 |      830 |      754
128.88/128.98	c  128s |      14 |   155583 |    78352 |    17353      7 |      830 |      754
130.97/131.00	c  130s |      14 |   156551 |    79152 |    17353      7 |      830 |      754
133.07/133.11	c  132s |      14 |   157090 |    79552 |    17353      7 |      830 |      754
135.37/135.49	c  135s |      14 |   157595 |    79952 |    17353      7 |      830 |      754
137.47/137.57	c  137s |      14 |   157948 |    80252 |    17353      7 |      830 |      754
139.57/139.60	c  139s |      14 |   158540 |    80752 |    17353      7 |      830 |      754
141.67/141.72	c  141s |      14 |   159251 |    81352 |    17353      7 |      830 |      754
143.97/144.01	c  143s |      14 |   159721 |    81752 |    17353      7 |      830 |      754
146.37/146.50	c  146s |      14 |   160046 |    82052 |    17353      7 |      830 |      754
148.87/148.99	c  148s |      14 |   160415 |    82352 |    17353      7 |      830 |      754
151.07/151.17	c  150s |      14 |   160746 |    82652 |    17353      7 |      830 |      754
153.47/153.59	c  153s |      14 |   160965 |    82852 |    17353      7 |      830 |      754
156.07/156.14	c  155s |      14 |   161308 |    83152 |    17353      7 |      830 |      754
158.47/158.56	c  158s |      14 |   161888 |    83652 |    17353      7 |      830 |      754
160.57/160.69	c  160s |      14 |   162228 |    83952 |    17353      7 |      830 |      754
162.87/162.93	c  162s |      14 |   162683 |    84352 |    17353      7 |      830 |      754
165.27/165.36	c  165s |      14 |   163155 |    84752 |    17353      8 |      830 |      754
167.57/167.64	c  167s |      14 |   163836 |    85352 |    17353      8 |      830 |      754
169.77/169.85	c  169s |      14 |   164563 |    85952 |    17353      8 |      830 |      754
171.77/171.89	c  171s |      14 |   165045 |    86352 |    17353      8 |      830 |      754
174.07/174.14	c  173s |      14 |   165623 |    86852 |    17353      8 |      830 |      754
176.27/176.39	c  176s |      14 |   165950 |    87152 |    19089      8 |      830 |      754
178.66/178.70	c  178s |      15 |   166509 |    87632 |    19089      8 |      830 |      754
180.67/180.77	c  180s |      15 |   176361 |    89732 |    19089      8 |      830 |      754
182.87/182.91	c  182s |      15 |   185771 |    92432 |    19089      8 |      830 |      754
184.97/185.05	c  184s |      15 |   187654 |    93732 |    19089      8 |      830 |      754
186.96/187.08	c  186s |      15 |   188519 |    94432 |    19089      8 |      830 |      754
189.06/189.18	c  188s |      15 |   189632 |    95332 |    19089      8 |      830 |      754
191.06/191.19	c  190s |      15 |   190614 |    96132 |    19089      8 |      830 |      754
193.56/193.60	c  193s |      15 |   191425 |    96832 |    19089      9 |      830 |      754
195.56/195.64	c  195s |      15 |   192460 |    97632 |    19089      9 |      830 |      754
197.56/197.65	c  197s |      15 |   193684 |    98532 |    19089      9 |      830 |      754
199.76/199.81	c  199s |      15 |   194937 |    99532 |    19089      9 |      830 |      754
201.96/202.00	c  201s |      15 |   196099 |   100432 |    19089      9 |      830 |      754
204.06/204.10	c  203s |      15 |   197314 |   101332 |    19089      9 |      830 |      754
206.06/206.19	c  205s |      15 |   198749 |   102332 |    19089      9 |      830 |      754
208.06/208.19	c  207s |      15 |   199578 |   103032 |    19089      9 |      830 |      754
210.36/210.42	c  210s |      15 |   200366 |   103732 |    19089      9 |      830 |      754
212.35/212.50	c  212s |      15 |   201179 |   104432 |    19089      9 |      830 |      754
214.66/214.78	c  214s |      15 |   201977 |   105132 |    19089      9 |      830 |      754
216.96/217.07	c  216s |      15 |   202665 |   105732 |    19089      9 |      830 |      754
219.25/219.32	c  219s |      15 |   203389 |   106332 |    19089      9 |      830 |      754
221.45/221.59	c  221s |      15 |   204017 |   106932 |    19089      9 |      830 |      754
223.56/223.69	c  223s |      15 |   204690 |   107532 |    19089      9 |      830 |      754
225.76/225.83	c  225s |      15 |   205245 |   108032 |    19089      9 |      830 |      754
228.05/228.12	c  227s |      15 |   205796 |   108532 |    19089     10 |      830 |      754
230.25/230.33	c  230s |      15 |   206534 |   109132 |    19089     10 |      830 |      754
232.36/232.49	c  232s |      15 |   210370 |   110632 |    19089     10 |      830 |      754
234.56/234.62	c  234s |      15 |   211566 |   111532 |    19089     10 |      830 |      754
236.66/236.72	c  236s |      15 |   213095 |   112632 |    19089     10 |      830 |      754
238.65/238.78	c  238s |      15 |   214235 |   113532 |    19089     10 |      830 |      754
240.85/240.96	c  240s |      15 |   215330 |   114432 |    19089     10 |      830 |      754
243.05/243.16	c  242s |      15 |   216395 |   115332 |    19089     10 |      830 |      754
245.05/245.19	c  244s |      15 |   217842 |   116332 |    19089     10 |      830 |      754
247.15/247.20	c  246s |      15 |   219193 |   117332 |    19089     10 |      830 |      754
249.15/249.24	c  248s |      15 |   220375 |   118232 |    19089     10 |      830 |      754
251.55/251.66	c  251s |      15 |   221747 |   119232 |    19089     11 |      830 |      754
253.65/253.77	c  253s |      15 |   223380 |   120332 |    19089     11 |      830 |      754
255.95/256.06	c  255s |      15 |   224361 |   121132 |    19089     11 |      830 |      754
258.15/258.25	c  257s |      15 |   225483 |   122032 |    19089     11 |      830 |      754
260.35/260.41	c  260s |      15 |   226592 |   122932 |    19089     11 |      830 |      754
262.45/262.54	c  262s |      15 |   227516 |   123732 |    19089     11 |      830 |      754
264.65/264.77	c  264s |      15 |   228526 |   124532 |    19089     11 |      830 |      754
266.65/266.78	c  266s |      15 |   229359 |   125232 |    19089     11 |      830 |      754
268.95/269.08	c  268s |      15 |   230510 |   126132 |    19089     11 |      830 |      754
271.15/271.28	c  271s |      15 |   231531 |   126932 |    19089     11 |      830 |      754
273.45/273.53	c  273s |      15 |   232330 |   127632 |    19089     11 |      830 |      754
275.85/275.91	c  275s |      15 |   233165 |   128332 |    19089     11 |      830 |      754
277.85/277.98	c  277s |      15 |   233841 |   128932 |    19089     11 |      830 |      754
280.15/280.23	c  279s |      15 |   234498 |   129532 |    19089     11 |      830 |      754
282.25/282.37	c  282s |      15 |   235161 |   130132 |    19089     11 |      830 |      754
284.55/284.60	c  284s |      15 |   235709 |   130632 |    19089     12 |      830 |      754
286.65/286.71	c  286s |      15 |   236483 |   131332 |    20998     12 |      830 |      754
287.15/287.27	c  286s |      16 |   236718 |   131552 |    20998     12 |      830 |      754
289.15/289.29	c  289s |      16 |   240856 |   133252 |    20998     12 |      830 |      754
291.25/291.34	c  291s |      16 |   244133 |   135052 |    20998     12 |      830 |      754
293.35/293.41	c  293s |      16 |   246540 |   136752 |    20998     12 |      830 |      754
295.44/295.59	c  295s |      16 |   248006 |   137952 |    20998     12 |      830 |      754
297.54/297.60	c  297s |      16 |   249560 |   139152 |    20998     12 |      830 |      754
299.54/299.62	c  299s |      16 |   251099 |   140352 |    20998     12 |      830 |      754
301.65/301.72	c  301s |      16 |   254403 |   141852 |    20998     12 |      830 |      754
303.64/303.79	c  303s |      16 |   255973 |   143052 |    20998     13 |      830 |      754
305.74/305.87	c  305s |      16 |   257542 |   144252 |    20998     13 |      830 |      754
307.94/308.04	c  307s |      16 |   259534 |   145852 |    20998     13 |      830 |      754
310.14/310.20	c  309s |      16 |   260778 |   147052 |    20998     13 |      830 |      754
312.24/312.32	c  312s |      16 |   262268 |   148352 |    20998     13 |      830 |      754
314.34/314.41	c  314s |      16 |   263798 |   149652 |    20998     13 |      830 |      754
316.34/316.43	c  316s |      16 |   265025 |   150652 |    20998     13 |      830 |      754
318.44/318.50	c  318s |      16 |   266177 |   151652 |    20998     13 |      830 |      754
320.44/320.59	c  320s |      16 |   267196 |   152552 |    20998     13 |      830 |      754
322.54/322.66	c  322s |      16 |   268393 |   153552 |    20998     13 |      830 |      754
324.64/324.71	c  324s |      16 |   269688 |   154552 |    20998     13 |      830 |      754
326.94/327.07	c  326s |      16 |   270709 |   155352 |    20998     14 |      830 |      754
329.14/329.21	c  328s |      16 |   272673 |   156552 |    20998     14 |      830 |      754
331.24/331.33	c  331s |      16 |   274751 |   157952 |    20998     14 |      830 |      754
333.24/333.39	c  333s |      16 |   276226 |   159052 |    20998     14 |      830 |      754
335.54/335.61	c  335s |      16 |   277435 |   160052 |    20998     14 |      830 |      754
337.74/337.85	c  337s |      16 |   278690 |   161052 |    20998     14 |      830 |      754
339.83/339.92	c  339s |      16 |   279858 |   161952 |    20998     14 |      830 |      754
342.04/342.19	c  341s |      16 |   280977 |   162852 |    20998     14 |      830 |      754
344.13/344.27	c  343s |      16 |   282132 |   163752 |    20998     14 |      830 |      754
346.23/346.30	c  346s |      16 |   282904 |   164352 |    20998     14 |      830 |      754
348.53/348.64	c  348s |      16 |   284188 |   165252 |    20998     14 |      830 |      754
350.73/350.87	c  350s |      16 |   285107 |   165952 |    20998     14 |      830 |      754
352.74/352.87	c  352s |      16 |   285985 |   166652 |    20998     14 |      830 |      754
354.84/354.93	c  354s |      16 |   286915 |   167252 |    20998     15 |      830 |      754
356.94/357.04	c  356s |      16 |   288264 |   168252 |    20998     15 |      830 |      754
359.24/359.31	c  359s |      16 |   289567 |   169152 |    20998     15 |      830 |      754
361.44/361.52	c  361s |      16 |   290773 |   170052 |    20998     15 |      830 |      754
363.44/363.52	c  363s |      16 |   291703 |   170852 |    20998     15 |      830 |      754
365.44/365.53	c  365s |      16 |   292646 |   171652 |    20998     15 |      830 |      754
367.54/367.62	c  367s |      16 |   293860 |   172552 |    20998     15 |      830 |      754
369.63/369.77	c  369s |      16 |   295177 |   173552 |    20998     15 |      830 |      754
371.73/371.84	c  371s |      16 |   296358 |   174552 |    20998     15 |      830 |      754
373.93/374.05	c  373s |      16 |   297441 |   175552 |    20998     15 |      830 |      754
375.93/376.06	c  375s |      16 |   298442 |   176352 |    20998     15 |      830 |      754
378.13/378.25	c  377s |      16 |   299579 |   177252 |    20998     15 |      830 |      754
380.13/380.26	c  379s |      16 |   300690 |   178152 |    20998     15 |      830 |      754
382.23/382.38	c  382s |      16 |   301798 |   179052 |    20998     15 |      830 |      754
384.53/384.60	c  384s |      16 |   302890 |   179852 |    20998     16 |      830 |      754
386.63/386.77	c  386s |      16 |   304089 |   180752 |    20998     16 |      830 |      754
388.83/388.92	c  388s |      16 |   305125 |   181652 |    20998     16 |      830 |      754
390.83/390.98	c  390s |      16 |   306075 |   182452 |    20998     16 |      830 |      754
393.03/393.10	c  392s |      16 |   307132 |   183352 |    20998     16 |      830 |      754
395.14/395.21	c  394s |      16 |   308211 |   184152 |    20998     16 |      830 |      754
397.23/397.38	c  397s |      16 |   309008 |   184852 |    20998     16 |      830 |      754
399.63/399.76	c  399s |      16 |   310045 |   185652 |    20998     16 |      830 |      754
401.64/401.79	c  401s |      16 |   311405 |   186652 |    20998     16 |      830 |      754
403.83/403.97	c  403s |      16 |   312725 |   187752 |    20998     16 |      830 |      754
405.93/406.07	c  405s |      16 |   313918 |   188752 |    20998     16 |      830 |      754
408.13/408.23	c  407s |      16 |   315147 |   189752 |    20998     16 |      830 |      754
410.23/410.33	c  410s |      16 |   316260 |   190652 |    20998     16 |      830 |      754
412.23/412.37	c  412s |      16 |   317188 |   191452 |    20998     16 |      830 |      754
414.33/414.41	c  414s |      16 |   318191 |   192252 |    20998     17 |      830 |      754
416.42/416.56	c  416s |      16 |   319205 |   193152 |    20998     17 |      830 |      754
418.52/418.64	c  418s |      16 |   320252 |   194052 |    20998     17 |      830 |      754
420.52/420.68	c  420s |      16 |   321130 |   194852 |    20998     17 |      830 |      754
422.82/422.90	c  422s |      16 |   322397 |   195852 |    20998     17 |      830 |      754
424.83/424.96	c  424s |      16 |   323856 |   196752 |    23098     17 |      830 |      754
425.93/426.05	c  425s |      17 |   325184 |   197432 |    23098     17 |      830 |      754
427.92/428.10	c  427s |      17 |   333023 |   199032 |    23098     17 |      830 |      754
430.02/430.16	c  429s |      17 |   334727 |   200332 |    23098     17 |      830 |      754
432.22/432.38	c  432s |      17 |   337940 |   201732 |    23098     17 |      830 |      754
434.42/434.50	c  434s |      17 |   341151 |   203032 |    23098     17 |      830 |      754
436.62/436.76	c  436s |      17 |   342953 |   204232 |    23098     17 |      830 |      754
438.72/438.89	c  438s |      17 |   344006 |   205132 |    23098     17 |      830 |      754
440.92/441.02	c  440s |      17 |   344852 |   205832 |    23098     18 |      830 |      754
442.92/443.04	c  442s |      17 |   345995 |   206832 |    23098     18 |      830 |      754
445.02/445.17	c  444s |      17 |   347212 |   207832 |    23098     18 |      830 |      754
447.22/447.40	c  447s |      17 |   348349 |   208832 |    23098     18 |      830 |      754
449.52/449.62	c  449s |      17 |   349384 |   209732 |    23098     18 |      830 |      754
451.52/451.67	c  451s |      17 |   350679 |   210732 |    23098     18 |      830 |      754
453.62/453.76	c  453s |      17 |   351708 |   211732 |    23098     18 |      830 |      754
455.62/455.77	c  455s |      17 |   352656 |   212632 |    23098     18 |      830 |      754
457.82/457.93	c  457s |      17 |   353576 |   213532 |    23098     18 |      830 |      754
459.92/460.08	c  459s |      17 |   354510 |   214432 |    23098     18 |      830 |      754
462.12/462.28	c  462s |      17 |   355442 |   215332 |    23098     18 |      830 |      754
464.32/464.45	c  464s |      17 |   356273 |   216132 |    23098     18 |      830 |      754
466.52/466.70	c  466s |      17 |   357100 |   216932 |    23098     18 |      830 |      754
468.82/468.96	c  468s |      17 |   357941 |   217732 |    23098     18 |      830 |      754
470.92/471.03	c  470s |      17 |   358665 |   218432 |    23098     18 |      830 |      754
473.32/473.42	c  473s |      17 |   359388 |   219132 |    23098     19 |      830 |      754
475.32/475.45	c  475s |      17 |   360229 |   219932 |    23098     19 |      830 |      754
477.41/477.54	c  477s |      17 |   361047 |   220732 |    23098     19 |      830 |      754
479.41/479.55	c  479s |      17 |   361761 |   221432 |    23098     19 |      830 |      754
481.61/481.70	c  481s |      17 |   362468 |   222132 |    23098     19 |      830 |      754
483.81/483.92	c  483s |      17 |   363307 |   222932 |    23098     19 |      830 |      754
485.91/486.02	c  485s |      17 |   364031 |   223632 |    23098     19 |      830 |      754
488.01/488.16	c  487s |      17 |   364746 |   224332 |    23098     19 |      830 |      754
490.11/490.23	c  489s |      17 |   365480 |   225032 |    23098     19 |      830 |      754
492.31/492.48	c  492s |      17 |   366308 |   225832 |    23098     19 |      830 |      754
494.51/494.68	c  494s |      17 |   367023 |   226532 |    23098     19 |      830 |      754
496.61/496.72	c  496s |      17 |   367753 |   227232 |    23098     19 |      830 |      754
498.61/498.78	c  498s |      17 |   368372 |   227832 |    23098     19 |      830 |      754
500.81/500.99	c  500s |      17 |   369107 |   228532 |    23098     19 |      830 |      754
502.92/503.03	c  502s |      17 |   369725 |   229132 |    23098     19 |      830 |      754
505.02/505.15	c  504s |      17 |   370356 |   229732 |    23098     19 |      830 |      754
507.11/507.24	c  506s |      17 |   371147 |   230432 |    23098     19 |      830 |      754
509.21/509.38	c  509s |      17 |   372142 |   231232 |    23098     19 |      830 |      754
511.41/511.51	c  511s |      17 |   373166 |   232032 |    23098     19 |      830 |      754
513.61/513.76	c  513s |      17 |   374116 |   232832 |    23098     20 |      830 |      754
515.91/516.08	c  515s |      17 |   375019 |   233632 |    23098     20 |      830 |      754
518.11/518.20	c  517s |      17 |   375666 |   234232 |    23098     20 |      830 |      754
520.31/520.44	c  520s |      17 |   376788 |   235132 |    23098     20 |      830 |      754
522.31/522.49	c  522s |      17 |   377583 |   235832 |    23098     20 |      830 |      754
524.41/524.58	c  524s |      17 |   378417 |   236532 |    23098     20 |      830 |      754
526.70/526.80	c  526s |      17 |   379239 |   237232 |    23098     20 |      830 |      754
528.90/529.04	c  528s |      17 |   380077 |   237932 |    23098     20 |      830 |      754
531.10/531.23	c  530s |      17 |   381020 |   238732 |    23098     20 |      830 |      754
533.20/533.30	c  533s |      17 |   381680 |   239332 |    23098     20 |      830 |      754
535.21/535.34	c  535s |      17 |   382354 |   239932 |    23098     20 |      830 |      754
537.31/537.43	c  537s |      17 |   383186 |   240632 |    23098     20 |      830 |      754
539.41/539.56	c  539s |      17 |   383930 |   241332 |    23098     20 |      830 |      754
541.61/541.79	c  541s |      17 |   384797 |   242132 |    23098     20 |      830 |      754
543.91/544.07	c  543s |      17 |   385539 |   242832 |    23098     20 |      830 |      754
546.21/546.32	c  546s |      17 |   386302 |   243532 |    23098     20 |      830 |      754
548.21/548.32	c  548s |      17 |   386959 |   244132 |    23098     20 |      830 |      754
550.41/550.59	c  550s |      17 |   387694 |   244832 |    23098     20 |      830 |      754
552.61/552.73	c  552s |      17 |   388236 |   245332 |    23098     21 |      830 |      754
554.71/554.82	c  554s |      17 |   389134 |   246132 |    23098     21 |      830 |      754
556.91/557.00	c  556s |      17 |   390011 |   246932 |    23098     21 |      830 |      754
559.01/559.12	c  558s |      17 |   390886 |   247732 |    23098     21 |      830 |      754
561.11/561.22	c  560s |      17 |   391671 |   248432 |    23098     21 |      830 |      754
563.21/563.37	c  563s |      17 |   392338 |   249032 |    23098     21 |      830 |      754
565.31/565.47	c  565s |      17 |   393148 |   249732 |    23098     21 |      830 |      754
567.41/567.52	c  567s |      17 |   393920 |   250432 |    23098     21 |      830 |      754
569.61/569.71	c  569s |      17 |   394689 |   251132 |    23098     21 |      830 |      754
571.81/571.93	c  571s |      17 |   395463 |   251832 |    23098     21 |      830 |      754
574.01/574.11	c  573s |      17 |   396233 |   252532 |    23098     21 |      830 |      754
576.00/576.15	c  575s |      17 |   397090 |   253232 |    23098     21 |      830 |      754
578.10/578.23	c  577s |      17 |   397960 |   254032 |    23098     21 |      830 |      754
580.10/580.27	c  579s |      17 |   398807 |   254832 |    23098     21 |      830 |      754
582.20/582.38	c  582s |      17 |   399661 |   255632 |    23098     21 |      830 |      754
584.50/584.62	c  584s |      17 |   400504 |   256432 |    23098     21 |      830 |      754
586.80/586.90	c  586s |      17 |   401236 |   257132 |    23098     21 |      830 |      754
588.90/589.09	c  588s |      17 |   401971 |   257832 |    23098     21 |      830 |      754
591.70/591.81	c  591s |      17 |   402716 |   258532 |    23098     22 |      830 |      754
593.80/593.93	c  593s |      17 |   403541 |   259332 |    23098     22 |      830 |      754
595.80/595.95	c  595s |      17 |   404368 |   260132 |    23098     22 |      830 |      754
598.00/598.14	c  597s |      17 |   405337 |   261032 |    23098     22 |      830 |      754
600.20/600.31	c  600s |      17 |   406181 |   261832 |    23098     22 |      830 |      754
602.20/602.32	c  602s |      17 |   406911 |   262532 |    23098     22 |      830 |      754
604.20/604.38	c  604s |      17 |   407662 |   263232 |    23098     22 |      830 |      754
606.40/606.60	c  606s |      17 |   408539 |   264032 |    23098     22 |      830 |      754
608.70/608.85	c  608s |      17 |   409415 |   264832 |    23098     22 |      830 |      754
610.90/611.09	c  610s |      17 |   410178 |   265532 |    23098     22 |      830 |      754
613.10/613.20	c  612s |      17 |   410938 |   266232 |    23098     22 |      830 |      754
615.20/615.32	c  615s |      17 |   411698 |   266932 |    23098     22 |      830 |      754
617.50/617.64	c  617s |      17 |   412425 |   267632 |    23098     22 |      830 |      754
619.80/619.90	c  619s |      17 |   413147 |   268332 |    23098     22 |      830 |      754
621.90/622.00	c  621s |      17 |   413769 |   268932 |    23098     22 |      830 |      754
624.00/624.15	c  623s |      17 |   414388 |   269532 |    23098     22 |      830 |      754
626.20/626.32	c  626s |      17 |   415001 |   270132 |    23098     22 |      830 |      754
628.40/628.58	c  628s |      17 |   415615 |   270732 |    23098     22 |      830 |      754
630.50/630.69	c  630s |      17 |   416244 |   271332 |    23098     22 |      830 |      754
632.79/632.95	c  632s |      17 |   416757 |   271832 |    23098     23 |      830 |      754
635.09/635.21	c  634s |      17 |   417602 |   272632 |    23098     23 |      830 |      754
637.29/637.42	c  637s |      17 |   418319 |   273332 |    23098     23 |      830 |      754
639.49/639.65	c  639s |      17 |   419169 |   274132 |    23098     23 |      830 |      754
641.50/641.68	c  641s |      17 |   419895 |   274832 |    23098     23 |      830 |      754
643.60/643.73	c  643s |      17 |   420615 |   275532 |    23098     23 |      830 |      754
645.69/645.83	c  645s |      17 |   421234 |   276132 |    23098     23 |      830 |      754
647.69/647.84	c  647s |      17 |   421863 |   276732 |    23098     23 |      830 |      754
649.79/649.94	c  649s |      17 |   422645 |   277432 |    23098     23 |      830 |      754
651.99/652.12	c  651s |      17 |   423565 |   278232 |    23098     23 |      830 |      754
654.19/654.39	c  654s |      17 |   424458 |   279032 |    23098     23 |      830 |      754
656.29/656.48	c  656s |      17 |   425534 |   279932 |    23098     23 |      830 |      754
658.49/658.64	c  658s |      17 |   426480 |   280732 |    23098     23 |      830 |      754
660.49/660.68	c  660s |      17 |   427319 |   281432 |    23098     23 |      830 |      754
662.69/662.89	c  662s |      17 |   428074 |   282132 |    23098     23 |      830 |      754
664.79/664.98	c  664s |      17 |   428730 |   282732 |    23098     23 |      830 |      754
666.99/667.17	c  666s |      17 |   429386 |   283332 |    23098     23 |      830 |      754
669.29/669.47	c  669s |      17 |   430172 |   284032 |    23098     23 |      830 |      754
671.49/671.65	c  671s |      17 |   430828 |   284632 |    23098     23 |      830 |      754
673.59/673.76	c  673s |      17 |   431365 |   285132 |    23098     24 |      830 |      754
675.79/675.94	c  675s |      17 |   432110 |   285832 |    23098     24 |      830 |      754
677.89/678.04	c  677s |      17 |   433033 |   286632 |    23098     24 |      830 |      754
679.99/680.14	c  679s |      17 |   433827 |   287332 |    23098     24 |      830 |      754
681.99/682.18	c  681s |      17 |   434649 |   288032 |    23098     24 |      830 |      754
684.39/684.59	c  684s |      17 |   435441 |   288732 |    23098     24 |      830 |      754
686.59/686.79	c  686s |      17 |   436080 |   289332 |    23098     24 |      830 |      754
688.79/688.97	c  688s |      17 |   436889 |   290032 |    23098     24 |      830 |      754
690.89/691.09	c  690s |      17 |   437681 |   290732 |    23098     24 |      830 |      754
693.09/693.24	c  692s |      17 |   438335 |   291332 |    23098     24 |      830 |      754
695.18/695.34	c  695s |      17 |   439048 |   291932 |    23098     24 |      830 |      754
697.28/697.46	c  697s |      17 |   439739 |   292532 |    23098     24 |      830 |      754
699.58/699.72	c  699s |      17 |   440377 |   293132 |    23098     24 |      830 |      754
701.78/701.94	c  701s |      17 |   441225 |   293832 |    23098     24 |      830 |      754
704.09/704.26	c  703s |      17 |   442104 |   294532 |    25408     24 |      830 |      754
706.29/706.47	c  706s |      17 |   442814 |   295132 |    25408     24 |      830 |      754
708.38/708.51	c  708s |      17 |   443391 |   295632 |    25408     24 |      830 |      754
710.58/710.75	c  710s |      17 |   443939 |   296132 |    25408     24 |      830 |      754
711.08/711.26	c  710s |      18 |   444070 |   296252 |    25408     24 |      830 |      754
713.58/713.71	c  713s |      18 |   453192 |   298352 |    25408     25 |      830 |      754
715.58/715.79	c  715s |      18 |   457990 |   300452 |    25408     25 |      830 |      754
717.68/717.87	c  717s |      18 |   460143 |   301852 |    25408     25 |      830 |      754
719.88/720.02	c  719s |      18 |   463355 |   303652 |    25408     25 |      830 |      754
721.98/722.16	c  721s |      18 |   465402 |   305052 |    25408     25 |      830 |      754
724.18/724.35	c  724s |      18 |   467093 |   306252 |    25408     25 |      830 |      754
726.28/726.49	c  726s |      18 |   468804 |   307452 |    25408     25 |      830 |      754
728.48/728.63	c  728s |      18 |   470248 |   308552 |    25408     25 |      830 |      754
730.48/730.65	c  730s |      18 |   471246 |   309352 |    25408     25 |      830 |      754
732.78/732.99	c  732s |      18 |   472095 |   310052 |    25408     25 |      830 |      754
734.88/735.10	c  734s |      18 |   473178 |   310852 |    25408     25 |      830 |      754
737.08/737.25	c  736s |      18 |   474399 |   311752 |    25408     25 |      830 |      754
739.28/739.43	c  739s |      18 |   475396 |   312552 |    25408     25 |      830 |      754
741.38/741.57	c  741s |      18 |   476268 |   313252 |    25408     25 |      830 |      754
743.57/743.80	c  743s |      18 |   477033 |   313852 |    25408     26 |      830 |      754
745.77/746.00	c  745s |      18 |   477891 |   314552 |    25408     26 |      830 |      754
748.18/748.31	c  748s |      18 |   478964 |   315452 |    25408     26 |      830 |      754
750.17/750.36	c  750s |      18 |   479798 |   316152 |    25408     26 |      830 |      754
752.17/752.37	c  752s |      18 |   480835 |   316952 |    25408     26 |      830 |      754
754.17/754.37	c  754s |      18 |   481693 |   317652 |    25408     26 |      830 |      754
756.47/756.61	c  756s |      18 |   482707 |   318452 |    25408     26 |      830 |      754
758.67/758.85	c  758s |      18 |   483591 |   319152 |    25408     26 |      830 |      754
760.87/761.05	c  760s |      18 |   484453 |   319852 |    25408     26 |      830 |      754
762.97/763.19	c  762s |      18 |   485196 |   320452 |    25408     26 |      830 |      754
765.17/765.39	c  765s |      18 |   486090 |   321152 |    25408     26 |      830 |      754
767.47/767.61	c  767s |      18 |   486963 |   321852 |    25408     26 |      830 |      754
769.77/769.92	c  769s |      18 |   487892 |   322552 |    25408     26 |      830 |      754
771.97/772.10	c  771s |      18 |   488634 |   323152 |    25408     26 |      830 |      754
774.07/774.21	c  773s |      18 |   489392 |   323752 |    25408     26 |      830 |      754
776.07/776.28	c  776s |      18 |   490144 |   324352 |    25408     26 |      830 |      754
778.38/778.54	c  778s |      18 |   491043 |   325052 |    25408     26 |      830 |      754
780.47/780.61	c  780s |      18 |   491811 |   325652 |    25408     26 |      830 |      754
782.58/782.73	c  782s |      18 |   492565 |   326252 |    25408     26 |      830 |      754
784.87/785.05	c  784s |      18 |   493283 |   326852 |    25408     26 |      830 |      754
787.17/787.35	c  787s |      18 |   494001 |   327452 |    25408     26 |      830 |      754
789.27/789.48	c  789s |      18 |   494752 |   328052 |    25408     26 |      830 |      754
791.57/791.73	c  791s |      18 |   495308 |   328552 |    25408     27 |      830 |      754
793.57/793.77	c  793s |      18 |   496139 |   329252 |    25408     27 |      830 |      754
795.67/795.82	c  795s |      18 |   497083 |   329952 |    25408     27 |      830 |      754
797.77/797.93	c  797s |      18 |   497949 |   330652 |    25408     27 |      830 |      754
799.88/800.02	c  799s |      18 |   498662 |   331252 |    25408     27 |      830 |      754
802.17/802.32	c  802s |      18 |   499474 |   331952 |    25408     27 |      830 |      754
804.57/804.72	c  804s |      18 |   500319 |   332652 |    25408     27 |      830 |      754
806.57/806.77	c  806s |      18 |   501202 |   333352 |    25408     27 |      830 |      754
808.77/808.94	c  808s |      18 |   502134 |   334052 |    25408     27 |      830 |      754
810.77/810.95	c  810s |      18 |   502908 |   334652 |    25408     27 |      830 |      754
812.77/812.97	c  812s |      18 |   503673 |   335252 |    25408     27 |      830 |      754
815.07/815.22	c  814s |      18 |   504443 |   335852 |    25408     27 |      830 |      754
817.07/817.27	c  816s |      18 |   505150 |   336452 |    25408     27 |      830 |      754
819.17/819.39	c  819s |      18 |   505919 |   337052 |    25408     27 |      830 |      754
821.37/821.57	c  821s |      18 |   506720 |   337652 |    25408     27 |      830 |      754
823.57/823.78	c  823s |      18 |   507443 |   338252 |    25408     27 |      830 |      754
825.67/825.88	c  825s |      18 |   508291 |   338852 |    25408     27 |      830 |      754
827.87/828.03	c  827s |      18 |   509119 |   339452 |    25408     27 |      830 |      754
830.17/830.34	c  830s |      18 |   509832 |   340052 |    25408     27 |      830 |      754
832.26/832.49	c  832s |      18 |   510627 |   340652 |    25408     27 |      830 |      754
834.46/834.65	c  834s |      18 |   511422 |   341252 |    25408     27 |      830 |      754
836.86/837.02	c  836s |      18 |   511986 |   341752 |    25408     27 |      830 |      754
839.47/839.69	c  839s |      18 |   512567 |   342252 |    25408     28 |      830 |      754
841.76/841.96	c  841s |      18 |   513729 |   343152 |    25408     28 |      830 |      754
843.77/843.96	c  843s |      18 |   514629 |   343852 |    25408     28 |      830 |      754
845.86/846.01	c  845s |      18 |   515461 |   344552 |    25408     28 |      830 |      754
847.96/848.12	c  847s |      18 |   516346 |   345252 |    25408     28 |      830 |      754
850.16/850.31	c  850s |      18 |   517172 |   345952 |    25408     28 |      830 |      754
852.26/852.49	c  852s |      18 |   518032 |   346652 |    25408     28 |      830 |      754
854.36/854.55	c  854s |      18 |   518696 |   347252 |    25408     28 |      830 |      754
856.46/856.69	c  856s |      18 |   519417 |   347852 |    25408     28 |      830 |      754
858.76/859.00	c  858s |      18 |   520188 |   348452 |    25408     28 |      830 |      754
861.16/861.36	c  861s |      18 |   520873 |   349052 |    25408     28 |      830 |      754
863.46/863.62	c  863s |      18 |   521734 |   349752 |    25408     28 |      830 |      754
865.76/865.91	c  865s |      18 |   522582 |   350452 |    25408     28 |      830 |      754
867.75/867.99	c  867s |      18 |   523143 |   350952 |    25408     28 |      830 |      754
869.95/870.16	c  869s |      18 |   523860 |   351552 |    25408     28 |      830 |      754
872.15/872.30	c  872s |      18 |   524622 |   352152 |    25408     28 |      830 |      754
874.45/874.63	c  874s |      18 |   525341 |   352752 |    25408     28 |      830 |      754
876.76/876.99	c  876s |      18 |   526071 |   353352 |    25408     28 |      830 |      754
878.96/879.18	c  878s |      18 |   526778 |   353952 |    25408     28 |      830 |      754
881.05/881.28	c  881s |      18 |   527345 |   354452 |    25408     28 |      830 |      754
883.15/883.30	c  883s |      18 |   527934 |   354952 |    25408     28 |      830 |      754
885.35/885.51	c  885s |      18 |   528541 |   355452 |    25408     28 |      830 |      754
887.45/887.68	c  887s |      18 |   529099 |   355952 |    25408     28 |      830 |      754
889.85/890.01	c  889s |      18 |   529661 |   356452 |    25408     28 |      830 |      754
891.95/892.15	c  891s |      18 |   530955 |   357152 |    25408     29 |      830 |      754
894.15/894.35	c  894s |      18 |   532602 |   358252 |    25408     29 |      830 |      754
896.35/896.50	c  896s |      18 |   533901 |   359152 |    25408     29 |      830 |      754
898.35/898.58	c  898s |      18 |   535063 |   360052 |    25408     29 |      830 |      754
900.45/900.63	c  900s |      18 |   535988 |   360752 |    25408     29 |      830 |      754
902.55/902.71	c  902s |      18 |   536957 |   361552 |    25408     29 |      830 |      754
904.55/904.75	c  904s |      18 |   537830 |   362252 |    25408     29 |      830 |      754
906.85/907.03	c  906s |      18 |   538886 |   363052 |    25408     29 |      830 |      754
908.95/909.15	c  908s |      18 |   539767 |   363752 |    25408     29 |      830 |      754
911.05/911.27	c  910s |      18 |   541541 |   364852 |    25408     29 |      830 |      754
913.15/913.36	c  913s |      18 |   542673 |   365652 |    25408     29 |      830 |      754
915.35/915.59	c  915s |      18 |   543502 |   366352 |    25408     29 |      830 |      754
917.65/917.87	c  917s |      18 |   544510 |   367152 |    25408     29 |      830 |      754
919.75/919.96	c  919s |      18 |   545346 |   367852 |    25408     29 |      830 |      754
922.04/922.21	c  921s |      18 |   546375 |   368652 |    25408     29 |      830 |      754
924.15/924.37	c  924s |      18 |   547204 |   369352 |    25408     29 |      830 |      754
926.14/926.38	c  926s |      18 |   547965 |   369952 |    25408     29 |      830 |      754
928.14/928.39	c  928s |      18 |   548699 |   370552 |    25408     29 |      830 |      754
930.34/930.59	c  930s |      18 |   549487 |   371152 |    25408     30 |      830 |      754
932.54/932.73	c  932s |      18 |   550864 |   372152 |    25408     30 |      830 |      754
934.54/934.76	c  934s |      18 |   551826 |   372952 |    25408     30 |      830 |      754
936.54/936.78	c  936s |      18 |   552787 |   373752 |    25408     30 |      830 |      754
938.54/938.79	c  938s |      18 |   553750 |   374552 |    25408     30 |      830 |      754
940.84/941.06	c  940s |      18 |   554782 |   375352 |    25408     30 |      830 |      754
943.05/943.28	c  943s |      18 |   555739 |   376152 |    25408     30 |      830 |      754
945.15/945.30	c  945s |      18 |   556495 |   376752 |    25408     30 |      830 |      754
947.26/947.49	c  947s |      18 |   557530 |   377552 |    25408     30 |      830 |      754
949.46/949.64	c  949s |      18 |   558385 |   378252 |    25408     30 |      830 |      754
951.45/951.66	c  951s |      18 |   559122 |   378852 |    25408     30 |      830 |      754
953.76/953.94	c  953s |      18 |   560035 |   379552 |    25408     30 |      830 |      754
956.06/956.25	c  955s |      18 |   560845 |   380252 |    25408     30 |      830 |      754
958.45/958.62	c  958s |      18 |   561545 |   380852 |    25408     30 |      830 |      754
960.65/960.86	c  960s |      18 |   562252 |   381452 |    25408     30 |      830 |      754
962.85/963.08	c  962s |      18 |   563110 |   382152 |    25408     30 |      830 |      754
964.95/965.19	c  964s |      18 |   563787 |   382752 |    25408     30 |      830 |      754
967.05/967.24	c  966s |      18 |   564541 |   383352 |    25408     30 |      830 |      754
969.35/969.55	c  969s |      18 |   565430 |   384052 |    25408     30 |      830 |      754
971.45/971.66	c  971s |      18 |   566032 |   384552 |    25408     30 |      830 |      754
973.45/973.69	c  973s |      18 |   566602 |   385052 |    25408     30 |      830 |      754
975.54/975.71	c  975s |      18 |   567186 |   385552 |    25408     31 |      830 |      754
977.54/977.72	c  977s |      18 |   567883 |   386152 |    25408     31 |      830 |      754
979.54/979.79	c  979s |      18 |   568552 |   386752 |    25408     31 |      830 |      754
981.74/981.97	c  981s |      18 |   569252 |   387352 |    25408     31 |      830 |      754
984.04/984.28	c  984s |      18 |   570114 |   388052 |    25408     31 |      830 |      754
986.24/986.42	c  986s |      18 |   571170 |   388852 |    25408     31 |      830 |      754
988.34/988.53	c  988s |      18 |   572259 |   389652 |    25408     31 |      830 |      754
990.54/990.75	c  990s |      18 |   573116 |   390352 |    25408     31 |      830 |      754
992.64/992.83	c  992s |      18 |   574034 |   391052 |    25408     31 |      830 |      754
994.64/994.85	c  994s |      18 |   574957 |   391752 |    25408     31 |      830 |      754
996.75/996.96	c  996s |      18 |   575684 |   392352 |    25408     31 |      830 |      754
999.04/999.23	c  998s |      18 |   576512 |   393052 |    25408     31 |      830 |      754
1001.04/1001.30	c 1001s |      18 |   577246 |   393652 |    25408     31 |      830 |      754
1003.34/1003.51	c 1003s |      18 |   577995 |   394252 |    25408     31 |      830 |      754
1005.44/1005.64	c 1005s |      18 |   578951 |   394952 |    25408     31 |      830 |      754
1007.54/1007.77	c 1007s |      18 |   579514 |   395452 |    25408     31 |      830 |      754
1009.64/1009.84	c 1009s |      18 |   580179 |   396052 |    25408     31 |      830 |      754
1011.64/1011.89	c 1011s |      18 |   580743 |   396552 |    25408     31 |      830 |      754
1014.03/1014.21	c 1013s |      18 |   581603 |   397252 |    25408     31 |      830 |      754
1016.03/1016.21	c 1015s |      18 |   582184 |   397752 |    25408     31 |      830 |      754
1018.43/1018.61	c 1018s |      18 |   582918 |   398352 |    25408     31 |      830 |      754
1020.43/1020.61	c 1020s |      18 |   583523 |   398852 |    25408     31 |      830 |      754
1022.53/1022.79	c 1022s |      18 |   584209 |   399352 |    25408     32 |      830 |      754
1024.83/1025.03	c 1024s |      18 |   585136 |   400152 |    25408     32 |      830 |      754
1026.83/1027.07	c 1026s |      18 |   585938 |   400852 |    25408     32 |      830 |      754
1028.93/1029.17	c 1028s |      18 |   586896 |   401652 |    25408     32 |      830 |      754
1030.93/1031.18	c 1030s |      18 |   587640 |   402252 |    25408     32 |      830 |      754
1033.23/1033.41	c 1033s |      18 |   588477 |   402952 |    25408     32 |      830 |      754
1035.23/1035.49	c 1035s |      18 |   589539 |   403752 |    25408     32 |      830 |      754
1037.33/1037.55	c 1037s |      18 |   590402 |   404452 |    25408     32 |      830 |      754
1039.43/1039.64	c 1039s |      18 |   591308 |   405152 |    25408     32 |      830 |      754
1041.43/1041.67	c 1041s |      18 |   592207 |   405852 |    25408     32 |      830 |      754
1043.43/1043.69	c 1043s |      18 |   592896 |   406452 |    25408     32 |      830 |      754
1045.63/1045.85	c 1045s |      18 |   593794 |   407152 |    25408     32 |      830 |      754
1047.83/1048.03	c 1047s |      18 |   594656 |   407852 |    25408     32 |      830 |      754
1050.13/1050.33	c 1050s |      18 |   595485 |   408552 |    25408     32 |      830 |      754
1052.33/1052.51	c 1052s |      18 |   596190 |   409152 |    25408     32 |      830 |      754
1054.42/1054.60	c 1054s |      18 |   596916 |   409752 |    25408     32 |      830 |      754
1056.43/1056.68	c 1056s |      18 |   597623 |   410352 |    25408     32 |      830 |      754
1058.73/1058.97	c 1058s |      18 |   598310 |   410952 |    25408     32 |      830 |      754
1061.03/1061.21	c 1060s |      18 |   599038 |   411552 |    25408     32 |      830 |      754
1063.23/1063.41	c 1063s |      18 |   599779 |   412152 |    25408     32 |      830 |      754
1065.53/1065.73	c 1065s |      18 |   600482 |   412752 |    25408     32 |      830 |      754
1067.53/1067.76	c 1067s |      18 |   601090 |   413252 |    25408     32 |      830 |      754
1070.03/1070.25	c 1069s |      18 |   601707 |   413752 |    25408     33 |      830 |      754
1072.13/1072.37	c 1072s |      18 |   602621 |   414452 |    25408     33 |      830 |      754
1074.53/1074.70	c 1074s |      18 |   603425 |   415152 |    25408     33 |      830 |      754
1076.63/1076.87	c 1076s |      18 |   604284 |   415852 |    25408     33 |      830 |      754
1078.83/1079.02	c 1078s |      18 |   604974 |   416452 |    25408     33 |      830 |      754
1080.83/1081.05	c 1080s |      18 |   605788 |   417052 |    25408     33 |      830 |      754
1082.93/1083.17	c 1082s |      18 |   606814 |   417852 |    25408     33 |      830 |      754
1085.03/1085.26	c 1084s |      18 |   607700 |   418552 |    25408     33 |      830 |      754
1087.23/1087.43	c 1087s |      18 |   608566 |   419252 |    25408     33 |      830 |      754
1089.53/1089.74	c 1089s |      18 |   609454 |   419952 |    25408     33 |      830 |      754
1091.53/1091.78	c 1091s |      18 |   610174 |   420552 |    25408     33 |      830 |      754
1093.93/1094.16	c 1093s |      18 |   611109 |   421252 |    25408     33 |      830 |      754
1096.13/1096.32	c 1096s |      18 |   611852 |   421852 |    25408     33 |      830 |      754
1098.43/1098.65	c 1098s |      18 |   612714 |   422552 |    25408     33 |      830 |      754
1100.63/1100.87	c 1100s |      18 |   613492 |   423152 |    25408     33 |      830 |      754
1102.82/1103.06	c 1102s |      18 |   614251 |   423752 |    25408     33 |      830 |      754
1104.92/1105.11	c 1104s |      18 |   614974 |   424352 |    25408     33 |      830 |      754
1107.02/1107.22	c 1106s |      18 |   615535 |   424852 |    25408     33 |      830 |      754
1109.22/1109.42	c 1109s |      18 |   616452 |   425452 |    25408     33 |      830 |      754
1111.52/1111.75	c 1111s |      18 |   617432 |   426152 |    25408     33 |      830 |      754
1113.62/1113.88	c 1113s |      18 |   618184 |   426752 |    25408     33 |      830 |      754
1115.92/1116.17	c 1115s |      18 |   618964 |   427352 |    25408     33 |      830 |      754
1118.02/1118.20	c 1117s |      18 |   619601 |   427852 |    25408     33 |      830 |      754
1120.02/1120.29	c 1120s |      18 |   620228 |   428352 |    25408     34 |      830 |      754
1122.22/1122.40	c 1122s |      18 |   621108 |   429052 |    25408     34 |      830 |      754
1124.52/1124.71	c 1124s |      18 |   622116 |   429852 |    25408     34 |      830 |      754
1126.82/1127.01	c 1126s |      18 |   622946 |   430552 |    25408     34 |      830 |      754
1129.02/1129.26	c 1128s |      18 |   623829 |   431252 |    25408     34 |      830 |      754
1131.32/1131.57	c 1131s |      18 |   624698 |   431952 |    25408     34 |      830 |      754
1133.42/1133.63	c 1133s |      18 |   625428 |   432552 |    25408     34 |      830 |      754
1135.42/1135.67	c 1135s |      18 |   626121 |   433152 |    25408     34 |      830 |      754
1137.42/1137.67	c 1137s |      18 |   626810 |   433752 |    25408     34 |      830 |      754
1139.72/1139.93	c 1139s |      18 |   627520 |   434352 |    25408     34 |      830 |      754
1141.71/1141.95	c 1141s |      18 |   628253 |   434952 |    25408     34 |      830 |      754
1144.02/1144.24	c 1143s |      18 |   628945 |   435552 |    25408     34 |      830 |      754
1146.11/1146.35	c 1146s |      18 |   629780 |   436252 |    25408     34 |      830 |      754
1148.31/1148.51	c 1148s |      18 |   630482 |   436852 |    25408     34 |      830 |      754
1150.41/1150.62	c 1150s |      18 |   631286 |   437452 |    25408     34 |      830 |      754
1152.41/1152.67	c 1152s |      18 |   632061 |   438052 |    25408     34 |      830 |      754
1154.71/1154.99	c 1154s |      18 |   632788 |   438652 |    25408     34 |      830 |      754
1157.11/1157.37	c 1157s |      18 |   633545 |   439252 |    25408     34 |      830 |      754
1159.42/1159.62	c 1159s |      18 |   634290 |   439852 |    25408     34 |      830 |      754
1161.51/1161.72	c 1161s |      18 |   634915 |   440352 |    25408     34 |      830 |      754
1163.92/1164.13	c 1163s |      18 |   635648 |   440952 |    25408     34 |      830 |      754
1166.21/1166.46	c 1166s |      18 |   636419 |   441552 |    27949     34 |      830 |      754
1168.41/1168.67	c 1168s |      18 |   637015 |   442052 |    27949     34 |      830 |      754
1170.61/1170.80	c 1170s |      18 |   637584 |   442552 |    27949     34 |      830 |      754
1172.91/1173.20	c 1172s |      18 |   638176 |   443052 |    27949     34 |      830 |      754
1175.21/1175.42	c 1175s |      18 |   638780 |   443552 |    27949     34 |      830 |      754
1177.61/1177.89	c 1177s |      18 |   639336 |   444052 |    27949     34 |      830 |      754
1179.21/1179.44	c 1179s |      19 |   639865 |   444482 |    27949     34 |      830 |      754
1181.21/1181.48	c 1181s |      19 |   643893 |   445282 |    27949     35 |      830 |      754
1183.21/1183.49	c 1183s |      19 |   654723 |   447782 |    27949     35 |      830 |      754
1185.31/1185.54	c 1185s |      19 |   659792 |   450082 |    27949     35 |      830 |      754
1187.40/1187.65	c 1187s |      19 |   662388 |   451782 |    27949     35 |      830 |      754
1189.51/1189.75	c 1189s |      19 |   664786 |   453282 |    27949     35 |      830 |      754
1191.50/1191.77	c 1191s |      19 |   667401 |   454682 |    27949     35 |      830 |      754
1193.61/1193.83	c 1193s |      19 |   668786 |   455782 |    27949     35 |      830 |      754
1195.71/1195.95	c 1195s |      19 |   670042 |   456782 |    27949     35 |      830 |      754
1197.91/1198.17	c 1197s |      19 |   671046 |   457682 |    27949     35 |      830 |      754
1200.00/1200.21	c 1199s |      19 |   671906 |   458482 |    27949     35 |      830 |      754
1202.20/1202.46	c 1202s |      19 |   672877 |   459282 |    27949     35 |      830 |      754
1204.20/1204.49	c 1204s |      19 |   673837 |   460082 |    27949     35 |      830 |      754
1206.20/1206.49	c 1206s |      19 |   674409 |   460582 |    27949     36 |      830 |      754
1208.40/1208.60	c 1208s |      19 |   675375 |   461382 |    27949     36 |      830 |      754
1210.50/1210.75	c 1210s |      19 |   676524 |   462282 |    27949     36 |      830 |      754
1212.50/1212.78	c 1212s |      19 |   677932 |   463282 |    27949     36 |      830 |      754
1214.60/1214.82	c 1214s |      19 |   679142 |   464182 |    27949     36 |      830 |      754
1216.62/1216.87	c 1216s |      19 |   680167 |   464982 |    27949     36 |      830 |      754
1218.91/1219.16	c 1218s |      19 |   681151 |   465782 |    27949     36 |      830 |      754
1220.91/1221.19	c 1220s |      19 |   682064 |   466482 |    27949     36 |      830 |      754
1223.11/1223.31	c 1223s |      19 |   682860 |   467182 |    27949     36 |      830 |      754
1225.31/1225.53	c 1225s |      19 |   683671 |   467882 |    27949     36 |      830 |      754
1227.51/1227.75	c 1227s |      19 |   684482 |   468582 |    27949     36 |      830 |      754
1229.61/1229.87	c 1229s |      19 |   685153 |   469182 |    27949     36 |      830 |      754
1231.81/1232.01	c 1231s |      19 |   685837 |   469782 |    27949     36 |      830 |      754
1234.01/1234.23	c 1233s |      19 |   686527 |   470382 |    27949     36 |      830 |      754
1236.31/1236.56	c 1236s |      19 |   687198 |   470982 |    27949     36 |      830 |      754
1238.71/1238.92	c 1238s |      19 |   687893 |   471582 |    27949     36 |      830 |      754
1240.81/1241.08	c 1240s |      19 |   688586 |   472182 |    27949     36 |      830 |      754
1243.20/1243.47	c 1243s |      19 |   689278 |   472782 |    27949     36 |      830 |      754
1245.50/1245.72	c 1245s |      19 |   690001 |   473382 |    27949     36 |      830 |      754
1247.70/1247.98	c 1247s |      19 |   690573 |   473882 |    27949     36 |      830 |      754
1249.90/1250.13	c 1249s |      19 |   691157 |   474382 |    27949     36 |      830 |      754
1252.00/1252.25	c 1251s |      19 |   691715 |   474882 |    27949     36 |      830 |      754
1254.30/1254.55	c 1254s |      19 |   692258 |   475382 |    27949     36 |      830 |      754
1256.70/1256.96	c 1256s |      19 |   692818 |   475882 |    27949     36 |      830 |      754
1258.80/1259.08	c 1258s |      19 |   693282 |   476282 |    27949     37 |      830 |      754
1261.00/1261.29	c 1261s |      19 |   694143 |   476982 |    27949     37 |      830 |      754
1263.20/1263.47	c 1263s |      19 |   694783 |   477582 |    27949     37 |      830 |      754
1265.20/1265.47	c 1265s |      19 |   695740 |   478282 |    27949     37 |      830 |      754
1267.30/1267.57	c 1267s |      19 |   696645 |   478982 |    27949     37 |      830 |      754
1269.40/1269.61	c 1269s |      19 |   697462 |   479682 |    27949     37 |      830 |      754
1271.60/1271.83	c 1271s |      19 |   698512 |   480482 |    27949     37 |      830 |      754
1273.60/1273.87	c 1273s |      19 |   700003 |   481482 |    27949     37 |      830 |      754
1275.70/1275.90	c 1275s |      19 |   701046 |   482282 |    27949     37 |      830 |      754
1277.90/1278.10	c 1277s |      19 |   702040 |   483082 |    27949     37 |      830 |      754
1280.20/1280.44	c 1280s |      19 |   703030 |   483882 |    27949     37 |      830 |      754
1282.40/1282.65	c 1282s |      19 |   703837 |   484582 |    27949     37 |      830 |      754
1284.50/1284.74	c 1284s |      19 |   704654 |   485282 |    27949     37 |      830 |      754
1286.80/1287.07	c 1286s |      19 |   705484 |   485982 |    27949     37 |      830 |      754
1288.89/1289.10	c 1288s |      19 |   706192 |   486582 |    27949     37 |      830 |      754
1291.09/1291.35	c 1291s |      19 |   706872 |   487182 |    27949     37 |      830 |      754
1293.39/1293.62	c 1293s |      19 |   707411 |   487682 |    27949     37 |      830 |      754
1295.49/1295.70	c 1295s |      19 |   707986 |   488182 |    27949     37 |      830 |      754
1297.79/1298.01	c 1297s |      19 |   708683 |   488782 |    27949     37 |      830 |      754
1299.89/1300.17	c 1299s |      19 |   709407 |   489382 |    27949     37 |      830 |      754
1302.09/1302.30	c 1302s |      19 |   710113 |   489982 |    27949     37 |      830 |      754
1304.29/1304.57	c 1304s |      19 |   710822 |   490582 |    27949     37 |      830 |      754
1306.49/1306.70	c 1306s |      19 |   711529 |   491182 |    27949     37 |      830 |      754
1308.69/1308.99	c 1308s |      19 |   712231 |   491782 |    27949     37 |      830 |      754
1310.79/1311.03	c 1310s |      19 |   712690 |   492182 |    27949     38 |      830 |      754
1313.09/1313.30	c 1313s |      19 |   713493 |   492882 |    27949     38 |      830 |      754
1315.09/1315.32	c 1315s |      19 |   714184 |   493482 |    27949     38 |      830 |      754
1317.29/1317.58	c 1317s |      19 |   714999 |   494182 |    27949     38 |      830 |      754
1319.39/1319.63	c 1319s |      19 |   715747 |   494782 |    27949     38 |      830 |      754
1321.39/1321.67	c 1321s |      19 |   716622 |   495482 |    27949     38 |      830 |      754
1323.69/1323.95	c 1323s |      19 |   717439 |   496182 |    27949     38 |      830 |      754
1325.79/1326.04	c 1325s |      19 |   718246 |   496882 |    27949     38 |      830 |      754
1327.79/1328.04	c 1327s |      19 |   718965 |   497482 |    27949     38 |      830 |      754
1329.78/1330.08	c 1329s |      19 |   719661 |   498082 |    27949     38 |      830 |      754
1331.89/1332.11	c 1331s |      19 |   720355 |   498682 |    27949     38 |      830 |      754
1334.09/1334.30	c 1334s |      19 |   721012 |   499282 |    27949     38 |      830 |      754
1336.28/1336.55	c 1336s |      19 |   721695 |   499882 |    27949     38 |      830 |      754
1338.48/1338.76	c 1338s |      19 |   722402 |   500482 |    27949     38 |      830 |      754
1340.78/1341.07	c 1340s |      19 |   723103 |   501082 |    27949     38 |      830 |      754
1343.09/1343.32	c 1343s |      19 |   723830 |   501682 |    27949     38 |      830 |      754
1345.18/1345.45	c 1345s |      19 |   724532 |   502282 |    27949     38 |      830 |      754
1347.38/1347.61	c 1347s |      19 |   725237 |   502882 |    27949     38 |      830 |      754
1349.69/1349.93	c 1349s |      19 |   725923 |   503482 |    27949     38 |      830 |      754
1351.78/1352.00	c 1351s |      19 |   726488 |   503982 |    27949     38 |      830 |      754
1353.98/1354.22	c 1353s |      19 |   727027 |   504482 |    27949     38 |      830 |      754
1356.08/1356.32	c 1356s |      19 |   727602 |   504982 |    27949     38 |      830 |      754
1358.18/1358.47	c 1358s |      19 |   728170 |   505482 |    27949     38 |      830 |      754
1360.58/1360.82	c 1360s |      19 |   728871 |   506082 |    27949     38 |      830 |      754
1362.58/1362.88	c 1362s |      19 |   729426 |   506582 |    27949     38 |      830 |      754
1364.88/1365.17	c 1364s |      19 |   730153 |   507182 |    27949     38 |      830 |      754
1367.98/1368.24	c 1367s |      19 |   730725 |   507682 |    27949     39 |      830 |      754
1370.18/1370.46	c 1370s |      19 |   731391 |   508282 |    27949     39 |      830 |      754
1372.28/1372.58	c 1372s |      19 |   732046 |   508882 |    27949     39 |      830 |      754
1374.38/1374.69	c 1374s |      19 |   732740 |   509482 |    27949     39 |      830 |      754
1376.67/1376.91	c 1376s |      19 |   733425 |   510082 |    27949     39 |      830 |      754
1378.67/1378.99	c 1378s |      19 |   734109 |   510682 |    27949     39 |      830 |      754
1381.07/1381.32	c 1381s |      19 |   734948 |   511382 |    27949     39 |      830 |      754
1383.37/1383.69	c 1383s |      19 |   735610 |   511982 |    27949     39 |      830 |      754
1385.47/1385.79	c 1385s |      19 |   736297 |   512582 |    27949     39 |      830 |      754
1387.57/1387.83	c 1387s |      19 |   737009 |   513182 |    27949     39 |      830 |      754
1389.77/1390.01	c 1389s |      19 |   737664 |   513782 |    27949     39 |      830 |      754
1391.96/1392.22	c 1391s |      19 |   738362 |   514382 |    27949     39 |      830 |      754
1393.97/1394.26	c 1393s |      19 |   739212 |   514982 |    27949     39 |      830 |      754
1396.16/1396.42	c 1396s |      19 |   739901 |   515582 |    27949     39 |      830 |      754
1398.46/1398.71	c 1398s |      19 |   740746 |   516282 |    27949     39 |      830 |      754
1400.46/1400.77	c 1400s |      19 |   741608 |   516982 |    27949     39 |      830 |      754
1402.76/1403.07	c 1402s |      19 |   742453 |   517682 |    27949     39 |      830 |      754
1404.96/1405.28	c 1405s |      19 |   743196 |   518282 |    27949     39 |      830 |      754
1407.26/1407.51	c 1407s |      19 |   743892 |   518882 |    27949     39 |      830 |      754
1409.36/1409.64	c 1409s |      19 |   744647 |   519482 |    27949     39 |      830 |      754
1411.46/1411.79	c 1411s |      19 |   745425 |   520082 |    27949     39 |      830 |      754
1413.66/1413.98	c 1413s |      19 |   746013 |   520582 |    27949     39 |      830 |      754
1415.86/1416.10	c 1415s |      19 |   746581 |   521082 |    27949     39 |      830 |      754
1417.87/1418.16	c 1417s |      19 |   747161 |   521582 |    27949     39 |      830 |      754
1420.26/1420.57	c 1420s |      19 |   747742 |   522082 |    27949     39 |      830 |      754
1422.56/1422.87	c 1422s |      19 |   748295 |   522582 |    27949     39 |      830 |      754
1424.56/1424.87	c 1424s |      19 |   748752 |   522982 |    27949     39 |      830 |      754
1426.56/1426.89	c 1426s |      19 |   749073 |   523282 |    27949     40 |      830 |      754
1428.76/1429.00	c 1428s |      19 |   749786 |   523882 |    27949     40 |      830 |      754
1430.86/1431.10	c 1430s |      19 |   750449 |   524482 |    27949     40 |      830 |      754
1432.95/1433.25	c 1432s |      19 |   751131 |   525082 |    27949     40 |      830 |      754
1435.05/1435.34	c 1435s |      19 |   751845 |   525682 |    27949     40 |      830 |      754
1437.25/1437.50	c 1437s |      19 |   752560 |   526282 |    27949     40 |      830 |      754
1439.35/1439.67	c 1439s |      19 |   753403 |   526982 |    27949     40 |      830 |      754
1441.55/1441.84	c 1441s |      19 |   754267 |   527682 |    27949     40 |      830 |      754
1443.95/1444.26	c 1443s |      19 |   755088 |   528382 |    27949     40 |      830 |      754
1446.15/1446.46	c 1446s |      19 |   755913 |   529082 |    27949     40 |      830 |      754
1448.34/1448.62	c 1448s |      19 |   756727 |   529782 |    27949     40 |      830 |      754
1450.34/1450.66	c 1450s |      19 |   757443 |   530382 |    27949     40 |      830 |      754
1452.44/1452.75	c 1452s |      19 |   758162 |   530982 |    27949     40 |      830 |      754
1454.54/1454.82	c 1454s |      19 |   758914 |   531582 |    27949     40 |      830 |      754
1456.74/1457.05	c 1456s |      19 |   759614 |   532182 |    27949     40 |      830 |      754
1458.94/1459.27	c 1458s |      19 |   760308 |   532782 |    27949     40 |      830 |      754
1461.34/1461.61	c 1461s |      19 |   761031 |   533382 |    27949     40 |      830 |      754
1463.34/1463.66	c 1463s |      19 |   761741 |   533982 |    27949     40 |      830 |      754
1465.74/1466.00	c 1465s |      19 |   762468 |   534582 |    27949     40 |      830 |      754
1467.94/1468.25	c 1467s |      19 |   763161 |   535182 |    27949     40 |      830 |      754
1470.24/1470.50	c 1470s |      19 |   763866 |   535782 |    27949     40 |      830 |      754
1472.53/1472.81	c 1472s |      19 |   764527 |   536382 |    27949     40 |      830 |      754
1474.53/1474.89	c 1474s |      19 |   765083 |   536882 |    27949     40 |      830 |      754
1477.03/1477.32	c 1477s |      19 |   765814 |   537482 |    27949     40 |      830 |      754
1479.33/1479.70	c 1479s |      19 |   766387 |   537982 |    27949     40 |      830 |      754
1481.74/1482.03	c 1481s |      19 |   767082 |   538582 |    27949     40 |      830 |      754
1484.03/1484.30	c 1484s |      19 |   767528 |   538982 |    27949     41 |      830 |      754
1486.14/1486.41	c 1486s |      19 |   768207 |   539582 |    27949     41 |      830 |      754
1488.23/1488.60	c 1488s |      19 |   768878 |   540182 |    27949     41 |      830 |      754
1490.33/1490.68	c 1490s |      19 |   769588 |   540782 |    27949     41 |      830 |      754
1492.43/1492.73	c 1492s |      19 |   770311 |   541382 |    27949     41 |      830 |      754
1494.53/1494.85	c 1494s |      19 |   770992 |   541982 |    27949     41 |      830 |      754
1496.63/1496.93	c 1496s |      19 |   771688 |   542582 |    27949     41 |      830 |      754
1498.64/1498.97	c 1498s |      19 |   772374 |   543182 |    27949     41 |      830 |      754
1500.63/1500.97	c 1500s |      19 |   773056 |   543782 |    27949     41 |      830 |      754
1502.83/1503.11	c 1502s |      19 |   773732 |   544382 |    27949     41 |      830 |      754
1505.03/1505.38	c 1505s |      19 |   774414 |   544982 |    27949     41 |      830 |      754
1507.23/1507.57	c 1507s |      19 |   775078 |   545582 |    27949     41 |      830 |      754
1509.43/1509.76	c 1509s |      19 |   775759 |   546182 |    27949     41 |      830 |      754
1511.44/1511.79	c 1511s |      19 |   776324 |   546682 |    27949     41 |      830 |      754
1513.83/1514.11	c 1513s |      19 |   776983 |   547282 |    27949     41 |      830 |      754
1516.23/1516.51	c 1516s |      19 |   777682 |   547882 |    27949     41 |      830 |      754
1518.53/1518.80	c 1518s |      19 |   778248 |   548382 |    27949     41 |      830 |      754
1520.83/1521.11	c 1520s |      19 |   778822 |   548882 |    27949     41 |      830 |      754
1523.03/1523.33	c 1523s |      19 |   779389 |   549382 |    27949     41 |      830 |      754
1525.33/1525.60	c 1525s |      19 |   779955 |   549882 |    27949     41 |      830 |      754
1527.53/1527.80	c 1527s |      19 |   780530 |   550382 |    27949     41 |      830 |      754
1529.62/1529.90	c 1529s |      19 |   781091 |   550882 |    27949     41 |      830 |      754
1531.82/1532.18	c 1531s |      19 |   781631 |   551382 |    27949     41 |      830 |      754
1534.32/1534.70	c 1534s |      19 |   782184 |   551882 |    27949     41 |      830 |      754
1536.82/1537.19	c 1536s |      19 |   782730 |   552382 |    27949     41 |      830 |      754
1539.12/1539.40	c 1539s |      19 |   783288 |   552882 |    27949     41 |      830 |      754
1541.42/1541.72	c 1541s |      19 |   783865 |   553382 |    27949     41 |      830 |      754
1543.51/1543.86	c 1543s |      19 |   784322 |   553782 |    27949     41 |      830 |      754
1545.61/1545.94	c 1545s |      19 |   784767 |   554182 |    27949     41 |      830 |      754
1548.31/1548.62	c 1548s |      19 |   785205 |   554582 |    27949     42 |      830 |      754
1550.42/1550.78	c 1550s |      19 |   785741 |   555082 |    27949     42 |      830 |      754
1552.62/1552.91	c 1552s |      19 |   786576 |   555682 |    27949     42 |      830 |      754
1554.72/1555.08	c 1554s |      19 |   787500 |   556382 |    27949     42 |      830 |      754
1556.92/1557.25	c 1556s |      19 |   788465 |   557182 |    27949     42 |      830 |      754
1559.02/1559.31	c 1559s |      19 |   789154 |   557782 |    27949     42 |      830 |      754
1561.02/1561.39	c 1561s |      19 |   790009 |   558482 |    27949     42 |      830 |      754
1563.51/1563.81	c 1563s |      19 |   790798 |   559182 |    27949     42 |      830 |      754
1565.51/1565.89	c 1565s |      19 |   791543 |   559782 |    27949     42 |      830 |      754
1567.81/1568.18	c 1567s |      19 |   792419 |   560482 |    27949     42 |      830 |      754
1570.11/1570.41	c 1570s |      19 |   793240 |   561182 |    27949     42 |      830 |      754
1572.11/1572.49	c 1572s |      19 |   793932 |   561782 |    27949     42 |      830 |      754
1574.50/1574.80	c 1574s |      19 |   794640 |   562382 |    27949     42 |      830 |      754
1576.50/1576.89	c 1576s |      19 |   795208 |   562882 |    27949     42 |      830 |      754
1578.60/1578.97	c 1578s |      19 |   795791 |   563382 |    27949     42 |      830 |      754
1580.90/1581.21	c 1580s |      19 |   796466 |   563982 |    27949     42 |      830 |      754
1583.10/1583.46	c 1583s |      19 |   797035 |   564482 |    27949     42 |      830 |      754
1585.50/1585.80	c 1585s |      19 |   797716 |   565082 |    27949     42 |      830 |      754
1587.50/1587.81	c 1587s |      19 |   798299 |   565582 |    27949     42 |      830 |      754
1589.60/1589.95	c 1589s |      19 |   798867 |   566082 |    27949     42 |      830 |      754
1591.80/1592.14	c 1591s |      19 |   799427 |   566582 |    27949     42 |      830 |      754
1593.99/1594.38	c 1594s |      19 |   799983 |   567082 |    27949     42 |      830 |      754
1596.00/1596.39	c 1596s |      19 |   800545 |   567582 |    27949     42 |      830 |      754
1598.20/1598.59	c 1598s |      19 |   801105 |   568082 |    27949     42 |      830 |      754
1600.69/1601.00	c 1600s |      19 |   801647 |   568582 |    27949     42 |      830 |      754
1602.99/1603.38	c 1603s |      19 |   802371 |   569182 |    27949     42 |      830 |      754
1605.19/1605.55	c 1605s |      19 |   803064 |   569782 |    27949     42 |      830 |      754
1607.39/1607.79	c 1607s |      19 |   803663 |   570282 |    27949     43 |      830 |      754
1609.59/1609.92	c 1609s |      19 |   804633 |   571082 |    27949     43 |      830 |      754
1611.59/1611.95	c 1611s |      19 |   805442 |   571782 |    27949     43 |      830 |      754
1613.88/1614.24	c 1613s |      19 |   806247 |   572482 |    27949     43 |      830 |      754
1615.98/1616.38	c 1616s |      19 |   806914 |   573082 |    27949     43 |      830 |      754
1618.09/1618.47	c 1618s |      19 |   807598 |   573682 |    27949     43 |      830 |      754
1620.19/1620.59	c 1620s |      19 |   808272 |   574282 |    27949     43 |      830 |      754
1622.68/1623.00	c 1622s |      19 |   809072 |   574982 |    27949     43 |      830 |      754
1624.68/1625.08	c 1624s |      19 |   809746 |   575582 |    27949     43 |      830 |      754
1626.88/1627.25	c 1626s |      19 |   810450 |   576182 |    27949     43 |      830 |      754
1628.98/1629.33	c 1629s |      19 |   811100 |   576782 |    27949     43 |      830 |      754
1631.28/1631.69	c 1631s |      19 |   811772 |   577382 |    27949     43 |      830 |      754
1633.57/1633.91	c 1633s |      19 |   812628 |   578082 |    27949     43 |      830 |      754
1635.87/1636.25	c 1635s |      19 |   813439 |   578782 |    27949     43 |      830 |      754
1638.17/1638.58	c 1638s |      19 |   814283 |   579482 |    27949     43 |      830 |      754
1640.27/1640.69	c 1640s |      19 |   814956 |   580082 |    27949     43 |      830 |      754
1642.47/1642.85	c 1642s |      19 |   815619 |   580682 |    27949     43 |      830 |      754
1644.47/1644.88	c 1644s |      19 |   816163 |   581182 |    27949     43 |      830 |      754
1646.57/1646.90	c 1646s |      19 |   816754 |   581682 |    27949     43 |      830 |      754
1648.87/1649.24	c 1648s |      19 |   817445 |   582282 |    27949     43 |      830 |      754
1651.16/1651.55	c 1651s |      19 |   818132 |   582882 |    27949     43 |      830 |      754
1653.56/1653.93	c 1653s |      19 |   818826 |   583482 |    27949     43 |      830 |      754
1655.86/1656.20	c 1655s |      19 |   819553 |   584082 |    27949     43 |      830 |      754
1658.16/1658.55	c 1658s |      19 |   820257 |   584682 |    27949     43 |      830 |      754
1660.26/1660.64	c 1660s |      19 |   820810 |   585182 |    27949     43 |      830 |      754
1662.36/1662.71	c 1662s |      19 |   821375 |   585682 |    27949     43 |      830 |      754
1664.56/1664.95	c 1664s |      19 |   821960 |   586182 |    27949     44 |      830 |      754
1666.66/1667.00	c 1666s |      19 |   822671 |   586782 |    27949     44 |      830 |      754
1668.76/1669.11	c 1668s |      19 |   823338 |   587382 |    27949     44 |      830 |      754
1671.06/1671.45	c 1671s |      19 |   824153 |   588082 |    27949     44 |      830 |      754
1673.15/1673.53	c 1673s |      19 |   824858 |   588682 |    27949     44 |      830 |      754
1675.35/1675.74	c 1675s |      19 |   825585 |   589282 |    27949     44 |      830 |      754
1677.56/1677.91	c 1677s |      19 |   826271 |   589882 |    27949     44 |      830 |      754
1679.67/1680.02	c 1679s |      19 |   826818 |   590382 |    27949     44 |      830 |      754
1681.66/1682.07	c 1681s |      19 |   827550 |   590982 |    27949     44 |      830 |      754
1683.86/1684.29	c 1684s |      19 |   828394 |   591682 |    27949     44 |      830 |      754
1685.96/1686.36	c 1686s |      19 |   829077 |   592282 |    27949     44 |      830 |      754
1688.25/1688.68	c 1688s |      19 |   829767 |   592882 |    27949     44 |      830 |      754
1690.45/1690.90	c 1690s |      19 |   830448 |   593482 |    27949     44 |      830 |      754
1692.55/1692.91	c 1692s |      19 |   831029 |   593982 |    27949     44 |      830 |      754
1694.85/1695.24	c 1694s |      19 |   831746 |   594582 |    27949     44 |      830 |      754
1697.05/1697.48	c 1697s |      19 |   832459 |   595182 |    27949     44 |      830 |      754
1699.15/1699.50	c 1699s |      19 |   833026 |   595682 |    27949     44 |      830 |      754
1701.25/1701.61	c 1701s |      19 |   833603 |   596182 |    27949     44 |      830 |      754
1703.34/1703.74	c 1703s |      19 |   834167 |   596682 |    27949     44 |      830 |      754
1705.44/1705.85	c 1705s |      19 |   834725 |   597182 |    27949     44 |      830 |      754
1707.64/1708.07	c 1707s |      19 |   835258 |   597682 |    27949     44 |      830 |      754
1709.74/1710.16	c 1709s |      19 |   835814 |   598182 |    27949     44 |      830 |      754
1712.14/1712.53	c 1712s |      19 |   836371 |   598682 |    27949     44 |      830 |      754
1714.54/1714.94	c 1714s |      19 |   836926 |   599182 |    27949     44 |      830 |      754
1717.05/1717.40	c 1717s |      19 |   837473 |   599682 |    27949     44 |      830 |      754
1719.24/1719.68	c 1719s |      19 |   838006 |   600182 |    27949     44 |      830 |      754
1721.74/1722.16	c 1721s |      19 |   838550 |   600682 |    27949     44 |      830 |      754
1724.13/1724.56	c 1724s |      19 |   839122 |   601182 |    27949     44 |      830 |      754
1726.13/1726.57	c 1726s |      19 |   839472 |   601482 |    27949     45 |      830 |      754
1728.43/1728.89	c 1728s |      19 |   840128 |   602082 |    27949     45 |      830 |      754
1730.63/1731.08	c 1730s |      19 |   840801 |   602682 |    27949     45 |      830 |      754
1732.73/1733.12	c 1732s |      19 |   841494 |   603282 |    27949     45 |      830 |      754
1734.73/1735.14	c 1734s |      19 |   842344 |   603982 |    27949     45 |      830 |      754
1736.73/1737.19	c 1736s |      19 |   843186 |   604682 |    27949     45 |      830 |      754
1739.03/1739.46	c 1739s |      19 |   843980 |   605382 |    27949     45 |      830 |      754
1741.23/1741.65	c 1741s |      19 |   844780 |   606082 |    27949     45 |      830 |      754
1743.52/1743.92	c 1743s |      19 |   845595 |   606782 |    27949     45 |      830 |      754
1745.53/1746.00	c 1745s |      19 |   846450 |   607482 |    27949     45 |      830 |      754
1747.92/1748.30	c 1748s |      19 |   847255 |   608182 |    27949     45 |      830 |      754
1750.22/1750.60	c 1750s |      19 |   847904 |   608782 |    27949     45 |      830 |      754
1752.22/1752.65	c 1752s |      19 |   848437 |   609282 |    27949     45 |      830 |      754
1754.42/1754.88	c 1754s |      19 |   849122 |   609882 |    27949     45 |      830 |      754
1756.72/1757.11	c 1756s |      19 |   849804 |   610482 |    27949     45 |      830 |      754
1759.01/1759.44	c 1759s |      19 |   850473 |   611082 |    27949     45 |      830 |      754
1761.41/1761.85	c 1761s |      19 |   851124 |   611682 |    27949     45 |      830 |      754
1763.51/1763.92	c 1763s |      19 |   851684 |   612182 |    27949     45 |      830 |      754
1765.61/1766.06	c 1765s |      19 |   852376 |   612782 |    27949     45 |      830 |      754
1767.71/1768.12	c 1767s |      19 |   853069 |   613382 |    27949     45 |      830 |      754
1769.82/1770.21	c 1769s |      19 |   853627 |   613882 |    27949     45 |      830 |      754
1771.91/1772.33	c 1772s |      19 |   854209 |   614382 |    27949     45 |      830 |      754
1774.11/1774.52	c 1774s |      19 |   854905 |   614982 |    27949     45 |      830 |      754
1776.10/1776.54	c 1776s |      19 |   855445 |   615482 |    27949     45 |      830 |      754
1778.10/1778.54	c 1778s |      19 |   855990 |   615982 |    27949     45 |      830 |      754
1780.20/1780.65	c 1780s |      19 |   856574 |   616482 |    27949     45 |      830 |      754
1782.20/1782.67	c 1782s |      19 |   857126 |   616982 |    27949     45 |      830 |      754
1784.60/1785.02	c 1784s |      19 |   857685 |   617482 |    27949     46 |      830 |      754
1786.79/1787.29	c 1787s |      19 |   858480 |   618182 |    27949     46 |      830 |      754
1789.19/1789.60	c 1789s |      19 |   859292 |   618882 |    27949     46 |      830 |      754
1791.19/1791.65	c 1791s |      19 |   859978 |   619482 |    27949     46 |      830 |      754
1793.38/1793.83	c 1793s |      19 |   860627 |   620082 |    27949     46 |      830 |      754
1795.58/1796.02	c 1795s |      19 |   861162 |   620582 |    27949     46 |      830 |      754
1797.98/1798.41	c 1798s |      19 |   861815 |   621182 |    27949     46 |      830 |      754
1799.98/1800.44	c 1800s |      19 |   862391 |   621682 |    27949     46 |      830 |      754

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

pid=24944
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.27 2.26 2.19 3/179 24947
/proc/meminfo: memFree=29676252/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 2857 0 0 0 0 0 0 0 20 0 4 0 31148613 781643776 2707 33554432000 4194304 16246674 140734336802992 140734336802416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 191599 2716 441 2943 0 188493 0
[pid=24947/tid=24948] ppid=24944 vsize=781756 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 800518144 2777 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 804712448 2795 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31148613 808906752 2811 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.27 2.26 2.19 3/179 24947
/proc/meminfo: memFree=29676252/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 28471 0 0 0 5 4 0 0 20 0 4 0 31148613 1249447936 28259 33554432000 4194304 16246674 140734336802992 140734336802304 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 305041 28259 801 2943 0 301935 0
[pid=24947/tid=24948] ppid=24944 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1249447936 28259 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1249447936 28259 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1249447936 28259 33554432000 4194304 16246674 140734336802992 139879146048688 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.200452 s]
/proc/loadavg: 2.27 2.26 2.19 3/179 24947
/proc/meminfo: memFree=29676252/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 48676 0 0 0 12 7 0 0 20 0 4 0 31148613 1332285440 48464 33554432000 4194304 16246674 140734336802992 140734336802304 5913178 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 325265 48464 842 2943 0 322159 0
[pid=24947/tid=24948] ppid=24944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1332285440 48464 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1332285440 48464 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1332285440 48464 33554432000 4194304 16246674 140734336802992 139879146048688 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.30052 s]
/proc/loadavg: 2.27 2.26 2.19 3/179 24947
/proc/meminfo: memFree=29676252/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 54785 0 0 0 20 9 0 0 20 0 4 0 31148613 1332285440 54573 33554432000 4194304 16246674 140734336802992 140734336802304 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 325265 54577 882 2943 0 322159 0
[pid=24947/tid=24948] ppid=24944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1332285440 54579 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1332285440 54583 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1332285440 54586 33554432000 4194304 16246674 140734336802992 139879146048688 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.700417 s]
/proc/loadavg: 2.27 2.26 2.19 3/179 24947
/proc/meminfo: memFree=29676252/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1301060 CPUtime=0.68 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 103854 0 0 0 52 16 0 0 20 0 4 0 31148613 1332285440 103642 33554432000 4194304 16246674 140734336802992 140734336785992 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 325265 103646 882 2943 0 322159 0
[pid=24947/tid=24948] ppid=24944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1332285440 103649 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1332285440 103651 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1332285440 103653 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50052 s]
/proc/loadavg: 2.41 2.29 2.20 3/183 24951
/proc/meminfo: memFree=28294832/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 215389 0 0 0 117 32 0 0 20 0 4 0 31148613 1333334016 215177 33554432000 4194304 16246674 140734336802992 140734336785992 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 325521 215181 887 2943 0 322415 0
[pid=24947/tid=24948] ppid=24944 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1333334016 215183 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1333334016 215185 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1333334016 215189 33554432000 4194304 16246674 140734336802992 139879146048688 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) 1302084

[startup+3.10043 s]
/proc/loadavg: 2.41 2.29 2.20 3/183 24951
/proc/meminfo: memFree=27909068/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 269520 0 0 0 271 38 0 0 20 0 4 0 31148613 1344868352 269308 33554432000 4194304 16246674 140734336802992 140734336784896 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 328337 269308 889 2943 0 325231 0
[pid=24947/tid=24948] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269308 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269308 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269308 33554432000 4194304 16246674 140734336802992 139879146048688 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) 1313348

[startup+6.30044 s]
/proc/loadavg: 2.41 2.29 2.20 3/183 24951
/proc/meminfo: memFree=27703264/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 269527 0 0 0 591 38 0 0 20 0 4 0 31148613 1344868352 269315 33554432000 4194304 16246674 140734336802992 140734336784896 5711888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 328337 269315 889 2943 0 325231 0
[pid=24947/tid=24948] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269315 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269315 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269315 33554432000 4194304 16246674 140734336802992 139879146048688 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) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.57 2.33 2.22 3/182 24951
/proc/meminfo: memFree=27703196/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 269527 0 0 0 1231 38 0 0 20 0 4 0 31148613 1344868352 269315 33554432000 4194304 16246674 140734336802992 140734336784896 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 328337 269315 889 2943 0 325231 0
[pid=24947/tid=24948] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269315 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269315 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269315 33554432000 4194304 16246674 140734336802992 139879146048688 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) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.48 2.32 2.21 3/183 24952
/proc/meminfo: memFree=27704804/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 269529 0 0 0 2511 38 0 0 20 0 4 0 31148613 1344868352 269317 33554432000 4194304 16246674 140734336802992 140734336784896 13760224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 328337 269317 891 2943 0 325231 0
[pid=24947/tid=24948] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269317 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269317 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269317 33554432000 4194304 16246674 140734336802992 139879146048688 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) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.52 2.34 2.22 3/183 24952
/proc/meminfo: memFree=27704924/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 269530 0 0 0 5070 38 0 0 20 0 4 0 31148613 1344868352 269318 33554432000 4194304 16246674 140734336802992 140734336784896 12483320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 328337 269318 892 2943 0 325231 0
[pid=24947/tid=24948] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269318 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269318 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269318 33554432000 4194304 16246674 140734336802992 139879146048688 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) 1313348

[startup+102.3 s]
/proc/loadavg: 2.26 2.30 2.21 3/183 24953
/proc/meminfo: memFree=27691584/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 269530 0 0 0 10189 39 0 0 20 0 4 0 31148613 1344868352 269318 33554432000 4194304 16246674 140734336802992 140734336784896 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 328337 269318 892 2943 0 325231 0
[pid=24947/tid=24948] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269318 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269318 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1344868352 269318 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273414 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 25007
/proc/meminfo: memFree=27642352/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1329732 CPUtime=1362.08 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 273628 0 0 0 136162 46 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 140734336784896 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 332433 273670 892 2943 0 329327 0
[pid=24947/tid=24948] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.19 2.24 2.18 3/183 25008
/proc/meminfo: memFree=27642520/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1329732 CPUtime=1422.06 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 273656 0 0 0 142160 46 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 140734336784896 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 332433 273670 892 2943 0 329327 0
[pid=24947/tid=24948] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1329732

[startup+1482.3 s]
/proc/loadavg: 2.24 2.24 2.18 3/183 25009
/proc/meminfo: memFree=27642312/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1329732 CPUtime=1482.03 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 273688 0 0 0 148157 46 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 140734336784896 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 332433 273670 892 2943 0 329327 0
[pid=24947/tid=24948] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1329732

[startup+1542.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/184 25014
/proc/meminfo: memFree=27642488/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1329732 CPUtime=1542.01 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 273695 0 0 0 154154 47 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 140734336784896 5661256 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 332433 273670 892 2943 0 329327 0
[pid=24947/tid=24948] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1329732

[startup+1602.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 25015
/proc/meminfo: memFree=27641932/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1329732 CPUtime=1601.99 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 273734 0 0 0 160151 48 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 140734336784896 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 332433 273670 892 2943 0 329327 0
[pid=24947/tid=24948] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1329732

[startup+1662.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 25016
/proc/meminfo: memFree=27641660/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1329732 CPUtime=1661.96 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 273767 0 0 0 166148 48 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 140734336784896 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 332433 273670 892 2943 0 329327 0
[pid=24947/tid=24948] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1329732

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 25017
/proc/meminfo: memFree=27641952/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1329732 CPUtime=1721.94 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 273796 0 0 0 172145 49 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 140734336784896 5712072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 332433 273670 892 2943 0 329327 0
[pid=24947/tid=24948] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1329732

[startup+1782.31 s]
/proc/loadavg: 2.32 2.25 2.19 4/183 25018
/proc/meminfo: memFree=27641484/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1329732 CPUtime=1781.91 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 273839 0 0 0 178142 49 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 140734336802168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 332433 273670 892 2943 0 329327 0
[pid=24947/tid=24948] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1329732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 25018
/proc/meminfo: memFree=27641456/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1329732 CPUtime=1800.08 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 273853 0 0 0 179959 49 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 140734336784896 5822671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 332433 273670 892 2943 0 329327 0
[pid=24947/tid=24948] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1329732

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

[startup+1800.5 s]
/proc/loadavg: 2.33 2.25 2.19 3/183 25018
/proc/meminfo: memFree=27641456/32872528 swapFree=1581260/1720252
[pid=24947] ppid=24944 vsize=1329732 CPUtime=1800.08 cores=1,3,5,7
/proc/24947/stat : 24947 (toysat) R 24944 24947 24580 0 -1 4202496 273853 0 0 0 179959 49 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 140734336784896 5822671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24947/statm: 332433 273670 892 2943 0 329327 0
[pid=24947/tid=24948] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24948/stat : 24948 (toysat) S 24944 24947 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879167012080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24947/tid=24949] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24949/stat : 24949 (toysat) S 24944 24947 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879156522224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24947/tid=24950] ppid=24944 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24947/task/24950/stat : 24950 (toysat) S 24944 24947 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31148613 1361645568 273670 33554432000 4194304 16246674 140734336802992 139879146048688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1329732

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.12
CPU user time (s): 1799.6
CPU system time (s): 0.51992
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 1329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.51992
maximum resident set size= 1094680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273853
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= 242
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1831 second user time and 17.2284 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-27 00:44:52
IDJOB=4116757
IDBENCH=109510
IDSOLVER=2542
FILE ID=node117/4116757-1466981092
RUNJOBID= node117-1466977489-24597
PBS_JOBID= 19976392
Free space on /tmp= 71608 MiB

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

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

MD5SUM BENCH= 741a06cc26bfcc11ac91a7e34a8a8d22
RANDOM SEED=2106369364

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.630
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:        29691776 kB
Buffers:           93368 kB
Cached:           447104 kB
SwapCached:         2208 kB
Active:           291732 kB
Inactive:         421064 kB
Active(anon):     169764 kB
Inactive(anon):     4136 kB
Active(file):     121968 kB
Inactive(file):   416928 kB
Unevictable:     1720252 kB
Mlocked:         1581260 kB
SwapTotal:      67108856 kB
SwapFree:       67099644 kB
Dirty:             33460 kB
Writeback:             0 kB
AnonPages:       1886484 kB
Mapped:            12464 kB
Shmem:                 0 kB
Slab:             612380 kB
SReclaimable:      56276 kB
SUnreclaim:       556104 kB
KernelStack:        1440 kB
PageTables:         9332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2931624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 71592 MiB
End job on node117 at 2016-06-27 01:14:53