Trace number 4101081

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.37

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb
MD5SUM6d89097601cc17df3da06374ded173c4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables77678
Total number of constraints1016
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1016
Minimum length of a constraint10
Maximum length of a constraint2430
Number of terms in the objective function 2760
Biggest coefficient in the objective function 9798
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526457
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262399
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526457
Number of bits of the biggest sum of numbers20
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-18T05:29:51+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-4101081-1466220590.opb"]
0.00/0.01	c use --random-gen="3379767178 2651166690 1988499001 2959580540 778898984 3110284694 4095335157 3273463778 60096934 3879255399 2938635247 3191198858 4114495676 1716458570 1792083912 2740713376 3430070610 3308732021 2308715425 3918566503 2025414516 2747002767 3769487549 352746822 3168575813 913245401 665640088 325356288 1191273520 4294474553 2784169815 1543361101 2892284982 2700375482 3854650710 3619726647 2195538645 3140248677 2850746398 3505366289 2043839406 2512700469 1817092018 368734578 589907679 1621613749 2949359240 2823415562 3139276959 3970522394 1779094825 3841151754 2245402645 1396249517 2594064591 2150511 4541750 1416435568 1129422467 431433075 295660631 3049402287 3477567663 3858837247 4116513854 1680478571 4061442694 2548292998 174425793 523927150 3070786025 2939996039 2408212982 3584908680 988284087 788911192 3449193578 668739099 1183572419 4209882586 3251359610 4278639235 2157502228 2004267692 892420093 3581970045 2558437924 609806367 3704505440 3221314239 1897808745 2787114371 1344060768 2738005220 2215850357 1713688945 1870791684 2129842811 2309085126 588131995 3237743503 686679292 3078083892 3038506352 236776201 2948105914 3997186427 4083117312 24727362 1879453426 2735721732 3334756099 356456230 3585560030 46770792 2906201437 1362833358 849991697 1956758732 1004726845 3349649141 3813848476 3738877817 4193562431 4024125079 3267477566 3055851177 938007315 4246197381 2739397867 3442304899 3141685397 1117300066 4042896846 2112558658 3785561898 2817305422 1905048299 2214793327 3170885202 488869141 707352046 637045367 327365394 3606637604 1977521585 1783089281 3690572366 4028205696 3920100552 979894519 2176393387 556477755 947014922 411237279 455193802 3424789943 367927498 2980600552 970088066 2237700622 2243508016 441336588 799134425 3100934919 3958560172 3177864498 869945245 949740451 1179912380 790027543 408000239 1739745057 2041856355 143481073 2599624722 3163544543 2320002325 4142974276 1438715819 1883512374 4128885572 924831039 1537589992 318681600 3197528116 2719082846 2191413520 2035742963 2376468863 1135474769 88868089 502670721 1870283621 1348352930 2998466785 3613631003 2669537937 1519116722 3367436786 1782292368 1106168066 4237849326 283244603 1529767584 233095529 4077104150 2532801843 3428184218 1495107145 1104465548 748701915 3830981570 3944993481 3924030638 763505631 3893778679 3171669265 2270129707 3283717804 1702156545 2867580044 2812563493 1775930550 899218359 3578706721 2560151696 1728166725 553558846 3821829673 3803295619 2189490664 4283050452 212366117 2626618462 2262853092 4053236555 3763206391 474383505 1353867285 2187106145 1894925089 3765696789 1980734857 1710408235 1351377638 56841677 955774394 356874691 1951481467 885495267 3220251146 2357520472 1945549724 3332453088 280057799 255 362436" option to reproduce the execution
0.39/0.44	c #vars 77678
0.39/0.44	c #constraints 1016
11.49/11.55	c BCD2: Hardening is enabled.
11.49/11.55	c BCD2: BiasedSearch is enabled.
11.49/11.55	c Solving starts ...
11.49/11.55	c ============================[ Search Statistics ]============================
11.49/11.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.49/11.55	c       |         |          |          |    Limit     GC | Var      | Constra 
11.49/11.55	c =============================================================================
11.49/11.55	c  0.0s |       0 |        0 |        0 |    26419      0 |    10130 |        0
11.69/11.72	c  0.2s |       1 |      670 |      100 |    26419      0 |    10131 |       56
11.89/11.90	c  0.4s |       2 |     1295 |      250 |    29061      0 |    10131 |       56
12.20/12.24	c  0.7s |       3 |     2018 |      475 |    31968      0 |    10133 |       56
12.59/12.64	c  1.1s |       4 |     2689 |      813 |    35165      0 |    10133 |       56
13.09/13.18	c  1.6s |       5 |     3480 |     1320 |    38682      0 |    10133 |       56
14.09/14.18	c  2.6s |       6 |     4816 |     2081 |    46807      0 |    10133 |       56
15.59/15.61	c  4.1s |       7 |     7709 |     3223 |    51488      0 |    10133 |       56
17.60/17.64	c  6.1s |       7 |    10844 |     4923 |    56637      0 |    10133 |       56
17.60/17.67	c  6.1s |       8 |    10855 |     4936 |    56637      0 |    10133 |       56
19.69/19.73	c  8.2s |       8 |    13295 |     6636 |    56637      0 |    10134 |       56
20.69/20.71	c  9.2s |       9 |    14209 |     7506 |    62301      0 |    10134 |       56
22.69/22.77	c 11.2s |       9 |    16276 |     9006 |    62301      0 |    10134 |       56
24.79/24.80	c 13.3s |       9 |    18569 |    10706 |    62301      0 |    10134 |       56
25.69/25.72	c 14.2s |      10 |    19399 |    11361 |    68532      0 |    10134 |       56
27.79/27.88	c 16.3s |      10 |    20621 |    12461 |    68532      0 |    10134 |       56
29.89/29.96	c 18.4s |      10 |    22140 |    13761 |    68532      0 |    10134 |       56
31.99/32.09	c 20.5s |      10 |    23292 |    14861 |    68532      0 |    10134 |       56
34.09/34.16	c 22.6s |      10 |    24331 |    15861 |    68532      0 |    10134 |       56
36.19/36.24	c 24.7s |      10 |    25395 |    16861 |    68532      0 |    10134 |       56
36.79/36.86	c 25.3s |      11 |    25686 |    17144 |    75386      0 |    10134 |       56
38.99/39.02	c 27.5s |      11 |    26720 |    18044 |    75386      0 |    10134 |       56
41.09/41.13	c 29.6s |      11 |    27802 |    18944 |    75386      0 |    10134 |       56
43.09/43.17	c 31.6s |      11 |    29062 |    20144 |    75386      0 |    10134 |       56
45.09/45.19	c 33.6s |      11 |    30217 |    21244 |    75386      0 |    10134 |       56
47.18/47.26	c 35.7s |      11 |    31355 |    22344 |    75386      0 |    10134 |       56
49.38/49.42	c 37.9s |      11 |    32363 |    23244 |    75386      0 |    10134 |       56
51.58/51.64	c 40.1s |      11 |    33389 |    24244 |    75386      0 |    10134 |       56
53.68/53.74	c 42.2s |      11 |    34289 |    25044 |    75386      0 |    10134 |       56
55.48/55.51	c 44.0s |      12 |    35269 |    25819 |    82925      0 |    10134 |       56
57.48/57.59	c 46.0s |      12 |    36363 |    26719 |    82925      0 |    10134 |       56
59.68/59.78	c 48.2s |      12 |    38079 |    27819 |    82925      0 |    10134 |       56
61.78/61.88	c 50.3s |      12 |    40772 |    28819 |    82925      0 |    10134 |       56
63.89/63.92	c 52.4s |      12 |    41794 |    29719 |    82925      0 |    10134 |       56
65.88/65.94	c 54.4s |      12 |    42919 |    30619 |    82925      0 |    10134 |       56
68.08/68.10	c 56.6s |      12 |    43815 |    31419 |    82925      0 |    10134 |       56
70.08/70.10	c 58.6s |      12 |    44693 |    32219 |    82925      0 |    10134 |       56
72.28/72.30	c 60.7s |      12 |    45705 |    33119 |    82925      0 |    10134 |       56
74.28/74.37	c 62.8s |      12 |    47119 |    34219 |    82925      0 |    10134 |       56
76.38/76.40	c 64.8s |      12 |    48138 |    35119 |    82925      0 |    10134 |       56
78.38/78.42	c 66.9s |      12 |    49169 |    36019 |    82925      0 |    10134 |       56
80.38/80.49	c 68.9s |      12 |    50226 |    37019 |    82925      0 |    10134 |       56
82.58/82.66	c 71.1s |      12 |    51650 |    38119 |    82925      0 |    10134 |       56
84.28/84.39	c 72.8s |      13 |    52434 |    38832 |    91218      0 |    10134 |       56
86.48/86.58	c 75.0s |      13 |    53443 |    39532 |    91218      0 |    10134 |       56
88.58/88.64	c 77.1s |      13 |    54457 |    40332 |    91218      0 |    10134 |       56
90.78/90.80	c 79.3s |      13 |    55456 |    41232 |    91218      0 |    10134 |       56
92.97/93.01	c 81.5s |      13 |    56460 |    42132 |    91218      0 |    10134 |       56
94.97/95.04	c 83.5s |      13 |    57423 |    42932 |    91218      0 |    10134 |       56
97.07/97.16	c 85.6s |      13 |    58349 |    43732 |    91218      0 |    10134 |       56
99.17/99.28	c 87.7s |      13 |    59394 |    44532 |    91218      0 |    10134 |       56
101.47/101.52	c 90.0s |      13 |    60423 |    45432 |    91218      0 |    10134 |       56
103.67/103.76	c 92.2s |      13 |    61306 |    46232 |    91218      0 |    10134 |       56
105.77/105.83	c 94.3s |      13 |    62141 |    47032 |    91218      0 |    10134 |       56
107.78/107.86	c 96.3s |      13 |    63154 |    47832 |    91218      0 |    10134 |       56
109.87/109.92	c 98.4s |      13 |    64404 |    48632 |    91218      0 |    10134 |       56
111.87/111.99	c  100s |      13 |    65664 |    49532 |    91218      0 |    10134 |       56
114.07/114.12	c  102s |      13 |    66554 |    50332 |    91218      0 |    10134 |       56
116.17/116.24	c  104s |      13 |    67549 |    51232 |    91218      0 |    10134 |       56
118.37/118.41	c  106s |      13 |    69327 |    52132 |    91218      0 |    10134 |       56
120.57/120.62	c  109s |      13 |    70627 |    53032 |    91218      0 |    10134 |       56
122.67/122.71	c  111s |      13 |    71606 |    53832 |    91218      0 |    10134 |       56
124.67/124.72	c  113s |      13 |    72746 |    54632 |    91218      0 |    10134 |       56
126.87/126.95	c  115s |      13 |    74014 |    55532 |    91218      0 |    10134 |       56
129.07/129.14	c  117s |      13 |    75201 |    56432 |    91218      0 |    10134 |       56
131.27/131.31	c  119s |      13 |    76420 |    57232 |    91218      0 |    10134 |       56
133.27/133.38	c  121s |      13 |    77152 |    57932 |    91218      0 |    10134 |       56
134.67/134.71	c  123s |      14 |    77903 |    58352 |   100340      0 |    10134 |       56
136.87/136.91	c  125s |      14 |    78714 |    58952 |   100340      0 |    10134 |       56
138.97/139.09	c  127s |      14 |    79495 |    59652 |   100340      0 |    10134 |       56
141.27/141.31	c  129s |      14 |    80361 |    60352 |   100340      0 |    10134 |       56
143.37/143.42	c  131s |      14 |    81203 |    61052 |   100340      0 |    10134 |       56
145.36/145.49	c  133s |      14 |    81967 |    61752 |   100340      0 |    10134 |       56
147.47/147.54	c  135s |      14 |    82917 |    62452 |   100340      0 |    10134 |       56
149.57/149.70	c  138s |      14 |    83777 |    63252 |   100340      0 |    10134 |       56
151.77/151.83	c  140s |      14 |    84533 |    63952 |   100340      0 |    10134 |       56
154.16/154.20	c  142s |      14 |    85304 |    64652 |   100340      0 |    10134 |       56
156.46/156.51	c  144s |      14 |    86361 |    65352 |   100340      0 |    10134 |       56
158.56/158.68	c  147s |      14 |    88385 |    66352 |   100340      0 |    10134 |       56
160.76/160.85	c  149s |      14 |    90187 |    67052 |   100340      0 |    10134 |       56
162.96/163.04	c  151s |      14 |    90924 |    67752 |   100340      0 |    10134 |       56
165.36/165.48	c  153s |      14 |    91671 |    68452 |   100340      0 |    10134 |       56
167.46/167.51	c  155s |      14 |    92116 |    68852 |   100340      0 |    10134 |       56
169.66/169.75	c  158s |      14 |    92929 |    69652 |   100340      0 |    10134 |       56
171.76/171.85	c  160s |      14 |    93639 |    70352 |   100340      0 |    10134 |       56
173.96/174.05	c  162s |      14 |    94357 |    71052 |   100340      0 |    10134 |       56
176.26/176.33	c  164s |      14 |    95091 |    71752 |   100340      0 |    10134 |       56
178.46/178.59	c  167s |      14 |    95817 |    72452 |   100340      0 |    10134 |       56
180.86/180.93	c  169s |      14 |    97063 |    73152 |   100340      0 |    10134 |       56
182.96/183.09	c  171s |      14 |    97723 |    73752 |   100340      0 |    10134 |       56
185.16/185.20	c  173s |      14 |    98421 |    74352 |   100340      0 |    10134 |       56
187.46/187.51	c  175s |      14 |    99003 |    74852 |   100340      0 |    10134 |       56
189.46/189.54	c  177s |      14 |    99615 |    75452 |   100340      0 |    10134 |       56
191.76/191.80	c  180s |      14 |   100135 |    75952 |   100340      0 |    10134 |       56
193.96/194.04	c  182s |      14 |   100782 |    76552 |   100340      0 |    10134 |       56
196.06/196.18	c  184s |      14 |   101579 |    77152 |   100340      0 |    10134 |       56
198.16/198.20	c  186s |      14 |   102852 |    77952 |   100340      0 |    10134 |       56
200.26/200.36	c  188s |      14 |   103954 |    78652 |   100340      0 |    10134 |       56
202.56/202.60	c  191s |      14 |   105353 |    79452 |   100340      0 |    10134 |       56
204.66/204.70	c  193s |      14 |   106575 |    80052 |   100340      0 |    10134 |       56
206.76/206.88	c  195s |      14 |   108295 |    80852 |   100340      0 |    10134 |       56
208.86/208.91	c  197s |      14 |   110076 |    81552 |   100340      0 |    10134 |       56
210.95/211.08	c  199s |      14 |   112255 |    82452 |   100340      0 |    10134 |       56
213.25/213.31	c  201s |      14 |   112956 |    83052 |   100340      0 |    10134 |       56
215.25/215.39	c  203s |      14 |   114648 |    83852 |   100340      0 |    10134 |       56
217.55/217.66	c  206s |      14 |   115693 |    84552 |   100340      0 |    10134 |       56
219.65/219.72	c  208s |      14 |   117065 |    85152 |   100340      0 |    10134 |       56
222.16/222.30	c  210s |      14 |   117837 |    85752 |   100340      0 |    10134 |       56
224.46/224.54	c  212s |      14 |   119980 |    86752 |   100340      0 |    10134 |       56
226.56/226.69	c  215s |      14 |   121135 |    87452 |   110375      0 |    10134 |       56
227.05/227.10	c  215s |      15 |   121448 |    87632 |   110375      0 |    10134 |       56
229.25/229.35	c  217s |      15 |   122110 |    88132 |   110375      0 |    10134 |       56
231.75/231.83	c  220s |      15 |   122698 |    88632 |   110375      0 |    10134 |       56
234.15/234.23	c  222s |      15 |   123150 |    89032 |   110375      0 |    10134 |       56
236.35/236.42	c  224s |      15 |   123579 |    89432 |   110375      0 |    10134 |       56
238.35/238.48	c  226s |      15 |   124035 |    89832 |   110375      0 |    10134 |       56
240.55/240.67	c  229s |      15 |   124362 |    90132 |   110375      0 |    10134 |       56
243.16/243.21	c  231s |      15 |   124772 |    90532 |   110375      0 |    10134 |       56
245.15/245.30	c  233s |      15 |   126229 |    91132 |   110375      0 |    10134 |       56
247.35/247.46	c  235s |      15 |   126799 |    91632 |   110375      0 |    10134 |       56
249.45/249.55	c  238s |      15 |   127467 |    92132 |   110375      0 |    10134 |       56
251.75/251.86	c  240s |      15 |   128166 |    92732 |   110375      0 |    10134 |       56
254.16/254.29	c  242s |      15 |   128706 |    93232 |   110375      0 |    10134 |       56
256.26/256.33	c  244s |      15 |   129119 |    93632 |   110375      0 |    10134 |       56
258.25/258.37	c  246s |      15 |   129640 |    94132 |   110375      0 |    10134 |       56
260.45/260.58	c  249s |      15 |   130077 |    94532 |   110375      0 |    10134 |       56
262.85/262.95	c  251s |      15 |   130518 |    94932 |   110375      0 |    10134 |       56
264.95/265.09	c  253s |      15 |   130936 |    95332 |   110375      0 |    10134 |       56
267.35/267.48	c  255s |      15 |   131357 |    95732 |   110375      0 |    10134 |       56
269.85/269.94	c  258s |      15 |   131773 |    96132 |   110375      0 |    10134 |       56
272.04/272.16	c  260s |      15 |   132177 |    96432 |   110375      0 |    10140 |       56
274.24/274.32	c  262s |      15 |   132635 |    96832 |   110375      0 |    10140 |       56
276.84/276.98	c  265s |      15 |   133038 |    97232 |   110375      0 |    10140 |       56
279.35/279.50	c  267s |      15 |   133448 |    97632 |   110375      0 |    10140 |       56
281.74/281.89	c  270s |      15 |   133891 |    98032 |   110375      0 |    10140 |       56
284.14/284.27	c  272s |      15 |   134307 |    98432 |   110375      0 |    10140 |       56
286.54/286.69	c  275s |      15 |   134708 |    98832 |   110375      0 |    10140 |       56
288.94/289.02	c  277s |      15 |   135113 |    99232 |   110375      0 |    10140 |       56
291.24/291.33	c  279s |      15 |   135518 |    99632 |   110375      0 |    10140 |       56
293.34/293.44	c  281s |      15 |   135821 |    99932 |   110375      0 |    10140 |       56
295.85/295.97	c  284s |      15 |   136245 |   100332 |   110375      0 |    10140 |       56
298.54/298.65	c  287s |      15 |   136651 |   100732 |   110375      0 |    10140 |       56
301.14/301.25	c  289s |      15 |   137068 |   101132 |   110375      0 |    10140 |       56
303.65/303.77	c  292s |      15 |   137464 |   101532 |   110375      0 |    10140 |       56
306.24/306.36	c  294s |      15 |   137874 |   101932 |   110375      0 |    10140 |       56
308.44/308.54	c  296s |      15 |   138172 |   102232 |   110375      0 |    10140 |       56
310.94/311.09	c  299s |      15 |   138482 |   102532 |   110375      0 |    10140 |       56
313.34/313.43	c  301s |      15 |   139444 |   103132 |   110375      0 |    10140 |       56
315.74/315.81	c  304s |      15 |   140244 |   103632 |   110375      0 |    10140 |       56
318.04/318.12	c  306s |      15 |   140817 |   104132 |   110375      0 |    10140 |       56
320.64/320.77	c  309s |      15 |   141819 |   104632 |   110375      0 |    10140 |       56
322.74/322.89	c  311s |      15 |   142675 |   105132 |   110375      0 |    10140 |       56
325.34/325.45	c  313s |      15 |   143116 |   105532 |   110375      0 |    10140 |       56
327.85/327.93	c  316s |      15 |   143656 |   106032 |   110375      0 |    10140 |       56
330.14/330.20	c  318s |      15 |   144204 |   106532 |   110375      0 |    10140 |       56
332.25/332.38	c  320s |      15 |   144642 |   106932 |   110375      0 |    10140 |       56
334.74/334.81	c  323s |      15 |   145112 |   107332 |   110375      0 |    10140 |       56
337.14/337.22	c  325s |      15 |   145528 |   107732 |   110375      0 |    10140 |       56
339.64/339.71	c  328s |      15 |   146091 |   108232 |   110375      0 |    10140 |       56
341.94/342.04	c  330s |      15 |   146430 |   108532 |   110375      0 |    10140 |       56
344.35/344.48	c  332s |      15 |   146740 |   108832 |   110375      0 |    10140 |       56
346.84/346.92	c  335s |      15 |   147150 |   109232 |   110375      0 |    10140 |       56
348.94/349.00	c  337s |      15 |   147679 |   109632 |   110375      0 |    10140 |       56
351.14/351.26	c  339s |      15 |   148222 |   110132 |   110375      0 |    10140 |       56
353.44/353.52	c  341s |      15 |   148736 |   110632 |   110375      0 |    10140 |       56
355.74/355.83	c  344s |      15 |   149278 |   111132 |   110375      0 |    10140 |       56
358.14/358.22	c  346s |      15 |   149703 |   111532 |   110375      0 |    10140 |       56
360.54/360.67	c  349s |      15 |   150171 |   111932 |   110375      0 |    10140 |       56
362.64/362.72	c  351s |      15 |   150780 |   112432 |   110375      0 |    10140 |       56
364.64/364.74	c  353s |      15 |   151087 |   112732 |   110375      0 |    10140 |       56
367.34/367.42	c  355s |      15 |   151412 |   113032 |   110375      0 |    10140 |       56
370.03/370.18	c  358s |      15 |   151733 |   113332 |   110375      0 |    10140 |       56
372.23/372.39	c  360s |      15 |   152042 |   113632 |   110375      0 |    10140 |       56
374.73/374.86	c  363s |      15 |   152454 |   114032 |   110375      0 |    10140 |       56
377.24/377.32	c  365s |      15 |   152957 |   114532 |   110375      0 |    10140 |       56
379.44/379.54	c  367s |      15 |   153477 |   115032 |   110375      0 |    10140 |       56
381.83/381.92	c  370s |      15 |   154078 |   115632 |   110375      0 |    10140 |       56
383.84/383.93	c  372s |      15 |   154592 |   116132 |   110375      0 |    10140 |       56
385.83/385.93	c  374s |      15 |   155097 |   116632 |   110375      0 |    10140 |       56
388.24/388.33	c  376s |      15 |   155706 |   117232 |   110375      0 |    10140 |       56
390.44/390.52	c  378s |      15 |   156225 |   117732 |   110375      0 |    10140 |       56
392.74/392.89	c  381s |      15 |   156730 |   118232 |   110375      0 |    10140 |       56
395.23/395.30	c  383s |      15 |   157231 |   118732 |   110375      0 |    10140 |       56
397.43/397.57	c  386s |      15 |   157636 |   119132 |   110375      0 |    10140 |       56
399.53/399.60	c  388s |      15 |   157957 |   119432 |   110375      0 |    10140 |       56
401.73/401.86	c  390s |      15 |   158163 |   119632 |   110375      0 |    10140 |       56
404.53/404.64	c  393s |      15 |   158474 |   119932 |   110375      0 |    10140 |       56
406.63/406.72	c  395s |      15 |   158897 |   120332 |   110375      0 |    10140 |       56
408.73/408.83	c  397s |      15 |   159397 |   120832 |   110375      0 |    10140 |       56
410.93/411.03	c  399s |      15 |   159808 |   121232 |   110375      0 |    10140 |       56
413.23/413.32	c  401s |      15 |   160114 |   121532 |   110375      0 |    10140 |       56
415.33/415.42	c  403s |      15 |   160527 |   121932 |   110375      0 |    10140 |       56
435.02/435.14	c  423s |      15 |   160630 |   122032 |   110375      1 |    10140 |       56
437.32/437.41	c  425s |      15 |   161138 |   122532 |   110375      1 |    10140 |       56
439.52/439.65	c  428s |      15 |   161678 |   123032 |   110375      1 |    10140 |       56
468.92/469.08	c  457s |      15 |   161798 |   123132 |   110375      1 |    10140 |       56
471.12/471.23	c  459s |      15 |   162369 |   123532 |   110375      1 |    10140 |       56
473.22/473.38	c  461s |      15 |   162844 |   123932 |   110375      1 |    10140 |       56
475.72/475.84	c  464s |      15 |   163420 |   124432 |   110375      1 |    10140 |       56
477.82/477.96	c  466s |      15 |   164016 |   124932 |   110375      1 |    10140 |       56
482.71/482.81	c  471s |      15 |   164250 |   125132 |   110375      1 |    10140 |       56
484.81/484.97	c  473s |      15 |   165121 |   125932 |   110375      1 |    10140 |       56
486.81/486.99	c  475s |      15 |   165981 |   126732 |   110375      1 |    10140 |       56
489.01/489.17	c  477s |      15 |   166924 |   127632 |   110375      1 |    10140 |       56
491.62/491.74	c  480s |      15 |   167952 |   128532 |   110375      1 |    10141 |       56
493.71/493.84	c  482s |      15 |   168630 |   129132 |   110375      1 |    10141 |       56
495.71/495.89	c  484s |      15 |   169064 |   129532 |   110375      1 |    10141 |       56
498.22/498.31	c  486s |      15 |   169624 |   130032 |   110375      1 |    10141 |       56
500.31/500.42	c  488s |      15 |   170185 |   130532 |   110375      1 |    10141 |       56
502.62/502.79	c  491s |      15 |   170859 |   131132 |   121413      1 |    10141 |       56
504.51/504.67	c  493s |      16 |   171328 |   131552 |   121413      1 |    10141 |       56
514.41/514.51	c  502s |      16 |   171608 |   131752 |   121413      1 |    10141 |       56
516.41/516.58	c  505s |      16 |   172473 |   132352 |   121413      1 |    10141 |       56
518.61/518.70	c  507s |      16 |   172999 |   132852 |   121413      1 |    10141 |       56
520.91/521.01	c  509s |      16 |   173642 |   133452 |   121413      1 |    10141 |       56
523.31/523.46	c  511s |      16 |   174419 |   134052 |   121413      1 |    10141 |       56
525.41/525.51	c  513s |      16 |   175077 |   134652 |   121413      1 |    10141 |       56
527.61/527.78	c  516s |      16 |   175735 |   135252 |   121413      1 |    10141 |       56
529.81/529.98	c  518s |      16 |   176487 |   135952 |   121413      1 |    10141 |       56
531.91/532.03	c  520s |      16 |   177296 |   136752 |   121413      1 |    10141 |       56
534.21/534.34	c  522s |      16 |   178219 |   137452 |   121413      1 |    10141 |       56
536.21/536.36	c  524s |      16 |   179171 |   138152 |   121413      1 |    10141 |       56
538.51/538.64	c  527s |      16 |   180018 |   138952 |   121413      1 |    10141 |       56
540.51/540.68	c  529s |      16 |   180652 |   139552 |   121413      1 |    10141 |       56
542.61/542.77	c  531s |      16 |   181342 |   140152 |   121413      1 |    10141 |       56
544.71/544.87	c  533s |      16 |   181865 |   140652 |   121413      1 |    10141 |       56
546.81/546.99	c  535s |      16 |   182472 |   141252 |   121413      1 |    10141 |       56
549.21/549.34	c  537s |      16 |   183087 |   141852 |   121413      1 |    10141 |       56
551.51/551.61	c  540s |      16 |   183801 |   142552 |   121413      1 |    10141 |       56
553.60/553.72	c  542s |      16 |   184436 |   143152 |   121413      1 |    10141 |       56
555.60/555.78	c  544s |      16 |   185067 |   143752 |   121413      1 |    10141 |       56
557.90/558.09	c  546s |      16 |   185723 |   144352 |   121413      1 |    10141 |       56
560.00/560.11	c  548s |      16 |   186411 |   144952 |   121413      1 |    10141 |       56
562.30/562.44	c  550s |      16 |   187285 |   145652 |   121413      1 |    10141 |       56
564.40/564.57	c  553s |      16 |   187924 |   146252 |   121413      1 |    10141 |       56
566.70/566.83	c  555s |      16 |   188567 |   146852 |   121413      1 |    10141 |       56
568.80/568.92	c  557s |      16 |   190041 |   147452 |   121413      1 |    10141 |       56
570.81/570.93	c  559s |      16 |   190947 |   148152 |   121413      1 |    10141 |       56
572.90/573.05	c  561s |      16 |   191486 |   148652 |   121413      1 |    10141 |       56
575.00/575.14	c  563s |      16 |   192247 |   149252 |   121413      1 |    10141 |       56
577.30/577.49	c  565s |      16 |   192977 |   149852 |   121413      1 |    10141 |       56
579.50/579.65	c  568s |      16 |   193557 |   150352 |   121413      1 |    10141 |       56
581.50/581.68	c  570s |      16 |   194192 |   150852 |   121413      1 |    10141 |       56
584.01/584.15	c  572s |      16 |   194778 |   151352 |   121413      1 |    10141 |       56
586.40/586.57	c  575s |      16 |   195499 |   151952 |   121413      1 |    10141 |       56
588.51/588.66	c  577s |      16 |   196236 |   152552 |   121413      1 |    10141 |       56
590.71/590.84	c  579s |      16 |   196989 |   153152 |   121413      1 |    10141 |       56
592.81/592.95	c  581s |      16 |   197647 |   153752 |   121413      1 |    10141 |       56
594.80/594.99	c  583s |      16 |   198264 |   154352 |   121413      1 |    10141 |       56
597.10/597.29	c  585s |      16 |   198900 |   154952 |   121413      1 |    10141 |       56
599.40/599.54	c  587s |      16 |   199424 |   155452 |   121413      1 |    10141 |       56
601.40/601.55	c  590s |      16 |   199959 |   155952 |   121413      1 |    10141 |       56
603.50/603.65	c  592s |      16 |   200623 |   156552 |   121413      1 |    10141 |       56
605.70/605.87	c  594s |      16 |   201403 |   157152 |   121413      1 |    10141 |       56
608.00/608.15	c  596s |      16 |   202706 |   157752 |   121413      1 |    10141 |       56
610.20/610.33	c  598s |      16 |   203249 |   158252 |   121413      1 |    10141 |       56
612.40/612.57	c  601s |      16 |   203834 |   158752 |   121413      1 |    10141 |       56
614.60/614.74	c  603s |      16 |   204386 |   159252 |   121413      1 |    10141 |       56
616.60/616.75	c  605s |      16 |   206266 |   160152 |   121413      1 |    10141 |       56
618.70/618.83	c  607s |      16 |   207361 |   160752 |   121413      1 |    10141 |       56
620.89/621.02	c  609s |      16 |   208042 |   161352 |   121413      1 |    10141 |       56
622.99/623.11	c  611s |      16 |   208642 |   161852 |   121413      1 |    10141 |       56
625.80/625.92	c  614s |      16 |   210222 |   162552 |   121413      1 |    10141 |       56
628.10/628.28	c  616s |      16 |   211511 |   163252 |   121413      1 |    10141 |       56
630.20/630.39	c  618s |      16 |   212231 |   163752 |   121413      1 |    10141 |       56
632.29/632.48	c  620s |      16 |   212903 |   164252 |   121413      1 |    10141 |       56
634.60/634.77	c  623s |      16 |   213546 |   164852 |   121413      1 |    10141 |       56
636.69/636.86	c  625s |      16 |   214105 |   165252 |   121413      1 |    10141 |       56
639.10/639.21	c  627s |      16 |   214676 |   165752 |   121413      1 |    10141 |       56
641.20/641.39	c  629s |      16 |   215740 |   166252 |   121413      1 |    10141 |       56
643.69/643.88	c  632s |      16 |   216451 |   166852 |   121413      1 |    10141 |       56
646.09/646.25	c  634s |      16 |   216995 |   167352 |   121413      1 |    10141 |       56
648.19/648.37	c  636s |      16 |   217446 |   167752 |   121413      1 |    10141 |       56
650.39/650.55	c  639s |      16 |   217921 |   168152 |   121413      1 |    10141 |       56
652.59/652.71	c  641s |      16 |   218504 |   168652 |   121413      1 |    10141 |       56
654.99/655.18	c  643s |      16 |   219061 |   169152 |   121413      1 |    10141 |       56
657.19/657.30	c  645s |      16 |   219494 |   169552 |   121413      1 |    10141 |       56
659.39/659.50	c  647s |      16 |   220022 |   170052 |   121413      1 |    10141 |       56
661.59/661.74	c  650s |      16 |   220657 |   170652 |   121413      1 |    10141 |       56
663.79/663.92	c  652s |      16 |   221225 |   171152 |   121413      1 |    10141 |       56
666.29/666.43	c  654s |      16 |   221708 |   171552 |   121413      1 |    10142 |       56
668.49/668.61	c  657s |      16 |   222011 |   171852 |   121413      1 |    10142 |       56
670.49/670.66	c  659s |      16 |   222342 |   172152 |   121413      1 |    10142 |       56
672.59/672.79	c  661s |      16 |   222804 |   172552 |   121413      1 |    10142 |       56
674.89/675.04	c  663s |      16 |   223351 |   173052 |   121413      1 |    10142 |       56
676.99/677.15	c  665s |      16 |   223767 |   173452 |   121413      1 |    10142 |       56
679.09/679.21	c  667s |      16 |   224234 |   173852 |   121413      1 |    10142 |       56
681.19/681.34	c  669s |      16 |   224659 |   174252 |   121413      1 |    10142 |       56
683.69/683.86	c  672s |      16 |   225199 |   174752 |   121413      1 |    10142 |       56
685.78/685.97	c  674s |      16 |   225500 |   175052 |   121413      1 |    10142 |       56
688.08/688.25	c  676s |      16 |   225805 |   175352 |   121413      1 |    10142 |       56
690.28/690.48	c  678s |      16 |   226113 |   175652 |   121413      1 |    10142 |       56
692.58/692.77	c  681s |      16 |   226535 |   176052 |   121413      1 |    10142 |       56
694.98/695.20	c  683s |      16 |   226946 |   176452 |   121413      1 |    10142 |       56
697.48/697.68	c  686s |      16 |   227369 |   176852 |   121413      1 |    10142 |       56
699.59/699.75	c  688s |      16 |   227671 |   177152 |   121413      1 |    10142 |       56
701.98/702.12	c  690s |      16 |   228092 |   177552 |   121413      1 |    10142 |       56
703.99/704.12	c  692s |      16 |   228522 |   177952 |   121413      1 |    10142 |       56
706.19/706.31	c  694s |      16 |   229564 |   178452 |   121413      1 |    10142 |       56
708.39/708.57	c  697s |      16 |   230113 |   178952 |   121413      1 |    10142 |       56
710.78/710.93	c  699s |      16 |   230553 |   179352 |   121413      1 |    10142 |       56
712.79/712.95	c  701s |      16 |   230861 |   179652 |   121413      1 |    10142 |       56
715.28/715.47	c  703s |      16 |   231278 |   180052 |   121413      1 |    10142 |       56
717.38/717.54	c  705s |      16 |   231680 |   180452 |   121413      1 |    10142 |       56
719.48/719.66	c  708s |      16 |   232126 |   180852 |   121413      1 |    10142 |       56
722.08/722.27	c  710s |      16 |   232352 |   181052 |   121413      1 |    10142 |       56
724.28/724.45	c  712s |      16 |   232654 |   181352 |   121413      1 |    10142 |       56
726.58/726.70	c  715s |      16 |   232958 |   181652 |   121413      1 |    10142 |       56
728.88/729.00	c  717s |      16 |   233256 |   181952 |   121413      1 |    10142 |       56
731.17/731.30	c  719s |      16 |   233893 |   182352 |   121413      1 |    10142 |       56
733.37/733.52	c  721s |      16 |   234329 |   182752 |   121413      1 |    10142 |       56
735.67/735.89	c  724s |      16 |   234905 |   183252 |   121413      1 |    10142 |       56
737.98/738.11	c  726s |      16 |   235322 |   183652 |   121413      1 |    10142 |       56
740.37/740.55	c  729s |      16 |   235844 |   184152 |   121413      1 |    10142 |       56
742.67/742.80	c  731s |      16 |   236265 |   184552 |   121413      1 |    10142 |       56
744.77/744.93	c  733s |      16 |   236793 |   185052 |   121413      1 |    10142 |       56
747.17/747.30	c  735s |      16 |   237483 |   185652 |   121413      1 |    10142 |       56
749.17/749.33	c  737s |      16 |   238031 |   186152 |   121413      1 |    10142 |       56
751.28/751.45	c  739s |      16 |   238549 |   186652 |   121413      1 |    10142 |       56
753.48/753.64	c  742s |      16 |   239073 |   187152 |   121413      1 |    10142 |       56
755.77/755.95	c  744s |      16 |   239595 |   187652 |   121413      1 |    10142 |       56
757.88/758.07	c  746s |      16 |   240142 |   188152 |   121413      1 |    10142 |       56
760.27/760.41	c  748s |      16 |   240688 |   188652 |   121413      1 |    10142 |       56
762.67/762.80	c  751s |      16 |   241204 |   189152 |   121413      1 |    10142 |       56
764.87/765.07	c  753s |      16 |   241608 |   189552 |   121413      1 |    10142 |       56
766.97/767.12	c  755s |      16 |   241920 |   189852 |   121413      1 |    10142 |       56
769.07/769.27	c  757s |      16 |   242223 |   190152 |   121413      1 |    10142 |       56
771.17/771.35	c  759s |      16 |   242529 |   190452 |   121413      1 |    10142 |       56
773.77/773.90	c  762s |      16 |   242940 |   190852 |   121413      1 |    10142 |       56
776.17/776.30	c  764s |      16 |   243345 |   191252 |   121413      1 |    10142 |       56
778.17/778.39	c  766s |      16 |   243679 |   191552 |   121413      1 |    10142 |       56
780.77/780.99	c  769s |      16 |   244160 |   191952 |   121413      1 |    10142 |       56
783.07/783.20	c  771s |      16 |   244477 |   192252 |   121413      1 |    10142 |       56
785.17/785.33	c  773s |      16 |   244945 |   192652 |   121413      1 |    10142 |       56
787.27/787.43	c  775s |      16 |   245754 |   193052 |   121413      1 |    10142 |       56
789.77/789.94	c  778s |      16 |   246225 |   193452 |   121413      1 |    10142 |       56
791.87/792.10	c  780s |      16 |   246555 |   193752 |   121413      1 |    10142 |       56
797.76/797.99	c  786s |      16 |   246874 |   194052 |   121413      2 |    10142 |       56
818.76/818.93	c  807s |      16 |   247096 |   194252 |   121413      2 |    10142 |       56
827.26/827.43	c  815s |      16 |   247416 |   194552 |   121413      2 |    10142 |       56
859.16/859.38	c  847s |      16 |   247999 |   195052 |   121413      2 |    10142 |       56
861.27/861.45	c  849s |      16 |   248563 |   195552 |   121413      2 |    10142 |       56
863.37/863.59	c  852s |      16 |   249086 |   196052 |   121413      2 |    10142 |       56
865.57/865.72	c  854s |      16 |   249767 |   196652 |   133555      2 |    10142 |       56
867.56/867.77	c  856s |      16 |   250500 |   197352 |   133555      2 |    10142 |       56
867.77/867.96	c  856s |      17 |   250586 |   197432 |   133555      2 |    10142 |       56
869.96/870.18	c  858s |      17 |   251069 |   197832 |   133555      2 |    10142 |       56
872.06/872.21	c  860s |      17 |   251753 |   198332 |   133555      2 |    10142 |       56
874.16/874.35	c  862s |      17 |   252186 |   198732 |   133555      2 |    10142 |       56
876.46/876.63	c  865s |      17 |   252732 |   199232 |   133555      2 |    10142 |       56
878.66/878.81	c  867s |      17 |   253613 |   200032 |   133555      2 |    10142 |       56
880.76/880.91	c  869s |      17 |   254416 |   200832 |   133555      2 |    10142 |       56
882.85/883.10	c  871s |      17 |   255347 |   201732 |   133555      2 |    10142 |       56
885.05/885.20	c  873s |      17 |   256273 |   202632 |   133555      2 |    10142 |       56
887.45/887.60	c  876s |      17 |   257183 |   203532 |   133555      2 |    10142 |       56
901.55/901.72	c  890s |      17 |   257585 |   203932 |   133555      2 |    10142 |       56
919.75/919.95	c  908s |      17 |   257721 |   204032 |   133555      2 |    10142 |       56
922.05/922.21	c  910s |      17 |   258645 |   204732 |   133555      2 |    10142 |       56
924.25/924.42	c  912s |      17 |   259198 |   205232 |   133555      2 |    10142 |       56
926.35/926.55	c  915s |      17 |   259621 |   205632 |   133555      2 |    10142 |       56
928.75/928.93	c  917s |      17 |   260039 |   206032 |   133555      2 |    10142 |       56
931.35/931.50	c  919s |      17 |   260555 |   206532 |   133555      2 |    10142 |       56
933.55/933.77	c  922s |      17 |   260957 |   206932 |   133555      2 |    10142 |       56
935.55/935.79	c  924s |      17 |   261476 |   207432 |   133555      2 |    10142 |       56
938.05/938.30	c  926s |      17 |   262047 |   207932 |   133555      2 |    10142 |       56
940.15/940.32	c  928s |      17 |   262372 |   208232 |   133555      2 |    10142 |       56
942.55/942.71	c  931s |      17 |   263981 |   209032 |   133555      2 |    10142 |       56
944.64/944.89	c  933s |      17 |   264482 |   209532 |   133555      2 |    10142 |       56
946.84/947.08	c  935s |      17 |   264882 |   209932 |   133555      2 |    10142 |       56
949.25/949.47	c  937s |      17 |   265387 |   210432 |   133555      2 |    10142 |       56
951.64/951.85	c  940s |      17 |   265694 |   210732 |   133555      2 |    10142 |       56
954.04/954.20	c  942s |      17 |   266101 |   211132 |   133555      2 |    10142 |       56
956.54/956.76	c  945s |      17 |   266712 |   211732 |   133555      2 |    10142 |       56
958.64/958.88	c  947s |      17 |   267120 |   212132 |   133555      2 |    10142 |       56
960.74/960.96	c  949s |      17 |   267624 |   212632 |   133555      2 |    10142 |       56
962.94/963.18	c  951s |      17 |   268238 |   213232 |   133555      2 |    10142 |       56
965.14/965.33	c  953s |      17 |   268645 |   213632 |   133555      2 |    10142 |       56
967.34/967.59	c  956s |      17 |   269151 |   214132 |   133555      2 |    10142 |       56
969.54/969.76	c  958s |      17 |   269951 |   214932 |   133555      2 |    10142 |       56
971.54/971.79	c  960s |      17 |   270555 |   215532 |   133555      2 |    10142 |       56
973.84/974.07	c  962s |      17 |   271257 |   216232 |   133555      2 |    10142 |       56
975.94/976.12	c  964s |      17 |   271859 |   216832 |   133555      2 |    10142 |       56
977.94/978.20	c  966s |      17 |   272379 |   217232 |   133555      2 |    10147 |       56
980.14/980.35	c  968s |      17 |   272989 |   217832 |   133555      2 |    10147 |       56
982.44/982.64	c  971s |      17 |   273646 |   218432 |   133555      2 |    10147 |       56
984.74/984.96	c  973s |      17 |   274276 |   219032 |   133555      2 |    10147 |       56
987.14/987.35	c  975s |      17 |   274713 |   219432 |   133555      2 |    10147 |       56
989.24/989.47	c  977s |      17 |   275141 |   219832 |   133555      2 |    10147 |       56
991.34/991.51	c  979s |      17 |   277504 |   220532 |   133555      2 |    10147 |       56
993.64/993.86	c  982s |      17 |   277954 |   220932 |   133555      2 |    10147 |       56
996.04/996.21	c  984s |      17 |   278385 |   221332 |   133555      2 |    10147 |       56
998.14/998.33	c  986s |      17 |   279366 |   221832 |   133555      2 |    10147 |       56
1000.53/1000.79	c  989s |      17 |   280435 |   222432 |   133555      2 |    10147 |       56
1002.83/1003.06	c  991s |      17 |   280852 |   222832 |   133555      2 |    10147 |       56
1004.93/1005.15	c  993s |      17 |   281267 |   223232 |   133555      2 |    10147 |       56
1007.13/1007.38	c  995s |      17 |   281681 |   223632 |   133555      2 |    10147 |       56
1009.23/1009.41	c  997s |      17 |   282144 |   224032 |   133555      2 |    10147 |       56
1011.53/1011.75	c 1000s |      17 |   282654 |   224432 |   133555      2 |    10147 |       56
1013.93/1014.10	c 1002s |      17 |   283165 |   224932 |   133555      2 |    10147 |       56
1016.03/1016.22	c 1004s |      17 |   283599 |   225332 |   133555      2 |    10147 |       56
1018.03/1018.23	c 1006s |      17 |   284016 |   225732 |   133555      2 |    10147 |       56
1020.23/1020.40	c 1008s |      17 |   284777 |   226232 |   133555      2 |    10147 |       56
1022.43/1022.69	c 1011s |      17 |   285193 |   226632 |   133555      2 |    10147 |       56
1024.83/1025.01	c 1013s |      17 |   285602 |   227032 |   133555      2 |    10147 |       56
1026.83/1027.02	c 1015s |      17 |   286121 |   227532 |   133555      2 |    10147 |       56
1029.33/1029.50	c 1017s |      17 |   288163 |   228132 |   133555      2 |    10147 |       56
1031.83/1032.03	c 1020s |      17 |   288690 |   228632 |   133555      2 |    10147 |       56
1033.84/1034.10	c 1022s |      17 |   289114 |   229032 |   133555      2 |    10147 |       56
1036.33/1036.50	c 1024s |      17 |   289576 |   229432 |   133555      2 |    10147 |       56
1038.93/1039.17	c 1027s |      17 |   289990 |   229832 |   133555      2 |    10147 |       56
1041.54/1041.71	c 1030s |      17 |   290387 |   230232 |   133555      2 |    10147 |       56
1043.93/1044.15	c 1032s |      17 |   290988 |   230732 |   133555      2 |    10147 |       56
1046.33/1046.58	c 1035s |      17 |   291842 |   231232 |   133555      2 |    10147 |       56
1048.73/1048.91	c 1037s |      17 |   292194 |   231532 |   133555      2 |    10147 |       56
1051.33/1051.52	c 1039s |      17 |   292497 |   231832 |   133555      2 |    10147 |       56
1054.13/1054.35	c 1042s |      17 |   292933 |   232232 |   133555      2 |    10147 |       56
1056.13/1056.37	c 1044s |      17 |   293246 |   232532 |   133555      2 |    10147 |       56
1058.43/1058.61	c 1047s |      17 |   293666 |   232932 |   133555      2 |    10147 |       56
1060.73/1060.98	c 1049s |      17 |   294287 |   233332 |   133555      2 |    10147 |       56
1062.73/1063.00	c 1051s |      17 |   294725 |   233732 |   133555      2 |    10147 |       56
1064.83/1065.08	c 1053s |      17 |   295242 |   234232 |   133555      2 |    10147 |       56
1067.22/1067.47	c 1055s |      17 |   295704 |   234632 |   133555      2 |    10147 |       56
1069.42/1069.62	c 1058s |      17 |   296655 |   235032 |   133555      2 |    10147 |       56
1072.22/1072.40	c 1060s |      17 |   297122 |   235432 |   133555      2 |    10147 |       56
1074.22/1074.41	c 1062s |      17 |   297495 |   235732 |   133555      2 |    10147 |       56
1076.73/1076.98	c 1065s |      17 |   298337 |   236132 |   133555      2 |    10147 |       56
1078.82/1079.02	c 1067s |      17 |   299025 |   236532 |   133555      2 |    10147 |       56
1081.02/1081.20	c 1069s |      17 |   299701 |   237032 |   133555      2 |    10147 |       56
1083.33/1083.57	c 1072s |      17 |   300562 |   237532 |   133555      2 |    10147 |       56
1086.12/1086.35	c 1074s |      17 |   300993 |   237932 |   133555      2 |    10147 |       56
1088.22/1088.42	c 1076s |      17 |   301314 |   238232 |   133555      2 |    10147 |       56
1090.52/1090.76	c 1079s |      17 |   301735 |   238632 |   133555      2 |    10147 |       56
1093.02/1093.22	c 1081s |      17 |   303952 |   239432 |   133555      2 |    10147 |       56
1095.32/1095.55	c 1083s |      17 |   305100 |   239932 |   133555      2 |    10147 |       56
1097.52/1097.76	c 1086s |      17 |   305913 |   240332 |   133555      2 |    10147 |       56
1099.72/1099.99	c 1088s |      17 |   308154 |   241432 |   133555      2 |    10147 |       56
1102.13/1102.37	c 1090s |      17 |   310638 |   242432 |   133555      2 |    10147 |       56
1104.42/1104.69	c 1093s |      17 |   311092 |   242832 |   133555      2 |    10147 |       56
1106.62/1106.85	c 1095s |      17 |   311412 |   243132 |   133555      2 |    10147 |       56
1109.02/1109.23	c 1097s |      17 |   311826 |   243532 |   133555      2 |    10147 |       56
1111.42/1111.61	c 1100s |      17 |   312613 |   244032 |   133555      2 |    10147 |       56
1113.42/1113.69	c 1102s |      17 |   313826 |   244632 |   133555      2 |    10147 |       56
1115.62/1115.88	c 1104s |      17 |   316068 |   245532 |   133555      2 |    10147 |       56
1118.02/1118.29	c 1106s |      17 |   316528 |   245932 |   133555      2 |    10147 |       56
1120.12/1120.37	c 1108s |      17 |   317559 |   246332 |   133555      2 |    10147 |       56
1122.72/1123.00	c 1111s |      17 |   318836 |   246832 |   133555      2 |    10147 |       56
1125.12/1125.32	c 1113s |      17 |   319236 |   247232 |   133555      2 |    10147 |       56
1127.62/1127.82	c 1116s |      17 |   319653 |   247632 |   133555      2 |    10147 |       56
1129.82/1130.04	c 1118s |      17 |   319956 |   247932 |   133555      2 |    10147 |       56
1131.92/1132.17	c 1120s |      17 |   320276 |   248232 |   133555      2 |    10147 |       56
1134.02/1134.23	c 1122s |      17 |   320595 |   248532 |   133555      2 |    10147 |       56
1136.22/1136.43	c 1124s |      17 |   321001 |   248932 |   133555      2 |    10147 |       56
1138.51/1138.75	c 1127s |      17 |   321412 |   249332 |   133555      2 |    10147 |       56
1141.21/1141.47	c 1129s |      17 |   321824 |   249732 |   133555      2 |    10147 |       56
1143.82/1144.07	c 1132s |      17 |   322233 |   250132 |   133555      2 |    10147 |       56
1146.21/1146.43	c 1134s |      17 |   322650 |   250532 |   133555      2 |    10147 |       56
1148.32/1148.56	c 1137s |      17 |   323057 |   250932 |   133555      2 |    10147 |       56
1150.91/1151.16	c 1139s |      17 |   323571 |   251432 |   133555      2 |    10147 |       56
1153.41/1153.68	c 1142s |      17 |   324027 |   251832 |   133555      2 |    10147 |       56
1155.81/1156.05	c 1144s |      17 |   324350 |   252132 |   133555      2 |    10147 |       56
1158.01/1158.28	c 1146s |      17 |   324830 |   252532 |   133555      2 |    10147 |       56
1160.51/1160.71	c 1149s |      17 |   325454 |   253032 |   133555      2 |    10147 |       56
1163.01/1163.20	c 1151s |      17 |   326024 |   253532 |   133555      2 |    10147 |       56
1165.01/1165.28	c 1153s |      17 |   326480 |   253932 |   133555      2 |    10147 |       56
1167.31/1167.53	c 1155s |      17 |   326898 |   254332 |   133555      2 |    10147 |       56
1169.51/1169.77	c 1158s |      17 |   327328 |   254732 |   133555      2 |    10147 |       56
1171.71/1171.95	c 1160s |      17 |   327758 |   255132 |   133555      2 |    10147 |       56
1173.81/1174.00	c 1162s |      17 |   328081 |   255432 |   133555      2 |    10147 |       56
1176.21/1176.40	c 1164s |      17 |   328564 |   255832 |   133555      2 |    10147 |       56
1178.61/1178.83	c 1167s |      17 |   329048 |   256232 |   133555      2 |    10147 |       56
1180.61/1180.86	c 1169s |      17 |   329604 |   256632 |   133555      2 |    10147 |       56
1183.21/1183.41	c 1171s |      17 |   330293 |   257132 |   133555      2 |    10147 |       56
1185.41/1185.69	c 1174s |      17 |   330723 |   257532 |   133555      2 |    10147 |       56
1187.61/1187.83	c 1176s |      17 |   331163 |   257932 |   133555      2 |    10147 |       56
1189.81/1190.01	c 1178s |      17 |   331979 |   258332 |   133555      2 |    10147 |       56
1192.01/1192.28	c 1180s |      17 |   332533 |   258732 |   133555      2 |    10147 |       56
1194.21/1194.44	c 1182s |      17 |   332838 |   259032 |   133555      2 |    10147 |       56
1196.71/1196.97	c 1185s |      17 |   333269 |   259432 |   133555      2 |    10147 |       56
1199.30/1199.53	c 1187s |      17 |   333579 |   259732 |   133555      2 |    10147 |       56
1201.60/1201.89	c 1190s |      17 |   333999 |   260132 |   133555      2 |    10147 |       56
1204.00/1204.24	c 1192s |      17 |   334447 |   260532 |   133555      2 |    10147 |       56
1206.30/1206.50	c 1194s |      17 |   334859 |   260932 |   133555      2 |    10147 |       56
1208.30/1208.53	c 1196s |      17 |   335280 |   261332 |   133555      2 |    10147 |       56
1210.40/1210.65	c 1199s |      17 |   335705 |   261732 |   133555      2 |    10147 |       56
1212.90/1213.10	c 1201s |      17 |   336233 |   262232 |   133555      2 |    10147 |       56
1215.00/1215.27	c 1203s |      17 |   336648 |   262632 |   133555      2 |    10147 |       56
1217.51/1217.76	c 1206s |      17 |   337193 |   263132 |   133555      2 |    10147 |       56
1219.50/1219.79	c 1208s |      17 |   337604 |   263532 |   133555      2 |    10147 |       56
1221.80/1222.08	c 1210s |      17 |   338119 |   264032 |   133555      2 |    10147 |       56
1224.21/1224.48	c 1212s |      17 |   338639 |   264532 |   133555      2 |    10147 |       56
1226.41/1226.64	c 1215s |      17 |   339051 |   264932 |   133555      2 |    10147 |       56
1228.51/1228.76	c 1217s |      17 |   339452 |   265332 |   133555      2 |    10147 |       56
1230.71/1230.98	c 1219s |      17 |   339874 |   265732 |   133555      2 |    10147 |       56
1233.01/1233.25	c 1221s |      17 |   340355 |   266132 |   133555      2 |    10147 |       56
1235.50/1235.73	c 1224s |      17 |   340795 |   266532 |   133555      2 |    10147 |       56
1237.90/1238.13	c 1226s |      17 |   341354 |   267032 |   133555      2 |    10147 |       56
1240.00/1240.20	c 1228s |      17 |   341794 |   267432 |   133555      2 |    10147 |       56
1242.10/1242.35	c 1230s |      17 |   342306 |   267832 |   133555      2 |    10147 |       56
1244.70/1244.91	c 1233s |      17 |   343766 |   268532 |   133555      2 |    10147 |       56
1246.80/1247.07	c 1235s |      17 |   344211 |   268932 |   133555      2 |    10147 |       56
1249.00/1249.23	c 1237s |      17 |   344921 |   269332 |   133555      2 |    10147 |       56
1251.60/1251.81	c 1240s |      17 |   345372 |   269732 |   133555      2 |    10147 |       56
1253.80/1254.07	c 1242s |      17 |   345799 |   270132 |   133555      2 |    10147 |       56
1256.29/1256.54	c 1244s |      17 |   346349 |   270632 |   133555      2 |    10147 |       56
1258.69/1258.91	c 1247s |      17 |   346884 |   271132 |   133555      2 |    10147 |       56
1260.79/1261.02	c 1249s |      17 |   347191 |   271432 |   133555      2 |    10147 |       56
1263.29/1263.52	c 1251s |      17 |   347612 |   271832 |   133555      2 |    10147 |       56
1265.69/1265.90	c 1254s |      17 |   348039 |   272232 |   133555      2 |    10147 |       56
1268.20/1268.44	c 1256s |      17 |   348464 |   272632 |   133555      2 |    10147 |       56
1289.79/1290.07	c 1278s |      17 |   348572 |   272732 |   133555      3 |    10147 |       56
1310.89/1311.10	c 1299s |      17 |   348674 |   272832 |   133555      3 |    10147 |       56
1323.38/1323.65	c 1312s |      17 |   348785 |   272932 |   133555      3 |    10147 |       56
1325.49/1325.74	c 1314s |      17 |   349253 |   273332 |   133555      3 |    10147 |       56
1327.50/1327.80	c 1316s |      17 |   350833 |   274032 |   133555      3 |    10147 |       56
1329.59/1329.88	c 1318s |      17 |   352450 |   274732 |   133555      3 |    10147 |       56
1331.69/1331.96	c 1320s |      17 |   353100 |   275332 |   133555      3 |    10147 |       56
1334.10/1334.38	c 1322s |      17 |   353624 |   275832 |   133555      3 |    10147 |       56
1336.29/1336.57	c 1325s |      17 |   354312 |   276432 |   133555      3 |    10147 |       56
1338.39/1338.61	c 1327s |      17 |   356310 |   277232 |   133555      3 |    10147 |       56
1340.39/1340.68	c 1329s |      17 |   358198 |   277932 |   133555      3 |    10147 |       56
1342.39/1342.69	c 1331s |      17 |   358738 |   278432 |   133555      3 |    10147 |       56
1344.69/1344.94	c 1333s |      17 |   359378 |   279032 |   133555      3 |    10147 |       56
1346.89/1347.16	c 1335s |      17 |   359967 |   279532 |   133555      3 |    10147 |       56
1348.99/1349.21	c 1337s |      17 |   360494 |   280032 |   133555      3 |    10147 |       56
1351.09/1351.37	c 1339s |      17 |   361028 |   280532 |   133555      3 |    10147 |       56
1353.39/1353.69	c 1342s |      17 |   361676 |   281132 |   133555      3 |    10147 |       56
1355.68/1355.92	c 1344s |      17 |   362250 |   281632 |   133555      3 |    10147 |       56
1357.78/1358.08	c 1346s |      17 |   362712 |   282032 |   133555      3 |    10147 |       56
1360.08/1360.35	c 1348s |      17 |   363381 |   282632 |   133555      3 |    10147 |       56
1362.18/1362.47	c 1350s |      17 |   363932 |   283132 |   133555      3 |    10147 |       56
1364.48/1364.74	c 1353s |      17 |   364464 |   283632 |   133555      3 |    10147 |       56
1437.87/1438.15	c 1426s |      17 |   364570 |   283732 |   133555      3 |    10147 |       56
1440.07/1440.39	c 1428s |      17 |   365014 |   284132 |   133555      3 |    10147 |       56
1442.57/1442.83	c 1431s |      17 |   365575 |   284632 |   133555      3 |    10147 |       56
1444.97/1445.26	c 1433s |      17 |   366115 |   285132 |   133555      3 |    10147 |       56
1447.07/1447.30	c 1435s |      17 |   366994 |   285832 |   133555      3 |    10147 |       56
1449.47/1449.73	c 1438s |      17 |   367817 |   286532 |   133555      3 |    10147 |       56
1451.57/1451.84	c 1440s |      17 |   368226 |   286932 |   133555      3 |    10147 |       56
1454.07/1454.31	c 1442s |      17 |   368804 |   287432 |   133555      3 |    10147 |       56
1456.36/1456.69	c 1445s |      17 |   369331 |   287932 |   133555      3 |    10147 |       56
1458.76/1459.02	c 1447s |      17 |   369867 |   288432 |   133555      3 |    10147 |       56
1460.96/1461.26	c 1449s |      17 |   370302 |   288832 |   133555      3 |    10147 |       56
1463.16/1463.43	c 1451s |      17 |   370900 |   289332 |   133555      3 |    10147 |       56
1465.36/1465.66	c 1454s |      17 |   371433 |   289832 |   133555      3 |    10147 |       56
1467.76/1468.09	c 1456s |      17 |   371987 |   290332 |   133555      3 |    10147 |       56
1469.96/1470.26	c 1458s |      17 |   372550 |   290832 |   133555      3 |    10147 |       56
1472.26/1472.52	c 1460s |      17 |   373310 |   291532 |   133555      3 |    10147 |       56
1474.66/1474.90	c 1463s |      17 |   374009 |   292132 |   133555      3 |    10147 |       56
1476.96/1477.30	c 1465s |      17 |   374567 |   292632 |   133555      3 |    10147 |       56
1479.27/1479.53	c 1467s |      17 |   375106 |   293132 |   133555      3 |    10147 |       56
1481.47/1481.79	c 1470s |      17 |   375754 |   293632 |   133555      3 |    10147 |       56
1483.56/1483.82	c 1472s |      17 |   376197 |   294032 |   133555      3 |    10147 |       56
1485.97/1486.27	c 1474s |      17 |   376996 |   294732 |   146911      3 |    10147 |       56
1488.17/1488.44	c 1476s |      17 |   377644 |   295332 |   146911      3 |    10147 |       56
1490.37/1490.62	c 1479s |      17 |   378209 |   295832 |   146911      3 |    10147 |       56
1491.96/1492.27	c 1480s |      18 |   378706 |   296252 |   146911      3 |    10147 |       56
1503.25/1503.55	c 1492s |      18 |   378872 |   296352 |   146911      3 |    10147 |       56
1505.35/1505.62	c 1494s |      18 |   379319 |   296752 |   146911      3 |    10147 |       56
1507.75/1508.03	c 1496s |      18 |   379903 |   297252 |   146911      3 |    10147 |       56
1510.35/1510.66	c 1499s |      18 |   380319 |   297652 |   146911      3 |    10147 |       56
1512.85/1513.14	c 1501s |      18 |   380977 |   298252 |   146911      3 |    10147 |       56
1515.25/1515.56	c 1504s |      18 |   381428 |   298652 |   146911      3 |    10147 |       56
1518.65/1518.96	c 1507s |      18 |   381890 |   299052 |   146911      3 |    10147 |       56
1520.95/1521.28	c 1509s |      18 |   382093 |   299252 |   146911      3 |    10147 |       56
1523.45/1523.75	c 1512s |      18 |   382313 |   299452 |   146911      3 |    10147 |       56
1525.56/1525.86	c 1514s |      18 |   382529 |   299652 |   146911      3 |    10147 |       56
1528.15/1528.41	c 1516s |      18 |   382738 |   299852 |   146911      3 |    10147 |       56
1530.25/1530.59	c 1519s |      18 |   383123 |   300152 |   146911      3 |    10147 |       56
1532.35/1532.62	c 1521s |      18 |   384485 |   300752 |   146911      3 |    10147 |       56
1534.65/1534.94	c 1523s |      18 |   384984 |   301252 |   146911      3 |    10147 |       56
1536.75/1537.09	c 1525s |      18 |   385488 |   301752 |   146911      3 |    10147 |       56
1538.85/1539.16	c 1527s |      18 |   385993 |   302252 |   146911      3 |    10147 |       56
1540.85/1541.19	c 1529s |      18 |   386489 |   302752 |   146911      3 |    10147 |       56
1543.45/1543.70	c 1532s |      18 |   387533 |   303352 |   146911      3 |    10147 |       56
1546.05/1546.32	c 1534s |      18 |   387903 |   303652 |   146911      3 |    10147 |       56
1548.15/1548.47	c 1536s |      18 |   388664 |   304152 |   146911      3 |    10147 |       56
1550.75/1551.04	c 1539s |      18 |   389211 |   304552 |   146911      3 |    10147 |       56
1553.35/1553.65	c 1542s |      18 |   389765 |   304952 |   146911      3 |    10147 |       56
1556.25/1556.51	c 1544s |      18 |   390142 |   305252 |   146911      3 |    10147 |       56
1558.45/1558.76	c 1547s |      18 |   390558 |   305552 |   146911      3 |    10147 |       56
1560.54/1560.80	c 1549s |      18 |   390804 |   305752 |   146911      3 |    10147 |       56
1562.74/1563.08	c 1551s |      18 |   391088 |   305952 |   146911      3 |    10147 |       56
1565.84/1566.14	c 1554s |      18 |   391494 |   306252 |   146911      3 |    10147 |       56
1568.45/1568.74	c 1557s |      18 |   391876 |   306552 |   146911      3 |    10147 |       56
1570.44/1570.75	c 1559s |      18 |   392323 |   306952 |   146911      3 |    10147 |       56
1572.75/1573.08	c 1561s |      18 |   392822 |   307452 |   146911      3 |    10147 |       56
1574.95/1575.28	c 1563s |      18 |   393327 |   307952 |   146911      3 |    10147 |       56
1577.25/1577.56	c 1566s |      18 |   393859 |   308452 |   146911      3 |    10147 |       56
1579.45/1579.79	c 1568s |      18 |   394200 |   308752 |   146911      3 |    10147 |       56
1582.24/1582.58	c 1571s |      18 |   394502 |   309052 |   146911      3 |    10147 |       56
1584.34/1584.63	c 1573s |      18 |   394714 |   309252 |   146911      3 |    10147 |       56
1586.54/1586.82	c 1575s |      18 |   395040 |   309552 |   146911      3 |    10147 |       56
1589.04/1589.36	c 1577s |      18 |   395350 |   309852 |   146911      3 |    10147 |       56
1591.34/1591.63	c 1580s |      18 |   395655 |   310152 |   146911      3 |    10147 |       56
1593.65/1593.93	c 1582s |      18 |   396079 |   310552 |   146911      3 |    10147 |       56
1595.74/1596.01	c 1584s |      18 |   396477 |   310952 |   146911      3 |    10147 |       56
1598.15/1598.49	c 1586s |      18 |   396980 |   311452 |   146911      3 |    10147 |       56
1600.44/1600.74	c 1589s |      18 |   397384 |   311852 |   146911      3 |    10147 |       56
1602.45/1602.79	c 1591s |      18 |   397789 |   312252 |   146911      3 |    10147 |       56
1604.65/1604.92	c 1593s |      18 |   398214 |   312652 |   146911      3 |    10147 |       56
1606.74/1607.09	c 1595s |      18 |   398812 |   313252 |   146911      3 |    10147 |       56
1609.14/1609.41	c 1597s |      18 |   399419 |   313852 |   146911      3 |    10147 |       56
1611.64/1611.92	c 1600s |      18 |   399746 |   314152 |   146911      3 |    10147 |       56
1614.04/1614.39	c 1602s |      18 |   400089 |   314452 |   146911      3 |    10147 |       56
1616.84/1617.13	c 1605s |      18 |   400399 |   314752 |   146911      3 |    10147 |       56
1619.74/1620.01	c 1608s |      18 |   400707 |   315052 |   146911      3 |    10147 |       56
1621.74/1622.08	c 1610s |      18 |   400933 |   315252 |   146911      3 |    10147 |       56
1624.14/1624.45	c 1612s |      18 |   401262 |   315552 |   146911      3 |    10147 |       56
1626.33/1626.63	c 1615s |      18 |   401801 |   316052 |   146911      3 |    10147 |       56
1628.53/1628.87	c 1617s |      18 |   402300 |   316552 |   146911      3 |    10147 |       56
1630.93/1631.27	c 1619s |      18 |   402807 |   317052 |   146911      3 |    10147 |       56
1633.03/1633.30	c 1621s |      18 |   403205 |   317452 |   146911      3 |    10147 |       56
1635.03/1635.38	c 1623s |      18 |   403608 |   317852 |   146911      3 |    10147 |       56
1637.13/1637.42	c 1625s |      18 |   403878 |   318052 |   146911      3 |    10147 |       56
1639.14/1639.47	c 1627s |      18 |   404232 |   318352 |   146911      3 |    10147 |       56
1641.14/1641.48	c 1629s |      18 |   404638 |   318752 |   146911      3 |    10147 |       56
1643.34/1643.61	c 1632s |      18 |   405182 |   319252 |   146911      3 |    10147 |       56
1645.35/1645.69	c 1634s |      18 |   406500 |   319952 |   146911      3 |    10147 |       56
1647.34/1647.70	c 1636s |      18 |   407102 |   320552 |   146911      3 |    10147 |       56
1649.75/1650.00	c 1638s |      18 |   407799 |   321252 |   146911      3 |    10147 |       56
1651.74/1652.03	c 1640s |      18 |   408403 |   321852 |   146911      3 |    10147 |       56
1653.74/1654.07	c 1642s |      18 |   409009 |   322452 |   146911      3 |    10147 |       56
1655.84/1656.12	c 1644s |      18 |   409617 |   323052 |   146911      3 |    10147 |       56
1658.04/1658.39	c 1646s |      18 |   410326 |   323752 |   146911      3 |    10147 |       56
1660.24/1660.50	c 1648s |      18 |   410945 |   324352 |   146911      3 |    10147 |       56
1662.74/1663.05	c 1651s |      18 |   411453 |   324852 |   146911      3 |    10147 |       56
1664.94/1665.25	c 1653s |      18 |   411694 |   325052 |   146911      3 |    10147 |       56
1667.64/1667.98	c 1656s |      18 |   412019 |   325352 |   146911      3 |    10147 |       56
1669.74/1670.05	c 1658s |      18 |   412224 |   325552 |   146911      3 |    10147 |       56
1672.64/1672.91	c 1661s |      18 |   412520 |   325852 |   146911      3 |    10147 |       56
1674.94/1675.26	c 1663s |      18 |   412965 |   326252 |   146911      3 |    10147 |       56
1677.54/1677.87	c 1666s |      18 |   413180 |   326452 |   146911      3 |    10147 |       56
1680.04/1680.39	c 1668s |      18 |   413410 |   326652 |   146911      3 |    10147 |       56
1682.34/1682.68	c 1671s |      18 |   413614 |   326852 |   146911      3 |    10147 |       56
1685.13/1685.41	c 1673s |      18 |   413937 |   327152 |   146911      3 |    10147 |       56
1687.53/1687.89	c 1676s |      18 |   414317 |   327452 |   146911      3 |    10147 |       56
1690.63/1690.98	c 1679s |      18 |   414722 |   327752 |   146911      3 |    10147 |       56
1692.93/1693.26	c 1681s |      18 |   414933 |   327952 |   146911      3 |    10147 |       56
1695.13/1695.49	c 1683s |      18 |   415752 |   328452 |   146911      3 |    10147 |       56
1698.03/1698.37	c 1686s |      18 |   416305 |   328852 |   146911      3 |    10147 |       56
1700.53/1700.88	c 1689s |      18 |   416510 |   329052 |   146911      3 |    10147 |       56
1703.33/1703.66	c 1692s |      18 |   416850 |   329352 |   146911      3 |    10147 |       56
1705.84/1706.11	c 1694s |      18 |   417049 |   329552 |   146911      3 |    10147 |       56
1708.63/1708.90	c 1697s |      18 |   417350 |   329852 |   146911      3 |    10147 |       56
1710.93/1711.29	c 1699s |      18 |   417559 |   330052 |   146911      3 |    10147 |       56
1713.13/1713.48	c 1701s |      18 |   417770 |   330252 |   146911      3 |    10147 |       56
1715.63/1715.97	c 1704s |      18 |   418087 |   330552 |   146911      3 |    10147 |       56
1720.83/1721.17	c 1709s |      18 |   418242 |   330652 |   146911      3 |    10147 |       56
1722.93/1723.21	c 1711s |      18 |   419374 |   331752 |   146911      3 |    10147 |       56
1725.03/1725.34	c 1713s |      18 |   420677 |   333052 |   146911      3 |    10147 |       56
1727.03/1727.38	c 1715s |      18 |   421602 |   333952 |   146911      3 |    10147 |       56
1729.13/1729.40	c 1717s |      18 |   422334 |   334652 |   146911      3 |    10147 |       56
1731.13/1731.47	c 1719s |      18 |   423643 |   335952 |   146911      3 |    10147 |       56
1733.33/1733.61	c 1722s |      18 |   424862 |   337152 |   146911      3 |    10147 |       56
1735.33/1735.64	c 1724s |      18 |   425869 |   338152 |   146911      3 |    10147 |       56
1737.53/1737.85	c 1726s |      18 |   426788 |   339052 |   146911      3 |    10147 |       56
1739.63/1739.92	c 1728s |      18 |   427613 |   339852 |   146911      3 |    10147 |       56
1741.83/1742.14	c 1730s |      18 |   428445 |   340652 |   146911      3 |    10147 |       56
1743.82/1744.18	c 1732s |      18 |   429363 |   341552 |   146911      3 |    10147 |       56
1745.92/1746.27	c 1734s |      18 |   430286 |   342452 |   146911      3 |    10147 |       56
1747.92/1748.28	c 1736s |      18 |   431391 |   343552 |   146911      3 |    10147 |       56
1750.22/1750.50	c 1738s |      18 |   432316 |   344452 |   146911      3 |    10147 |       56
1752.22/1752.55	c 1741s |      18 |   432927 |   345052 |   146911      3 |    10147 |       56
1754.33/1754.62	c 1743s |      18 |   433559 |   345652 |   146911      3 |    10147 |       56
1756.53/1756.86	c 1745s |      18 |   434571 |   346652 |   146911      3 |    10147 |       56
1758.73/1759.01	c 1747s |      18 |   435105 |   347152 |   146911      3 |    10147 |       56
1760.93/1761.28	c 1749s |      18 |   435615 |   347652 |   146911      3 |    10147 |       56
1763.22/1763.53	c 1751s |      18 |   436136 |   348152 |   146911      3 |    10147 |       56
1765.23/1765.54	c 1753s |      18 |   436741 |   348752 |   146911      3 |    10147 |       56
1767.43/1767.72	c 1756s |      18 |   437363 |   349352 |   146911      3 |    10147 |       56
1769.63/1769.95	c 1758s |      18 |   437973 |   349952 |   146911      3 |    10147 |       56
1771.83/1772.19	c 1760s |      18 |   438889 |   350852 |   146911      3 |    10147 |       56
1774.13/1774.42	c 1762s |      18 |   439900 |   351852 |   146911      3 |    10147 |       56
1776.12/1776.43	c 1764s |      18 |   440714 |   352652 |   146911      3 |    10147 |       56
1778.12/1778.46	c 1766s |      18 |   441323 |   353252 |   146911      3 |    10147 |       56
1780.63/1780.99	c 1769s |      18 |   441848 |   353752 |   146911      3 |    10147 |       56
1782.83/1783.15	c 1771s |      18 |   442376 |   354252 |   146911      3 |    10147 |       56
1785.12/1785.47	c 1773s |      18 |   443015 |   354852 |   146911      3 |    10147 |       56
1787.22/1787.59	c 1776s |      18 |   443518 |   355352 |   146911      3 |    10147 |       56
1789.62/1789.97	c 1778s |      18 |   444046 |   355852 |   146911      3 |    10147 |       56
1791.72/1792.05	c 1780s |      18 |   444469 |   356252 |   146911      3 |    10147 |       56
1794.22/1794.56	c 1783s |      18 |   445022 |   356752 |   146911      3 |    10147 |       56
1796.71/1797.07	c 1785s |      18 |   445530 |   357252 |   146911      3 |    10147 |       56
1799.01/1799.33	c 1787s |      18 |   446058 |   357752 |   146911      3 |    10147 |       56

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25788
/proc/meminfo: memFree=28227616/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 2530 0 0 0 0 0 0 0 20 0 4 0 24103869 696709120 3401 33554432000 4194304 16246674 140736205674928 140736205673864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 170863 3412 441 2943 0 167757 0
[pid=25788/tid=25789] ppid=25785 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 715583488 3473 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 720826368 3489 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 723972096 3505 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25788
/proc/meminfo: memFree=28227616/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 29614 0 0 0 5 4 0 0 20 0 4 0 24103869 1333334016 30423 33554432000 4194304 16246674 140736205674928 140736205674240 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 325521 30440 801 2943 0 322415 0
[pid=25788/tid=25789] ppid=25785 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1333334016 30451 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1333334016 30463 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1333334016 30473 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200521 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25788
/proc/meminfo: memFree=28227616/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 47944 0 0 0 13 6 0 0 20 0 4 0 24103869 1343819776 49264 33554432000 4194304 16246674 140736205674928 140736205674240 8057043 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 328081 49264 801 2943 0 324975 0
[pid=25788/tid=25789] ppid=25785 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1343819776 49264 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1343819776 49264 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1343819776 49264 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.30049 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25788
/proc/meminfo: memFree=28227616/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 54592 0 0 0 22 7 0 0 20 0 4 0 24103869 1343819776 55912 33554432000 4194304 16246674 140736205674928 140736205674240 4206864 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 328081 55912 801 2943 0 324975 0
[pid=25788/tid=25789] ppid=25785 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1343819776 55912 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1343819776 55912 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1343819776 55912 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700403 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25788
/proc/meminfo: memFree=28227616/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1343044 CPUtime=0.69 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 81820 0 0 0 59 10 0 0 20 0 4 0 24103869 1375277056 83140 33554432000 4194304 16246674 140736205674928 140736205674240 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 335761 83146 832 2943 0 332655 0
[pid=25788/tid=25789] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 83150 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 83154 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 83157 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1343044

[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25792
/proc/meminfo: memFree=27495544/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1343044 CPUtime=1.49 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 276372 0 0 0 114 35 0 0 20 0 4 0 24103869 1375277056 277692 33554432000 4194304 16246674 140736205674928 140736205656832 4220894 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 335761 277692 833 2943 0 332655 0
[pid=25788/tid=25789] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277692 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277692 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277692 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1343044

[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25792
/proc/meminfo: memFree=27117096/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1343044 CPUtime=3.09 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 276373 0 0 0 274 35 0 0 20 0 4 0 24103869 1375277056 277693 33554432000 4194304 16246674 140736205674928 140736205656832 13007864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 335761 277693 833 2943 0 332655 0
[pid=25788/tid=25789] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277693 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277693 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277693 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1343044

[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25792
/proc/meminfo: memFree=27116976/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1343044 CPUtime=6.29 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 276382 0 0 0 594 35 0 0 20 0 4 0 24103869 1375277056 277702 33554432000 4194304 16246674 140736205674928 140736205656832 13766832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 335761 277702 836 2943 0 332655 0
[pid=25788/tid=25789] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277702 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277702 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277702 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1343044

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25795
/proc/meminfo: memFree=27116504/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1343044 CPUtime=12.69 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 276442 0 0 0 1234 35 0 0 20 0 4 0 24103869 1375277056 277762 33554432000 4194304 16246674 140736205674928 140736205656832 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 335761 277762 896 2943 0 332655 0
[pid=25788/tid=25789] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277762 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277762 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277762 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1343044

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25795
/proc/meminfo: memFree=27117316/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1343044 CPUtime=25.49 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 276445 0 0 0 2514 35 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140736205656832 5712600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 335761 277765 899 2943 0 332655 0
[pid=25788/tid=25789] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1343044

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25795
/proc/meminfo: memFree=26769400/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1343044 CPUtime=51.08 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 276445 0 0 0 5073 35 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140736205656832 5600176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 335761 277765 899 2943 0 332655 0
[pid=25788/tid=25789] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1343044

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25796
/proc/meminfo: memFree=26768716/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1343044 CPUtime=102.28 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 276445 0 0 0 10193 35 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140736205656832 5599964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 335761 277765 899 2943 0 332655 0
[pid=25788/tid=25789] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1375277056 277765 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1343044


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

/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1424964

[startup+1362.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/183 25827
/proc/meminfo: memFree=24976444/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1424964 CPUtime=1362.08 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 296930 0 0 0 136149 59 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140736205656832 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 356241 298250 904 2943 0 353135 0
[pid=25788/tid=25789] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1424964

[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 25828
/proc/meminfo: memFree=24926992/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1424964 CPUtime=1422.08 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 296930 0 0 0 142144 64 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140736205674104 4222052 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 356241 298250 904 2943 0 353135 0
[pid=25788/tid=25789] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1424964

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 25830
/proc/meminfo: memFree=24868616/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1424964 CPUtime=1482.06 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 296930 0 0 0 148141 65 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140736205656832 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 356241 298250 904 2943 0 353135 0
[pid=25788/tid=25789] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1424964

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 25831
/proc/meminfo: memFree=24814112/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1424964 CPUtime=1542.05 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 296930 0 0 0 154139 66 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140736205656832 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 356241 298250 904 2943 0 353135 0
[pid=25788/tid=25789] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1424964

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 25832
/proc/meminfo: memFree=24786580/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1424964 CPUtime=1602.04 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 296930 0 0 0 160138 66 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140736205656832 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 356241 298250 904 2943 0 353135 0
[pid=25788/tid=25789] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1424964

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 25833
/proc/meminfo: memFree=24730192/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1424964 CPUtime=1662.04 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 296930 0 0 0 166137 67 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140736205656832 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 356241 298250 904 2943 0 353135 0
[pid=25788/tid=25789] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1424964

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 25834
/proc/meminfo: memFree=24702812/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1424964 CPUtime=1722.03 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 296930 0 0 0 172136 67 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140736205656832 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 356241 298250 904 2943 0 353135 0
[pid=25788/tid=25789] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1424964

[startup+1782.3 s]
/proc/loadavg: 1.92 1.99 1.99 3/182 25933
/proc/meminfo: memFree=29689816/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1424964 CPUtime=1782.02 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 296930 0 0 0 178135 67 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140736205656832 13774488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 356241 298250 904 2943 0 353135 0
[pid=25788/tid=25789] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298250 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1424964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.94 1.99 1.99 3/183 25934
/proc/meminfo: memFree=29487060/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1424964 CPUtime=1800.01 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 296938 0 0 0 179934 67 0 0 20 0 4 0 24103869 1459163136 298253 33554432000 4194304 16246674 140736205674928 140736205656832 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 356241 298253 904 2943 0 353135 0
[pid=25788/tid=25789] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298253 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298253 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298253 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1424964

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

[startup+1800.3 s]
/proc/loadavg: 1.94 1.99 1.99 3/183 25934
/proc/meminfo: memFree=29487060/32872528 swapFree=7780/7780
[pid=25788] ppid=25785 vsize=1424964 CPUtime=1800.01 cores=0,2,4,6
/proc/25788/stat : 25788 (toysat) R 25785 25788 23276 0 -1 4202496 296938 0 0 0 179934 67 0 0 20 0 4 0 24103869 1459163136 298253 33554432000 4194304 16246674 140736205674928 140736205656832 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25788/statm: 356241 298253 904 2943 0 353135 0
[pid=25788/tid=25789] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25789/stat : 25789 (toysat) S 25785 25788 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298253 33554432000 4194304 16246674 140736205674928 140154509438192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25788/tid=25790] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25790/stat : 25790 (toysat) S 25785 25788 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298253 33554432000 4194304 16246674 140736205674928 140154498948336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25788/tid=25791] ppid=25785 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/25788/task/25791/stat : 25791 (toysat) S 25785 25788 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24103869 1459163136 298253 33554432000 4194304 16246674 140736205674928 140154379431088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1424964

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.37
CPU time (s): 1800.08
CPU user time (s): 1799.35
CPU system time (s): 0.732888
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 1424964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.732888
maximum resident set size= 1193012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296938
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= 25
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17406 second user time and 9.2026 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 05:29:50
IDJOB=4101081
IDBENCH=1698
IDSOLVER=2542
FILE ID=node151/4101081-1466220590
RUNJOBID= node151-1466206051-23292
PBS_JOBID= 19918135
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101081-1466220590/watcher-4101081-1466220590 -o /tmp/evaluation-result-4101081-1466220590/solver-4101081-1466220590 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101081-1466220590.opb

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

MD5SUM BENCH= 6d89097601cc17df3da06374ded173c4
RANDOM SEED=1371734457

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28227648 kB
Buffers:           98608 kB
Cached:           273756 kB
SwapCached:         1996 kB
Active:          3650348 kB
Inactive:         245748 kB
Active(anon):    3523900 kB
Inactive(anon):     1788 kB
Active(file):     126448 kB
Inactive(file):   243960 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             18636 kB
Writeback:             0 kB
AnonPages:       3647176 kB
Mapped:            11864 kB
Shmem:                 0 kB
Slab:             604584 kB
SReclaimable:      48180 kB
SUnreclaim:       556404 kB
KernelStack:        1520 kB
PageTables:        10664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3674084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 71712 MiB
End job on node151 at 2016-06-18 05:59:51