Trace number 4116045

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round22-2.opb
MD5SUM099d421f33fdbd89edcd84295e2a469b
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 constraints8736
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)448
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-26T21:18:26+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-4116045-1466968705.opb"]
0.00/0.01	c use --random-gen="1560773589 251330384 742921782 1233761122 4023846910 2730187610 1835984954 320247248 3245891399 2722686794 622163661 1162321552 170724296 1819402908 2102601821 1877073950 3015553501 30454835 1896890819 49662969 1187682642 447994660 348877017 3193356236 831164762 3320065594 815747675 4114395544 1960600057 794067377 3539146745 2154736172 1980332720 2403847831 1227881486 221837867 2496417404 2153191627 1599401188 3319163613 394133248 217710801 83072185 824583897 2572041444 3088448931 3333224671 402695900 3367184464 1543153419 2247176884 3356111564 423786797 1804041638 150503930 556096749 2094663214 1449203444 1648781324 1042832213 1465088106 1796236533 2371409983 1698014238 3578795742 296522532 1672306913 1595048725 1578177934 2476301957 4269921872 3299753046 2700787030 1781711726 3662010049 680015065 3404506114 2990605842 3652848303 561499811 769759948 3130196737 2402563653 1442407675 4186979728 2158838444 2422978794 3429191568 4015707463 3261625480 2326253915 746586861 2672020689 1924777237 842719816 1975871471 665288335 3129494712 1732315974 4269405862 2852613062 159629492 2373931461 3579299539 2361004438 3549849831 2617871182 4252157341 944452524 917293428 1111150461 2017257895 415538225 753281663 1422780778 3567583295 2010170348 411608877 3513946489 3628534661 671862897 3371364010 2677547223 4267590789 3349526165 3846050697 3353760162 2604568120 816365009 4250239979 1174074272 1867831845 3050018977 1951291074 1562840013 3360676421 387737259 4224611665 275657226 3838394090 2872851393 2548905218 3390431699 2874911197 3393827615 443356357 616068308 3568430403 3561189506 2646661804 2329236721 1697302310 749145311 4068038179 1157845651 1444011743 1145774365 1375248671 3399905912 3195140469 3702988972 1442418793 3806027199 333366448 417299554 2737188872 2537611203 3407582685 2648192036 3130623467 2028070430 1160924487 129528608 4074200280 2274623500 1247844931 1310811666 19312997 2469388836 2009964964 2996204766 107142786 2810064382 2181761398 2409111785 3169475968 3894628782 951948278 3718857416 4262054532 3070105912 2649471821 1163186715 315629277 109651527 2609512559 468659073 1538008137 2941416466 94644840 3470793332 1329100327 3655595112 1499753345 1797717688 1489759872 1052605291 10476297 100740309 311923972 1405640162 3542577007 107039412 3769072157 1707845983 3222579884 3591290990 3197993108 2170103247 491778082 715800969 4043049163 1063769726 113271924 939592690 1045291068 2795224938 4046589790 2595580973 3022163234 2596102903 2644244316 512844222 3155928796 2079168606 146942216 2131889229 3768203335 2245776321 1902385089 185236572 720272750 1141536241 2908095171 2121516579 2341754055 3504568788 4275217212 565791155 3496769802 2876837375 1408596352 3082630120 4237004858 1406552710 908884105 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8736
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 |      910 |        0
0.29/0.34	c  0.1s |       1 |      501 |      100 |     4234      0 |      913 |      880
0.39/0.44	c  0.2s |       2 |     1258 |      250 |     4658      0 |      913 |      880
0.49/0.57	c  0.3s |       3 |     3176 |      475 |     5124      0 |      913 |      880
0.89/0.98	c  0.7s |       4 |     4909 |      813 |     5637      0 |      913 |      880
1.29/1.32	c  1.1s |       5 |     8748 |     1320 |     6201      0 |      913 |      880
2.09/2.14	c  1.9s |       6 |    10975 |     2081 |     7505      0 |      913 |      880
2.79/2.85	c  2.6s |       7 |    16597 |     3223 |     8256      0 |      913 |      880
4.69/4.70	c  4.4s |       8 |    20227 |     4936 |     9082      0 |      913 |      880
6.59/6.62	c  6.4s |       9 |    32110 |     7506 |     9991      0 |      914 |      880
8.58/8.68	c  8.4s |       9 |    40144 |     9906 |     9991      0 |      914 |      880
10.28/10.38	c 10.1s |      10 |    42239 |    11361 |    10991      0 |      914 |      880
12.38/12.45	c 12.2s |      10 |    46743 |    13461 |    10991      0 |      914 |      880
14.48/14.56	c 14.3s |      10 |    48476 |    14961 |    10991      1 |      914 |      880
16.59/16.69	c 16.4s |      10 |    50402 |    16361 |    10991      1 |      914 |      880
17.18/17.21	c 17.0s |      11 |    53073 |    17144 |    12091      1 |      914 |      880
19.28/19.34	c 19.1s |      11 |    56228 |    18844 |    12091      1 |      914 |      880
21.28/21.37	c 21.1s |      11 |    57941 |    20244 |    12091      1 |      914 |      880
23.38/23.44	c 23.2s |      11 |    59551 |    21544 |    12091      1 |      914 |      880
25.58/25.66	c 25.4s |      11 |    60894 |    22644 |    12091      2 |      914 |      880
27.68/27.75	c 27.5s |      11 |    61971 |    23644 |    12091      2 |      914 |      880
29.69/29.76	c 29.5s |      11 |    62977 |    24544 |    12091      2 |      914 |      880
31.68/31.78	c 31.5s |      11 |    64287 |    25644 |    12091      2 |      914 |      880
32.08/32.19	c 31.9s |      12 |    64495 |    25819 |    13301      2 |      914 |      880
34.19/34.27	c 34.0s |      12 |    69859 |    28019 |    13301      2 |      914 |      880
36.29/36.35	c 36.1s |      12 |    72396 |    30019 |    13301      2 |      914 |      880
38.38/38.43	c 38.2s |      12 |    73868 |    31319 |    13301      3 |      914 |      880
40.48/40.51	c 40.3s |      12 |    75417 |    32619 |    13301      3 |      914 |      880
42.58/42.68	c 42.4s |      12 |    76792 |    33819 |    13301      3 |      914 |      880
44.78/44.82	c 44.6s |      12 |    78538 |    35219 |    13301      3 |      914 |      880
46.88/46.97	c 46.7s |      12 |    80275 |    36619 |    13301      3 |      914 |      880
48.98/49.04	c 48.8s |      12 |    81520 |    37719 |    13301      3 |      914 |      880
51.08/51.12	c 50.9s |      12 |    82877 |    38819 |    14632      3 |      914 |      880
51.08/51.15	c 50.9s |      13 |    82890 |    38832 |    14632      3 |      914 |      880
53.18/53.21	c 53.0s |      13 |    89210 |    40832 |    14632      4 |      914 |      880
55.28/55.33	c 55.1s |      13 |    95494 |    43132 |    14632      4 |      914 |      880
57.38/57.45	c 57.2s |      13 |    98956 |    44832 |    14632      4 |      914 |      880
59.48/59.59	c 59.3s |      13 |   101768 |    46432 |    14632      4 |      914 |      880
61.58/61.66	c 61.4s |      13 |   103647 |    47732 |    14632      4 |      914 |      880
63.67/63.73	c 63.5s |      13 |   106413 |    49032 |    14632      5 |      914 |      880
65.77/65.81	c 65.6s |      13 |   109514 |    50632 |    14632      5 |      914 |      880
67.87/67.96	c 67.7s |      13 |   111109 |    51732 |    14632      5 |      914 |      880
69.87/69.98	c 69.7s |      13 |   112067 |    52532 |    14632      5 |      914 |      880
71.97/72.04	c 71.8s |      13 |   113132 |    53432 |    14632      5 |      914 |      880
74.17/74.20	c 73.9s |      13 |   114049 |    54232 |    14632      5 |      914 |      880
76.27/76.35	c 76.1s |      13 |   115505 |    55332 |    14632      5 |      914 |      880
78.37/78.47	c 78.2s |      13 |   116497 |    56132 |    14632      5 |      914 |      880
80.39/80.48	c 80.2s |      13 |   117185 |    56732 |    14632      5 |      914 |      880
82.59/82.67	c 82.4s |      13 |   117964 |    57432 |    14632      5 |      914 |      880
84.88/84.93	c 84.7s |      13 |   118752 |    58132 |    16096      6 |      914 |      880
85.48/85.51	c 85.2s |      14 |   118997 |    58352 |    16096      6 |      914 |      880
87.48/87.58	c 87.3s |      14 |   125893 |    60152 |    16096      6 |      914 |      880
89.58/89.65	c 89.4s |      14 |   130433 |    61852 |    16096      6 |      914 |      880
91.68/91.71	c 91.5s |      14 |   133768 |    63852 |    16096      6 |      914 |      880
93.68/93.71	c 93.5s |      14 |   135686 |    65352 |    16096      6 |      914 |      880
95.98/96.01	c 95.8s |      14 |   139172 |    67152 |    16096      7 |      914 |      880
97.98/98.08	c 97.8s |      14 |   145339 |    69352 |    16096      7 |      914 |      880
100.18/100.24	c 100.0s |      14 |   146893 |    70552 |    16096      7 |      914 |      880
102.38/102.46	c  102s |      14 |   148268 |    71652 |    16096      7 |      914 |      880
104.58/104.60	c  104s |      14 |   149480 |    72652 |    16096      7 |      914 |      880
106.68/106.79	c  106s |      14 |   150673 |    73652 |    16096      7 |      914 |      880
108.88/109.00	c  108s |      14 |   151760 |    74552 |    16096      7 |      914 |      880
111.08/111.13	c  110s |      14 |   152719 |    75352 |    16096      7 |      914 |      880
113.28/113.32	c  113s |      14 |   153988 |    76352 |    16096      7 |      914 |      880
115.48/115.52	c  115s |      14 |   154884 |    77152 |    16096      7 |      914 |      880
117.57/117.69	c  117s |      14 |   155832 |    77952 |    16096      8 |      914 |      880
119.88/119.92	c  119s |      14 |   156857 |    78852 |    16096      8 |      914 |      880
121.97/122.06	c  121s |      14 |   157818 |    79652 |    16096      8 |      914 |      880
124.07/124.17	c  123s |      14 |   158880 |    80552 |    16096      8 |      914 |      880
126.17/126.26	c  126s |      14 |   159782 |    81352 |    16096      8 |      914 |      880
128.27/128.31	c  128s |      14 |   160565 |    82052 |    16096      8 |      914 |      880
130.37/130.46	c  130s |      14 |   161350 |    82752 |    16096      8 |      914 |      880
132.47/132.51	c  132s |      14 |   162036 |    83352 |    16096      8 |      914 |      880
134.47/134.54	c  134s |      14 |   162695 |    83952 |    16096      8 |      914 |      880
136.67/136.70	c  136s |      14 |   163397 |    84552 |    16096      8 |      914 |      880
138.87/138.90	c  138s |      14 |   165567 |    85452 |    16096      8 |      914 |      880
140.97/141.05	c  140s |      14 |   166789 |    86452 |    16096      8 |      914 |      880
143.17/143.21	c  142s |      14 |   167782 |    87352 |    17706      9 |      914 |      880
143.67/143.77	c  143s |      15 |   168091 |    87632 |    17706      9 |      914 |      880
145.66/145.77	c  145s |      15 |   176514 |    89832 |    17706      9 |      914 |      880
147.76/147.85	c  147s |      15 |   182178 |    91932 |    17706      9 |      914 |      880
149.86/149.92	c  149s |      15 |   186654 |    93832 |    17706      9 |      914 |      880
151.96/152.09	c  151s |      15 |   188188 |    95032 |    17706      9 |      914 |      880
154.26/154.33	c  154s |      15 |   189393 |    96032 |    17706      9 |      914 |      880
156.27/156.37	c  156s |      15 |   190666 |    97032 |    17706      9 |      914 |      880
158.26/158.37	c  158s |      15 |   191989 |    98032 |    17706      9 |      914 |      880
160.46/160.58	c  160s |      15 |   193325 |    99032 |    17706     10 |      914 |      880
162.66/162.70	c  162s |      15 |   194570 |   100032 |    17706     10 |      914 |      880
164.66/164.75	c  164s |      15 |   195700 |   100932 |    17706     10 |      914 |      880
166.96/167.00	c  166s |      15 |   196859 |   101832 |    17706     10 |      914 |      880
168.96/169.02	c  168s |      15 |   197824 |   102632 |    17706     10 |      914 |      880
171.16/171.28	c  171s |      15 |   198774 |   103432 |    17706     10 |      914 |      880
173.46/173.58	c  173s |      15 |   199725 |   104232 |    17706     10 |      914 |      880
175.56/175.62	c  175s |      15 |   200541 |   104932 |    17706     10 |      914 |      880
177.66/177.74	c  177s |      15 |   201324 |   105632 |    17706     10 |      914 |      880
179.66/179.77	c  179s |      15 |   202133 |   106332 |    17706     10 |      914 |      880
181.76/181.83	c  181s |      15 |   202789 |   106932 |    17706     10 |      914 |      880
183.76/183.86	c  183s |      15 |   203496 |   107532 |    17706     10 |      914 |      880
185.86/185.94	c  185s |      15 |   204194 |   108132 |    17706     10 |      914 |      880
188.06/188.14	c  187s |      15 |   204902 |   108732 |    17706     10 |      914 |      880
190.26/190.32	c  190s |      15 |   205761 |   109432 |    17706     11 |      914 |      880
192.25/192.33	c  192s |      15 |   210801 |   110932 |    17706     11 |      914 |      880
194.25/194.38	c  194s |      15 |   213539 |   112432 |    17706     11 |      914 |      880
196.45/196.55	c  196s |      15 |   215007 |   113532 |    17706     11 |      914 |      880
198.46/198.56	c  198s |      15 |   216374 |   114532 |    17706     11 |      914 |      880
200.66/200.75	c  200s |      15 |   217731 |   115532 |    17706     11 |      914 |      880
202.76/202.81	c  202s |      15 |   218689 |   116332 |    17706     11 |      914 |      880
204.76/204.84	c  204s |      15 |   219637 |   117132 |    17706     11 |      914 |      880
206.87/206.95	c  206s |      15 |   220588 |   117932 |    17706     11 |      914 |      880
208.97/209.05	c  208s |      15 |   221427 |   118632 |    17706     11 |      914 |      880
211.27/211.32	c  211s |      15 |   222120 |   119232 |    17706     12 |      914 |      880
213.26/213.33	c  213s |      15 |   223292 |   120132 |    17706     12 |      914 |      880
215.36/215.42	c  215s |      15 |   224414 |   121032 |    17706     12 |      914 |      880
217.36/217.48	c  217s |      15 |   225464 |   121932 |    17706     12 |      914 |      880
219.46/219.54	c  219s |      15 |   226594 |   122832 |    17706     12 |      914 |      880
221.66/221.72	c  221s |      15 |   228087 |   123932 |    17706     12 |      914 |      880
223.86/223.94	c  223s |      15 |   229390 |   124932 |    17706     12 |      914 |      880
225.86/225.98	c  225s |      15 |   230467 |   125732 |    17706     12 |      914 |      880
227.86/227.99	c  227s |      15 |   231324 |   126432 |    17706     12 |      914 |      880
230.06/230.14	c  229s |      15 |   232095 |   127132 |    17706     12 |      914 |      880
232.06/232.19	c  231s |      15 |   232918 |   127832 |    17706     12 |      914 |      880
234.16/234.30	c  234s |      15 |   233925 |   128632 |    17706     12 |      914 |      880
236.36/236.40	c  236s |      15 |   234851 |   129432 |    17706     12 |      914 |      880
238.35/238.43	c  238s |      15 |   235622 |   130032 |    17706     13 |      914 |      880
240.35/240.47	c  240s |      15 |   236485 |   130732 |    19477     13 |      914 |      880
241.85/241.99	c  241s |      16 |   237655 |   131552 |    19477     13 |      914 |      880
243.95/244.03	c  243s |      16 |   240686 |   133252 |    19477     13 |      914 |      880
245.95/246.08	c  245s |      16 |   245562 |   135552 |    19477     13 |      914 |      880
248.05/248.19	c  247s |      16 |   249951 |   137552 |    19477     13 |      914 |      880
250.15/250.26	c  249s |      16 |   251586 |   138852 |    19477     13 |      914 |      880
252.15/252.28	c  252s |      16 |   253605 |   140152 |    19477     13 |      914 |      880
254.35/254.46	c  254s |      16 |   255361 |   141452 |    19477     13 |      914 |      880
256.55/256.64	c  256s |      16 |   256558 |   142452 |    19477     14 |      914 |      880
258.75/258.80	c  258s |      16 |   258189 |   143652 |    19477     14 |      914 |      880
260.85/260.90	c  260s |      16 |   260048 |   144952 |    19477     14 |      914 |      880
262.86/262.96	c  262s |      16 |   261559 |   146052 |    19477     14 |      914 |      880
264.85/264.98	c  264s |      16 |   262868 |   147052 |    19477     14 |      914 |      880
266.95/267.03	c  266s |      16 |   264277 |   148152 |    19477     14 |      914 |      880
268.95/269.04	c  268s |      16 |   265523 |   149152 |    19477     14 |      914 |      880
270.95/271.06	c  270s |      16 |   266647 |   150052 |    19477     14 |      914 |      880
273.05/273.18	c  272s |      16 |   267744 |   150952 |    19477     14 |      914 |      880
275.35/275.41	c  275s |      16 |   268838 |   151852 |    19477     14 |      914 |      880
277.44/277.50	c  277s |      16 |   269783 |   152652 |    19477     14 |      914 |      880
279.54/279.70	c  279s |      16 |   270603 |   153352 |    19477     15 |      914 |      880
281.65/281.73	c  281s |      16 |   271525 |   154152 |    19477     15 |      914 |      880
283.75/283.86	c  283s |      16 |   272954 |   155252 |    19477     15 |      914 |      880
285.95/286.01	c  285s |      16 |   274181 |   156252 |    19477     15 |      914 |      880
288.04/288.15	c  287s |      16 |   275294 |   157152 |    19477     15 |      914 |      880
290.35/290.44	c  290s |      16 |   276425 |   158052 |    19477     15 |      914 |      880
292.55/292.68	c  292s |      16 |   277435 |   158852 |    19477     15 |      914 |      880
294.75/294.89	c  294s |      16 |   278263 |   159552 |    19477     15 |      914 |      880
296.95/297.06	c  296s |      16 |   279095 |   160252 |    19477     15 |      914 |      880
299.04/299.16	c  298s |      16 |   279916 |   160952 |    19477     15 |      914 |      880
301.24/301.35	c  301s |      16 |   280712 |   161652 |    19477     15 |      914 |      880
303.44/303.57	c  303s |      16 |   281539 |   162352 |    19477     15 |      914 |      880
305.64/305.79	c  305s |      16 |   282227 |   162952 |    19477     15 |      914 |      880
307.74/307.82	c  307s |      16 |   282902 |   163552 |    19477     15 |      914 |      880
310.04/310.13	c  309s |      16 |   283776 |   164252 |    19477     15 |      914 |      880
312.04/312.15	c  311s |      16 |   284551 |   164852 |    19477     16 |      914 |      880
314.24/314.31	c  314s |      16 |   285808 |   165852 |    19477     16 |      914 |      880
316.34/316.41	c  316s |      16 |   286895 |   166752 |    19477     16 |      914 |      880
318.44/318.59	c  318s |      16 |   287988 |   167652 |    19477     16 |      914 |      880
320.54/320.64	c  320s |      16 |   288917 |   168452 |    19477     16 |      914 |      880
322.54/322.66	c  322s |      16 |   289941 |   169252 |    19477     16 |      914 |      880
324.64/324.76	c  324s |      16 |   291039 |   170152 |    19477     16 |      914 |      880
326.75/326.87	c  326s |      16 |   292063 |   171052 |    19477     16 |      914 |      880
328.95/329.05	c  328s |      16 |   293062 |   171952 |    19477     16 |      914 |      880
331.05/331.15	c  330s |      16 |   293878 |   172652 |    19477     16 |      914 |      880
333.14/333.30	c  333s |      16 |   294704 |   173352 |    19477     16 |      914 |      880
335.34/335.46	c  335s |      16 |   295559 |   174052 |    19477     16 |      914 |      880
337.44/337.53	c  337s |      16 |   296336 |   174752 |    19477     16 |      914 |      880
339.74/339.87	c  339s |      16 |   297181 |   175452 |    19477     16 |      914 |      880
342.15/342.25	c  341s |      16 |   297887 |   176052 |    19477     17 |      914 |      880
344.34/344.44	c  344s |      16 |   298922 |   176952 |    19477     17 |      914 |      880
346.44/346.56	c  346s |      16 |   299827 |   177752 |    19477     17 |      914 |      880
348.64/348.72	c  348s |      16 |   300725 |   178552 |    19477     17 |      914 |      880
350.74/350.80	c  350s |      16 |   301524 |   179252 |    19477     17 |      914 |      880
352.74/352.86	c  352s |      16 |   302473 |   180052 |    19477     17 |      914 |      880
354.94/355.06	c  354s |      16 |   303451 |   180852 |    19477     17 |      914 |      880
357.04/357.11	c  356s |      16 |   304305 |   181552 |    19477     17 |      914 |      880
359.24/359.33	c  359s |      16 |   305228 |   182352 |    19477     17 |      914 |      880
361.64/361.76	c  361s |      16 |   306151 |   183152 |    19477     17 |      914 |      880
363.93/364.01	c  363s |      16 |   306950 |   183852 |    19477     17 |      914 |      880
365.93/366.04	c  365s |      16 |   307656 |   184452 |    19477     17 |      914 |      880
368.23/368.36	c  368s |      16 |   308442 |   185152 |    19477     17 |      914 |      880
370.43/370.52	c  370s |      16 |   309115 |   185752 |    19477     17 |      914 |      880
372.43/372.53	c  372s |      16 |   309665 |   186252 |    19477     17 |      914 |      880
374.53/374.62	c  374s |      16 |   310333 |   186852 |    19477     17 |      914 |      880
376.53/376.65	c  376s |      16 |   310892 |   187352 |    19477     17 |      914 |      880
378.73/378.82	c  378s |      16 |   311558 |   187952 |    19477     18 |      914 |      880
380.83/380.90	c  380s |      16 |   312348 |   188652 |    19477     18 |      914 |      880
383.13/383.20	c  382s |      16 |   313254 |   189452 |    19477     18 |      914 |      880
385.23/385.32	c  385s |      16 |   314075 |   190152 |    19477     18 |      914 |      880
387.33/387.46	c  387s |      16 |   314865 |   190852 |    19477     18 |      914 |      880
389.53/389.60	c  389s |      16 |   315629 |   191552 |    19477     18 |      914 |      880
391.54/391.64	c  391s |      16 |   316308 |   192152 |    19477     18 |      914 |      880
393.53/393.65	c  393s |      16 |   316981 |   192752 |    19477     18 |      914 |      880
395.63/395.73	c  395s |      16 |   317768 |   193452 |    19477     18 |      914 |      880
397.93/398.09	c  397s |      16 |   318522 |   194152 |    19477     18 |      914 |      880
400.03/400.13	c  399s |      16 |   319227 |   194752 |    19477     18 |      914 |      880
402.03/402.13	c  401s |      16 |   319945 |   195352 |    19477     18 |      914 |      880
404.33/404.40	c  404s |      16 |   321187 |   196252 |    21425     18 |      914 |      880
406.53/406.64	c  406s |      16 |   322315 |   197152 |    21425     18 |      914 |      880
407.33/407.43	c  407s |      17 |   322663 |   197432 |    21425     18 |      914 |      880
409.32/409.49	c  409s |      17 |   329405 |   199232 |    21425     18 |      914 |      880
411.43/411.53	c  411s |      17 |   332252 |   200632 |    21425     19 |      914 |      880
413.53/413.63	c  413s |      17 |   334655 |   202232 |    21425     19 |      914 |      880
415.62/415.74	c  415s |      17 |   336558 |   203632 |    21425     19 |      914 |      880
417.72/417.88	c  417s |      17 |   338185 |   204932 |    21425     19 |      914 |      880
419.92/420.02	c  419s |      17 |   339694 |   206132 |    21425     19 |      914 |      880
422.02/422.15	c  421s |      17 |   341213 |   207332 |    21425     19 |      914 |      880
424.12/424.27	c  424s |      17 |   342840 |   208532 |    21425     19 |      914 |      880
426.32/426.42	c  426s |      17 |   344142 |   209532 |    21425     19 |      914 |      880
428.42/428.55	c  428s |      17 |   345371 |   210532 |    21425     19 |      914 |      880
430.52/430.63	c  430s |      17 |   346647 |   211532 |    21425     19 |      914 |      880
432.52/432.68	c  432s |      17 |   347742 |   212432 |    21425     19 |      914 |      880
434.82/434.93	c  434s |      17 |   348676 |   213232 |    21425     20 |      914 |      880
436.82/436.99	c  436s |      17 |   350009 |   214232 |    21425     20 |      914 |      880
438.92/439.06	c  438s |      17 |   351460 |   215232 |    21425     20 |      914 |      880
441.12/441.24	c  440s |      17 |   352420 |   216032 |    21425     20 |      914 |      880
443.12/443.26	c  443s |      17 |   353406 |   216832 |    21425     20 |      914 |      880
445.22/445.32	c  445s |      17 |   354582 |   217732 |    21425     20 |      914 |      880
447.22/447.38	c  447s |      17 |   355584 |   218532 |    21425     20 |      914 |      880
449.32/449.44	c  449s |      17 |   356582 |   219332 |    21425     20 |      914 |      880
451.52/451.66	c  451s |      17 |   357747 |   220232 |    21425     20 |      914 |      880
453.72/453.85	c  453s |      17 |   358606 |   220932 |    21425     20 |      914 |      880
455.71/455.89	c  455s |      17 |   359688 |   221732 |    21425     20 |      914 |      880
457.91/458.06	c  457s |      17 |   360619 |   222532 |    21425     20 |      914 |      880
460.11/460.23	c  459s |      17 |   361651 |   223332 |    21425     20 |      914 |      880
462.31/462.45	c  462s |      17 |   362913 |   224232 |    21425     20 |      914 |      880
464.42/464.56	c  464s |      17 |   363794 |   224932 |    21425     20 |      914 |      880
466.52/466.66	c  466s |      17 |   364626 |   225632 |    21425     21 |      914 |      880
468.63/468.72	c  468s |      17 |   365591 |   226432 |    21425     21 |      914 |      880
470.73/470.83	c  470s |      17 |   366453 |   227232 |    21425     21 |      914 |      880
472.93/473.02	c  472s |      17 |   367570 |   228132 |    21425     21 |      914 |      880
474.92/475.05	c  474s |      17 |   368523 |   228932 |    21425     21 |      914 |      880
477.12/477.30	c  477s |      17 |   369649 |   229832 |    21425     21 |      914 |      880
479.42/479.53	c  479s |      17 |   370679 |   230632 |    21425     21 |      914 |      880
481.52/481.66	c  481s |      17 |   371556 |   231332 |    21425     21 |      914 |      880
483.82/483.96	c  483s |      17 |   372379 |   232032 |    21425     21 |      914 |      880
485.92/486.08	c  485s |      17 |   373249 |   232732 |    21425     21 |      914 |      880
488.22/488.32	c  488s |      17 |   374078 |   233432 |    21425     21 |      914 |      880
490.42/490.58	c  490s |      17 |   374919 |   234132 |    21425     21 |      914 |      880
492.82/492.91	c  492s |      17 |   375751 |   234832 |    21425     21 |      914 |      880
495.02/495.16	c  494s |      17 |   376470 |   235432 |    21425     21 |      914 |      880
497.22/497.36	c  497s |      17 |   377357 |   236132 |    21425     21 |      914 |      880
499.32/499.48	c  499s |      17 |   378044 |   236732 |    21425     21 |      914 |      880
501.52/501.61	c  501s |      17 |   378702 |   237332 |    21425     21 |      914 |      880
503.51/503.65	c  503s |      17 |   379266 |   237832 |    21425     22 |      914 |      880
505.51/505.67	c  505s |      17 |   380398 |   238732 |    21425     22 |      914 |      880
507.81/507.90	c  507s |      17 |   381334 |   239532 |    21425     22 |      914 |      880
510.01/510.15	c  509s |      17 |   382285 |   240332 |    21425     22 |      914 |      880
512.11/512.29	c  512s |      17 |   383083 |   241032 |    21425     22 |      914 |      880
514.41/514.57	c  514s |      17 |   383885 |   241732 |    21425     22 |      914 |      880
516.71/516.81	c  516s |      17 |   384656 |   242432 |    21425     22 |      914 |      880
518.81/518.98	c  518s |      17 |   385317 |   243032 |    21425     22 |      914 |      880
521.11/521.24	c  520s |      17 |   385971 |   243632 |    21425     22 |      914 |      880
523.52/523.61	c  523s |      17 |   386595 |   244232 |    21425     22 |      914 |      880
525.82/525.94	c  525s |      17 |   387391 |   244932 |    21425     22 |      914 |      880
528.11/528.29	c  528s |      17 |   388022 |   245532 |    21425     22 |      914 |      880
530.22/530.39	c  530s |      17 |   388679 |   246132 |    21425     22 |      914 |      880
532.51/532.65	c  532s |      17 |   389333 |   246732 |    21425     22 |      914 |      880
534.61/534.79	c  534s |      17 |   389851 |   247232 |    21425     22 |      914 |      880
537.01/537.14	c  536s |      17 |   390517 |   247832 |    21425     22 |      914 |      880
539.11/539.20	c  538s |      17 |   391077 |   248332 |    21425     22 |      914 |      880
541.21/541.39	c  541s |      17 |   391610 |   248832 |    21425     22 |      914 |      880
543.41/543.57	c  543s |      17 |   392344 |   249432 |    21425     22 |      914 |      880
545.71/545.88	c  545s |      17 |   393066 |   250032 |    21425     23 |      914 |      880
547.81/547.98	c  547s |      17 |   394258 |   250932 |    21425     23 |      914 |      880
549.91/550.03	c  549s |      17 |   395175 |   251732 |    21425     23 |      914 |      880
552.00/552.14	c  551s |      17 |   395965 |   252432 |    21425     23 |      914 |      880
554.10/554.22	c  553s |      17 |   396754 |   253132 |    21425     23 |      914 |      880
556.10/556.26	c  555s |      17 |   397582 |   253832 |    21425     23 |      914 |      880
558.10/558.29	c  558s |      17 |   398372 |   254532 |    21425     23 |      914 |      880
560.30/560.41	c  560s |      17 |   399172 |   255232 |    21425     23 |      914 |      880
562.50/562.60	c  562s |      17 |   399947 |   255932 |    21425     23 |      914 |      880
564.60/564.75	c  564s |      17 |   400767 |   256632 |    21425     23 |      914 |      880
566.80/566.97	c  566s |      17 |   401613 |   257332 |    21425     23 |      914 |      880
568.90/569.05	c  568s |      17 |   402710 |   258132 |    21425     23 |      914 |      880
571.00/571.10	c  570s |      17 |   403546 |   258832 |    21425     23 |      914 |      880
573.20/573.34	c  573s |      17 |   404512 |   259632 |    21425     23 |      914 |      880
575.40/575.55	c  575s |      17 |   405368 |   260332 |    21425     23 |      914 |      880
577.51/577.63	c  577s |      17 |   406074 |   260932 |    21425     23 |      914 |      880
579.50/579.65	c  579s |      17 |   406773 |   261532 |    21425     23 |      914 |      880
581.60/581.72	c  581s |      17 |   407434 |   262132 |    21425     23 |      914 |      880
583.60/583.76	c  583s |      17 |   408167 |   262732 |    21425     24 |      914 |      880
585.80/585.94	c  585s |      17 |   409086 |   263532 |    21425     24 |      914 |      880
587.90/588.08	c  587s |      17 |   410081 |   264332 |    21425     24 |      914 |      880
590.20/590.35	c  590s |      17 |   411151 |   265232 |    21425     24 |      914 |      880
592.30/592.46	c  592s |      17 |   412075 |   266032 |    21425     24 |      914 |      880
594.40/594.51	c  594s |      17 |   412903 |   266732 |    21425     24 |      914 |      880
596.60/596.74	c  596s |      17 |   413685 |   267432 |    21425     24 |      914 |      880
598.60/598.78	c  598s |      17 |   414369 |   268032 |    21425     24 |      914 |      880
600.69/600.81	c  600s |      17 |   415036 |   268632 |    21425     24 |      914 |      880
602.89/603.04	c  602s |      17 |   415842 |   269332 |    21425     24 |      914 |      880
604.90/605.10	c  604s |      17 |   416674 |   270032 |    21425     24 |      914 |      880
607.20/607.37	c  607s |      17 |   417489 |   270732 |    21425     24 |      914 |      880
609.49/609.67	c  609s |      17 |   418310 |   271432 |    21425     24 |      914 |      880
611.69/611.89	c  611s |      17 |   419142 |   272132 |    21425     24 |      914 |      880
613.80/613.97	c  613s |      17 |   419884 |   272732 |    21425     24 |      914 |      880
615.90/616.06	c  615s |      17 |   420582 |   273332 |    21425     24 |      914 |      880
618.10/618.30	c  618s |      17 |   421272 |   273932 |    21425     24 |      914 |      880
620.59/620.74	c  620s |      17 |   421824 |   274432 |    21425     25 |      914 |      880
622.89/623.02	c  622s |      17 |   422765 |   275232 |    21425     25 |      914 |      880
624.89/625.03	c  624s |      17 |   423579 |   275932 |    21425     25 |      914 |      880
627.00/627.18	c  626s |      17 |   424373 |   276632 |    21425     25 |      914 |      880
629.10/629.30	c  629s |      17 |   425139 |   277332 |    21425     25 |      914 |      880
631.40/631.51	c  631s |      17 |   426121 |   278132 |    21425     25 |      914 |      880
633.39/633.52	c  633s |      17 |   426927 |   278832 |    21425     25 |      914 |      880
635.60/635.75	c  635s |      17 |   428002 |   279632 |    21425     25 |      914 |      880
637.90/638.02	c  637s |      17 |   429002 |   280432 |    21425     25 |      914 |      880
640.20/640.32	c  640s |      17 |   429967 |   281232 |    21425     25 |      914 |      880
642.19/642.32	c  642s |      17 |   430768 |   281932 |    21425     25 |      914 |      880
644.29/644.41	c  644s |      17 |   431611 |   282632 |    21425     25 |      914 |      880
646.49/646.65	c  646s |      17 |   432397 |   283332 |    21425     25 |      914 |      880
648.79/648.93	c  648s |      17 |   433206 |   284032 |    21425     25 |      914 |      880
650.89/651.03	c  650s |      17 |   433913 |   284632 |    21425     25 |      914 |      880
652.89/653.08	c  652s |      17 |   434598 |   285232 |    21425     25 |      914 |      880
655.19/655.37	c  655s |      17 |   435318 |   285832 |    21425     25 |      914 |      880
657.39/657.52	c  657s |      17 |   435885 |   286332 |    21425     25 |      914 |      880
659.39/659.53	c  659s |      17 |   436462 |   286832 |    21425     26 |      914 |      880
661.39/661.59	c  661s |      17 |   437261 |   287532 |    21425     26 |      914 |      880
663.49/663.62	c  663s |      17 |   438081 |   288232 |    21425     26 |      914 |      880
665.50/665.68	c  665s |      17 |   438869 |   288932 |    21425     26 |      914 |      880
667.60/667.75	c  667s |      17 |   439673 |   289632 |    21425     26 |      914 |      880
669.69/669.83	c  669s |      17 |   440514 |   290332 |    21425     26 |      914 |      880
672.00/672.17	c  671s |      17 |   441321 |   291032 |    21425     26 |      914 |      880
674.19/674.31	c  674s |      17 |   442158 |   291732 |    21425     26 |      914 |      880
676.39/676.52	c  676s |      17 |   443164 |   292532 |    21425     26 |      914 |      880
678.69/678.83	c  678s |      17 |   443965 |   293232 |    21425     26 |      914 |      880
680.89/681.01	c  680s |      17 |   444614 |   293832 |    21425     26 |      914 |      880
683.09/683.20	c  682s |      17 |   445451 |   294532 |    23568     26 |      914 |      880
685.29/685.48	c  685s |      17 |   446262 |   295232 |    23568     26 |      914 |      880
687.68/687.84	c  687s |      17 |   447091 |   295932 |    23568     26 |      914 |      880
688.78/688.93	c  688s |      18 |   447478 |   296252 |    23568     26 |      914 |      880
690.88/691.02	c  690s |      18 |   452673 |   297952 |    23568     26 |      914 |      880
692.99/693.12	c  692s |      18 |   454748 |   299652 |    23568     26 |      914 |      880
694.98/695.15	c  694s |      18 |   457479 |   300852 |    23568     27 |      914 |      880
697.08/697.20	c  696s |      18 |   460658 |   302752 |    23568     27 |      914 |      880
699.08/699.27	c  699s |      18 |   462400 |   304052 |    23568     27 |      914 |      880
701.18/701.31	c  701s |      18 |   463963 |   305252 |    23568     27 |      914 |      880
703.18/703.37	c  703s |      18 |   465633 |   306552 |    23568     27 |      914 |      880
705.38/705.51	c  705s |      18 |   467201 |   307752 |    23568     27 |      914 |      880
707.48/707.61	c  707s |      18 |   468796 |   308952 |    23568     27 |      914 |      880
709.58/709.79	c  709s |      18 |   470308 |   310152 |    23568     27 |      914 |      880
711.78/711.93	c  711s |      18 |   471529 |   311152 |    23568     27 |      914 |      880
713.98/714.10	c  713s |      18 |   472700 |   312152 |    23568     27 |      914 |      880
715.98/716.13	c  715s |      18 |   473657 |   312952 |    23568     27 |      914 |      880
717.98/718.20	c  717s |      18 |   474587 |   313752 |    23568     27 |      914 |      880
720.08/720.25	c  719s |      18 |   475455 |   314452 |    23568     28 |      914 |      880
722.27/722.43	c  722s |      18 |   476413 |   315252 |    23568     28 |      914 |      880
724.47/724.69	c  724s |      18 |   477370 |   316052 |    23568     28 |      914 |      880
726.57/726.77	c  726s |      18 |   478382 |   316852 |    23568     28 |      914 |      880
728.77/728.99	c  728s |      18 |   479548 |   317752 |    23568     28 |      914 |      880
731.07/731.20	c  730s |      18 |   480533 |   318552 |    23568     28 |      914 |      880
733.37/733.58	c  733s |      18 |   481484 |   319352 |    23568     28 |      914 |      880
735.67/735.84	c  735s |      18 |   482336 |   320052 |    23568     28 |      914 |      880
737.77/737.97	c  737s |      18 |   483120 |   320752 |    23568     28 |      914 |      880
739.97/740.20	c  739s |      18 |   483938 |   321452 |    23568     28 |      914 |      880
742.07/742.24	c  741s |      18 |   484633 |   322052 |    23568     28 |      914 |      880
744.47/744.62	c  744s |      18 |   485474 |   322752 |    23568     28 |      914 |      880
746.47/746.68	c  746s |      18 |   486263 |   323352 |    23568     28 |      914 |      880
748.87/749.01	c  748s |      18 |   487115 |   324052 |    23568     28 |      914 |      880
751.08/751.21	c  750s |      18 |   487808 |   324652 |    23568     28 |      914 |      880
753.18/753.40	c  753s |      18 |   488490 |   325252 |    23568     28 |      914 |      880
755.48/755.68	c  755s |      18 |   489175 |   325852 |    23568     28 |      914 |      880
757.78/757.93	c  757s |      18 |   490120 |   326652 |    23568     28 |      914 |      880
759.98/760.12	c  759s |      18 |   490964 |   327352 |    23568     28 |      914 |      880
762.07/762.23	c  761s |      18 |   491564 |   327852 |    23568     29 |      914 |      880
764.27/764.45	c  764s |      18 |   492647 |   328752 |    23568     29 |      914 |      880
766.37/766.59	c  766s |      18 |   493587 |   329552 |    23568     29 |      914 |      880
768.57/768.71	c  768s |      18 |   494575 |   330352 |    23568     29 |      914 |      880
770.57/770.78	c  770s |      18 |   495400 |   331052 |    23568     29 |      914 |      880
772.87/773.05	c  772s |      18 |   496172 |   331752 |    23568     29 |      914 |      880
775.07/775.25	c  774s |      18 |   496975 |   332452 |    23568     29 |      914 |      880
777.17/777.30	c  777s |      18 |   497664 |   333052 |    23568     29 |      914 |      880
779.27/779.47	c  779s |      18 |   498486 |   333752 |    23568     29 |      914 |      880
781.37/781.50	c  781s |      18 |   499315 |   334452 |    23568     29 |      914 |      880
783.47/783.65	c  783s |      18 |   500019 |   335052 |    23568     29 |      914 |      880
785.67/785.84	c  785s |      18 |   500686 |   335652 |    23568     29 |      914 |      880
787.67/787.85	c  787s |      18 |   501370 |   336252 |    23568     29 |      914 |      880
790.07/790.22	c  789s |      18 |   502042 |   336852 |    23568     29 |      914 |      880
792.26/792.46	c  792s |      18 |   502868 |   337552 |    23568     29 |      914 |      880
794.56/794.79	c  794s |      18 |   503572 |   338152 |    23568     29 |      914 |      880
796.66/796.89	c  796s |      18 |   504340 |   338752 |    23568     29 |      914 |      880
799.06/799.24	c  798s |      18 |   505054 |   339352 |    23568     29 |      914 |      880
801.26/801.42	c  801s |      18 |   505740 |   339952 |    23568     29 |      914 |      880
803.56/803.78	c  803s |      18 |   506435 |   340552 |    23568     29 |      914 |      880
805.86/806.09	c  805s |      18 |   507132 |   341152 |    23568     29 |      914 |      880
808.26/808.40	c  808s |      18 |   507693 |   341652 |    23568     30 |      914 |      880
810.36/810.52	c  810s |      18 |   508415 |   342252 |    23568     30 |      914 |      880
812.36/812.56	c  812s |      18 |   509394 |   343052 |    23568     30 |      914 |      880
814.46/814.60	c  814s |      18 |   510892 |   344052 |    23568     30 |      914 |      880
816.46/816.66	c  816s |      18 |   513544 |   345352 |    23568     30 |      914 |      880
818.56/818.72	c  818s |      18 |   514984 |   346352 |    23568     30 |      914 |      880
820.66/820.86	c  820s |      18 |   516159 |   347252 |    23568     30 |      914 |      880
822.96/823.10	c  822s |      18 |   517137 |   348052 |    23568     30 |      914 |      880
825.16/825.32	c  825s |      18 |   518359 |   348952 |    23568     30 |      914 |      880
827.16/827.35	c  827s |      18 |   519424 |   349852 |    23568     30 |      914 |      880
829.45/829.67	c  829s |      18 |   520346 |   350652 |    23568     30 |      914 |      880
831.56/831.74	c  831s |      18 |   521152 |   351352 |    23568     30 |      914 |      880
833.66/833.88	c  833s |      18 |   522839 |   352352 |    23568     30 |      914 |      880
835.96/836.16	c  835s |      18 |   523862 |   353152 |    23568     30 |      914 |      880
837.95/838.16	c  837s |      18 |   524655 |   353852 |    23568     30 |      914 |      880
840.05/840.29	c  840s |      18 |   525399 |   354452 |    23568     31 |      914 |      880
842.15/842.32	c  842s |      18 |   526421 |   355352 |    23568     31 |      914 |      880
844.35/844.56	c  844s |      18 |   527473 |   356252 |    23568     31 |      914 |      880
846.45/846.66	c  846s |      18 |   528371 |   357052 |    23568     31 |      914 |      880
848.55/848.78	c  848s |      18 |   529298 |   357852 |    23568     31 |      914 |      880
850.74/850.99	c  850s |      18 |   530086 |   358552 |    23568     31 |      914 |      880
853.04/853.27	c  853s |      18 |   530862 |   359252 |    23568     31 |      914 |      880
855.24/855.43	c  855s |      18 |   531605 |   359952 |    23568     31 |      914 |      880
857.44/857.64	c  857s |      18 |   532229 |   360552 |    23568     31 |      914 |      880
859.64/859.86	c  859s |      18 |   532874 |   361152 |    23568     31 |      914 |      880
861.84/862.04	c  861s |      18 |   533521 |   361752 |    23568     31 |      914 |      880
864.24/864.47	c  864s |      18 |   534177 |   362352 |    23568     31 |      914 |      880
866.24/866.48	c  866s |      18 |   534718 |   362852 |    23568     31 |      914 |      880
868.44/868.63	c  868s |      18 |   535506 |   363552 |    23568     31 |      914 |      880
870.74/870.97	c  870s |      18 |   536308 |   364252 |    23568     31 |      914 |      880
873.04/873.22	c  872s |      18 |   536986 |   364852 |    23568     31 |      914 |      880
875.24/875.41	c  875s |      18 |   538060 |   365652 |    23568     31 |      914 |      880
877.24/877.45	c  877s |      18 |   538908 |   366352 |    23568     31 |      914 |      880
879.34/879.54	c  879s |      18 |   539644 |   366952 |    23568     31 |      914 |      880
881.54/881.77	c  881s |      18 |   540481 |   367652 |    23568     31 |      914 |      880
883.63/883.86	c  883s |      18 |   541082 |   368152 |    23568     32 |      914 |      880
885.73/885.90	c  885s |      18 |   542031 |   368952 |    23568     32 |      914 |      880
887.93/888.10	c  887s |      18 |   543061 |   369852 |    23568     32 |      914 |      880
890.03/890.21	c  889s |      18 |   543856 |   370552 |    23568     32 |      914 |      880
892.13/892.35	c  892s |      18 |   544659 |   371252 |    23568     32 |      914 |      880
894.14/894.36	c  894s |      18 |   545476 |   371952 |    23568     32 |      914 |      880
896.34/896.52	c  896s |      18 |   546325 |   372652 |    23568     32 |      914 |      880
898.64/898.81	c  898s |      18 |   547172 |   373352 |    23568     32 |      914 |      880
900.74/900.92	c  900s |      18 |   547858 |   373952 |    23568     32 |      914 |      880
902.94/903.16	c  902s |      18 |   548525 |   374552 |    23568     32 |      914 |      880
905.24/905.47	c  905s |      18 |   549215 |   375152 |    23568     32 |      914 |      880
907.23/907.48	c  907s |      18 |   549906 |   375752 |    23568     32 |      914 |      880
909.53/909.77	c  909s |      18 |   550585 |   376352 |    23568     32 |      914 |      880
911.83/912.03	c  911s |      18 |   552032 |   377252 |    23568     32 |      914 |      880
913.94/914.16	c  913s |      18 |   553048 |   378052 |    23568     32 |      914 |      880
916.14/916.40	c  916s |      18 |   553917 |   378752 |    23568     32 |      914 |      880
918.24/918.48	c  918s |      18 |   554797 |   379452 |    23568     32 |      914 |      880
920.43/920.68	c  920s |      18 |   555641 |   380152 |    23568     32 |      914 |      880
922.74/922.94	c  922s |      18 |   556360 |   380752 |    23568     32 |      914 |      880
925.53/925.71	c  925s |      18 |   557047 |   381352 |    23568     33 |      914 |      880
927.73/927.91	c  927s |      18 |   557843 |   382052 |    23568     33 |      914 |      880
929.73/929.98	c  929s |      18 |   558638 |   382752 |    23568     33 |      914 |      880
931.93/932.11	c  931s |      18 |   559430 |   383452 |    23568     33 |      914 |      880
934.03/934.22	c  933s |      18 |   560384 |   384252 |    23568     33 |      914 |      880
936.04/936.27	c  936s |      18 |   561214 |   384952 |    23568     33 |      914 |      880
938.24/938.45	c  938s |      18 |   562016 |   385652 |    23568     33 |      914 |      880
940.52/940.71	c  940s |      18 |   562788 |   386352 |    23568     33 |      914 |      880
942.82/943.05	c  942s |      18 |   563497 |   386952 |    23568     33 |      914 |      880
945.12/945.31	c  945s |      18 |   564199 |   387552 |    23568     33 |      914 |      880
947.22/947.48	c  947s |      18 |   564873 |   388152 |    23568     33 |      914 |      880
949.42/949.64	c  949s |      18 |   565563 |   388752 |    23568     33 |      914 |      880
951.82/952.03	c  951s |      18 |   566216 |   389352 |    23568     33 |      914 |      880
954.12/954.38	c  954s |      18 |   566874 |   389952 |    23568     33 |      914 |      880
956.22/956.43	c  956s |      18 |   567581 |   390552 |    23568     33 |      914 |      880
958.22/958.43	c  958s |      18 |   568358 |   391152 |    23568     33 |      914 |      880
960.41/960.65	c  960s |      18 |   569073 |   391752 |    23568     33 |      914 |      880
962.71/962.90	c  962s |      18 |   569772 |   392352 |    23568     33 |      914 |      880
964.81/965.06	c  964s |      18 |   570380 |   392852 |    23568     33 |      914 |      880
967.01/967.21	c  966s |      18 |   570963 |   393352 |    23568     33 |      914 |      880
969.02/969.27	c  969s |      18 |   571442 |   393752 |    23568     33 |      914 |      880
971.11/971.31	c  971s |      18 |   572017 |   394252 |    23568     33 |      914 |      880
973.31/973.56	c  973s |      18 |   572584 |   394752 |    23568     33 |      914 |      880
975.40/975.62	c  975s |      18 |   573035 |   395152 |    23568     34 |      914 |      880
977.60/977.81	c  977s |      18 |   573721 |   395752 |    23568     34 |      914 |      880
979.60/979.85	c  979s |      18 |   574329 |   396252 |    23568     34 |      914 |      880
982.00/982.22	c  981s |      18 |   575161 |   396952 |    23568     34 |      914 |      880
984.31/984.53	c  984s |      18 |   576060 |   397752 |    23568     34 |      914 |      880
986.51/986.73	c  986s |      18 |   576796 |   398352 |    23568     34 |      914 |      880
988.50/988.76	c  988s |      18 |   577471 |   398952 |    23568     34 |      914 |      880
990.79/991.00	c  990s |      18 |   578157 |   399552 |    23568     34 |      914 |      880
992.99/993.29	c  993s |      18 |   578834 |   400152 |    23568     34 |      914 |      880
995.19/995.42	c  995s |      18 |   579381 |   400652 |    23568     34 |      914 |      880
997.19/997.50	c  997s |      18 |   579944 |   401152 |    23568     34 |      914 |      880
999.29/999.57	c  999s |      18 |   580526 |   401652 |    23568     34 |      914 |      880
1001.39/1001.61	c 1001s |      18 |   581223 |   402252 |    23568     34 |      914 |      880
1003.59/1003.83	c 1003s |      18 |   581915 |   402852 |    23568     34 |      914 |      880
1005.69/1005.98	c 1005s |      18 |   582471 |   403352 |    23568     34 |      914 |      880
1008.09/1008.31	c 1008s |      18 |   583181 |   403952 |    23568     34 |      914 |      880
1010.19/1010.44	c 1010s |      18 |   583902 |   404552 |    23568     34 |      914 |      880
1012.38/1012.69	c 1012s |      18 |   584589 |   405152 |    23568     34 |      914 |      880
1014.58/1014.87	c 1014s |      18 |   585222 |   405652 |    23568     34 |      914 |      880
1016.59/1016.89	c 1016s |      18 |   585842 |   406152 |    23568     34 |      914 |      880
1018.89/1019.11	c 1018s |      18 |   586570 |   406752 |    23568     34 |      914 |      880
1021.09/1021.31	c 1021s |      18 |   587301 |   407352 |    23568     34 |      914 |      880
1023.19/1023.41	c 1023s |      18 |   587879 |   407852 |    23568     34 |      914 |      880
1025.59/1025.83	c 1025s |      18 |   588310 |   408252 |    23568     35 |      914 |      880
1027.89/1028.11	c 1027s |      18 |   589009 |   408852 |    23568     35 |      914 |      880
1030.09/1030.32	c 1030s |      18 |   589794 |   409552 |    23568     35 |      914 |      880
1032.39/1032.61	c 1032s |      18 |   590586 |   410252 |    23568     35 |      914 |      880
1034.49/1034.72	c 1034s |      18 |   591374 |   410952 |    23568     35 |      914 |      880
1036.49/1036.72	c 1036s |      18 |   591930 |   411452 |    23568     35 |      914 |      880
1038.59/1038.87	c 1038s |      18 |   592466 |   411952 |    23568     35 |      914 |      880
1040.68/1040.94	c 1040s |      18 |   593570 |   412752 |    23568     35 |      914 |      880
1042.88/1043.19	c 1042s |      18 |   595085 |   413752 |    23568     35 |      914 |      880
1045.08/1045.33	c 1045s |      18 |   596164 |   414552 |    23568     35 |      914 |      880
1047.28/1047.59	c 1047s |      18 |   597046 |   415252 |    23568     35 |      914 |      880
1049.48/1049.71	c 1049s |      18 |   597891 |   415952 |    23568     35 |      914 |      880
1051.68/1051.96	c 1051s |      18 |   598980 |   416752 |    23568     35 |      914 |      880
1053.77/1054.07	c 1053s |      18 |   599904 |   417452 |    23568     35 |      914 |      880
1055.97/1056.25	c 1055s |      18 |   600786 |   418152 |    23568     35 |      914 |      880
1058.17/1058.44	c 1058s |      18 |   601625 |   418852 |    23568     35 |      914 |      880
1060.18/1060.50	c 1060s |      18 |   602307 |   419452 |    23568     35 |      914 |      880
1062.27/1062.59	c 1062s |      18 |   602972 |   420052 |    23568     35 |      914 |      880
1064.47/1064.74	c 1064s |      18 |   603653 |   420652 |    23568     35 |      914 |      880
1066.57/1066.84	c 1066s |      18 |   604202 |   421152 |    23568     35 |      914 |      880
1068.67/1068.97	c 1068s |      18 |   605096 |   421752 |    23568     36 |      914 |      880
1070.87/1071.17	c 1070s |      18 |   606046 |   422552 |    23568     36 |      914 |      880
1073.07/1073.33	c 1073s |      18 |   606853 |   423252 |    23568     36 |      914 |      880
1075.17/1075.44	c 1075s |      18 |   607680 |   423952 |    23568     36 |      914 |      880
1077.27/1077.55	c 1077s |      18 |   608463 |   424652 |    23568     36 |      914 |      880
1079.26/1079.57	c 1079s |      18 |   609151 |   425252 |    23568     36 |      914 |      880
1081.36/1081.69	c 1081s |      18 |   609883 |   425852 |    23568     36 |      914 |      880
1083.56/1083.80	c 1083s |      18 |   610729 |   426552 |    23568     36 |      914 |      880
1085.86/1086.13	c 1085s |      18 |   611506 |   427252 |    23568     36 |      914 |      880
1088.06/1088.32	c 1088s |      18 |   612195 |   427852 |    23568     36 |      914 |      880
1090.26/1090.56	c 1090s |      18 |   612885 |   428452 |    23568     36 |      914 |      880
1092.36/1092.69	c 1092s |      18 |   613574 |   429052 |    23568     36 |      914 |      880
1094.75/1095.03	c 1094s |      18 |   614257 |   429652 |    23568     36 |      914 |      880
1096.75/1097.04	c 1096s |      18 |   614816 |   430152 |    23568     36 |      914 |      880
1098.85/1099.14	c 1098s |      18 |   615353 |   430652 |    23568     36 |      914 |      880
1100.96/1101.28	c 1101s |      18 |   615914 |   431152 |    23568     36 |      914 |      880
1103.16/1103.45	c 1103s |      18 |   616459 |   431652 |    23568     36 |      914 |      880
1105.26/1105.58	c 1105s |      18 |   617015 |   432152 |    23568     36 |      914 |      880
1107.55/1107.83	c 1107s |      18 |   617576 |   432652 |    23568     36 |      914 |      880
1109.65/1109.96	c 1109s |      18 |   618135 |   433152 |    23568     36 |      914 |      880
1111.85/1112.20	c 1111s |      18 |   618695 |   433652 |    23568     36 |      914 |      880
1114.34/1114.63	c 1114s |      18 |   619379 |   434252 |    23568     36 |      914 |      880
1116.64/1116.94	c 1116s |      18 |   619918 |   434752 |    23568     36 |      914 |      880
1119.04/1119.32	c 1119s |      18 |   620482 |   435252 |    23568     37 |      914 |      880
1121.14/1121.40	c 1121s |      18 |   621147 |   435852 |    23568     37 |      914 |      880
1123.14/1123.47	c 1123s |      18 |   621763 |   436352 |    23568     37 |      914 |      880
1125.24/1125.57	c 1125s |      18 |   622597 |   437052 |    23568     37 |      914 |      880
1127.34/1127.68	c 1127s |      18 |   623381 |   437752 |    23568     37 |      914 |      880
1129.65/1129.91	c 1129s |      18 |   624198 |   438452 |    23568     37 |      914 |      880
1131.65/1131.98	c 1131s |      18 |   625028 |   439152 |    23568     37 |      914 |      880
1133.95/1134.25	c 1133s |      18 |   625852 |   439852 |    23568     37 |      914 |      880
1136.05/1136.37	c 1136s |      18 |   626529 |   440452 |    23568     37 |      914 |      880
1138.25/1138.53	c 1138s |      18 |   627199 |   441052 |    23568     37 |      914 |      880
1140.24/1140.58	c 1140s |      18 |   627886 |   441652 |    25925     37 |      914 |      880
1142.54/1142.84	c 1142s |      18 |   628557 |   442252 |    25925     37 |      914 |      880
1144.84/1145.13	c 1144s |      18 |   629248 |   442852 |    25925     37 |      914 |      880
1146.93/1147.20	c 1146s |      18 |   629829 |   443352 |    25925     37 |      914 |      880
1149.34/1149.61	c 1149s |      18 |   630372 |   443852 |    25925     37 |      914 |      880
1151.33/1151.67	c 1151s |      18 |   630916 |   444352 |    25925     37 |      914 |      880
1151.83/1152.11	c 1151s |      19 |   631074 |   444482 |    25925     37 |      914 |      880
1153.83/1154.13	c 1153s |      19 |   636127 |   445782 |    25925     37 |      914 |      880
1155.83/1156.19	c 1155s |      19 |   638846 |   447782 |    25925     37 |      914 |      880
1158.03/1158.32	c 1158s |      19 |   640958 |   449482 |    25925     37 |      914 |      880
1160.03/1160.34	c 1160s |      19 |   643462 |   450782 |    25925     38 |      914 |      880
1162.12/1162.46	c 1162s |      19 |   650707 |   453282 |    25925     38 |      914 |      880
1164.22/1164.52	c 1164s |      19 |   654553 |   454982 |    25925     38 |      914 |      880
1166.32/1166.62	c 1166s |      19 |   656998 |   456382 |    25925     38 |      914 |      880
1168.42/1168.77	c 1168s |      19 |   658319 |   457382 |    25925     38 |      914 |      880
1170.41/1170.79	c 1170s |      19 |   659595 |   458282 |    25925     38 |      914 |      880
1172.51/1172.87	c 1172s |      19 |   661059 |   459282 |    25925     38 |      914 |      880
1174.62/1174.96	c 1174s |      19 |   662092 |   460082 |    25925     38 |      914 |      880
1176.82/1177.10	c 1176s |      19 |   663233 |   460982 |    25925     38 |      914 |      880
1178.92/1179.29	c 1179s |      19 |   664037 |   461682 |    25925     38 |      914 |      880
1181.11/1181.47	c 1181s |      19 |   664849 |   462382 |    25925     38 |      914 |      880
1183.21/1183.55	c 1183s |      19 |   665897 |   463182 |    25925     38 |      914 |      880
1185.51/1185.81	c 1185s |      19 |   667092 |   464082 |    25925     38 |      914 |      880
1187.71/1188.05	c 1187s |      19 |   667785 |   464682 |    25925     38 |      914 |      880
1189.80/1190.13	c 1189s |      19 |   668476 |   465282 |    25925     39 |      914 |      880
1191.80/1192.19	c 1191s |      19 |   669279 |   465982 |    25925     39 |      914 |      880
1194.20/1194.51	c 1194s |      19 |   670109 |   466682 |    25925     39 |      914 |      880
1196.40/1196.78	c 1196s |      19 |   670666 |   467182 |    25925     39 |      914 |      880
1198.50/1198.85	c 1198s |      19 |   671620 |   467982 |    25925     39 |      914 |      880
1200.59/1200.95	c 1200s |      19 |   672392 |   468682 |    25925     39 |      914 |      880
1202.69/1203.02	c 1202s |      19 |   673175 |   469382 |    25925     39 |      914 |      880
1204.90/1205.24	c 1204s |      19 |   673830 |   469982 |    25925     39 |      914 |      880
1207.00/1207.35	c 1207s |      19 |   674515 |   470582 |    25925     39 |      914 |      880
1209.10/1209.40	c 1209s |      19 |   675204 |   471182 |    25925     39 |      914 |      880
1211.29/1211.66	c 1211s |      19 |   676096 |   471882 |    25925     39 |      914 |      880
1213.59/1213.90	c 1213s |      19 |   676899 |   472582 |    25925     39 |      914 |      880
1215.69/1216.03	c 1215s |      19 |   677557 |   473182 |    25925     39 |      914 |      880
1217.89/1218.22	c 1217s |      19 |   678214 |   473782 |    25925     39 |      914 |      880
1220.09/1220.47	c 1220s |      19 |   678861 |   474382 |    25925     39 |      914 |      880
1222.28/1222.63	c 1222s |      19 |   679386 |   474882 |    25925     39 |      914 |      880
1224.38/1224.73	c 1224s |      19 |   679967 |   475382 |    25925     39 |      914 |      880
1226.58/1226.93	c 1226s |      19 |   680538 |   475882 |    25925     39 |      914 |      880
1228.78/1229.17	c 1228s |      19 |   681124 |   476382 |    25925     39 |      914 |      880
1231.08/1231.41	c 1231s |      19 |   681796 |   476982 |    25925     39 |      914 |      880
1233.08/1233.45	c 1233s |      19 |   682364 |   477482 |    25925     39 |      914 |      880
1235.28/1235.62	c 1235s |      19 |   682922 |   477982 |    25925     39 |      914 |      880
1237.28/1237.69	c 1237s |      19 |   683359 |   478382 |    25925     39 |      914 |      880
1239.67/1240.03	c 1239s |      19 |   683785 |   478782 |    25925     39 |      914 |      880
1241.77/1242.12	c 1241s |      19 |   684213 |   479182 |    25925     39 |      914 |      880
1244.07/1244.43	c 1244s |      19 |   684683 |   479582 |    25925     40 |      914 |      880
1246.17/1246.56	c 1246s |      19 |   685482 |   480282 |    25925     40 |      914 |      880
1248.47/1248.87	c 1248s |      19 |   686278 |   480982 |    25925     40 |      914 |      880
1250.56/1250.94	c 1250s |      19 |   686951 |   481582 |    25925     40 |      914 |      880
1252.67/1253.08	c 1252s |      19 |   687602 |   482182 |    25925     40 |      914 |      880
1254.87/1255.24	c 1254s |      19 |   688300 |   482782 |    25925     40 |      914 |      880
1256.97/1257.36	c 1257s |      19 |   688845 |   483282 |    25925     40 |      914 |      880
1259.17/1259.54	c 1259s |      19 |   689898 |   484082 |    25925     40 |      914 |      880
1261.16/1261.58	c 1261s |      19 |   690831 |   484782 |    25925     40 |      914 |      880
1263.26/1263.68	c 1263s |      19 |   691740 |   485482 |    25925     40 |      914 |      880
1265.45/1265.82	c 1265s |      19 |   692652 |   486182 |    25925     40 |      914 |      880
1267.45/1267.87	c 1267s |      19 |   693426 |   486782 |    25925     40 |      914 |      880
1269.65/1270.01	c 1269s |      19 |   694085 |   487382 |    25925     40 |      914 |      880
1271.85/1272.24	c 1271s |      19 |   694777 |   487982 |    25925     40 |      914 |      880
1273.96/1274.37	c 1274s |      19 |   695636 |   488682 |    25925     40 |      914 |      880
1276.16/1276.51	c 1276s |      19 |   696466 |   489382 |    25925     40 |      914 |      880
1278.16/1278.53	c 1278s |      19 |   697190 |   489982 |    25925     40 |      914 |      880
1280.36/1280.73	c 1280s |      19 |   697884 |   490582 |    25925     40 |      914 |      880
1282.65/1283.06	c 1282s |      19 |   698520 |   491182 |    25925     40 |      914 |      880
1284.75/1285.16	c 1284s |      19 |   699076 |   491682 |    25925     40 |      914 |      880
1286.95/1287.30	c 1287s |      19 |   699645 |   492182 |    25925     40 |      914 |      880
1289.25/1289.67	c 1289s |      19 |   700184 |   492682 |    25925     40 |      914 |      880
1291.54/1291.91	c 1291s |      19 |   700724 |   493182 |    25925     40 |      914 |      880
1293.54/1293.94	c 1293s |      19 |   701340 |   493682 |    25925     40 |      914 |      880
1295.64/1296.05	c 1295s |      19 |   701805 |   494082 |    25925     41 |      914 |      880
1297.84/1298.24	c 1297s |      19 |   702586 |   494782 |    25925     41 |      914 |      880
1299.95/1300.34	c 1300s |      19 |   703264 |   495382 |    25925     41 |      914 |      880
1302.04/1302.40	c 1302s |      19 |   704324 |   496182 |    25925     41 |      914 |      880
1304.24/1304.68	c 1304s |      19 |   705313 |   496982 |    25925     41 |      914 |      880
1306.54/1306.94	c 1306s |      19 |   706122 |   497682 |    25925     41 |      914 |      880
1308.74/1309.12	c 1308s |      19 |   706904 |   498382 |    25925     41 |      914 |      880
1310.73/1311.13	c 1310s |      19 |   707687 |   499082 |    25925     41 |      914 |      880
1312.93/1313.35	c 1313s |      19 |   708472 |   499782 |    25925     41 |      914 |      880
1315.03/1315.42	c 1315s |      19 |   709121 |   500382 |    25925     41 |      914 |      880
1317.23/1317.65	c 1317s |      19 |   709921 |   501082 |    25925     41 |      914 |      880
1319.43/1319.82	c 1319s |      19 |   710640 |   501682 |    25925     41 |      914 |      880
1321.42/1321.87	c 1321s |      19 |   711178 |   502182 |    25925     41 |      914 |      880
1323.62/1324.07	c 1323s |      19 |   711876 |   502782 |    25925     41 |      914 |      880
1325.72/1326.19	c 1325s |      19 |   712585 |   503382 |    25925     41 |      914 |      880
1327.92/1328.39	c 1328s |      19 |   713230 |   503982 |    25925     41 |      914 |      880
1330.02/1330.48	c 1330s |      19 |   713865 |   504582 |    25925     41 |      914 |      880
1332.22/1332.67	c 1332s |      19 |   714407 |   505082 |    25925     41 |      914 |      880
1334.52/1334.98	c 1334s |      19 |   715081 |   505682 |    25925     41 |      914 |      880
1336.72/1337.10	c 1336s |      19 |   715651 |   506182 |    25925     41 |      914 |      880
1338.82/1339.26	c 1339s |      19 |   716206 |   506682 |    25925     41 |      914 |      880
1340.91/1341.30	c 1341s |      19 |   716767 |   507182 |    25925     41 |      914 |      880
1343.01/1343.42	c 1343s |      19 |   717325 |   507682 |    25925     41 |      914 |      880
1345.11/1345.58	c 1345s |      19 |   717876 |   508182 |    25925     41 |      914 |      880
1347.21/1347.68	c 1347s |      19 |   718209 |   508482 |    25925     42 |      914 |      880
1349.31/1349.74	c 1349s |      19 |   718858 |   509082 |    25925     42 |      914 |      880
1351.41/1351.89	c 1351s |      19 |   719534 |   509682 |    25925     42 |      914 |      880
1353.51/1353.91	c 1353s |      19 |   720171 |   510282 |    25925     42 |      914 |      880
1355.71/1356.16	c 1355s |      19 |   720826 |   510882 |    25925     42 |      914 |      880
1358.01/1358.47	c 1358s |      19 |   721500 |   511482 |    25925     42 |      914 |      880
1360.21/1360.61	c 1360s |      19 |   722310 |   512182 |    25925     42 |      914 |      880
1362.40/1362.90	c 1362s |      19 |   722978 |   512782 |    25925     42 |      914 |      880
1364.60/1365.07	c 1364s |      19 |   723642 |   513382 |    25925     42 |      914 |      880
1366.91/1367.35	c 1367s |      19 |   724524 |   514082 |    25925     42 |      914 |      880
1369.11/1369.58	c 1369s |      19 |   725326 |   514782 |    25925     42 |      914 |      880
1371.31/1371.78	c 1371s |      19 |   726101 |   515482 |    25925     42 |      914 |      880
1373.61/1374.01	c 1373s |      19 |   726927 |   516182 |    25925     42 |      914 |      880
1375.71/1376.17	c 1375s |      19 |   727589 |   516782 |    25925     42 |      914 |      880
1378.01/1378.48	c 1378s |      19 |   728252 |   517382 |    25925     42 |      914 |      880
1380.40/1380.86	c 1380s |      19 |   728912 |   517982 |    25925     42 |      914 |      880
1382.80/1383.23	c 1382s |      19 |   729584 |   518582 |    25925     42 |      914 |      880
1385.20/1385.60	c 1385s |      19 |   730130 |   519082 |    25925     42 |      914 |      880
1387.50/1387.92	c 1387s |      19 |   730674 |   519582 |    25925     42 |      914 |      880
1389.79/1390.29	c 1390s |      19 |   731233 |   520082 |    25925     42 |      914 |      880
1392.20/1392.69	c 1392s |      19 |   731764 |   520582 |    25925     42 |      914 |      880
1394.29/1394.74	c 1394s |      19 |   732499 |   521182 |    25925     42 |      914 |      880
1396.39/1396.87	c 1396s |      19 |   733200 |   521782 |    25925     42 |      914 |      880
1398.59/1399.08	c 1398s |      19 |   733885 |   522382 |    25925     42 |      914 |      880
1401.49/1401.98	c 1401s |      19 |   734565 |   522982 |    25925     43 |      914 |      880
1403.69/1404.15	c 1403s |      19 |   735392 |   523682 |    25925     43 |      914 |      880
1405.89/1406.30	c 1406s |      19 |   736221 |   524382 |    25925     43 |      914 |      880
1408.09/1408.51	c 1408s |      19 |   737041 |   525082 |    25925     43 |      914 |      880
1410.19/1410.61	c 1410s |      19 |   737720 |   525682 |    25925     43 |      914 |      880
1412.29/1412.75	c 1412s |      19 |   738433 |   526282 |    25925     43 |      914 |      880
1414.39/1414.82	c 1414s |      19 |   739138 |   526882 |    25925     43 |      914 |      880
1416.79/1417.24	c 1416s |      19 |   739794 |   527482 |    25925     43 |      914 |      880
1419.19/1419.61	c 1419s |      19 |   740449 |   528082 |    25925     43 |      914 |      880
1421.29/1421.71	c 1421s |      19 |   740972 |   528582 |    25925     43 |      914 |      880
1423.39/1423.89	c 1423s |      19 |   742009 |   529282 |    25925     43 |      914 |      880
1425.59/1426.03	c 1425s |      19 |   742724 |   529882 |    25925     43 |      914 |      880
1427.89/1428.31	c 1428s |      19 |   743445 |   530482 |    25925     43 |      914 |      880
1429.98/1430.41	c 1430s |      19 |   744118 |   531082 |    25925     43 |      914 |      880
1432.18/1432.61	c 1432s |      19 |   744688 |   531582 |    25925     43 |      914 |      880
1434.38/1434.86	c 1434s |      19 |   745342 |   532182 |    25925     43 |      914 |      880
1436.58/1437.06	c 1436s |      19 |   745957 |   532682 |    25925     43 |      914 |      880
1438.78/1439.24	c 1438s |      19 |   746522 |   533182 |    25925     43 |      914 |      880
1441.08/1441.50	c 1441s |      19 |   747406 |   533882 |    25925     43 |      914 |      880
1443.18/1443.64	c 1443s |      19 |   748267 |   534582 |    25925     43 |      914 |      880
1445.48/1445.93	c 1445s |      19 |   749133 |   535282 |    25925     43 |      914 |      880
1447.58/1448.04	c 1447s |      19 |   749799 |   535882 |    25925     43 |      914 |      880
1449.78/1450.24	c 1449s |      19 |   750477 |   536482 |    25925     43 |      914 |      880
1451.98/1452.42	c 1452s |      19 |   751187 |   537082 |    25925     43 |      914 |      880
1454.18/1454.68	c 1454s |      19 |   751822 |   537582 |    25925     44 |      914 |      880
1456.28/1456.77	c 1456s |      19 |   752571 |   538282 |    25925     44 |      914 |      880
1458.38/1458.87	c 1458s |      19 |   753358 |   538982 |    25925     44 |      914 |      880
1460.49/1460.93	c 1460s |      19 |   754026 |   539582 |    25925     44 |      914 |      880
1462.69/1463.18	c 1462s |      19 |   754858 |   540282 |    25925     44 |      914 |      880
1464.89/1465.39	c 1465s |      19 |   755736 |   540982 |    25925     44 |      914 |      880
1467.18/1467.68	c 1467s |      19 |   756543 |   541682 |    25925     44 |      914 |      880
1469.28/1469.73	c 1469s |      19 |   757248 |   542282 |    25925     44 |      914 |      880
1471.58/1472.01	c 1471s |      19 |   758065 |   542982 |    25925     44 |      914 |      880
1473.68/1474.15	c 1473s |      19 |   758914 |   543682 |    25925     44 |      914 |      880
1475.78/1476.24	c 1475s |      19 |   759563 |   544282 |    25925     44 |      914 |      880
1477.88/1478.35	c 1478s |      19 |   760278 |   544882 |    25925     44 |      914 |      880
1480.18/1480.61	c 1480s |      19 |   761002 |   545482 |    25925     44 |      914 |      880
1482.48/1482.96	c 1482s |      19 |   761717 |   546082 |    25925     44 |      914 |      880
1484.87/1485.39	c 1485s |      19 |   762406 |   546682 |    25925     44 |      914 |      880
1487.07/1487.52	c 1487s |      19 |   762942 |   547182 |    25925     44 |      914 |      880
1489.17/1489.62	c 1489s |      19 |   763492 |   547682 |    25925     44 |      914 |      880
1491.37/1491.85	c 1491s |      19 |   764028 |   548182 |    25925     44 |      914 |      880
1493.38/1493.87	c 1493s |      19 |   764466 |   548582 |    25925     44 |      914 |      880
1495.59/1496.06	c 1495s |      19 |   765034 |   549082 |    25925     44 |      914 |      880
1497.68/1498.11	c 1497s |      19 |   765595 |   549582 |    25925     44 |      914 |      880
1499.88/1500.40	c 1500s |      19 |   766130 |   550082 |    25925     44 |      914 |      880
1502.08/1502.56	c 1502s |      19 |   766668 |   550582 |    25925     44 |      914 |      880
1504.49/1504.93	c 1504s |      19 |   767194 |   551082 |    25925     44 |      914 |      880
1506.48/1506.95	c 1506s |      19 |   767788 |   551582 |    25925     44 |      914 |      880
1508.78/1509.27	c 1509s |      19 |   768285 |   551982 |    25925     45 |      914 |      880
1510.98/1511.45	c 1511s |      19 |   769077 |   552682 |    25925     45 |      914 |      880
1513.08/1513.57	c 1513s |      19 |   769726 |   553282 |    25925     45 |      914 |      880
1515.27/1515.79	c 1515s |      19 |   770518 |   553982 |    25925     45 |      914 |      880
1517.47/1517.94	c 1517s |      19 |   771213 |   554582 |    25925     45 |      914 |      880
1519.88/1520.30	c 1520s |      19 |   771842 |   555182 |    25925     45 |      914 |      880
1521.87/1522.38	c 1522s |      19 |   772504 |   555782 |    25925     45 |      914 |      880
1524.28/1524.71	c 1524s |      19 |   773137 |   556382 |    25925     45 |      914 |      880
1526.57/1527.05	c 1526s |      19 |   773674 |   556882 |    25925     45 |      914 |      880
1528.97/1529.43	c 1529s |      19 |   774317 |   557482 |    25925     45 |      914 |      880
1531.17/1531.66	c 1531s |      19 |   774955 |   558082 |    25925     45 |      914 |      880
1533.47/1533.92	c 1533s |      19 |   775637 |   558682 |    25925     45 |      914 |      880
1535.67/1536.15	c 1535s |      19 |   776282 |   559282 |    25925     45 |      914 |      880
1538.07/1538.52	c 1538s |      19 |   776951 |   559882 |    25925     45 |      914 |      880
1540.37/1540.86	c 1540s |      19 |   777597 |   560482 |    25925     45 |      914 |      880
1542.77/1543.25	c 1542s |      19 |   778231 |   561082 |    25925     45 |      914 |      880
1544.87/1545.38	c 1545s |      19 |   778763 |   561582 |    25925     45 |      914 |      880
1547.17/1547.67	c 1547s |      19 |   779311 |   562082 |    25925     45 |      914 |      880
1549.27/1549.77	c 1549s |      19 |   779856 |   562582 |    25925     45 |      914 |      880
1551.57/1552.00	c 1551s |      19 |   780391 |   563082 |    25925     45 |      914 |      880
1553.77/1554.21	c 1553s |      19 |   780942 |   563582 |    25925     45 |      914 |      880
1556.07/1556.54	c 1556s |      19 |   781478 |   564082 |    25925     45 |      914 |      880
1558.27/1558.80	c 1558s |      19 |   782011 |   564582 |    25925     45 |      914 |      880
1560.66/1561.11	c 1560s |      19 |   782559 |   565082 |    25925     45 |      914 |      880
1562.67/1563.15	c 1562s |      19 |   782997 |   565482 |    25925     45 |      914 |      880
1564.97/1565.47	c 1565s |      19 |   783528 |   565982 |    25925     45 |      914 |      880
1567.07/1567.59	c 1567s |      19 |   783949 |   566382 |    25925     45 |      914 |      880
1569.27/1569.71	c 1569s |      19 |   784290 |   566682 |    25925     46 |      914 |      880
1571.47/1572.00	c 1571s |      19 |   784947 |   567282 |    25925     46 |      914 |      880
1573.86/1574.38	c 1574s |      19 |   785603 |   567882 |    25925     46 |      914 |      880
1576.16/1576.62	c 1576s |      19 |   786290 |   568482 |    25925     46 |      914 |      880
1578.17/1578.63	c 1578s |      19 |   787050 |   569082 |    25925     46 |      914 |      880
1580.16/1580.69	c 1580s |      19 |   787599 |   569582 |    25925     46 |      914 |      880
1582.47/1582.93	c 1582s |      19 |   788277 |   570182 |    25925     46 |      914 |      880
1584.56/1585.00	c 1584s |      19 |   788933 |   570782 |    25925     46 |      914 |      880
1586.66/1587.10	c 1586s |      19 |   789590 |   571382 |    25925     46 |      914 |      880
1588.66/1589.16	c 1588s |      19 |   790302 |   571982 |    25925     46 |      914 |      880
1590.76/1591.26	c 1591s |      19 |   791050 |   572582 |    25925     46 |      914 |      880
1592.76/1593.27	c 1593s |      19 |   791790 |   573182 |    25925     46 |      914 |      880
1595.06/1595.55	c 1595s |      19 |   792630 |   573882 |    25925     46 |      914 |      880
1597.16/1597.60	c 1597s |      19 |   793193 |   574382 |    25925     46 |      914 |      880
1599.16/1599.61	c 1599s |      19 |   793652 |   574782 |    25925     46 |      914 |      880
1601.26/1601.71	c 1601s |      19 |   794236 |   575282 |    25925     46 |      914 |      880
1603.26/1603.77	c 1603s |      19 |   794972 |   575882 |    25925     46 |      914 |      880
1605.46/1605.91	c 1605s |      19 |   795697 |   576482 |    25925     46 |      914 |      880
1607.66/1608.12	c 1607s |      19 |   796360 |   577082 |    25925     46 |      914 |      880
1609.86/1610.34	c 1610s |      19 |   797045 |   577682 |    25925     46 |      914 |      880
1611.96/1612.45	c 1612s |      19 |   797733 |   578282 |    25925     46 |      914 |      880
1614.06/1614.52	c 1614s |      19 |   798475 |   578882 |    25925     46 |      914 |      880
1616.16/1616.64	c 1616s |      19 |   799211 |   579482 |    25925     46 |      914 |      880
1618.26/1618.78	c 1618s |      19 |   799772 |   579982 |    25925     46 |      914 |      880
1620.56/1621.00	c 1620s |      19 |   800360 |   580482 |    25925     46 |      914 |      880
1622.66/1623.20	c 1622s |      19 |   800839 |   580882 |    25925     47 |      914 |      880
1624.76/1625.28	c 1625s |      19 |   801538 |   581482 |    25925     47 |      914 |      880
1627.06/1627.57	c 1627s |      19 |   802501 |   582282 |    25925     47 |      914 |      880
1629.36/1629.81	c 1629s |      19 |   803439 |   583082 |    25925     47 |      914 |      880
1631.46/1631.97	c 1631s |      19 |   804275 |   583782 |    25925     47 |      914 |      880
1633.76/1634.22	c 1633s |      19 |   805180 |   584582 |    25925     47 |      914 |      880
1635.86/1636.39	c 1636s |      19 |   805941 |   585282 |    25925     47 |      914 |      880
1638.06/1638.56	c 1638s |      19 |   806802 |   585982 |    25925     47 |      914 |      880
1640.35/1640.89	c 1640s |      19 |   807619 |   586682 |    25925     47 |      914 |      880
1642.65/1643.13	c 1642s |      19 |   808297 |   587282 |    25925     47 |      914 |      880
1644.85/1645.36	c 1645s |      19 |   808938 |   587882 |    25925     47 |      914 |      880
1646.95/1647.45	c 1647s |      19 |   809617 |   588482 |    25925     47 |      914 |      880
1649.25/1649.71	c 1649s |      19 |   810287 |   589082 |    25925     47 |      914 |      880
1651.25/1651.79	c 1651s |      19 |   810984 |   589682 |    25925     47 |      914 |      880
1653.65/1654.10	c 1653s |      19 |   811632 |   590282 |    25925     47 |      914 |      880
1655.65/1656.16	c 1655s |      19 |   812199 |   590782 |    25925     47 |      914 |      880
1657.85/1658.37	c 1658s |      19 |   812910 |   591382 |    25925     47 |      914 |      880
1659.95/1660.45	c 1660s |      19 |   813439 |   591882 |    25925     47 |      914 |      880
1662.05/1662.54	c 1662s |      19 |   813977 |   592382 |    25925     47 |      914 |      880
1664.25/1664.70	c 1664s |      19 |   814504 |   592882 |    25925     47 |      914 |      880
1666.35/1666.86	c 1666s |      19 |   815074 |   593382 |    25925     47 |      914 |      880
1668.45/1668.91	c 1668s |      19 |   815747 |   593982 |    25925     47 |      914 |      880
1670.56/1671.07	c 1670s |      19 |   816317 |   594482 |    25925     47 |      914 |      880
1672.95/1673.43	c 1673s |      19 |   816967 |   595082 |    25925     47 |      914 |      880
1675.25/1675.71	c 1675s |      19 |   817395 |   595482 |    25925     48 |      914 |      880
1677.25/1677.74	c 1677s |      19 |   818069 |   596082 |    25925     48 |      914 |      880
1679.45/1679.94	c 1679s |      19 |   818727 |   596682 |    25925     48 |      914 |      880
1681.65/1682.11	c 1681s |      19 |   819375 |   597282 |    25925     48 |      914 |      880
1683.85/1684.37	c 1684s |      19 |   820127 |   597982 |    25925     48 |      914 |      880
1686.05/1686.54	c 1686s |      19 |   820753 |   598582 |    25925     48 |      914 |      880
1688.15/1688.61	c 1688s |      19 |   821472 |   599182 |    25925     48 |      914 |      880
1690.25/1690.76	c 1690s |      19 |   822135 |   599782 |    25925     48 |      914 |      880
1692.45/1692.95	c 1692s |      19 |   822915 |   600482 |    25925     48 |      914 |      880
1694.65/1695.15	c 1694s |      19 |   823711 |   601182 |    25925     48 |      914 |      880
1696.74/1697.25	c 1696s |      19 |   824261 |   601682 |    25925     48 |      914 |      880
1699.15/1699.62	c 1699s |      19 |   824924 |   602282 |    25925     48 |      914 |      880
1701.35/1701.82	c 1701s |      19 |   825464 |   602782 |    25925     48 |      914 |      880
1703.45/1703.95	c 1703s |      19 |   825998 |   603282 |    25925     48 |      914 |      880
1705.54/1706.00	c 1705s |      19 |   826552 |   603782 |    25925     48 |      914 |      880
1707.54/1708.08	c 1707s |      19 |   827084 |   604282 |    25925     48 |      914 |      880
1709.65/1710.16	c 1709s |      19 |   827677 |   604782 |    25925     48 |      914 |      880
1711.95/1712.41	c 1712s |      19 |   828242 |   605282 |    25925     48 |      914 |      880
1714.25/1714.72	c 1714s |      19 |   828783 |   605782 |    25925     48 |      914 |      880
1716.45/1716.98	c 1716s |      19 |   829312 |   606282 |    25925     48 |      914 |      880
1718.85/1719.40	c 1719s |      19 |   829835 |   606782 |    25925     48 |      914 |      880
1721.15/1721.63	c 1721s |      19 |   830251 |   607182 |    25925     48 |      914 |      880
1723.54/1724.02	c 1723s |      19 |   830780 |   607682 |    25925     48 |      914 |      880
1726.04/1726.54	c 1726s |      19 |   831308 |   608182 |    25925     48 |      914 |      880
1728.24/1728.76	c 1728s |      19 |   831859 |   608682 |    25925     48 |      914 |      880
1730.44/1730.97	c 1730s |      19 |   832383 |   609182 |    25925     48 |      914 |      880
1732.84/1733.33	c 1733s |      19 |   832930 |   609682 |    25925     48 |      914 |      880
1735.14/1735.69	c 1735s |      19 |   833358 |   610082 |    25925     49 |      914 |      880
1737.24/1737.76	c 1737s |      19 |   834019 |   610682 |    25925     49 |      914 |      880
1739.44/1739.93	c 1739s |      19 |   834840 |   611382 |    25925     49 |      914 |      880
1741.64/1742.15	c 1741s |      19 |   835604 |   612082 |    25925     49 |      914 |      880
1743.94/1744.46	c 1744s |      19 |   836380 |   612782 |    25925     49 |      914 |      880
1746.24/1746.80	c 1746s |      19 |   837142 |   613482 |    25925     49 |      914 |      880
1748.34/1748.88	c 1748s |      19 |   837833 |   614082 |    25925     49 |      914 |      880
1750.44/1750.98	c 1750s |      19 |   838491 |   614682 |    25925     49 |      914 |      880
1752.64/1753.17	c 1752s |      19 |   839167 |   615282 |    25925     49 |      914 |      880
1754.64/1755.18	c 1754s |      19 |   839835 |   615882 |    25925     49 |      914 |      880
1756.74/1757.22	c 1756s |      19 |   840546 |   616482 |    25925     49 |      914 |      880
1759.04/1759.50	c 1759s |      19 |   841202 |   617082 |    25925     49 |      914 |      880
1761.14/1761.67	c 1761s |      19 |   841731 |   617582 |    25925     49 |      914 |      880
1763.33/1763.80	c 1763s |      19 |   842422 |   618182 |    25925     49 |      914 |      880
1765.53/1766.01	c 1765s |      19 |   843095 |   618782 |    25925     49 |      914 |      880
1767.83/1768.31	c 1768s |      19 |   843785 |   619382 |    25925     49 |      914 |      880
1769.93/1770.41	c 1770s |      19 |   844469 |   619982 |    25925     49 |      914 |      880
1772.03/1772.54	c 1772s |      19 |   845191 |   620582 |    25925     49 |      914 |      880
1774.33/1774.80	c 1774s |      19 |   845897 |   621182 |    25925     49 |      914 |      880
1776.53/1777.06	c 1776s |      19 |   846581 |   621782 |    25925     49 |      914 |      880
1778.63/1779.16	c 1778s |      19 |   847138 |   622282 |    25925     49 |      914 |      880
1780.83/1781.34	c 1781s |      19 |   847689 |   622782 |    25925     49 |      914 |      880
1783.13/1783.62	c 1783s |      19 |   848365 |   623382 |    25925     49 |      914 |      880
1785.33/1785.88	c 1785s |      19 |   848920 |   623882 |    25925     49 |      914 |      880
1787.53/1788.02	c 1787s |      19 |   849470 |   624382 |    25925     49 |      914 |      880
1789.73/1790.27	c 1790s |      19 |   849903 |   624782 |    25925     50 |      914 |      880
1791.83/1792.32	c 1792s |      19 |   850574 |   625382 |    25925     50 |      914 |      880
1793.93/1794.48	c 1794s |      19 |   851214 |   625982 |    25925     50 |      914 |      880
1796.13/1796.68	c 1796s |      19 |   851982 |   626682 |    25925     50 |      914 |      880
1798.43/1798.96	c 1798s |      19 |   852908 |   627482 |    25925     50 |      914 |      880

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-4116045-1466968705/watcher-4116045-1466968705 -o /tmp/evaluation-result-4116045-1466968705/solver-4116045-1466968705 -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-4116045-1466968705.opb 

pid=24293
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.24 2.24 2.19 4/179 24296
/proc/meminfo: memFree=29626324/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 2806 0 0 0 0 0 0 0 20 0 4 0 29910180 769060864 3167 33554432000 4194304 16246674 140733812002192 140733812001128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 188527 3176 441 2943 0 185421 0
[pid=24296/tid=24297] ppid=24293 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 786886656 3236 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 791080960 3251 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29910180 795275264 3268 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 2.24 2.24 2.19 4/179 24296
/proc/meminfo: memFree=29626324/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 28273 0 0 0 6 3 0 0 20 0 4 0 29910180 1249447936 28572 33554432000 4194304 16246674 140733812002192 140733812001504 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 305041 28572 801 2943 0 301935 0
[pid=24296/tid=24297] ppid=24293 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1249447936 28572 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1249447936 28572 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1249447936 28572 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200551 s]
/proc/loadavg: 2.24 2.24 2.19 4/179 24296
/proc/meminfo: memFree=29626324/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 48482 0 0 0 13 6 0 0 20 0 4 0 29910180 1332285440 48781 33554432000 4194304 16246674 140733812002192 140733812001504 13195264 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 325265 48781 842 2943 0 322159 0
[pid=24296/tid=24297] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 48781 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 48781 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 48781 33554432000 4194304 16246674 140733812002192 140147762908336 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.300491 s]
/proc/loadavg: 2.24 2.24 2.19 4/179 24296
/proc/meminfo: memFree=29626324/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 50596 0 0 0 23 6 0 0 20 0 4 0 29910180 1332285440 50896 33554432000 4194304 16246674 140733812002192 140733812001504 13780640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 325265 50905 884 2943 0 322159 0
[pid=24296/tid=24297] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 50911 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 50914 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 50918 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700375 s]
/proc/loadavg: 2.24 2.24 2.19 4/179 24296
/proc/meminfo: memFree=29626324/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 99576 0 0 0 56 13 0 0 20 0 4 0 29910180 1332285440 99875 33554432000 4194304 16246674 140733812002192 140733812001504 12467381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 325265 99881 884 2943 0 322159 0
[pid=24296/tid=24297] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 99883 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 99885 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 99888 33554432000 4194304 16246674 140733812002192 140147762908336 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.50039 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 24300
/proc/meminfo: memFree=29014884/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 202414 0 0 0 120 29 0 0 20 0 4 0 29910180 1332285440 202714 33554432000 4194304 16246674 140733812002192 140733811984064 6020769 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 325265 202723 884 2943 0 322159 0
[pid=24296/tid=24297] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 202727 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 202733 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1332285440 202742 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 24300
/proc/meminfo: memFree=28655284/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 242633 0 0 0 275 34 0 0 20 0 4 0 29910180 1343819776 242932 33554432000 4194304 16246674 140733812002192 140733811984064 6842944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 328081 242932 890 2943 0 324975 0
[pid=24296/tid=24297] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 242932 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 242932 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 242932 33554432000 4194304 16246674 140733812002192 140147762908336 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.30042 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 24300
/proc/meminfo: memFree=28548344/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 269268 0 0 0 592 37 0 0 20 0 4 0 29910180 1343819776 269567 33554432000 4194304 16246674 140733812002192 140733811984064 5711640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 328081 269567 891 2943 0 324975 0
[pid=24296/tid=24297] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 269567 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 269567 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 269567 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 24300
/proc/meminfo: memFree=28548244/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 269268 0 0 0 1231 37 0 0 20 0 4 0 29910180 1343819776 269567 33554432000 4194304 16246674 140733812002192 140733811984064 6021324 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 328081 269567 891 2943 0 324975 0
[pid=24296/tid=24297] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 269567 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 269567 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 269567 33554432000 4194304 16246674 140733812002192 140147762908336 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.29 2.25 2.19 3/183 24300
/proc/meminfo: memFree=28546344/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 269270 0 0 0 2511 37 0 0 20 0 4 0 29910180 1343819776 269569 33554432000 4194304 16246674 140733812002192 140733811984064 5861500 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 328081 269569 892 2943 0 324975 0
[pid=24296/tid=24297] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 269569 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 269569 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1343819776 269569 33554432000 4194304 16246674 140733812002192 140147762908336 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.35 2.26 2.19 3/183 24300
/proc/meminfo: memFree=28545432/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 269368 0 0 0 5071 37 0 0 20 0 4 0 29910180 1344868352 269667 33554432000 4194304 16246674 140733812002192 140733811984064 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 328337 269667 892 2943 0 325231 0
[pid=24296/tid=24297] ppid=24293 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1344868352 269667 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1344868352 269667 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1344868352 269667 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.31 2.27 2.19 3/184 24304
/proc/meminfo: memFree=28541220/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 270332 0 0 0 10190 38 0 0 20 0 4 0 29910180 1349062656 270631 33554432000 4194304 16246674 140733812002192 140733811984064 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 329361 270631 892 2943 0 326255 0
[pid=24296/tid=24297] ppid=24293 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1349062656 270631 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1349062656 270631 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1349062656 270631 33554432000 4194304 16246674 140733812002192 140147762908336 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) 1317444


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

/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274180 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.26 2.31 2.24 3/183 24336
/proc/meminfo: memFree=28496580/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1330756 CPUtime=1361.91 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 274215 0 0 0 136142 49 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140733811984064 12875539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 332689 274181 892 2943 0 329583 0
[pid=24296/tid=24297] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.30 2.32 2.24 3/183 24337
/proc/meminfo: memFree=28496548/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1330756 CPUtime=1421.89 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 274226 0 0 0 142140 49 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140733811984064 5823933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 332689 274181 892 2943 0 329583 0
[pid=24296/tid=24297] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.29 2.31 2.25 3/183 24338
/proc/meminfo: memFree=28496432/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1330756 CPUtime=1481.87 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 274226 0 0 0 148138 49 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140733812001288 5827838 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 332689 274181 892 2943 0 329583 0
[pid=24296/tid=24297] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1330756

[startup+1542.31 s]
/proc/loadavg: 2.21 2.29 2.24 3/183 24339
/proc/meminfo: memFree=28495824/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1330756 CPUtime=1541.88 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 274226 0 0 0 154138 50 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140733811984064 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 332689 274181 892 2943 0 329583 0
[pid=24296/tid=24297] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.16 2.26 2.23 4/183 24340
/proc/meminfo: memFree=28495828/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1330756 CPUtime=1601.86 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 274226 0 0 0 160136 50 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140733811984064 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 332689 274181 892 2943 0 329583 0
[pid=24296/tid=24297] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.31 2.29 2.24 3/183 24342
/proc/meminfo: memFree=28495468/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1330756 CPUtime=1661.85 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 274226 0 0 0 166134 51 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140733811984064 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 332689 274181 892 2943 0 329583 0
[pid=24296/tid=24297] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.28 2.28 2.24 3/183 24343
/proc/meminfo: memFree=28495728/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1330756 CPUtime=1721.84 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 274226 0 0 0 172132 52 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140733811984064 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 332689 274181 892 2943 0 329583 0
[pid=24296/tid=24297] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1330756

[startup+1782.3 s]
/proc/loadavg: 2.23 2.27 2.24 3/183 24393
/proc/meminfo: memFree=28528600/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1330756 CPUtime=1781.83 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 274226 0 0 0 178131 52 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140733811984064 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 332689 274181 892 2943 0 329583 0
[pid=24296/tid=24297] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.25 2.23 3/183 24393
/proc/meminfo: memFree=28529188/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1330756 CPUtime=1800.03 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 274226 0 0 0 179951 52 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140733811984064 13809242 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 332689 274181 892 2943 0 329583 0
[pid=24296/tid=24297] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1330756

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.25 2.23 3/183 24393
/proc/meminfo: memFree=28529188/32872528 swapFree=1085692/1157232
[pid=24296] ppid=24293 vsize=1330756 CPUtime=1800.03 cores=1,3,5,7
/proc/24296/stat : 24296 (toysat) R 24293 24296 21062 0 -1 4202496 274226 0 0 0 179951 52 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140733811984064 13809242 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24296/statm: 332689 274181 892 2943 0 329583 0
[pid=24296/tid=24297] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24297/stat : 24297 (toysat) S 24293 24296 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147783871728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24296/tid=24298] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24298/stat : 24298 (toysat) S 24293 24296 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147773381872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24296/tid=24299] ppid=24293 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24296/task/24299/stat : 24299 (toysat) S 24293 24296 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29910180 1362694144 274181 33554432000 4194304 16246674 140733812002192 140147762908336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1330756

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.529919
maximum resident set size= 1096724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274226
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= 366
involuntary context switches= 1936

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5833 second user time and 6.97394 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 21:18:26
IDJOB=4116045
IDBENCH=109421
IDSOLVER=2542
FILE ID=node114/4116045-1466968705
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-size160-round22-2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116045-1466968705/watcher-4116045-1466968705 -o /tmp/evaluation-result-4116045-1466968705/solver-4116045-1466968705 -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-4116045-1466968705.opb

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

MD5SUM BENCH= 099d421f33fdbd89edcd84295e2a469b
RANDOM SEED=1319377274

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:        29626588 kB
Buffers:           43440 kB
Cached:           224152 kB
SwapCached:        38928 kB
Active:          1147440 kB
Inactive:         239684 kB
Active(anon):    1084128 kB
Inactive(anon):    37760 kB
Active(file):      63312 kB
Inactive(file):   201924 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16692 kB
Writeback:            24 kB
AnonPages:       2238948 kB
Mapped:            10748 kB
Shmem:                 0 kB
Slab:             567600 kB
SReclaimable:      11740 kB
SUnreclaim:       555860 kB
KernelStack:        1440 kB
PageTables:         8396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2384372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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 21:48:26