Trace number 4108869

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-53.opb
MD5SUM3eaa712ef8c4f1e38f38abbb36d752f3
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
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-19T01:21:35+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-4108869-1466292095.opb"]
0.00/0.01	c use --random-gen="3732688518 2829078865 2381456891 3665410577 1437180920 1005107868 1510842510 1499033725 407475173 1184315741 2105601310 2630528102 3146359692 276388137 1011272251 2707804154 3667150635 4294780059 2093070410 876084041 1904487658 2546239901 2957893522 3792028013 3418195198 1742776846 1913749134 2442598574 1192731978 4279378358 4048676228 639069599 3363655148 3838740014 1940611982 1102965011 172896030 2817179507 3898293464 1476970222 4052702752 3448023955 2854066677 2310222420 258244484 1014881612 3683150857 3359785234 2357961824 2222526050 2837188362 506663720 1641556785 3915107659 1414653280 1414606333 1418296017 11293900 3799158583 1096998375 2852840106 1944444903 64842589 2797512131 3557700630 1993501367 2760657305 1547592876 2016162634 212036838 1634418210 3102900687 747361577 2706828260 1488719946 1782552757 3811106782 565348217 2441125020 1923199930 2969558877 3177225276 1253387933 782979528 2629471797 3980521519 586446319 3697321170 3709840538 1369461248 1036019958 2247166910 119469390 930813360 2690318262 1615699107 648175383 2306890760 24779420 3379097680 226701591 1018447598 3813978221 505799637 3618588031 95852221 1198573817 2161362849 1577291716 3154612706 770199049 2575605710 3976494825 1559227625 1404336782 3247670747 1929498467 3148380095 3886319635 3513631469 1699422221 3542397959 3812331948 3130511978 1500596942 3660130305 1257700818 1636017993 832410134 2255233936 1746806510 4116578943 3115572167 3493744300 1080387654 3644482986 899820186 2384206334 3746683952 828890360 3974573021 1484520919 2257828825 1772208730 2310078508 888925571 91588847 2597931493 4090930318 3987373783 262633577 4218571550 2035938069 3002490642 2089493260 3008666632 2078655721 2051089263 3336572457 837770980 4242045411 1207528755 2375806256 4022667184 3821088407 3438543214 2331233008 3298559215 1437751176 2205306193 3372770847 569736339 2724017541 1919471921 3030312926 3738635213 561336021 2449234123 4046248524 1985034639 3820145739 850760646 1915246261 2570380154 701800052 3061258032 3870831139 1185615073 2284025550 2876405232 1197126099 2296921634 3935652980 4024246803 4180628182 254258402 1679192026 942293652 1581372652 1717431355 720404352 3773239790 1598398737 4282382872 63889522 1420665322 1970672276 2244308081 1589799662 2990246011 2417345289 2045598258 1824358813 2981269667 2704558672 1546150605 44235888 1418545693 3314260824 7707484 2409814715 3933755657 1626246399 3036264220 2390924399 407943518 1463375860 1222283249 1460880641 2068414004 3881077404 280862723 1904162720 125690888 2329128159 3149296805 1997277857 3141715182 2826134779 939179876 3909396717 1133316399 1626505521 1525441152 3257268401 3878250845 229636318 934492189 924861221 4202479401 4171818484 2489603660 2453287636 2159573564 3926251749 1400461993 255 362436" option to reproduce the execution
1.79/1.83	c #vars 10086
1.79/1.83	c #constraints 226240
5.79/5.82	c Solving starts ...
5.79/5.82	c ============================[ Search Statistics ]============================
5.79/5.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.79/5.82	c       |         |          |          |    Limit     GC | Var      | Constra 
5.79/5.82	c =============================================================================
5.79/5.83	c  0.0s |       0 |        0 |        0 |    78898      0 |        0 |        0
5.99/6.03	c  0.2s |       1 |      131 |      100 |    78898      0 |        0 |        0
6.39/6.41	c  0.6s |       2 |     1060 |      250 |    86788      0 |        0 |        0
7.69/7.76	c  1.9s |       3 |    16024 |      475 |    95467      0 |        0 |        0
8.09/8.19	c  2.4s |       4 |    17026 |      813 |   105014      0 |        0 |        0
10.29/10.30	c  4.5s |       4 |    37933 |     1213 |   115516      0 |        0 |        0
11.19/11.29	c  5.5s |       5 |    50875 |     1320 |   115516      0 |        0 |        0
12.29/12.36	c  6.5s |       6 |    52447 |     2081 |   139775      0 |        0 |        0
13.39/13.40	c  7.6s |       7 |    55656 |     3223 |   153753      0 |        0 |        0
14.19/14.26	c  8.4s |       8 |    62353 |     4936 |   169129      0 |        0 |        0
16.19/16.28	c 10.5s |       8 |    64407 |     6336 |   169129      0 |        0 |        0
17.59/17.70	c 11.9s |       9 |    66147 |     7506 |   186042      0 |        0 |        0
19.79/19.81	c 14.0s |       9 |    80685 |    10306 |   186042      0 |        0 |        0
20.59/20.68	c 14.9s |      10 |    83803 |    11361 |   204647      0 |        0 |        0
22.89/22.97	c 17.1s |      10 |   113851 |    12461 |   204647      0 |        0 |        0
24.99/25.04	c 19.2s |      10 |   116599 |    14161 |   204647      0 |        0 |        0
27.08/27.12	c 21.3s |      10 |   118334 |    15661 |   204647      0 |        0 |        0
29.08/29.10	c 23.3s |      11 |   120097 |    17144 |   225112      0 |        0 |        0
31.08/31.18	c 25.4s |      11 |   140355 |    18444 |   225112      0 |        0 |        0
33.28/33.31	c 27.5s |      11 |   156667 |    20444 |   225112      0 |        0 |        0
35.29/35.35	c 29.5s |      11 |   172354 |    22044 |   225112      0 |        0 |        0
37.39/37.42	c 31.6s |      11 |   199088 |    23344 |   225112      0 |        0 |        0
39.38/39.46	c 33.6s |      11 |   205115 |    25344 |   225112      0 |        0 |        0
40.38/40.42	c 34.6s |      12 |   213177 |    25819 |   247624      0 |        0 |        0
42.38/42.44	c 36.6s |      12 |   214536 |    26719 |   247624      0 |        0 |        0
44.48/44.50	c 38.7s |      12 |   215802 |    27819 |   247624      0 |        0 |        0
46.48/46.52	c 40.7s |      12 |   217220 |    29019 |   247624      0 |        0 |        0
48.68/48.70	c 42.9s |      12 |   218702 |    30219 |   247624      0 |        0 |        0
50.69/50.71	c 44.9s |      12 |   219972 |    31319 |   247624      0 |        0 |        0
52.68/52.73	c 46.9s |      12 |   221149 |    32319 |   247624      0 |        0 |        0
54.78/54.83	c 49.0s |      12 |   222397 |    33419 |   247624      0 |        0 |        0
56.88/56.91	c 51.1s |      12 |   223547 |    34419 |   247624      0 |        0 |        0
58.98/59.00	c 53.2s |      12 |   224599 |    35319 |   247624      0 |        0 |        0
60.97/61.06	c 55.2s |      12 |   225586 |    36219 |   247624      0 |        0 |        0
63.07/63.12	c 57.3s |      12 |   226772 |    37219 |   247624      0 |        0 |        0
65.17/65.25	c 59.4s |      12 |   228067 |    38219 |   247624      0 |        0 |        0
66.57/66.66	c 60.8s |      13 |   229003 |    38832 |   272387      0 |        0 |        0
68.87/68.96	c 63.1s |      13 |   265690 |    39632 |   272387      0 |        0 |        0
70.87/70.97	c 65.1s |      13 |   275904 |    41032 |   272387      0 |        0 |        0
73.27/73.34	c 67.5s |      13 |   292458 |    41832 |   272387      0 |        1 |       12
75.47/75.59	c 69.8s |      13 |   294399 |    42332 |   272387      0 |        2 |       24
78.87/78.94	c 73.1s |      13 |   342527 |    43032 |   272387      0 |        2 |       24
80.97/81.09	c 75.3s |      13 |   363031 |    44032 |   272387      0 |        2 |       24
83.46/83.52	c 77.7s |      13 |   390494 |    44732 |   272387      0 |        2 |       24
85.46/85.57	c 79.8s |      13 |   421357 |    45532 |   272387      0 |        2 |       24
87.76/87.80	c 82.0s |      13 |   454075 |    46432 |   272387      0 |        2 |       24
89.96/90.05	c 84.2s |      13 |   480966 |    47332 |   272387      0 |        2 |       24
92.06/92.19	c 86.4s |      13 |   497776 |    48232 |   272387      0 |        2 |       24
94.16/94.26	c 88.4s |      13 |   499363 |    48832 |   272387      0 |        2 |       24
96.26/96.31	c 90.5s |      13 |   500458 |    49432 |   272387      0 |        2 |       24
98.26/98.34	c 92.5s |      13 |   501305 |    50032 |   272387      0 |        2 |       24
100.56/100.68	c 94.9s |      13 |   503301 |    50632 |   272387      0 |        2 |       24
102.76/102.85	c 97.0s |      13 |   507627 |    51132 |   272387      0 |        2 |       24
104.96/105.07	c 99.2s |      13 |   510990 |    51832 |   272387      0 |        2 |       24
107.16/107.27	c  101s |      13 |   512358 |    52432 |   272387      0 |        2 |       24
109.26/109.38	c  103s |      13 |   513230 |    53032 |   272387      0 |        2 |       24
111.36/111.44	c  105s |      13 |   518699 |    54132 |   272387      0 |        2 |       24
113.56/113.66	c  107s |      13 |   521744 |    55032 |   272387      0 |        2 |       24
115.86/115.91	c  110s |      13 |   525191 |    55732 |   272387      0 |        2 |       24
117.85/117.94	c  112s |      13 |   531824 |    56432 |   272387      0 |        3 |       36
120.05/120.11	c  114s |      13 |   533896 |    56932 |   272387      0 |        3 |       36
122.25/122.39	c  116s |      13 |   534477 |    57432 |   272387      0 |        3 |       36
124.65/124.70	c  118s |      13 |   535045 |    57932 |   272387      0 |        3 |       36
126.65/126.73	c  120s |      13 |   535512 |    58332 |   299626      0 |        3 |       36
126.75/126.84	c  121s |      14 |   535535 |    58352 |   299626      0 |        3 |       36
129.05/129.10	c  123s |      14 |   543362 |    58752 |   299626      0 |        3 |       36
131.35/131.44	c  125s |      14 |   543959 |    59152 |   299626      0 |        3 |       36
133.65/133.77	c  127s |      14 |   544507 |    59552 |   299626      0 |        3 |       36
135.75/135.83	c  130s |      14 |   544911 |    59852 |   299626      0 |        3 |       36
137.85/137.93	c  132s |      14 |   545677 |    60252 |   299626      0 |        3 |       36
139.95/140.06	c  134s |      14 |   546172 |    60652 |   299626      0 |        3 |       36
142.25/142.34	c  136s |      14 |   547120 |    61152 |   299626      0 |        3 |       36
144.25/144.37	c  138s |      14 |   548894 |    61552 |   299626      0 |        3 |       36
146.55/146.63	c  140s |      14 |   552753 |    62052 |   299626      0 |        3 |       36
148.64/148.79	c  142s |      14 |   558118 |    62552 |   299626      0 |        3 |       36
150.94/151.02	c  145s |      14 |   560337 |    63052 |   299626      0 |        3 |       36
153.44/153.55	c  147s |      14 |   561149 |    63552 |   299626      0 |        3 |       36
155.74/155.81	c  149s |      14 |   561598 |    63952 |   299626      0 |        3 |       36
157.74/157.81	c  151s |      14 |   562304 |    64252 |   299626      0 |        3 |       36
160.34/160.40	c  154s |      14 |   562744 |    64652 |   299626      0 |        3 |       36
162.85/162.98	c  157s |      14 |   563223 |    65052 |   299626      0 |        3 |       36
164.84/165.00	c  159s |      14 |   563750 |    65352 |   299626      0 |        3 |       36
167.24/167.36	c  161s |      14 |   564416 |    65752 |   299626      0 |        3 |       36
169.94/170.00	c  164s |      14 |   564961 |    66152 |   299626      0 |        3 |       36
172.34/172.45	c  166s |      14 |   565908 |    66552 |   299626      0 |        3 |       36
174.94/175.08	c  169s |      14 |   567606 |    67052 |   299626      0 |        3 |       36
177.24/177.31	c  171s |      14 |   567944 |    67352 |   299626      0 |        3 |       36
179.54/179.64	c  173s |      14 |   568266 |    67652 |   299626      0 |        3 |       36
181.64/181.70	c  175s |      14 |   568602 |    67952 |   299626      0 |        3 |       36
184.24/184.30	c  178s |      14 |   569036 |    68352 |   299626      0 |        3 |       36
186.73/186.86	c  181s |      14 |   569518 |    68752 |   299626      0 |        3 |       36
189.14/189.25	c  183s |      14 |   570088 |    69152 |   299626      0 |        3 |       36
191.73/191.84	c  186s |      14 |   570632 |    69552 |   299626      0 |        3 |       36
193.83/193.99	c  188s |      14 |   570985 |    69852 |   299626      0 |        3 |       36
195.93/196.07	c  190s |      14 |   571412 |    70152 |   299626      0 |        3 |       36
198.63/198.77	c  192s |      14 |   572027 |    70552 |   299626      0 |        3 |       36
200.93/201.02	c  195s |      14 |   572362 |    70852 |   299626      0 |        3 |       36
203.53/203.63	c  197s |      14 |   572740 |    71152 |   299626      0 |        3 |       36
206.33/206.45	c  200s |      14 |   573052 |    71452 |   299626      0 |        3 |       36
208.93/209.02	c  203s |      14 |   573399 |    71752 |   299626      0 |        3 |       36
211.32/211.43	c  205s |      14 |   573720 |    72052 |   299626      0 |        3 |       36
213.43/213.56	c  207s |      14 |   575244 |    72452 |   299626      0 |        3 |       36
215.82/215.90	c  210s |      14 |   577398 |    72852 |   299626      0 |        3 |       36
218.32/218.41	c  212s |      14 |   577926 |    73252 |   299626      0 |        3 |       36
220.72/220.83	c  215s |      14 |   578470 |    73652 |   299626      0 |        3 |       36
222.72/222.86	c  217s |      14 |   578851 |    73952 |   299626      0 |        3 |       36
225.12/225.25	c  219s |      14 |   579305 |    74352 |   299626      0 |        3 |       36
227.32/227.43	c  221s |      14 |   579779 |    74752 |   299626      0 |        3 |       36
229.62/229.78	c  223s |      14 |   580290 |    75152 |   299626      0 |        3 |       36
232.02/232.18	c  226s |      14 |   580802 |    75552 |   299626      0 |        3 |       36
234.12/234.24	c  228s |      14 |   582528 |    75952 |   299626      0 |        3 |       36
236.62/236.77	c  230s |      14 |   583087 |    76352 |   299626      0 |        3 |       36
239.21/239.31	c  233s |      14 |   584424 |    76752 |   299626      0 |        3 |       36
241.41/241.50	c  235s |      14 |   585332 |    77052 |   299626      0 |        3 |       36
243.51/243.62	c  237s |      14 |   585915 |    77352 |   299626      0 |        3 |       36
245.81/245.94	c  240s |      14 |   586265 |    77652 |   299626      0 |        3 |       36
248.21/248.39	c  242s |      14 |   586584 |    77952 |   299626      0 |        3 |       36
250.81/250.91	c  245s |      14 |   586897 |    78252 |   299626      0 |        3 |       36
253.41/253.56	c  247s |      14 |   587246 |    78552 |   299626      0 |        3 |       36
255.91/256.03	c  250s |      14 |   587610 |    78852 |   299626      0 |        3 |       36
258.30/258.49	c  252s |      14 |   587970 |    79152 |   299626      0 |        3 |       36
260.90/261.09	c  255s |      14 |   588283 |    79452 |   299626      0 |        3 |       36
263.60/263.75	c  257s |      14 |   588605 |    79752 |   299626      0 |        3 |       36
266.21/266.37	c  260s |      14 |   588927 |    80052 |   299626      0 |        3 |       36
268.70/268.82	c  262s |      14 |   589245 |    80352 |   299626      0 |        3 |       36
271.10/271.26	c  265s |      14 |   589584 |    80652 |   299626      0 |        3 |       36
273.80/273.92	c  268s |      14 |   589893 |    80952 |   299626      0 |        3 |       36
276.10/276.26	c  270s |      14 |   590260 |    81252 |   299626      0 |        3 |       36
278.49/278.69	c  272s |      14 |   590583 |    81552 |   299626      0 |        3 |       36
280.89/281.08	c  275s |      14 |   590909 |    81852 |   299626      0 |        3 |       36
283.49/283.69	c  277s |      14 |   591228 |    82152 |   299626      0 |        3 |       36
286.09/286.29	c  280s |      14 |   591544 |    82452 |   299626      0 |        3 |       36
288.78/288.99	c  283s |      14 |   591862 |    82752 |   299626      0 |        3 |       36
291.29/291.49	c  285s |      14 |   592189 |    83052 |   299626      0 |        3 |       36
293.70/293.84	c  288s |      14 |   592525 |    83352 |   299626      0 |        3 |       36
296.39/296.50	c  290s |      14 |   592862 |    83652 |   299626      0 |        3 |       36
299.19/299.39	c  293s |      14 |   593177 |    83952 |   299626      0 |        3 |       36
302.19/302.30	c  296s |      14 |   593499 |    84252 |   299626      0 |        3 |       36
304.59/304.80	c  298s |      14 |   593876 |    84552 |   299626      0 |        3 |       36
307.38/307.55	c  301s |      14 |   594198 |    84852 |   299626      0 |        3 |       36
309.88/310.01	c  304s |      14 |   594510 |    85152 |   299626      0 |        3 |       36
312.48/312.62	c  306s |      14 |   594840 |    85452 |   299626      0 |        3 |       36
315.28/315.41	c  309s |      14 |   595151 |    85752 |   299626      0 |        3 |       36
317.88/318.08	c  312s |      14 |   595465 |    86052 |   299626      0 |        3 |       36
320.77/320.92	c  315s |      14 |   595780 |    86352 |   299626      0 |        3 |       36
323.47/323.68	c  317s |      14 |   596104 |    86652 |   299626      0 |        3 |       36
325.48/325.68	c  319s |      14 |   596726 |    86852 |   299626      0 |        3 |       36
327.96/328.19	c  322s |      14 |   597083 |    87152 |   329589      0 |        3 |       36
330.36/330.58	c  324s |      14 |   597811 |    87452 |   329589      0 |        3 |       36
331.76/332.00	c  326s |      15 |   598094 |    87632 |   329589      0 |        3 |       36
334.56/334.76	c  328s |      15 |   598795 |    87932 |   329589      0 |        3 |       36
336.96/337.13	c  331s |      15 |   599211 |    88232 |   329589      0 |        3 |       36
338.96/339.15	c  333s |      15 |   600033 |    88532 |   329589      0 |        3 |       36
341.06/341.24	c  335s |      15 |   600492 |    88832 |   329589      0 |        3 |       36
343.25/343.47	c  337s |      15 |   601836 |    89232 |   329589      0 |        3 |       36
345.45/345.64	c  339s |      15 |   602256 |    89532 |   329589      0 |        3 |       36
348.05/348.23	c  342s |      15 |   602629 |    89832 |   329589      0 |        3 |       36
350.65/350.81	c  344s |      15 |   603991 |    90332 |   329589      0 |        3 |       36
353.25/353.42	c  347s |      15 |   604479 |    90732 |   329589      0 |        3 |       36
355.65/355.88	c  350s |      15 |   605164 |    91132 |   329589      0 |        3 |       36
357.84/358.01	c  352s |      15 |   605659 |    91432 |   329589      0 |        3 |       36
360.04/360.21	c  354s |      15 |   606332 |    91732 |   329589      0 |        3 |       36
362.24/362.40	c  356s |      15 |   607117 |    92132 |   329589      0 |        3 |       36
364.34/364.50	c  358s |      15 |   607842 |    92432 |   329589      0 |        3 |       36
366.64/366.80	c  360s |      15 |   608533 |    92832 |   329589      0 |        3 |       36
369.04/369.26	c  363s |      15 |   608869 |    93132 |   329589      0 |        3 |       36
371.34/371.50	c  365s |      15 |   609408 |    93532 |   329589      0 |        3 |       36
373.64/373.89	c  368s |      15 |   609899 |    93932 |   329589      0 |        3 |       36
375.73/375.96	c  370s |      15 |   610508 |    94332 |   329589      0 |        3 |       36
378.43/378.67	c  372s |      15 |   611042 |    94732 |   329589      0 |        3 |       36
380.83/381.04	c  375s |      15 |   611831 |    95132 |   329589      0 |        3 |       36
383.13/383.32	c  377s |      15 |   612441 |    95532 |   329589      0 |        3 |       36
385.33/385.55	c  379s |      15 |   613129 |    95932 |   329589      0 |        3 |       36
387.42/387.69	c  381s |      15 |   613631 |    96332 |   329589      0 |        3 |       36
389.62/389.86	c  384s |      15 |   614291 |    96732 |   329589      0 |        3 |       36
391.92/392.19	c  386s |      15 |   614944 |    97132 |   329589      0 |        3 |       36
394.32/394.52	c  388s |      15 |   615502 |    97532 |   329589      0 |        3 |       36
396.82/397.09	c  391s |      15 |   615994 |    97932 |   329589      0 |        3 |       36
399.01/399.24	c  393s |      15 |   616533 |    98332 |   329589      0 |        3 |       36
401.32/401.51	c  395s |      15 |   617099 |    98732 |   329589      0 |        3 |       36
403.52/403.78	c  397s |      15 |   617538 |    99132 |   329589      0 |        3 |       36
405.61/405.83	c  400s |      15 |   617898 |    99432 |   329589      0 |        3 |       36
408.21/408.43	c  402s |      15 |   618445 |    99832 |   329589      0 |        3 |       36
410.81/411.03	c  405s |      15 |   619113 |   100232 |   329589      0 |        3 |       36
413.41/413.63	c  407s |      15 |   619779 |   100632 |   329589      0 |        3 |       36
415.40/415.66	c  409s |      15 |   620296 |   100932 |   329589      0 |        3 |       36
418.00/418.22	c  412s |      15 |   621067 |   101332 |   329589      0 |        3 |       36
420.01/420.29	c  414s |      15 |   621490 |   101632 |   329589      0 |        3 |       36
422.60/422.84	c  417s |      15 |   621880 |   101932 |   329589      0 |        3 |       36
425.51/425.76	c  419s |      15 |   622349 |   102232 |   329589      0 |        3 |       36
428.09/428.37	c  422s |      15 |   622677 |   102532 |   329589      0 |        3 |       36
430.49/430.79	c  424s |      15 |   623002 |   102832 |   329589      0 |        3 |       36
432.89/433.19	c  427s |      15 |   623336 |   103132 |   329589      0 |        3 |       36
435.29/435.51	c  429s |      15 |   623709 |   103432 |   329589      0 |        3 |       36
437.39/437.60	c  431s |      15 |   624123 |   103732 |   329589      0 |        3 |       36
439.39/439.69	c  433s |      15 |   624664 |   104032 |   329589      0 |        3 |       36
441.59/441.85	c  436s |      15 |   625102 |   104332 |   329589      0 |        3 |       36
443.89/444.11	c  438s |      15 |   625545 |   104632 |   329589      0 |        3 |       36
446.19/446.44	c  440s |      15 |   626070 |   104932 |   329589      0 |        3 |       36
448.78/449.05	c  443s |      15 |   626633 |   105232 |   329589      0 |        3 |       36
451.08/451.39	c  445s |      15 |   627074 |   105532 |   329589      0 |        3 |       36
453.18/453.43	c  447s |      15 |   627470 |   105832 |   329589      0 |        3 |       36
455.58/455.88	c  450s |      15 |   628227 |   106132 |   329589      0 |        3 |       36
457.97/458.25	c  452s |      15 |   628584 |   106432 |   329589      0 |        3 |       36
460.07/460.36	c  454s |      15 |   629042 |   106732 |   329589      0 |        3 |       36
462.57/462.81	c  456s |      15 |   629613 |   107032 |   329589      0 |        3 |       36
464.97/465.27	c  459s |      15 |   630055 |   107332 |   329589      0 |        3 |       36
467.27/467.59	c  461s |      15 |   630805 |   107632 |   329589      0 |        3 |       36
469.76/470.06	c  464s |      15 |   631216 |   107932 |   329589      0 |        3 |       36
472.46/472.72	c  466s |      15 |   631671 |   108232 |   329589      0 |        3 |       36
474.56/474.81	c  468s |      15 |   631948 |   108432 |   329589      0 |        3 |       36
476.96/477.26	c  471s |      15 |   632467 |   108732 |   329589      0 |        3 |       36
479.36/479.66	c  473s |      15 |   632935 |   109032 |   329589      0 |        3 |       36
482.56/482.84	c  477s |      15 |   633400 |   109332 |   329589      0 |        3 |       36
484.86/485.17	c  479s |      15 |   633969 |   109632 |   329589      0 |        3 |       36
487.55/487.86	c  482s |      15 |   634410 |   109932 |   329589      0 |        3 |       36
489.65/489.90	c  484s |      15 |   634657 |   110132 |   329589      0 |        3 |       36
492.56/492.86	c  487s |      15 |   635091 |   110432 |   329589      0 |        3 |       36
494.95/495.26	c  489s |      15 |   635522 |   110732 |   329589      0 |        3 |       36
497.44/497.70	c  491s |      15 |   636317 |   111032 |   329589      0 |        3 |       36
499.84/500.14	c  494s |      15 |   636723 |   111332 |   329589      0 |        3 |       36
502.55/502.82	c  497s |      15 |   637191 |   111632 |   329589      0 |        3 |       36
504.54/504.88	c  499s |      15 |   637464 |   111832 |   329589      0 |        3 |       36
507.14/507.44	c  501s |      15 |   637988 |   112132 |   329589      0 |        3 |       36
509.24/509.51	c  503s |      15 |   638250 |   112332 |   329589      0 |        3 |       36
511.64/511.90	c  506s |      15 |   638746 |   112632 |   329589      0 |        3 |       36
513.83/514.13	c  508s |      15 |   639269 |   112932 |   329589      0 |        3 |       36
516.13/516.49	c  510s |      15 |   639715 |   113232 |   329589      0 |        3 |       36
518.73/519.01	c  513s |      15 |   640087 |   113532 |   329589      0 |        3 |       36
521.33/521.68	c  515s |      15 |   640536 |   113832 |   329589      0 |        3 |       36
524.23/524.56	c  518s |      15 |   640979 |   114132 |   329589      0 |        3 |       36
527.12/527.41	c  521s |      15 |   641419 |   114432 |   329589      0 |        3 |       36
529.32/529.62	c  523s |      15 |   641668 |   114632 |   329589      0 |        3 |       36
532.13/532.45	c  526s |      15 |   642019 |   114932 |   329589      0 |        3 |       36
534.72/535.08	c  529s |      15 |   642370 |   115232 |   329589      0 |        3 |       36
537.12/537.45	c  531s |      15 |   642791 |   115532 |   329589      0 |        3 |       36
539.72/540.01	c  534s |      15 |   643185 |   115832 |   329589      0 |        3 |       36
541.72/542.07	c  536s |      15 |   643539 |   116032 |   329589      0 |        3 |       36
544.72/545.00	c  539s |      15 |   644063 |   116332 |   329589      0 |        3 |       36
547.31/547.68	c  541s |      15 |   644454 |   116632 |   329589      0 |        3 |       36
549.51/549.84	c  544s |      15 |   645164 |   116932 |   329589      0 |        3 |       36
551.92/552.29	c  546s |      15 |   645735 |   117232 |   329589      0 |        3 |       36
554.41/554.70	c  548s |      15 |   646356 |   117532 |   329589      0 |        3 |       36
557.11/557.45	c  551s |      15 |   646754 |   117832 |   329589      0 |        3 |       36
559.72/560.09	c  554s |      15 |   647511 |   118132 |   329589      0 |        3 |       36
562.31/562.60	c  556s |      15 |   647996 |   118432 |   329589      0 |        3 |       36
565.11/565.41	c  559s |      15 |   648473 |   118732 |   329589      0 |        3 |       36
567.71/568.08	c  562s |      15 |   649238 |   119032 |   329589      0 |        3 |       36
570.61/570.94	c  565s |      15 |   649807 |   119332 |   329589      0 |        3 |       36
572.71/573.05	c  567s |      15 |   650227 |   119532 |   329589      0 |        3 |       36
574.71/575.09	c  569s |      15 |   650534 |   119732 |   329589      0 |        3 |       36
577.51/577.84	c  572s |      15 |   651356 |   120032 |   329589      0 |        3 |       36
580.30/580.64	c  574s |      15 |   652037 |   120332 |   329589      0 |        3 |       36
582.40/582.77	c  576s |      15 |   652246 |   120532 |   329589      0 |        3 |       36
585.20/585.58	c  579s |      15 |   652676 |   120832 |   329589      0 |        3 |       36
587.60/587.94	c  582s |      15 |   653182 |   121132 |   329589      0 |        3 |       36
589.90/590.23	c  584s |      15 |   653587 |   121432 |   329589      0 |        3 |       36
592.40/592.76	c  586s |      15 |   653941 |   121732 |   329589      0 |        3 |       36
594.90/595.27	c  589s |      15 |   654411 |   122032 |   329589      0 |        3 |       36
597.79/598.14	c  592s |      15 |   654807 |   122332 |   329589      0 |        3 |       36
600.40/600.75	c  594s |      15 |   655225 |   122632 |   329589      0 |        3 |       36
602.99/603.34	c  597s |      15 |   655661 |   122932 |   329589      0 |        3 |       36
605.69/606.06	c  600s |      15 |   656319 |   123232 |   329589      0 |        3 |       36
608.48/608.88	c  603s |      15 |   656938 |   123532 |   329589      0 |        3 |       36
611.29/611.66	c  605s |      15 |   657501 |   123832 |   329589      0 |        3 |       36
614.08/614.44	c  608s |      15 |   658084 |   124132 |   329589      0 |        3 |       36
616.08/616.48	c  610s |      15 |   658312 |   124332 |   329589      0 |        3 |       36
618.78/619.11	c  613s |      15 |   658735 |   124632 |   329589      0 |        3 |       36
621.38/621.79	c  615s |      15 |   659287 |   124932 |   329589      0 |        3 |       36
624.58/624.96	c  619s |      15 |   659864 |   125232 |   329589      0 |        3 |       36
626.78/627.12	c  621s |      15 |   660185 |   125432 |   329589      0 |        3 |       36
629.67/630.08	c  624s |      15 |   660624 |   125732 |   329589      0 |        3 |       36
632.77/633.11	c  627s |      15 |   661199 |   126032 |   329589      0 |        3 |       36
634.77/635.13	c  629s |      15 |   661563 |   126232 |   329589      0 |        3 |       36
636.96/637.30	c  631s |      15 |   661868 |   126432 |   329589      0 |        3 |       36
639.76/640.10	c  634s |      15 |   662403 |   126732 |   329589      0 |        3 |       36
642.17/642.51	c  636s |      15 |   662861 |   127032 |   329589      0 |        3 |       36
644.16/644.54	c  638s |      15 |   663302 |   127232 |   329589      0 |        3 |       36
646.86/647.23	c  641s |      15 |   663826 |   127532 |   329589      0 |        3 |       36
648.86/649.26	c  643s |      15 |   664217 |   127732 |   329589      0 |        3 |       36
651.66/652.07	c  646s |      15 |   664768 |   128032 |   329589      0 |        3 |       36
654.36/654.73	c  648s |      15 |   665242 |   128332 |   329589      0 |        3 |       36
656.95/657.31	c  651s |      15 |   665673 |   128632 |   329589      0 |        3 |       36
659.85/660.26	c  654s |      15 |   666115 |   128932 |   329589      0 |        3 |       36
662.85/663.28	c  657s |      15 |   666609 |   129232 |   329589      0 |        3 |       36
665.75/666.13	c  660s |      15 |   667104 |   129532 |   329589      0 |        3 |       36
668.56/668.92	c  663s |      15 |   667735 |   129832 |   329589      0 |        3 |       36
671.55/671.90	c  666s |      15 |   668414 |   130132 |   329589      0 |        3 |       36
673.85/674.24	c  668s |      15 |   668774 |   130332 |   329589      0 |        3 |       36
676.85/677.26	c  671s |      15 |   669246 |   130632 |   329589      0 |        3 |       36
678.84/679.29	c  673s |      15 |   669694 |   130832 |   362548      0 |        3 |       36
680.94/681.34	c  675s |      15 |   670038 |   131032 |   362548      0 |        3 |       36
683.54/683.95	c  678s |      15 |   670484 |   131332 |   362548      0 |        3 |       36
685.74/686.10	c  680s |      15 |   670922 |   131532 |   362548      0 |        3 |       36
685.94/686.32	c  680s |      16 |   671032 |   131552 |   362548      0 |        3 |       36
687.94/688.35	c  682s |      16 |   671191 |   131652 |   362548      0 |        3 |       36
690.64/691.00	c  685s |      16 |   671440 |   131852 |   362548      0 |        3 |       36
693.14/693.53	c  687s |      16 |   671866 |   132052 |   362548      0 |        3 |       36
695.64/696.06	c  690s |      16 |   672104 |   132252 |   362548      0 |        3 |       36
698.03/698.45	c  692s |      16 |   672411 |   132452 |   362548      0 |        3 |       36
700.53/700.94	c  695s |      16 |   672673 |   132652 |   362548      0 |        3 |       36
702.83/703.26	c  697s |      16 |   672909 |   132852 |   362548      0 |        3 |       36
705.03/705.45	c  699s |      16 |   673183 |   133052 |   362548      0 |        3 |       36
707.93/708.38	c  702s |      16 |   673743 |   133352 |   362548      0 |        3 |       36
710.33/710.76	c  704s |      16 |   674007 |   133552 |   362548      0 |        3 |       36
712.53/712.96	c  707s |      16 |   674297 |   133752 |   362548      0 |        3 |       36
714.83/715.26	c  709s |      16 |   674548 |   133952 |   362548      0 |        3 |       36
717.72/718.15	c  712s |      16 |   675059 |   134252 |   362548      0 |        3 |       36
720.13/720.57	c  714s |      16 |   675302 |   134452 |   362548      0 |        3 |       36
722.22/722.69	c  716s |      16 |   675631 |   134652 |   362548      0 |        3 |       36
724.53/724.94	c  719s |      16 |   675981 |   134852 |   362548      0 |        3 |       36
726.62/727.01	c  721s |      16 |   676309 |   135052 |   362548      0 |        3 |       36
729.32/729.72	c  723s |      16 |   676575 |   135252 |   362548      0 |        3 |       36
731.82/732.22	c  726s |      16 |   676840 |   135452 |   362548      0 |        3 |       36
734.22/734.62	c  728s |      16 |   677116 |   135652 |   362548      0 |        3 |       36
736.42/736.84	c  731s |      16 |   677427 |   135852 |   362548      0 |        3 |       36
738.52/738.96	c  733s |      16 |   677737 |   136052 |   362548      0 |        3 |       36
741.52/741.99	c  736s |      16 |   678138 |   136352 |   362548      0 |        3 |       36
743.62/744.03	c  738s |      16 |   678427 |   136552 |   362548      0 |        3 |       36
745.92/746.33	c  740s |      16 |   678853 |   136752 |   362548      0 |        3 |       36
748.02/748.42	c  742s |      16 |   679242 |   136952 |   362548      0 |        3 |       36
750.22/750.64	c  744s |      16 |   679516 |   137152 |   362548      0 |        3 |       36
752.32/752.79	c  746s |      16 |   679951 |   137352 |   362548      0 |        3 |       36
755.43/755.83	c  750s |      16 |   680555 |   137652 |   362548      0 |        3 |       36
758.12/758.55	c  752s |      16 |   680951 |   137952 |   362548      0 |        3 |       36
761.12/761.50	c  755s |      16 |   681337 |   138252 |   362548      0 |        3 |       36
763.72/764.13	c  758s |      16 |   681715 |   138552 |   362548      0 |        3 |       36
766.32/766.76	c  760s |      16 |   682231 |   138852 |   362548      0 |        3 |       36
768.82/769.23	c  763s |      16 |   682771 |   139152 |   362548      0 |        3 |       36
771.12/771.50	c  765s |      16 |   683173 |   139452 |   362548      0 |        3 |       36
773.52/773.99	c  768s |      16 |   683623 |   139752 |   362548      0 |        3 |       36
775.82/776.21	c  770s |      16 |   683887 |   139952 |   362548      0 |        3 |       36
778.52/778.94	c  773s |      16 |   684413 |   140252 |   362548      0 |        3 |       36
781.61/782.01	c  776s |      16 |   684872 |   140552 |   362548      0 |        3 |       36
783.81/784.30	c  778s |      16 |   685195 |   140752 |   362548      0 |        3 |       36
785.91/786.39	c  780s |      16 |   685453 |   140952 |   362548      0 |        3 |       36
788.51/788.91	c  783s |      16 |   685863 |   141152 |   362548      0 |        3 |       36
790.91/791.37	c  785s |      16 |   686129 |   141352 |   362548      0 |        3 |       36
793.01/793.45	c  787s |      16 |   686461 |   141552 |   362548      0 |        3 |       36
795.31/795.73	c  789s |      16 |   686713 |   141752 |   362548      0 |        3 |       36
797.61/798.00	c  792s |      16 |   686977 |   141952 |   362548      0 |        3 |       36
800.01/800.42	c  794s |      16 |   687355 |   142152 |   362548      0 |        3 |       36
802.62/803.01	c  797s |      16 |   687565 |   142352 |   362548      0 |        3 |       36
805.01/805.46	c  799s |      16 |   687802 |   142552 |   362548      0 |        3 |       36
807.12/807.53	c  801s |      16 |   688017 |   142752 |   362548      0 |        3 |       36
809.61/810.02	c  804s |      16 |   688440 |   142952 |   362548      0 |        3 |       36
811.91/812.35	c  806s |      16 |   688690 |   143152 |   362548      0 |        3 |       36
814.21/814.62	c  808s |      16 |   689151 |   143352 |   362548      0 |        3 |       36
817.11/817.51	c  811s |      16 |   689596 |   143652 |   362548      0 |        3 |       36
819.61/820.02	c  814s |      16 |   689816 |   143852 |   362548      0 |        3 |       36
822.42/822.87	c  817s |      16 |   690521 |   144152 |   362548      0 |        3 |       36
825.41/825.84	c  820s |      16 |   690966 |   144452 |   362548      0 |        3 |       36
828.11/828.55	c  822s |      16 |   691399 |   144752 |   362548      0 |        3 |       36
831.11/831.51	c  825s |      16 |   691983 |   145052 |   362548      0 |        3 |       36
834.01/834.42	c  828s |      16 |   692487 |   145352 |   362548      0 |        3 |       36
836.31/836.75	c  830s |      16 |   692706 |   145552 |   362548      0 |        3 |       36
838.51/838.99	c  833s |      16 |   692967 |   145752 |   362548      0 |        3 |       36
841.51/841.92	c  836s |      16 |   693317 |   146052 |   362548      0 |        3 |       36
843.90/844.31	c  838s |      16 |   693724 |   146252 |   362548      0 |        3 |       36
846.40/846.87	c  841s |      16 |   694036 |   146452 |   362548      0 |        3 |       36
850.01/850.44	c  844s |      16 |   694486 |   146752 |   362548      0 |        3 |       36
852.00/852.44	c  846s |      16 |   694800 |   146952 |   362548      0 |        3 |       36
854.41/854.83	c  849s |      16 |   695089 |   147152 |   362548      0 |        3 |       36
857.00/857.40	c  851s |      16 |   695422 |   147352 |   362548      0 |        3 |       36
859.81/860.26	c  854s |      16 |   695835 |   147652 |   362548      0 |        3 |       36
862.50/862.90	c  857s |      16 |   696305 |   147952 |   362548      0 |        3 |       36
864.50/864.94	c  859s |      16 |   696559 |   148152 |   362548      0 |        3 |       36
866.60/867.06	c  861s |      16 |   696835 |   148352 |   362548      0 |        3 |       36
868.61/869.08	c  863s |      16 |   697142 |   148552 |   362548      0 |        3 |       36
870.91/871.33	c  865s |      16 |   697460 |   148752 |   362548      0 |        3 |       36
873.20/873.63	c  867s |      16 |   697687 |   148952 |   362548      0 |        3 |       36
875.70/876.10	c  870s |      16 |   698016 |   149152 |   362548      0 |        3 |       36
877.80/878.25	c  872s |      16 |   698282 |   149352 |   362548      0 |        3 |       36
880.81/881.25	c  875s |      16 |   698794 |   149652 |   362548      0 |        3 |       36
884.01/884.50	c  878s |      16 |   699165 |   149952 |   362548      0 |        3 |       36
886.80/887.22	c  881s |      16 |   699654 |   150252 |   362548      0 |        3 |       36
888.90/889.39	c  883s |      16 |   699935 |   150452 |   362548      0 |        3 |       36
891.30/891.78	c  885s |      16 |   700166 |   150652 |   362548      0 |        3 |       36
893.40/893.88	c  888s |      16 |   700444 |   150852 |   362548      0 |        3 |       36
895.90/896.34	c  890s |      16 |   700760 |   151052 |   362548      0 |        3 |       36
898.10/898.51	c  892s |      16 |   701074 |   151252 |   362548      0 |        3 |       36
900.60/901.08	c  895s |      16 |   701319 |   151452 |   362548      0 |        3 |       36
903.10/903.55	c  897s |      16 |   701726 |   151652 |   362548      0 |        3 |       36
905.60/906.04	c  900s |      16 |   702053 |   151852 |   362548      0 |        3 |       36
907.80/908.21	c  902s |      16 |   702325 |   152052 |   362548      0 |        3 |       36
910.19/910.62	c  904s |      16 |   702678 |   152252 |   362548      0 |        3 |       36
912.49/912.93	c  907s |      16 |   702987 |   152452 |   362548      0 |        3 |       36
914.69/915.16	c  909s |      16 |   703381 |   152652 |   362548      0 |        3 |       36
916.89/917.39	c  911s |      16 |   703692 |   152852 |   362548      0 |        3 |       36
918.99/919.43	c  913s |      16 |   703939 |   153052 |   362548      0 |        3 |       36
921.50/921.99	c  916s |      16 |   704258 |   153252 |   362548      0 |        3 |       36
923.99/924.48	c  918s |      16 |   704559 |   153452 |   362548      0 |        3 |       36
926.69/927.12	c  921s |      16 |   704858 |   153652 |   362548      0 |        3 |       36
929.20/929.65	c  923s |      16 |   705179 |   153852 |   362548      0 |        3 |       36
931.99/932.40	c  926s |      16 |   705701 |   154052 |   362548      0 |        3 |       36
934.60/935.06	c  929s |      16 |   705961 |   154252 |   362548      0 |        3 |       36
937.09/937.53	c  931s |      16 |   706298 |   154452 |   362548      0 |        3 |       36
939.19/939.69	c  933s |      16 |   706528 |   154652 |   362548      0 |        3 |       36
941.59/942.05	c  936s |      16 |   706748 |   154852 |   362548      0 |        3 |       36
944.09/944.53	c  938s |      16 |   706961 |   155052 |   362548      0 |        3 |       36
946.29/946.72	c  940s |      16 |   707222 |   155252 |   362548      0 |        3 |       36
949.29/949.75	c  943s |      16 |   707596 |   155552 |   362548      0 |        3 |       36
951.59/952.02	c  946s |      16 |   707830 |   155752 |   362548      0 |        3 |       36
953.89/954.32	c  948s |      16 |   708098 |   155952 |   362548      0 |        3 |       36
956.09/956.58	c  950s |      16 |   708335 |   156152 |   362548      0 |        3 |       36
958.19/958.69	c  952s |      16 |   708571 |   156352 |   362548      0 |        3 |       36
960.29/960.78	c  954s |      16 |   708779 |   156552 |   362548      0 |        3 |       36
963.19/963.60	c  957s |      16 |   709174 |   156852 |   362548      0 |        3 |       36
965.69/966.19	c  960s |      16 |   709528 |   157152 |   362548      0 |        3 |       36
968.69/969.14	c  963s |      16 |   709900 |   157452 |   362548      0 |        3 |       36
970.99/971.42	c  965s |      16 |   710121 |   157652 |   362548      0 |        3 |       36
973.98/974.47	c  968s |      16 |   710451 |   157952 |   362548      0 |        3 |       36
976.49/976.93	c  971s |      16 |   710683 |   158152 |   362548      0 |        3 |       36
979.48/979.98	c  974s |      16 |   711034 |   158452 |   362548      0 |        3 |       36
982.58/983.05	c  977s |      16 |   711407 |   158752 |   362548      0 |        3 |       36
984.68/985.13	c  979s |      16 |   711708 |   158952 |   362548      0 |        3 |       36
986.68/987.14	c  981s |      16 |   712042 |   159152 |   362548      0 |        3 |       36
988.78/989.26	c  983s |      16 |   712263 |   159352 |   362548      0 |        3 |       36
991.28/991.70	c  985s |      16 |   712539 |   159552 |   362548      0 |        3 |       36
993.48/993.98	c  988s |      16 |   712798 |   159752 |   362548      0 |        3 |       36
996.08/996.54	c  990s |      16 |   713061 |   159952 |   362548      0 |        3 |       36
998.49/998.91	c  993s |      16 |   713349 |   160152 |   362548      0 |        3 |       36
1000.98/1001.49	c  995s |      16 |   713612 |   160352 |   362548      0 |        3 |       36
1003.78/1004.28	c  998s |      16 |   714001 |   160552 |   362548      0 |        3 |       36
1006.58/1007.00	c 1001s |      16 |   714362 |   160752 |   362548      0 |        3 |       36
1009.18/1009.63	c 1003s |      16 |   714697 |   160952 |   362548      0 |        3 |       36
1012.08/1012.51	c 1006s |      16 |   715069 |   161152 |   362548      0 |        3 |       36
1014.78/1015.23	c 1009s |      16 |   715474 |   161352 |   362548      0 |        3 |       36
1017.08/1017.52	c 1011s |      16 |   715899 |   161552 |   362548      0 |        3 |       36
1019.48/1019.98	c 1014s |      16 |   716115 |   161752 |   362548      0 |        3 |       36
1022.58/1023.04	c 1017s |      16 |   716376 |   161952 |   362548      0 |        3 |       36
1025.68/1026.18	c 1020s |      16 |   716582 |   162152 |   362548      0 |        3 |       36
1028.67/1029.19	c 1023s |      16 |   716870 |   162352 |   362548      0 |        3 |       36
1031.48/1031.95	c 1026s |      16 |   717209 |   162552 |   362548      0 |        3 |       36
1033.58/1034.02	c 1028s |      16 |   717657 |   162752 |   362548      0 |        3 |       36
1035.98/1036.42	c 1030s |      16 |   718023 |   162952 |   362548      0 |        3 |       36
1038.28/1038.77	c 1032s |      16 |   718449 |   163152 |   362548      0 |        3 |       36
1040.98/1041.42	c 1035s |      16 |   718974 |   163352 |   362548      0 |        3 |       36
1043.28/1043.72	c 1037s |      16 |   719270 |   163552 |   362548      0 |        3 |       36
1045.38/1045.87	c 1040s |      16 |   719630 |   163752 |   362548      0 |        3 |       36
1047.48/1047.94	c 1042s |      16 |   719941 |   163952 |   362548      0 |        3 |       36
1049.58/1050.01	c 1044s |      16 |   720230 |   164152 |   362548      0 |        3 |       36
1052.48/1052.95	c 1047s |      16 |   721140 |   164452 |   362548      0 |        3 |       36
1054.59/1055.05	c 1049s |      16 |   721548 |   164652 |   362548      0 |        3 |       36
1057.79/1058.22	c 1052s |      16 |   722064 |   164952 |   362548      0 |        3 |       36
1059.78/1060.27	c 1054s |      16 |   722429 |   165152 |   362548      0 |        3 |       36
1062.28/1062.74	c 1056s |      16 |   722719 |   165352 |   362548      0 |        3 |       36
1065.38/1065.88	c 1060s |      16 |   723036 |   165552 |   362548      0 |        3 |       36
1068.38/1068.88	c 1063s |      16 |   723391 |   165752 |   362548      0 |        3 |       36
1071.98/1072.40	c 1066s |      16 |   723697 |   165952 |   362548      0 |        3 |       36
1075.08/1075.57	c 1069s |      16 |   724069 |   166152 |   362548      0 |        3 |       36
1078.08/1078.52	c 1072s |      16 |   724370 |   166352 |   362548      0 |        3 |       36
1080.98/1081.46	c 1075s |      16 |   724764 |   166552 |   362548      0 |        3 |       36
1084.37/1084.85	c 1079s |      16 |   725178 |   166752 |   362548      0 |        3 |       36
1087.27/1087.77	c 1081s |      16 |   725474 |   166952 |   362548      0 |        3 |       36
1090.27/1090.72	c 1084s |      16 |   725817 |   167152 |   362548      0 |        3 |       36
1092.98/1093.41	c 1087s |      16 |   726075 |   167352 |   362548      0 |        3 |       36
1095.57/1096.09	c 1090s |      16 |   726397 |   167552 |   362548      0 |        3 |       36
1098.58/1099.05	c 1093s |      16 |   726662 |   167752 |   362548      0 |        3 |       36
1102.07/1102.56	c 1096s |      16 |   727067 |   167952 |   362548      0 |        3 |       36
1106.18/1106.61	c 1100s |      16 |   727305 |   168152 |   362548      0 |        3 |       36
1109.48/1110.00	c 1104s |      16 |   727568 |   168352 |   362548      0 |        3 |       36
1113.37/1113.82	c 1107s |      16 |   727821 |   168552 |   362548      0 |        3 |       36
1116.87/1117.35	c 1111s |      16 |   728077 |   168752 |   362548      0 |        3 |       36
1120.27/1120.74	c 1114s |      16 |   728395 |   168952 |   362548      0 |        3 |       36
1124.07/1124.55	c 1118s |      16 |   728755 |   169152 |   362548      0 |        3 |       36
1127.57/1128.09	c 1122s |      16 |   729071 |   169352 |   362548      0 |        3 |       36
1130.77/1131.22	c 1125s |      16 |   729307 |   169552 |   362548      0 |        3 |       36
1134.17/1134.69	c 1128s |      16 |   729709 |   169752 |   362548      0 |        3 |       36
1136.77/1137.20	c 1131s |      16 |   730032 |   169952 |   362548      0 |        3 |       36
1139.57/1140.08	c 1134s |      16 |   730298 |   170152 |   362548      0 |        3 |       36
1142.57/1143.08	c 1137s |      16 |   730539 |   170352 |   362548      0 |        3 |       36
1145.56/1146.00	c 1140s |      16 |   730810 |   170552 |   362548      0 |        3 |       36
1148.86/1149.32	c 1143s |      16 |   731076 |   170752 |   362548      0 |        3 |       36
1151.96/1152.49	c 1146s |      16 |   731325 |   170952 |   362548      0 |        3 |       36
1154.86/1155.30	c 1149s |      16 |   731551 |   171152 |   362548      0 |        3 |       36
1158.06/1158.50	c 1152s |      16 |   731784 |   171352 |   362548      0 |        3 |       36
1160.96/1161.49	c 1155s |      16 |   732007 |   171552 |   362548      0 |        3 |       36
1163.06/1163.50	c 1157s |      16 |   732113 |   171652 |   362548      0 |        3 |       36
1166.06/1166.54	c 1160s |      16 |   732538 |   171852 |   362548      0 |        3 |       36
1169.16/1169.63	c 1163s |      16 |   732816 |   172052 |   362548      0 |        3 |       36
1172.86/1173.33	c 1167s |      16 |   733163 |   172252 |   362548      0 |        3 |       36
1176.36/1176.88	c 1171s |      16 |   733467 |   172452 |   362548      0 |        3 |       36
1180.26/1180.77	c 1174s |      16 |   733692 |   172652 |   362548      0 |        3 |       36
1182.46/1182.95	c 1177s |      16 |   733862 |   172752 |   362548      0 |        3 |       36
1185.66/1186.12	c 1180s |      16 |   734187 |   172952 |   362548      0 |        3 |       36
1188.96/1189.44	c 1183s |      16 |   734411 |   173152 |   362548      0 |        3 |       36
1192.16/1192.66	c 1186s |      16 |   734682 |   173352 |   362548      0 |        3 |       36
1194.86/1195.32	c 1189s |      16 |   734979 |   173552 |   362548      0 |        3 |       36
1198.16/1198.63	c 1192s |      16 |   735239 |   173752 |   362548      0 |        3 |       36
1200.46/1200.90	c 1195s |      16 |   735343 |   173852 |   362548      0 |        3 |       36
1202.66/1203.11	c 1197s |      16 |   735459 |   173952 |   362548      0 |        3 |       36
1207.26/1207.73	c 1201s |      16 |   735674 |   174152 |   362548      0 |        3 |       36
1209.85/1210.30	c 1204s |      16 |   735791 |   174252 |   362548      0 |        3 |       36
1213.75/1214.21	c 1208s |      16 |   736013 |   174452 |   362548      0 |        3 |       36
1217.36/1217.80	c 1211s |      16 |   736255 |   174652 |   362548      0 |        3 |       36
1220.85/1221.37	c 1215s |      16 |   736480 |   174852 |   362548      0 |        3 |       36
1224.45/1224.97	c 1219s |      16 |   736704 |   175052 |   362548      0 |        3 |       36
1227.45/1227.92	c 1222s |      16 |   737132 |   175252 |   362548      0 |        3 |       36
1230.15/1230.66	c 1224s |      16 |   737437 |   175452 |   362548      0 |        3 |       36
1233.55/1234.09	c 1228s |      16 |   737660 |   175652 |   362548      0 |        3 |       36
1237.35/1237.85	c 1232s |      16 |   737904 |   175852 |   362548      0 |        3 |       36
1241.05/1241.51	c 1235s |      16 |   738275 |   176052 |   362548      0 |        3 |       36
1243.85/1244.30	c 1238s |      16 |   738788 |   176252 |   362548      0 |        3 |       36
1246.85/1247.38	c 1241s |      16 |   739258 |   176452 |   362548      0 |        3 |       36
1250.35/1250.82	c 1244s |      16 |   739541 |   176652 |   362548      0 |        3 |       36
1253.65/1254.13	c 1248s |      16 |   739864 |   176852 |   362548      0 |        3 |       36
1256.25/1256.77	c 1250s |      16 |   740193 |   177052 |   362548      0 |        3 |       36
1259.55/1260.02	c 1254s |      16 |   740724 |   177252 |   362548      0 |        3 |       36
1262.75/1263.24	c 1257s |      16 |   741170 |   177452 |   362548      0 |        3 |       36
1265.95/1266.41	c 1260s |      16 |   741431 |   177652 |   362548      0 |        3 |       36
1269.15/1269.69	c 1263s |      16 |   741790 |   177852 |   362548      0 |        3 |       36
1272.94/1273.41	c 1267s |      16 |   742132 |   178052 |   362548      0 |        3 |       36
1276.34/1276.81	c 1270s |      16 |   742425 |   178252 |   362548      0 |        3 |       36
1279.64/1280.20	c 1274s |      16 |   742720 |   178452 |   362548      0 |        3 |       36
1283.04/1283.52	c 1277s |      16 |   742995 |   178652 |   362548      0 |        3 |       36
1286.44/1286.95	c 1281s |      16 |   743403 |   178852 |   362548      0 |        3 |       36
1290.04/1290.52	c 1284s |      16 |   743755 |   179052 |   362548      0 |        3 |       36
1292.05/1292.53	c 1286s |      16 |   743879 |   179152 |   362548      0 |        3 |       36
1294.04/1294.56	c 1288s |      16 |   743986 |   179252 |   362548      0 |        3 |       36
1297.74/1298.22	c 1292s |      16 |   744293 |   179452 |   362548      0 |        3 |       36
1299.75/1300.22	c 1294s |      16 |   744447 |   179552 |   362548      0 |        3 |       36
1301.84/1302.40	c 1296s |      16 |   744617 |   179652 |   362548      0 |        3 |       36
1305.44/1305.97	c 1300s |      16 |   744884 |   179852 |   362548      0 |        3 |       36
1308.84/1309.33	c 1303s |      16 |   745203 |   180052 |   362548      0 |        3 |       36
1312.14/1312.60	c 1306s |      16 |   745526 |   180252 |   362548      0 |        3 |       36
1315.94/1316.40	c 1310s |      16 |   745754 |   180452 |   362548      0 |        3 |       36
1318.94/1319.49	c 1313s |      16 |   746012 |   180652 |   362548      0 |        3 |       36
1322.04/1322.59	c 1316s |      16 |   746349 |   180852 |   362548      0 |        3 |       36
1324.24/1324.73	c 1318s |      16 |   746446 |   180952 |   362548      0 |        3 |       36
1326.34/1326.85	c 1321s |      16 |   746552 |   181052 |   362548      0 |        3 |       36
1329.34/1329.89	c 1324s |      16 |   746990 |   181252 |   362548      0 |        3 |       36
1332.84/1333.33	c 1327s |      16 |   747378 |   181452 |   362548      0 |        3 |       36
1334.84/1335.34	c 1329s |      16 |   747589 |   181552 |   362548      0 |        3 |       36
1336.83/1337.35	c 1331s |      16 |   747821 |   181652 |   362548      0 |        3 |       36
1338.93/1339.41	c 1333s |      16 |   747993 |   181752 |   362548      0 |        3 |       36
1341.33/1341.83	c 1336s |      16 |   748119 |   181852 |   362548      0 |        3 |       36
1343.33/1343.89	c 1338s |      16 |   748294 |   181952 |   362548      0 |        3 |       36
1345.53/1346.06	c 1340s |      16 |   748402 |   182052 |   362548      0 |        3 |       36
1349.13/1349.60	c 1343s |      16 |   748686 |   182252 |   362548      0 |        3 |       36
1352.64/1353.11	c 1347s |      16 |   749022 |   182452 |   362548      0 |        3 |       36
1356.43/1356.93	c 1351s |      16 |   749269 |   182652 |   362548      0 |        3 |       36
1359.83/1360.39	c 1354s |      16 |   749490 |   182852 |   362548      0 |        3 |       36
1363.64/1364.14	c 1358s |      16 |   749759 |   183052 |   362548      0 |        3 |       36
1367.63/1368.12	c 1362s |      16 |   750220 |   183252 |   362548      0 |        3 |       36
1369.93/1370.43	c 1364s |      16 |   750327 |   183352 |   362548      0 |        3 |       36
1372.43/1372.91	c 1367s |      16 |   750434 |   183452 |   362548      0 |        3 |       36
1376.63/1377.11	c 1371s |      16 |   750796 |   183652 |   362548      0 |        3 |       36
1379.73/1380.20	c 1374s |      16 |   751311 |   183852 |   362548      0 |        3 |       36
1383.73/1384.25	c 1378s |      16 |   751761 |   184052 |   362548      0 |        3 |       36
1387.03/1387.50	c 1381s |      16 |   752106 |   184252 |   362548      0 |        3 |       36
1391.13/1391.64	c 1385s |      16 |   752476 |   184452 |   362548      0 |        3 |       36
1394.82/1395.37	c 1389s |      16 |   752939 |   184652 |   362548      0 |        3 |       36
1398.12/1398.68	c 1392s |      16 |   753318 |   184852 |   362548      0 |        3 |       36
1401.42/1401.92	c 1396s |      16 |   753743 |   185052 |   362548      0 |        3 |       36
1403.52/1404.09	c 1398s |      16 |   753844 |   185152 |   362548      0 |        3 |       36
1406.92/1407.43	c 1401s |      16 |   754080 |   185352 |   362548      0 |        3 |       36
1409.52/1410.02	c 1404s |      16 |   754806 |   185552 |   362548      0 |        3 |       36
1413.03/1413.54	c 1407s |      16 |   755134 |   185752 |   362548      0 |        3 |       36
1416.62/1417.15	c 1411s |      16 |   755452 |   185952 |   362548      0 |        3 |       36
1418.72/1419.28	c 1413s |      16 |   755570 |   186052 |   362548      0 |        3 |       36
1422.12/1422.60	c 1416s |      16 |   755888 |   186252 |   362548      0 |        3 |       36
1425.32/1425.84	c 1420s |      16 |   756199 |   186452 |   362548      0 |        3 |       36
1428.52/1429.07	c 1423s |      16 |   756652 |   186652 |   362548      0 |        3 |       36
1432.02/1432.57	c 1426s |      16 |   757016 |   186852 |   362548      0 |        3 |       36
1435.22/1435.76	c 1429s |      16 |   757473 |   187052 |   362548      0 |        3 |       36
1437.62/1438.12	c 1432s |      16 |   757691 |   187152 |   362548      0 |        3 |       36
1441.11/1441.70	c 1435s |      16 |   758026 |   187352 |   362548      0 |        3 |       36
1443.51/1444.04	c 1438s |      16 |   758136 |   187452 |   362548      0 |        3 |       36
1447.31/1447.89	c 1442s |      16 |   758423 |   187652 |   362548      0 |        3 |       36
1449.51/1450.07	c 1444s |      16 |   758586 |   187752 |   362548      0 |        3 |       36
1453.01/1453.58	c 1447s |      16 |   758912 |   187952 |   362548      0 |        3 |       36
1456.61/1457.10	c 1451s |      16 |   759836 |   188152 |   362548      0 |        3 |       36
1459.81/1460.32	c 1454s |      16 |   760436 |   188352 |   362548      0 |        3 |       36
1461.81/1462.33	c 1456s |      16 |   760698 |   188452 |   362548      0 |        3 |       36
1465.31/1465.81	c 1459s |      16 |   761091 |   188652 |   362548      0 |        3 |       36
1468.61/1469.18	c 1463s |      16 |   761389 |   188852 |   362548      0 |        3 |       36
1472.01/1472.53	c 1466s |      16 |   761719 |   189052 |   362548      0 |        3 |       36
1475.72/1476.26	c 1470s |      16 |   762026 |   189252 |   362548      0 |        3 |       36
1479.51/1480.05	c 1474s |      16 |   762361 |   189452 |   362548      0 |        3 |       36
1481.61/1482.18	c 1476s |      16 |   762494 |   189552 |   362548      0 |        3 |       36
1483.61/1484.19	c 1478s |      16 |   762661 |   189652 |   362548      0 |        3 |       36
1487.41/1487.91	c 1482s |      16 |   763108 |   189852 |   362548      0 |        3 |       36
1490.21/1490.78	c 1484s |      16 |   763558 |   190052 |   362548      0 |        3 |       36
1493.11/1493.66	c 1487s |      16 |   763875 |   190252 |   362548      0 |        3 |       36
1495.81/1496.32	c 1490s |      16 |   764306 |   190452 |   362548      0 |        3 |       36
1499.11/1499.69	c 1493s |      16 |   764560 |   190652 |   362548      0 |        3 |       36
1502.50/1503.09	c 1497s |      16 |   765022 |   190852 |   362548      0 |        3 |       36
1505.60/1506.12	c 1500s |      16 |   765304 |   191052 |   362548      0 |        3 |       36
1509.20/1509.70	c 1503s |      16 |   765603 |   191252 |   362548      0 |        3 |       36
1511.80/1512.32	c 1506s |      16 |   766221 |   191452 |   362548      0 |        3 |       36
1515.60/1516.15	c 1510s |      16 |   766508 |   191652 |   362548      0 |        3 |       36
1519.00/1519.53	c 1513s |      16 |   766779 |   191852 |   362548      0 |        3 |       36
1522.01/1522.58	c 1516s |      16 |   767113 |   192052 |   362548      0 |        3 |       36
1524.30/1524.85	c 1519s |      16 |   767439 |   192252 |   362548      0 |        3 |       36
1526.50/1527.07	c 1521s |      16 |   767649 |   192352 |   362548      0 |        3 |       36
1528.80/1529.32	c 1523s |      16 |   767774 |   192452 |   362548      0 |        3 |       36
1531.00/1531.56	c 1525s |      16 |   767883 |   192552 |   362548      0 |        3 |       36
1533.10/1533.62	c 1527s |      16 |   767998 |   192652 |   362548      0 |        3 |       36
1535.50/1536.05	c 1530s |      16 |   768106 |   192752 |   362548      0 |        3 |       36
1537.90/1538.44	c 1532s |      16 |   768232 |   192852 |   362548      0 |        3 |       36
1542.00/1542.52	c 1536s |      16 |   768443 |   193052 |   362548      0 |        3 |       36
1544.10/1544.66	c 1538s |      16 |   768556 |   193152 |   362548      0 |        3 |       36
1546.10/1546.66	c 1540s |      16 |   768681 |   193252 |   362548      0 |        3 |       36
1549.80/1550.35	c 1544s |      16 |   768903 |   193452 |   362548      0 |        3 |       36
1551.90/1552.44	c 1546s |      16 |   769017 |   193552 |   362548      0 |        3 |       36
1555.50/1556.03	c 1550s |      16 |   769240 |   193752 |   362548      0 |        3 |       36
1559.19/1559.80	c 1553s |      16 |   769461 |   193952 |   362548      0 |        3 |       36
1563.09/1563.65	c 1557s |      16 |   769686 |   194152 |   362548      0 |        3 |       36
1566.79/1567.36	c 1561s |      16 |   769894 |   194352 |   362548      0 |        3 |       36
1569.99/1570.55	c 1564s |      16 |   770137 |   194552 |   362548      0 |        3 |       36
1573.79/1574.30	c 1568s |      16 |   770378 |   194752 |   362548      0 |        3 |       36
1577.19/1577.75	c 1571s |      16 |   770633 |   194952 |   362548      0 |        3 |       36
1580.79/1581.34	c 1575s |      16 |   770877 |   195152 |   362548      0 |        3 |       36
1582.79/1583.36	c 1577s |      16 |   770980 |   195252 |   362548      0 |        3 |       36
1586.59/1587.15	c 1581s |      16 |   771186 |   195452 |   362548      0 |        3 |       36
1588.69/1589.30	c 1583s |      16 |   771310 |   195552 |   362548      0 |        3 |       36
1591.20/1591.72	c 1585s |      16 |   771410 |   195652 |   362548      0 |        3 |       36
1593.59/1594.14	c 1588s |      16 |   771537 |   195752 |   362548      0 |        3 |       36
1595.70/1596.23	c 1590s |      16 |   771651 |   195852 |   362548      0 |        3 |       36
1599.49/1600.02	c 1594s |      16 |   771881 |   196052 |   362548      0 |        3 |       36
1603.59/1604.14	c 1598s |      16 |   772103 |   196252 |   398803      0 |        3 |       36
1605.79/1606.34	c 1600s |      16 |   772206 |   196352 |   398803      0 |        3 |       36
1609.69/1610.26	c 1604s |      16 |   772434 |   196552 |   398803      0 |        3 |       36
1611.99/1612.50	c 1606s |      16 |   772549 |   196652 |   398803      0 |        3 |       36
1614.19/1614.79	c 1608s |      16 |   772664 |   196752 |   398803      0 |        3 |       36
1618.09/1618.65	c 1612s |      16 |   772903 |   196952 |   398803      0 |        3 |       36
1620.28/1620.84	c 1615s |      16 |   773016 |   197052 |   398803      0 |        3 |       36
1623.48/1624.08	c 1618s |      16 |   773295 |   197252 |   398803      0 |        3 |       36
1626.28/1626.85	c 1621s |      17 |   773551 |   197432 |   398803      0 |        3 |       36
1629.79/1630.36	c 1624s |      17 |   773765 |   197532 |   398803      0 |        3 |       36
1631.99/1632.51	c 1626s |      17 |   773870 |   197632 |   398803      0 |        3 |       36
1635.78/1636.33	c 1630s |      17 |   774084 |   197832 |   398803      0 |        3 |       36
1640.08/1640.67	c 1634s |      17 |   774297 |   198032 |   398803      0 |        3 |       36
1643.88/1644.47	c 1638s |      17 |   774525 |   198232 |   398803      0 |        3 |       36
1647.78/1648.34	c 1642s |      17 |   774763 |   198432 |   398803      0 |        3 |       36
1649.78/1650.40	c 1644s |      17 |   774881 |   198532 |   398803      0 |        3 |       36
1654.18/1654.79	c 1648s |      17 |   775113 |   198732 |   398803      0 |        3 |       36
1656.48/1657.00	c 1651s |      17 |   775266 |   198832 |   398803      0 |        3 |       36
1659.98/1660.51	c 1654s |      17 |   775559 |   199032 |   398803      0 |        3 |       36
1663.28/1663.87	c 1658s |      17 |   775862 |   199232 |   398803      0 |        3 |       36
1665.38/1665.96	c 1660s |      17 |   776036 |   199332 |   398803      0 |        3 |       36
1669.18/1669.80	c 1663s |      17 |   776337 |   199532 |   398803      0 |        3 |       36
1672.59/1673.11	c 1667s |      17 |   776588 |   199732 |   398803      0 |        3 |       36
1674.59/1675.18	c 1669s |      17 |   776762 |   199832 |   398803      0 |        3 |       36
1678.09/1678.61	c 1672s |      17 |   777152 |   200032 |   398803      0 |        3 |       36
1681.78/1682.38	c 1676s |      17 |   777479 |   200232 |   398803      0 |        3 |       36
1685.38/1685.95	c 1680s |      17 |   777854 |   200432 |   398803      0 |        3 |       36
1689.19/1689.74	c 1683s |      17 |   778112 |   200632 |   398803      0 |        3 |       36
1692.78/1693.38	c 1687s |      17 |   778353 |   200832 |   398803      0 |        3 |       36
1695.38/1695.96	c 1690s |      17 |   778645 |   201032 |   398803      0 |        3 |       36
1697.99/1698.57	c 1692s |      17 |   779015 |   201232 |   398803      0 |        3 |       36
1700.28/1700.87	c 1695s |      17 |   779329 |   201432 |   398803      0 |        3 |       36
1703.58/1704.14	c 1698s |      17 |   779631 |   201632 |   398803      0 |        3 |       36
1707.38/1707.92	c 1702s |      17 |   779997 |   201832 |   398803      0 |        3 |       36
1710.48/1711.01	c 1705s |      17 |   780309 |   202032 |   398803      0 |        3 |       36
1713.39/1713.98	c 1708s |      17 |   780588 |   202232 |   398803      0 |        3 |       36
1716.08/1716.64	c 1710s |      17 |   781016 |   202432 |   398803      0 |        3 |       36
1720.08/1720.60	c 1714s |      17 |   781367 |   202632 |   398803      0 |        3 |       36
1722.19/1722.72	c 1716s |      17 |   781511 |   202732 |   398803      0 |        3 |       36
1725.68/1726.27	c 1720s |      17 |   781821 |   202932 |   398803      0 |        3 |       36
1729.28/1729.85	c 1724s |      17 |   782091 |   203132 |   398803      0 |        3 |       36
1732.68/1733.30	c 1727s |      17 |   782353 |   203332 |   398803      0 |        3 |       36
1735.28/1735.88	c 1730s |      17 |   782732 |   203532 |   398803      0 |        3 |       36
1738.18/1738.73	c 1732s |      17 |   783106 |   203732 |   398803      0 |        3 |       36
1740.98/1741.55	c 1735s |      17 |   783491 |   203932 |   398803      0 |        3 |       36
1744.57/1745.18	c 1739s |      17 |   783816 |   204132 |   398803      0 |        3 |       36
1747.87/1748.40	c 1742s |      17 |   784111 |   204332 |   398803      0 |        3 |       36
1751.37/1751.95	c 1746s |      17 |   784405 |   204532 |   398803      0 |        3 |       36
1753.98/1754.56	c 1748s |      17 |   784702 |   204732 |   398803      0 |        3 |       36
1757.57/1758.13	c 1752s |      17 |   784959 |   204932 |   398803      0 |        3 |       36
1759.87/1760.41	c 1754s |      17 |   785184 |   205032 |   398803      0 |        3 |       36
1762.17/1762.76	c 1756s |      17 |   785406 |   205132 |   398803      0 |        3 |       36
1764.57/1765.16	c 1759s |      17 |   785529 |   205232 |   398803      0 |        3 |       36
1767.37/1767.98	c 1762s |      17 |   785647 |   205332 |   398803      0 |        3 |       36
1769.67/1770.28	c 1764s |      17 |   785774 |   205432 |   398803      0 |        3 |       36
1771.77/1772.37	c 1766s |      17 |   785882 |   205532 |   398803      0 |        3 |       36
1773.88/1774.48	c 1768s |      17 |   785992 |   205632 |   398803      0 |        3 |       36
1776.27/1776.89	c 1771s |      17 |   786098 |   205732 |   398803      0 |        3 |       36
1778.47/1779.09	c 1773s |      17 |   786218 |   205832 |   398803      0 |        3 |       36
1782.37/1782.97	c 1777s |      17 |   786473 |   206032 |   398803      0 |        3 |       36
1784.67/1785.30	c 1779s |      17 |   786580 |   206132 |   398803      0 |        3 |       36
1787.27/1787.89	c 1782s |      17 |   786691 |   206232 |   398803      0 |        3 |       36
1789.47/1790.08	c 1784s |      17 |   786798 |   206332 |   398803      0 |        3 |       36
1791.67/1792.24	c 1786s |      17 |   786920 |   206432 |   398803      0 |        3 |       36
1793.77/1794.35	c 1788s |      17 |   787044 |   206532 |   398803      0 |        3 |       36
1797.57/1798.16	c 1792s |      17 |   787303 |   206732 |   398803      0 |        3 |       36
1799.97/1800.57	c 1794s |      17 |   787416 |   206832 |   398803      0 |        3 |       36

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

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

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


[startup+0 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 13301
/proc/meminfo: memFree=28979500/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=673212 CPUtime=0 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 2500 0 0 0 0 0 0 0 20 0 4 0 31256642 689369088 3372 33554432000 4194304 16246674 140734646965328 140734646964752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 168815 3380 441 2943 0 165709 0
[pid=13301/tid=13302] ppid=13298 vsize=690620 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 707194880 3443 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 712437760 3459 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 716632064 3476 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 13301
/proc/meminfo: memFree=28979500/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 30009 0 0 0 4 4 0 0 20 0 4 0 31256642 1249447936 30818 33554432000 4194304 16246674 140734646965328 140734646964640 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 305041 30818 801 2943 0 301935 0
[pid=13301/tid=13302] ppid=13298 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1249447936 30818 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1249447936 30818 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1249447936 30818 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200548 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 13301
/proc/meminfo: memFree=28979500/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1308228 CPUtime=0.19 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 51273 0 0 0 12 7 0 0 20 0 4 0 31256642 1339625472 52593 33554432000 4194304 16246674 140734646965328 140734646964640 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 327057 52597 801 2943 0 323951 0
[pid=13301/tid=13302] ppid=13298 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1339625472 52599 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1339625472 52601 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1339625472 52604 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300496 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 13301
/proc/meminfo: memFree=28979500/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 57943 0 0 0 21 8 0 0 20 0 4 0 31256642 1345916928 59263 33554432000 4194304 16246674 140734646965328 140734646948320 13927493 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 328593 59263 801 2943 0 325487 0
[pid=13301/tid=13302] ppid=13298 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1345916928 59263 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1345916928 59263 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1345916928 59263 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700421 s]
/proc/loadavg: 2.32 2.22 2.19 3/179 13301
/proc/meminfo: memFree=28979500/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 69780 0 0 0 60 9 0 0 20 0 4 0 31256642 1345916928 71100 33554432000 4194304 16246674 140734646965328 140734646948320 7852920 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 328593 71100 801 2943 0 325487 0
[pid=13301/tid=13302] ppid=13298 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1345916928 71100 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1345916928 71100 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1345916928 71100 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 13305
/proc/meminfo: memFree=28643972/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 83781 0 0 0 138 11 0 0 20 0 4 0 31256642 1345916928 85101 33554432000 4194304 16246674 140734646965328 140734646963136 13750868 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 328593 85101 802 2943 0 325487 0
[pid=13301/tid=13302] ppid=13298 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1345916928 85101 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1345916928 85101 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1345916928 85101 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10037 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 13305
/proc/meminfo: memFree=28391560/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=3.09 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 277765 0 0 0 269 40 0 0 20 0 4 0 31256642 1381568512 279085 33554432000 4194304 16246674 140734646965328 140734646947200 5593095 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279085 847 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279085 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279085 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279085 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1349188

[startup+6.30042 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 13305
/proc/meminfo: memFree=27862700/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=6.29 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 277966 0 0 0 589 40 0 0 20 0 4 0 31256642 1381568512 279286 33554432000 4194304 16246674 140734646965328 140734646963136 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279286 886 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279286 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279286 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279286 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1349188

[startup+12.7004 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 13305
/proc/meminfo: memFree=27862876/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=12.69 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 277966 0 0 0 1229 40 0 0 20 0 4 0 31256642 1381568512 279286 33554432000 4194304 16246674 140734646965328 140734646963136 5823363 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279286 886 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279286 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279286 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279286 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1349188

[startup+25.5005 s]
/proc/loadavg: 2.29 2.22 2.18 4/183 13305
/proc/meminfo: memFree=27863512/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=25.49 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 277967 0 0 0 2509 40 0 0 20 0 4 0 31256642 1381568512 279287 33554432000 4194304 16246674 140734646965328 140734646947200 5676613 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279287 886 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279287 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279287 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279287 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1349188

[startup+51.1005 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 13305
/proc/meminfo: memFree=27861932/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=51.08 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 277971 0 0 0 5068 40 0 0 20 0 4 0 31256642 1381568512 279287 33554432000 4194304 16246674 140734646965328 140734646947200 5822964 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279287 886 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279287 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279287 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279287 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1349188

[startup+102.301 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 13306
/proc/meminfo: memFree=27861616/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=102.27 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 277996 0 0 0 10187 40 0 0 20 0 4 0 31256642 1381568512 279296 33554432000 4194304 16246674 140734646965328 140734646947200 5523508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279296 892 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279296 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279296 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279296 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1349188


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

/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1349188

[startup+1302.3 s]
/proc/loadavg: 2.29 2.29 2.21 3/183 13385
/proc/meminfo: memFree=27840660/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=1301.84 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 278359 0 0 0 130142 42 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 140734646947200 5523480 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279297 893 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1349188

[startup+1362.3 s]
/proc/loadavg: 2.20 2.26 2.20 3/183 13386
/proc/meminfo: memFree=27840628/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=1361.83 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 278359 0 0 0 136141 42 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 140734646947200 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279297 893 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1349188

[startup+1422.3 s]
/proc/loadavg: 2.16 2.24 2.20 4/183 13388
/proc/meminfo: memFree=27840676/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=1421.83 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 278359 0 0 0 142141 42 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 140734646947200 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279297 893 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1349188

[startup+1482.3 s]
/proc/loadavg: 2.31 2.27 2.21 3/183 13389
/proc/meminfo: memFree=27840776/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=1481.81 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 278359 0 0 0 148139 42 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 140734646947200 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279297 893 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1349188

[startup+1542.31 s]
/proc/loadavg: 2.29 2.26 2.21 3/183 13390
/proc/meminfo: memFree=27840888/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=1541.81 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 278359 0 0 0 154139 42 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 140734646947200 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279297 893 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1349188

[startup+1602.3 s]
/proc/loadavg: 2.24 2.26 2.20 4/183 13391
/proc/meminfo: memFree=27840644/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=1601.79 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 278359 0 0 0 160137 42 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 140734646947200 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279297 893 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1349188

[startup+1662.3 s]
/proc/loadavg: 2.13 2.22 2.19 3/183 13392
/proc/meminfo: memFree=27840772/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=1661.78 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 278359 0 0 0 166136 42 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 140734646947200 5823428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279297 893 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1349188

[startup+1722.3 s]
/proc/loadavg: 2.19 2.22 2.19 3/184 13397
/proc/meminfo: memFree=27840824/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=1721.78 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 278359 0 0 0 172135 43 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 140734646947200 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279297 893 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1349188

[startup+1782.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 13398
/proc/meminfo: memFree=27840548/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=1781.77 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 278359 0 0 0 178134 43 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 140734646947200 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279297 893 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1349188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 13398
/proc/meminfo: memFree=27840844/32872528 swapFree=17888/1798212
[pid=13301] ppid=13298 vsize=1349188 CPUtime=1800.07 cores=1,3,5,7
/proc/13301/stat : 13301 (toysat) R 13298 13301 10472 0 -1 4202496 278359 0 0 0 179964 43 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 140734646947200 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13301/statm: 337297 279297 893 2943 0 334191 0
[pid=13301/tid=13302] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13302/stat : 13302 (toysat) S 13298 13301 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816349969648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13301/tid=13303] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13303/stat : 13303 (toysat) S 13298 13301 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816339479792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13301/tid=13304] ppid=13298 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/13301/task/13304/stat : 13304 (toysat) S 13298 13301 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31256642 1381568512 279297 33554432000 4194304 16246674 140734646965328 139816217865392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1349188

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.65
CPU system time (s): 0.430934
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1349188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.430934
maximum resident set size= 1117188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278359
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= 407
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5763 second user time and 6.94694 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-19 01:21:35
IDJOB=4108869
IDBENCH=89638
IDSOLVER=2542
FILE ID=node123/4108869-1466292095
RUNJOBID= node123-1466275608-10489
PBS_JOBID= 19918249
Free space on /tmp= 71604 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-53.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108869-1466292095/watcher-4108869-1466292095 -o /tmp/evaluation-result-4108869-1466292095/solver-4108869-1466292095 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10489 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108869-1466292095.opb

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

MD5SUM BENCH= 3eaa712ef8c4f1e38f38abbb36d752f3
RANDOM SEED=77043118

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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		: 2666.791
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:        28980152 kB
Buffers:           83664 kB
Cached:           171992 kB
SwapCached:         1604 kB
Active:          1189004 kB
Inactive:         165548 kB
Active(anon):    1097988 kB
Inactive(anon):     3076 kB
Active(file):      91016 kB
Inactive(file):   162472 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             25684 kB
Writeback:             0 kB
AnonPages:       2896388 kB
Mapped:            10932 kB
Shmem:                 0 kB
Slab:             604128 kB
SReclaimable:      47680 kB
SUnreclaim:       556448 kB
KernelStack:        1512 kB
PageTables:         9804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3039972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2873344 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= 71588 MiB
End job on node123 at 2016-06-19 01:51:36