Trace number 4116189

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round23-3.opb
MD5SUM902e2a935630f24bfbc28d6df6eb3690
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:40:39+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-4116189-1466980838.opb"]
0.00/0.01	c use --random-gen="908604813 3472624231 3672315193 3947561962 2397194571 2579296061 4264022695 2015777292 3641278205 2085556780 2294794789 2267405314 2905509610 1497651246 192268573 1154026736 3924860694 1410408646 423392252 3528367605 3098557682 4108168930 2983258434 805805332 2912426130 531721763 716663672 810806600 490510573 914122449 1065986675 1175549234 1421964207 2188015281 3183421751 2567265806 465212756 1431966618 3932588598 3133550643 3679495101 1713746578 1188983380 1131816740 4107012004 1525897205 319803181 273615663 513643535 879334898 231819074 3546205758 1140488813 465000515 158353817 3930379781 4170499765 42182301 79620630 1326531844 2201383103 1555779498 3562407224 1242438229 3476423678 314698195 2230825664 1827821037 465396987 3487273252 3798330203 1302096316 2946793767 555795501 3775078872 1980873802 3895288583 3039118833 7706187 239073373 3646957981 3115188165 1521003535 4134103994 2141387486 3543907901 452285717 2527999564 3580547946 3602838324 8249575 3135824174 86974208 3243870876 1012040431 3874313094 3283704781 3122446746 4280273511 2035155994 1622089526 1387514080 2505369279 1915515006 2284515412 1294492848 1432476148 361427568 3211129690 1315549450 877967290 728268043 1877589632 2586335002 3014422573 1739316672 184306056 3344006060 2975350947 4203424570 150964060 3852532442 1225472416 409224684 3452506134 2411632423 815971001 4096485900 203901729 3838974402 1518801940 589036852 1564702035 4148344664 2737447254 3994257010 219733919 4206518415 38465937 2409872556 2458287703 2794424361 3632155699 2886464306 3092572889 562394509 2308289800 2063892649 2877122660 2875451572 86908591 2799316322 1730685041 2677235877 295558278 2825675004 3440748511 1018012896 43782576 2627341073 3901520570 2357709122 3411076023 563049892 3745718314 3818348871 2294971653 559412652 2206190361 2012251932 3412322084 3101482891 1493308501 1301624856 1337175536 1648853303 2818562668 3974544101 2005719270 3434406804 3515345206 2119009247 3904830561 2504451700 506912689 1722028426 403689748 895389942 2434995155 2602422373 2464787106 3691567280 1276645425 1624856568 2599264197 1914361126 3108771098 3987816547 2961441199 558705101 2692595438 4066519300 2275447094 2359052533 1895621520 1800464097 2825753130 3045003403 417797947 2653710685 78637724 2985160133 1305250441 3302175594 4171455371 894201532 1369316661 1363353461 1660987218 3461301318 1949729423 2288239463 3677640763 1416125566 1373875964 3697134439 956209743 3890012775 342967752 2512369987 1881147295 3478294235 3338554445 2388421645 247837902 2382883898 4120057828 4266101858 2349057092 1199870361 654424630 2881401348 570228516 1593803766 3576495425 20033175 2288970808 1427306362 2023721130 1181230069 1244981333 3619458896 4180589029 60162316 1232000361 4183318602 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9520
0.18/0.27	c Solving starts ...
0.18/0.27	c ============================[ Search Statistics ]============================
0.18/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.27	c =============================================================================
0.18/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      839 |        0
0.29/0.34	c  0.1s |       1 |      625 |      100 |     4565      0 |      839 |      840
0.39/0.45	c  0.2s |       2 |     2375 |      250 |     5022      0 |      840 |      840
0.49/0.57	c  0.3s |       3 |     3653 |      475 |     5525      0 |      840 |      840
0.89/0.96	c  0.7s |       4 |     5451 |      813 |     6078      0 |      840 |      840
1.29/1.33	c  1.1s |       5 |     8584 |     1320 |     6686      0 |      840 |      840
1.99/2.03	c  1.8s |       6 |    11116 |     2081 |     8091      0 |      840 |      840
2.59/2.67	c  2.4s |       7 |    17008 |     3223 |     8901      0 |      840 |      840
3.69/3.71	c  3.4s |       8 |    30303 |     4936 |     9792      0 |      841 |      840
5.79/5.83	c  5.6s |       8 |    35228 |     6836 |     9792      0 |      841 |      840
6.89/6.99	c  6.7s |       9 |    36028 |     7506 |    10772      0 |      841 |      840
8.99/9.02	c  8.7s |       9 |    43653 |     9606 |    10772      0 |      841 |      840
11.00/11.10	c 10.8s |       9 |    47691 |    11306 |    11850      0 |      841 |      840
11.19/11.20	c 10.9s |      10 |    47759 |    11361 |    11850      0 |      841 |      840
13.20/13.22	c 12.9s |      10 |    53733 |    13461 |    11850      0 |      841 |      840
15.19/15.28	c 15.0s |      10 |    55498 |    14861 |    11850      0 |      841 |      840
17.39/17.40	c 17.1s |      10 |    56923 |    15961 |    11850      1 |      841 |      840
19.19/19.23	c 19.0s |      11 |    58606 |    17144 |    13036      1 |      841 |      840
21.19/21.28	c 21.0s |      11 |    63867 |    18844 |    13036      1 |      841 |      840
23.39/23.48	c 23.2s |      11 |    65487 |    20144 |    13036      1 |      841 |      840
25.49/25.55	c 25.3s |      11 |    66805 |    21244 |    13036      1 |      841 |      840
27.49/27.60	c 27.3s |      11 |    73830 |    23144 |    13036      1 |      841 |      840
29.59/29.61	c 29.3s |      11 |    76658 |    24744 |    13036      2 |      841 |      840
31.09/31.17	c 30.9s |      12 |    78123 |    25819 |    14340      2 |      841 |      840
33.19/33.26	c 33.0s |      12 |    82192 |    27519 |    14340      2 |      841 |      840
35.38/35.46	c 35.2s |      12 |    83764 |    28819 |    14340      2 |      841 |      840
37.49/37.55	c 37.3s |      12 |    85185 |    29919 |    14340      2 |      841 |      840
39.59/39.63	c 39.4s |      12 |    86211 |    30819 |    14340      2 |      841 |      840
41.79/41.85	c 41.6s |      12 |    87420 |    31819 |    14340      2 |      841 |      840
43.78/43.86	c 43.6s |      12 |    89117 |    32919 |    14340      2 |      841 |      840
45.88/45.91	c 45.6s |      12 |    90722 |    34019 |    14340      3 |      841 |      840
47.98/48.01	c 47.7s |      12 |    92406 |    35219 |    14340      3 |      841 |      840
50.18/50.21	c 49.9s |      12 |    93682 |    36319 |    14340      3 |      841 |      840
52.18/52.25	c 52.0s |      12 |    94697 |    37219 |    14340      3 |      841 |      840
54.38/54.43	c 54.2s |      12 |    95572 |    38019 |    14340      3 |      841 |      840
56.58/56.60	c 56.3s |      12 |    96321 |    38719 |    15775      3 |      841 |      840
56.98/57.01	c 56.7s |      13 |    96437 |    38832 |    15775      3 |      841 |      840
58.98/59.08	c 58.8s |      13 |   102412 |    40932 |    15775      3 |      841 |      840
61.08/61.17	c 60.9s |      13 |   104301 |    42332 |    15775      3 |      841 |      840
63.18/63.21	c 62.9s |      13 |   105665 |    43432 |    15775      3 |      841 |      840
65.18/65.27	c 65.0s |      13 |   107740 |    44632 |    15775      4 |      841 |      840
67.18/67.29	c 67.0s |      13 |   109176 |    45732 |    15775      4 |      841 |      840
69.38/69.47	c 69.2s |      13 |   110631 |    46832 |    15775      4 |      841 |      840
71.38/71.47	c 71.2s |      13 |   111506 |    47532 |    15775      4 |      841 |      840
73.47/73.56	c 73.3s |      13 |   112883 |    48532 |    15775      4 |      841 |      840
75.67/75.73	c 75.5s |      13 |   114468 |    49732 |    15775      4 |      841 |      840
77.67/77.74	c 77.5s |      13 |   115557 |    50632 |    15775      4 |      841 |      840
79.77/79.85	c 79.6s |      13 |   116712 |    51532 |    15775      4 |      841 |      840
81.77/81.85	c 81.6s |      13 |   117850 |    52432 |    15775      4 |      841 |      840
83.87/83.94	c 83.7s |      13 |   118937 |    53332 |    15775      4 |      841 |      840
85.97/86.02	c 85.7s |      13 |   119602 |    53932 |    15775      5 |      841 |      840
88.08/88.10	c 87.8s |      13 |   120891 |    54932 |    15775      5 |      841 |      840
90.18/90.23	c 90.0s |      13 |   122341 |    55932 |    15775      5 |      841 |      840
92.38/92.47	c 92.2s |      13 |   123472 |    56832 |    15775      5 |      841 |      840
94.68/94.73	c 94.5s |      13 |   124428 |    57632 |    15775      5 |      841 |      840
96.67/96.80	c 96.5s |      14 |   125286 |    58352 |    17353      5 |      841 |      840
98.77/98.88	c 98.6s |      14 |   129852 |    60352 |    17353      5 |      841 |      840
100.88/100.90	c  100s |      14 |   132276 |    61952 |    17353      5 |      841 |      840
102.88/102.96	c  102s |      14 |   133800 |    63352 |    17353      5 |      841 |      840
104.98/105.08	c  104s |      14 |   135270 |    64652 |    17353      5 |      841 |      840
107.07/107.19	c  106s |      14 |   136366 |    65652 |    17353      6 |      841 |      840
109.27/109.31	c  109s |      14 |   137530 |    66752 |    17353      6 |      841 |      840
111.27/111.33	c  111s |      14 |   138614 |    67752 |    17353      6 |      841 |      840
113.28/113.40	c  113s |      14 |   139719 |    68752 |    17353      6 |      841 |      840
115.58/115.61	c  115s |      14 |   140786 |    69752 |    17353      6 |      841 |      840
117.78/117.83	c  117s |      14 |   141797 |    70652 |    17353      6 |      841 |      840
119.88/119.96	c  119s |      14 |   142786 |    71552 |    17353      6 |      841 |      840
122.08/122.18	c  121s |      14 |   143772 |    72452 |    17353      6 |      841 |      840
124.28/124.33	c  124s |      14 |   144803 |    73352 |    17353      6 |      841 |      840
126.37/126.44	c  126s |      14 |   145826 |    74252 |    17353      6 |      841 |      840
128.57/128.67	c  128s |      14 |   146864 |    75152 |    17353      6 |      841 |      840
130.77/130.82	c  130s |      14 |   147742 |    75952 |    17353      7 |      841 |      840
132.77/132.83	c  132s |      14 |   148636 |    76752 |    17353      7 |      841 |      840
134.87/134.98	c  134s |      14 |   149640 |    77652 |    17353      7 |      841 |      840
137.17/137.22	c  136s |      14 |   150625 |    78552 |    17353      7 |      841 |      840
139.37/139.45	c  139s |      14 |   151610 |    79452 |    17353      7 |      841 |      840
141.57/141.62	c  141s |      14 |   152514 |    80252 |    17353      7 |      841 |      840
143.77/143.80	c  143s |      14 |   153427 |    81052 |    17353      7 |      841 |      840
145.97/146.02	c  145s |      14 |   154335 |    81852 |    17353      7 |      841 |      840
148.07/148.17	c  147s |      14 |   155117 |    82552 |    17353      7 |      841 |      840
150.17/150.26	c  149s |      14 |   155894 |    83252 |    17353      7 |      841 |      840
152.37/152.49	c  152s |      14 |   156660 |    83952 |    17353      7 |      841 |      840
154.47/154.51	c  154s |      14 |   157320 |    84552 |    17353      7 |      841 |      840
156.47/156.55	c  156s |      14 |   157976 |    85152 |    17353      7 |      841 |      840
158.57/158.67	c  158s |      14 |   158656 |    85752 |    17353      8 |      841 |      840
160.77/160.87	c  160s |      14 |   159683 |    86652 |    17353      8 |      841 |      840
162.87/162.99	c  162s |      14 |   160564 |    87452 |    19089      8 |      841 |      840
163.37/163.50	c  163s |      15 |   160755 |    87632 |    19089      8 |      841 |      840
165.46/165.52	c  165s |      15 |   166640 |    89632 |    19089      8 |      841 |      840
167.56/167.63	c  167s |      15 |   169486 |    91332 |    19089      8 |      841 |      840
169.56/169.66	c  169s |      15 |   171262 |    92632 |    19089      8 |      841 |      840
171.76/171.81	c  171s |      15 |   173262 |    94032 |    19089      8 |      841 |      840
173.77/173.83	c  173s |      15 |   174893 |    95132 |    19089      8 |      841 |      840
175.97/176.04	c  175s |      15 |   176538 |    96232 |    19089      8 |      841 |      840
178.06/178.10	c  177s |      15 |   180908 |    97732 |    19089      9 |      841 |      840
180.16/180.25	c  179s |      15 |   182451 |    98832 |    19089      9 |      841 |      840
182.36/182.43	c  182s |      15 |   183355 |    99532 |    19089      9 |      841 |      840
184.56/184.64	c  184s |      15 |   184151 |   100232 |    19089      9 |      841 |      840
186.56/186.65	c  186s |      15 |   185633 |   101232 |    19089      9 |      841 |      840
188.76/188.82	c  188s |      15 |   186683 |   102032 |    19089      9 |      841 |      840
190.96/191.10	c  190s |      15 |   187488 |   102732 |    19089      9 |      841 |      840
193.06/193.16	c  192s |      15 |   188512 |   103532 |    19089      9 |      841 |      840
195.16/195.26	c  194s |      15 |   189329 |   104232 |    19089      9 |      841 |      840
197.26/197.30	c  197s |      15 |   190123 |   104932 |    19089      9 |      841 |      840
199.36/199.41	c  199s |      15 |   190667 |   105432 |    19089      9 |      841 |      840
201.65/201.80	c  201s |      15 |   191367 |   106032 |    19089      9 |      841 |      840
203.86/203.99	c  203s |      15 |   192038 |   106632 |    19089      9 |      841 |      840
205.96/206.08	c  205s |      15 |   192838 |   107332 |    19089      9 |      841 |      840
208.06/208.14	c  207s |      15 |   193548 |   107932 |    19089      9 |      841 |      840
210.17/210.24	c  209s |      15 |   194105 |   108432 |    19089     10 |      841 |      840
212.27/212.39	c  212s |      15 |   194665 |   108932 |    19089     10 |      841 |      840
214.36/214.48	c  214s |      15 |   195234 |   109432 |    19089     10 |      841 |      840
216.67/216.72	c  216s |      15 |   195906 |   110032 |    19089     10 |      841 |      840
218.97/219.01	c  218s |      15 |   196578 |   110632 |    19089     10 |      841 |      840
220.96/221.09	c  220s |      15 |   197262 |   111232 |    19089     10 |      841 |      840
223.16/223.23	c  222s |      15 |   197923 |   111832 |    19089     10 |      841 |      840
225.26/225.37	c  225s |      15 |   198464 |   112332 |    19089     10 |      841 |      840
227.56/227.68	c  227s |      15 |   199143 |   112932 |    19089     10 |      841 |      840
229.86/229.94	c  229s |      15 |   199796 |   113532 |    19089     10 |      841 |      840
232.06/232.15	c  231s |      15 |   200375 |   114032 |    19089     10 |      841 |      840
234.16/234.24	c  233s |      15 |   202041 |   114832 |    19089     10 |      841 |      840
236.26/236.39	c  236s |      15 |   204640 |   116132 |    19089     10 |      841 |      840
238.35/238.44	c  238s |      15 |   205942 |   117032 |    19089     10 |      841 |      840
240.55/240.63	c  240s |      15 |   206948 |   117832 |    19089     10 |      841 |      840
242.75/242.87	c  242s |      15 |   208240 |   118732 |    19089     10 |      841 |      840
244.75/244.88	c  244s |      15 |   209403 |   119532 |    19089     11 |      841 |      840
246.85/246.97	c  246s |      15 |   210440 |   120432 |    19089     11 |      841 |      840
249.25/249.33	c  249s |      15 |   211406 |   121232 |    19089     11 |      841 |      840
251.35/251.40	c  251s |      15 |   212291 |   121932 |    19089     11 |      841 |      840
253.55/253.64	c  253s |      15 |   213107 |   122632 |    19089     11 |      841 |      840
255.75/255.83	c  255s |      15 |   213913 |   123332 |    19089     11 |      841 |      840
257.85/257.94	c  257s |      15 |   214756 |   124032 |    19089     11 |      841 |      840
259.95/260.05	c  259s |      15 |   215643 |   124732 |    19089     11 |      841 |      840
261.95/262.06	c  261s |      15 |   216302 |   125332 |    19089     11 |      841 |      840
264.15/264.27	c  263s |      15 |   217342 |   126132 |    19089     11 |      841 |      840
266.45/266.59	c  266s |      15 |   218207 |   126832 |    19089     11 |      841 |      840
268.55/268.67	c  268s |      15 |   218863 |   127432 |    19089     11 |      841 |      840
270.75/270.84	c  270s |      15 |   219685 |   128132 |    19089     11 |      841 |      840
272.95/273.00	c  272s |      15 |   220385 |   128732 |    19089     11 |      841 |      840
275.25/275.33	c  275s |      15 |   221060 |   129332 |    19089     11 |      841 |      840
277.35/277.45	c  277s |      15 |   221734 |   129932 |    19089     11 |      841 |      840
279.65/279.75	c  279s |      15 |   222293 |   130432 |    19089     12 |      841 |      840
281.95/282.01	c  281s |      15 |   222957 |   131032 |    20998     12 |      841 |      840
283.85/283.92	c  283s |      16 |   223592 |   131552 |    20998     12 |      841 |      840
285.85/285.95	c  285s |      16 |   234011 |   134252 |    20998     12 |      841 |      840
287.95/288.00	c  287s |      16 |   236198 |   135852 |    20998     12 |      841 |      840
289.94/290.05	c  289s |      16 |   237775 |   137152 |    20998     12 |      841 |      840
291.94/292.06	c  291s |      16 |   239757 |   138552 |    20998     12 |      841 |      840
294.04/294.18	c  293s |      16 |   241094 |   139652 |    20998     12 |      841 |      840
296.14/296.21	c  295s |      16 |   242120 |   140552 |    20998     12 |      841 |      840
298.15/298.28	c  298s |      16 |   243176 |   141452 |    20998     12 |      841 |      840
300.35/300.45	c  300s |      16 |   244487 |   142452 |    20998     12 |      841 |      840
302.34/302.47	c  302s |      16 |   245409 |   143252 |    20998     12 |      841 |      840
304.44/304.50	c  304s |      16 |   246131 |   143852 |    20998     13 |      841 |      840
306.54/306.61	c  306s |      16 |   247044 |   144652 |    20998     13 |      841 |      840
308.54/308.68	c  308s |      16 |   247872 |   145352 |    20998     13 |      841 |      840
310.84/310.90	c  310s |      16 |   248777 |   146152 |    20998     13 |      841 |      840
313.04/313.16	c  312s |      16 |   249534 |   146852 |    20998     13 |      841 |      840
315.24/315.30	c  315s |      16 |   250349 |   147552 |    20998     13 |      841 |      840
317.34/317.44	c  317s |      16 |   251170 |   148252 |    20998     13 |      841 |      840
319.54/319.65	c  319s |      16 |   252144 |   149052 |    20998     13 |      841 |      840
321.84/321.98	c  321s |      16 |   252939 |   149752 |    20998     13 |      841 |      840
323.94/324.03	c  323s |      16 |   253611 |   150352 |    20998     13 |      841 |      840
326.14/326.22	c  325s |      16 |   254286 |   150952 |    20998     13 |      841 |      840
328.14/328.23	c  327s |      16 |   254968 |   151552 |    20998     13 |      841 |      840
330.34/330.48	c  330s |      16 |   255777 |   152252 |    20998     13 |      841 |      840
332.54/332.63	c  332s |      16 |   256448 |   152852 |    20998     13 |      841 |      840
334.54/334.68	c  334s |      16 |   257157 |   153452 |    20998     13 |      841 |      840
336.64/336.77	c  336s |      16 |   257702 |   153952 |    20998     13 |      841 |      840
338.84/338.93	c  338s |      16 |   258243 |   154452 |    20998     13 |      841 |      840
341.13/341.24	c  340s |      16 |   258919 |   155052 |    20998     13 |      841 |      840
343.43/343.54	c  343s |      16 |   259472 |   155552 |    20998     14 |      841 |      840
345.73/345.85	c  345s |      16 |   260288 |   156252 |    20998     14 |      841 |      840
347.83/347.97	c  347s |      16 |   261090 |   156952 |    20998     14 |      841 |      840
350.03/350.12	c  349s |      16 |   261900 |   157652 |    20998     14 |      841 |      840
352.13/352.25	c  351s |      16 |   262687 |   158352 |    20998     14 |      841 |      840
354.43/354.52	c  354s |      16 |   263455 |   159052 |    20998     14 |      841 |      840
356.63/356.72	c  356s |      16 |   264114 |   159652 |    20998     14 |      841 |      840
358.64/358.74	c  358s |      16 |   264789 |   160252 |    20998     14 |      841 |      840
360.63/360.76	c  360s |      16 |   265486 |   160852 |    20998     14 |      841 |      840
362.83/362.90	c  362s |      16 |   266170 |   161452 |    20998     14 |      841 |      840
365.14/365.20	c  364s |      16 |   266970 |   162152 |    20998     14 |      841 |      840
367.23/367.37	c  367s |      16 |   267655 |   162752 |    20998     14 |      841 |      840
369.64/369.72	c  369s |      16 |   268443 |   163452 |    20998     14 |      841 |      840
371.93/372.03	c  371s |      16 |   269097 |   164052 |    20998     14 |      841 |      840
374.33/374.46	c  374s |      16 |   269748 |   164652 |    20998     14 |      841 |      840
376.43/376.58	c  376s |      16 |   270304 |   165152 |    20998     14 |      841 |      840
378.63/378.76	c  378s |      16 |   270855 |   165652 |    20998     14 |      841 |      840
380.63/380.78	c  380s |      16 |   271387 |   166152 |    20998     14 |      841 |      840
382.73/382.90	c  382s |      16 |   271937 |   166652 |    20998     14 |      841 |      840
384.93/385.01	c  384s |      16 |   272485 |   167152 |    20998     14 |      841 |      840
387.03/387.17	c  386s |      16 |   272938 |   167552 |    20998     15 |      841 |      840
389.13/389.25	c  388s |      16 |   273576 |   168152 |    20998     15 |      841 |      840
391.33/391.49	c  391s |      16 |   274224 |   168752 |    20998     15 |      841 |      840
393.43/393.50	c  393s |      16 |   274867 |   169352 |    20998     15 |      841 |      840
395.43/395.57	c  395s |      16 |   275400 |   169852 |    20998     15 |      841 |      840
397.63/397.73	c  397s |      16 |   276074 |   170452 |    20998     15 |      841 |      840
399.73/399.83	c  399s |      16 |   276745 |   171052 |    20998     15 |      841 |      840
401.93/402.07	c  401s |      16 |   277411 |   171652 |    20998     15 |      841 |      840
404.13/404.25	c  403s |      16 |   278046 |   172252 |    20998     15 |      841 |      840
406.33/406.44	c  406s |      16 |   278728 |   172852 |    20998     15 |      841 |      840
408.43/408.51	c  408s |      16 |   279581 |   173552 |    20998     15 |      841 |      840
410.43/410.52	c  410s |      16 |   280395 |   174252 |    20998     15 |      841 |      840
412.63/412.75	c  412s |      16 |   281243 |   174952 |    20998     15 |      841 |      840
414.93/415.00	c  414s |      16 |   282115 |   175652 |    20998     15 |      841 |      840
417.33/417.41	c  417s |      16 |   282913 |   176352 |    20998     15 |      841 |      840
419.53/419.64	c  419s |      16 |   283573 |   176952 |    20998     15 |      841 |      840
421.73/421.84	c  421s |      16 |   284235 |   177552 |    20998     15 |      841 |      840
423.93/424.09	c  423s |      16 |   284916 |   178152 |    20998     15 |      841 |      840
426.03/426.16	c  425s |      16 |   285451 |   178652 |    20998     15 |      841 |      840
428.43/428.59	c  428s |      16 |   286220 |   179352 |    20998     15 |      841 |      840
430.53/430.67	c  430s |      16 |   286658 |   179752 |    20998     16 |      841 |      840
432.63/432.71	c  432s |      16 |   287459 |   180452 |    20998     16 |      841 |      840
434.82/434.94	c  434s |      16 |   288272 |   181152 |    20998     16 |      841 |      840
436.82/436.95	c  436s |      16 |   288940 |   181752 |    20998     16 |      841 |      840
439.02/439.15	c  438s |      16 |   289741 |   182452 |    20998     16 |      841 |      840
441.22/441.37	c  441s |      16 |   290523 |   183152 |    20998     16 |      841 |      840
443.42/443.56	c  443s |      16 |   291311 |   183852 |    20998     16 |      841 |      840
445.62/445.70	c  445s |      16 |   291973 |   184452 |    20998     16 |      841 |      840
447.92/448.02	c  447s |      16 |   292617 |   185052 |    20998     16 |      841 |      840
449.93/450.03	c  449s |      16 |   293178 |   185552 |    20998     16 |      841 |      840
452.03/452.14	c  451s |      16 |   293867 |   186152 |    20998     16 |      841 |      840
454.23/454.30	c  454s |      16 |   294536 |   186752 |    20998     16 |      841 |      840
456.42/456.54	c  456s |      16 |   295188 |   187352 |    20998     16 |      841 |      840
458.62/458.78	c  458s |      16 |   295842 |   187952 |    20998     16 |      841 |      840
460.92/461.06	c  460s |      16 |   296502 |   188552 |    20998     16 |      841 |      840
463.42/463.50	c  463s |      16 |   297139 |   189152 |    20998     16 |      841 |      840
465.52/465.66	c  465s |      16 |   297687 |   189652 |    20998     16 |      841 |      840
467.91/468.03	c  467s |      16 |   298219 |   190152 |    20998     16 |      841 |      840
470.11/470.24	c  469s |      16 |   298735 |   190652 |    20998     16 |      841 |      840
472.51/472.63	c  472s |      16 |   299388 |   191252 |    20998     16 |      841 |      840
475.12/475.22	c  474s |      16 |   299928 |   191752 |    20998     17 |      841 |      840
477.21/477.32	c  477s |      16 |   300568 |   192352 |    20998     17 |      841 |      840
479.41/479.57	c  479s |      16 |   301208 |   192952 |    20998     17 |      841 |      840
481.61/481.77	c  481s |      16 |   301751 |   193452 |    20998     17 |      841 |      840
483.92/484.03	c  483s |      16 |   302405 |   194052 |    20998     17 |      841 |      840
486.01/486.11	c  485s |      16 |   303084 |   194652 |    20998     17 |      841 |      840
488.11/488.29	c  488s |      16 |   303730 |   195252 |    20998     17 |      841 |      840
490.41/490.51	c  490s |      16 |   304389 |   195852 |    20998     17 |      841 |      840
492.41/492.57	c  492s |      16 |   304943 |   196352 |    23098     17 |      841 |      840
494.51/494.67	c  494s |      16 |   305606 |   196952 |    23098     17 |      841 |      840
496.31/496.44	c  496s |      17 |   306133 |   197432 |    23098     17 |      841 |      840
498.41/498.55	c  498s |      17 |   310368 |   199032 |    23098     17 |      841 |      840
500.42/500.58	c  500s |      17 |   317619 |   201532 |    23098     17 |      841 |      840
502.41/502.60	c  502s |      17 |   320064 |   203232 |    23098     17 |      841 |      840
504.51/504.60	c  504s |      17 |   321848 |   204532 |    23098     17 |      841 |      840
506.61/506.79	c  506s |      17 |   323423 |   205732 |    23098     17 |      841 |      840
508.72/508.89	c  508s |      17 |   324650 |   206532 |    23098     18 |      841 |      840
510.92/511.04	c  510s |      17 |   326456 |   207832 |    23098     18 |      841 |      840
513.12/513.26	c  512s |      17 |   327778 |   208832 |    23098     18 |      841 |      840
515.22/515.31	c  515s |      17 |   332107 |   210832 |    23098     18 |      841 |      840
517.22/517.33	c  517s |      17 |   334779 |   212232 |    23098     18 |      841 |      840
519.32/519.45	c  519s |      17 |   336922 |   213632 |    23098     18 |      841 |      840
521.42/521.58	c  521s |      17 |   338967 |   215032 |    23098     18 |      841 |      840
523.71/523.82	c  523s |      17 |   340177 |   216032 |    23098     18 |      841 |      840
525.91/526.00	c  525s |      17 |   341456 |   217032 |    23098     18 |      841 |      840
528.02/528.15	c  527s |      17 |   342557 |   217932 |    23098     18 |      841 |      840
530.22/530.32	c  530s |      17 |   343648 |   218832 |    23098     18 |      841 |      840
532.21/532.34	c  532s |      17 |   344495 |   219532 |    23098     19 |      841 |      840
534.31/534.41	c  534s |      17 |   345568 |   220432 |    23098     19 |      841 |      840
536.61/536.74	c  536s |      17 |   346492 |   221232 |    23098     19 |      841 |      840
538.71/538.80	c  538s |      17 |   347500 |   222032 |    23098     19 |      841 |      840
540.81/540.96	c  540s |      17 |   348259 |   222732 |    23098     19 |      841 |      840
542.91/543.05	c  542s |      17 |   349022 |   223432 |    23098     19 |      841 |      840
545.11/545.22	c  544s |      17 |   349957 |   224232 |    23098     19 |      841 |      840
547.11/547.26	c  546s |      17 |   350771 |   224932 |    23098     19 |      841 |      840
549.21/549.37	c  549s |      17 |   351609 |   225632 |    23098     19 |      841 |      840
551.41/551.52	c  551s |      17 |   352424 |   226332 |    23098     19 |      841 |      840
553.61/553.75	c  553s |      17 |   353254 |   227032 |    23098     19 |      841 |      840
555.91/556.08	c  555s |      17 |   354095 |   227732 |    23098     19 |      841 |      840
558.01/558.17	c  557s |      17 |   354779 |   228332 |    23098     19 |      841 |      840
560.11/560.20	c  559s |      17 |   355641 |   229032 |    23098     19 |      841 |      840
562.41/562.52	c  562s |      17 |   356459 |   229732 |    23098     19 |      841 |      840
564.71/564.81	c  564s |      17 |   357292 |   230432 |    23098     19 |      841 |      840
566.80/566.93	c  566s |      17 |   357970 |   231032 |    23098     19 |      841 |      840
569.00/569.12	c  568s |      17 |   358658 |   231632 |    23098     19 |      841 |      840
571.00/571.20	c  570s |      17 |   359340 |   232232 |    23098     19 |      841 |      840
573.30/573.44	c  573s |      17 |   360029 |   232832 |    23098     20 |      841 |      840
575.60/575.72	c  575s |      17 |   360961 |   233632 |    23098     20 |      841 |      840
577.60/577.78	c  577s |      17 |   361778 |   234332 |    23098     20 |      841 |      840
579.80/579.96	c  579s |      17 |   362452 |   234932 |    23098     20 |      841 |      840
581.91/582.02	c  581s |      17 |   363134 |   235532 |    23098     20 |      841 |      840
584.11/584.27	c  583s |      17 |   363910 |   236232 |    23098     20 |      841 |      840
586.40/586.53	c  586s |      17 |   364697 |   236932 |    23098     20 |      841 |      840
588.70/588.87	c  588s |      17 |   365350 |   237532 |    23098     20 |      841 |      840
590.90/591.05	c  590s |      17 |   366023 |   238132 |    23098     20 |      841 |      840
593.20/593.34	c  593s |      17 |   366694 |   238732 |    23098     20 |      841 |      840
595.50/595.60	c  595s |      17 |   367347 |   239332 |    23098     20 |      841 |      840
597.50/597.61	c  597s |      17 |   368009 |   239932 |    23098     20 |      841 |      840
599.70/599.89	c  599s |      17 |   368851 |   240632 |    23098     20 |      841 |      840
602.00/602.17	c  601s |      17 |   369527 |   241232 |    23098     20 |      841 |      840
604.40/604.52	c  604s |      17 |   370206 |   241832 |    23098     20 |      841 |      840
606.70/606.82	c  606s |      17 |   370874 |   242432 |    23098     20 |      841 |      840
608.70/608.87	c  608s |      17 |   371422 |   242932 |    23098     20 |      841 |      840
610.90/611.05	c  610s |      17 |   371965 |   243432 |    23098     20 |      841 |      840
612.99/613.15	c  612s |      17 |   372537 |   243932 |    23098     20 |      841 |      840
615.29/615.45	c  615s |      17 |   373230 |   244532 |    23098     20 |      841 |      840
617.59/617.76	c  617s |      17 |   373791 |   245032 |    23098     20 |      841 |      840
619.59/619.79	c  619s |      17 |   374447 |   245432 |    23098     21 |      841 |      840
621.69/621.90	c  621s |      17 |   376281 |   246532 |    23098     21 |      841 |      840
623.79/623.90	c  623s |      17 |   377829 |   247632 |    23098     21 |      841 |      840
625.99/626.10	c  625s |      17 |   379240 |   248732 |    23098     21 |      841 |      840
628.19/628.32	c  628s |      17 |   380522 |   249732 |    23098     21 |      841 |      840
630.39/630.51	c  630s |      17 |   381683 |   250632 |    23098     21 |      841 |      840
632.40/632.52	c  632s |      17 |   382707 |   251432 |    23098     21 |      841 |      840
634.39/634.56	c  634s |      17 |   383633 |   252132 |    23098     21 |      841 |      840
636.69/636.80	c  636s |      17 |   385073 |   253132 |    23098     21 |      841 |      840
638.79/638.93	c  638s |      17 |   386106 |   253932 |    23098     21 |      841 |      840
640.99/641.17	c  640s |      17 |   387057 |   254732 |    23098     21 |      841 |      840
643.09/643.29	c  643s |      17 |   387845 |   255432 |    23098     21 |      841 |      840
645.29/645.43	c  645s |      17 |   388639 |   256132 |    23098     21 |      841 |      840
647.29/647.48	c  647s |      17 |   389357 |   256732 |    23098     21 |      841 |      840
649.59/649.77	c  649s |      17 |   390311 |   257432 |    23098     21 |      841 |      840
651.69/651.86	c  651s |      17 |   391312 |   258132 |    23098     21 |      841 |      840
654.29/654.45	c  654s |      17 |   392344 |   258932 |    23098     22 |      841 |      840
656.29/656.48	c  656s |      17 |   393401 |   259832 |    23098     22 |      841 |      840
658.49/658.63	c  658s |      17 |   394909 |   260932 |    23098     22 |      841 |      840
660.59/660.71	c  660s |      17 |   396159 |   261932 |    23098     22 |      841 |      840
662.59/662.77	c  662s |      17 |   397259 |   262832 |    23098     22 |      841 |      840
664.69/664.87	c  664s |      17 |   398248 |   263632 |    23098     22 |      841 |      840
666.89/667.06	c  666s |      17 |   399221 |   264432 |    23098     22 |      841 |      840
669.09/669.25	c  668s |      17 |   400457 |   265332 |    23098     22 |      841 |      840
671.09/671.27	c  670s |      17 |   401530 |   266132 |    23098     22 |      841 |      840
673.20/673.35	c  673s |      17 |   402787 |   267032 |    23098     22 |      841 |      840
675.30/675.45	c  675s |      17 |   403858 |   267832 |    23098     22 |      841 |      840
677.50/677.62	c  677s |      17 |   404816 |   268532 |    23098     22 |      841 |      840
679.70/679.90	c  679s |      17 |   405849 |   269332 |    23098     22 |      841 |      840
681.90/682.01	c  681s |      17 |   407688 |   270232 |    23098     22 |      841 |      840
683.89/684.07	c  683s |      17 |   411191 |   271232 |    23098     23 |      841 |      840
685.99/686.11	c  685s |      17 |   416524 |   273032 |    23098     23 |      841 |      840
687.99/688.16	c  687s |      17 |   421494 |   274832 |    23098     23 |      841 |      840
690.19/690.30	c  690s |      17 |   423316 |   276132 |    23098     23 |      841 |      840
692.19/692.30	c  692s |      17 |   424992 |   277232 |    23098     23 |      841 |      840
694.19/694.36	c  694s |      17 |   426231 |   278232 |    23098     23 |      841 |      840
696.19/696.36	c  696s |      17 |   427341 |   279132 |    23098     23 |      841 |      840
698.39/698.56	c  698s |      17 |   428253 |   279932 |    23098     23 |      841 |      840
700.69/700.81	c  700s |      17 |   429169 |   280732 |    23098     23 |      841 |      840
702.79/702.93	c  702s |      17 |   430112 |   281532 |    23098     23 |      841 |      840
704.99/705.18	c  704s |      17 |   431061 |   282332 |    23098     23 |      841 |      840
707.19/707.40	c  707s |      17 |   431997 |   283132 |    23098     23 |      841 |      840
709.39/709.51	c  709s |      17 |   432847 |   283832 |    23098     23 |      841 |      840
711.78/711.98	c  711s |      17 |   433841 |   284532 |    23098     24 |      841 |      840
713.98/714.10	c  713s |      17 |   436800 |   286032 |    23098     24 |      841 |      840
715.99/716.15	c  715s |      17 |   438484 |   287232 |    23098     24 |      841 |      840
717.98/718.19	c  717s |      17 |   439717 |   288232 |    23098     24 |      841 |      840
720.08/720.27	c  719s |      17 |   440843 |   289132 |    23098     24 |      841 |      840
722.28/722.45	c  722s |      17 |   441943 |   290032 |    23098     24 |      841 |      840
724.48/724.62	c  724s |      17 |   443053 |   290932 |    23098     24 |      841 |      840
726.58/726.78	c  726s |      17 |   444081 |   291732 |    23098     24 |      841 |      840
728.68/728.88	c  728s |      17 |   445467 |   292732 |    23098     24 |      841 |      840
730.98/731.12	c  730s |      17 |   446894 |   293732 |    23098     24 |      841 |      840
733.18/733.34	c  733s |      17 |   448185 |   294732 |    25408     24 |      841 |      840
735.48/735.60	c  735s |      17 |   449269 |   295632 |    25408     24 |      841 |      840
737.08/737.25	c  736s |      18 |   450058 |   296252 |    25408     24 |      841 |      840
739.08/739.27	c  738s |      18 |   459374 |   297852 |    25408     24 |      841 |      840
741.28/741.42	c  741s |      18 |   463168 |   299452 |    25408     25 |      841 |      840
743.27/743.49	c  743s |      18 |   465386 |   300952 |    25408     25 |      841 |      840
745.37/745.56	c  745s |      18 |   466715 |   302052 |    25408     25 |      841 |      840
747.57/747.71	c  747s |      18 |   468392 |   303252 |    25408     25 |      841 |      840
749.67/749.81	c  749s |      18 |   469407 |   304152 |    25408     25 |      841 |      840
751.67/751.88	c  751s |      18 |   470357 |   304952 |    25408     25 |      841 |      840
753.77/753.92	c  753s |      18 |   471337 |   305752 |    25408     25 |      841 |      840
755.87/756.05	c  755s |      18 |   472740 |   306752 |    25408     25 |      841 |      840
758.07/758.28	c  758s |      18 |   474001 |   307752 |    25408     25 |      841 |      840
760.17/760.33	c  760s |      18 |   474948 |   308552 |    25408     25 |      841 |      840
762.27/762.49	c  762s |      18 |   476060 |   309452 |    25408     25 |      841 |      840
764.47/764.66	c  764s |      18 |   477008 |   310252 |    25408     25 |      841 |      840
766.67/766.81	c  766s |      18 |   478038 |   311052 |    25408     25 |      841 |      840
768.77/768.98	c  768s |      18 |   479054 |   311852 |    25408     25 |      841 |      840
770.86/771.02	c  770s |      18 |   480066 |   312652 |    25408     25 |      841 |      840
773.06/773.25	c  772s |      18 |   480969 |   313452 |    25408     25 |      841 |      840
775.66/775.83	c  775s |      18 |   481758 |   314152 |    25408     26 |      841 |      840
777.86/778.00	c  777s |      18 |   482523 |   314852 |    25408     26 |      841 |      840
779.87/780.01	c  779s |      18 |   483333 |   315552 |    25408     26 |      841 |      840
781.86/782.09	c  781s |      18 |   484164 |   316252 |    25408     26 |      841 |      840
784.27/784.44	c  784s |      18 |   484964 |   316952 |    25408     26 |      841 |      840
786.37/786.59	c  786s |      18 |   485637 |   317552 |    25408     26 |      841 |      840
788.67/788.83	c  788s |      18 |   486310 |   318152 |    25408     26 |      841 |      840
790.97/791.13	c  790s |      18 |   486974 |   318752 |    25408     26 |      841 |      840
792.97/793.15	c  792s |      18 |   487538 |   319252 |    25408     26 |      841 |      840
795.07/795.26	c  794s |      18 |   488217 |   319852 |    25408     26 |      841 |      840
797.26/797.40	c  797s |      18 |   488894 |   320452 |    25408     26 |      841 |      840
799.26/799.42	c  799s |      18 |   489470 |   320952 |    25408     26 |      841 |      840
801.26/801.43	c  801s |      18 |   490025 |   321452 |    25408     26 |      841 |      840
803.46/803.67	c  803s |      18 |   490725 |   322052 |    25408     26 |      841 |      840
805.76/805.90	c  805s |      18 |   491451 |   322652 |    25408     26 |      841 |      840
807.86/808.01	c  807s |      18 |   492025 |   323152 |    25408     26 |      841 |      840
810.16/810.36	c  810s |      18 |   492696 |   323752 |    25408     26 |      841 |      840
812.26/812.44	c  812s |      18 |   493270 |   324252 |    25408     26 |      841 |      840
814.46/814.65	c  814s |      18 |   493810 |   324752 |    25408     26 |      841 |      840
816.76/816.95	c  816s |      18 |   494359 |   325252 |    25408     26 |      841 |      840
818.96/819.16	c  818s |      18 |   494901 |   325752 |    25408     26 |      841 |      840
821.16/821.32	c  821s |      18 |   495436 |   326252 |    25408     26 |      841 |      840
823.26/823.40	c  823s |      18 |   495981 |   326752 |    25408     26 |      841 |      840
825.26/825.43	c  825s |      18 |   496539 |   327252 |    25408     26 |      841 |      840
827.36/827.59	c  827s |      18 |   497110 |   327752 |    25408     26 |      841 |      840
829.76/829.90	c  829s |      18 |   497673 |   328252 |    25408     26 |      841 |      840
831.96/832.19	c  831s |      18 |   498156 |   328652 |    25408     27 |      841 |      840
834.26/834.46	c  834s |      18 |   499029 |   329352 |    25408     27 |      841 |      840
836.36/836.56	c  836s |      18 |   499829 |   330052 |    25408     27 |      841 |      840
838.56/838.77	c  838s |      18 |   500706 |   330752 |    25408     27 |      841 |      840
840.65/840.84	c  840s |      18 |   501631 |   331452 |    25408     27 |      841 |      840
842.75/842.94	c  842s |      18 |   502493 |   332152 |    25408     27 |      841 |      840
844.85/845.09	c  844s |      18 |   503300 |   332852 |    25408     27 |      841 |      840
847.15/847.36	c  847s |      18 |   503975 |   333452 |    25408     27 |      841 |      840
849.55/849.75	c  849s |      18 |   504633 |   334052 |    25408     27 |      841 |      840
851.65/851.89	c  851s |      18 |   505163 |   334552 |    25408     27 |      841 |      840
853.75/853.90	c  853s |      18 |   505869 |   335152 |    25408     27 |      841 |      840
855.85/856.01	c  855s |      18 |   506537 |   335752 |    25408     27 |      841 |      840
858.15/858.36	c  858s |      18 |   507212 |   336352 |    25408     27 |      841 |      840
860.25/860.41	c  860s |      18 |   507774 |   336852 |    25408     27 |      841 |      840
862.44/862.68	c  862s |      18 |   508467 |   337452 |    25408     27 |      841 |      840
864.74/864.90	c  864s |      18 |   509032 |   337952 |    25408     27 |      841 |      840
866.84/867.05	c  866s |      18 |   509593 |   338452 |    25408     27 |      841 |      840
868.95/869.19	c  868s |      18 |   510161 |   338952 |    25408     27 |      841 |      840
871.24/871.48	c  871s |      18 |   510862 |   339552 |    25408     27 |      841 |      840
873.54/873.76	c  873s |      18 |   511444 |   340052 |    25408     27 |      841 |      840
875.64/875.83	c  875s |      18 |   511890 |   340452 |    25408     27 |      841 |      840
877.65/877.87	c  877s |      18 |   512355 |   340852 |    25408     27 |      841 |      840
879.95/880.17	c  879s |      18 |   513061 |   341452 |    25408     27 |      841 |      840
882.14/882.39	c  882s |      18 |   513647 |   341952 |    25408     27 |      841 |      840
884.63/884.82	c  884s |      18 |   514200 |   342452 |    25408     27 |      841 |      840
886.63/886.87	c  886s |      18 |   514521 |   342752 |    25408     28 |      841 |      840
888.64/888.87	c  888s |      18 |   515057 |   343252 |    25408     28 |      841 |      840
890.84/891.03	c  890s |      18 |   515758 |   343852 |    25408     28 |      841 |      840
892.93/893.10	c  892s |      18 |   524354 |   345952 |    25408     28 |      841 |      840
894.93/895.19	c  894s |      18 |   529387 |   347852 |    25408     28 |      841 |      840
897.13/897.32	c  897s |      18 |   530853 |   349052 |    25408     28 |      841 |      840
899.23/899.49	c  899s |      18 |   532054 |   350052 |    25408     28 |      841 |      840
901.52/901.71	c  901s |      18 |   532950 |   350852 |    25408     28 |      841 |      840
903.72/903.90	c  903s |      18 |   533854 |   351652 |    25408     28 |      841 |      840
905.92/906.12	c  905s |      18 |   534978 |   352652 |    25408     28 |      841 |      840
908.12/908.35	c  908s |      18 |   536004 |   353552 |    25408     28 |      841 |      840
910.32/910.53	c  910s |      18 |   537007 |   354452 |    25408     28 |      841 |      840
912.52/912.75	c  912s |      18 |   537915 |   355252 |    25408     28 |      841 |      840
914.62/914.87	c  914s |      18 |   542030 |   356652 |    25408     28 |      841 |      840
916.72/916.96	c  916s |      18 |   543297 |   357552 |    25408     29 |      841 |      840
918.82/919.07	c  918s |      18 |   544431 |   358452 |    25408     29 |      841 |      840
921.02/921.22	c  920s |      18 |   545650 |   359452 |    25408     29 |      841 |      840
923.22/923.40	c  923s |      18 |   546776 |   360352 |    25408     29 |      841 |      840
925.22/925.47	c  925s |      18 |   547746 |   361152 |    25408     29 |      841 |      840
927.32/927.54	c  927s |      18 |   548575 |   361852 |    25408     29 |      841 |      840
929.32/929.58	c  929s |      18 |   549852 |   362752 |    25408     29 |      841 |      840
931.41/931.62	c  931s |      18 |   550749 |   363452 |    25408     29 |      841 |      840
933.51/933.73	c  933s |      18 |   551627 |   364152 |    25408     29 |      841 |      840
935.61/935.87	c  935s |      18 |   552475 |   364852 |    25408     29 |      841 |      840
937.61/937.88	c  937s |      18 |   553340 |   365552 |    25408     29 |      841 |      840
939.81/940.02	c  939s |      18 |   554218 |   366252 |    25408     29 |      841 |      840
942.01/942.21	c  941s |      18 |   555258 |   367052 |    25408     29 |      841 |      840
944.01/944.29	c  944s |      18 |   556263 |   367852 |    25408     29 |      841 |      840
946.11/946.39	c  946s |      18 |   557103 |   368552 |    25408     29 |      841 |      840
948.41/948.61	c  948s |      18 |   557966 |   369252 |    25408     29 |      841 |      840
950.61/950.81	c  950s |      18 |   558779 |   369952 |    25408     29 |      841 |      840
952.71/952.90	c  952s |      18 |   559640 |   370652 |    25408     29 |      841 |      840
954.90/955.19	c  954s |      18 |   560462 |   371352 |    25408     29 |      841 |      840
957.30/957.50	c  957s |      18 |   561230 |   371952 |    25408     30 |      841 |      840
959.50/959.79	c  959s |      18 |   562141 |   372652 |    25408     30 |      841 |      840
961.60/961.82	c  961s |      18 |   562976 |   373352 |    25408     30 |      841 |      840
963.70/963.95	c  963s |      18 |   563730 |   373952 |    25408     30 |      841 |      840
966.00/966.26	c  965s |      18 |   564591 |   374652 |    25408     30 |      841 |      840
968.11/968.31	c  968s |      18 |   565138 |   375152 |    25408     30 |      841 |      840
970.41/970.65	c  970s |      18 |   565889 |   375752 |    25408     30 |      841 |      840
972.61/972.86	c  972s |      18 |   568661 |   376852 |    25408     30 |      841 |      840
974.71/974.97	c  974s |      18 |   572999 |   378352 |    25408     30 |      841 |      840
976.72/976.97	c  976s |      18 |   574759 |   379352 |    25408     30 |      841 |      840
978.92/979.19	c  978s |      18 |   576734 |   380552 |    25408     30 |      841 |      840
981.01/981.29	c  981s |      18 |   578097 |   381452 |    25408     30 |      841 |      840
983.10/983.38	c  983s |      18 |   580030 |   382652 |    25408     30 |      841 |      840
985.20/985.44	c  985s |      18 |   581454 |   383652 |    25408     30 |      841 |      840
987.40/987.63	c  987s |      18 |   582662 |   384552 |    25408     30 |      841 |      840
989.50/989.76	c  989s |      18 |   583672 |   385352 |    25408     30 |      841 |      840
991.60/991.83	c  991s |      18 |   584570 |   386052 |    25408     31 |      841 |      840
993.60/993.85	c  993s |      18 |   585784 |   387052 |    25408     31 |      841 |      840
995.60/995.87	c  995s |      18 |   587385 |   388052 |    25408     31 |      841 |      840
997.80/998.03	c  997s |      18 |   589159 |   389252 |    25408     31 |      841 |      840
1000.00/1000.21	c  999s |      18 |   590675 |   390352 |    25408     31 |      841 |      840
1002.00/1002.25	c 1001s |      18 |   592031 |   391352 |    25408     31 |      841 |      840
1004.00/1004.27	c 1003s |      18 |   593194 |   392252 |    25408     31 |      841 |      840
1006.10/1006.34	c 1006s |      18 |   594192 |   393052 |    25408     31 |      841 |      840
1008.20/1008.40	c 1008s |      18 |   595223 |   393852 |    25408     31 |      841 |      840
1010.30/1010.53	c 1010s |      18 |   596660 |   394852 |    25408     31 |      841 |      840
1012.49/1012.70	c 1012s |      18 |   597674 |   395652 |    25408     31 |      841 |      840
1014.49/1014.70	c 1014s |      18 |   598526 |   396352 |    25408     31 |      841 |      840
1016.59/1016.83	c 1016s |      18 |   599367 |   397052 |    25408     31 |      841 |      840
1018.59/1018.87	c 1018s |      18 |   600219 |   397752 |    25408     31 |      841 |      840
1020.70/1020.99	c 1020s |      18 |   601208 |   398552 |    25408     31 |      841 |      840
1022.99/1023.24	c 1022s |      18 |   602406 |   399452 |    25408     31 |      841 |      840
1025.10/1025.31	c 1025s |      18 |   603296 |   400252 |    25408     31 |      841 |      840
1027.19/1027.47	c 1027s |      18 |   604187 |   400952 |    25408     32 |      841 |      840
1029.29/1029.54	c 1029s |      18 |   605074 |   401752 |    25408     32 |      841 |      840
1031.39/1031.61	c 1031s |      18 |   605886 |   402452 |    25408     32 |      841 |      840
1033.59/1033.82	c 1033s |      18 |   606801 |   403252 |    25408     32 |      841 |      840
1035.59/1035.83	c 1035s |      18 |   607822 |   404052 |    25408     32 |      841 |      840
1037.79/1038.03	c 1037s |      18 |   608911 |   404952 |    25408     32 |      841 |      840
1039.78/1040.05	c 1039s |      18 |   609901 |   405752 |    25408     32 |      841 |      840
1041.88/1042.18	c 1041s |      18 |   610692 |   406452 |    25408     32 |      841 |      840
1044.18/1044.40	c 1044s |      18 |   611668 |   407252 |    25408     32 |      841 |      840
1046.18/1046.49	c 1046s |      18 |   612577 |   407952 |    25408     32 |      841 |      840
1048.28/1048.59	c 1048s |      18 |   613433 |   408652 |    25408     32 |      841 |      840
1050.58/1050.84	c 1050s |      18 |   614291 |   409352 |    25408     32 |      841 |      840
1052.78/1053.01	c 1052s |      18 |   615021 |   409952 |    25408     32 |      841 |      840
1054.88/1055.10	c 1054s |      18 |   615761 |   410552 |    25408     32 |      841 |      840
1056.89/1057.19	c 1056s |      18 |   616494 |   411152 |    25408     32 |      841 |      840
1058.98/1059.24	c 1058s |      18 |   617193 |   411752 |    25408     32 |      841 |      840
1061.08/1061.34	c 1061s |      18 |   617932 |   412352 |    25408     32 |      841 |      840
1063.28/1063.50	c 1063s |      18 |   618652 |   412952 |    25408     32 |      841 |      840
1065.58/1065.81	c 1065s |      18 |   619351 |   413552 |    25408     32 |      841 |      840
1067.67/1067.95	c 1067s |      18 |   620043 |   414152 |    25408     32 |      841 |      840
1070.08/1070.34	c 1070s |      18 |   620613 |   414652 |    25408     33 |      841 |      840
1072.38/1072.67	c 1072s |      18 |   621429 |   415352 |    25408     33 |      841 |      840
1074.48/1074.72	c 1074s |      18 |   622146 |   415952 |    25408     33 |      841 |      840
1076.68/1076.90	c 1076s |      18 |   623138 |   416752 |    25408     33 |      841 |      840
1078.88/1079.17	c 1078s |      18 |   623944 |   417452 |    25408     33 |      841 |      840
1080.97/1081.20	c 1080s |      18 |   624665 |   418052 |    25408     33 |      841 |      840
1083.17/1083.46	c 1083s |      18 |   625619 |   418852 |    25408     33 |      841 |      840
1085.27/1085.55	c 1085s |      18 |   626453 |   419552 |    25408     33 |      841 |      840
1087.27/1087.57	c 1087s |      18 |   627168 |   420152 |    25408     33 |      841 |      840
1089.57/1089.88	c 1089s |      18 |   628003 |   420852 |    25408     33 |      841 |      840
1091.56/1091.89	c 1091s |      18 |   628757 |   421452 |    25408     33 |      841 |      840
1093.76/1094.01	c 1093s |      18 |   629616 |   422152 |    25408     33 |      841 |      840
1095.86/1096.16	c 1095s |      18 |   630328 |   422752 |    25408     33 |      841 |      840
1097.86/1098.16	c 1097s |      18 |   630914 |   423252 |    25408     33 |      841 |      840
1100.26/1100.51	c 1100s |      18 |   631598 |   423852 |    25408     33 |      841 |      840
1102.46/1102.70	c 1102s |      18 |   632279 |   424452 |    25408     33 |      841 |      840
1104.56/1104.84	c 1104s |      18 |   632852 |   424952 |    25408     33 |      841 |      840
1107.06/1107.30	c 1107s |      18 |   633413 |   425452 |    25408     33 |      841 |      840
1109.16/1109.50	c 1109s |      18 |   633995 |   425952 |    25408     33 |      841 |      840
1111.25/1111.56	c 1111s |      18 |   634596 |   426452 |    25408     33 |      841 |      840
1113.45/1113.71	c 1113s |      18 |   635156 |   426952 |    25408     33 |      841 |      840
1115.85/1116.10	c 1115s |      18 |   635712 |   427452 |    25408     33 |      841 |      840
1117.85/1118.18	c 1117s |      18 |   636294 |   427952 |    25408     33 |      841 |      840
1120.35/1120.70	c 1120s |      18 |   636846 |   428452 |    25408     33 |      841 |      840
1123.25/1123.53	c 1123s |      18 |   637450 |   428952 |    25408     34 |      841 |      840
1125.25/1125.54	c 1125s |      18 |   638206 |   429552 |    25408     34 |      841 |      840
1127.25/1127.59	c 1127s |      18 |   639067 |   430252 |    25408     34 |      841 |      840
1129.45/1129.70	c 1129s |      18 |   639881 |   430952 |    25408     34 |      841 |      840
1131.55/1131.84	c 1131s |      18 |   640590 |   431552 |    25408     34 |      841 |      840
1133.65/1133.95	c 1133s |      18 |   641284 |   432152 |    25408     34 |      841 |      840
1135.75/1136.10	c 1135s |      18 |   642149 |   432852 |    25408     34 |      841 |      840
1137.95/1138.25	c 1137s |      18 |   642871 |   433452 |    25408     34 |      841 |      840
1140.25/1140.54	c 1140s |      18 |   643554 |   434052 |    25408     34 |      841 |      840
1142.34/1142.61	c 1142s |      18 |   644129 |   434552 |    25408     34 |      841 |      840
1144.34/1144.64	c 1144s |      18 |   644733 |   435052 |    25408     34 |      841 |      840
1146.64/1146.90	c 1146s |      18 |   645602 |   435752 |    25408     34 |      841 |      840
1148.84/1149.13	c 1148s |      18 |   646306 |   436352 |    25408     34 |      841 |      840
1151.24/1151.51	c 1151s |      18 |   647025 |   436952 |    25408     34 |      841 |      840
1153.44/1153.77	c 1153s |      18 |   647723 |   437552 |    25408     34 |      841 |      840
1155.43/1155.79	c 1155s |      18 |   648318 |   438052 |    25408     34 |      841 |      840
1157.93/1158.20	c 1157s |      18 |   648996 |   438652 |    25408     34 |      841 |      840
1159.93/1160.24	c 1159s |      18 |   649552 |   439152 |    25408     34 |      841 |      840
1162.33/1162.62	c 1162s |      18 |   650260 |   439752 |    25408     34 |      841 |      840
1164.33/1164.64	c 1164s |      18 |   650871 |   440252 |    25408     34 |      841 |      840
1166.52/1166.87	c 1166s |      18 |   651424 |   440752 |    25408     34 |      841 |      840
1168.62/1168.93	c 1168s |      18 |   652026 |   441252 |    25408     34 |      841 |      840
1170.72/1171.02	c 1170s |      18 |   652575 |   441752 |    27949     34 |      841 |      840
1173.12/1173.48	c 1173s |      18 |   653116 |   442252 |    27949     34 |      841 |      840
1175.52/1175.81	c 1175s |      18 |   653693 |   442752 |    27949     34 |      841 |      840
1177.52/1177.85	c 1177s |      18 |   654148 |   443152 |    27949     34 |      841 |      840
1180.02/1180.35	c 1180s |      18 |   654709 |   443652 |    27949     34 |      841 |      840
1182.01/1182.39	c 1182s |      18 |   655166 |   444052 |    27949     34 |      841 |      840
1184.31/1184.65	c 1184s |      18 |   655602 |   444452 |    27949     34 |      841 |      840
1184.52/1184.82	c 1184s |      19 |   655642 |   444482 |    27949     34 |      841 |      840
1186.51/1186.85	c 1186s |      19 |   657304 |   445182 |    27949     35 |      841 |      840
1188.61/1188.90	c 1188s |      19 |   662225 |   447382 |    27949     35 |      841 |      840
1190.60/1190.97	c 1190s |      19 |   664707 |   448982 |    27949     35 |      841 |      840
1192.80/1193.14	c 1192s |      19 |   666312 |   450182 |    27949     35 |      841 |      840
1194.90/1195.22	c 1194s |      19 |   667483 |   451182 |    27949     35 |      841 |      840
1196.90/1197.27	c 1196s |      19 |   668455 |   451982 |    27949     35 |      841 |      840
1199.00/1199.30	c 1199s |      19 |   669604 |   452882 |    27949     35 |      841 |      840
1201.00/1201.33	c 1201s |      19 |   670785 |   453882 |    27949     35 |      841 |      840
1203.00/1203.34	c 1203s |      19 |   671677 |   454682 |    27949     35 |      841 |      840
1205.00/1205.34	c 1205s |      19 |   673327 |   455782 |    27949     35 |      841 |      840
1207.10/1207.45	c 1207s |      19 |   675049 |   456982 |    27949     35 |      841 |      840
1209.30/1209.64	c 1209s |      19 |   676219 |   457982 |    27949     35 |      841 |      840
1211.59/1211.90	c 1211s |      19 |   677310 |   458882 |    27949     35 |      841 |      840
1213.69/1214.01	c 1213s |      19 |   678225 |   459682 |    27949     35 |      841 |      840
1215.79/1216.12	c 1215s |      19 |   679184 |   460482 |    27949     35 |      841 |      840
1217.89/1218.26	c 1217s |      19 |   680051 |   461182 |    27949     36 |      841 |      840
1220.19/1220.50	c 1220s |      19 |   681018 |   461982 |    27949     36 |      841 |      840
1222.28/1222.68	c 1222s |      19 |   681810 |   462682 |    27949     36 |      841 |      840
1224.59/1224.93	c 1224s |      19 |   682589 |   463382 |    27949     36 |      841 |      840
1226.59/1226.97	c 1226s |      19 |   683270 |   463982 |    27949     36 |      841 |      840
1228.69/1229.09	c 1228s |      19 |   683911 |   464582 |    27949     36 |      841 |      840
1230.78/1231.16	c 1230s |      19 |   684445 |   465082 |    27949     36 |      841 |      840
1232.98/1233.38	c 1233s |      19 |   685123 |   465682 |    27949     36 |      841 |      840
1235.28/1235.60	c 1235s |      19 |   686416 |   466582 |    27949     36 |      841 |      840
1237.38/1237.79	c 1237s |      19 |   687409 |   467382 |    27949     36 |      841 |      840
1239.58/1239.91	c 1239s |      19 |   688247 |   468082 |    27949     36 |      841 |      840
1241.87/1242.26	c 1241s |      19 |   689069 |   468782 |    27949     36 |      841 |      840
1244.17/1244.51	c 1244s |      19 |   689941 |   469482 |    27949     36 |      841 |      840
1246.37/1246.71	c 1246s |      19 |   690892 |   470182 |    27949     36 |      841 |      840
1248.67/1249.01	c 1248s |      19 |   692170 |   471082 |    27949     36 |      841 |      840
1250.67/1251.05	c 1250s |      19 |   693039 |   471782 |    27949     36 |      841 |      840
1252.77/1253.17	c 1252s |      19 |   693747 |   472382 |    27949     36 |      841 |      840
1254.97/1255.37	c 1255s |      19 |   694650 |   473082 |    27949     36 |      841 |      840
1257.17/1257.56	c 1257s |      19 |   695417 |   473682 |    27949     36 |      841 |      840
1259.36/1259.76	c 1259s |      19 |   696142 |   474282 |    27949     36 |      841 |      840
1261.76/1262.17	c 1261s |      19 |   696853 |   474882 |    27949     36 |      841 |      840
1263.96/1264.39	c 1264s |      19 |   697456 |   475382 |    27949     36 |      841 |      840
1266.06/1266.41	c 1266s |      19 |   698044 |   475882 |    27949     36 |      841 |      840
1268.16/1268.57	c 1268s |      19 |   698622 |   476382 |    27949     36 |      841 |      840
1270.45/1270.82	c 1270s |      19 |   699074 |   476782 |    27949     37 |      841 |      840
1272.65/1273.06	c 1272s |      19 |   699927 |   477482 |    27949     37 |      841 |      840
1274.75/1275.14	c 1274s |      19 |   700736 |   478182 |    27949     37 |      841 |      840
1277.05/1277.43	c 1277s |      19 |   701537 |   478882 |    27949     37 |      841 |      840
1279.15/1279.55	c 1279s |      19 |   702207 |   479482 |    27949     37 |      841 |      840
1281.25/1281.68	c 1281s |      19 |   702868 |   480082 |    27949     37 |      841 |      840
1283.45/1283.81	c 1283s |      19 |   703544 |   480682 |    27949     37 |      841 |      840
1285.74/1286.13	c 1285s |      19 |   704200 |   481282 |    27949     37 |      841 |      840
1288.04/1288.44	c 1288s |      19 |   704857 |   481882 |    27949     37 |      841 |      840
1290.44/1290.80	c 1290s |      19 |   705520 |   482482 |    27949     37 |      841 |      840
1292.64/1293.05	c 1292s |      19 |   706171 |   483082 |    27949     37 |      841 |      840
1295.03/1295.47	c 1295s |      19 |   706809 |   483682 |    27949     37 |      841 |      840
1297.13/1297.54	c 1297s |      19 |   707345 |   484182 |    27949     37 |      841 |      840
1299.23/1299.68	c 1299s |      19 |   707890 |   484682 |    27949     37 |      841 |      840
1301.34/1301.71	c 1301s |      19 |   708445 |   485182 |    27949     37 |      841 |      840
1303.44/1303.83	c 1303s |      19 |   708989 |   485682 |    27949     37 |      841 |      840
1305.84/1306.23	c 1305s |      19 |   709528 |   486182 |    27949     37 |      841 |      840
1307.84/1308.29	c 1308s |      19 |   710151 |   486682 |    27949     37 |      841 |      840
1310.04/1310.41	c 1310s |      19 |   710750 |   487182 |    27949     37 |      841 |      840
1312.13/1312.51	c 1312s |      19 |   711325 |   487682 |    27949     37 |      841 |      840
1314.24/1314.62	c 1314s |      19 |   711894 |   488182 |    27949     37 |      841 |      840
1316.53/1316.91	c 1316s |      19 |   712453 |   488682 |    27949     37 |      841 |      840
1318.83/1319.23	c 1318s |      19 |   713020 |   489182 |    27949     37 |      841 |      840
1321.23/1321.61	c 1321s |      19 |   713744 |   489782 |    27949     37 |      841 |      840
1323.23/1323.67	c 1323s |      19 |   714187 |   490182 |    27949     37 |      841 |      840
1325.42/1325.85	c 1325s |      19 |   714732 |   490682 |    27949     37 |      841 |      840
1327.62/1328.03	c 1327s |      19 |   715282 |   491182 |    27949     37 |      841 |      840
1329.82/1330.29	c 1330s |      19 |   715895 |   491682 |    27949     37 |      841 |      840
1332.82/1333.24	c 1332s |      19 |   716508 |   492182 |    27949     38 |      841 |      840
1335.02/1335.50	c 1335s |      19 |   717273 |   492782 |    27949     38 |      841 |      840
1337.22/1337.66	c 1337s |      19 |   717952 |   493382 |    27949     38 |      841 |      840
1339.52/1339.96	c 1339s |      19 |   718659 |   493982 |    27949     38 |      841 |      840
1341.81/1342.22	c 1341s |      19 |   719330 |   494582 |    27949     38 |      841 |      840
1344.21/1344.60	c 1344s |      19 |   719999 |   495182 |    27949     38 |      841 |      840
1346.31/1346.72	c 1346s |      19 |   720552 |   495682 |    27949     38 |      841 |      840
1348.51/1348.97	c 1348s |      19 |   721094 |   496182 |    27949     38 |      841 |      840
1350.90/1351.32	c 1351s |      19 |   721756 |   496782 |    27949     38 |      841 |      840
1352.90/1353.36	c 1353s |      19 |   722306 |   497282 |    27949     38 |      841 |      840
1355.20/1355.60	c 1355s |      19 |   722854 |   497782 |    27949     38 |      841 |      840
1357.40/1357.84	c 1357s |      19 |   723404 |   498282 |    27949     38 |      841 |      840
1359.50/1359.97	c 1359s |      19 |   723948 |   498782 |    27949     38 |      841 |      840
1361.59/1362.01	c 1361s |      19 |   724504 |   499282 |    27949     38 |      841 |      840
1363.61/1364.10	c 1363s |      19 |   724925 |   499682 |    27949     38 |      841 |      840
1366.20/1366.62	c 1366s |      19 |   725457 |   500182 |    27949     38 |      841 |      840
1368.40/1368.80	c 1368s |      19 |   725883 |   500582 |    27949     38 |      841 |      840
1370.79/1371.26	c 1370s |      19 |   726437 |   501082 |    27949     38 |      841 |      840
1373.09/1373.51	c 1373s |      19 |   726859 |   501482 |    27949     38 |      841 |      840
1375.39/1375.84	c 1375s |      19 |   727312 |   501882 |    27949     38 |      841 |      840
1377.79/1378.30	c 1378s |      19 |   727871 |   502382 |    27949     38 |      841 |      840
1379.89/1380.34	c 1380s |      19 |   728315 |   502782 |    27949     38 |      841 |      840
1382.30/1382.75	c 1382s |      19 |   728731 |   503182 |    27949     38 |      841 |      840
1384.69/1385.19	c 1384s |      19 |   729147 |   503582 |    27949     38 |      841 |      840
1387.09/1387.56	c 1387s |      19 |   729567 |   503982 |    27949     38 |      841 |      840
1389.29/1389.78	c 1389s |      19 |   730007 |   504382 |    27949     38 |      841 |      840
1391.59/1392.00	c 1391s |      19 |   730440 |   504782 |    27949     38 |      841 |      840
1393.89/1394.31	c 1394s |      19 |   730880 |   505182 |    27949     38 |      841 |      840
1396.19/1396.64	c 1396s |      19 |   731319 |   505582 |    27949     38 |      841 |      840
1398.79/1399.26	c 1398s |      19 |   731764 |   505982 |    27949     38 |      841 |      840
1400.99/1401.46	c 1401s |      19 |   732176 |   506382 |    27949     38 |      841 |      840
1403.39/1403.81	c 1403s |      19 |   732604 |   506782 |    27949     38 |      841 |      840
1405.69/1406.11	c 1405s |      19 |   733021 |   507182 |    27949     38 |      841 |      840
1408.48/1408.92	c 1408s |      19 |   733372 |   507482 |    27949     39 |      841 |      840
1410.78/1411.20	c 1410s |      19 |   734221 |   508182 |    27949     39 |      841 |      840
1412.88/1413.33	c 1413s |      19 |   735043 |   508882 |    27949     39 |      841 |      840
1414.88/1415.34	c 1415s |      19 |   736533 |   509782 |    27949     39 |      841 |      840
1417.08/1417.53	c 1417s |      19 |   737807 |   510682 |    27949     39 |      841 |      840
1419.18/1419.60	c 1419s |      19 |   738565 |   511282 |    27949     39 |      841 |      840
1421.38/1421.82	c 1421s |      19 |   739137 |   511782 |    27949     39 |      841 |      840
1423.48/1423.95	c 1423s |      19 |   739736 |   512282 |    27949     39 |      841 |      840
1425.78/1426.26	c 1425s |      19 |   740672 |   512982 |    27949     39 |      841 |      840
1427.98/1428.42	c 1428s |      19 |   741518 |   513682 |    27949     39 |      841 |      840
1430.08/1430.57	c 1430s |      19 |   742295 |   514282 |    27949     39 |      841 |      840
1432.28/1432.72	c 1432s |      19 |   743275 |   515082 |    27949     39 |      841 |      840
1434.58/1435.03	c 1434s |      19 |   744097 |   515782 |    27949     39 |      841 |      840
1436.68/1437.14	c 1436s |      19 |   744668 |   516282 |    27949     39 |      841 |      840
1438.88/1439.36	c 1439s |      19 |   745304 |   516782 |    27949     39 |      841 |      840
1441.08/1441.55	c 1441s |      19 |   746150 |   517482 |    27949     39 |      841 |      840
1443.18/1443.67	c 1443s |      19 |   746858 |   518082 |    27949     39 |      841 |      840
1445.48/1445.90	c 1445s |      19 |   747573 |   518682 |    27949     39 |      841 |      840
1447.48/1447.94	c 1447s |      19 |   748497 |   519382 |    27949     39 |      841 |      840
1449.87/1450.35	c 1450s |      19 |   749434 |   520082 |    27949     39 |      841 |      840
1452.07/1452.56	c 1452s |      19 |   750149 |   520682 |    27949     39 |      841 |      840
1454.37/1454.83	c 1454s |      19 |   750843 |   521282 |    27949     39 |      841 |      840
1456.57/1457.09	c 1456s |      19 |   751426 |   521782 |    27949     39 |      841 |      840
1458.77/1459.21	c 1458s |      19 |   751978 |   522282 |    27949     39 |      841 |      840
1460.87/1461.31	c 1461s |      19 |   752575 |   522782 |    27949     39 |      841 |      840
1464.17/1464.63	c 1464s |      19 |   753024 |   523182 |    27949     40 |      841 |      840
1466.17/1466.69	c 1466s |      19 |   753600 |   523682 |    27949     40 |      841 |      840
1468.27/1468.78	c 1468s |      19 |   754281 |   524282 |    27949     40 |      841 |      840
1470.57/1471.09	c 1470s |      19 |   754828 |   524782 |    27949     40 |      841 |      840
1472.77/1473.27	c 1472s |      19 |   755268 |   525182 |    27949     40 |      841 |      840
1475.07/1475.52	c 1475s |      19 |   755993 |   525782 |    27949     40 |      841 |      840
1477.07/1477.54	c 1477s |      19 |   756663 |   526382 |    27949     40 |      841 |      840
1479.27/1479.78	c 1479s |      19 |   757456 |   526982 |    27949     40 |      841 |      840
1481.47/1481.97	c 1481s |      19 |   758338 |   527682 |    27949     40 |      841 |      840
1483.67/1484.18	c 1483s |      19 |   759178 |   528382 |    27949     40 |      841 |      840
1485.68/1486.18	c 1485s |      19 |   759910 |   528982 |    27949     40 |      841 |      840
1487.77/1488.20	c 1487s |      19 |   760753 |   529682 |    27949     40 |      841 |      840
1489.87/1490.36	c 1490s |      19 |   761477 |   530282 |    27949     40 |      841 |      840
1492.17/1492.63	c 1492s |      19 |   762219 |   530882 |    27949     40 |      841 |      840
1494.27/1494.70	c 1494s |      19 |   762987 |   531482 |    27949     40 |      841 |      840
1496.47/1496.96	c 1496s |      19 |   763696 |   532082 |    27949     40 |      841 |      840
1498.77/1499.28	c 1499s |      19 |   764629 |   532782 |    27949     40 |      841 |      840
1501.26/1501.73	c 1501s |      19 |   765490 |   533482 |    27949     40 |      841 |      840
1503.66/1504.15	c 1503s |      19 |   766060 |   533982 |    27949     40 |      841 |      840
1505.86/1506.30	c 1506s |      19 |   766692 |   534482 |    27949     40 |      841 |      840
1508.06/1508.59	c 1508s |      19 |   767151 |   534882 |    27949     40 |      841 |      840
1510.56/1511.08	c 1510s |      19 |   767599 |   535282 |    27949     40 |      841 |      840
1512.96/1513.49	c 1513s |      19 |   768168 |   535782 |    27949     40 |      841 |      840
1515.26/1515.79	c 1515s |      19 |   768634 |   536182 |    27949     40 |      841 |      840
1517.46/1517.96	c 1517s |      19 |   769088 |   536582 |    27949     40 |      841 |      840
1519.66/1520.19	c 1519s |      19 |   769517 |   536982 |    27949     40 |      841 |      840
1521.86/1522.38	c 1522s |      19 |   769982 |   537382 |    27949     40 |      841 |      840
1524.17/1524.66	c 1524s |      19 |   770427 |   537782 |    27949     40 |      841 |      840
1526.56/1527.07	c 1526s |      19 |   770873 |   538182 |    27949     40 |      841 |      840
1529.26/1529.70	c 1529s |      19 |   771309 |   538582 |    27949     40 |      841 |      840
1531.26/1531.73	c 1531s |      19 |   771838 |   538982 |    27949     41 |      841 |      840
1533.47/1533.95	c 1533s |      19 |   772773 |   539782 |    27949     41 |      841 |      840
1535.67/1536.17	c 1535s |      19 |   773421 |   540382 |    27949     41 |      841 |      840
1537.86/1538.39	c 1538s |      19 |   774235 |   541082 |    27949     41 |      841 |      840
1539.96/1540.49	c 1540s |      19 |   775085 |   541782 |    27949     41 |      841 |      840
1542.46/1542.93	c 1542s |      19 |   775769 |   542382 |    27949     41 |      841 |      840
1544.56/1545.00	c 1544s |      19 |   776460 |   542982 |    27949     41 |      841 |      840
1546.56/1547.01	c 1546s |      19 |   777017 |   543482 |    27949     41 |      841 |      840
1548.96/1549.45	c 1549s |      19 |   777717 |   544082 |    27949     41 |      841 |      840
1551.16/1551.65	c 1551s |      19 |   778269 |   544582 |    27949     41 |      841 |      840
1553.46/1553.98	c 1553s |      19 |   778805 |   545082 |    27949     41 |      841 |      840
1555.66/1556.19	c 1555s |      19 |   779498 |   545682 |    27949     41 |      841 |      840
1557.76/1558.24	c 1557s |      19 |   780047 |   546182 |    27949     41 |      841 |      840
1560.06/1560.58	c 1560s |      19 |   780726 |   546782 |    27949     41 |      841 |      840
1562.26/1562.79	c 1562s |      19 |   781281 |   547282 |    27949     41 |      841 |      840
1564.56/1565.10	c 1564s |      19 |   781829 |   547782 |    27949     41 |      841 |      840
1566.96/1567.48	c 1567s |      19 |   782375 |   548282 |    27949     41 |      841 |      840
1569.36/1569.89	c 1569s |      19 |   782910 |   548782 |    27949     41 |      841 |      840
1571.96/1572.47	c 1572s |      19 |   783467 |   549282 |    27949     41 |      841 |      840
1574.15/1574.67	c 1574s |      19 |   783896 |   549682 |    27949     41 |      841 |      840
1576.55/1577.03	c 1576s |      19 |   784470 |   550182 |    27949     41 |      841 |      840
1578.55/1579.08	c 1578s |      19 |   784897 |   550582 |    27949     41 |      841 |      840
1580.65/1581.15	c 1580s |      19 |   785324 |   550982 |    27949     41 |      841 |      840
1582.85/1583.37	c 1583s |      19 |   785770 |   551382 |    27949     41 |      841 |      840
1584.95/1585.43	c 1585s |      19 |   786226 |   551782 |    27949     41 |      841 |      840
1587.05/1587.54	c 1587s |      19 |   786664 |   552182 |    27949     41 |      841 |      840
1589.45/1589.93	c 1589s |      19 |   787109 |   552582 |    27949     41 |      841 |      840
1591.95/1592.40	c 1592s |      19 |   787688 |   553082 |    27949     41 |      841 |      840
1594.15/1594.68	c 1594s |      19 |   788118 |   553482 |    27949     41 |      841 |      840
1596.46/1596.90	c 1596s |      19 |   788564 |   553882 |    27949     41 |      841 |      840
1598.46/1598.95	c 1598s |      19 |   789033 |   554282 |    27949     41 |      841 |      840
1600.76/1601.23	c 1600s |      19 |   789359 |   554582 |    27949     42 |      841 |      840
1603.06/1603.51	c 1603s |      19 |   789913 |   555082 |    27949     42 |      841 |      840
1605.16/1605.65	c 1605s |      19 |   790351 |   555482 |    27949     42 |      841 |      840
1607.36/1607.89	c 1607s |      19 |   790785 |   555882 |    27949     42 |      841 |      840
1609.46/1609.91	c 1609s |      19 |   791211 |   556282 |    27949     42 |      841 |      840
1611.86/1612.31	c 1612s |      19 |   791647 |   556682 |    27949     42 |      841 |      840
1614.05/1614.54	c 1614s |      19 |   792070 |   557082 |    27949     42 |      841 |      840
1616.15/1616.64	c 1616s |      19 |   792505 |   557482 |    27949     42 |      841 |      840
1618.35/1618.87	c 1618s |      19 |   792936 |   557882 |    27949     42 |      841 |      840
1620.75/1621.21	c 1620s |      19 |   793368 |   558282 |    27949     42 |      841 |      840
1622.75/1623.27	c 1622s |      19 |   793793 |   558682 |    27949     42 |      841 |      840
1625.15/1625.64	c 1625s |      19 |   794222 |   559082 |    27949     42 |      841 |      840
1627.45/1627.90	c 1627s |      19 |   794654 |   559482 |    27949     42 |      841 |      840
1629.76/1630.24	c 1629s |      19 |   795077 |   559882 |    27949     42 |      841 |      840
1632.15/1632.64	c 1632s |      19 |   795507 |   560282 |    27949     42 |      841 |      840
1634.55/1635.03	c 1634s |      19 |   795960 |   560682 |    27949     42 |      841 |      840
1636.95/1637.43	c 1637s |      19 |   796530 |   561182 |    27949     42 |      841 |      840
1639.45/1639.94	c 1639s |      19 |   796971 |   561582 |    27949     42 |      841 |      840
1641.65/1642.17	c 1641s |      19 |   797439 |   561982 |    27949     42 |      841 |      840
1644.05/1644.50	c 1644s |      19 |   797863 |   562382 |    27949     42 |      841 |      840
1646.25/1646.73	c 1646s |      19 |   798589 |   562982 |    27949     42 |      841 |      840
1648.34/1648.84	c 1648s |      19 |   799328 |   563582 |    27949     42 |      841 |      840
1650.34/1650.86	c 1650s |      19 |   799886 |   564082 |    27949     42 |      841 |      840
1652.34/1652.89	c 1652s |      19 |   800458 |   564582 |    27949     42 |      841 |      840
1654.44/1654.94	c 1654s |      19 |   801044 |   565082 |    27949     42 |      841 |      840
1656.64/1657.17	c 1656s |      19 |   801708 |   565682 |    27949     42 |      841 |      840
1658.84/1659.31	c 1659s |      19 |   802241 |   566182 |    27949     42 |      841 |      840
1661.24/1661.72	c 1661s |      19 |   802780 |   566682 |    27949     42 |      841 |      840
1663.34/1663.88	c 1663s |      19 |   803341 |   567182 |    27949     42 |      841 |      840
1665.74/1666.21	c 1665s |      19 |   803909 |   567682 |    27949     42 |      841 |      840
1667.94/1668.48	c 1668s |      19 |   804486 |   568182 |    27949     42 |      841 |      840
1670.04/1670.58	c 1670s |      19 |   804912 |   568582 |    27949     42 |      841 |      840
1672.34/1672.89	c 1672s |      19 |   805475 |   569082 |    27949     42 |      841 |      840
1674.85/1675.36	c 1675s |      19 |   806032 |   569582 |    27949     42 |      841 |      840
1676.94/1677.44	c 1677s |      19 |   806475 |   569982 |    27949     42 |      841 |      840
1679.25/1679.75	c 1679s |      19 |   806812 |   570282 |    27949     43 |      841 |      840
1681.34/1681.83	c 1681s |      19 |   807358 |   570782 |    27949     43 |      841 |      840
1683.34/1683.88	c 1683s |      19 |   807909 |   571282 |    27949     43 |      841 |      840
1685.44/1685.95	c 1685s |      19 |   808463 |   571782 |    27949     43 |      841 |      840
1687.44/1687.98	c 1687s |      19 |   809014 |   572282 |    27949     43 |      841 |      840
1689.64/1690.15	c 1689s |      19 |   809559 |   572782 |    27949     43 |      841 |      840
1691.83/1692.35	c 1692s |      19 |   810096 |   573282 |    27949     43 |      841 |      840
1694.03/1694.56	c 1694s |      19 |   810644 |   573782 |    27949     43 |      841 |      840
1696.43/1696.92	c 1696s |      19 |   811190 |   574282 |    27949     43 |      841 |      840
1698.63/1699.16	c 1698s |      19 |   811623 |   574682 |    27949     43 |      841 |      840
1700.73/1701.28	c 1701s |      19 |   812058 |   575082 |    27949     43 |      841 |      840
1703.03/1703.51	c 1703s |      19 |   812501 |   575482 |    27949     43 |      841 |      840
1705.13/1705.68	c 1705s |      19 |   812946 |   575882 |    27949     43 |      841 |      840
1707.23/1707.71	c 1707s |      19 |   813383 |   576282 |    27949     43 |      841 |      840
1709.33/1709.83	c 1709s |      19 |   813827 |   576682 |    27949     43 |      841 |      840
1711.33/1711.88	c 1711s |      19 |   814267 |   577082 |    27949     43 |      841 |      840
1713.63/1714.19	c 1713s |      19 |   814703 |   577482 |    27949     43 |      841 |      840
1715.83/1716.30	c 1716s |      19 |   815131 |   577882 |    27949     43 |      841 |      840
1717.84/1718.32	c 1718s |      19 |   815580 |   578282 |    27949     43 |      841 |      840
1720.04/1720.52	c 1720s |      19 |   816014 |   578682 |    27949     43 |      841 |      840
1722.24/1722.73	c 1722s |      19 |   816571 |   579182 |    27949     43 |      841 |      840
1724.34/1724.81	c 1724s |      19 |   817010 |   579582 |    27949     43 |      841 |      840
1726.33/1726.83	c 1726s |      19 |   817439 |   579982 |    27949     43 |      841 |      840
1728.43/1728.95	c 1728s |      19 |   817880 |   580382 |    27949     43 |      841 |      840
1730.73/1731.24	c 1730s |      19 |   818416 |   580882 |    27949     43 |      841 |      840
1732.94/1733.42	c 1733s |      19 |   818963 |   581382 |    27949     43 |      841 |      840
1735.04/1735.52	c 1735s |      19 |   819387 |   581782 |    27949     43 |      841 |      840
1737.34/1737.84	c 1737s |      19 |   819795 |   582182 |    27949     43 |      841 |      840
1739.64/1740.12	c 1739s |      19 |   820220 |   582582 |    27949     43 |      841 |      840
1741.84/1742.32	c 1742s |      19 |   820649 |   582982 |    27949     43 |      841 |      840
1744.14/1744.61	c 1744s |      19 |   821070 |   583382 |    27949     43 |      841 |      840
1746.63/1747.14	c 1746s |      19 |   821617 |   583882 |    27949     43 |      841 |      840
1748.83/1749.39	c 1749s |      19 |   822049 |   584282 |    27949     43 |      841 |      840
1750.84/1751.39	c 1751s |      19 |   822483 |   584682 |    27949     43 |      841 |      840
1753.13/1753.68	c 1753s |      19 |   822914 |   585082 |    27949     43 |      841 |      840
1755.24/1755.79	c 1755s |      19 |   823349 |   585482 |    27949     43 |      841 |      840
1757.44/1757.95	c 1757s |      19 |   823678 |   585782 |    27949     44 |      841 |      840
1759.83/1760.33	c 1760s |      19 |   824229 |   586282 |    27949     44 |      841 |      840
1762.03/1762.57	c 1762s |      19 |   824780 |   586782 |    27949     44 |      841 |      840
1764.53/1765.02	c 1764s |      19 |   825314 |   587282 |    27949     44 |      841 |      840
1766.83/1767.38	c 1767s |      19 |   825864 |   587782 |    27949     44 |      841 |      840
1769.23/1769.75	c 1769s |      19 |   826414 |   588282 |    27949     44 |      841 |      840
1771.53/1772.06	c 1771s |      19 |   826967 |   588782 |    27949     44 |      841 |      840
1773.63/1774.17	c 1773s |      19 |   827684 |   589382 |    27949     44 |      841 |      840
1776.04/1776.50	c 1776s |      19 |   828349 |   589982 |    27949     44 |      841 |      840
1778.03/1778.52	c 1778s |      19 |   828905 |   590482 |    27949     44 |      841 |      840
1780.03/1780.57	c 1780s |      19 |   829435 |   590982 |    27949     44 |      841 |      840
1782.43/1782.98	c 1782s |      19 |   829992 |   591482 |    27949     44 |      841 |      840
1784.53/1785.00	c 1784s |      19 |   830534 |   591982 |    27949     44 |      841 |      840
1786.53/1787.04	c 1786s |      19 |   831093 |   592482 |    27949     44 |      841 |      840
1788.73/1789.22	c 1788s |      19 |   831665 |   592982 |    27949     44 |      841 |      840
1790.82/1791.38	c 1791s |      19 |   832220 |   593482 |    27949     44 |      841 |      840
1793.02/1793.59	c 1793s |      19 |   832762 |   593982 |    27949     44 |      841 |      840
1795.12/1795.61	c 1795s |      19 |   833229 |   594382 |    27949     44 |      841 |      840
1797.52/1798.09	c 1797s |      19 |   833778 |   594882 |    27949     44 |      841 |      840
1799.92/1800.44	c 1800s |      19 |   834198 |   595282 |    27949     44 |      841 |      840

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.09 5/181 32754
/proc/meminfo: memFree=31854800/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=783804 CPUtime=0 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 2932 0 0 0 0 0 0 0 20 0 4 0 31121954 802615296 3293 33554432000 4194304 16246674 140737018695136 140737018694560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32754/statm: 196463 3303 441 2943 0 193357 0
[pid=32754/tid=32755] ppid=32748 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 820441088 3361 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 824635392 3378 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31121954 828829696 3395 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 0.92 0.98 1.09 5/181 32754
/proc/meminfo: memFree=31854800/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 28468 0 0 0 6 3 0 0 20 0 4 0 31121954 1249447936 28767 33554432000 4194304 16246674 140737018695136 140737018694448 4220489 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32754/statm: 305041 28767 802 2943 0 301935 0
[pid=32754/tid=32755] ppid=32748 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1249447936 28767 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1249447936 28767 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1249447936 28767 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200497 s]
/proc/loadavg: 0.92 0.98 1.09 5/181 32754
/proc/meminfo: memFree=31854800/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1301060 CPUtime=0.18 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 48675 0 0 0 12 6 0 0 20 0 4 0 31121954 1332285440 48974 33554432000 4194304 16246674 140737018695136 140737018677056 12480888 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32754/statm: 325265 48974 843 2943 0 322159 0
[pid=32754/tid=32755] ppid=32748 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 48974 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 48974 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 48974 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300459 s]
/proc/loadavg: 0.92 0.98 1.09 5/181 32754
/proc/meminfo: memFree=31854800/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 54810 0 0 0 22 7 0 0 20 0 4 0 31121954 1332285440 55109 33554432000 4194304 16246674 140737018695136 140737018677056 13780501 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32754/statm: 325265 55114 883 2943 0 322159 0
[pid=32754/tid=32755] ppid=32748 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 55116 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 55120 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 55123 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700384 s]
/proc/loadavg: 0.92 0.98 1.09 5/181 32754
/proc/meminfo: memFree=31854800/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1301060 CPUtime=0.68 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 104179 0 0 0 54 14 0 0 20 0 4 0 31121954 1332285440 104478 33554432000 4194304 16246674 140737018695136 140737018677056 5724508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32754/statm: 325265 104483 883 2943 0 322159 0
[pid=32754/tid=32755] ppid=32748 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 104486 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 104492 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1332285440 104497 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50034 s]
/proc/loadavg: 0.92 0.98 1.09 4/186 32759
/proc/meminfo: memFree=30599088/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 208505 0 0 0 121 28 0 0 20 0 4 0 31121954 1333334016 208804 33554432000 4194304 16246674 140737018695136 140737018677056 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32754/statm: 325521 208809 883 2943 0 322415 0
[pid=32754/tid=32755] ppid=32748 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1333334016 208810 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1333334016 208813 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1333334016 208815 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10034 s]
/proc/loadavg: 0.92 0.98 1.09 4/186 32759
/proc/meminfo: memFree=29705040/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 269356 0 0 0 272 37 0 0 20 0 4 0 31121954 1344868352 269655 33554432000 4194304 16246674 140737018695136 140737018677056 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 328337 269655 889 2943 0 325231 0
[pid=32754/tid=32755] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269655 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269655 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269655 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30034 s]
/proc/loadavg: 1.01 1.00 1.10 4/186 32759
/proc/meminfo: memFree=29704116/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 269525 0 0 0 592 37 0 0 20 0 4 0 31121954 1344868352 269824 33554432000 4194304 16246674 140737018695136 140737018677056 5712709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 328337 269824 891 2943 0 325231 0
[pid=32754/tid=32755] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269824 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269824 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269824 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7003 s]
/proc/loadavg: 1.09 1.02 1.10 4/186 32759
/proc/meminfo: memFree=29704892/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 269525 0 0 0 1232 37 0 0 20 0 4 0 31121954 1344868352 269824 33554432000 4194304 16246674 140737018695136 140737018677056 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 328337 269824 891 2943 0 325231 0
[pid=32754/tid=32755] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269824 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269824 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269824 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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: 1.29 1.06 1.11 4/185 32759
/proc/meminfo: memFree=29705976/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 269526 0 0 0 2512 37 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140737018695136 140737018677056 5673867 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 328337 269825 892 2943 0 325231 0
[pid=32754/tid=32755] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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: 1.53 1.14 1.13 4/185 32760
/proc/meminfo: memFree=29706180/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 269526 0 0 0 5071 37 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140737018695136 140737018677056 13774524 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 328337 269825 892 2943 0 325231 0
[pid=32754/tid=32755] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1344868352 269825 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 1.84 1.28 1.18 4/185 32761
/proc/meminfo: memFree=29696432/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1322564 CPUtime=102.28 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 271776 0 0 0 10190 38 0 0 20 0 4 0 31121954 1354305536 272075 33554432000 4194304 16246674 140737018695136 140737018677056 5717496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 330641 272075 893 2943 0 327535 0
[pid=32754/tid=32755] ppid=32748 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1354305536 272075 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1354305536 272075 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1354305536 272075 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564


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

/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1345092

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.77 4/185 348
/proc/meminfo: memFree=29647240/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1345092 CPUtime=1361.9 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 277804 0 0 0 136141 49 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140737018677056 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 336273 277766 893 2943 0 333167 0
[pid=32754/tid=32755] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1345092

[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.78 4/185 349
/proc/meminfo: memFree=29645440/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1345092 CPUtime=1421.89 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 277816 0 0 0 142140 49 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140737018677056 5600804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 336273 277766 893 2943 0 333167 0
[pid=32754/tid=32755] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1345092

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.79 4/185 350
/proc/meminfo: memFree=29645840/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1345092 CPUtime=1481.87 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 277816 0 0 0 148138 49 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140737018694232 12415796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 336273 277766 893 2943 0 333167 0
[pid=32754/tid=32755] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1345092

[startup+1542.31 s]
/proc/loadavg: 2.11 2.02 1.81 4/185 351
/proc/meminfo: memFree=29646556/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1345092 CPUtime=1541.87 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 277816 0 0 0 154137 50 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140737018694312 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 336273 277766 893 2943 0 333167 0
[pid=32754/tid=32755] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1345092

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.82 4/185 353
/proc/meminfo: memFree=29646552/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1345092 CPUtime=1601.86 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 277816 0 0 0 160135 51 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140737018677056 5600232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 336273 277766 893 2943 0 333167 0
[pid=32754/tid=32755] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1345092

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.83 4/185 354
/proc/meminfo: memFree=29646536/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1345092 CPUtime=1661.84 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 277816 0 0 0 166133 51 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140737018677056 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 336273 277766 893 2943 0 333167 0
[pid=32754/tid=32755] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1345092

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/185 355
/proc/meminfo: memFree=29646280/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1345092 CPUtime=1721.83 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 277816 0 0 0 172132 51 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140737018677056 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 336273 277766 893 2943 0 333167 0
[pid=32754/tid=32755] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1345092

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.84 4/186 359
/proc/meminfo: memFree=29645984/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1345092 CPUtime=1781.83 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 277816 0 0 0 178131 52 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140737018677056 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 336273 277766 893 2943 0 333167 0
[pid=32754/tid=32755] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1345092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.84 4/186 359
/proc/meminfo: memFree=29645984/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1345092 CPUtime=1800.02 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 277816 0 0 0 179950 52 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140737018677056 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 336273 277766 893 2943 0 333167 0
[pid=32754/tid=32755] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1345092

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.84 4/186 359
/proc/meminfo: memFree=29645984/32872528 swapFree=8028/8028
[pid=32754] ppid=32748 vsize=1345092 CPUtime=1800.02 cores=0,2,4,6
/proc/32754/stat : 32754 (toysat) R 32748 32754 32706 0 -1 4202496 277816 0 0 0 179950 52 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140737018677056 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32754/statm: 336273 277766 893 2943 0 333167 0
[pid=32754/tid=32755] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32755/stat : 32755 (toysat) S 32748 32754 32706 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126667648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32754/tid=32756] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32756/stat : 32756 (toysat) S 32748 32754 32706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126657158384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32754/tid=32757] ppid=32748 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/32754/task/32757/stat : 32757 (toysat) S 32748 32754 32706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31121954 1377374208 277766 33554432000 4194304 16246674 140737018695136 140126646684848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1345092

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.51
CPU system time (s): 0.526919
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1345092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.526919
maximum resident set size= 1111064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277816
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= 367
involuntary context switches= 1931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.35734 second user time and 7.17391 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-27 00:40:38
IDJOB=4116189
IDBENCH=109439
IDSOLVER=2542
FILE ID=node133/4116189-1466980838
RUNJOBID= node133-1466980838-32722
PBS_JOBID= 19976360
Free space on /tmp= 71552 MiB

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

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

MD5SUM BENCH= 902e2a935630f24bfbc28d6df6eb3690
RANDOM SEED=144149311

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31861012 kB
Buffers:           24252 kB
Cached:           274260 kB
SwapCached:         1984 kB
Active:            72912 kB
Inactive:         228228 kB
Active(anon):       4224 kB
Inactive(anon):     1152 kB
Active(file):      68688 kB
Inactive(file):   227076 kB
Unevictable:        8028 kB
Mlocked:            8028 kB
SwapTotal:      67108856 kB
SwapFree:       67098340 kB
Dirty:             33516 kB
Writeback:             8 kB
AnonPages:         10768 kB
Mapped:             6744 kB
Shmem:                 0 kB
Slab:             568128 kB
SReclaimable:      11656 kB
SUnreclaim:       556472 kB
KernelStack:        1352 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     107380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71520 MiB
End job on node133 at 2016-06-27 01:10:39