Trace number 4116685

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T19:18:21+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-4116685-1466961501.opb"]
0.00/0.01	c use --random-gen="726023518 2121340233 420511719 110168413 3484122236 3066586406 1944076971 1126136589 3809302369 2272527099 1611680019 2573272536 120274640 3610986029 20843345 1434931156 1508833341 1896002633 2595411088 1414523044 2064573986 869221325 4258168844 4021375225 4053485299 1702785217 3943554882 3760165794 3358404138 433139714 2898189450 4109692269 2858346355 3141929981 924478759 1025051039 2139914149 1058082774 1869740203 1631540830 3499415859 1621760351 1481707575 2538712870 489842944 3667504111 409499957 2846587338 3255422539 3890406339 2450177561 3181525752 2736016030 1292912958 732066318 911519400 2031782453 1353125092 2710481232 2963709243 261894627 4271986650 2990545966 813901142 2683081193 475377176 129512027 1471126070 3987849759 3870502671 263064085 1014998726 2489571471 199125787 3902913798 1493202623 1074042385 2566726539 2528017281 2808720634 3259173954 1232077744 2115165671 1666441129 2082050170 3117658414 1793244077 722119692 602066931 3833727827 4287584223 3183125338 77476879 117958715 563379298 4252361485 4056843795 3226804904 2299722907 3806177700 1103472621 583613667 1319098458 1957252573 2741011589 1353915234 1005641718 1112671052 3374009154 2356625343 3445413159 3000231996 1796005598 1620586437 505792532 150309408 4108197007 3474195001 4174284746 487452511 2392322121 565883754 2185048567 2259384355 3599310019 1515522159 1087045103 1677078443 701285648 737238490 152822667 3538571341 3638099680 2288096858 4027203863 2092867584 2612413593 3765190962 1613364269 3326581600 1832243062 3955235576 2730044417 2811848665 3939693794 1308726283 2560314644 1907501617 3626446877 4210372981 2018216715 2976202056 1490636758 4287368046 2019213558 572879310 2703599249 1058559502 3845227334 926820799 1452618969 4261279461 3426898817 2987008759 4126475968 3686042200 3392362810 3428282358 3506225555 3378099528 3089356945 932811716 1757456367 2222067272 952165163 3294824377 812956183 4292345254 1314559038 645485592 1829081619 1844751431 3304844411 3164743032 3774588735 3159555887 2190333361 4105990512 3941252521 4116928222 891491610 2051655754 3393569839 1987522176 360298098 264189625 3835089670 2022265771 841741902 3379834774 449285119 4185882826 3121726490 2948619929 3513055565 3090043537 3026199393 2866167018 3072159230 3794590021 1436821496 1477103513 1966131126 2219885099 836899370 1145664352 3363014298 2790792484 869887369 3357542229 3153989077 638441698 4283632362 2639217367 1961966541 1685854151 850944038 986709227 1024233194 2249405342 1923840413 3822235526 4208802802 1934698984 3657268349 2019360157 4255073314 2453475021 2636563737 1672864434 3442897911 3932881678 3468698634 3643680914 1562414286 2598443078 3943983283 2112070835 2632789908 4161318858 1787057312 2688090762 3522946342 3209122626 2345206161 3763438671 255 362436" option to reproduce the execution
0.08/0.11	c #vars 4128
0.08/0.11	c #constraints 8688
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      716 |        0
0.28/0.35	c  0.1s |       1 |     1839 |      100 |     4234      0 |      717 |      566
0.39/0.46	c  0.2s |       2 |     3974 |      250 |     4658      0 |      717 |      566
0.59/0.63	c  0.4s |       3 |     5840 |      475 |     5124      0 |      717 |      566
0.89/0.93	c  0.7s |       4 |     8300 |      813 |     5637      0 |      717 |      566
1.48/1.56	c  1.3s |       5 |    10233 |     1320 |     6201      0 |      717 |      566
2.09/2.16	c  1.9s |       6 |    14410 |     2081 |     7505      0 |      717 |      566
3.09/3.13	c  2.9s |       7 |    17724 |     3223 |     8256      0 |      717 |      566
4.68/4.79	c  4.5s |       8 |    23064 |     4936 |     9082      0 |      717 |      566
6.78/6.83	c  6.6s |       8 |    26343 |     6836 |     9082      0 |      717 |      566
7.48/7.59	c  7.3s |       9 |    27111 |     7506 |     9991      0 |      717 |      566
9.58/9.62	c  9.4s |       9 |    35605 |    10106 |     9991      0 |      717 |      566
10.99/11.06	c 10.8s |      10 |    37239 |    11361 |    10991      0 |      717 |      566
13.08/13.11	c 12.9s |      10 |    43368 |    13161 |    10991      1 |      717 |      566
15.08/15.14	c 14.9s |      10 |    45492 |    14861 |    10991      1 |      717 |      566
17.18/17.24	c 17.0s |      10 |    46887 |    16161 |    10991      1 |      717 |      566
18.88/18.94	c 18.7s |      11 |    47917 |    17144 |    12091      1 |      717 |      566
20.89/20.98	c 20.7s |      11 |    57060 |    18844 |    12091      1 |      718 |      566
22.98/23.03	c 22.8s |      11 |    58978 |    20144 |    12091      1 |      718 |      566
25.18/25.21	c 25.0s |      11 |    60268 |    21244 |    12091      1 |      718 |      566
27.28/27.39	c 27.1s |      11 |    61943 |    22344 |    12091      2 |      718 |      566
29.38/29.49	c 29.2s |      11 |    63457 |    23544 |    12091      2 |      718 |      566
31.48/31.58	c 31.3s |      11 |    64590 |    24544 |    12091      2 |      718 |      566
33.68/33.74	c 33.5s |      11 |    65867 |    25544 |    12091      2 |      718 |      566
34.28/34.33	c 34.1s |      12 |    66203 |    25819 |    13301      2 |      718 |      566
36.48/36.51	c 36.3s |      12 |    75655 |    28219 |    13301      2 |      718 |      566
38.59/38.65	c 38.4s |      12 |    77144 |    29519 |    13301      2 |      718 |      566
40.58/40.68	c 40.4s |      12 |    78441 |    30519 |    13301      2 |      718 |      566
42.78/42.84	c 42.6s |      12 |    80619 |    31719 |    13301      3 |      718 |      566
44.78/44.85	c 44.6s |      12 |    81744 |    32619 |    13301      3 |      718 |      566
46.98/47.02	c 46.8s |      12 |    82711 |    33419 |    13301      3 |      718 |      566
49.08/49.15	c 48.9s |      12 |    83772 |    34319 |    13301      3 |      718 |      566
51.18/51.25	c 51.0s |      12 |    85023 |    35319 |    13301      3 |      718 |      566
53.18/53.28	c 53.0s |      12 |    86418 |    36319 |    13301      3 |      718 |      566
55.38/55.49	c 55.2s |      12 |    87618 |    37219 |    13301      3 |      718 |      566
57.48/57.50	c 57.2s |      12 |    88405 |    37919 |    13301      3 |      718 |      566
59.58/59.60	c 59.3s |      12 |    89077 |    38519 |    13301      3 |      718 |      566
60.38/60.49	c 60.2s |      13 |    89436 |    38832 |    14632      3 |      718 |      566
62.48/62.57	c 62.3s |      13 |    95205 |    40632 |    14632      4 |      718 |      566
64.48/64.58	c 64.3s |      13 |    98304 |    42232 |    14632      4 |      718 |      566
66.48/66.59	c 66.3s |      13 |   100935 |    43832 |    14632      4 |      718 |      566
68.58/68.60	c 68.3s |      13 |   103903 |    45532 |    14632      4 |      718 |      566
70.68/70.76	c 70.5s |      13 |   106003 |    46932 |    14632      4 |      718 |      566
72.78/72.87	c 72.6s |      13 |   107346 |    48032 |    14632      4 |      718 |      566
74.89/74.91	c 74.7s |      13 |   108142 |    48732 |    14632      5 |      718 |      566
77.09/77.17	c 76.9s |      13 |   109145 |    49632 |    14632      5 |      718 |      566
79.19/79.21	c 79.0s |      13 |   110227 |    50532 |    14632      5 |      718 |      566
81.28/81.33	c 81.1s |      13 |   111637 |    51532 |    14632      5 |      718 |      566
83.38/83.42	c 83.2s |      13 |   112794 |    52432 |    14632      5 |      718 |      566
85.38/85.45	c 85.2s |      13 |   113614 |    53132 |    14632      5 |      718 |      566
87.38/87.48	c 87.2s |      13 |   114850 |    54032 |    14632      5 |      718 |      566
89.48/89.54	c 89.3s |      13 |   116095 |    54932 |    14632      5 |      718 |      566
91.68/91.74	c 91.5s |      13 |   117203 |    55832 |    14632      5 |      718 |      566
93.88/93.91	c 93.7s |      13 |   118236 |    56632 |    14632      5 |      718 |      566
96.08/96.17	c 95.9s |      13 |   119234 |    57432 |    14632      5 |      718 |      566
98.08/98.19	c 97.9s |      13 |   120116 |    58132 |    16096      6 |      718 |      566
98.78/98.80	c 98.5s |      14 |   120403 |    58352 |    16096      6 |      718 |      566
100.77/100.88	c  100s |      14 |   124478 |    60152 |    16096      6 |      718 |      566
102.87/102.91	c  102s |      14 |   126348 |    61852 |    16096      6 |      718 |      566
104.97/105.06	c  104s |      14 |   127857 |    63252 |    16096      6 |      718 |      566
107.07/107.11	c  106s |      14 |   129297 |    64552 |    16096      6 |      718 |      566
109.18/109.23	c  108s |      14 |   131565 |    66152 |    16096      6 |      718 |      566
111.28/111.30	c  111s |      14 |   137002 |    67952 |    16096      7 |      718 |      566
113.28/113.40	c  113s |      14 |   140232 |    69652 |    16096      7 |      718 |      566
115.38/115.40	c  115s |      14 |   145072 |    71752 |    16096      7 |      718 |      566
117.38/117.41	c  117s |      14 |   147960 |    73252 |    16096      7 |      718 |      566
119.47/119.59	c  119s |      14 |   149693 |    74552 |    16096      7 |      718 |      566
121.57/121.62	c  121s |      14 |   151686 |    75852 |    16096      7 |      718 |      566
123.67/123.73	c  123s |      14 |   153975 |    77152 |    16096      8 |      718 |      566
125.77/125.83	c  125s |      14 |   155304 |    78252 |    16096      8 |      718 |      566
127.97/128.00	c  127s |      14 |   156540 |    79252 |    16096      8 |      718 |      566
129.97/130.05	c  129s |      14 |   157583 |    80152 |    16096      8 |      718 |      566
132.08/132.11	c  131s |      14 |   158691 |    81052 |    16096      8 |      718 |      566
134.28/134.33	c  134s |      14 |   159927 |    82052 |    16096      8 |      718 |      566
136.48/136.53	c  136s |      14 |   161177 |    83052 |    16096      8 |      718 |      566
138.77/138.80	c  138s |      14 |   162118 |    83852 |    16096      8 |      718 |      566
140.97/141.03	c  140s |      14 |   163084 |    84652 |    16096      8 |      718 |      566
143.17/143.21	c  142s |      14 |   164029 |    85452 |    16096      8 |      718 |      566
145.18/145.23	c  144s |      14 |   164874 |    86152 |    16096      8 |      718 |      566
147.67/147.72	c  147s |      14 |   165828 |    86952 |    16096      9 |      718 |      566
149.67/149.71	c  149s |      15 |   166595 |    87632 |    17706      9 |      718 |      566
151.67/151.77	c  151s |      15 |   174615 |    89932 |    17706      9 |      718 |      566
153.77/153.81	c  153s |      15 |   177826 |    91832 |    17706      9 |      718 |      566
155.77/155.82	c  155s |      15 |   179539 |    93132 |    17706      9 |      718 |      566
157.77/157.86	c  157s |      15 |   181455 |    94432 |    17706      9 |      718 |      566
159.86/159.93	c  159s |      15 |   183035 |    95632 |    17706      9 |      718 |      566
161.96/162.05	c  161s |      15 |   184389 |    96732 |    17706      9 |      718 |      566
164.06/164.12	c  163s |      15 |   185434 |    97632 |    17706      9 |      718 |      566
166.17/166.26	c  166s |      15 |   186227 |    98332 |    17706     10 |      718 |      566
168.16/168.27	c  168s |      15 |   187121 |    99132 |    17706     10 |      718 |      566
170.36/170.43	c  170s |      15 |   188004 |    99932 |    17706     10 |      718 |      566
172.56/172.62	c  172s |      15 |   189042 |   100832 |    17706     10 |      718 |      566
174.76/174.89	c  174s |      15 |   189950 |   101632 |    17706     10 |      718 |      566
176.86/176.97	c  176s |      15 |   190734 |   102332 |    17706     10 |      718 |      566
179.16/179.28	c  179s |      15 |   191510 |   103032 |    17706     10 |      718 |      566
181.36/181.45	c  181s |      15 |   192310 |   103732 |    17706     10 |      718 |      566
183.67/183.71	c  183s |      15 |   193202 |   104532 |    17706     10 |      718 |      566
185.87/185.94	c  185s |      15 |   194016 |   105232 |    17706     10 |      718 |      566
188.07/188.15	c  187s |      15 |   195005 |   106032 |    17706     10 |      718 |      566
190.37/190.42	c  190s |      15 |   196008 |   106832 |    17706     10 |      718 |      566
192.66/192.70	c  192s |      15 |   196815 |   107532 |    17706     10 |      718 |      566
194.76/194.80	c  194s |      15 |   197503 |   108132 |    17706     10 |      718 |      566
196.76/196.81	c  196s |      15 |   198082 |   108632 |    17706     11 |      718 |      566
198.86/198.93	c  198s |      15 |   198897 |   109332 |    17706     11 |      718 |      566
200.96/201.09	c  200s |      15 |   199668 |   110032 |    17706     11 |      718 |      566
203.26/203.30	c  203s |      15 |   200445 |   110732 |    17706     11 |      718 |      566
205.35/205.41	c  205s |      15 |   201120 |   111332 |    17706     11 |      718 |      566
207.55/207.60	c  207s |      15 |   202043 |   112132 |    17706     11 |      718 |      566
209.55/209.65	c  209s |      15 |   202820 |   112832 |    17706     11 |      718 |      566
211.75/211.83	c  211s |      15 |   203583 |   113532 |    17706     11 |      718 |      566
213.85/213.95	c  213s |      15 |   204354 |   114232 |    17706     11 |      718 |      566
215.85/215.96	c  215s |      15 |   205070 |   114832 |    17706     11 |      718 |      566
217.95/218.07	c  217s |      15 |   205871 |   115532 |    17706     11 |      718 |      566
220.25/220.35	c  220s |      15 |   206653 |   116232 |    17706     11 |      718 |      566
222.26/222.39	c  222s |      15 |   207311 |   116832 |    17706     11 |      718 |      566
224.46/224.59	c  224s |      15 |   208081 |   117532 |    17706     11 |      718 |      566
226.66/226.71	c  226s |      15 |   208728 |   118132 |    17706     11 |      718 |      566
228.65/228.72	c  228s |      15 |   209283 |   118632 |    17706     11 |      718 |      566
230.75/230.87	c  230s |      15 |   209851 |   119132 |    17706     12 |      718 |      566
232.95/233.00	c  232s |      15 |   210612 |   119832 |    17706     12 |      718 |      566
234.95/235.07	c  234s |      15 |   211378 |   120532 |    17706     12 |      718 |      566
236.96/237.09	c  236s |      15 |   212034 |   121132 |    17706     12 |      718 |      566
239.15/239.23	c  238s |      15 |   212690 |   121732 |    17706     12 |      718 |      566
241.35/241.47	c  241s |      15 |   213465 |   122432 |    17706     12 |      718 |      566
243.45/243.59	c  243s |      15 |   214124 |   123032 |    17706     12 |      718 |      566
245.65/245.71	c  245s |      15 |   214664 |   123532 |    17706     12 |      718 |      566
247.85/247.96	c  247s |      15 |   215332 |   124132 |    17706     12 |      718 |      566
250.25/250.37	c  250s |      15 |   215973 |   124732 |    17706     12 |      718 |      566
252.35/252.48	c  252s |      15 |   216500 |   125232 |    17706     12 |      718 |      566
254.35/254.48	c  254s |      15 |   217044 |   125732 |    17706     12 |      718 |      566
256.55/256.65	c  256s |      15 |   217595 |   126232 |    17706     12 |      718 |      566
258.65/258.75	c  258s |      15 |   218136 |   126732 |    17706     12 |      718 |      566
260.85/260.96	c  260s |      15 |   218669 |   127232 |    17706     12 |      718 |      566
263.05/263.14	c  262s |      15 |   219209 |   127732 |    17706     12 |      718 |      566
265.05/265.19	c  264s |      15 |   219768 |   128232 |    17706     12 |      718 |      566
267.15/267.26	c  267s |      15 |   220317 |   128732 |    17706     12 |      718 |      566
269.55/269.68	c  269s |      15 |   220872 |   129232 |    17706     13 |      718 |      566
271.84/271.91	c  271s |      15 |   221510 |   129832 |    17706     13 |      718 |      566
273.95/274.06	c  273s |      15 |   222158 |   130432 |    17706     13 |      718 |      566
276.06/276.16	c  275s |      15 |   222858 |   131032 |    19477     13 |      718 |      566
277.85/277.97	c  277s |      16 |   223441 |   131552 |    19477     13 |      718 |      566
279.95/280.08	c  279s |      16 |   228393 |   133452 |    19477     13 |      718 |      566
282.05/282.19	c  281s |      16 |   230483 |   135252 |    19477     13 |      718 |      566
284.15/284.27	c  284s |      16 |   232144 |   136752 |    19477     13 |      718 |      566
286.25/286.31	c  286s |      16 |   233745 |   138152 |    19477     13 |      718 |      566
288.26/288.31	c  288s |      16 |   235036 |   139352 |    19477     13 |      718 |      566
290.36/290.49	c  290s |      16 |   236353 |   140552 |    19477     13 |      718 |      566
292.56/292.63	c  292s |      16 |   237344 |   141452 |    19477     14 |      718 |      566
294.65/294.71	c  294s |      16 |   238447 |   142452 |    19477     14 |      718 |      566
296.65/296.75	c  296s |      16 |   239384 |   143352 |    19477     14 |      718 |      566
298.85/298.94	c  298s |      16 |   240352 |   144252 |    19477     14 |      718 |      566
301.05/301.11	c  300s |      16 |   241503 |   145252 |    19477     14 |      718 |      566
303.25/303.33	c  303s |      16 |   242509 |   146152 |    19477     14 |      718 |      566
305.55/305.60	c  305s |      16 |   243494 |   147052 |    19477     14 |      718 |      566
307.75/307.86	c  307s |      16 |   244350 |   147852 |    19477     14 |      718 |      566
309.74/309.87	c  309s |      16 |   245134 |   148552 |    19477     14 |      718 |      566
311.94/312.08	c  311s |      16 |   245890 |   149252 |    19477     14 |      718 |      566
314.14/314.26	c  314s |      16 |   246760 |   150052 |    19477     14 |      718 |      566
316.34/316.42	c  316s |      16 |   247551 |   150752 |    19477     14 |      718 |      566
318.64/318.70	c  318s |      16 |   248444 |   151552 |    19477     14 |      718 |      566
320.74/320.81	c  320s |      16 |   249105 |   152152 |    19477     15 |      718 |      566
322.84/322.97	c  322s |      16 |   250120 |   153052 |    19477     15 |      718 |      566
325.04/325.13	c  324s |      16 |   251237 |   154052 |    19477     15 |      718 |      566
327.04/327.18	c  326s |      16 |   252088 |   154852 |    19477     15 |      718 |      566
329.34/329.43	c  329s |      16 |   253067 |   155752 |    19477     15 |      718 |      566
331.34/331.47	c  331s |      16 |   253936 |   156552 |    19477     15 |      718 |      566
333.54/333.61	c  333s |      16 |   254820 |   157352 |    19477     15 |      718 |      566
335.64/335.73	c  335s |      16 |   255715 |   158152 |    19477     15 |      718 |      566
337.84/337.96	c  337s |      16 |   256570 |   158952 |    19477     15 |      718 |      566
340.04/340.16	c  339s |      16 |   257472 |   159752 |    19477     15 |      718 |      566
342.34/342.47	c  342s |      16 |   258313 |   160552 |    19477     15 |      718 |      566
344.54/344.67	c  344s |      16 |   259058 |   161252 |    19477     15 |      718 |      566
346.84/346.97	c  346s |      16 |   259792 |   161952 |    19477     15 |      718 |      566
349.14/349.21	c  348s |      16 |   260555 |   162652 |    19477     15 |      718 |      566
351.14/351.21	c  350s |      16 |   261082 |   163152 |    19477     16 |      718 |      566
353.14/353.22	c  352s |      16 |   261980 |   163952 |    19477     16 |      718 |      566
355.14/355.27	c  355s |      16 |   262841 |   164752 |    19477     16 |      718 |      566
357.33/357.43	c  357s |      16 |   263686 |   165552 |    19477     16 |      718 |      566
359.53/359.60	c  359s |      16 |   264539 |   166352 |    19477     16 |      718 |      566
361.53/361.64	c  361s |      16 |   265291 |   167052 |    19477     16 |      718 |      566
363.53/363.66	c  363s |      16 |   266169 |   167852 |    19477     16 |      718 |      566
365.63/365.70	c  365s |      16 |   266897 |   168552 |    19477     16 |      718 |      566
367.73/367.88	c  367s |      16 |   267628 |   169252 |    19477     16 |      718 |      566
369.93/370.09	c  369s |      16 |   268387 |   169952 |    19477     16 |      718 |      566
372.23/372.37	c  372s |      16 |   269142 |   170652 |    19477     16 |      718 |      566
374.33/374.43	c  374s |      16 |   269785 |   171252 |    19477     16 |      718 |      566
376.53/376.65	c  376s |      16 |   270561 |   171952 |    19477     16 |      718 |      566
378.73/378.81	c  378s |      16 |   271364 |   172652 |    19477     16 |      718 |      566
381.03/381.17	c  380s |      16 |   272099 |   173352 |    19477     16 |      718 |      566
383.23/383.38	c  383s |      16 |   272747 |   173952 |    19477     16 |      718 |      566
385.53/385.61	c  385s |      16 |   273380 |   174552 |    19477     17 |      718 |      566
387.63/387.72	c  387s |      16 |   274365 |   175452 |    19477     17 |      718 |      566
389.73/389.86	c  389s |      16 |   275376 |   176352 |    19477     17 |      718 |      566
391.93/392.07	c  391s |      16 |   276363 |   177252 |    19477     17 |      718 |      566
394.13/394.20	c  393s |      16 |   277222 |   178052 |    19477     17 |      718 |      566
396.33/396.44	c  396s |      16 |   278088 |   178852 |    19477     17 |      718 |      566
398.43/398.58	c  398s |      16 |   278835 |   179552 |    19477     17 |      718 |      566
400.53/400.64	c  400s |      16 |   279455 |   180152 |    19477     17 |      718 |      566
402.73/402.89	c  402s |      16 |   280194 |   180852 |    19477     17 |      718 |      566
405.03/405.13	c  404s |      16 |   280974 |   181552 |    19477     17 |      718 |      566
407.03/407.16	c  406s |      16 |   281588 |   182152 |    19477     17 |      718 |      566
409.23/409.34	c  409s |      16 |   282389 |   182852 |    19477     17 |      718 |      566
411.43/411.58	c  411s |      16 |   283150 |   183552 |    19477     17 |      718 |      566
413.53/413.70	c  413s |      16 |   283918 |   184252 |    19477     17 |      718 |      566
415.73/415.83	c  415s |      16 |   284556 |   184852 |    19477     17 |      718 |      566
418.03/418.15	c  417s |      16 |   285216 |   185452 |    19477     18 |      718 |      566
420.13/420.23	c  419s |      16 |   286063 |   186252 |    19477     18 |      718 |      566
422.22/422.39	c  422s |      16 |   286951 |   187052 |    19477     18 |      718 |      566
424.32/424.45	c  424s |      16 |   287818 |   187852 |    19477     18 |      718 |      566
426.42/426.52	c  426s |      16 |   288563 |   188552 |    19477     18 |      718 |      566
428.42/428.56	c  428s |      16 |   289335 |   189252 |    19477     18 |      718 |      566
430.52/430.63	c  430s |      16 |   290082 |   189952 |    19477     18 |      718 |      566
432.72/432.82	c  432s |      16 |   290821 |   190652 |    19477     18 |      718 |      566
434.92/435.07	c  434s |      16 |   291573 |   191352 |    19477     18 |      718 |      566
437.12/437.21	c  436s |      16 |   292323 |   192052 |    19477     18 |      718 |      566
439.22/439.35	c  439s |      16 |   292944 |   192652 |    19477     18 |      718 |      566
441.52/441.64	c  441s |      16 |   293713 |   193352 |    19477     18 |      718 |      566
443.82/443.90	c  443s |      16 |   294483 |   194052 |    19477     18 |      718 |      566
445.92/446.02	c  445s |      16 |   295278 |   194752 |    19477     18 |      718 |      566
448.12/448.23	c  447s |      16 |   296056 |   195452 |    19477     18 |      718 |      566
450.12/450.29	c  450s |      16 |   296824 |   196152 |    21425     18 |      718 |      566
452.42/452.56	c  452s |      16 |   297583 |   196852 |    21425     18 |      718 |      566
454.51/454.64	c  454s |      17 |   298210 |   197432 |    21425     18 |      718 |      566
456.53/456.68	c  456s |      17 |   306872 |   199132 |    21425     19 |      718 |      566
458.63/458.72	c  458s |      17 |   312141 |   201432 |    21425     19 |      718 |      566
460.62/460.76	c  460s |      17 |   315487 |   203432 |    21425     19 |      718 |      566
462.62/462.79	c  462s |      17 |   318413 |   205232 |    21425     19 |      718 |      566
464.72/464.81	c  464s |      17 |   320321 |   206632 |    21425     19 |      718 |      566
466.82/466.96	c  466s |      17 |   322063 |   207932 |    21425     19 |      718 |      566
468.92/469.03	c  468s |      17 |   324199 |   209332 |    21425     19 |      718 |      566
471.22/471.37	c  471s |      17 |   325769 |   210532 |    21425     20 |      718 |      566
473.32/473.45	c  473s |      17 |   327160 |   211632 |    21425     20 |      718 |      566
475.32/475.45	c  475s |      17 |   328211 |   212532 |    21425     20 |      718 |      566
477.43/477.55	c  477s |      17 |   329324 |   213432 |    21425     20 |      718 |      566
479.53/479.69	c  479s |      17 |   330395 |   214332 |    21425     20 |      718 |      566
481.62/481.72	c  481s |      17 |   331463 |   215232 |    21425     20 |      718 |      566
483.72/483.87	c  483s |      17 |   332528 |   216132 |    21425     20 |      718 |      566
485.92/486.08	c  485s |      17 |   333476 |   216932 |    21425     20 |      718 |      566
488.22/488.33	c  488s |      17 |   334428 |   217732 |    21425     20 |      718 |      566
490.32/490.40	c  490s |      17 |   335269 |   218432 |    21425     20 |      718 |      566
492.42/492.52	c  492s |      17 |   336618 |   219432 |    21425     20 |      718 |      566
494.51/494.62	c  494s |      17 |   337757 |   220332 |    21425     20 |      718 |      566
496.61/496.70	c  496s |      17 |   338942 |   221232 |    21425     20 |      718 |      566
498.61/498.72	c  498s |      17 |   339758 |   221932 |    21425     20 |      718 |      566
500.61/500.78	c  500s |      17 |   340563 |   222632 |    21425     20 |      718 |      566
502.72/502.85	c  502s |      17 |   341447 |   223332 |    21425     21 |      718 |      566
504.71/504.86	c  504s |      17 |   342665 |   224332 |    21425     21 |      718 |      566
506.81/506.96	c  506s |      17 |   343734 |   225232 |    21425     21 |      718 |      566
508.91/509.03	c  508s |      17 |   344813 |   226132 |    21425     21 |      718 |      566
511.01/511.13	c  510s |      17 |   345949 |   227032 |    21425     21 |      718 |      566
513.11/513.26	c  513s |      17 |   347233 |   228032 |    21425     21 |      718 |      566
515.21/515.37	c  515s |      17 |   348184 |   228832 |    21425     21 |      718 |      566
517.41/517.51	c  517s |      17 |   349331 |   229732 |    21425     21 |      718 |      566
519.41/519.59	c  519s |      17 |   350310 |   230532 |    21425     21 |      718 |      566
521.61/521.75	c  521s |      17 |   351311 |   231332 |    21425     21 |      718 |      566
523.81/523.96	c  523s |      17 |   352291 |   232132 |    21425     21 |      718 |      566
525.91/526.06	c  525s |      17 |   353142 |   232832 |    21425     21 |      718 |      566
528.21/528.36	c  528s |      17 |   354121 |   233632 |    21425     21 |      718 |      566
530.22/530.38	c  530s |      17 |   354933 |   234332 |    21425     21 |      718 |      566
532.32/532.45	c  532s |      17 |   355599 |   234932 |    21425     21 |      718 |      566
534.81/534.92	c  534s |      17 |   356297 |   235532 |    21425     22 |      718 |      566
536.91/537.05	c  536s |      17 |   357191 |   236332 |    21425     22 |      718 |      566
539.01/539.14	c  538s |      17 |   358341 |   237132 |    21425     22 |      718 |      566
541.01/541.18	c  540s |      17 |   359658 |   238132 |    21425     22 |      718 |      566
543.11/543.29	c  543s |      17 |   361717 |   239432 |    21425     22 |      718 |      566
545.21/545.36	c  545s |      17 |   363146 |   240532 |    21425     22 |      718 |      566
547.51/547.61	c  547s |      17 |   364737 |   241632 |    21425     22 |      718 |      566
549.61/549.79	c  549s |      17 |   365971 |   242532 |    21425     22 |      718 |      566
551.91/552.00	c  551s |      17 |   367085 |   243432 |    21425     22 |      718 |      566
554.10/554.22	c  553s |      17 |   368192 |   244332 |    21425     22 |      718 |      566
556.30/556.47	c  556s |      17 |   369179 |   245132 |    21425     22 |      718 |      566
558.50/558.63	c  558s |      17 |   370233 |   245932 |    21425     22 |      718 |      566
560.50/560.66	c  560s |      17 |   371093 |   246632 |    21425     22 |      718 |      566
562.50/562.68	c  562s |      17 |   371938 |   247332 |    21425     22 |      718 |      566
564.60/564.72	c  564s |      17 |   372679 |   247932 |    21425     23 |      718 |      566
566.70/566.82	c  566s |      17 |   373748 |   248832 |    21425     23 |      718 |      566
568.80/568.96	c  568s |      17 |   374716 |   249632 |    21425     23 |      718 |      566
570.81/570.98	c  570s |      17 |   375767 |   250532 |    21425     23 |      718 |      566
573.01/573.11	c  572s |      17 |   377426 |   251732 |    21425     23 |      718 |      566
575.10/575.29	c  575s |      17 |   379033 |   252932 |    21425     23 |      718 |      566
577.20/577.32	c  577s |      17 |   380298 |   253932 |    21425     23 |      718 |      566
579.30/579.44	c  579s |      17 |   381423 |   254832 |    21425     23 |      718 |      566
581.30/581.49	c  581s |      17 |   382553 |   255732 |    21425     23 |      718 |      566
583.40/583.57	c  583s |      17 |   383676 |   256632 |    21425     23 |      718 |      566
585.60/585.74	c  585s |      17 |   384900 |   257632 |    21425     23 |      718 |      566
587.80/587.96	c  587s |      17 |   386000 |   258532 |    21425     23 |      718 |      566
589.90/590.03	c  589s |      17 |   386955 |   259332 |    21425     23 |      718 |      566
592.00/592.18	c  591s |      17 |   387964 |   260132 |    21425     23 |      718 |      566
594.20/594.30	c  594s |      17 |   388935 |   260932 |    21425     24 |      718 |      566
596.30/596.45	c  596s |      17 |   390170 |   261932 |    21425     24 |      718 |      566
598.30/598.46	c  598s |      17 |   391123 |   262732 |    21425     24 |      718 |      566
600.40/600.50	c  600s |      17 |   392192 |   263632 |    21425     24 |      718 |      566
602.49/602.61	c  602s |      17 |   393362 |   264532 |    21425     24 |      718 |      566
604.69/604.85	c  604s |      17 |   394445 |   265432 |    21425     24 |      718 |      566
606.79/606.93	c  606s |      17 |   395390 |   266232 |    21425     24 |      718 |      566
608.89/609.03	c  608s |      17 |   396187 |   266932 |    21425     24 |      718 |      566
611.09/611.27	c  611s |      17 |   397127 |   267732 |    21425     24 |      718 |      566
613.29/613.48	c  613s |      17 |   397889 |   268432 |    21425     24 |      718 |      566
615.59/615.72	c  615s |      17 |   398835 |   269232 |    21425     24 |      718 |      566
617.79/617.91	c  617s |      17 |   399858 |   270032 |    21425     24 |      718 |      566
619.79/619.96	c  619s |      17 |   401104 |   270932 |    21425     24 |      718 |      566
621.89/622.07	c  621s |      17 |   402089 |   271732 |    21425     24 |      718 |      566
624.39/624.53	c  624s |      17 |   403075 |   272532 |    21425     25 |      718 |      566
626.49/626.69	c  626s |      17 |   404700 |   273732 |    21425     25 |      718 |      566
628.59/628.73	c  628s |      17 |   406326 |   274932 |    21425     25 |      718 |      566
630.79/630.95	c  630s |      17 |   407733 |   276032 |    21425     25 |      718 |      566
632.99/633.11	c  632s |      17 |   408947 |   277032 |    21425     25 |      718 |      566
634.99/635.13	c  634s |      17 |   410065 |   277932 |    21425     25 |      718 |      566
637.09/637.23	c  636s |      17 |   411303 |   278932 |    21425     25 |      718 |      566
639.19/639.35	c  639s |      17 |   412417 |   279832 |    21425     25 |      718 |      566
641.30/641.45	c  641s |      17 |   413411 |   280632 |    21425     25 |      718 |      566
643.40/643.53	c  643s |      17 |   414406 |   281432 |    21425     25 |      718 |      566
645.49/645.64	c  645s |      17 |   415319 |   282232 |    21425     25 |      718 |      566
647.49/647.67	c  647s |      17 |   416188 |   282932 |    21425     25 |      718 |      566
649.59/649.78	c  649s |      17 |   417060 |   283632 |    21425     25 |      718 |      566
651.69/651.86	c  651s |      17 |   417878 |   284332 |    21425     25 |      718 |      566
653.69/653.88	c  653s |      17 |   418579 |   284932 |    21425     26 |      718 |      566
655.99/656.13	c  655s |      17 |   419759 |   285932 |    21425     26 |      718 |      566
658.09/658.26	c  658s |      17 |   420824 |   286832 |    21425     26 |      718 |      566
660.18/660.33	c  660s |      17 |   421767 |   287632 |    21425     26 |      718 |      566
662.19/662.35	c  662s |      17 |   422679 |   288432 |    21425     26 |      718 |      566
664.39/664.51	c  664s |      17 |   423561 |   289232 |    21425     26 |      718 |      566
666.49/666.65	c  666s |      17 |   424479 |   290032 |    21425     26 |      718 |      566
668.58/668.77	c  668s |      17 |   425336 |   290732 |    21425     26 |      718 |      566
670.68/670.82	c  670s |      17 |   426373 |   291632 |    21425     26 |      718 |      566
672.78/672.93	c  672s |      17 |   427309 |   292432 |    21425     26 |      718 |      566
674.99/675.16	c  674s |      17 |   428265 |   293232 |    21425     26 |      718 |      566
677.09/677.27	c  677s |      17 |   429212 |   294032 |    21425     26 |      718 |      566
679.39/679.53	c  679s |      17 |   430148 |   294832 |    23568     26 |      718 |      566
681.49/681.67	c  681s |      17 |   431247 |   295732 |    23568     26 |      718 |      566
683.00/683.19	c  682s |      18 |   431873 |   296252 |    23568     26 |      718 |      566
684.99/685.19	c  684s |      18 |   435014 |   297552 |    23568     26 |      718 |      566
686.99/687.20	c  686s |      18 |   436850 |   299052 |    23568     26 |      718 |      566
689.09/689.22	c  688s |      18 |   440662 |   300252 |    23568     27 |      718 |      566
691.19/691.34	c  691s |      18 |   442261 |   301752 |    23568     27 |      718 |      566
693.19/693.39	c  693s |      18 |   443732 |   303052 |    23568     27 |      718 |      566
695.29/695.47	c  695s |      18 |   444861 |   304152 |    23568     27 |      718 |      566
697.39/697.52	c  697s |      18 |   445703 |   304952 |    23568     27 |      718 |      566
699.59/699.72	c  699s |      18 |   446423 |   305652 |    23568     27 |      718 |      566
701.88/702.03	c  701s |      18 |   447138 |   306352 |    23568     27 |      718 |      566
703.89/704.03	c  703s |      18 |   447844 |   306952 |    23568     27 |      718 |      566
705.88/706.07	c  705s |      18 |   449215 |   308052 |    23568     27 |      718 |      566
707.98/708.12	c  707s |      18 |   451424 |   309152 |    23568     27 |      718 |      566
709.98/710.19	c  709s |      18 |   454841 |   310852 |    23568     27 |      718 |      566
712.08/712.21	c  711s |      18 |   456414 |   312252 |    23568     27 |      718 |      566
714.18/714.35	c  714s |      18 |   457783 |   313452 |    23568     28 |      718 |      566
716.38/716.51	c  716s |      18 |   459053 |   314652 |    23568     28 |      718 |      566
718.48/718.62	c  718s |      18 |   460285 |   315752 |    23568     28 |      718 |      566
720.49/720.67	c  720s |      18 |   461498 |   316752 |    23568     28 |      718 |      566
722.59/722.80	c  722s |      18 |   462467 |   317652 |    23568     28 |      718 |      566
724.89/725.02	c  724s |      18 |   463424 |   318552 |    23568     28 |      718 |      566
726.99/727.17	c  726s |      18 |   464282 |   319352 |    23568     28 |      718 |      566
729.08/729.21	c  728s |      18 |   465140 |   320152 |    23568     28 |      718 |      566
731.18/731.33	c  731s |      18 |   466011 |   320952 |    23568     28 |      718 |      566
733.38/733.57	c  733s |      18 |   466871 |   321752 |    23568     28 |      718 |      566
735.68/735.86	c  735s |      18 |   467762 |   322552 |    23568     28 |      718 |      566
737.88/738.06	c  737s |      18 |   468505 |   323252 |    23568     28 |      718 |      566
740.08/740.24	c  739s |      18 |   469353 |   324052 |    23568     28 |      718 |      566
742.38/742.52	c  742s |      18 |   470188 |   324852 |    23568     28 |      718 |      566
744.38/744.57	c  744s |      18 |   470819 |   325452 |    23568     28 |      718 |      566
746.88/747.05	c  746s |      18 |   471448 |   326052 |    23568     29 |      718 |      566
748.88/749.10	c  748s |      18 |   472307 |   326852 |    23568     29 |      718 |      566
751.07/751.22	c  750s |      18 |   473040 |   327552 |    23568     29 |      718 |      566
753.27/753.41	c  753s |      18 |   473906 |   328352 |    23568     29 |      718 |      566
755.27/755.47	c  755s |      18 |   474650 |   329052 |    23568     29 |      718 |      566
757.47/757.64	c  757s |      18 |   475402 |   329752 |    23568     29 |      718 |      566
759.67/759.82	c  759s |      18 |   476165 |   330452 |    23568     29 |      718 |      566
761.87/762.08	c  761s |      18 |   476781 |   331052 |    23568     29 |      718 |      566
763.97/764.19	c  763s |      18 |   477420 |   331652 |    23568     29 |      718 |      566
766.27/766.48	c  766s |      18 |   478142 |   332352 |    23568     29 |      718 |      566
768.57/768.73	c  768s |      18 |   478867 |   333052 |    23568     29 |      718 |      566
770.67/770.88	c  770s |      18 |   479620 |   333752 |    23568     29 |      718 |      566
772.87/773.02	c  772s |      18 |   480554 |   334552 |    23568     29 |      718 |      566
775.17/775.30	c  775s |      18 |   481425 |   335352 |    23568     29 |      718 |      566
777.17/777.36	c  777s |      18 |   482153 |   336052 |    23568     29 |      718 |      566
779.27/779.46	c  779s |      18 |   482889 |   336752 |    23568     29 |      718 |      566
781.37/781.52	c  781s |      18 |   483632 |   337452 |    23568     29 |      718 |      566
783.47/783.63	c  783s |      18 |   484401 |   338152 |    23568     29 |      718 |      566
785.57/785.79	c  785s |      18 |   485194 |   338852 |    23568     29 |      718 |      566
787.77/787.95	c  787s |      18 |   485899 |   339452 |    23568     30 |      718 |      566
789.87/790.08	c  789s |      18 |   486970 |   340352 |    23568     30 |      718 |      566
792.07/792.22	c  791s |      18 |   487839 |   341152 |    23568     30 |      718 |      566
794.27/794.40	c  794s |      18 |   488681 |   341952 |    23568     30 |      718 |      566
796.27/796.48	c  796s |      18 |   489608 |   342752 |    23568     30 |      718 |      566
798.57/798.75	c  798s |      18 |   490496 |   343552 |    23568     30 |      718 |      566
800.56/800.77	c  800s |      18 |   491279 |   344252 |    23568     30 |      718 |      566
802.76/802.94	c  802s |      18 |   492024 |   344952 |    23568     30 |      718 |      566
805.07/805.22	c  804s |      18 |   492822 |   345652 |    23568     30 |      718 |      566
807.27/807.44	c  807s |      18 |   493598 |   346352 |    23568     30 |      718 |      566
809.57/809.72	c  809s |      18 |   494352 |   347052 |    23568     30 |      718 |      566
811.56/811.75	c  811s |      18 |   495000 |   347652 |    23568     30 |      718 |      566
813.76/813.97	c  813s |      18 |   495840 |   348352 |    23568     30 |      718 |      566
815.76/815.98	c  815s |      18 |   496363 |   348852 |    23568     30 |      718 |      566
817.76/817.98	c  817s |      18 |   496880 |   349352 |    23568     30 |      718 |      566
820.16/820.31	c  820s |      18 |   497538 |   349952 |    23568     30 |      718 |      566
822.16/822.32	c  822s |      18 |   498065 |   350452 |    23568     30 |      718 |      566
824.36/824.56	c  824s |      18 |   498701 |   351052 |    23568     30 |      718 |      566
826.56/826.70	c  826s |      18 |   499367 |   351652 |    23568     30 |      718 |      566
828.66/828.85	c  828s |      18 |   499895 |   352152 |    23568     30 |      718 |      566
831.06/831.26	c  831s |      18 |   500416 |   352652 |    23568     31 |      718 |      566
833.06/833.29	c  833s |      18 |   501171 |   353352 |    23568     31 |      718 |      566
835.16/835.36	c  835s |      18 |   501926 |   354052 |    23568     31 |      718 |      566
837.26/837.43	c  837s |      18 |   502686 |   354752 |    23568     31 |      718 |      566
839.36/839.57	c  839s |      18 |   503446 |   355452 |    23568     31 |      718 |      566
841.46/841.69	c  841s |      18 |   504206 |   356152 |    23568     31 |      718 |      566
843.56/843.76	c  843s |      18 |   504984 |   356852 |    23568     31 |      718 |      566
845.76/845.95	c  845s |      18 |   505938 |   357652 |    23568     31 |      718 |      566
848.06/848.24	c  847s |      18 |   506834 |   358452 |    23568     31 |      718 |      566
850.16/850.32	c  850s |      18 |   507608 |   359152 |    23568     31 |      718 |      566
852.36/852.54	c  852s |      18 |   508556 |   359952 |    23568     31 |      718 |      566
854.45/854.60	c  854s |      18 |   509388 |   360652 |    23568     31 |      718 |      566
856.55/856.74	c  856s |      18 |   510173 |   361352 |    23568     31 |      718 |      566
858.66/858.84	c  858s |      18 |   510789 |   361952 |    23568     31 |      718 |      566
860.86/861.08	c  860s |      18 |   511436 |   362552 |    23568     31 |      718 |      566
863.16/863.37	c  863s |      18 |   512104 |   363152 |    23568     31 |      718 |      566
865.26/865.44	c  865s |      18 |   512750 |   363752 |    23568     31 |      718 |      566
867.56/867.70	c  867s |      18 |   513386 |   364352 |    23568     31 |      718 |      566
869.76/869.91	c  869s |      18 |   514027 |   364952 |    23568     31 |      718 |      566
871.86/872.04	c  871s |      18 |   514672 |   365552 |    23568     31 |      718 |      566
873.96/874.15	c  873s |      18 |   515242 |   366052 |    23568     32 |      718 |      566
876.26/876.41	c  876s |      18 |   516097 |   366852 |    23568     32 |      718 |      566
878.36/878.50	c  878s |      18 |   516927 |   367652 |    23568     32 |      718 |      566
880.46/880.68	c  880s |      18 |   517762 |   368452 |    23568     32 |      718 |      566
882.66/882.85	c  882s |      18 |   518483 |   369152 |    23568     32 |      718 |      566
884.96/885.10	c  884s |      18 |   519345 |   369952 |    23568     32 |      718 |      566
887.06/887.29	c  887s |      18 |   520078 |   370652 |    23568     32 |      718 |      566
889.15/889.38	c  889s |      18 |   520816 |   371352 |    23568     32 |      718 |      566
891.35/891.58	c  891s |      18 |   521548 |   372052 |    23568     32 |      718 |      566
893.45/893.65	c  893s |      18 |   522199 |   372652 |    23568     32 |      718 |      566
895.75/895.91	c  895s |      18 |   522815 |   373252 |    23568     32 |      718 |      566
897.85/898.07	c  897s |      18 |   523445 |   373852 |    23568     32 |      718 |      566
900.25/900.44	c  900s |      18 |   524068 |   374452 |    23568     32 |      718 |      566
902.55/902.71	c  902s |      18 |   524699 |   375052 |    23568     32 |      718 |      566
904.65/904.90	c  904s |      18 |   525320 |   375652 |    23568     32 |      718 |      566
906.85/907.05	c  906s |      18 |   525949 |   376252 |    23568     32 |      718 |      566
908.95/909.17	c  908s |      18 |   526602 |   376852 |    23568     32 |      718 |      566
911.35/911.55	c  911s |      18 |   527222 |   377452 |    23568     32 |      718 |      566
913.75/913.90	c  913s |      18 |   527845 |   378052 |    23568     32 |      718 |      566
915.85/916.09	c  915s |      18 |   528502 |   378652 |    23568     32 |      718 |      566
918.55/918.72	c  918s |      18 |   529132 |   379252 |    23568     33 |      718 |      566
920.75/920.93	c  920s |      18 |   529985 |   380052 |    23568     33 |      718 |      566
922.86/923.02	c  922s |      18 |   530715 |   380752 |    23568     33 |      718 |      566
924.85/925.06	c  924s |      18 |   531454 |   381452 |    23568     33 |      718 |      566
926.95/927.18	c  926s |      18 |   532206 |   382152 |    23568     33 |      718 |      566
929.25/929.46	c  929s |      18 |   532930 |   382852 |    23568     33 |      718 |      566
931.55/931.75	c  931s |      18 |   533688 |   383552 |    23568     33 |      718 |      566
933.65/933.88	c  933s |      18 |   534305 |   384152 |    23568     33 |      718 |      566
935.85/936.02	c  935s |      18 |   535053 |   384852 |    23568     33 |      718 |      566
938.05/938.20	c  937s |      18 |   535944 |   385652 |    23568     33 |      718 |      566
940.05/940.27	c  940s |      18 |   536727 |   386352 |    23568     33 |      718 |      566
942.15/942.38	c  942s |      18 |   537490 |   387052 |    23568     33 |      718 |      566
944.35/944.53	c  944s |      18 |   538118 |   387652 |    23568     33 |      718 |      566
946.65/946.84	c  946s |      18 |   538862 |   388352 |    23568     33 |      718 |      566
948.64/948.88	c  948s |      18 |   539497 |   388952 |    23568     33 |      718 |      566
950.74/950.90	c  950s |      18 |   540131 |   389552 |    23568     33 |      718 |      566
952.84/953.00	c  952s |      18 |   540781 |   390152 |    23568     33 |      718 |      566
955.14/955.38	c  955s |      18 |   541544 |   390852 |    23568     33 |      718 |      566
957.44/957.61	c  957s |      18 |   542186 |   391452 |    23568     33 |      718 |      566
959.64/959.86	c  959s |      18 |   542879 |   392052 |    23568     33 |      718 |      566
961.64/961.87	c  961s |      18 |   543446 |   392552 |    23568     34 |      718 |      566
963.84/964.07	c  963s |      18 |   544294 |   393352 |    23568     34 |      718 |      566
966.04/966.26	c  966s |      18 |   545171 |   394152 |    23568     34 |      718 |      566
968.14/968.36	c  968s |      18 |   545903 |   394852 |    23568     34 |      718 |      566
970.34/970.51	c  970s |      18 |   546661 |   395552 |    23568     34 |      718 |      566
972.44/972.66	c  972s |      18 |   547396 |   396252 |    23568     34 |      718 |      566
974.74/974.95	c  974s |      18 |   548141 |   396952 |    23568     34 |      718 |      566
977.04/977.23	c  976s |      18 |   548894 |   397652 |    23568     34 |      718 |      566
979.24/979.43	c  979s |      18 |   549675 |   398352 |    23568     34 |      718 |      566
981.54/981.72	c  981s |      18 |   550523 |   399152 |    23568     34 |      718 |      566
983.74/983.98	c  983s |      18 |   551466 |   399952 |    23568     34 |      718 |      566
985.84/986.07	c  985s |      18 |   552290 |   400652 |    23568     34 |      718 |      566
988.04/988.24	c  987s |      18 |   553050 |   401352 |    23568     34 |      718 |      566
990.24/990.44	c  990s |      18 |   553677 |   401952 |    23568     34 |      718 |      566
992.54/992.71	c  992s |      18 |   554321 |   402552 |    23568     34 |      718 |      566
994.84/995.06	c  994s |      18 |   554949 |   403152 |    23568     34 |      718 |      566
996.84/997.08	c  996s |      18 |   555472 |   403652 |    23568     34 |      718 |      566
998.94/999.13	c  998s |      18 |   556023 |   404152 |    23568     34 |      718 |      566
1001.24/1001.47	c 1001s |      18 |   556674 |   404752 |    23568     34 |      718 |      566
1003.54/1003.72	c 1003s |      18 |   557196 |   405252 |    23568     34 |      718 |      566
1005.73/1005.91	c 1005s |      18 |   557705 |   405752 |    23568     34 |      718 |      566
1007.73/1007.92	c 1007s |      18 |   558229 |   406252 |    23568     35 |      718 |      566
1009.83/1010.04	c 1009s |      18 |   558969 |   406952 |    23568     35 |      718 |      566
1011.94/1012.11	c 1011s |      18 |   559610 |   407552 |    23568     35 |      718 |      566
1014.14/1014.35	c 1014s |      18 |   560338 |   408252 |    23568     35 |      718 |      566
1016.34/1016.52	c 1016s |      18 |   561081 |   408952 |    23568     35 |      718 |      566
1018.54/1018.79	c 1018s |      18 |   561858 |   409652 |    23568     35 |      718 |      566
1020.74/1020.97	c 1020s |      18 |   562587 |   410352 |    23568     35 |      718 |      566
1022.94/1023.15	c 1022s |      18 |   563332 |   411052 |    23568     35 |      718 |      566
1025.23/1025.40	c 1025s |      18 |   564063 |   411752 |    23568     35 |      718 |      566
1027.53/1027.71	c 1027s |      18 |   564797 |   412452 |    23568     35 |      718 |      566
1029.83/1030.01	c 1029s |      18 |   565537 |   413152 |    23568     35 |      718 |      566
1032.03/1032.21	c 1031s |      18 |   566161 |   413752 |    23568     35 |      718 |      566
1034.03/1034.29	c 1034s |      18 |   566811 |   414352 |    23568     35 |      718 |      566
1036.14/1036.39	c 1036s |      18 |   567454 |   414952 |    23568     35 |      718 |      566
1038.24/1038.45	c 1038s |      18 |   567977 |   415452 |    23568     35 |      718 |      566
1040.53/1040.77	c 1040s |      18 |   568604 |   416052 |    23568     35 |      718 |      566
1042.83/1043.04	c 1042s |      18 |   569218 |   416652 |    23568     35 |      718 |      566
1044.93/1045.18	c 1044s |      18 |   569912 |   417252 |    23568     35 |      718 |      566
1047.33/1047.50	c 1047s |      18 |   570551 |   417852 |    23568     35 |      718 |      566
1049.33/1049.58	c 1049s |      18 |   571082 |   418352 |    23568     35 |      718 |      566
1051.43/1051.61	c 1051s |      18 |   571614 |   418852 |    23568     35 |      718 |      566
1053.53/1053.80	c 1053s |      18 |   572135 |   419352 |    23568     36 |      718 |      566
1055.63/1055.83	c 1055s |      18 |   572887 |   420052 |    23568     36 |      718 |      566
1057.83/1058.00	c 1057s |      18 |   573918 |   420952 |    23568     36 |      718 |      566
1059.93/1060.10	c 1059s |      18 |   574793 |   421752 |    23568     36 |      718 |      566
1062.03/1062.21	c 1061s |      18 |   575641 |   422552 |    23568     36 |      718 |      566
1064.13/1064.38	c 1064s |      18 |   576497 |   423352 |    23568     36 |      718 |      566
1066.53/1066.70	c 1066s |      18 |   577352 |   424152 |    23568     36 |      718 |      566
1068.53/1068.73	c 1068s |      18 |   578097 |   424852 |    23568     36 |      718 |      566
1070.73/1070.90	c 1070s |      18 |   578832 |   425552 |    23568     36 |      718 |      566
1072.73/1072.91	c 1072s |      18 |   579474 |   426152 |    23568     36 |      718 |      566
1074.93/1075.12	c 1074s |      18 |   580098 |   426752 |    23568     36 |      718 |      566
1077.13/1077.31	c 1077s |      18 |   580724 |   427352 |    23568     36 |      718 |      566
1079.23/1079.49	c 1079s |      18 |   581364 |   427952 |    23568     36 |      718 |      566
1081.33/1081.59	c 1081s |      18 |   581998 |   428552 |    23568     36 |      718 |      566
1083.63/1083.89	c 1083s |      18 |   582632 |   429152 |    23568     36 |      718 |      566
1085.92/1086.16	c 1085s |      18 |   583273 |   429752 |    23568     36 |      718 |      566
1088.32/1088.55	c 1088s |      18 |   583906 |   430352 |    23568     36 |      718 |      566
1090.32/1090.55	c 1090s |      18 |   584439 |   430852 |    23568     36 |      718 |      566
1092.72/1092.92	c 1092s |      18 |   585067 |   431452 |    23568     36 |      718 |      566
1094.82/1095.03	c 1094s |      18 |   585585 |   431952 |    23568     36 |      718 |      566
1097.42/1097.65	c 1097s |      18 |   586094 |   432452 |    23568     37 |      718 |      566
1099.83/1100.01	c 1099s |      18 |   586832 |   433152 |    23568     37 |      718 |      566
1101.92/1102.14	c 1101s |      18 |   587567 |   433852 |    23568     37 |      718 |      566
1104.02/1104.30	c 1104s |      18 |   588305 |   434552 |    23568     37 |      718 |      566
1106.43/1106.61	c 1106s |      18 |   589044 |   435252 |    23568     37 |      718 |      566
1108.63/1108.85	c 1108s |      18 |   589760 |   435952 |    23568     37 |      718 |      566
1110.72/1110.95	c 1110s |      18 |   590525 |   436652 |    23568     37 |      718 |      566
1112.72/1112.96	c 1112s |      18 |   591156 |   437252 |    23568     37 |      718 |      566
1114.82/1115.03	c 1114s |      18 |   591798 |   437852 |    23568     37 |      718 |      566
1117.02/1117.20	c 1116s |      18 |   592423 |   438452 |    23568     37 |      718 |      566
1119.32/1119.59	c 1119s |      18 |   593200 |   439152 |    23568     37 |      718 |      566
1121.62/1121.83	c 1121s |      18 |   593851 |   439752 |    23568     37 |      718 |      566
1123.92/1124.12	c 1123s |      18 |   594470 |   440352 |    23568     37 |      718 |      566
1127.32/1127.60	c 1127s |      18 |   595103 |   440952 |    23568     37 |      718 |      566
1129.62/1129.84	c 1129s |      18 |   595844 |   441652 |    25925     37 |      718 |      566
1131.82/1132.01	c 1131s |      18 |   596469 |   442252 |    25925     37 |      718 |      566
1134.21/1134.42	c 1134s |      18 |   597095 |   442852 |    25925     37 |      718 |      566
1136.22/1136.43	c 1136s |      18 |   597616 |   443352 |    25925     37 |      718 |      566
1138.32/1138.54	c 1138s |      18 |   598132 |   443852 |    25925     37 |      718 |      566
1140.62/1140.83	c 1140s |      18 |   598753 |   444452 |    25925     37 |      718 |      566
1140.71/1140.96	c 1140s |      19 |   598782 |   444482 |    25925     37 |      718 |      566
1142.82/1143.07	c 1142s |      19 |   604999 |   446082 |    25925     37 |      718 |      566
1144.92/1145.11	c 1144s |      19 |   609090 |   447882 |    25925     37 |      718 |      566
1147.01/1147.26	c 1147s |      19 |   610342 |   448882 |    25925     38 |      718 |      566
1149.11/1149.38	c 1149s |      19 |   612585 |   450582 |    25925     38 |      718 |      566
1151.21/1151.47	c 1151s |      19 |   619754 |   452582 |    25925     38 |      718 |      566
1153.21/1153.48	c 1153s |      19 |   622303 |   453882 |    25925     38 |      718 |      566
1155.51/1155.70	c 1155s |      19 |   623768 |   454982 |    25925     38 |      718 |      566
1157.61/1157.87	c 1157s |      19 |   625867 |   456082 |    25925     38 |      718 |      566
1159.71/1159.93	c 1159s |      19 |   628667 |   457582 |    25925     38 |      718 |      566
1161.72/1161.95	c 1161s |      19 |   630100 |   458682 |    25925     38 |      718 |      566
1163.82/1164.03	c 1163s |      19 |   631221 |   459582 |    25925     38 |      718 |      566
1166.01/1166.22	c 1165s |      19 |   632890 |   460782 |    25925     38 |      718 |      566
1168.12/1168.35	c 1168s |      19 |   634350 |   461882 |    25925     38 |      718 |      566
1170.71/1170.91	c 1170s |      19 |   636020 |   462982 |    25925     39 |      718 |      566
1172.81/1173.08	c 1172s |      19 |   637384 |   463982 |    25925     39 |      718 |      566
1175.11/1175.30	c 1175s |      19 |   638549 |   464882 |    25925     39 |      718 |      566
1177.31/1177.52	c 1177s |      19 |   639691 |   465782 |    25925     39 |      718 |      566
1179.41/1179.60	c 1179s |      19 |   640515 |   466482 |    25925     39 |      718 |      566
1181.41/1181.65	c 1181s |      19 |   641498 |   467282 |    25925     39 |      718 |      566
1183.71/1183.90	c 1183s |      19 |   642325 |   467982 |    25925     39 |      718 |      566
1185.81/1186.00	c 1185s |      19 |   643174 |   468682 |    25925     39 |      718 |      566
1188.01/1188.29	c 1188s |      19 |   644029 |   469382 |    25925     39 |      718 |      566
1190.21/1190.46	c 1190s |      19 |   644869 |   470082 |    25925     39 |      718 |      566
1192.31/1192.57	c 1192s |      19 |   645576 |   470682 |    25925     39 |      718 |      566
1194.61/1194.81	c 1194s |      19 |   646265 |   471282 |    25925     39 |      718 |      566
1196.71/1196.92	c 1196s |      19 |   646957 |   471882 |    25925     39 |      718 |      566
1198.91/1199.12	c 1198s |      19 |   647870 |   472582 |    25925     39 |      718 |      566
1201.01/1201.30	c 1201s |      19 |   648859 |   473282 |    25925     39 |      718 |      566
1203.31/1203.57	c 1203s |      19 |   649796 |   473982 |    25925     39 |      718 |      566
1205.70/1205.93	c 1205s |      19 |   650661 |   474682 |    25925     39 |      718 |      566
1207.90/1208.18	c 1207s |      19 |   651399 |   475282 |    25925     39 |      718 |      566
1210.00/1210.22	c 1209s |      19 |   652035 |   475782 |    25925     39 |      718 |      566
1212.20/1212.49	c 1212s |      19 |   652795 |   476382 |    25925     39 |      718 |      566
1214.60/1214.89	c 1214s |      19 |   653563 |   476982 |    25925     39 |      718 |      566
1216.90/1217.15	c 1216s |      19 |   654029 |   477382 |    25925     40 |      718 |      566
1219.00/1219.22	c 1218s |      19 |   654759 |   477982 |    25925     40 |      718 |      566
1221.10/1221.33	c 1221s |      19 |   657623 |   479182 |    25925     40 |      718 |      566
1223.20/1223.41	c 1223s |      19 |   661685 |   480782 |    25925     40 |      718 |      566
1225.20/1225.44	c 1225s |      19 |   665987 |   482282 |    25925     40 |      718 |      566
1227.30/1227.58	c 1227s |      19 |   669426 |   483682 |    25925     40 |      718 |      566
1229.50/1229.71	c 1229s |      19 |   672695 |   484982 |    25925     40 |      718 |      566
1231.60/1231.85	c 1231s |      19 |   673997 |   485982 |    25925     40 |      718 |      566
1233.70/1233.92	c 1233s |      19 |   675052 |   486882 |    25925     40 |      718 |      566
1235.90/1236.11	c 1235s |      19 |   676157 |   487782 |    25925     40 |      718 |      566
1237.90/1238.12	c 1237s |      19 |   676969 |   488482 |    25925     40 |      718 |      566
1240.10/1240.37	c 1240s |      19 |   677772 |   489182 |    25925     40 |      718 |      566
1242.30/1242.50	c 1242s |      19 |   678436 |   489782 |    25925     40 |      718 |      566
1244.60/1244.82	c 1244s |      19 |   679228 |   490482 |    25925     40 |      718 |      566
1246.90/1247.12	c 1246s |      19 |   680010 |   491182 |    25925     40 |      718 |      566
1249.10/1249.35	c 1249s |      19 |   680822 |   491882 |    25925     40 |      718 |      566
1251.40/1251.61	c 1251s |      19 |   681357 |   492382 |    25925     41 |      718 |      566
1253.40/1253.68	c 1253s |      19 |   682122 |   493082 |    25925     41 |      718 |      566
1255.50/1255.79	c 1255s |      19 |   682777 |   493682 |    25925     41 |      718 |      566
1257.80/1258.04	c 1257s |      19 |   683547 |   494382 |    25925     41 |      718 |      566
1259.80/1260.05	c 1259s |      19 |   684729 |   495282 |    25925     41 |      718 |      566
1262.00/1262.29	c 1262s |      19 |   685743 |   496082 |    25925     41 |      718 |      566
1264.10/1264.32	c 1264s |      19 |   686427 |   496682 |    25925     41 |      718 |      566
1266.20/1266.45	c 1266s |      19 |   687237 |   497382 |    25925     41 |      718 |      566
1268.30/1268.59	c 1268s |      19 |   688074 |   498082 |    25925     41 |      718 |      566
1270.50/1270.73	c 1270s |      19 |   688747 |   498682 |    25925     41 |      718 |      566
1272.50/1272.77	c 1272s |      19 |   689425 |   499282 |    25925     41 |      718 |      566
1274.80/1275.01	c 1274s |      19 |   690357 |   499982 |    25925     41 |      718 |      566
1277.00/1277.29	c 1277s |      19 |   691188 |   500682 |    25925     41 |      718 |      566
1279.10/1279.31	c 1279s |      19 |   692006 |   501282 |    25925     41 |      718 |      566
1281.40/1281.63	c 1281s |      19 |   692884 |   501982 |    25925     41 |      718 |      566
1283.69/1283.91	c 1283s |      19 |   693795 |   502682 |    25925     41 |      718 |      566
1285.80/1286.02	c 1285s |      19 |   694485 |   503282 |    25925     41 |      718 |      566
1287.90/1288.18	c 1287s |      19 |   695224 |   503882 |    25925     41 |      718 |      566
1290.10/1290.35	c 1290s |      19 |   695912 |   504482 |    25925     41 |      718 |      566
1292.30/1292.58	c 1292s |      19 |   696612 |   505082 |    25925     41 |      718 |      566
1294.39/1294.61	c 1294s |      19 |   697195 |   505582 |    25925     41 |      718 |      566
1296.39/1296.69	c 1296s |      19 |   697777 |   506082 |    25925     41 |      718 |      566
1298.69/1298.93	c 1298s |      19 |   698250 |   506482 |    25925     42 |      718 |      566
1300.79/1301.07	c 1300s |      19 |   699068 |   507182 |    25925     42 |      718 |      566
1302.79/1303.07	c 1302s |      19 |   699726 |   507782 |    25925     42 |      718 |      566
1304.79/1305.10	c 1304s |      19 |   700400 |   508382 |    25925     42 |      718 |      566
1306.89/1307.16	c 1306s |      19 |   701096 |   508982 |    25925     42 |      718 |      566
1309.09/1309.39	c 1309s |      19 |   701794 |   509582 |    25925     42 |      718 |      566
1311.49/1311.70	c 1311s |      19 |   702602 |   510282 |    25925     42 |      718 |      566
1313.49/1313.73	c 1313s |      19 |   703290 |   510882 |    25925     42 |      718 |      566
1315.69/1315.99	c 1315s |      19 |   704080 |   511582 |    25925     42 |      718 |      566
1317.99/1318.21	c 1317s |      19 |   704755 |   512182 |    25925     42 |      718 |      566
1320.09/1320.33	c 1320s |      19 |   705463 |   512782 |    25925     42 |      718 |      566
1322.09/1322.39	c 1322s |      19 |   706184 |   513382 |    25925     42 |      718 |      566
1324.39/1324.65	c 1324s |      19 |   706876 |   513982 |    25925     42 |      718 |      566
1326.69/1326.92	c 1326s |      19 |   707571 |   514582 |    25925     42 |      718 |      566
1328.69/1328.94	c 1328s |      19 |   708147 |   515082 |    25925     42 |      718 |      566
1330.98/1331.25	c 1330s |      19 |   708821 |   515682 |    25925     42 |      718 |      566
1333.09/1333.31	c 1333s |      19 |   709369 |   516182 |    25925     42 |      718 |      566
1335.08/1335.35	c 1335s |      19 |   709930 |   516682 |    25925     42 |      718 |      566
1337.49/1337.76	c 1337s |      19 |   710464 |   517182 |    25925     42 |      718 |      566
1339.78/1340.01	c 1339s |      19 |   711002 |   517682 |    25925     42 |      718 |      566
1342.08/1342.39	c 1342s |      19 |   711557 |   518182 |    25925     42 |      718 |      566
1344.28/1344.50	c 1344s |      19 |   712122 |   518682 |    25925     42 |      718 |      566
1346.48/1346.76	c 1346s |      19 |   712685 |   519182 |    25925     42 |      718 |      566
1348.78/1349.01	c 1348s |      19 |   713261 |   519682 |    25925     42 |      718 |      566
1350.88/1351.15	c 1350s |      19 |   713825 |   520182 |    25925     42 |      718 |      566
1352.98/1353.23	c 1352s |      19 |   714399 |   520682 |    25925     42 |      718 |      566
1355.68/1355.93	c 1355s |      19 |   714975 |   521182 |    25925     43 |      718 |      566
1357.88/1358.17	c 1357s |      19 |   715660 |   521782 |    25925     43 |      718 |      566
1360.18/1360.46	c 1360s |      19 |   716334 |   522382 |    25925     43 |      718 |      566
1362.27/1362.58	c 1362s |      19 |   716890 |   522882 |    25925     43 |      718 |      566
1364.58/1364.88	c 1364s |      19 |   717557 |   523482 |    25925     43 |      718 |      566
1366.78/1367.09	c 1366s |      19 |   718222 |   524082 |    25925     43 |      718 |      566
1368.78/1369.09	c 1368s |      19 |   718776 |   524582 |    25925     43 |      718 |      566
1371.08/1371.36	c 1371s |      19 |   719458 |   525182 |    25925     43 |      718 |      566
1373.18/1373.49	c 1373s |      19 |   720031 |   525682 |    25925     43 |      718 |      566
1375.57/1375.88	c 1375s |      19 |   720824 |   526382 |    25925     43 |      718 |      566
1377.77/1378.04	c 1377s |      19 |   721351 |   526882 |    25925     43 |      718 |      566
1379.97/1380.26	c 1380s |      19 |   721886 |   527382 |    25925     43 |      718 |      566
1382.47/1382.71	c 1382s |      19 |   722427 |   527882 |    25925     43 |      718 |      566
1384.47/1384.77	c 1384s |      19 |   722878 |   528282 |    25925     43 |      718 |      566
1386.47/1386.78	c 1386s |      19 |   723304 |   528682 |    25925     43 |      718 |      566
1388.76/1389.03	c 1388s |      19 |   723863 |   529182 |    25925     43 |      718 |      566
1391.06/1391.33	c 1391s |      19 |   724432 |   529682 |    25925     43 |      718 |      566
1393.26/1393.59	c 1393s |      19 |   724991 |   530182 |    25925     43 |      718 |      566
1395.67/1395.92	c 1395s |      19 |   725521 |   530682 |    25925     43 |      718 |      566
1397.96/1398.25	c 1397s |      19 |   726083 |   531182 |    25925     43 |      718 |      566
1400.16/1400.41	c 1400s |      19 |   726643 |   531682 |    25925     43 |      718 |      566
1402.65/1402.96	c 1402s |      19 |   727178 |   532182 |    25925     43 |      718 |      566
1405.05/1405.37	c 1405s |      19 |   727749 |   532682 |    25925     43 |      718 |      566
1407.45/1407.78	c 1407s |      19 |   728311 |   533182 |    25925     43 |      718 |      566
1409.65/1409.90	c 1409s |      19 |   728749 |   533582 |    25925     43 |      718 |      566
1411.84/1412.13	c 1411s |      19 |   729211 |   533982 |    25925     43 |      718 |      566
1414.35/1414.65	c 1414s |      19 |   729761 |   534482 |    25925     43 |      718 |      566
1416.55/1416.87	c 1416s |      19 |   730185 |   534882 |    25925     43 |      718 |      566
1418.94/1419.24	c 1418s |      19 |   730614 |   535282 |    25925     43 |      718 |      566
1421.14/1421.41	c 1421s |      19 |   730982 |   535582 |    25925     44 |      718 |      566
1423.24/1423.55	c 1423s |      19 |   731738 |   536182 |    25925     44 |      718 |      566
1425.44/1425.70	c 1425s |      19 |   732631 |   536882 |    25925     44 |      718 |      566
1427.74/1428.00	c 1427s |      19 |   733330 |   537482 |    25925     44 |      718 |      566
1429.74/1430.02	c 1429s |      19 |   734055 |   538082 |    25925     44 |      718 |      566
1431.93/1432.25	c 1431s |      19 |   734922 |   538782 |    25925     44 |      718 |      566
1434.13/1434.42	c 1434s |      19 |   735606 |   539382 |    25925     44 |      718 |      566
1436.33/1436.61	c 1436s |      19 |   736296 |   539982 |    25925     44 |      718 |      566
1438.53/1438.82	c 1438s |      19 |   736981 |   540582 |    25925     44 |      718 |      566
1440.63/1440.93	c 1440s |      19 |   737527 |   541082 |    25925     44 |      718 |      566
1442.72/1443.09	c 1442s |      19 |   738070 |   541582 |    25925     44 |      718 |      566
1445.02/1445.30	c 1445s |      19 |   738766 |   542182 |    25925     44 |      718 |      566
1447.33/1447.65	c 1447s |      19 |   739484 |   542782 |    25925     44 |      718 |      566
1449.42/1449.70	c 1449s |      19 |   740045 |   543282 |    25925     44 |      718 |      566
1451.53/1451.84	c 1451s |      19 |   740600 |   543782 |    25925     44 |      718 |      566
1453.93/1454.23	c 1453s |      19 |   741138 |   544282 |    25925     44 |      718 |      566
1456.02/1456.37	c 1456s |      19 |   741690 |   544782 |    25925     44 |      718 |      566
1458.52/1458.80	c 1458s |      19 |   742302 |   545282 |    25925     44 |      718 |      566
1460.72/1461.02	c 1460s |      19 |   742846 |   545782 |    25925     44 |      718 |      566
1462.92/1463.25	c 1462s |      19 |   743415 |   546282 |    25925     44 |      718 |      566
1465.22/1465.54	c 1465s |      19 |   743964 |   546782 |    25925     44 |      718 |      566
1467.42/1467.71	c 1467s |      19 |   744532 |   547282 |    25925     44 |      718 |      566
1469.62/1469.98	c 1469s |      19 |   745084 |   547782 |    25925     44 |      718 |      566
1471.91/1472.26	c 1472s |      19 |   745653 |   548282 |    25925     44 |      718 |      566
1474.31/1474.60	c 1474s |      19 |   746221 |   548782 |    25925     44 |      718 |      566
1476.31/1476.61	c 1476s |      19 |   746689 |   549182 |    25925     44 |      718 |      566
1478.41/1478.78	c 1478s |      19 |   747120 |   549582 |    25925     44 |      718 |      566
1480.61/1480.93	c 1480s |      19 |   747549 |   549982 |    25925     44 |      718 |      566
1482.90/1483.25	c 1482s |      19 |   747871 |   550282 |    25925     45 |      718 |      566
1485.10/1485.42	c 1485s |      19 |   748438 |   550782 |    25925     45 |      718 |      566
1487.30/1487.62	c 1487s |      19 |   749120 |   551382 |    25925     45 |      718 |      566
1489.40/1489.71	c 1489s |      19 |   749763 |   551982 |    25925     45 |      718 |      566
1491.50/1491.81	c 1491s |      19 |   750419 |   552582 |    25925     45 |      718 |      566
1493.90/1494.22	c 1493s |      19 |   751113 |   553182 |    25925     45 |      718 |      566
1496.20/1496.57	c 1496s |      19 |   751782 |   553782 |    25925     45 |      718 |      566
1498.40/1498.74	c 1498s |      19 |   752335 |   554282 |    25925     45 |      718 |      566
1500.59/1500.93	c 1500s |      19 |   752889 |   554782 |    25925     45 |      718 |      566
1502.89/1503.28	c 1503s |      19 |   753545 |   555382 |    25925     45 |      718 |      566
1505.09/1505.40	c 1505s |      19 |   754086 |   555882 |    25925     45 |      718 |      566
1507.19/1507.55	c 1507s |      19 |   754627 |   556382 |    25925     45 |      718 |      566
1509.39/1509.73	c 1509s |      19 |   755196 |   556882 |    25925     45 |      718 |      566
1511.68/1512.07	c 1511s |      19 |   755754 |   557382 |    25925     45 |      718 |      566
1513.68/1514.07	c 1513s |      19 |   756178 |   557782 |    25925     45 |      718 |      566
1515.98/1516.35	c 1516s |      19 |   756610 |   558182 |    25925     45 |      718 |      566
1518.28/1518.68	c 1518s |      19 |   757024 |   558582 |    25925     45 |      718 |      566
1520.38/1520.76	c 1520s |      19 |   757616 |   559082 |    25925     45 |      718 |      566
1522.88/1523.25	c 1522s |      19 |   758182 |   559582 |    25925     45 |      718 |      566
1524.98/1525.38	c 1525s |      19 |   758754 |   560082 |    25925     45 |      718 |      566
1527.18/1527.58	c 1527s |      19 |   759326 |   560582 |    25925     45 |      718 |      566
1529.18/1529.59	c 1529s |      19 |   759920 |   561082 |    25925     45 |      718 |      566
1531.38/1531.75	c 1531s |      19 |   760474 |   561582 |    25925     45 |      718 |      566
1533.67/1534.06	c 1533s |      19 |   761019 |   562082 |    25925     45 |      718 |      566
1535.87/1536.29	c 1536s |      19 |   761581 |   562582 |    25925     45 |      718 |      566
1538.17/1538.58	c 1538s |      19 |   762122 |   563082 |    25925     45 |      718 |      566
1540.47/1540.83	c 1540s |      19 |   762698 |   563582 |    25925     45 |      718 |      566
1542.56/1542.90	c 1542s |      19 |   763300 |   564082 |    25925     45 |      718 |      566
1544.56/1544.94	c 1544s |      19 |   763743 |   564482 |    25925     45 |      718 |      566
1546.86/1547.25	c 1546s |      19 |   764191 |   564882 |    25925     46 |      718 |      566
1549.16/1549.53	c 1549s |      19 |   764851 |   565482 |    25925     46 |      718 |      566
1551.17/1551.59	c 1551s |      19 |   765462 |   565982 |    25925     46 |      718 |      566
1553.36/1553.77	c 1553s |      19 |   766043 |   566482 |    25925     46 |      718 |      566
1555.46/1555.82	c 1555s |      19 |   766688 |   566982 |    25925     46 |      718 |      566
1557.66/1558.00	c 1557s |      19 |   767265 |   567482 |    25925     46 |      718 |      566
1559.66/1560.07	c 1559s |      19 |   768000 |   568082 |    25925     46 |      718 |      566
1562.05/1562.45	c 1562s |      19 |   768571 |   568582 |    25925     46 |      718 |      566
1564.05/1564.46	c 1564s |      19 |   769132 |   569082 |    25925     46 |      718 |      566
1566.16/1566.58	c 1566s |      19 |   769728 |   569582 |    25925     46 |      718 |      566
1568.36/1568.77	c 1568s |      19 |   770283 |   570082 |    25925     46 |      718 |      566
1570.65/1571.04	c 1570s |      19 |   770815 |   570582 |    25925     46 |      718 |      566
1573.04/1573.43	c 1573s |      19 |   771378 |   571082 |    25925     46 |      718 |      566
1575.24/1575.66	c 1575s |      19 |   771941 |   571582 |    25925     46 |      718 |      566
1577.34/1577.80	c 1577s |      19 |   772502 |   572082 |    25925     46 |      718 |      566
1579.94/1580.30	c 1580s |      19 |   773042 |   572582 |    25925     46 |      718 |      566
1582.14/1582.60	c 1582s |      19 |   773483 |   572982 |    25925     46 |      718 |      566
1584.24/1584.64	c 1584s |      19 |   773914 |   573382 |    25925     46 |      718 |      566
1586.23/1586.64	c 1586s |      19 |   774351 |   573782 |    25925     46 |      718 |      566
1588.43/1588.81	c 1588s |      19 |   774799 |   574182 |    25925     46 |      718 |      566
1590.53/1590.99	c 1590s |      19 |   775238 |   574582 |    25925     46 |      718 |      566
1592.73/1593.13	c 1592s |      19 |   775671 |   574982 |    25925     46 |      718 |      566
1594.93/1595.37	c 1595s |      19 |   776116 |   575382 |    25925     46 |      718 |      566
1596.93/1597.39	c 1597s |      19 |   776574 |   575782 |    25925     46 |      718 |      566
1599.13/1599.52	c 1599s |      19 |   777032 |   576182 |    25925     46 |      718 |      566
1601.42/1601.88	c 1601s |      19 |   777466 |   576582 |    25925     46 |      718 |      566
1604.02/1604.40	c 1604s |      19 |   777908 |   576982 |    25925     46 |      718 |      566
1606.12/1606.58	c 1606s |      19 |   778467 |   577482 |    25925     46 |      718 |      566
1608.72/1609.19	c 1608s |      19 |   779037 |   577982 |    25925     46 |      718 |      566
1611.22/1611.61	c 1611s |      19 |   779600 |   578482 |    25925     46 |      718 |      566
1613.42/1613.89	c 1613s |      19 |   780051 |   578882 |    25925     46 |      718 |      566
1615.82/1616.28	c 1616s |      19 |   780378 |   579182 |    25925     47 |      718 |      566
1618.02/1618.46	c 1618s |      19 |   780824 |   579582 |    25925     47 |      718 |      566
1620.32/1620.78	c 1620s |      19 |   781380 |   580082 |    25925     47 |      718 |      566
1622.61/1623.03	c 1622s |      19 |   781928 |   580582 |    25925     47 |      718 |      566
1625.11/1625.56	c 1625s |      19 |   782476 |   581082 |    25925     47 |      718 |      566
1627.31/1627.70	c 1627s |      19 |   783057 |   581582 |    25925     47 |      718 |      566
1629.31/1629.72	c 1629s |      19 |   783636 |   582082 |    25925     47 |      718 |      566
1631.41/1631.86	c 1631s |      19 |   784190 |   582582 |    25925     47 |      718 |      566
1633.81/1634.29	c 1634s |      19 |   784767 |   583082 |    25925     47 |      718 |      566
1636.01/1636.47	c 1636s |      19 |   785205 |   583482 |    25925     47 |      718 |      566
1638.11/1638.58	c 1638s |      19 |   785631 |   583882 |    25925     47 |      718 |      566
1640.61/1641.01	c 1640s |      19 |   786184 |   584382 |    25925     47 |      718 |      566
1642.91/1643.31	c 1643s |      19 |   786721 |   584882 |    25925     47 |      718 |      566
1645.01/1645.47	c 1645s |      19 |   787190 |   585282 |    25925     47 |      718 |      566
1647.42/1647.85	c 1647s |      19 |   787887 |   585882 |    25925     47 |      718 |      566
1649.62/1650.07	c 1649s |      19 |   788442 |   586382 |    25925     47 |      718 |      566
1651.91/1652.36	c 1652s |      19 |   788993 |   586882 |    25925     47 |      718 |      566
1654.30/1654.77	c 1654s |      19 |   789549 |   587382 |    25925     47 |      718 |      566
1656.50/1656.90	c 1656s |      19 |   790111 |   587882 |    25925     47 |      718 |      566
1658.80/1659.23	c 1658s |      19 |   790662 |   588382 |    25925     47 |      718 |      566
1660.90/1661.37	c 1661s |      19 |   791121 |   588782 |    25925     47 |      718 |      566
1662.90/1663.38	c 1663s |      19 |   791574 |   589182 |    25925     47 |      718 |      566
1665.39/1665.86	c 1665s |      19 |   792116 |   589682 |    25925     47 |      718 |      566
1667.39/1667.86	c 1667s |      19 |   792556 |   590082 |    25925     47 |      718 |      566
1669.99/1670.45	c 1670s |      19 |   793096 |   590582 |    25925     47 |      718 |      566
1672.19/1672.62	c 1672s |      19 |   793528 |   590982 |    25925     47 |      718 |      566
1674.69/1675.16	c 1674s |      19 |   794067 |   591482 |    25925     47 |      718 |      566
1676.79/1677.21	c 1676s |      19 |   794504 |   591882 |    25925     47 |      718 |      566
1678.79/1679.26	c 1679s |      19 |   794934 |   592282 |    25925     47 |      718 |      566
1681.09/1681.53	c 1681s |      19 |   795394 |   592682 |    25925     47 |      718 |      566
1683.28/1683.73	c 1683s |      19 |   795833 |   593082 |    25925     47 |      718 |      566
1685.48/1685.90	c 1685s |      19 |   796275 |   593482 |    25925     47 |      718 |      566
1687.68/1688.14	c 1687s |      19 |   796602 |   593782 |    25925     48 |      718 |      566
1689.88/1690.36	c 1690s |      19 |   797154 |   594282 |    25925     48 |      718 |      566
1691.98/1692.40	c 1692s |      19 |   797692 |   594782 |    25925     48 |      718 |      566
1694.08/1694.51	c 1694s |      19 |   798217 |   595282 |    25925     48 |      718 |      566
1696.28/1696.79	c 1696s |      19 |   798758 |   595782 |    25925     48 |      718 |      566
1698.48/1698.99	c 1698s |      19 |   799311 |   596282 |    25925     48 |      718 |      566
1700.58/1701.08	c 1700s |      19 |   799986 |   596882 |    25925     48 |      718 |      566
1702.97/1703.41	c 1703s |      19 |   800659 |   597482 |    25925     48 |      718 |      566
1704.97/1705.43	c 1705s |      19 |   801211 |   597982 |    25925     48 |      718 |      566
1707.17/1707.64	c 1707s |      19 |   801747 |   598482 |    25925     48 |      718 |      566
1709.27/1709.77	c 1709s |      19 |   802291 |   598982 |    25925     48 |      718 |      566
1711.46/1711.93	c 1711s |      19 |   802841 |   599482 |    25925     48 |      718 |      566
1713.76/1714.20	c 1713s |      19 |   803377 |   599982 |    25925     48 |      718 |      566
1715.96/1716.42	c 1716s |      19 |   803943 |   600482 |    25925     48 |      718 |      566
1718.16/1718.65	c 1718s |      19 |   804481 |   600982 |    25925     48 |      718 |      566
1720.56/1721.02	c 1720s |      19 |   805022 |   601482 |    25925     48 |      718 |      566
1722.96/1723.49	c 1723s |      19 |   805563 |   601982 |    25925     48 |      718 |      566
1725.26/1725.76	c 1725s |      19 |   806110 |   602482 |    25925     48 |      718 |      566
1727.56/1728.00	c 1727s |      19 |   806647 |   602982 |    25925     48 |      718 |      566
1729.56/1730.03	c 1729s |      19 |   807083 |   603382 |    25925     48 |      718 |      566
1731.55/1732.05	c 1731s |      19 |   807521 |   603782 |    25925     48 |      718 |      566
1733.65/1734.14	c 1733s |      19 |   807965 |   604182 |    25925     48 |      718 |      566
1735.85/1736.36	c 1736s |      19 |   808392 |   604582 |    25925     48 |      718 |      566
1738.05/1738.57	c 1738s |      19 |   808806 |   604982 |    25925     48 |      718 |      566
1740.25/1740.77	c 1740s |      19 |   809230 |   605382 |    25925     48 |      718 |      566
1742.55/1743.00	c 1742s |      19 |   809652 |   605782 |    25925     48 |      718 |      566
1744.65/1745.13	c 1744s |      19 |   810097 |   606182 |    25925     48 |      718 |      566
1747.04/1747.54	c 1747s |      19 |   810517 |   606582 |    25925     48 |      718 |      566
1749.14/1749.62	c 1749s |      19 |   810836 |   606882 |    25925     48 |      718 |      566
1751.34/1751.82	c 1751s |      19 |   811271 |   607282 |    25925     48 |      718 |      566
1753.54/1754.05	c 1753s |      19 |   811707 |   607682 |    25925     48 |      718 |      566
1755.84/1756.33	c 1756s |      19 |   812133 |   608082 |    25925     48 |      718 |      566
1757.94/1758.47	c 1758s |      19 |   812459 |   608382 |    25925     49 |      718 |      566
1760.14/1760.65	c 1760s |      19 |   813020 |   608882 |    25925     49 |      718 |      566
1762.23/1762.77	c 1762s |      19 |   813570 |   609382 |    25925     49 |      718 |      566
1764.53/1765.01	c 1764s |      19 |   814122 |   609882 |    25925     49 |      718 |      566
1766.83/1767.38	c 1767s |      19 |   814674 |   610382 |    25925     49 |      718 |      566
1768.93/1769.47	c 1769s |      19 |   815227 |   610882 |    25925     49 |      718 |      566
1771.04/1771.53	c 1771s |      19 |   815801 |   611382 |    25925     49 |      718 |      566
1773.33/1773.86	c 1773s |      19 |   816355 |   611882 |    25925     49 |      718 |      566
1775.73/1776.23	c 1775s |      19 |   816890 |   612382 |    25925     49 |      718 |      566
1778.03/1778.59	c 1778s |      19 |   817419 |   612882 |    25925     49 |      718 |      566
1780.63/1781.14	c 1780s |      19 |   817969 |   613382 |    25925     49 |      718 |      566
1782.92/1783.49	c 1783s |      19 |   818515 |   613882 |    25925     49 |      718 |      566
1785.32/1785.82	c 1785s |      19 |   819070 |   614382 |    25925     49 |      718 |      566
1787.32/1787.86	c 1787s |      19 |   819517 |   614782 |    25925     49 |      718 |      566
1789.42/1789.95	c 1789s |      19 |   819967 |   615182 |    25925     49 |      718 |      566
1791.61/1792.11	c 1791s |      19 |   820396 |   615582 |    25925     49 |      718 |      566
1793.72/1794.21	c 1793s |      19 |   820854 |   615982 |    25925     49 |      718 |      566
1795.71/1796.29	c 1796s |      19 |   821290 |   616382 |    25925     49 |      718 |      566
1798.21/1798.76	c 1798s |      19 |   821838 |   616882 |    25925     49 |      718 |      566

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

pid=23678
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.23 2.17 2.16 3/179 23681
/proc/meminfo: memFree=29642428/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=688572 CPUtime=0 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 2560 0 0 0 0 0 0 0 20 0 4 0 29189750 705097728 2921 33554432000 4194304 16246674 140737398229760 140737398229184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 172655 2931 441 2943 0 169549 0
[pid=23681/tid=23682] ppid=23678 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 722923520 2990 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=711100 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 728166400 3010 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 732360704 3026 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.23 2.17 2.16 3/179 23681
/proc/meminfo: memFree=29642428/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 28272 0 0 0 5 3 0 0 20 0 4 0 29189750 1249447936 28571 33554432000 4194304 16246674 140737398229760 140737398229072 4220501 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 305041 28571 801 2943 0 301935 0
[pid=23681/tid=23682] ppid=23678 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1249447936 28571 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1249447936 28571 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1249447936 28571 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200544 s]
/proc/loadavg: 2.23 2.17 2.16 3/179 23681
/proc/meminfo: memFree=29642428/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 48481 0 0 0 12 7 0 0 20 0 4 0 29189750 1332285440 48780 33554432000 4194304 16246674 140737398229760 140737398211648 6940414 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 325265 48780 842 2943 0 322159 0
[pid=23681/tid=23682] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 48780 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 48780 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 48780 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.30049 s]
/proc/loadavg: 2.23 2.17 2.16 3/179 23681
/proc/meminfo: memFree=29642428/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1301060 CPUtime=0.28 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 50217 0 0 0 21 7 0 0 20 0 4 0 29189750 1332285440 50517 33554432000 4194304 16246674 140737398229760 140737398211648 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 325265 50522 882 2943 0 322159 0
[pid=23681/tid=23682] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 50526 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 50529 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 50534 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700409 s]
/proc/loadavg: 2.23 2.17 2.16 3/179 23681
/proc/meminfo: memFree=29642428/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 98588 0 0 0 54 15 0 0 20 0 4 0 29189750 1332285440 98887 33554432000 4194304 16246674 140737398229760 140737398211648 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 325265 98893 882 2943 0 322159 0
[pid=23681/tid=23682] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 98896 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 98900 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 98903 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 2.21 2.17 2.16 3/183 23685
/proc/meminfo: memFree=29049016/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 202938 0 0 0 122 26 0 0 20 0 4 0 29189750 1332285440 203237 33554432000 4194304 16246674 140737398229760 140737398211648 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 325265 203243 882 2943 0 322159 0
[pid=23681/tid=23682] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 203246 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 203249 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1332285440 203251 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10038 s]
/proc/loadavg: 2.21 2.17 2.16 3/183 23685
/proc/meminfo: memFree=28565152/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 269242 0 0 0 274 35 0 0 20 0 4 0 29189750 1343819776 269541 33554432000 4194304 16246674 140737398229760 140737398211648 5721984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 328081 269541 889 2943 0 324975 0
[pid=23681/tid=23682] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269541 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269541 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269541 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.21 2.17 2.16 3/183 23685
/proc/meminfo: memFree=28565240/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1312324 CPUtime=6.28 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 269266 0 0 0 593 35 0 0 20 0 4 0 29189750 1343819776 269565 33554432000 4194304 16246674 140737398229760 140737398211648 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 328081 269565 889 2943 0 324975 0
[pid=23681/tid=23682] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269565 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269565 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269565 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.18 2.16 2.16 4/182 23685
/proc/meminfo: memFree=28565272/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 269267 0 0 0 1233 35 0 0 20 0 4 0 29189750 1343819776 269566 33554432000 4194304 16246674 140737398229760 140737398211648 13949872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 328081 269566 889 2943 0 324975 0
[pid=23681/tid=23682] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269566 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269566 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269566 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.15 2.16 2.15 3/183 23686
/proc/meminfo: memFree=28566240/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 269270 0 0 0 2513 35 0 0 20 0 4 0 29189750 1343819776 269569 33554432000 4194304 16246674 140737398229760 140737398211648 12483326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 328081 269569 892 2943 0 324975 0
[pid=23681/tid=23682] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269569 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269569 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269569 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.25 2.18 2.16 3/183 23686
/proc/meminfo: memFree=28565868/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 269270 0 0 0 5072 36 0 0 20 0 4 0 29189750 1343819776 269569 33554432000 4194304 16246674 140737398229760 140737398211648 5546023 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 328081 269569 892 2943 0 324975 0
[pid=23681/tid=23682] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269569 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269569 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1343819776 269569 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.22 2.18 2.16 3/184 23690
/proc/meminfo: memFree=28550456/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 270738 0 0 0 10192 36 0 0 20 0 4 0 29189750 1350111232 271037 33554432000 4194304 16246674 140737398229760 140737398211648 5603284 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 329617 271037 892 2943 0 326511 0
[pid=23681/tid=23682] ppid=23678 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1350111232 271037 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1350111232 271037 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1350111232 271037 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 277998 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1346116

[startup+1362.3 s]
/proc/loadavg: 2.20 2.23 2.18 4/183 23721
/proc/meminfo: memFree=28508256/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1346116 CPUtime=1362.07 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 277703 0 0 0 136162 45 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140737398211648 6022686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 336529 278254 892 2943 0 333423 0
[pid=23681/tid=23682] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1346116

[startup+1422.3 s]
/proc/loadavg: 2.26 2.24 2.18 3/183 23722
/proc/meminfo: memFree=28508412/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1346116 CPUtime=1422.04 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 277749 0 0 0 142158 46 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140737398211648 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 336529 278254 892 2943 0 333423 0
[pid=23681/tid=23682] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1346116

[startup+1482.3 s]
/proc/loadavg: 2.21 2.22 2.18 4/183 23723
/proc/meminfo: memFree=28508440/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1346116 CPUtime=1482 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 277794 0 0 0 148153 47 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140737398211648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 336529 278254 892 2943 0 333423 0
[pid=23681/tid=23682] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278254 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1346116

[startup+1542.31 s]
/proc/loadavg: 2.28 2.24 2.19 3/182 23724
/proc/meminfo: memFree=28508968/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1346116 CPUtime=1541.97 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 277853 0 0 0 154150 47 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140737398228936 5522909 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 336529 278273 892 2943 0 333423 0
[pid=23681/tid=23682] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1346116

[startup+1602.3 s]
/proc/loadavg: 2.36 2.27 2.20 4/183 23726
/proc/meminfo: memFree=28509372/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1346116 CPUtime=1601.92 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 277899 0 0 0 160144 48 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140737398228936 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 336529 278273 892 2943 0 333423 0
[pid=23681/tid=23682] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1346116

[startup+1662.3 s]
/proc/loadavg: 2.30 2.27 2.19 4/183 23727
/proc/meminfo: memFree=28508644/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1346116 CPUtime=1661.9 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 277930 0 0 0 166141 49 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140737398211648 5717503 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 336529 278273 892 2943 0 333423 0
[pid=23681/tid=23682] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1346116

[startup+1722.3 s]
/proc/loadavg: 2.26 2.26 2.19 3/183 23728
/proc/meminfo: memFree=28509056/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1346116 CPUtime=1721.86 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 277974 0 0 0 172137 49 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140737398211648 13927243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 336529 278273 892 2943 0 333423 0
[pid=23681/tid=23682] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1346116

[startup+1782.3 s]
/proc/loadavg: 2.26 2.26 2.19 3/183 23778
/proc/meminfo: memFree=28525936/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1346116 CPUtime=1781.82 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 278017 0 0 0 178131 51 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140737398211648 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 336529 278273 892 2943 0 333423 0
[pid=23681/tid=23682] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1346116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.26 2.19 4/183 23778
/proc/meminfo: memFree=28526680/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1346116 CPUtime=1800.01 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 278022 0 0 0 179950 51 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140737398211648 6843201 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 336529 278273 892 2943 0 333423 0
[pid=23681/tid=23682] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1346116

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.26 2.19 4/183 23778
/proc/meminfo: memFree=28526680/32872528 swapFree=1085692/1157232
[pid=23681] ppid=23678 vsize=1346116 CPUtime=1800.01 cores=1,3,5,7
/proc/23681/stat : 23681 (toysat) R 23678 23681 21062 0 -1 4202496 278022 0 0 0 179950 51 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140737398211648 6843201 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23681/statm: 336529 278273 892 2943 0 333423 0
[pid=23681/tid=23682] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23682/stat : 23682 (toysat) S 23678 23681 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335293377776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23681/tid=23683] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23683/stat : 23683 (toysat) S 23678 23681 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335282887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23681/tid=23684] ppid=23678 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/23681/task/23684/stat : 23684 (toysat) S 23678 23681 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29189750 1378422784 278273 33554432000 4194304 16246674 140737398229760 140335170710704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1346116

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.05
CPU user time (s): 1799.51
CPU system time (s): 0.535918
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1346116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.535918
maximum resident set size= 1113092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278022
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= 320
involuntary context switches= 1843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43217 second user time and 8.63669 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 19:18:21
IDJOB=4116685
IDBENCH=109501
IDSOLVER=2542
FILE ID=node114/4116685-1466961501
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 154764e9df41c652e29cc0d7de19c998
RANDOM SEED=254822074

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29642848 kB
Buffers:           32304 kB
Cached:           221256 kB
SwapCached:        38928 kB
Active:          1143284 kB
Inactive:         226992 kB
Active(anon):    1081220 kB
Inactive(anon):    37760 kB
Active(file):      62064 kB
Inactive(file):   189232 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16732 kB
Writeback:             0 kB
AnonPages:       2350336 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             567192 kB
SReclaimable:      11284 kB
SUnreclaim:       555908 kB
KernelStack:        1520 kB
PageTables:         8500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2380276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71624 MiB
End job on node114 at 2016-06-26 19:48:22