Trace number 4101145

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.03 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb
MD5SUM2fc9de6105f21066ef788431e0787cd8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark975
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables9060
Total number of constraints429
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints429
Minimum length of a constraint30
Maximum length of a constraint1440
Number of terms in the objective function 6930
Biggest coefficient in the objective function 3308
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 529735
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529735
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T05:33:14+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-4101145-1466220793.opb"]
0.00/0.01	c use --random-gen="3483580998 4097044791 633025384 2142547311 470479300 182558462 2091819743 1037270257 3157546696 3827804197 2886416594 870683650 566555969 1772039508 290002788 3862384060 1211060045 2151035308 73562669 3084089042 1685095850 1492398210 2228606125 2253096698 2002738704 2237603221 2149320439 289722053 636607241 2920407234 1230413577 4084773460 2628504662 3112123422 4085520598 738570931 3131325781 3067850502 3336731771 63376773 481372162 3744931279 3543167484 2478714724 3470543599 3951800908 3308442531 137535855 1300214987 2320771402 3996425008 673392000 719170385 4244234 1797015289 3280906284 2939532969 4040081311 3194298051 2689543051 4257548849 981561967 1906692720 3641224724 2617689796 3538479495 1898088327 56581448 1167694572 4285847014 1642411472 2981194514 1703460162 3088137543 3254673254 2476200154 483961093 795415312 3988253204 3149513380 267831792 3094843836 3007807350 3407731438 1045812645 2008153059 1700890049 1315880779 1351095343 597433994 3229081197 4036466813 703855528 1319899086 3175052695 2656330630 3149484173 722758496 127475435 744331014 385548175 4115853454 3084613854 2937439778 161021439 1251717555 2739577936 3379616976 1863411746 177005926 2560920857 1041967036 4063179688 2513966243 3910278093 2178436363 1613788829 3479869801 1255039948 105567567 4153642571 1694335279 86873548 3273443226 1193514516 451002341 2696681723 2134938802 1583577393 1374383960 2032625758 93801139 3895431864 978716227 4157307399 2550205693 2894599055 1303984520 3875767288 1231779551 3764436698 3427219824 1590558958 4111609201 1605161668 779357245 4127511254 2729711043 1400923410 246414173 903678668 536389320 3512729980 727587171 2280645117 151785052 3343263641 2325553430 1476905137 2989241500 1889172574 4015466196 140774134 2057585049 441100812 1072050390 2341950753 1650556275 1834326110 116650446 2633865646 4270665495 1954405392 2767552963 1622545065 279942548 987724028 2304207634 3082468889 2009602220 2580601785 3671086738 3512054790 2489260761 2341827384 303039215 3463998962 665235455 2887010011 1818922775 1334645192 3711835153 3709449667 3479739357 3251375722 2853219030 2097118425 1122578982 2556158239 1163766493 3491196923 4166997371 3176226478 1198024448 2472795347 3398019995 2994169399 1324386001 2978927276 2853189665 2291888093 1962556662 2820289289 624553070 3920328327 3411111616 3717358044 370903517 1263644872 1584187928 2209309859 1089888714 3212137843 3650257093 4061607907 3734199452 3747558233 1976167962 4160287046 2689157539 1086929063 816349465 1439699024 764533554 3598375033 3970750467 1951906398 195332536 1952184391 1071738306 2712084495 2651139916 1487931752 1495493769 1946829458 3084307144 2598560287 2706328157 3304187531 3289330592 3210993282 4268042841 3793449847 201023850 35124388 384243426 255 362436" option to reproduce the execution
0.19/0.20	c #vars 9060
0.19/0.20	c #constraints 429
0.89/0.96	c BCD2: Hardening is enabled.
0.89/0.96	c BCD2: BiasedSearch is enabled.
0.89/0.96	c Solving starts ...
0.89/0.96	c ============================[ Search Statistics ]============================
0.89/0.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.96	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.96	c =============================================================================
0.89/0.96	c  0.0s |       0 |        0 |        0 |     3160      0 |     1141 |        0
1.10/1.20	c  0.2s |       1 |      431 |      100 |     3160      0 |     1141 |       95
1.29/1.34	c  0.4s |       2 |      980 |      250 |     3477      0 |     1141 |       95
1.59/1.68	c  0.7s |       3 |     1605 |      475 |     3825      0 |     1141 |       95
2.09/2.17	c  1.2s |       4 |     2361 |      813 |     4208      0 |     1141 |       95
2.59/2.63	c  1.7s |       5 |     5872 |     1320 |     4629      0 |     1141 |       95
2.69/2.79	c  1.8s |       6 |     8631 |     2081 |     5602      0 |     1141 |       95
2.99/3.03	c  2.1s |       7 |     9871 |     3223 |     6163      0 |     1141 |       95
4.50/4.53	c  3.6s |       8 |    11918 |     4936 |     6780      0 |     1141 |       95
6.49/6.57	c  5.6s |       8 |    14396 |     7036 |     6780      0 |     1141 |       95
6.99/7.06	c  6.1s |       9 |    14888 |     7506 |     7459      0 |     1141 |       95
9.09/9.14	c  8.2s |       9 |    17694 |     8906 |     7459      0 |     1141 |       95
11.19/11.20	c 10.2s |       9 |    19002 |    10206 |     7459      1 |     1141 |       95
12.89/12.98	c 12.0s |      10 |    20163 |    11361 |     8205      1 |     1141 |       95
14.99/15.05	c 14.1s |      10 |    30407 |    13361 |     8205      1 |     1141 |       95
17.19/17.23	c 16.3s |      10 |    31506 |    14261 |     8205      1 |     1141 |       95
19.19/19.30	c 18.3s |      10 |    32526 |    15161 |     8205      1 |     1141 |       95
21.49/21.55	c 20.6s |      10 |    33608 |    16061 |     8205      1 |     1141 |       95
23.59/23.69	c 22.7s |      10 |    34653 |    16861 |     8205      1 |     1141 |       95
24.69/24.71	c 23.7s |      11 |    35020 |    17144 |     9026      1 |     1141 |       95
26.79/26.80	c 25.8s |      11 |    39809 |    18744 |     9026      2 |     1141 |       95
28.89/28.90	c 27.9s |      11 |    41958 |    20644 |     9026      2 |     1141 |       95
30.99/31.01	c 30.0s |      11 |    43837 |    22344 |     9026      3 |     1141 |       95
32.99/33.03	c 32.1s |      11 |    45764 |    23944 |     9026      3 |     1141 |       95
34.99/35.07	c 34.1s |      11 |    47949 |    25744 |     9929      3 |     1141 |       95
35.09/35.15	c 34.2s |      12 |    48035 |    25819 |     9929      3 |     1141 |       95
37.19/37.21	c 36.2s |      12 |    51411 |    28119 |     9929      3 |     1141 |       95
39.29/39.30	c 38.3s |      12 |    53753 |    30319 |     9929      4 |     1141 |       95
41.28/41.32	c 40.4s |      12 |    55859 |    32419 |     9929      4 |     1141 |       95
43.28/43.34	c 42.4s |      12 |    57875 |    34419 |     9929      4 |     1141 |       95
45.28/45.39	c 44.4s |      12 |    60137 |    36519 |     9929      5 |     1141 |       95
47.29/47.40	c 46.4s |      12 |    62485 |    38619 |    10922      5 |     1141 |       95
47.68/47.72	c 46.8s |      13 |    62716 |    38832 |    10922      5 |     1141 |       95
49.78/49.80	c 48.8s |      13 |    66495 |    40432 |    10922      5 |     1141 |       95
51.88/51.93	c 51.0s |      13 |    68133 |    41732 |    10922      5 |     1141 |       95
53.99/54.05	c 53.1s |      13 |    69587 |    42932 |    10922      6 |     1141 |       95
55.98/56.09	c 55.1s |      13 |    70749 |    44132 |    10922      6 |     1141 |       95
58.08/58.17	c 57.2s |      13 |    75859 |    45432 |    10922      6 |     1141 |       95
60.18/60.25	c 59.3s |      13 |    76658 |    46232 |    10922      6 |     1141 |       95
62.28/62.31	c 61.3s |      13 |    77453 |    47032 |    10922      6 |     1141 |       95
64.38/64.46	c 63.5s |      13 |    78252 |    47832 |    10922      6 |     1141 |       95
66.68/66.71	c 65.7s |      13 |    79064 |    48632 |    10922      6 |     1141 |       95
68.68/68.77	c 67.8s |      13 |    79763 |    49332 |    10922      6 |     1141 |       95
70.78/70.81	c 69.9s |      13 |    80475 |    50032 |    10922      6 |     1141 |       95
72.78/72.88	c 71.9s |      13 |    81160 |    50732 |    10922      6 |     1141 |       95
74.98/75.05	c 74.1s |      13 |    81972 |    51532 |    10922      6 |     1141 |       95
77.18/77.22	c 76.3s |      13 |    82810 |    52332 |    10922      6 |     1141 |       95
79.38/79.41	c 78.5s |      13 |    83613 |    53132 |    10922      7 |     1141 |       95
81.58/81.60	c 80.6s |      13 |    84408 |    53932 |    10922      7 |     1141 |       95
83.78/83.85	c 82.9s |      13 |    85210 |    54732 |    10922      7 |     1141 |       95
86.08/86.14	c 85.2s |      13 |    86017 |    55532 |    10922      7 |     1141 |       95
88.08/88.17	c 87.2s |      13 |    86705 |    56232 |    10922      7 |     1141 |       95
90.38/90.44	c 89.5s |      13 |    87410 |    56932 |    10922      7 |     1141 |       95
92.58/92.62	c 91.7s |      13 |    88104 |    57632 |    10922      7 |     1141 |       95
94.78/94.88	c 93.9s |      13 |    88805 |    58332 |    12015      7 |     1141 |       95
94.88/94.95	c 94.0s |      14 |    88822 |    58352 |    12015      7 |     1141 |       95
96.98/97.01	c 96.0s |      14 |    96698 |    59052 |    12015      8 |     1141 |       95
98.98/99.09	c 98.1s |      14 |    98318 |    60652 |    12015      8 |     1141 |       95
101.18/101.21	c  100s |      14 |    99945 |    62252 |    12015      8 |     1141 |       95
103.27/103.36	c  102s |      14 |   101555 |    63852 |    12015      8 |     1141 |       95
105.37/105.41	c  104s |      14 |   103071 |    65352 |    12015      8 |     1141 |       95
107.37/107.47	c  106s |      14 |   104574 |    66852 |    12015      8 |     1141 |       95
109.47/109.58	c  108s |      14 |   105980 |    68252 |    12015      8 |     1141 |       95
111.57/111.69	c  110s |      14 |   107397 |    69652 |    12015      8 |     1141 |       95
113.77/113.85	c  112s |      14 |   108517 |    70752 |    12015      9 |     1141 |       95
115.97/116.02	c  115s |      14 |   109726 |    71952 |    12015      9 |     1141 |       95
118.07/118.14	c  117s |      14 |   110939 |    73152 |    12015      9 |     1141 |       95
120.17/120.26	c  119s |      14 |   112250 |    74452 |    12015      9 |     1141 |       95
122.27/122.32	c  121s |      14 |   113472 |    75652 |    12015      9 |     1141 |       95
124.28/124.39	c  123s |      14 |   114683 |    76852 |    12015      9 |     1141 |       95
126.37/126.46	c  125s |      14 |   115795 |    77952 |    12015      9 |     1141 |       95
128.87/128.96	c  127s |      14 |   116899 |    79052 |    12015     10 |     1141 |       95
130.98/131.05	c  130s |      14 |   118010 |    80152 |    12015     10 |     1141 |       95
133.08/133.15	c  132s |      14 |   119317 |    81452 |    12015     10 |     1141 |       95
135.28/135.31	c  134s |      14 |   120628 |    82752 |    12015     10 |     1141 |       95
137.27/137.38	c  136s |      14 |   121824 |    83952 |    12015     10 |     1141 |       95
139.37/139.43	c  138s |      14 |   122930 |    85052 |    12015     10 |     1141 |       95
141.47/141.58	c  140s |      14 |   124128 |    86252 |    12015     10 |     1141 |       95
143.57/143.67	c  142s |      14 |   125340 |    87452 |    13217     10 |     1141 |       95
143.87/143.93	c  142s |      15 |   125517 |    87632 |    13217     10 |     1141 |       95
146.47/146.52	c  145s |      15 |   131094 |    87732 |    13217     11 |     1141 |       95
148.48/148.57	c  147s |      15 |   135085 |    91232 |    13217     11 |     1141 |       95
150.47/150.58	c  149s |      15 |   138002 |    94132 |    13217     11 |     1141 |       95
152.57/152.65	c  151s |      15 |   140805 |    96932 |    13217     11 |     1141 |       95
154.57/154.67	c  153s |      15 |   143114 |    99232 |    13217     12 |     1141 |       95
156.67/156.70	c  155s |      15 |   145723 |   101832 |    13217     12 |     1141 |       95
158.67/158.76	c  157s |      15 |   148339 |   104432 |    13217     12 |     1141 |       95
160.68/160.79	c  159s |      15 |   150754 |   106832 |    13217     12 |     1141 |       95
162.78/162.84	c  161s |      15 |   152862 |   108932 |    13217     13 |     1141 |       95
164.77/164.85	c  163s |      15 |   155469 |   111532 |    13217     13 |     1141 |       95
166.77/166.88	c  165s |      15 |   157977 |   114032 |    13217     13 |     1141 |       95
168.87/168.96	c  167s |      15 |   159989 |   116032 |    13217     13 |     1141 |       95
170.87/170.98	c  170s |      15 |   161995 |   118032 |    13217     13 |     1141 |       95
173.57/173.62	c  172s |      15 |   164022 |   120032 |    13217     14 |     1141 |       95
175.57/175.64	c  174s |      15 |   166826 |   122832 |    13217     14 |     1141 |       95
177.57/177.65	c  176s |      15 |   169654 |   125632 |    13217     14 |     1141 |       95
179.56/179.66	c  178s |      15 |   172056 |   128032 |    13217     14 |     1141 |       95
181.57/181.67	c  180s |      15 |   174164 |   130132 |    13217     15 |     1141 |       95
182.67/182.72	c  181s |      16 |   175593 |   131552 |    14539     15 |     1141 |       95
184.77/184.87	c  183s |      16 |   181721 |   132752 |    14539     15 |     1141 |       95
191.97/192.01	c  191s |      16 |   182948 |   133952 |    14539     15 |     1141 |       95
193.96/194.03	c  193s |      16 |   184440 |   135352 |    14539     15 |     1141 |       95
196.06/196.19	c  195s |      16 |   185853 |   136752 |    14539     15 |     1141 |       95
198.16/198.24	c  197s |      16 |   187373 |   138252 |    14539     15 |     1141 |       95
200.27/200.33	c  199s |      16 |   188846 |   139552 |    14539     16 |     1141 |       95
202.37/202.45	c  201s |      16 |   190158 |   140752 |    14539     16 |     1141 |       95
204.46/204.58	c  203s |      16 |   191392 |   141852 |    14539     16 |     1141 |       95
206.66/206.76	c  205s |      16 |   192708 |   142952 |    14539     16 |     1141 |       95
208.76/208.82	c  207s |      16 |   194068 |   144252 |    14539     16 |     1141 |       95
210.86/210.95	c  209s |      16 |   195213 |   145352 |    14539     16 |     1141 |       95
213.06/213.11	c  212s |      16 |   196328 |   146352 |    14539     16 |     1141 |       95
215.06/215.14	c  214s |      16 |   197271 |   147252 |    14539     16 |     1141 |       95
217.16/217.22	c  216s |      16 |   198243 |   148152 |    14539     16 |     1141 |       95
219.16/219.28	c  218s |      16 |   199063 |   148952 |    14539     16 |     1141 |       95
221.26/221.37	c  220s |      16 |   199868 |   149752 |    14539     16 |     1141 |       95
224.06/224.17	c  223s |      16 |   200830 |   150652 |    14539     17 |     1141 |       95
226.26/226.38	c  225s |      16 |   202147 |   151752 |    14539     17 |     1141 |       95
228.36/228.41	c  227s |      16 |   203264 |   152652 |    14539     17 |     1141 |       95
230.36/230.49	c  229s |      16 |   204580 |   153552 |    14539     17 |     1141 |       95
232.56/232.60	c  231s |      16 |   206039 |   154552 |    14539     17 |     1141 |       95
234.56/234.68	c  233s |      16 |   207098 |   155452 |    14539     17 |     1141 |       95
236.66/236.76	c  235s |      16 |   207974 |   156252 |    14539     17 |     1141 |       95
238.86/238.97	c  238s |      16 |   208895 |   157052 |    14539     17 |     1141 |       95
240.96/241.05	c  240s |      16 |   210138 |   157952 |    14539     17 |     1141 |       95
243.26/243.31	c  242s |      16 |   211353 |   158852 |    14539     17 |     1141 |       95
245.36/245.41	c  244s |      16 |   212083 |   159552 |    14539     17 |     1141 |       95
247.46/247.54	c  246s |      16 |   212701 |   160152 |    14539     17 |     1141 |       95
249.46/249.56	c  248s |      16 |   213348 |   160752 |    14539     18 |     1141 |       95
251.46/251.56	c  250s |      16 |   213961 |   161352 |    14539     18 |     1141 |       95
253.56/253.66	c  252s |      16 |   214810 |   162152 |    14539     18 |     1141 |       95
255.86/255.90	c  254s |      16 |   215658 |   162952 |    14539     18 |     1141 |       95
258.05/258.18	c  257s |      16 |   216518 |   163752 |    14539     18 |     1141 |       95
260.35/260.48	c  259s |      16 |   217381 |   164552 |    14539     18 |     1141 |       95
262.65/262.73	c  261s |      16 |   218280 |   165352 |    14539     18 |     1141 |       95
264.75/264.88	c  263s |      16 |   219167 |   166152 |    14539     18 |     1141 |       95
266.95/267.04	c  266s |      16 |   220257 |   167152 |    14539     18 |     1141 |       95
269.05/269.14	c  268s |      16 |   220767 |   167652 |    14539     18 |     1141 |       95
271.15/271.26	c  270s |      16 |   221321 |   168152 |    14539     18 |     1141 |       95
273.25/273.38	c  272s |      16 |   221970 |   168752 |    14539     18 |     1141 |       95
275.55/275.60	c  274s |      16 |   222605 |   169352 |    14539     18 |     1141 |       95
277.85/277.91	c  276s |      16 |   223233 |   169952 |    14539     18 |     1141 |       95
280.15/280.21	c  279s |      16 |   223854 |   170552 |    14539     18 |     1141 |       95
282.15/282.28	c  281s |      16 |   224385 |   171052 |    14539     19 |     1141 |       95
284.25/284.39	c  283s |      16 |   225168 |   171752 |    14539     19 |     1141 |       95
286.35/286.43	c  285s |      16 |   225865 |   172352 |    14539     19 |     1141 |       95
288.45/288.59	c  287s |      16 |   226640 |   173052 |    14539     19 |     1141 |       95
290.55/290.68	c  289s |      16 |   227404 |   173752 |    14539     19 |     1141 |       95
292.75/292.87	c  291s |      16 |   228268 |   174552 |    14539     19 |     1141 |       95
294.95/295.02	c  294s |      16 |   229001 |   175252 |    14539     19 |     1141 |       95
297.15/297.26	c  296s |      16 |   229731 |   175952 |    14539     19 |     1141 |       95
299.35/299.40	c  298s |      16 |   230332 |   176552 |    14539     19 |     1141 |       95
301.65/301.73	c  300s |      16 |   230947 |   177152 |    14539     19 |     1141 |       95
303.95/304.09	c  303s |      16 |   231557 |   177752 |    14539     19 |     1141 |       95
305.95/306.09	c  305s |      16 |   232067 |   178252 |    14539     19 |     1141 |       95
308.25/308.31	c  307s |      16 |   232702 |   178852 |    14539     19 |     1141 |       95
310.25/310.32	c  309s |      16 |   233231 |   179352 |    14539     19 |     1141 |       95
312.45/312.58	c  311s |      16 |   233759 |   179852 |    14539     19 |     1141 |       95
314.65/314.73	c  313s |      16 |   234525 |   180552 |    14539     19 |     1141 |       95
316.85/316.91	c  315s |      16 |   235651 |   181552 |    14539     20 |     1141 |       95
318.84/318.95	c  317s |      16 |   236654 |   182552 |    14539     20 |     1141 |       95
320.94/321.07	c  320s |      16 |   237658 |   183552 |    14539     20 |     1141 |       95
323.14/323.26	c  322s |      16 |   238661 |   184552 |    14539     20 |     1141 |       95
325.24/325.34	c  324s |      16 |   239568 |   185452 |    14539     20 |     1141 |       95
327.34/327.48	c  326s |      16 |   240466 |   186352 |    14539     20 |     1141 |       95
329.44/329.56	c  328s |      16 |   241287 |   187152 |    14539     20 |     1141 |       95
331.54/331.62	c  330s |      16 |   242083 |   187952 |    14539     20 |     1141 |       95
333.64/333.74	c  332s |      16 |   242895 |   188752 |    14539     20 |     1141 |       95
335.74/335.81	c  334s |      16 |   243525 |   189352 |    14539     20 |     1141 |       95
337.75/337.90	c  336s |      16 |   244673 |   190352 |    14539     20 |     1141 |       95
339.85/339.92	c  338s |      16 |   246004 |   191452 |    14539     20 |     1141 |       95
341.94/342.03	c  341s |      16 |   247030 |   192352 |    14539     21 |     1141 |       95
343.94/344.08	c  343s |      16 |   248106 |   193352 |    14539     21 |     1141 |       95
346.14/346.20	c  345s |      16 |   249246 |   194352 |    14539     21 |     1141 |       95
348.24/348.34	c  347s |      16 |   250571 |   195552 |    14539     21 |     1141 |       95
350.24/350.37	c  349s |      16 |   251724 |   196652 |    15993     21 |     1141 |       95
351.84/351.91	c  350s |      17 |   252580 |   197432 |    15993     21 |     1141 |       95
353.94/354.01	c  353s |      17 |   255702 |   198832 |    15993     21 |     1141 |       95
355.94/356.04	c  355s |      17 |   257424 |   200532 |    15993     22 |     1141 |       95
357.94/358.08	c  357s |      17 |   259338 |   202432 |    15993     22 |     1141 |       95
360.04/360.16	c  359s |      17 |   261263 |   204332 |    15993     22 |     1141 |       95
362.14/362.24	c  361s |      17 |   263091 |   206132 |    15993     22 |     1141 |       95
364.14/364.25	c  363s |      17 |   264908 |   207932 |    15993     22 |     1141 |       95
366.14/366.27	c  365s |      17 |   266530 |   209532 |    15993     23 |     1141 |       95
368.24/368.30	c  367s |      17 |   268141 |   211132 |    15993     23 |     1141 |       95
370.23/370.34	c  369s |      17 |   269651 |   212632 |    15993     23 |     1141 |       95
372.23/372.37	c  371s |      17 |   275434 |   215032 |    15993     23 |     1141 |       95
374.23/374.38	c  373s |      17 |   278763 |   218332 |    15993     24 |     1141 |       95
376.33/376.42	c  375s |      17 |   282092 |   221632 |    15993     24 |     1141 |       95
378.34/378.44	c  377s |      17 |   284709 |   224232 |    15993     24 |     1141 |       95
380.43/380.53	c  379s |      17 |   287122 |   226632 |    15993     25 |     1141 |       95
382.53/382.65	c  381s |      17 |   289129 |   228632 |    15993     25 |     1141 |       95
384.53/384.69	c  383s |      17 |   290235 |   229732 |    15993     25 |     1141 |       95
386.63/386.70	c  385s |      17 |   291441 |   230932 |    15993     25 |     1141 |       95
388.63/388.71	c  387s |      17 |   293143 |   232632 |    15993     25 |     1141 |       95
390.63/390.71	c  389s |      17 |   295462 |   234932 |    15993     25 |     1141 |       95
392.64/392.75	c  391s |      17 |   297489 |   236932 |    15993     26 |     1141 |       95
394.63/394.75	c  393s |      17 |   300002 |   239432 |    15993     26 |     1141 |       95
396.73/396.82	c  395s |      17 |   301811 |   241232 |    15993     26 |     1141 |       95
398.73/398.85	c  397s |      17 |   303623 |   243032 |    15993     26 |     1141 |       95
400.83/400.96	c  400s |      17 |   304832 |   244232 |    15993     26 |     1141 |       95
402.93/403.01	c  402s |      17 |   305941 |   245332 |    15993     27 |     1141 |       95
405.03/405.10	c  404s |      17 |   308043 |   247432 |    15993     27 |     1141 |       95
407.13/407.22	c  406s |      17 |   309453 |   248832 |    15993     27 |     1141 |       95
409.23/409.34	c  408s |      17 |   310966 |   250332 |    15993     27 |     1141 |       95
411.33/411.44	c  410s |      17 |   313294 |   252632 |    15993     27 |     1141 |       95
413.33/413.44	c  412s |      17 |   314717 |   254032 |    15993     28 |     1141 |       95
415.42/415.52	c  414s |      17 |   316721 |   256032 |    15993     28 |     1141 |       95
421.03/421.11	c  420s |      17 |   318129 |   257432 |    15993     28 |     1141 |       95
423.03/423.17	c  422s |      17 |   320748 |   260032 |    15993     28 |     1141 |       95
425.13/425.25	c  424s |      17 |   322463 |   261732 |    15993     28 |     1141 |       95
427.23/427.36	c  426s |      17 |   323875 |   263132 |    15993     29 |     1141 |       95
429.23/429.36	c  428s |      17 |   325686 |   264932 |    15993     29 |     1141 |       95
431.23/431.39	c  430s |      17 |   327492 |   266732 |    15993     29 |     1141 |       95
433.33/433.42	c  432s |      17 |   328350 |   267532 |    15993     29 |     1141 |       95
435.32/435.43	c  434s |      17 |   330779 |   269932 |    15993     29 |     1141 |       95
437.32/437.43	c  436s |      17 |   332891 |   272032 |    15993     29 |     1141 |       95
439.42/439.56	c  438s |      17 |   334804 |   273932 |    15993     30 |     1141 |       95
441.52/441.60	c  440s |      17 |   336006 |   275132 |    15993     30 |     1141 |       95
443.52/443.62	c  442s |      17 |   337512 |   276632 |    15993     30 |     1141 |       95
445.53/445.63	c  444s |      17 |   339529 |   278632 |    15993     30 |     1141 |       95
447.52/447.66	c  446s |      17 |   341968 |   281032 |    15993     30 |     1141 |       95
450.82/450.95	c  449s |      17 |   343078 |   282132 |    15993     31 |     1141 |       95
452.82/452.99	c  452s |      17 |   346503 |   285532 |    15993     31 |     1141 |       95
454.92/455.03	c  454s |      17 |   348316 |   287332 |    15993     31 |     1141 |       95
457.12/457.21	c  456s |      17 |   350230 |   289232 |    15993     31 |     1141 |       95
459.22/459.34	c  458s |      17 |   352244 |   291232 |    15993     32 |     1141 |       95
461.32/461.47	c  460s |      17 |   353557 |   292532 |    15993     32 |     1141 |       95
463.42/463.53	c  462s |      17 |   356272 |   295232 |    17593     32 |     1141 |       95
464.32/464.40	c  463s |      18 |   357297 |   296252 |    17593     32 |     1141 |       95
466.33/466.44	c  465s |      18 |   358082 |   296952 |    17593     32 |     1141 |       95
468.42/468.56	c  467s |      18 |   360400 |   299252 |    17593     32 |     1141 |       95
470.52/470.60	c  469s |      18 |   362810 |   301652 |    17593     33 |     1141 |       95
472.52/472.67	c  471s |      18 |   365723 |   304552 |    17593     33 |     1141 |       95
474.62/474.74	c  473s |      18 |   368140 |   306952 |    17593     33 |     1141 |       95
476.82/476.94	c  475s |      18 |   370755 |   309552 |    17593     34 |     1141 |       95
478.82/478.98	c  478s |      18 |   373174 |   311952 |    17593     34 |     1141 |       95
480.92/481.03	c  480s |      18 |   375382 |   314152 |    17593     34 |     1141 |       95
483.02/483.18	c  482s |      18 |   376693 |   315452 |    17593     34 |     1141 |       95
485.13/485.27	c  484s |      18 |   378609 |   317352 |    17593     34 |     1141 |       95
487.52/487.60	c  486s |      18 |   380202 |   318952 |    17593     35 |     1141 |       95
489.52/489.68	c  488s |      18 |   382414 |   321152 |    17593     35 |     1141 |       95
491.62/491.76	c  490s |      18 |   384726 |   323452 |    17593     35 |     1141 |       95
493.62/493.76	c  492s |      18 |   387234 |   325952 |    17593     35 |     1141 |       95
495.61/495.78	c  494s |      18 |   389346 |   328052 |    17593     35 |     1141 |       95
500.22/500.32	c  499s |      18 |   390265 |   328952 |    17593     36 |     1141 |       95
502.22/502.32	c  501s |      18 |   392479 |   331152 |    17593     36 |     1141 |       95
504.22/504.33	c  503s |      18 |   394778 |   333452 |    17593     36 |     1141 |       95
506.22/506.39	c  505s |      18 |   397498 |   336152 |    17593     36 |     1141 |       95
508.32/508.45	c  507s |      18 |   399426 |   338052 |    17593     37 |     1141 |       95
510.32/510.46	c  509s |      18 |   402130 |   340752 |    17593     37 |     1141 |       95
512.42/512.52	c  511s |      18 |   404247 |   342852 |    17593     37 |     1141 |       95
514.51/514.60	c  513s |      18 |   406861 |   345452 |    17593     37 |     1141 |       95
516.51/516.63	c  515s |      18 |   408778 |   347352 |    17593     38 |     1141 |       95
518.51/518.65	c  517s |      18 |   411587 |   350152 |    17593     38 |     1141 |       95
520.51/520.69	c  519s |      18 |   413903 |   352452 |    17593     38 |     1141 |       95
525.11/525.29	c  524s |      18 |   415431 |   353952 |    17593     38 |     1141 |       95
527.21/527.32	c  526s |      18 |   417249 |   355752 |    17593     38 |     1141 |       95
529.21/529.38	c  528s |      18 |   419560 |   358052 |    17593     39 |     1141 |       95
531.31/531.48	c  530s |      18 |   421879 |   360352 |    17593     39 |     1141 |       95
537.31/537.46	c  536s |      18 |   423893 |   362352 |    17593     39 |     1141 |       95
539.41/539.51	c  538s |      18 |   425998 |   364452 |    17593     39 |     1141 |       95
541.41/541.55	c  540s |      18 |   428006 |   366452 |    17593     40 |     1141 |       95
543.51/543.63	c  542s |      18 |   431019 |   369452 |    17593     40 |     1141 |       95
545.62/545.72	c  544s |      18 |   433627 |   372052 |    17593     40 |     1141 |       95
547.61/547.78	c  546s |      18 |   435848 |   374252 |    17593     40 |     1141 |       95
549.71/549.83	c  548s |      18 |   437661 |   376052 |    17593     41 |     1141 |       95
551.71/551.88	c  550s |      18 |   439675 |   378052 |    17593     41 |     1141 |       95
553.81/553.90	c  552s |      18 |   442288 |   380652 |    17593     41 |     1141 |       95
555.81/555.90	c  554s |      18 |   444598 |   382952 |    17593     41 |     1141 |       95
557.81/557.96	c  557s |      18 |   446600 |   384952 |    17593     42 |     1141 |       95
559.91/560.02	c  559s |      18 |   449514 |   387852 |    17593     42 |     1141 |       95
561.90/562.10	c  561s |      18 |   451822 |   390152 |    17593     42 |     1141 |       95
564.00/564.17	c  563s |      18 |   453938 |   392252 |    17593     42 |     1141 |       95
566.90/567.02	c  566s |      18 |   455850 |   394152 |    17593     42 |     1141 |       95
568.90/569.09	c  568s |      18 |   456642 |   394952 |    17593     43 |     1141 |       95
571.00/571.13	c  570s |      18 |   459354 |   397652 |    17593     43 |     1141 |       95
573.01/573.16	c  572s |      18 |   461774 |   400052 |    17593     43 |     1141 |       95
575.10/575.21	c  574s |      18 |   464390 |   402652 |    17593     43 |     1141 |       95
577.10/577.21	c  576s |      18 |   466397 |   404652 |    17593     44 |     1141 |       95
579.10/579.27	c  578s |      18 |   468811 |   407052 |    17593     44 |     1141 |       95
581.20/581.33	c  580s |      18 |   471125 |   409352 |    17593     44 |     1141 |       95
583.30/583.43	c  582s |      18 |   473250 |   411452 |    17593     44 |     1141 |       95
585.30/585.48	c  584s |      18 |   475160 |   413352 |    17593     45 |     1141 |       95
587.40/587.55	c  586s |      18 |   477764 |   415952 |    17593     45 |     1141 |       95
589.40/589.60	c  588s |      18 |   480279 |   418452 |    17593     45 |     1141 |       95
591.50/591.64	c  590s |      18 |   482295 |   420452 |    17593     45 |     1141 |       95
593.59/593.74	c  592s |      18 |   484111 |   422252 |    17593     45 |     1141 |       95
595.60/595.76	c  594s |      18 |   485619 |   423752 |    17593     46 |     1141 |       95
597.70/597.85	c  596s |      18 |   487937 |   426052 |    17593     46 |     1141 |       95
604.30/604.48	c  603s |      18 |   488957 |   427052 |    17593     46 |     1141 |       95
606.29/606.49	c  605s |      18 |   491059 |   429152 |    17593     46 |     1141 |       95
608.39/608.57	c  607s |      18 |   493389 |   431452 |    17593     46 |     1141 |       95
610.40/610.58	c  609s |      18 |   495905 |   433952 |    17593     47 |     1141 |       95
612.49/612.64	c  611s |      18 |   498714 |   436752 |    17593     47 |     1141 |       95
614.49/614.66	c  613s |      18 |   500824 |   438852 |    17593     47 |     1141 |       95
616.49/616.69	c  615s |      18 |   502734 |   440752 |    17593     47 |     1141 |       95
618.59/618.74	c  617s |      18 |   504550 |   442552 |    19353     47 |     1141 |       95
623.19/623.38	c  622s |      18 |   505354 |   443352 |    19353     48 |     1141 |       95
624.09/624.27	c  623s |      19 |   506490 |   444482 |    19353     48 |     1141 |       95
626.40/626.52	c  625s |      19 |   506766 |   444682 |    19353     48 |     1141 |       95
630.59/630.79	c  629s |      19 |   507073 |   444982 |    19353     48 |     1141 |       95
632.69/632.84	c  631s |      19 |   509087 |   446982 |    19353     48 |     1141 |       95
634.70/634.87	c  633s |      19 |   511299 |   449182 |    19353     48 |     1141 |       95
636.80/636.91	c  635s |      19 |   513403 |   451282 |    19353     48 |     1141 |       95
638.79/638.94	c  637s |      19 |   515233 |   453082 |    19353     48 |     1141 |       95
640.79/640.94	c  639s |      19 |   517265 |   455082 |    19353     49 |     1141 |       95
642.79/642.98	c  642s |      19 |   519789 |   457582 |    19353     49 |     1141 |       95
644.79/644.99	c  644s |      19 |   521994 |   459782 |    19353     49 |     1141 |       95
646.79/646.99	c  646s |      19 |   524110 |   461882 |    19353     49 |     1141 |       95
648.89/649.07	c  648s |      19 |   526026 |   463782 |    19353     49 |     1141 |       95
650.99/651.13	c  650s |      19 |   528143 |   465882 |    19353     50 |     1141 |       95
652.99/653.19	c  652s |      19 |   530856 |   468582 |    19353     50 |     1141 |       95
655.69/655.81	c  654s |      19 |   532468 |   470182 |    19353     50 |     1141 |       95
657.80/657.94	c  656s |      19 |   534071 |   471782 |    19353     50 |     1141 |       95
659.79/659.94	c  658s |      19 |   535982 |   473682 |    19353     50 |     1141 |       95
661.79/661.98	c  661s |      19 |   537788 |   475482 |    19353     51 |     1141 |       95
663.89/664.09	c  663s |      19 |   540722 |   478382 |    19353     51 |     1141 |       95
665.99/666.11	c  665s |      19 |   542833 |   480482 |    19353     51 |     1141 |       95
667.99/668.15	c  667s |      19 |   544547 |   482182 |    19353     51 |     1141 |       95
678.18/678.35	c  677s |      19 |   546256 |   483882 |    19353     51 |     1141 |       95
680.19/680.39	c  679s |      19 |   547964 |   485582 |    19353     52 |     1141 |       95
682.29/682.43	c  681s |      19 |   550674 |   488282 |    19353     52 |     1141 |       95
684.29/684.45	c  683s |      19 |   552795 |   490382 |    19353     52 |     1141 |       95
686.40/686.53	c  685s |      19 |   555219 |   492782 |    19353     52 |     1141 |       95
688.79/688.92	c  687s |      19 |   557231 |   494782 |    19353     53 |     1141 |       95
690.89/691.01	c  690s |      19 |   559626 |   497182 |    19353     53 |     1141 |       95
692.89/693.04	c  692s |      19 |   561837 |   499382 |    19353     53 |     1141 |       95
694.99/695.11	c  694s |      19 |   564066 |   501582 |    19353     53 |     1141 |       95
697.09/697.20	c  696s |      19 |   565974 |   503482 |    19353     53 |     1141 |       95
699.29/699.48	c  698s |      19 |   567377 |   504882 |    19353     53 |     1141 |       95
702.98/703.13	c  702s |      19 |   568290 |   505782 |    19353     54 |     1141 |       95
705.09/705.21	c  704s |      19 |   570690 |   508182 |    19353     54 |     1141 |       95
707.08/707.27	c  706s |      19 |   573109 |   510582 |    19353     54 |     1141 |       95
709.08/709.30	c  708s |      19 |   575621 |   513082 |    19353     54 |     1141 |       95
711.18/711.35	c  710s |      19 |   577827 |   515282 |    19353     54 |     1141 |       95
713.18/713.36	c  712s |      19 |   579726 |   517182 |    19353     55 |     1141 |       95
715.18/715.38	c  714s |      19 |   582065 |   519482 |    19353     55 |     1141 |       95
717.28/717.46	c  716s |      19 |   584181 |   521582 |    19353     55 |     1141 |       95
719.39/719.55	c  718s |      19 |   586086 |   523482 |    19353     55 |     1141 |       95
721.38/721.55	c  720s |      19 |   587995 |   525382 |    19353     55 |     1141 |       95
726.88/727.05	c  726s |      19 |   588608 |   525982 |    19353     56 |     1141 |       95
728.88/729.06	c  728s |      19 |   591214 |   528582 |    19353     56 |     1141 |       95
730.88/731.07	c  730s |      19 |   593836 |   531182 |    19353     56 |     1141 |       95
732.98/733.12	c  732s |      19 |   596046 |   533382 |    19353     56 |     1141 |       95
734.98/735.13	c  734s |      19 |   597952 |   535282 |    19353     56 |     1141 |       95
736.98/737.17	c  736s |      19 |   599968 |   537282 |    19353     57 |     1141 |       95
739.08/739.21	c  738s |      19 |   602286 |   539582 |    19353     57 |     1141 |       95
741.17/741.31	c  740s |      19 |   604402 |   541682 |    19353     57 |     1141 |       95
743.17/743.36	c  742s |      19 |   606318 |   543582 |    19353     57 |     1141 |       95
745.27/745.44	c  744s |      19 |   608138 |   545382 |    19353     57 |     1141 |       95
749.88/750.00	c  749s |      19 |   609750 |   546982 |    19353     58 |     1141 |       95
751.88/752.04	c  751s |      19 |   612459 |   549682 |    19353     58 |     1141 |       95
754.98/755.12	c  754s |      19 |   613567 |   550782 |    19353     58 |     1141 |       95
757.08/757.25	c  756s |      19 |   615764 |   552982 |    19353     58 |     1141 |       95
759.08/759.27	c  758s |      19 |   617975 |   555182 |    19353     58 |     1141 |       95
761.18/761.32	c  760s |      19 |   619884 |   557082 |    19353     59 |     1141 |       95
769.08/769.29	c  768s |      19 |   621203 |   558382 |    19353     59 |     1141 |       95
771.18/771.33	c  770s |      19 |   623799 |   560982 |    19353     59 |     1141 |       95
773.18/773.39	c  772s |      19 |   626534 |   563682 |    19353     59 |     1141 |       95
775.28/775.40	c  774s |      19 |   628647 |   565782 |    19353     59 |     1141 |       95
777.27/777.42	c  776s |      19 |   630663 |   567782 |    19353     60 |     1141 |       95
779.27/779.43	c  778s |      19 |   632668 |   569782 |    19353     60 |     1141 |       95
781.77/781.94	c  780s |      19 |   633892 |   570982 |    19353     60 |     1141 |       95
783.87/784.02	c  783s |      19 |   636302 |   573382 |    19353     60 |     1141 |       95
785.97/786.11	c  785s |      19 |   638724 |   575782 |    19353     60 |     1141 |       95
787.97/788.11	c  787s |      19 |   640725 |   577782 |    19353     61 |     1141 |       95
789.97/790.14	c  789s |      19 |   642939 |   579982 |    19353     61 |     1141 |       95
791.98/792.19	c  791s |      19 |   645079 |   582082 |    19353     61 |     1141 |       95
795.77/795.95	c  794s |      19 |   646490 |   583482 |    19353     61 |     1141 |       95
797.76/797.98	c  797s |      19 |   648297 |   585282 |    19353     61 |     1141 |       95
799.86/800.09	c  799s |      19 |   650222 |   587182 |    19353     61 |     1141 |       95
801.96/802.10	c  801s |      19 |   652130 |   589082 |    19353     62 |     1141 |       95
803.97/804.13	c  803s |      19 |   654638 |   591582 |    19353     62 |     1141 |       95
805.96/806.18	c  805s |      19 |   656950 |   593882 |    19353     62 |     1141 |       95
808.06/808.22	c  807s |      19 |   658857 |   595782 |    19353     62 |     1141 |       95
810.06/810.22	c  809s |      19 |   660468 |   597382 |    19353     62 |     1141 |       95
812.06/812.22	c  811s |      19 |   662587 |   599482 |    19353     63 |     1141 |       95
814.06/814.23	c  813s |      19 |   665301 |   602182 |    19353     63 |     1141 |       95
816.06/816.26	c  815s |      19 |   667616 |   604482 |    19353     63 |     1141 |       95
818.16/818.32	c  817s |      19 |   669734 |   606582 |    19353     63 |     1141 |       95
820.16/820.38	c  819s |      19 |   671337 |   608182 |    19353     64 |     1141 |       95
823.86/824.06	c  823s |      19 |   671643 |   608482 |    19353     64 |     1141 |       95
825.96/826.11	c  825s |      19 |   674452 |   611282 |    19353     64 |     1141 |       95
827.95/828.17	c  827s |      19 |   676881 |   613682 |    19353     64 |     1141 |       95
830.05/830.22	c  829s |      19 |   679113 |   615882 |    19353     64 |     1141 |       95
832.05/832.27	c  831s |      19 |   681526 |   618282 |    19353     64 |     1141 |       95
834.15/834.34	c  833s |      19 |   683737 |   620482 |    19353     65 |     1141 |       95
836.56/836.74	c  835s |      19 |   684243 |   620982 |    19353     65 |     1141 |       95
838.56/838.79	c  837s |      19 |   686747 |   623482 |    19353     65 |     1141 |       95
840.66/840.88	c  839s |      19 |   689055 |   625782 |    19353     65 |     1141 |       95
842.76/842.92	c  841s |      19 |   691464 |   628182 |    19353     65 |     1141 |       95
844.76/844.97	c  844s |      19 |   693677 |   630382 |    19353     66 |     1141 |       95
846.86/847.02	c  846s |      19 |   696287 |   632982 |    19353     66 |     1141 |       95
848.85/849.05	c  848s |      19 |   697196 |   633882 |    19353     66 |     1141 |       95
854.66/854.82	c  853s |      19 |   698718 |   635382 |    19353     66 |     1141 |       95
856.65/856.89	c  855s |      19 |   701133 |   637782 |    19353     66 |     1141 |       95
858.75/858.90	c  857s |      19 |   702647 |   639282 |    19353     67 |     1141 |       95
860.75/860.91	c  859s |      19 |   705057 |   641682 |    19353     67 |     1141 |       95
862.75/862.97	c  862s |      19 |   708179 |   644782 |    19353     67 |     1141 |       95
864.75/864.97	c  864s |      19 |   710386 |   646982 |    19353     67 |     1141 |       95
867.05/867.23	c  866s |      19 |   712713 |   649282 |    19353     68 |     1141 |       95
869.05/869.26	c  868s |      19 |   715321 |   651882 |    19353     68 |     1141 |       95
871.16/871.32	c  870s |      19 |   717640 |   654182 |    19353     68 |     1141 |       95
873.15/873.39	c  872s |      19 |   719943 |   656482 |    19353     68 |     1141 |       95
875.95/876.18	c  875s |      19 |   721262 |   657782 |    19353     68 |     1141 |       95
878.05/878.24	c  877s |      19 |   722969 |   659482 |    19353     68 |     1141 |       95
880.05/880.25	c  879s |      19 |   724585 |   661082 |    19353     69 |     1141 |       95
882.05/882.27	c  881s |      19 |   727301 |   663782 |    21289     69 |     1141 |       95
884.14/884.30	c  883s |      19 |   729613 |   666082 |    21289     69 |     1141 |       95
884.84/885.02	c  884s |      20 |   730364 |   666827 |    21289     69 |     1141 |       95
886.84/887.03	c  886s |      20 |   731345 |   667727 |    21289     69 |     1141 |       95
888.84/889.07	c  888s |      20 |   732950 |   669327 |    21289     69 |     1141 |       95
891.04/891.23	c  890s |      20 |   734551 |   670927 |    21289     69 |     1141 |       95
893.05/893.28	c  892s |      20 |   735667 |   672027 |    21289     70 |     1141 |       95
895.04/895.28	c  894s |      20 |   736969 |   673327 |    21289     70 |     1141 |       95
897.14/897.30	c  896s |      20 |   738384 |   674727 |    21289     70 |     1141 |       95
899.14/899.36	c  898s |      20 |   740590 |   676927 |    21289     70 |     1141 |       95
901.24/901.41	c  900s |      20 |   742399 |   678727 |    21289     70 |     1141 |       95
903.24/903.44	c  902s |      20 |   744511 |   680827 |    21289     70 |     1141 |       95
905.34/905.54	c  904s |      20 |   746505 |   682827 |    21289     70 |     1141 |       95
907.45/907.61	c  906s |      20 |   747623 |   683927 |    21289     71 |     1141 |       95
909.44/909.65	c  908s |      20 |   749932 |   686227 |    21289     71 |     1141 |       95
911.44/911.69	c  910s |      20 |   752146 |   688427 |    21289     71 |     1141 |       95
913.54/913.75	c  912s |      20 |   754448 |   690727 |    21289     71 |     1141 |       95
915.64/915.83	c  914s |      20 |   756257 |   692527 |    21289     71 |     1141 |       95
917.64/917.83	c  916s |      20 |   757967 |   694227 |    21289     71 |     1141 |       95
919.64/919.86	c  918s |      20 |   759773 |   696027 |    21289     72 |     1141 |       95
921.74/921.90	c  920s |      20 |   761786 |   698027 |    21289     72 |     1141 |       95
923.73/923.94	c  922s |      20 |   763595 |   699827 |    21289     72 |     1141 |       95
925.73/925.96	c  924s |      20 |   765202 |   701427 |    21289     72 |     1141 |       95
927.83/928.04	c  927s |      20 |   766816 |   703027 |    21289     72 |     1141 |       95
929.83/930.07	c  929s |      20 |   768314 |   704527 |    21289     72 |     1141 |       95
932.03/932.22	c  931s |      20 |   769524 |   705727 |    21289     73 |     1141 |       95
938.43/938.64	c  937s |      20 |   770334 |   706527 |    21289     73 |     1141 |       95
940.44/940.67	c  939s |      20 |   772339 |   708527 |    21289     73 |     1141 |       95
942.43/942.69	c  941s |      20 |   774243 |   710427 |    21289     73 |     1141 |       95
944.53/944.74	c  943s |      20 |   775968 |   712127 |    21289     73 |     1141 |       95
946.53/946.78	c  945s |      20 |   778071 |   714227 |    21289     73 |     1141 |       95
948.63/948.86	c  947s |      20 |   780280 |   716427 |    21289     73 |     1141 |       95
953.92/954.15	c  953s |      20 |   780995 |   717127 |    21289     74 |     1141 |       95
955.92/956.15	c  955s |      20 |   783607 |   719727 |    21289     74 |     1141 |       95
957.93/958.18	c  957s |      20 |   786414 |   722527 |    21289     74 |     1141 |       95
960.02/960.25	c  959s |      20 |   788719 |   724827 |    21289     74 |     1141 |       95
962.12/962.34	c  961s |      20 |   790936 |   727027 |    21289     74 |     1141 |       95
964.12/964.37	c  963s |      20 |   793043 |   729127 |    21289     75 |     1141 |       95
966.12/966.37	c  965s |      20 |   794952 |   731027 |    21289     75 |     1141 |       95
968.12/968.38	c  967s |      20 |   797465 |   733527 |    21289     75 |     1141 |       95
970.22/970.42	c  969s |      20 |   799279 |   735327 |    21289     75 |     1141 |       95
972.32/972.52	c  971s |      20 |   801195 |   737227 |    21289     75 |     1141 |       95
976.91/977.10	c  976s |      20 |   802609 |   738627 |    21289     75 |     1141 |       95
984.12/984.37	c  983s |      20 |   803806 |   739827 |    21289     76 |     1141 |       95
986.12/986.38	c  985s |      20 |   806421 |   742427 |    21289     76 |     1141 |       95
988.12/988.39	c  987s |      20 |   809032 |   745027 |    21289     76 |     1141 |       95
990.22/990.41	c  989s |      20 |   811243 |   747227 |    21289     76 |     1141 |       95
992.22/992.48	c  991s |      20 |   813855 |   749827 |    21289     76 |     1141 |       95
994.32/994.54	c  993s |      20 |   815868 |   751827 |    21289     77 |     1141 |       95
996.31/996.54	c  995s |      20 |   818080 |   754027 |    21289     77 |     1141 |       95
998.31/998.56	c  997s |      20 |   820083 |   756027 |    21289     77 |     1141 |       95
1000.31/1000.57	c  999s |      20 |   822196 |   758127 |    21289     77 |     1141 |       95
1002.41/1002.64	c 1001s |      20 |   824103 |   760027 |    21289     77 |     1141 |       95
1004.51/1004.74	c 1003s |      20 |   825912 |   761827 |    21289     77 |     1141 |       95
1006.61/1006.83	c 1005s |      20 |   827220 |   763127 |    21289     78 |     1141 |       95
1008.61/1008.85	c 1007s |      20 |   829829 |   765727 |    21289     78 |     1141 |       95
1011.01/1011.21	c 1010s |      20 |   830441 |   766327 |    21289     78 |     1141 |       95
1014.12/1014.32	c 1013s |      20 |   830844 |   766727 |    21289     78 |     1141 |       95
1016.11/1016.34	c 1015s |      20 |   832856 |   768727 |    21289     78 |     1141 |       95
1018.11/1018.38	c 1017s |      20 |   835252 |   771127 |    21289     78 |     1141 |       95
1020.21/1020.46	c 1019s |      20 |   837060 |   772927 |    21289     78 |     1141 |       95
1022.31/1022.50	c 1021s |      20 |   838860 |   774727 |    21289     79 |     1141 |       95
1024.31/1024.59	c 1023s |      20 |   841109 |   776927 |    21289     79 |     1141 |       95
1026.40/1026.65	c 1025s |      20 |   843034 |   778827 |    21289     79 |     1141 |       95
1028.41/1028.66	c 1027s |      20 |   845437 |   781227 |    21289     79 |     1141 |       95
1030.40/1030.66	c 1029s |      20 |   847548 |   783327 |    21289     79 |     1141 |       95
1032.50/1032.71	c 1031s |      20 |   849762 |   785527 |    21289     80 |     1141 |       95
1034.50/1034.74	c 1033s |      20 |   852573 |   788327 |    21289     80 |     1141 |       95
1036.60/1036.81	c 1035s |      20 |   855182 |   790927 |    21289     80 |     1141 |       95
1038.60/1038.87	c 1037s |      20 |   857896 |   793627 |    21289     80 |     1141 |       95
1040.69/1040.96	c 1039s |      20 |   859996 |   795727 |    21289     81 |     1141 |       95
1042.79/1043.02	c 1042s |      20 |   861908 |   797627 |    21289     81 |     1141 |       95
1044.80/1045.08	c 1044s |      20 |   864920 |   800627 |    21289     81 |     1141 |       95
1046.89/1047.17	c 1046s |      20 |   867437 |   803127 |    21289     81 |     1141 |       95
1048.99/1049.24	c 1048s |      20 |   869744 |   805427 |    21289     81 |     1141 |       95
1050.99/1051.28	c 1050s |      20 |   871952 |   807627 |    21289     82 |     1141 |       95
1053.09/1053.37	c 1052s |      20 |   874162 |   809827 |    21289     82 |     1141 |       95
1056.50/1056.77	c 1055s |      20 |   874275 |   809927 |    21289     82 |     1141 |       95
1058.60/1058.84	c 1057s |      20 |   876486 |   812127 |    21289     82 |     1141 |       95
1060.70/1060.94	c 1059s |      20 |   878694 |   814327 |    21289     82 |     1141 |       95
1062.70/1062.98	c 1062s |      20 |   881102 |   816727 |    21289     82 |     1141 |       95
1064.80/1065.05	c 1064s |      20 |   883222 |   818827 |    21289     83 |     1141 |       95
1066.90/1067.13	c 1066s |      20 |   885720 |   821327 |    21289     83 |     1141 |       95
1072.09/1072.36	c 1071s |      20 |   886131 |   821727 |    21289     83 |     1141 |       95
1079.49/1079.73	c 1078s |      20 |   887438 |   823027 |    21289     83 |     1141 |       95
1081.49/1081.76	c 1080s |      20 |   889839 |   825427 |    21289     83 |     1141 |       95
1083.59/1083.81	c 1082s |      20 |   892358 |   827927 |    21289     83 |     1141 |       95
1085.60/1085.85	c 1084s |      20 |   894169 |   829727 |    21289     84 |     1141 |       95
1087.69/1087.93	c 1086s |      20 |   897088 |   832627 |    21289     84 |     1141 |       95
1089.68/1089.94	c 1088s |      20 |   898500 |   834027 |    21289     84 |     1141 |       95
1091.78/1092.02	c 1091s |      20 |   900913 |   836427 |    21289     84 |     1141 |       95
1093.78/1094.04	c 1093s |      20 |   903528 |   839027 |    21289     84 |     1141 |       95
1095.78/1096.08	c 1095s |      20 |   905552 |   841027 |    21289     85 |     1141 |       95
1097.88/1098.15	c 1097s |      20 |   908161 |   843627 |    21289     85 |     1141 |       95
1099.98/1100.20	c 1099s |      20 |   909880 |   845327 |    21289     85 |     1141 |       95
1101.99/1102.29	c 1101s |      20 |   912281 |   847727 |    21289     85 |     1141 |       95
1104.08/1104.32	c 1103s |      20 |   914294 |   849727 |    21289     85 |     1141 |       95
1106.18/1106.41	c 1105s |      20 |   916609 |   852027 |    21289     85 |     1141 |       95
1108.18/1108.43	c 1107s |      20 |   918914 |   854327 |    21289     86 |     1141 |       95
1110.28/1110.50	c 1109s |      20 |   921528 |   856927 |    21289     86 |     1141 |       95
1112.27/1112.52	c 1111s |      20 |   923934 |   859327 |    21289     86 |     1141 |       95
1114.27/1114.55	c 1113s |      20 |   925341 |   860727 |    21289     86 |     1141 |       95
1116.28/1116.58	c 1115s |      20 |   927352 |   862727 |    21289     86 |     1141 |       95
1118.37/1118.66	c 1117s |      20 |   929164 |   864527 |    21289     87 |     1141 |       95
1120.48/1120.75	c 1119s |      20 |   929875 |   865227 |    21289     87 |     1141 |       95
1122.48/1122.77	c 1121s |      20 |   932792 |   868127 |    21289     87 |     1141 |       95
1124.58/1124.84	c 1123s |      20 |   935305 |   870627 |    21289     87 |     1141 |       95
1126.57/1126.85	c 1125s |      20 |   937311 |   872627 |    21289     87 |     1141 |       95
1128.67/1128.93	c 1127s |      20 |   939316 |   874627 |    21289     88 |     1141 |       95
1130.68/1130.95	c 1129s |      20 |   941629 |   876927 |    21289     88 |     1141 |       95
1133.27/1133.56	c 1132s |      20 |   941744 |   877027 |    21289     88 |     1141 |       95
1135.37/1135.64	c 1134s |      20 |   943942 |   879227 |    21289     88 |     1141 |       95
1137.36/1137.68	c 1136s |      20 |   946565 |   881827 |    21289     88 |     1141 |       95
1139.37/1139.70	c 1138s |      20 |   948785 |   884027 |    21289     88 |     1141 |       95
1141.47/1141.73	c 1140s |      20 |   950896 |   886127 |    21289     89 |     1141 |       95
1143.47/1143.77	c 1142s |      20 |   953613 |   888827 |    21289     89 |     1141 |       95
1145.57/1145.82	c 1144s |      20 |   956331 |   891527 |    21289     89 |     1141 |       95
1147.57/1147.83	c 1146s |      20 |   958948 |   894127 |    21289     89 |     1141 |       95
1149.57/1149.89	c 1148s |      20 |   961166 |   896327 |    21289     89 |     1141 |       95
1151.67/1151.93	c 1150s |      20 |   962763 |   897927 |    21289     90 |     1141 |       95
1153.77/1154.08	c 1153s |      20 |   964674 |   899827 |    21289     90 |     1141 |       95
1155.87/1156.11	c 1155s |      20 |   966884 |   902027 |    21289     90 |     1141 |       95
1157.86/1158.19	c 1157s |      20 |   969001 |   904127 |    21289     90 |     1141 |       95
1159.96/1160.22	c 1159s |      20 |   970100 |   905227 |    21289     90 |     1141 |       95
1161.96/1162.26	c 1161s |      20 |   972921 |   908027 |    21289     90 |     1141 |       95
1163.96/1164.28	c 1163s |      20 |   975532 |   910627 |    21289     91 |     1141 |       95
1166.06/1166.31	c 1165s |      20 |   978344 |   913427 |    21289     91 |     1141 |       95
1168.06/1168.36	c 1167s |      20 |   980655 |   915727 |    21289     91 |     1141 |       95
1170.16/1170.41	c 1169s |      20 |   982761 |   917827 |    21289     91 |     1141 |       95
1172.16/1172.41	c 1171s |      20 |   983867 |   918927 |    21289     91 |     1141 |       95
1174.16/1174.44	c 1173s |      20 |   985783 |   920827 |    21289     92 |     1141 |       95
1176.25/1176.51	c 1175s |      20 |   988697 |   923727 |    21289     92 |     1141 |       95
1178.25/1178.56	c 1177s |      20 |   991109 |   926127 |    21289     92 |     1141 |       95
1180.35/1180.63	c 1179s |      20 |   993026 |   928027 |    21289     92 |     1141 |       95
1182.36/1182.65	c 1181s |      20 |   994631 |   929627 |    21289     92 |     1141 |       95
1184.35/1184.69	c 1183s |      20 |   996443 |   931427 |    21289     93 |     1141 |       95
1186.45/1186.72	c 1185s |      20 |   999153 |   934127 |    21289     93 |     1141 |       95
1188.45/1188.77	c 1187s |      20 |  1001557 |   936527 |    21289     93 |     1141 |       95
1190.55/1190.88	c 1189s |      20 |  1003966 |   938927 |    21289     93 |     1141 |       95
1192.65/1192.90	c 1191s |      20 |  1006082 |   941027 |    21289     93 |     1141 |       95
1194.65/1194.93	c 1193s |      20 |  1007486 |   942427 |    21289     94 |     1141 |       95
1197.15/1197.45	c 1196s |      20 |  1009102 |   944027 |    21289     94 |     1141 |       95
1199.15/1199.48	c 1198s |      20 |  1011609 |   946527 |    21289     94 |     1141 |       95
1201.25/1201.53	c 1200s |      20 |  1013921 |   948827 |    21289     94 |     1141 |       95
1203.25/1203.58	c 1202s |      20 |  1015934 |   950827 |    21289     94 |     1141 |       95
1205.24/1205.59	c 1204s |      20 |  1016446 |   951327 |    21289     94 |     1141 |       95
1208.05/1208.38	c 1207s |      20 |  1016544 |   951427 |    21289     94 |     1141 |       95
1210.15/1210.41	c 1209s |      20 |  1017949 |   952827 |    21289     94 |     1141 |       95
1212.95/1213.26	c 1212s |      20 |  1018653 |   953527 |    21289     95 |     1141 |       95
1214.95/1215.30	c 1214s |      20 |  1020358 |   955227 |    21289     95 |     1141 |       95
1217.05/1217.34	c 1216s |      20 |  1022874 |   957727 |    21289     95 |     1141 |       95
1219.04/1219.35	c 1218s |      20 |  1025191 |   960027 |    21289     95 |     1141 |       95
1221.04/1221.38	c 1220s |      20 |  1027390 |   962227 |    21289     95 |     1141 |       95
1223.14/1223.43	c 1222s |      20 |  1029201 |   964027 |    21289     95 |     1141 |       95
1225.15/1225.45	c 1224s |      20 |  1031214 |   966027 |    21289     96 |     1141 |       95
1227.24/1227.52	c 1226s |      20 |  1033824 |   968627 |    21289     96 |     1141 |       95
1229.24/1229.55	c 1228s |      20 |  1036238 |   971027 |    21289     96 |     1141 |       95
1231.24/1231.58	c 1230s |      20 |  1038142 |   972927 |    21289     96 |     1141 |       95
1233.34/1233.61	c 1232s |      20 |  1040050 |   974827 |    21289     96 |     1141 |       95
1235.94/1236.27	c 1235s |      20 |  1041464 |   976227 |    21289     97 |     1141 |       95
1238.04/1238.34	c 1237s |      20 |  1043969 |   978727 |    21289     97 |     1141 |       95
1240.04/1240.37	c 1239s |      20 |  1046286 |   981027 |    21289     97 |     1141 |       95
1242.13/1242.44	c 1241s |      20 |  1048292 |   983027 |    21289     97 |     1141 |       95
1245.04/1245.33	c 1244s |      20 |  1049200 |   983927 |    21289     97 |     1141 |       95
1247.03/1247.33	c 1246s |      20 |  1050605 |   985327 |    21289     97 |     1141 |       95
1249.03/1249.34	c 1248s |      20 |  1052106 |   986827 |    21289     97 |     1141 |       95
1251.64/1251.99	c 1251s |      20 |  1053820 |   988527 |    21289     98 |     1141 |       95
1253.63/1253.99	c 1253s |      20 |  1056839 |   991527 |    21289     98 |     1141 |       95
1255.73/1256.06	c 1255s |      20 |  1059451 |   994127 |    23418     98 |     1141 |       95
1257.83/1258.14	c 1257s |      20 |  1061661 |   996327 |    23418     98 |     1141 |       95
1259.83/1260.18	c 1259s |      20 |  1063969 |   998627 |    23418     98 |     1141 |       95
1265.53/1265.81	c 1264s |      20 |  1065089 |   999727 |    23418     98 |     1141 |       95
1266.53/1266.89	c 1265s |      21 |  1065706 |  1000345 |    23418     98 |     1141 |       95
1268.53/1268.89	c 1267s |      21 |  1066283 |  1000845 |    23418     99 |     1141 |       95
1270.63/1270.90	c 1269s |      21 |  1068591 |  1003145 |    23418     99 |     1141 |       95
1272.63/1272.97	c 1272s |      21 |  1071112 |  1005645 |    23418     99 |     1141 |       95
1274.73/1275.03	c 1274s |      21 |  1073121 |  1007645 |    23418     99 |     1141 |       95
1276.72/1277.06	c 1276s |      21 |  1075134 |  1009645 |    23418     99 |     1141 |       95
1278.82/1279.15	c 1278s |      21 |  1076845 |  1011345 |    23418     99 |     1141 |       95
1281.33/1281.64	c 1280s |      21 |  1078548 |  1013045 |    23418    100 |     1141 |       95
1283.43/1283.73	c 1282s |      21 |  1080657 |  1015145 |    23418    100 |     1141 |       95
1285.42/1285.75	c 1284s |      21 |  1082261 |  1016745 |    23418    100 |     1141 |       95
1287.52/1287.82	c 1286s |      21 |  1084071 |  1018545 |    23418    100 |     1141 |       95
1289.52/1289.85	c 1288s |      21 |  1085980 |  1020445 |    23418    100 |     1141 |       95
1295.52/1295.82	c 1294s |      21 |  1087293 |  1021745 |    23418    100 |     1141 |       95
1297.51/1297.86	c 1296s |      21 |  1089000 |  1023445 |    23418    100 |     1141 |       95
1299.81/1300.14	c 1299s |      21 |  1090909 |  1025345 |    23418    101 |     1141 |       95
1301.81/1302.19	c 1301s |      21 |  1092818 |  1027245 |    23418    101 |     1141 |       95
1303.92/1304.24	c 1303s |      21 |  1095328 |  1029745 |    23418    101 |     1141 |       95
1306.02/1306.31	c 1305s |      21 |  1097442 |  1031845 |    23418    101 |     1141 |       95
1308.02/1308.32	c 1307s |      21 |  1099248 |  1033645 |    23418    101 |     1141 |       95
1310.02/1310.35	c 1309s |      21 |  1100951 |  1035345 |    23418    101 |     1141 |       95
1312.13/1312.46	c 1311s |      21 |  1102554 |  1036945 |    23418    101 |     1141 |       95
1314.23/1314.52	c 1313s |      21 |  1103868 |  1038245 |    23418    102 |     1141 |       95
1316.42/1316.80	c 1315s |      21 |  1104674 |  1039045 |    23418    102 |     1141 |       95
1318.52/1318.87	c 1317s |      21 |  1107082 |  1041445 |    23418    102 |     1141 |       95
1320.72/1321.07	c 1320s |      21 |  1109394 |  1043745 |    23418    102 |     1141 |       95
1322.72/1323.10	c 1322s |      21 |  1111306 |  1045645 |    23418    102 |     1141 |       95
1324.82/1325.18	c 1324s |      21 |  1113015 |  1047345 |    23418    102 |     1141 |       95
1327.01/1327.30	c 1326s |      21 |  1114520 |  1048845 |    23418    102 |     1141 |       95
1329.01/1329.37	c 1328s |      21 |  1115725 |  1050045 |    23418    103 |     1141 |       95
1334.81/1335.16	c 1334s |      21 |  1117530 |  1051845 |    23418    103 |     1141 |       95
1336.81/1337.18	c 1336s |      21 |  1119947 |  1054245 |    23418    103 |     1141 |       95
1338.91/1339.22	c 1338s |      21 |  1122356 |  1056645 |    23418    103 |     1141 |       95
1349.10/1349.48	c 1348s |      21 |  1123964 |  1058245 |    23418    103 |     1141 |       95
1351.20/1351.59	c 1350s |      21 |  1125471 |  1059745 |    23418    103 |     1141 |       95
1353.30/1353.66	c 1352s |      21 |  1127376 |  1061645 |    23418    103 |     1141 |       95
1355.40/1355.72	c 1354s |      21 |  1129177 |  1063445 |    23418    104 |     1141 |       95
1357.50/1357.82	c 1356s |      21 |  1131492 |  1065745 |    23418    104 |     1141 |       95
1359.60/1359.91	c 1358s |      21 |  1133601 |  1067845 |    23418    104 |     1141 |       95
1361.60/1361.93	c 1360s |      21 |  1135108 |  1069345 |    23418    104 |     1141 |       95
1363.70/1364.04	c 1363s |      21 |  1137119 |  1071345 |    23418    104 |     1141 |       95
1365.79/1366.16	c 1365s |      21 |  1138925 |  1073145 |    23418    104 |     1141 |       95
1368.10/1368.42	c 1367s |      21 |  1140530 |  1074745 |    23418    105 |     1141 |       95
1370.19/1370.50	c 1369s |      21 |  1142546 |  1076745 |    23418    105 |     1141 |       95
1374.19/1374.53	c 1373s |      21 |  1143949 |  1078145 |    23418    105 |     1141 |       95
1376.18/1376.58	c 1375s |      21 |  1145754 |  1079945 |    23418    105 |     1141 |       95
1378.29/1378.67	c 1377s |      21 |  1147777 |  1081945 |    23418    105 |     1141 |       95
1380.39/1380.76	c 1379s |      21 |  1149889 |  1084045 |    23418    105 |     1141 |       95
1382.50/1382.87	c 1381s |      21 |  1151593 |  1085745 |    23418    105 |     1141 |       95
1384.49/1384.90	c 1383s |      21 |  1153106 |  1087245 |    23418    106 |     1141 |       95
1386.59/1386.97	c 1386s |      21 |  1155324 |  1089445 |    23418    106 |     1141 |       95
1392.48/1392.81	c 1391s |      21 |  1157344 |  1091445 |    23418    106 |     1141 |       95
1394.49/1394.86	c 1393s |      21 |  1158446 |  1092545 |    23418    106 |     1141 |       95
1396.48/1396.88	c 1395s |      21 |  1161157 |  1095245 |    23418    106 |     1141 |       95
1398.58/1398.91	c 1397s |      21 |  1163673 |  1097745 |    23418    106 |     1141 |       95
1401.09/1401.46	c 1400s |      21 |  1165383 |  1099445 |    23418    107 |     1141 |       95
1403.18/1403.54	c 1402s |      21 |  1167984 |  1102045 |    23418    107 |     1141 |       95
1405.18/1405.55	c 1404s |      21 |  1170097 |  1104145 |    23418    107 |     1141 |       95
1407.28/1407.60	c 1406s |      21 |  1172609 |  1106645 |    23418    107 |     1141 |       95
1409.28/1409.61	c 1408s |      21 |  1174726 |  1108745 |    23418    107 |     1141 |       95
1411.28/1411.64	c 1410s |      21 |  1176235 |  1110245 |    23418    107 |     1141 |       95
1413.29/1413.68	c 1412s |      21 |  1178045 |  1112045 |    23418    108 |     1141 |       95
1415.38/1415.74	c 1414s |      21 |  1180591 |  1114545 |    23418    108 |     1141 |       95
1417.48/1417.80	c 1416s |      21 |  1182710 |  1116645 |    23418    108 |     1141 |       95
1420.48/1420.88	c 1419s |      21 |  1183034 |  1116945 |    23418    108 |     1141 |       95
1422.58/1422.90	c 1421s |      21 |  1185340 |  1119245 |    23418    108 |     1141 |       95
1424.58/1424.97	c 1424s |      21 |  1187360 |  1121245 |    23418    108 |     1141 |       95
1426.58/1426.98	c 1426s |      21 |  1189370 |  1123245 |    23418    108 |     1141 |       95
1428.68/1429.05	c 1428s |      21 |  1191686 |  1125545 |    23418    109 |     1141 |       95
1430.67/1431.05	c 1430s |      21 |  1194205 |  1128045 |    23418    109 |     1141 |       95
1432.77/1433.15	c 1432s |      21 |  1196426 |  1130245 |    23418    109 |     1141 |       95
1435.37/1435.75	c 1434s |      21 |  1198746 |  1132545 |    23418    109 |     1141 |       95
1437.38/1437.75	c 1436s |      21 |  1200755 |  1134545 |    23418    109 |     1141 |       95
1439.68/1440.07	c 1439s |      21 |  1202655 |  1136445 |    23418    110 |     1141 |       95
1441.78/1442.12	c 1441s |      21 |  1205167 |  1138945 |    23418    110 |     1141 |       95
1443.77/1444.18	c 1443s |      21 |  1207789 |  1141545 |    23418    110 |     1141 |       95
1445.87/1446.27	c 1445s |      21 |  1210007 |  1143745 |    23418    110 |     1141 |       95
1447.97/1448.31	c 1447s |      21 |  1212115 |  1145845 |    23418    110 |     1141 |       95
1450.07/1450.40	c 1449s |      21 |  1214231 |  1147945 |    23418    110 |     1141 |       95
1452.07/1452.42	c 1451s |      21 |  1216141 |  1149845 |    23418    111 |     1141 |       95
1454.27/1454.64	c 1453s |      21 |  1217860 |  1151545 |    23418    111 |     1141 |       95
1456.37/1456.74	c 1455s |      21 |  1220281 |  1153945 |    23418    111 |     1141 |       95
1458.37/1458.77	c 1457s |      21 |  1222293 |  1155945 |    23418    111 |     1141 |       95
1460.47/1460.84	c 1459s |      21 |  1224307 |  1157945 |    23418    111 |     1141 |       95
1462.57/1462.92	c 1461s |      21 |  1226013 |  1159645 |    23418    111 |     1141 |       95
1465.07/1465.40	c 1464s |      21 |  1227415 |  1161045 |    23418    112 |     1141 |       95
1467.07/1467.42	c 1466s |      21 |  1229842 |  1163445 |    23418    112 |     1141 |       95
1469.16/1469.52	c 1468s |      21 |  1232476 |  1166045 |    23418    112 |     1141 |       95
1473.36/1473.72	c 1472s |      21 |  1233204 |  1166745 |    23418    112 |     1141 |       95
1481.26/1481.65	c 1480s |      21 |  1233306 |  1166845 |    23418    112 |     1141 |       95
1483.26/1483.65	c 1482s |      21 |  1235526 |  1169045 |    23418    112 |     1141 |       95
1485.36/1485.75	c 1484s |      21 |  1237636 |  1171145 |    23418    112 |     1141 |       95
1487.46/1487.83	c 1486s |      21 |  1239557 |  1173045 |    23418    112 |     1141 |       95
1489.46/1489.84	c 1488s |      21 |  1241268 |  1174745 |    23418    113 |     1141 |       95
1491.46/1491.86	c 1490s |      21 |  1244089 |  1177545 |    23418    113 |     1141 |       95
1493.57/1493.93	c 1492s |      21 |  1246804 |  1180245 |    23418    113 |     1141 |       95
1495.56/1495.98	c 1495s |      21 |  1248815 |  1182245 |    23418    113 |     1141 |       95
1497.66/1498.00	c 1497s |      21 |  1250716 |  1184145 |    23418    113 |     1141 |       95
1500.06/1500.47	c 1499s |      21 |  1252334 |  1185745 |    23418    114 |     1141 |       95
1502.06/1502.49	c 1501s |      21 |  1254451 |  1187845 |    23418    114 |     1141 |       95
1505.46/1505.89	c 1504s |      21 |  1255768 |  1189145 |    23418    114 |     1141 |       95
1507.56/1507.96	c 1506s |      21 |  1257783 |  1191145 |    23418    114 |     1141 |       95
1509.56/1509.97	c 1509s |      21 |  1259889 |  1193245 |    23418    114 |     1141 |       95
1511.66/1512.04	c 1511s |      21 |  1262001 |  1195345 |    23418    114 |     1141 |       95
1513.76/1514.10	c 1513s |      21 |  1263705 |  1197045 |    23418    114 |     1141 |       95
1515.76/1516.10	c 1515s |      21 |  1265012 |  1198345 |    23418    115 |     1141 |       95
1517.76/1518.14	c 1517s |      21 |  1267313 |  1200645 |    23418    115 |     1141 |       95
1524.37/1524.75	c 1523s |      21 |  1267738 |  1201045 |    23418    115 |     1141 |       95
1526.36/1526.77	c 1525s |      21 |  1269850 |  1203145 |    23418    115 |     1141 |       95
1528.46/1528.82	c 1527s |      21 |  1272056 |  1205345 |    23418    115 |     1141 |       95
1530.46/1530.85	c 1529s |      21 |  1274280 |  1207545 |    23418    115 |     1141 |       95
1532.46/1532.87	c 1531s |      21 |  1276092 |  1209345 |    23418    115 |     1141 |       95
1534.56/1534.91	c 1533s |      21 |  1277695 |  1210945 |    23418    116 |     1141 |       95
1536.56/1536.96	c 1535s |      21 |  1280015 |  1213245 |    23418    116 |     1141 |       95
1538.66/1539.01	c 1538s |      21 |  1282628 |  1215845 |    23418    116 |     1141 |       95
1545.55/1545.92	c 1544s |      21 |  1284846 |  1218045 |    23418    116 |     1141 |       95
1547.55/1547.97	c 1547s |      21 |  1286653 |  1219845 |    23418    116 |     1141 |       95
1549.66/1550.03	c 1549s |      21 |  1288968 |  1222145 |    23418    116 |     1141 |       95
1551.86/1552.22	c 1551s |      21 |  1290284 |  1223445 |    23418    117 |     1141 |       95
1553.86/1554.26	c 1553s |      21 |  1292690 |  1225845 |    23418    117 |     1141 |       95
1555.86/1556.28	c 1555s |      21 |  1294904 |  1228045 |    23418    117 |     1141 |       95
1557.96/1558.32	c 1557s |      21 |  1296912 |  1230045 |    23418    117 |     1141 |       95
1560.05/1560.41	c 1559s |      21 |  1299022 |  1232145 |    23418    117 |     1141 |       95
1562.15/1562.53	c 1561s |      21 |  1300836 |  1233945 |    23418    117 |     1141 |       95
1564.15/1564.55	c 1563s |      21 |  1302341 |  1235445 |    23418    118 |     1141 |       95
1566.25/1566.61	c 1565s |      21 |  1302441 |  1235545 |    23418    118 |     1141 |       95
1568.26/1568.67	c 1567s |      21 |  1304445 |  1237545 |    23418    118 |     1141 |       95
1570.35/1570.73	c 1569s |      21 |  1306957 |  1240045 |    23418    118 |     1141 |       95
1572.35/1572.79	c 1571s |      21 |  1309073 |  1242145 |    23418    118 |     1141 |       95
1586.54/1586.97	c 1586s |      21 |  1309192 |  1242245 |    23418    118 |     1141 |       95
1588.64/1589.02	c 1588s |      21 |  1311413 |  1244445 |    23418    118 |     1141 |       95
1590.74/1591.10	c 1590s |      21 |  1313122 |  1246145 |    23418    118 |     1141 |       95
1592.75/1593.17	c 1592s |      21 |  1314432 |  1247445 |    23418    119 |     1141 |       95
1594.76/1595.19	c 1594s |      21 |  1317139 |  1250145 |    23418    119 |     1141 |       95
1596.86/1597.25	c 1596s |      21 |  1319052 |  1252045 |    23418    119 |     1141 |       95
1598.95/1599.33	c 1598s |      21 |  1321359 |  1254345 |    23418    119 |     1141 |       95
1601.05/1601.41	c 1600s |      21 |  1323874 |  1256845 |    23418    119 |     1141 |       95
1603.05/1603.44	c 1602s |      21 |  1326284 |  1259245 |    23418    119 |     1141 |       95
1605.05/1605.49	c 1604s |      21 |  1327990 |  1260945 |    23418    120 |     1141 |       95
1607.15/1607.50	c 1606s |      21 |  1330704 |  1263645 |    23418    120 |     1141 |       95
1610.34/1610.73	c 1609s |      21 |  1333120 |  1266045 |    23418    120 |     1141 |       95
1612.35/1612.74	c 1611s |      21 |  1334922 |  1267845 |    23418    120 |     1141 |       95
1614.34/1614.76	c 1613s |      21 |  1336734 |  1269645 |    23418    120 |     1141 |       95
1616.44/1616.82	c 1615s |      21 |  1338735 |  1271645 |    23418    120 |     1141 |       95
1618.44/1618.82	c 1617s |      21 |  1340243 |  1273145 |    23418    121 |     1141 |       95
1620.44/1620.87	c 1619s |      21 |  1342861 |  1275745 |    23418    121 |     1141 |       95
1622.54/1622.96	c 1621s |      21 |  1345370 |  1278245 |    23418    121 |     1141 |       95
1624.64/1625.05	c 1624s |      21 |  1347584 |  1280445 |    23418    121 |     1141 |       95
1626.64/1627.06	c 1626s |      21 |  1349722 |  1282545 |    23418    121 |     1141 |       95
1632.44/1632.81	c 1631s |      21 |  1350740 |  1283545 |    23418    121 |     1141 |       95
1634.44/1634.85	c 1633s |      21 |  1352343 |  1285145 |    23418    122 |     1141 |       95
1636.44/1636.89	c 1635s |      21 |  1355364 |  1288145 |    23418    122 |     1141 |       95
1639.54/1639.99	c 1639s |      21 |  1357775 |  1290545 |    23418    122 |     1141 |       95
1641.64/1642.01	c 1641s |      21 |  1359978 |  1292745 |    23418    122 |     1141 |       95
1643.64/1644.05	c 1643s |      21 |  1362496 |  1295245 |    23418    122 |     1141 |       95
1645.73/1646.19	c 1645s |      21 |  1364214 |  1296945 |    23418    123 |     1141 |       95
1647.73/1648.19	c 1647s |      21 |  1367034 |  1299745 |    23418    123 |     1141 |       95
1650.63/1651.02	c 1650s |      21 |  1368653 |  1301345 |    23418    123 |     1141 |       95
1652.74/1653.10	c 1652s |      21 |  1369786 |  1302445 |    23418    123 |     1141 |       95
1654.74/1655.14	c 1654s |      21 |  1372000 |  1304645 |    23418    123 |     1141 |       95
1656.74/1657.18	c 1656s |      21 |  1374119 |  1306745 |    23418    123 |     1141 |       95
1658.84/1659.26	c 1658s |      21 |  1376358 |  1308945 |    23418    123 |     1141 |       95
1661.74/1662.14	c 1661s |      21 |  1378064 |  1310645 |    23418    124 |     1141 |       95
1663.74/1664.16	c 1663s |      21 |  1380778 |  1313345 |    23418    124 |     1141 |       95
1665.84/1666.22	c 1665s |      21 |  1383289 |  1315845 |    23418    124 |     1141 |       95
1667.84/1668.27	c 1667s |      21 |  1385600 |  1318145 |    23418    124 |     1141 |       95
1669.94/1670.38	c 1669s |      21 |  1387813 |  1320345 |    23418    124 |     1141 |       95
1672.03/1672.47	c 1671s |      21 |  1389520 |  1322045 |    23418    125 |     1141 |       95
1674.03/1674.49	c 1673s |      21 |  1392140 |  1324645 |    23418    125 |     1141 |       95
1676.04/1676.49	c 1675s |      21 |  1394158 |  1326645 |    23418    125 |     1141 |       95
1678.13/1678.58	c 1677s |      21 |  1396783 |  1329245 |    23418    125 |     1141 |       95
1680.13/1680.60	c 1679s |      21 |  1398883 |  1331345 |    23418    125 |     1141 |       95
1682.64/1683.03	c 1682s |      21 |  1399096 |  1331545 |    23418    125 |     1141 |       95
1687.14/1687.52	c 1686s |      21 |  1400105 |  1332545 |    23418    125 |     1141 |       95
1689.13/1689.56	c 1688s |      21 |  1401610 |  1334045 |    23418    126 |     1141 |       95
1696.23/1696.64	c 1695s |      21 |  1403716 |  1336145 |    23418    126 |     1141 |       95
1698.23/1698.68	c 1697s |      21 |  1406533 |  1338945 |    23418    126 |     1141 |       95
1700.34/1700.75	c 1699s |      21 |  1409250 |  1341645 |    23418    126 |     1141 |       95
1702.44/1702.82	c 1701s |      21 |  1411565 |  1343945 |    23418    126 |     1141 |       95
1704.43/1704.87	c 1703s |      21 |  1413676 |  1346045 |    23418    126 |     1141 |       95
1706.43/1706.89	c 1705s |      21 |  1415606 |  1347945 |    23418    127 |     1141 |       95
1708.53/1708.91	c 1707s |      21 |  1417014 |  1349345 |    23418    127 |     1141 |       95
1710.53/1710.91	c 1709s |      21 |  1419523 |  1351845 |    23418    127 |     1141 |       95
1712.53/1712.92	c 1711s |      21 |  1422138 |  1354445 |    23418    127 |     1141 |       95
1714.64/1715.02	c 1714s |      21 |  1424545 |  1356845 |    23418    127 |     1141 |       95
1716.74/1717.14	c 1716s |      21 |  1426261 |  1358545 |    23418    128 |     1141 |       95
1718.83/1719.20	c 1718s |      21 |  1429063 |  1361345 |    23418    128 |     1141 |       95
1720.83/1721.28	c 1720s |      21 |  1431477 |  1363745 |    23418    128 |     1141 |       95
1722.93/1723.32	c 1722s |      21 |  1433893 |  1366145 |    23418    128 |     1141 |       95
1724.93/1725.39	c 1724s |      21 |  1436205 |  1368445 |    23418    128 |     1141 |       95
1727.03/1727.42	c 1726s |      21 |  1438158 |  1370345 |    23418    128 |     1141 |       95
1729.03/1729.49	c 1728s |      21 |  1438960 |  1371145 |    23418    129 |     1141 |       95
1731.03/1731.49	c 1730s |      21 |  1441276 |  1373445 |    23418    129 |     1141 |       95
1733.12/1733.59	c 1732s |      21 |  1443788 |  1375945 |    23418    129 |     1141 |       95
1735.22/1735.60	c 1734s |      21 |  1446315 |  1378445 |    23418    129 |     1141 |       95
1737.22/1737.63	c 1736s |      21 |  1448049 |  1380145 |    23418    129 |     1141 |       95
1739.32/1739.75	c 1738s |      21 |  1449871 |  1381945 |    23418    129 |     1141 |       95
1741.32/1741.78	c 1740s |      21 |  1451188 |  1383245 |    23418    130 |     1141 |       95
1743.42/1743.83	c 1742s |      21 |  1453830 |  1385845 |    23418    130 |     1141 |       95
1745.43/1745.87	c 1744s |      21 |  1456252 |  1388245 |    23418    130 |     1141 |       95
1747.53/1747.91	c 1746s |      21 |  1457956 |  1389945 |    23418    130 |     1141 |       95
1749.52/1749.92	c 1748s |      21 |  1459774 |  1391745 |    23418    130 |     1141 |       95
1753.53/1753.91	c 1752s |      21 |  1460979 |  1392945 |    23418    130 |     1141 |       95
1757.72/1758.13	c 1757s |      21 |  1461588 |  1393545 |    23418    130 |     1141 |       95
1759.73/1760.13	c 1759s |      21 |  1463395 |  1395345 |    23418    130 |     1141 |       95
1761.72/1762.19	c 1761s |      21 |  1463903 |  1395845 |    23418    131 |     1141 |       95
1763.82/1764.24	c 1763s |      21 |  1466816 |  1398745 |    23418    131 |     1141 |       95
1765.82/1766.29	c 1765s |      21 |  1469225 |  1401145 |    23418    131 |     1141 |       95
1767.92/1768.32	c 1767s |      21 |  1471334 |  1403245 |    23418    131 |     1141 |       95
1769.92/1770.32	c 1769s |      21 |  1473153 |  1405045 |    23418    131 |     1141 |       95
1771.92/1772.37	c 1771s |      21 |  1475264 |  1407145 |    23418    131 |     1141 |       95
1774.12/1774.50	c 1773s |      21 |  1477375 |  1409245 |    23418    132 |     1141 |       95
1776.13/1776.57	c 1775s |      21 |  1479981 |  1411845 |    23418    132 |     1141 |       95
1778.22/1778.65	c 1777s |      21 |  1482397 |  1414245 |    23418    132 |     1141 |       95
1780.32/1780.75	c 1779s |      21 |  1484305 |  1416145 |    23418    132 |     1141 |       95
1782.42/1782.84	c 1781s |      21 |  1486226 |  1418045 |    23418    132 |     1141 |       95
1784.52/1784.93	c 1783s |      21 |  1488141 |  1419945 |    23418    132 |     1141 |       95
1786.92/1787.38	c 1786s |      21 |  1488536 |  1420345 |    23418    133 |     1141 |       95
1789.02/1789.41	c 1788s |      21 |  1491070 |  1422845 |    23418    133 |     1141 |       95
1791.02/1791.42	c 1790s |      21 |  1493384 |  1425145 |    23418    133 |     1141 |       95
1795.11/1795.56	c 1794s |      21 |  1494696 |  1426445 |    23418    133 |     1141 |       95
1797.21/1797.65	c 1796s |      21 |  1497101 |  1428845 |    23418    133 |     1141 |       95
1799.32/1799.75	c 1798s |      21 |  1498941 |  1430645 |    23418    133 |     1141 |       95

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.22 2.23 3/179 17187
/proc/meminfo: memFree=29469012/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 2698 0 0 0 0 0 0 0 20 0 4 0 24125986 740749312 3059 33554432000 4194304 16246674 140734576598400 140734576597824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 181615 3067 441 2943 0 178509 0
[pid=17187/tid=17188] ppid=17184 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 758575104 3126 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 762769408 3143 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24125986 768012288 3161 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.20 2.22 2.23 3/179 17187
/proc/meminfo: memFree=29469012/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 28330 0 0 0 5 4 0 0 20 0 4 0 24125986 1332285440 28630 33554432000 4194304 16246674 140734576598400 140734576597712 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 325265 28645 801 2943 0 322159 0
[pid=17187/tid=17188] ppid=17184 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1332285440 28656 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1332285440 28667 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1332285440 28679 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200505 s]
/proc/loadavg: 2.20 2.22 2.23 3/179 17187
/proc/meminfo: memFree=29469012/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 49208 0 0 0 13 6 0 0 20 0 4 0 24125986 1344868352 50018 33554432000 4194304 16246674 140734576598400 140734576597712 8058619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 328337 50018 802 2943 0 325231 0
[pid=17187/tid=17188] ppid=17184 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1344868352 50018 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1344868352 50018 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1344868352 50018 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300493 s]
/proc/loadavg: 2.20 2.22 2.23 3/179 17187
/proc/meminfo: memFree=29469012/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 65241 0 0 0 21 8 0 0 20 0 4 0 24125986 1344868352 66052 33554432000 4194304 16246674 140734576598400 140734576597712 12371445 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 328337 66069 835 2943 0 325231 0
[pid=17187/tid=17188] ppid=17184 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1344868352 66080 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1344868352 66092 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1344868352 66102 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700368 s]
/proc/loadavg: 2.20 2.22 2.23 3/179 17187
/proc/meminfo: memFree=29469012/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 119935 0 0 0 54 15 0 0 20 0 4 0 24125986 1346965504 120745 33554432000 4194304 16246674 140734576598400 140734576597712 4225120 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 328849 120745 836 2943 0 325743 0
[pid=17187/tid=17188] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 120745 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 120745 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 120745 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.5004 s]
/proc/loadavg: 2.20 2.22 2.23 3/183 17191
/proc/meminfo: memFree=28986692/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 131973 0 0 0 132 17 0 0 20 0 4 0 24125986 1346965504 132783 33554432000 4194304 16246674 140734576598400 140734576580288 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 328849 132802 893 2943 0 325743 0
[pid=17187/tid=17188] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 132813 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 132826 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 132836 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.1004 s]
/proc/loadavg: 2.20 2.22 2.23 3/183 17191
/proc/meminfo: memFree=28387400/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 269528 0 0 0 276 33 0 0 20 0 4 0 24125986 1346965504 270338 33554432000 4194304 16246674 140734576598400 140734576580288 12415657 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 328849 270338 893 2943 0 325743 0
[pid=17187/tid=17188] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270338 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270338 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270338 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.3004 s]
/proc/loadavg: 2.18 2.21 2.22 3/183 17191
/proc/meminfo: memFree=28388008/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 269528 0 0 0 596 33 0 0 20 0 4 0 24125986 1346965504 270338 33554432000 4194304 16246674 140734576598400 140734576580288 5712547 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 328849 270338 893 2943 0 325743 0
[pid=17187/tid=17188] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270338 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270338 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270338 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.25 2.22 2.23 3/183 17191
/proc/meminfo: memFree=28388288/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1315396 CPUtime=12.69 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 269537 0 0 0 1236 33 0 0 20 0 4 0 24125986 1346965504 270347 33554432000 4194304 16246674 140734576598400 140734576580288 5712144 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 328849 270347 901 2943 0 325743 0
[pid=17187/tid=17188] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270347 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270347 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270347 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.27 2.23 2.23 3/183 17191
/proc/meminfo: memFree=28388612/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1315396 CPUtime=25.49 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 269537 0 0 0 2516 33 0 0 20 0 4 0 24125986 1346965504 270347 33554432000 4194304 16246674 140734576598400 140734576597496 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 328849 270347 901 2943 0 325743 0
[pid=17187/tid=17188] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270347 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270347 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1346965504 270347 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.18 2.21 2.22 3/183 17191
/proc/meminfo: memFree=28361612/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1342020 CPUtime=51.08 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 276028 0 0 0 5074 34 0 0 20 0 4 0 24125986 1374228480 276838 33554432000 4194304 16246674 140734576598400 140734576580288 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 335505 276838 901 2943 0 332399 0
[pid=17187/tid=17188] ppid=17184 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1374228480 276838 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1374228480 276838 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1374228480 276838 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1342020

[startup+102.3 s]
/proc/loadavg: 2.27 2.22 2.22 3/183 17192
/proc/meminfo: memFree=28309500/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=102.28 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 288993 0 0 0 10193 35 0 0 20 0 4 0 24125986 1426657280 289803 33554432000 4194304 16246674 140734576598400 140734576580288 6009768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289803 901 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289803 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289803 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289803 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1393220


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

/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1393220

[startup+1302.3 s]
/proc/loadavg: 2.03 2.10 2.15 3/183 17222
/proc/meminfo: memFree=28228552/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=1302.01 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 289173 0 0 0 130139 62 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140734576597496 5822908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289806 901 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1393220

[startup+1362.3 s]
/proc/loadavg: 2.01 2.08 2.14 3/183 17224
/proc/meminfo: memFree=28228576/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=1361.99 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 289196 0 0 0 136135 64 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140734576580288 5822878 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289806 901 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1393220

[startup+1422.3 s]
/proc/loadavg: 2.03 2.08 2.14 4/183 17225
/proc/meminfo: memFree=28228292/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=1421.98 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 289229 0 0 0 142132 66 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140734576580288 5822144 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289806 901 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1393220

[startup+1482.3 s]
/proc/loadavg: 2.28 2.14 2.15 3/183 17226
/proc/meminfo: memFree=28228408/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=1481.96 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 289233 0 0 0 148129 67 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140734576580288 13191984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289806 901 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1393220

[startup+1542.31 s]
/proc/loadavg: 2.24 2.14 2.15 3/183 17227
/proc/meminfo: memFree=28228396/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=1541.96 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 289233 0 0 0 154127 69 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140734576597576 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289806 901 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1393220

[startup+1602.3 s]
/proc/loadavg: 2.18 2.14 2.15 3/183 17277
/proc/meminfo: memFree=28297408/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=1601.95 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 289233 0 0 0 160123 72 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140734576580288 5827824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289806 901 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1393220

[startup+1662.3 s]
/proc/loadavg: 2.27 2.17 2.16 3/184 17330
/proc/meminfo: memFree=28346188/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=1661.94 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 289233 0 0 0 166120 74 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140734576596224 5823835 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289806 901 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289806 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1393220

[startup+1722.3 s]
/proc/loadavg: 2.15 2.16 2.15 3/184 17354
/proc/meminfo: memFree=28346168/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=1721.93 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 289234 0 0 0 172117 76 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140734576580288 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289807 902 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1393220

[startup+1782.3 s]
/proc/loadavg: 2.23 2.17 2.16 3/183 17355
/proc/meminfo: memFree=28344452/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=1781.92 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 289234 0 0 0 178115 77 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140734576580288 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289807 902 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1393220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.16 2.15 4/183 17356
/proc/meminfo: memFree=28337268/32872528 swapFree=1191052/1305516
[pid=17187] ppid=17184 vsize=1393220 CPUtime=1800.01 cores=0,2,4,6
/proc/17187/stat : 17187 (toysat) R 17184 17187 14522 0 -1 4202496 289234 0 0 0 179924 77 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140734576580288 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17187/statm: 348305 289807 902 2943 0 345199 0
[pid=17187/tid=17188] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17188/stat : 17188 (toysat) S 17184 17187 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140062417202416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17187/tid=17189] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17189/stat : 17189 (toysat) S 17184 17187 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140062406712560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17187/tid=17190] ppid=17184 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/17187/task/17190/stat : 17190 (toysat) S 17184 17187 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24125986 1426657280 289807 33554432000 4194304 16246674 140734576598400 140062396239024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1393220

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1799.25
CPU system time (s): 0.778881
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 1393220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.778881
maximum resident set size= 1159228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289234
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= 256
involuntary context switches= 1868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79927 second user time and 6.71298 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 05:33:14
IDJOB=4101145
IDBENCH=1706
IDSOLVER=2542
FILE ID=node127/4101145-1466220793
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 2fc9de6105f21066ef788431e0787cd8
RANDOM SEED=326510530

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29469392 kB
Buffers:          110320 kB
Cached:           131780 kB
SwapCached:          528 kB
Active:          1217604 kB
Inactive:         143056 kB
Active(anon):    1120092 kB
Inactive(anon):      864 kB
Active(file):      97512 kB
Inactive(file):   142192 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             17088 kB
Writeback:             0 kB
AnonPages:       2423804 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             603024 kB
SReclaimable:      47052 kB
SUnreclaim:       555972 kB
KernelStack:        1464 kB
PageTables:         8504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2568008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 71704 MiB
End job on node127 at 2016-06-18 06:03:14