Trace number 4117221

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T20:17:43+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-4117221-1466965063.opb"]
0.00/0.01	c use --random-gen="3995171549 4178378575 3538964486 1703483797 3235415949 3905699857 1328728418 335774865 2832310040 4023361262 3987546506 1066835944 4251510547 1580580367 493643284 304681556 3447145364 360199357 842239103 1928570023 904056145 3669765508 2321024607 567720735 3448146528 2631220912 3303463051 2405921903 2954534 3663908172 2544699222 1101196388 612535013 4253524270 249377139 2587029926 675794042 3663372365 3252719115 3968356358 3449782296 4273202212 3779637316 3828293355 287177723 1534439683 2532334640 170565115 1023720641 2566708286 3977407225 376524188 389145276 2180631628 4110538495 972271292 3115959047 1766270407 2423352363 784090188 3135878155 3979445403 2461911176 3836717324 3950056984 2923678890 3761892292 3654463790 3837986442 2675668506 1103909326 1687054179 717782798 2551760762 746154848 1781106917 859867853 4194853064 3572160002 2310767500 339385290 1780919506 1188420793 2710949330 720385708 3016675058 1279281611 81234573 2287548299 1345334395 2009002242 1629088302 1365171956 2108584260 2854755750 3948918427 474261007 1341327679 1622603663 3954276358 2783458359 954503598 941461666 3477992650 1841221619 4029174247 2755670650 2330192912 3192257465 2388982793 3951193122 1893411435 96083021 3479085151 3012395405 887198767 820526854 636203638 1906733192 3770033658 174679150 1142040753 3620021364 208444632 1235597958 520888361 4130945618 1306187989 3847902323 2720055211 1735006900 1450642480 1173910192 1954591449 3244658134 1390962498 384798848 2382136681 2838118122 3677320811 1732441474 3519623956 1983082378 1803424740 1198516101 225329440 3475701790 70214115 489484494 4078070759 1935031972 1793638457 1527377270 4047013978 2271601556 2264934142 1434901503 3469525810 4153935407 760330139 525319764 2465927094 1948779429 56224232 2255877855 3171960558 4272681154 345807523 3554769587 3740717652 1372122898 3389851157 3635090390 4106906593 3457235139 3346038826 973819119 3300219923 3295530241 352994462 770634204 3109602507 1087365887 1298008321 401137766 3796124113 1800752526 2760571766 4191774146 364938122 2174414792 3685770028 3803562642 863420405 3139948343 3927566623 228085569 24099154 1452254117 753237392 2981605116 2479742406 1525029337 21199279 3022523905 3466187052 3405724001 3097235080 1392034359 1318871152 4054945282 739598098 1235429369 1295356930 2061363063 537737903 625402011 242907637 860391569 316284502 2670714645 951410346 3540099368 3054972182 110255519 817897291 608601193 845406756 3348580971 2726903102 2382835052 1877751451 1567069793 2817435704 2106980905 914811035 182549418 356652076 3256177373 2452522847 1192488199 1953856620 3816898594 3571961071 436552297 2149923416 3656610661 244626288 2597507153 1656242597 1828897265 3095095278 3474030434 1592957802 717709253 1257027699 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8704
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      780 |        0
0.29/0.32	c  0.1s |       1 |      488 |      100 |     4234      0 |      780 |      680
0.39/0.44	c  0.2s |       2 |     2196 |      250 |     4658      0 |      782 |      680
0.49/0.58	c  0.3s |       3 |     4409 |      475 |     5124      0 |      782 |      680
0.98/1.06	c  0.8s |       4 |     5654 |      813 |     5637      0 |      782 |      680
1.69/1.76	c  1.5s |       5 |     7199 |     1320 |     6201      0 |      782 |      680
2.69/2.71	c  2.5s |       6 |     8953 |     2081 |     7505      0 |      782 |      680
3.49/3.54	c  3.3s |       7 |    12834 |     3223 |     8256      0 |      782 |      680
4.79/4.82	c  4.6s |       8 |    19028 |     4936 |     9082      0 |      782 |      680
6.79/6.84	c  6.6s |       8 |    28111 |     7336 |     9082      0 |      782 |      680
6.99/7.09	c  6.8s |       9 |    28366 |     7506 |     9991      0 |      782 |      680
9.19/9.20	c  8.9s |       9 |    32917 |     9306 |     9991      0 |      782 |      680
11.29/11.39	c 11.1s |       9 |    34403 |    10506 |     9991      0 |      782 |      680
12.79/12.80	c 12.6s |      10 |    35437 |    11361 |    10991      0 |      782 |      680
14.79/14.82	c 14.6s |      10 |    44458 |    14261 |    10991      1 |      782 |      680
16.79/16.86	c 16.6s |      10 |    49404 |    16561 |    10991      1 |      782 |      680
17.39/17.42	c 17.2s |      11 |    51337 |    17144 |    12091      1 |      782 |      680
19.49/19.51	c 19.3s |      11 |    63140 |    20044 |    12091      1 |      782 |      680
21.58/21.60	c 21.3s |      11 |    65920 |    21844 |    12091      1 |      782 |      680
23.58/23.67	c 23.4s |      11 |    67527 |    23144 |    12091      2 |      782 |      680
25.68/25.73	c 25.5s |      11 |    69168 |    24444 |    12091      2 |      782 |      680
27.78/27.82	c 27.6s |      12 |    70964 |    25819 |    13301      2 |      782 |      680
29.88/29.96	c 29.7s |      12 |    76662 |    27919 |    13301      2 |      782 |      680
31.89/31.97	c 31.7s |      12 |    78243 |    29119 |    13301      2 |      782 |      680
33.98/34.05	c 33.8s |      12 |    79769 |    30319 |    13301      2 |      782 |      680
36.08/36.14	c 35.9s |      12 |    82077 |    31719 |    13301      3 |      782 |      680
38.08/38.16	c 37.9s |      12 |    83939 |    33119 |    13301      3 |      782 |      680
40.28/40.31	c 40.1s |      12 |    87475 |    34719 |    13301      3 |      782 |      680
42.28/42.33	c 42.1s |      12 |    92428 |    36519 |    13301      3 |      782 |      680
44.38/44.48	c 44.2s |      12 |    96010 |    38219 |    13301      3 |      782 |      680
45.19/45.28	c 45.0s |      13 |    96920 |    38832 |    14632      3 |      782 |      680
47.28/47.32	c 47.1s |      13 |   101980 |    40832 |    14632      4 |      782 |      680
49.38/49.42	c 49.2s |      13 |   104558 |    42532 |    14632      4 |      782 |      680
51.38/51.46	c 51.2s |      13 |   107172 |    44232 |    14632      4 |      782 |      680
53.48/53.52	c 53.3s |      13 |   108775 |    45532 |    14632      4 |      782 |      680
55.48/55.59	c 55.3s |      13 |   110309 |    46732 |    14632      4 |      782 |      680
57.68/57.76	c 57.5s |      13 |   111493 |    47732 |    14632      4 |      782 |      680
59.78/59.89	c 59.6s |      13 |   112672 |    48732 |    14632      4 |      782 |      680
61.88/61.95	c 61.7s |      13 |   113746 |    49632 |    14632      5 |      782 |      680
64.08/64.16	c 63.9s |      13 |   114939 |    50632 |    14632      5 |      782 |      680
66.27/66.34	c 66.1s |      13 |   115940 |    51532 |    14632      5 |      782 |      680
68.38/68.49	c 68.2s |      13 |   117025 |    52432 |    14632      5 |      782 |      680
70.49/70.54	c 70.3s |      13 |   117948 |    53232 |    14632      5 |      782 |      680
72.59/72.68	c 72.4s |      13 |   118828 |    54032 |    14632      5 |      782 |      680
74.98/75.00	c 74.7s |      13 |   119662 |    54732 |    14632      5 |      782 |      680
77.18/77.22	c 77.0s |      13 |   120501 |    55432 |    14632      5 |      782 |      680
79.29/79.38	c 79.1s |      13 |   121195 |    56032 |    14632      5 |      782 |      680
81.49/81.58	c 81.3s |      13 |   121762 |    56532 |    14632      5 |      782 |      680
83.69/83.71	c 83.5s |      13 |   122328 |    57032 |    14632      5 |      782 |      680
85.68/85.77	c 85.5s |      13 |   122938 |    57532 |    14632      5 |      782 |      680
87.78/87.82	c 87.6s |      13 |   123377 |    57932 |    14632      6 |      782 |      680
88.78/88.81	c 88.6s |      14 |   123995 |    58352 |    16096      6 |      782 |      680
90.78/90.86	c 90.6s |      14 |   128067 |    60352 |    16096      6 |      782 |      680
92.88/92.92	c 92.7s |      14 |   130312 |    62052 |    16096      6 |      782 |      680
94.98/95.02	c 94.8s |      14 |   132345 |    63652 |    16096      6 |      782 |      680
97.08/97.11	c 96.9s |      14 |   134588 |    65152 |    16096      6 |      782 |      680
99.18/99.23	c 99.0s |      14 |   137013 |    66752 |    16096      6 |      782 |      680
101.18/101.29	c  101s |      14 |   141556 |    68152 |    16096      7 |      782 |      680
103.28/103.39	c  103s |      14 |   146246 |    70252 |    16096      7 |      782 |      680
105.38/105.43	c  105s |      14 |   148158 |    71552 |    16096      7 |      782 |      680
107.57/107.60	c  107s |      14 |   149376 |    72552 |    16096      7 |      782 |      680
109.67/109.77	c  109s |      14 |   150446 |    73452 |    16096      7 |      782 |      680
111.87/111.92	c  111s |      14 |   152096 |    74752 |    16096      7 |      782 |      680
113.87/113.94	c  113s |      14 |   153045 |    75552 |    16096      7 |      782 |      680
115.97/116.06	c  115s |      14 |   154136 |    76452 |    16096      7 |      782 |      680
118.07/118.10	c  117s |      14 |   155231 |    77352 |    16096      7 |      782 |      680
120.27/120.32	c  120s |      14 |   156060 |    78052 |    16096      8 |      782 |      680
122.47/122.55	c  122s |      14 |   157043 |    78852 |    16096      8 |      782 |      680
124.57/124.61	c  124s |      14 |   157829 |    79552 |    16096      8 |      782 |      680
126.67/126.78	c  126s |      14 |   158637 |    80252 |    16096      8 |      782 |      680
129.17/129.22	c  128s |      14 |   159431 |    80952 |    16096      8 |      782 |      680
131.17/131.29	c  131s |      14 |   160120 |    81552 |    16096      8 |      782 |      680
133.27/133.35	c  133s |      14 |   160789 |    82152 |    16096      8 |      782 |      680
135.37/135.47	c  135s |      14 |   161442 |    82752 |    16096      8 |      782 |      680
137.47/137.56	c  137s |      14 |   161974 |    83252 |    16096      8 |      782 |      680
139.47/139.59	c  139s |      14 |   162677 |    83852 |    16096      8 |      782 |      680
141.77/141.88	c  141s |      14 |   163471 |    84552 |    16096      8 |      782 |      680
143.87/143.93	c  143s |      14 |   164168 |    85152 |    16096      8 |      782 |      680
146.06/146.19	c  145s |      14 |   164835 |    85752 |    16096      8 |      782 |      680
148.26/148.34	c  148s |      14 |   165384 |    86252 |    16096      8 |      782 |      680
150.67/150.72	c  150s |      14 |   166055 |    86852 |    16096      8 |      782 |      680
152.66/152.75	c  152s |      14 |   166623 |    87352 |    17706      8 |      782 |      680
153.86/153.92	c  153s |      15 |   166936 |    87632 |    17706      8 |      782 |      680
155.96/156.01	c  155s |      15 |   171281 |    88832 |    17706      9 |      782 |      680
157.96/158.05	c  157s |      15 |   173661 |    90532 |    17706      9 |      782 |      680
160.06/160.11	c  159s |      15 |   175898 |    92132 |    17706      9 |      782 |      680
162.06/162.14	c  161s |      15 |   182462 |    94132 |    17706      9 |      782 |      680
164.06/164.16	c  163s |      15 |   186419 |    95832 |    17706      9 |      782 |      680
166.17/166.23	c  165s |      15 |   190264 |    97632 |    17706      9 |      782 |      680
168.16/168.28	c  168s |      15 |   191357 |    98532 |    17706     10 |      782 |      680
170.36/170.43	c  170s |      15 |   192684 |    99632 |    17706     10 |      782 |      680
172.46/172.55	c  172s |      15 |   193994 |   100732 |    17706     10 |      782 |      680
174.67/174.71	c  174s |      15 |   195075 |   101632 |    17706     10 |      782 |      680
176.77/176.88	c  176s |      15 |   196094 |   102532 |    17706     10 |      782 |      680
179.07/179.10	c  178s |      15 |   197190 |   103432 |    17706     10 |      782 |      680
181.07/181.12	c  180s |      15 |   198113 |   104232 |    17706     10 |      782 |      680
183.27/183.32	c  183s |      15 |   199024 |   105032 |    17706     10 |      782 |      680
185.46/185.52	c  185s |      15 |   199885 |   105832 |    17706     10 |      782 |      680
187.66/187.77	c  187s |      15 |   200809 |   106632 |    17706     10 |      782 |      680
189.76/189.84	c  189s |      15 |   201609 |   107332 |    17706     10 |      782 |      680
191.96/192.00	c  191s |      15 |   202363 |   108032 |    17706     10 |      782 |      680
194.16/194.27	c  194s |      15 |   203137 |   108732 |    17706     10 |      782 |      680
196.16/196.29	c  196s |      15 |   203834 |   109332 |    17706     11 |      782 |      680
198.26/198.31	c  198s |      15 |   204615 |   110032 |    17706     11 |      782 |      680
200.46/200.50	c  200s |      15 |   205560 |   110832 |    17706     11 |      782 |      680
202.66/202.77	c  202s |      15 |   206494 |   111632 |    17706     11 |      782 |      680
204.96/205.10	c  204s |      15 |   207400 |   112432 |    17706     11 |      782 |      680
207.06/207.18	c  206s |      15 |   208210 |   113132 |    17706     11 |      782 |      680
209.16/209.26	c  209s |      15 |   209026 |   113832 |    17706     11 |      782 |      680
211.46/211.53	c  211s |      15 |   209851 |   114532 |    17706     11 |      782 |      680
213.66/213.73	c  213s |      15 |   210544 |   115132 |    17706     11 |      782 |      680
215.96/216.06	c  215s |      15 |   211333 |   115832 |    17706     11 |      782 |      680
218.26/218.35	c  218s |      15 |   211992 |   116432 |    17706     11 |      782 |      680
220.36/220.48	c  220s |      15 |   212633 |   117032 |    17706     11 |      782 |      680
222.46/222.51	c  222s |      15 |   213167 |   117532 |    17706     11 |      782 |      680
224.66/224.73	c  224s |      15 |   213844 |   118132 |    17706     11 |      782 |      680
226.76/226.82	c  226s |      15 |   214527 |   118732 |    17706     11 |      782 |      680
229.06/229.14	c  228s |      15 |   215169 |   119332 |    17706     11 |      782 |      680
231.36/231.41	c  231s |      15 |   215816 |   119932 |    17706     12 |      782 |      680
233.46/233.57	c  233s |      15 |   216477 |   120532 |    17706     12 |      782 |      680
235.66/235.76	c  235s |      15 |   217255 |   121232 |    17706     12 |      782 |      680
237.95/238.06	c  237s |      15 |   218068 |   121932 |    17706     12 |      782 |      680
240.05/240.12	c  239s |      15 |   218757 |   122532 |    17706     12 |      782 |      680
242.15/242.28	c  242s |      15 |   219452 |   123132 |    17706     12 |      782 |      680
244.35/244.41	c  244s |      15 |   220134 |   123732 |    17706     12 |      782 |      680
246.36/246.45	c  246s |      15 |   220788 |   124332 |    17706     12 |      782 |      680
248.35/248.48	c  248s |      15 |   221477 |   124932 |    17706     12 |      782 |      680
250.45/250.55	c  250s |      15 |   222196 |   125532 |    17706     12 |      782 |      680
252.65/252.76	c  252s |      15 |   222851 |   126132 |    17706     12 |      782 |      680
254.75/254.81	c  254s |      15 |   223542 |   126732 |    17706     12 |      782 |      680
256.95/257.02	c  256s |      15 |   224189 |   127332 |    17706     12 |      782 |      680
259.35/259.41	c  259s |      15 |   224848 |   127932 |    17706     12 |      782 |      680
261.55/261.60	c  261s |      15 |   225695 |   128632 |    17706     12 |      782 |      680
263.75/263.82	c  263s |      15 |   226611 |   129432 |    17706     12 |      782 |      680
265.95/266.07	c  265s |      15 |   227327 |   130032 |    17706     13 |      782 |      680
268.36/268.41	c  268s |      15 |   228122 |   130732 |    19477     13 |      782 |      680
270.45/270.50	c  270s |      15 |   228946 |   131432 |    19477     13 |      782 |      680
270.85/270.92	c  270s |      16 |   229073 |   131552 |    19477     13 |      782 |      680
272.86/272.97	c  272s |      16 |   234651 |   133552 |    19477     13 |      782 |      680
274.85/274.99	c  274s |      16 |   236321 |   134952 |    19477     13 |      782 |      680
276.95/277.07	c  276s |      16 |   237861 |   136152 |    19477     13 |      782 |      680
279.05/279.15	c  278s |      16 |   239023 |   137152 |    19477     13 |      782 |      680
281.25/281.30	c  281s |      16 |   240003 |   138052 |    19477     13 |      782 |      680
283.25/283.36	c  283s |      16 |   241000 |   138952 |    19477     13 |      782 |      680
285.45/285.59	c  285s |      16 |   242027 |   139852 |    19477     13 |      782 |      680
287.75/287.83	c  287s |      16 |   243018 |   140752 |    19477     13 |      782 |      680
289.75/289.89	c  289s |      16 |   243921 |   141552 |    19477     13 |      782 |      680
291.85/291.92	c  291s |      16 |   244717 |   142252 |    19477     14 |      782 |      680
293.95/294.01	c  293s |      16 |   245727 |   143152 |    19477     14 |      782 |      680
296.25/296.32	c  296s |      16 |   246597 |   143952 |    19477     14 |      782 |      680
298.45/298.51	c  298s |      16 |   247365 |   144652 |    19477     14 |      782 |      680
300.65/300.75	c  300s |      16 |   248117 |   145352 |    19477     14 |      782 |      680
302.75/302.81	c  302s |      16 |   248857 |   146052 |    19477     14 |      782 |      680
304.85/304.99	c  304s |      16 |   249626 |   146752 |    19477     14 |      782 |      680
307.05/307.17	c  306s |      16 |   250384 |   147452 |    19477     14 |      782 |      680
309.15/309.20	c  308s |      16 |   251015 |   148052 |    19477     14 |      782 |      680
311.44/311.50	c  311s |      16 |   251778 |   148752 |    19477     14 |      782 |      680
313.55/313.66	c  313s |      16 |   252407 |   149352 |    19477     14 |      782 |      680
315.65/315.75	c  315s |      16 |   253051 |   149952 |    19477     14 |      782 |      680
317.85/317.97	c  317s |      16 |   253681 |   150552 |    19477     14 |      782 |      680
320.05/320.15	c  319s |      16 |   254329 |   151152 |    19477     14 |      782 |      680
322.35/322.45	c  322s |      16 |   255001 |   151752 |    19477     14 |      782 |      680
324.45/324.52	c  324s |      16 |   255551 |   152252 |    19477     14 |      782 |      680
326.54/326.60	c  326s |      16 |   256095 |   152752 |    19477     14 |      782 |      680
328.64/328.72	c  328s |      16 |   256649 |   153252 |    19477     14 |      782 |      680
330.74/330.88	c  330s |      16 |   257187 |   153752 |    19477     15 |      782 |      680
333.04/333.11	c  332s |      16 |   257835 |   154352 |    19477     15 |      782 |      680
335.04/335.12	c  334s |      16 |   258486 |   154952 |    19477     15 |      782 |      680
337.04/337.18	c  336s |      16 |   259139 |   155552 |    19477     15 |      782 |      680
339.24/339.39	c  339s |      16 |   259780 |   156152 |    19477     15 |      782 |      680
341.44/341.56	c  341s |      16 |   260409 |   156752 |    19477     15 |      782 |      680
343.54/343.65	c  343s |      16 |   260944 |   157252 |    19477     15 |      782 |      680
345.64/345.78	c  345s |      16 |   261476 |   157752 |    19477     15 |      782 |      680
347.94/348.05	c  347s |      16 |   262107 |   158352 |    19477     15 |      782 |      680
350.23/350.34	c  350s |      16 |   262751 |   158952 |    19477     15 |      782 |      680
352.53/352.68	c  352s |      16 |   263413 |   159552 |    19477     15 |      782 |      680
354.63/354.71	c  354s |      16 |   263942 |   160052 |    19477     15 |      782 |      680
356.63/356.76	c  356s |      16 |   264490 |   160552 |    19477     15 |      782 |      680
359.03/359.14	c  358s |      16 |   265140 |   161152 |    19477     15 |      782 |      680
361.23/361.35	c  361s |      16 |   265668 |   161652 |    19477     15 |      782 |      680
363.53/363.68	c  363s |      16 |   266193 |   162152 |    19477     15 |      782 |      680
365.93/366.00	c  365s |      16 |   266717 |   162652 |    19477     15 |      782 |      680
368.23/368.33	c  368s |      16 |   267242 |   163152 |    19477     15 |      782 |      680
370.53/370.68	c  370s |      16 |   267776 |   163652 |    19477     15 |      782 |      680
372.83/372.95	c  372s |      16 |   268321 |   164152 |    19477     15 |      782 |      680
375.13/375.24	c  374s |      16 |   268851 |   164652 |    19477     15 |      782 |      680
377.23/377.38	c  377s |      16 |   269278 |   165052 |    19477     16 |      782 |      680
379.33/379.47	c  379s |      16 |   269908 |   165652 |    19477     16 |      782 |      680
381.74/381.80	c  381s |      16 |   270521 |   166252 |    19477     16 |      782 |      680
384.03/384.16	c  383s |      16 |   271164 |   166852 |    19477     16 |      782 |      680
386.14/386.23	c  385s |      16 |   271699 |   167352 |    19477     16 |      782 |      680
388.24/388.39	c  388s |      16 |   272222 |   167852 |    19477     16 |      782 |      680
390.63/390.70	c  390s |      16 |   272855 |   168452 |    19477     16 |      782 |      680
392.63/392.79	c  392s |      16 |   273385 |   168952 |    19477     16 |      782 |      680
394.83/394.94	c  394s |      16 |   273906 |   169452 |    19477     16 |      782 |      680
396.93/397.05	c  396s |      16 |   274432 |   169952 |    19477     16 |      782 |      680
399.03/399.10	c  398s |      16 |   274969 |   170452 |    19477     16 |      782 |      680
401.23/401.36	c  401s |      16 |   275489 |   170952 |    19477     16 |      782 |      680
403.43/403.51	c  403s |      16 |   276015 |   171452 |    19477     16 |      782 |      680
405.63/405.71	c  405s |      16 |   276564 |   171952 |    19477     16 |      782 |      680
407.83/407.94	c  407s |      16 |   277091 |   172452 |    19477     16 |      782 |      680
409.82/409.95	c  409s |      16 |   277635 |   172952 |    19477     16 |      782 |      680
412.02/412.18	c  411s |      16 |   278162 |   173452 |    19477     16 |      782 |      680
414.22/414.36	c  414s |      16 |   278710 |   173952 |    19477     16 |      782 |      680
416.32/416.40	c  416s |      16 |   279118 |   174352 |    19477     16 |      782 |      680
418.42/418.50	c  418s |      16 |   279539 |   174752 |    19477     16 |      782 |      680
420.52/420.64	c  420s |      16 |   279956 |   175152 |    19477     16 |      782 |      680
422.62/422.78	c  422s |      16 |   280383 |   175552 |    19477     16 |      782 |      680
425.73/425.88	c  425s |      16 |   280935 |   176052 |    19477     17 |      782 |      680
427.83/427.92	c  427s |      16 |   281657 |   176652 |    19477     17 |      782 |      680
430.13/430.20	c  429s |      16 |   282406 |   177352 |    19477     17 |      782 |      680
432.12/432.23	c  431s |      16 |   283050 |   177952 |    19477     17 |      782 |      680
434.22/434.32	c  434s |      16 |   283684 |   178552 |    19477     17 |      782 |      680
436.42/436.50	c  436s |      16 |   284331 |   179152 |    19477     17 |      782 |      680
438.52/438.69	c  438s |      16 |   284979 |   179752 |    19477     17 |      782 |      680
440.91/441.04	c  440s |      16 |   285613 |   180352 |    19477     17 |      782 |      680
443.22/443.39	c  443s |      16 |   286256 |   180952 |    19477     17 |      782 |      680
445.61/445.77	c  445s |      16 |   286924 |   181552 |    19477     17 |      782 |      680
447.72/447.84	c  447s |      16 |   287467 |   182052 |    19477     17 |      782 |      680
450.01/450.12	c  449s |      16 |   288006 |   182552 |    19477     17 |      782 |      680
452.21/452.31	c  452s |      16 |   288565 |   183052 |    19477     17 |      782 |      680
454.51/454.60	c  454s |      16 |   289202 |   183652 |    19477     17 |      782 |      680
456.51/456.68	c  456s |      16 |   289754 |   184152 |    19477     17 |      782 |      680
458.81/458.93	c  458s |      16 |   290279 |   184652 |    19477     17 |      782 |      680
461.01/461.13	c  460s |      16 |   290815 |   185152 |    19477     17 |      782 |      680
463.11/463.24	c  462s |      16 |   291344 |   185652 |    19477     17 |      782 |      680
465.21/465.33	c  465s |      16 |   292054 |   186252 |    19477     17 |      782 |      680
467.31/467.43	c  467s |      16 |   292720 |   186852 |    19477     17 |      782 |      680
469.90/470.05	c  469s |      16 |   293244 |   187352 |    19477     18 |      782 |      680
472.00/472.14	c  471s |      16 |   293875 |   187952 |    19477     18 |      782 |      680
474.01/474.18	c  473s |      16 |   294489 |   188552 |    19477     18 |      782 |      680
476.21/476.32	c  476s |      16 |   295116 |   189152 |    19477     18 |      782 |      680
478.30/478.44	c  478s |      16 |   295764 |   189752 |    19477     18 |      782 |      680
480.50/480.69	c  480s |      16 |   296404 |   190352 |    19477     18 |      782 |      680
482.70/482.81	c  482s |      16 |   297049 |   190952 |    19477     18 |      782 |      680
485.01/485.16	c  484s |      16 |   297676 |   191552 |    19477     18 |      782 |      680
487.31/487.45	c  487s |      16 |   298305 |   192152 |    19477     18 |      782 |      680
489.41/489.55	c  489s |      16 |   298817 |   192652 |    19477     18 |      782 |      680
491.71/491.88	c  491s |      16 |   299437 |   193252 |    19477     18 |      782 |      680
493.91/494.01	c  493s |      16 |   299964 |   193752 |    19477     18 |      782 |      680
496.00/496.16	c  495s |      16 |   300483 |   194252 |    19477     18 |      782 |      680
498.10/498.25	c  497s |      16 |   301014 |   194752 |    19477     18 |      782 |      680
500.30/500.43	c  500s |      16 |   301658 |   195352 |    19477     18 |      782 |      680
502.50/502.69	c  502s |      16 |   302286 |   195952 |    19477     18 |      782 |      680
504.70/504.81	c  504s |      16 |   302809 |   196452 |    21425     18 |      782 |      680
507.00/507.10	c  506s |      16 |   303334 |   196952 |    21425     18 |      782 |      680
509.00/509.16	c  508s |      17 |   303845 |   197432 |    21425     18 |      782 |      680
511.20/511.34	c  511s |      17 |   309368 |   199032 |    21425     18 |      782 |      680
513.40/513.50	c  513s |      17 |   311248 |   200032 |    21425     19 |      782 |      680
515.49/515.63	c  515s |      17 |   314796 |   201532 |    21425     19 |      782 |      680
517.59/517.75	c  517s |      17 |   316136 |   202632 |    21425     19 |      782 |      680
519.69/519.82	c  519s |      17 |   318240 |   204032 |    21425     19 |      782 |      680
521.79/521.97	c  521s |      17 |   319730 |   205232 |    21425     19 |      782 |      680
523.99/524.15	c  523s |      17 |   321061 |   206232 |    21425     19 |      782 |      680
526.19/526.34	c  526s |      17 |   322161 |   207132 |    21425     19 |      782 |      680
528.39/528.51	c  528s |      17 |   323581 |   208232 |    21425     19 |      782 |      680
530.49/530.66	c  530s |      17 |   324829 |   209232 |    21425     19 |      782 |      680
532.58/532.74	c  532s |      17 |   325604 |   209932 |    21425     19 |      782 |      680
534.78/534.97	c  534s |      17 |   326514 |   210732 |    21425     19 |      782 |      680
536.79/536.97	c  536s |      17 |   327390 |   211432 |    21425     19 |      782 |      680
538.99/539.17	c  538s |      17 |   328346 |   212232 |    21425     19 |      782 |      680
541.19/541.31	c  541s |      17 |   329156 |   212932 |    21425     20 |      782 |      680
543.18/543.38	c  543s |      17 |   330457 |   213832 |    21425     20 |      782 |      680
545.38/545.54	c  545s |      17 |   331796 |   215032 |    21425     20 |      782 |      680
547.38/547.59	c  547s |      17 |   333070 |   216132 |    21425     20 |      782 |      680
549.48/549.68	c  549s |      17 |   334329 |   217232 |    21425     20 |      782 |      680
551.58/551.76	c  551s |      17 |   335487 |   218232 |    21425     20 |      782 |      680
553.68/553.86	c  553s |      17 |   336702 |   219232 |    21425     20 |      782 |      680
555.78/555.98	c  555s |      17 |   338055 |   220332 |    21425     20 |      782 |      680
557.98/558.13	c  557s |      17 |   339205 |   221332 |    21425     20 |      782 |      680
560.17/560.35	c  560s |      17 |   340486 |   222332 |    21425     20 |      782 |      680
562.37/562.55	c  562s |      17 |   341660 |   223332 |    21425     20 |      782 |      680
564.47/564.64	c  564s |      17 |   342696 |   224232 |    21425     20 |      782 |      680
566.67/566.81	c  566s |      17 |   343500 |   224932 |    21425     21 |      782 |      680
568.87/569.00	c  568s |      17 |   344677 |   225932 |    21425     21 |      782 |      680
570.87/571.09	c  570s |      17 |   345691 |   226832 |    21425     21 |      782 |      680
573.07/573.22	c  572s |      17 |   346652 |   227632 |    21425     21 |      782 |      680
575.07/575.27	c  575s |      17 |   347610 |   228432 |    21425     21 |      782 |      680
577.17/577.38	c  577s |      17 |   348711 |   229332 |    21425     21 |      782 |      680
579.27/579.47	c  579s |      17 |   349640 |   230132 |    21425     21 |      782 |      680
581.46/581.60	c  581s |      17 |   350567 |   230932 |    21425     21 |      782 |      680
583.46/583.62	c  583s |      17 |   351546 |   231732 |    21425     21 |      782 |      680
585.66/585.87	c  585s |      17 |   352511 |   232532 |    21425     21 |      782 |      680
587.96/588.12	c  587s |      17 |   353387 |   233232 |    21425     21 |      782 |      680
590.06/590.28	c  590s |      17 |   354232 |   233932 |    21425     21 |      782 |      680
592.26/592.44	c  592s |      17 |   354977 |   234532 |    21425     21 |      782 |      680
594.36/594.58	c  594s |      17 |   355668 |   235132 |    21425     21 |      782 |      680
596.66/596.85	c  596s |      17 |   356498 |   235832 |    21425     21 |      782 |      680
598.96/599.11	c  598s |      17 |   357367 |   236532 |    21425     21 |      782 |      680
601.06/601.26	c  601s |      17 |   357944 |   237032 |    21425     22 |      782 |      680
603.16/603.35	c  603s |      17 |   358954 |   237832 |    21425     22 |      782 |      680
605.26/605.49	c  605s |      17 |   359911 |   238632 |    21425     22 |      782 |      680
607.36/607.58	c  607s |      17 |   360826 |   239432 |    21425     22 |      782 |      680
609.46/609.64	c  609s |      17 |   361781 |   240232 |    21425     22 |      782 |      680
611.57/611.76	c  611s |      17 |   362731 |   241032 |    21425     22 |      782 |      680
613.86/614.04	c  613s |      17 |   363711 |   241832 |    21425     22 |      782 |      680
615.97/616.11	c  615s |      17 |   364548 |   242532 |    21425     22 |      782 |      680
618.06/618.28	c  618s |      17 |   365344 |   243232 |    21425     22 |      782 |      680
620.46/620.67	c  620s |      17 |   366190 |   243932 |    21425     22 |      782 |      680
622.56/622.72	c  622s |      17 |   366867 |   244532 |    21425     22 |      782 |      680
624.66/624.81	c  624s |      17 |   367736 |   245232 |    21425     22 |      782 |      680
626.86/627.02	c  626s |      17 |   368563 |   245932 |    21425     22 |      782 |      680
628.96/629.10	c  628s |      17 |   369259 |   246532 |    21425     22 |      782 |      680
630.96/631.20	c  630s |      17 |   369940 |   247132 |    21425     22 |      782 |      680
633.26/633.41	c  633s |      17 |   370765 |   247832 |    21425     22 |      782 |      680
635.36/635.58	c  635s |      17 |   371485 |   248432 |    21425     22 |      782 |      680
637.97/638.11	c  637s |      17 |   372177 |   249032 |    21425     23 |      782 |      680
640.17/640.34	c  640s |      17 |   373010 |   249832 |    21425     23 |      782 |      680
642.37/642.58	c  642s |      17 |   373863 |   250632 |    21425     23 |      782 |      680
644.47/644.64	c  644s |      17 |   374679 |   251332 |    21425     23 |      782 |      680
646.46/646.67	c  646s |      17 |   375482 |   252032 |    21425     23 |      782 |      680
648.76/648.92	c  648s |      17 |   376435 |   252832 |    21425     23 |      782 |      680
650.86/651.02	c  650s |      17 |   377237 |   253532 |    21425     23 |      782 |      680
653.16/653.32	c  653s |      17 |   378056 |   254232 |    21425     23 |      782 |      680
655.47/655.65	c  655s |      17 |   378838 |   254932 |    21425     23 |      782 |      680
657.56/657.79	c  657s |      17 |   379790 |   255632 |    21425     23 |      782 |      680
659.87/660.07	c  659s |      17 |   380619 |   256332 |    21425     23 |      782 |      680
661.96/662.13	c  661s |      17 |   381316 |   256932 |    21425     23 |      782 |      680
664.27/664.44	c  664s |      17 |   382166 |   257632 |    21425     23 |      782 |      680
666.36/666.56	c  666s |      17 |   382866 |   258232 |    21425     23 |      782 |      680
668.46/668.67	c  668s |      17 |   383566 |   258832 |    21425     23 |      782 |      680
670.66/670.82	c  670s |      17 |   384295 |   259432 |    21425     23 |      782 |      680
672.86/673.06	c  672s |      17 |   384990 |   260032 |    21425     23 |      782 |      680
674.86/675.08	c  674s |      17 |   385653 |   260632 |    21425     23 |      782 |      680
676.96/677.11	c  676s |      17 |   386416 |   261232 |    21425     23 |      782 |      680
679.06/679.25	c  678s |      17 |   387133 |   261832 |    21425     24 |      782 |      680
681.26/681.49	c  681s |      17 |   388203 |   262732 |    21425     24 |      782 |      680
683.36/683.52	c  683s |      17 |   389065 |   263432 |    21425     24 |      782 |      680
685.36/685.59	c  685s |      17 |   390062 |   264232 |    21425     24 |      782 |      680
687.56/687.76	c  687s |      17 |   391043 |   265032 |    21425     24 |      782 |      680
689.76/689.98	c  689s |      17 |   392032 |   265832 |    21425     24 |      782 |      680
691.95/692.19	c  691s |      17 |   393071 |   266632 |    21425     24 |      782 |      680
694.06/694.23	c  693s |      17 |   393921 |   267332 |    21425     24 |      782 |      680
696.05/696.25	c  695s |      17 |   394797 |   268032 |    21425     24 |      782 |      680
698.25/698.48	c  698s |      17 |   395676 |   268732 |    21425     24 |      782 |      680
700.35/700.54	c  700s |      17 |   396431 |   269332 |    21425     24 |      782 |      680
702.64/702.82	c  702s |      17 |   397268 |   270032 |    21425     24 |      782 |      680
704.84/705.09	c  704s |      17 |   398109 |   270732 |    21425     24 |      782 |      680
707.04/707.22	c  706s |      17 |   398806 |   271332 |    21425     24 |      782 |      680
709.45/709.62	c  709s |      17 |   399463 |   271932 |    21425     24 |      782 |      680
711.54/711.77	c  711s |      17 |   400200 |   272532 |    21425     24 |      782 |      680
713.64/713.86	c  713s |      17 |   400924 |   273132 |    21425     24 |      782 |      680
715.84/716.03	c  715s |      17 |   401530 |   273632 |    21425     25 |      782 |      680
718.03/718.28	c  718s |      17 |   402552 |   274432 |    21425     25 |      782 |      680
720.34/720.56	c  720s |      17 |   403516 |   275232 |    21425     25 |      782 |      680
722.64/722.90	c  722s |      17 |   404476 |   276032 |    21425     25 |      782 |      680
724.73/724.97	c  724s |      17 |   405434 |   276832 |    21425     25 |      782 |      680
726.83/727.04	c  726s |      17 |   406235 |   277532 |    21425     25 |      782 |      680
729.13/729.35	c  729s |      17 |   407041 |   278232 |    21425     25 |      782 |      680
731.52/731.70	c  731s |      17 |   407861 |   278932 |    21425     25 |      782 |      680
733.63/733.88	c  733s |      17 |   408721 |   279632 |    21425     25 |      782 |      680
735.92/736.13	c  735s |      17 |   409601 |   280332 |    21425     25 |      782 |      680
738.12/738.37	c  738s |      17 |   410442 |   281032 |    21425     25 |      782 |      680
740.42/740.62	c  740s |      17 |   411402 |   281832 |    21425     25 |      782 |      680
742.61/742.86	c  742s |      17 |   412342 |   282532 |    21425     25 |      782 |      680
744.91/745.13	c  744s |      17 |   413163 |   283232 |    21425     25 |      782 |      680
747.11/747.35	c  747s |      17 |   413901 |   283832 |    21425     25 |      782 |      680
749.41/749.67	c  749s |      17 |   414650 |   284432 |    21425     25 |      782 |      680
751.81/752.05	c  751s |      17 |   415247 |   284932 |    21425     25 |      782 |      680
753.81/754.05	c  753s |      17 |   415809 |   285432 |    21425     25 |      782 |      680
755.91/756.12	c  755s |      17 |   416266 |   285832 |    21425     26 |      782 |      680
758.01/758.20	c  757s |      17 |   417331 |   286632 |    21425     26 |      782 |      680
760.21/760.41	c  760s |      17 |   418203 |   287432 |    21425     26 |      782 |      680
762.30/762.53	c  762s |      17 |   419115 |   288232 |    21425     26 |      782 |      680
764.41/764.64	c  764s |      17 |   419933 |   288932 |    21425     26 |      782 |      680
766.61/766.83	c  766s |      17 |   421054 |   289832 |    21425     26 |      782 |      680
768.81/769.07	c  768s |      17 |   422107 |   290732 |    21425     26 |      782 |      680
771.19/771.42	c  771s |      17 |   423267 |   291632 |    21425     26 |      782 |      680
773.39/773.65	c  773s |      17 |   424210 |   292432 |    21425     26 |      782 |      680
775.40/775.69	c  775s |      17 |   424989 |   293132 |    21425     26 |      782 |      680
777.50/777.72	c  777s |      17 |   425933 |   293932 |    21425     26 |      782 |      680
779.59/779.80	c  779s |      17 |   426704 |   294632 |    23568     26 |      782 |      680
781.69/781.90	c  781s |      17 |   427523 |   295332 |    23568     26 |      782 |      680
783.99/784.20	c  783s |      17 |   428459 |   296132 |    23568     26 |      782 |      680
784.29/784.59	c  784s |      18 |   428587 |   296252 |    23568     26 |      782 |      680
786.39/786.69	c  786s |      18 |   435049 |   297652 |    23568     26 |      782 |      680
788.49/788.74	c  788s |      18 |   436919 |   299052 |    23568     26 |      782 |      680
790.58/790.85	c  790s |      18 |   438583 |   300352 |    23568     26 |      782 |      680
792.68/792.95	c  792s |      18 |   439746 |   301352 |    23568     27 |      782 |      680
794.68/794.97	c  794s |      18 |   441060 |   302452 |    23568     27 |      782 |      680
796.88/797.16	c  796s |      18 |   442301 |   303552 |    23568     27 |      782 |      680
798.98/799.20	c  798s |      18 |   443291 |   304452 |    23568     27 |      782 |      680
800.97/801.21	c  800s |      18 |   444186 |   305252 |    23568     27 |      782 |      680
803.07/803.30	c  803s |      18 |   445072 |   306052 |    23568     27 |      782 |      680
805.27/805.56	c  805s |      18 |   446074 |   306952 |    23568     27 |      782 |      680
807.37/807.64	c  807s |      18 |   446833 |   307652 |    23568     27 |      782 |      680
809.48/809.79	c  809s |      18 |   447595 |   308352 |    23568     27 |      782 |      680
811.67/811.94	c  811s |      18 |   448372 |   309052 |    23568     27 |      782 |      680
813.77/814.04	c  813s |      18 |   449138 |   309752 |    23568     27 |      782 |      680
816.07/816.39	c  816s |      18 |   449891 |   310452 |    23568     27 |      782 |      680
818.27/818.54	c  818s |      18 |   451012 |   311352 |    23568     27 |      782 |      680
820.26/820.55	c  820s |      18 |   451800 |   312052 |    23568     27 |      782 |      680
822.36/822.66	c  822s |      18 |   452719 |   312852 |    23568     27 |      782 |      680
824.46/824.78	c  824s |      18 |   453486 |   313552 |    23568     27 |      782 |      680
826.66/826.98	c  826s |      18 |   454197 |   314152 |    23568     28 |      782 |      680
828.76/829.03	c  828s |      18 |   455286 |   315052 |    23568     28 |      782 |      680
830.95/831.22	c  830s |      18 |   456466 |   316052 |    23568     28 |      782 |      680
832.95/833.26	c  833s |      18 |   457393 |   316852 |    23568     28 |      782 |      680
835.05/835.36	c  835s |      18 |   458156 |   317552 |    23568     28 |      782 |      680
837.15/837.48	c  837s |      18 |   458947 |   318252 |    23568     28 |      782 |      680
839.35/839.66	c  839s |      18 |   459877 |   319052 |    23568     28 |      782 |      680
841.45/841.78	c  841s |      18 |   460680 |   319752 |    23568     28 |      782 |      680
843.65/843.93	c  843s |      18 |   461529 |   320452 |    23568     28 |      782 |      680
845.75/846.04	c  845s |      18 |   462508 |   321252 |    23568     28 |      782 |      680
847.85/848.15	c  847s |      18 |   463438 |   322052 |    23568     28 |      782 |      680
850.05/850.38	c  850s |      18 |   464254 |   322752 |    23568     28 |      782 |      680
852.35/852.61	c  852s |      18 |   465190 |   323552 |    23568     28 |      782 |      680
854.34/854.62	c  854s |      18 |   465984 |   324252 |    23568     28 |      782 |      680
856.44/856.72	c  856s |      18 |   466805 |   324952 |    23568     28 |      782 |      680
858.64/858.94	c  858s |      18 |   467602 |   325652 |    23568     28 |      782 |      680
860.83/861.13	c  860s |      18 |   468272 |   326252 |    23568     28 |      782 |      680
862.93/863.20	c  862s |      18 |   468947 |   326852 |    23568     28 |      782 |      680
865.13/865.43	c  865s |      18 |   469587 |   327352 |    23568     29 |      782 |      680
867.13/867.48	c  867s |      18 |   470665 |   328252 |    23568     29 |      782 |      680
869.23/869.58	c  869s |      18 |   471587 |   329052 |    23568     29 |      782 |      680
871.32/871.64	c  871s |      18 |   472365 |   329752 |    23568     29 |      782 |      680
873.52/873.84	c  873s |      18 |   473296 |   330552 |    23568     29 |      782 |      680
875.52/875.87	c  875s |      18 |   474067 |   331252 |    23568     29 |      782 |      680
877.72/878.04	c  877s |      18 |   474849 |   331952 |    23568     29 |      782 |      680
879.92/880.27	c  880s |      18 |   475637 |   332652 |    23568     29 |      782 |      680
882.22/882.58	c  882s |      18 |   476287 |   333252 |    23568     29 |      782 |      680
884.52/884.84	c  884s |      18 |   476949 |   333852 |    23568     29 |      782 |      680
886.62/886.96	c  886s |      18 |   477612 |   334452 |    23568     29 |      782 |      680
888.92/889.24	c  888s |      18 |   478416 |   335152 |    23568     29 |      782 |      680
891.21/891.52	c  891s |      18 |   479086 |   335752 |    23568     29 |      782 |      680
893.51/893.83	c  893s |      18 |   479750 |   336352 |    23568     29 |      782 |      680
895.61/895.95	c  895s |      18 |   480280 |   336852 |    23568     29 |      782 |      680
897.71/898.08	c  897s |      18 |   480845 |   337352 |    23568     29 |      782 |      680
899.91/900.28	c  900s |      18 |   481400 |   337852 |    23568     29 |      782 |      680
902.01/902.37	c  902s |      18 |   481950 |   338352 |    23568     29 |      782 |      680
904.41/904.72	c  904s |      18 |   482492 |   338852 |    23568     29 |      782 |      680
906.41/906.80	c  906s |      18 |   483043 |   339352 |    23568     29 |      782 |      680
908.70/909.02	c  908s |      18 |   483577 |   339852 |    23568     29 |      782 |      680
911.10/911.47	c  911s |      18 |   484111 |   340352 |    23568     29 |      782 |      680
914.01/914.38	c  914s |      18 |   484655 |   340852 |    23568     30 |      782 |      680
916.21/916.58	c  916s |      18 |   485310 |   341452 |    23568     30 |      782 |      680
918.61/918.90	c  918s |      18 |   485949 |   342052 |    23568     30 |      782 |      680
920.71/921.09	c  920s |      18 |   486605 |   342652 |    23568     30 |      782 |      680
922.80/923.12	c  922s |      18 |   487139 |   343152 |    23568     30 |      782 |      680
925.10/925.45	c  925s |      18 |   487796 |   343752 |    23568     30 |      782 |      680
927.20/927.51	c  927s |      18 |   488330 |   344252 |    23568     30 |      782 |      680
929.21/929.54	c  929s |      18 |   488871 |   344752 |    23568     30 |      782 |      680
931.30/931.61	c  931s |      18 |   489412 |   345252 |    23568     30 |      782 |      680
933.40/933.72	c  933s |      18 |   489952 |   345752 |    23568     30 |      782 |      680
935.59/935.94	c  935s |      18 |   490461 |   346252 |    23568     30 |      782 |      680
937.89/938.28	c  938s |      18 |   491129 |   346852 |    23568     30 |      782 |      680
939.99/940.31	c  940s |      18 |   491682 |   347352 |    23568     30 |      782 |      680
942.29/942.61	c  942s |      18 |   492362 |   347952 |    23568     30 |      782 |      680
944.49/944.82	c  944s |      18 |   492910 |   348452 |    23568     30 |      782 |      680
946.69/947.10	c  946s |      18 |   493437 |   348952 |    23568     30 |      782 |      680
949.19/949.51	c  949s |      18 |   493970 |   349452 |    23568     30 |      782 |      680
951.58/951.93	c  951s |      18 |   494507 |   349952 |    23568     30 |      782 |      680
953.98/954.35	c  954s |      18 |   495058 |   350452 |    23568     30 |      782 |      680
956.28/956.63	c  956s |      18 |   495607 |   350952 |    23568     30 |      782 |      680
958.58/958.93	c  958s |      18 |   496280 |   351552 |    23568     30 |      782 |      680
961.08/961.43	c  961s |      18 |   496828 |   352052 |    23568     30 |      782 |      680
963.28/963.66	c  963s |      18 |   497371 |   352552 |    23568     30 |      782 |      680
965.37/965.74	c  965s |      18 |   497808 |   352952 |    23568     30 |      782 |      680
967.57/967.96	c  967s |      18 |   498227 |   353352 |    23568     30 |      782 |      680
970.07/970.47	c  970s |      18 |   498764 |   353852 |    23568     30 |      782 |      680
972.66/973.06	c  972s |      18 |   499204 |   354252 |    23568     31 |      782 |      680
974.96/975.33	c  975s |      18 |   499852 |   354852 |    23568     31 |      782 |      680
977.36/977.71	c  977s |      18 |   500487 |   355452 |    23568     31 |      782 |      680
979.46/979.84	c  979s |      18 |   501145 |   356052 |    23568     31 |      782 |      680
981.86/982.23	c  981s |      18 |   501784 |   356652 |    23568     31 |      782 |      680
984.16/984.55	c  984s |      18 |   502304 |   357152 |    23568     31 |      782 |      680
986.46/986.88	c  986s |      18 |   502841 |   357652 |    23568     31 |      782 |      680
988.66/989.06	c  988s |      18 |   503379 |   358152 |    23568     31 |      782 |      680
990.76/991.12	c  990s |      18 |   503909 |   358652 |    23568     31 |      782 |      680
992.96/993.39	c  993s |      18 |   504431 |   359152 |    23568     31 |      782 |      680
995.05/995.49	c  995s |      18 |   504856 |   359552 |    23568     31 |      782 |      680
997.35/997.79	c  997s |      18 |   505397 |   360052 |    23568     31 |      782 |      680
999.95/1000.31	c 1000s |      18 |   505934 |   360552 |    23568     31 |      782 |      680
1002.04/1002.46	c 1002s |      18 |   506359 |   360952 |    23568     31 |      782 |      680
1004.05/1004.47	c 1004s |      18 |   506784 |   361352 |    23568     31 |      782 |      680
1006.54/1006.92	c 1006s |      18 |   507318 |   361852 |    23568     31 |      782 |      680
1008.64/1009.00	c 1008s |      18 |   507766 |   362252 |    23568     31 |      782 |      680
1010.84/1011.21	c 1010s |      18 |   508206 |   362652 |    23568     31 |      782 |      680
1013.24/1013.67	c 1013s |      18 |   508733 |   363152 |    23568     31 |      782 |      680
1015.54/1015.90	c 1015s |      18 |   509158 |   363552 |    23568     31 |      782 |      680
1017.54/1017.93	c 1017s |      18 |   509606 |   363952 |    23568     31 |      782 |      680
1019.94/1020.31	c 1020s |      18 |   510140 |   364452 |    23568     31 |      782 |      680
1022.14/1022.52	c 1022s |      18 |   510585 |   364852 |    23568     31 |      782 |      680
1024.24/1024.64	c 1024s |      18 |   511013 |   365252 |    23568     31 |      782 |      680
1026.63/1027.04	c 1026s |      18 |   511432 |   365652 |    23568     31 |      782 |      680
1029.03/1029.47	c 1029s |      18 |   511858 |   366052 |    23568     31 |      782 |      680
1031.03/1031.49	c 1031s |      18 |   512164 |   366352 |    23568     31 |      782 |      680
1033.64/1034.05	c 1033s |      18 |   512575 |   366752 |    23568     31 |      782 |      680
1036.13/1036.52	c 1036s |      18 |   513002 |   367152 |    23568     31 |      782 |      680
1038.43/1038.84	c 1038s |      18 |   513423 |   367552 |    23568     31 |      782 |      680
1040.63/1041.07	c 1040s |      18 |   513754 |   367852 |    23568     32 |      782 |      680
1042.73/1043.18	c 1042s |      18 |   514298 |   368352 |    23568     32 |      782 |      680
1044.93/1045.38	c 1045s |      18 |   514832 |   368852 |    23568     32 |      782 |      680
1047.23/1047.63	c 1047s |      18 |   515380 |   369352 |    23568     32 |      782 |      680
1049.33/1049.76	c 1049s |      18 |   515919 |   369852 |    23568     32 |      782 |      680
1051.43/1051.88	c 1051s |      18 |   516478 |   370352 |    23568     32 |      782 |      680
1053.63/1054.06	c 1053s |      18 |   516996 |   370852 |    23568     32 |      782 |      680
1055.74/1056.17	c 1055s |      18 |   517565 |   371352 |    23568     32 |      782 |      680
1058.03/1058.42	c 1058s |      18 |   518100 |   371852 |    23568     32 |      782 |      680
1060.23/1060.68	c 1060s |      18 |   518652 |   372352 |    23568     32 |      782 |      680
1062.63/1063.00	c 1062s |      18 |   519192 |   372852 |    23568     32 |      782 |      680
1064.83/1065.28	c 1065s |      18 |   519735 |   373352 |    23568     32 |      782 |      680
1067.03/1067.44	c 1067s |      18 |   520284 |   373852 |    23568     32 |      782 |      680
1069.43/1069.85	c 1069s |      18 |   520827 |   374352 |    23568     32 |      782 |      680
1071.43/1071.85	c 1071s |      18 |   521255 |   374752 |    23568     32 |      782 |      680
1073.43/1073.87	c 1073s |      18 |   521678 |   375152 |    23568     32 |      782 |      680
1075.63/1076.09	c 1075s |      18 |   522102 |   375552 |    23568     32 |      782 |      680
1078.03/1078.45	c 1078s |      18 |   522652 |   376052 |    23568     32 |      782 |      680
1080.03/1080.46	c 1080s |      18 |   523080 |   376452 |    23568     32 |      782 |      680
1082.03/1082.50	c 1082s |      18 |   523521 |   376852 |    23568     32 |      782 |      680
1084.43/1084.85	c 1084s |      18 |   524069 |   377352 |    23568     32 |      782 |      680
1086.43/1086.89	c 1086s |      18 |   524502 |   377752 |    23568     32 |      782 |      680
1088.82/1089.20	c 1088s |      18 |   525065 |   378252 |    23568     32 |      782 |      680
1090.93/1091.35	c 1091s |      18 |   525623 |   378752 |    23568     32 |      782 |      680
1093.22/1093.60	c 1093s |      18 |   526043 |   379152 |    23568     32 |      782 |      680
1095.33/1095.79	c 1095s |      18 |   526468 |   379552 |    23568     32 |      782 |      680
1097.53/1097.97	c 1097s |      18 |   526922 |   379952 |    23568     32 |      782 |      680
1099.73/1100.12	c 1099s |      18 |   527488 |   380452 |    23568     32 |      782 |      680
1102.12/1102.59	c 1102s |      18 |   528076 |   380952 |    23568     32 |      782 |      680
1104.32/1104.73	c 1104s |      18 |   528390 |   381252 |    23568     33 |      782 |      680
1106.33/1106.77	c 1106s |      18 |   528940 |   381752 |    23568     33 |      782 |      680
1108.43/1108.80	c 1108s |      18 |   529593 |   382352 |    23568     33 |      782 |      680
1110.63/1111.02	c 1110s |      18 |   530277 |   382952 |    23568     33 |      782 |      680
1112.62/1113.07	c 1112s |      18 |   530976 |   383552 |    23568     33 |      782 |      680
1114.92/1115.33	c 1115s |      18 |   531505 |   384052 |    23568     33 |      782 |      680
1117.23/1117.68	c 1117s |      18 |   532193 |   384652 |    23568     33 |      782 |      680
1119.22/1119.69	c 1119s |      18 |   532622 |   385052 |    23568     33 |      782 |      680
1121.73/1122.14	c 1121s |      18 |   533155 |   385552 |    23568     33 |      782 |      680
1123.93/1124.37	c 1124s |      18 |   533712 |   386052 |    23568     33 |      782 |      680
1126.13/1126.54	c 1126s |      18 |   534266 |   386552 |    23568     33 |      782 |      680
1128.52/1128.98	c 1128s |      18 |   534810 |   387052 |    23568     33 |      782 |      680
1130.92/1131.38	c 1131s |      18 |   535343 |   387552 |    23568     33 |      782 |      680
1133.12/1133.57	c 1133s |      18 |   535879 |   388052 |    23568     33 |      782 |      680
1135.62/1136.05	c 1135s |      18 |   536407 |   388552 |    23568     33 |      782 |      680
1137.62/1138.06	c 1137s |      18 |   536828 |   388952 |    23568     33 |      782 |      680
1139.72/1140.10	c 1139s |      18 |   537260 |   389352 |    23568     33 |      782 |      680
1141.82/1142.24	c 1141s |      18 |   537690 |   389752 |    23568     33 |      782 |      680
1143.92/1144.36	c 1144s |      18 |   538119 |   390152 |    23568     33 |      782 |      680
1146.31/1146.72	c 1146s |      18 |   538551 |   390552 |    23568     33 |      782 |      680
1148.41/1148.85	c 1148s |      18 |   538974 |   390952 |    23568     33 |      782 |      680
1150.81/1151.27	c 1151s |      18 |   539528 |   391452 |    23568     33 |      782 |      680
1153.01/1153.46	c 1153s |      18 |   539959 |   391852 |    23568     33 |      782 |      680
1155.01/1155.46	c 1155s |      18 |   540389 |   392252 |    23568     33 |      782 |      680
1157.21/1157.63	c 1157s |      18 |   540810 |   392652 |    23568     33 |      782 |      680
1159.21/1159.69	c 1159s |      18 |   541241 |   393052 |    23568     33 |      782 |      680
1161.32/1161.76	c 1161s |      18 |   541689 |   393452 |    23568     33 |      782 |      680
1163.61/1164.05	c 1163s |      18 |   542125 |   393852 |    23568     33 |      782 |      680
1165.81/1166.20	c 1165s |      18 |   542574 |   394252 |    23568     33 |      782 |      680
1168.41/1168.85	c 1168s |      18 |   543036 |   394652 |    23568     34 |      782 |      680
1170.71/1171.12	c 1170s |      18 |   543709 |   395252 |    23568     34 |      782 |      680
1173.01/1173.47	c 1173s |      18 |   544354 |   395852 |    23568     34 |      782 |      680
1175.52/1175.96	c 1175s |      18 |   545021 |   396452 |    23568     34 |      782 |      680
1177.82/1178.24	c 1177s |      18 |   545547 |   396952 |    23568     34 |      782 |      680
1180.02/1180.42	c 1180s |      18 |   546076 |   397452 |    23568     34 |      782 |      680
1182.41/1182.81	c 1182s |      18 |   546719 |   398052 |    23568     34 |      782 |      680
1184.61/1185.07	c 1184s |      18 |   547261 |   398552 |    23568     34 |      782 |      680
1186.91/1187.35	c 1187s |      18 |   547797 |   399052 |    23568     34 |      782 |      680
1188.91/1189.39	c 1189s |      18 |   548241 |   399452 |    23568     34 |      782 |      680
1191.21/1191.63	c 1191s |      18 |   548766 |   399952 |    23568     34 |      782 |      680
1193.41/1193.86	c 1193s |      18 |   549310 |   400452 |    23568     34 |      782 |      680
1195.61/1196.09	c 1195s |      18 |   549848 |   400952 |    23568     34 |      782 |      680
1197.61/1198.10	c 1197s |      18 |   550269 |   401352 |    23568     34 |      782 |      680
1200.01/1200.43	c 1200s |      18 |   550809 |   401852 |    23568     34 |      782 |      680
1202.21/1202.69	c 1202s |      18 |   551359 |   402352 |    23568     34 |      782 |      680
1204.60/1205.07	c 1204s |      18 |   551886 |   402852 |    23568     34 |      782 |      680
1206.80/1207.20	c 1206s |      18 |   552308 |   403252 |    23568     34 |      782 |      680
1208.90/1209.37	c 1209s |      18 |   552735 |   403652 |    23568     34 |      782 |      680
1211.10/1211.58	c 1211s |      18 |   553173 |   404052 |    23568     34 |      782 |      680
1213.50/1213.94	c 1213s |      18 |   553589 |   404452 |    23568     34 |      782 |      680
1216.00/1216.46	c 1216s |      18 |   554128 |   404952 |    23568     34 |      782 |      680
1218.30/1218.74	c 1218s |      18 |   554545 |   405352 |    23568     34 |      782 |      680
1220.71/1221.18	c 1220s |      18 |   555068 |   405852 |    23568     34 |      782 |      680
1223.00/1223.43	c 1223s |      18 |   555498 |   406252 |    23568     34 |      782 |      680
1225.40/1225.86	c 1225s |      18 |   556065 |   406752 |    23568     34 |      782 |      680
1227.70/1228.16	c 1227s |      18 |   556509 |   407152 |    23568     34 |      782 |      680
1230.00/1230.41	c 1230s |      18 |   556939 |   407552 |    23568     34 |      782 |      680
1232.20/1232.61	c 1232s |      18 |   557401 |   407952 |    23568     34 |      782 |      680
1234.20/1234.63	c 1234s |      18 |   557735 |   408252 |    23568     35 |      782 |      680
1236.30/1236.77	c 1236s |      18 |   558298 |   408752 |    23568     35 |      782 |      680
1238.70/1239.19	c 1238s |      18 |   558973 |   409352 |    23568     35 |      782 |      680
1240.90/1241.30	c 1241s |      18 |   559518 |   409852 |    23568     35 |      782 |      680
1243.00/1243.43	c 1243s |      18 |   560077 |   410352 |    23568     35 |      782 |      680
1245.10/1245.56	c 1245s |      18 |   560623 |   410852 |    23568     35 |      782 |      680
1247.30/1247.78	c 1247s |      18 |   561171 |   411352 |    23568     35 |      782 |      680
1249.60/1250.02	c 1249s |      18 |   561703 |   411852 |    23568     35 |      782 |      680
1251.80/1252.23	c 1251s |      18 |   562254 |   412352 |    23568     35 |      782 |      680
1253.90/1254.31	c 1254s |      18 |   562703 |   412752 |    23568     35 |      782 |      680
1256.20/1256.67	c 1256s |      18 |   563471 |   413352 |    23568     35 |      782 |      680
1258.49/1258.92	c 1258s |      18 |   564138 |   413952 |    23568     35 |      782 |      680
1260.59/1261.06	c 1260s |      18 |   564680 |   414452 |    23568     35 |      782 |      680
1262.79/1263.21	c 1262s |      18 |   565241 |   414952 |    23568     35 |      782 |      680
1264.99/1265.45	c 1265s |      18 |   565770 |   415452 |    23568     35 |      782 |      680
1267.09/1267.55	c 1267s |      18 |   566306 |   415952 |    23568     35 |      782 |      680
1269.49/1269.92	c 1269s |      18 |   566823 |   416452 |    23568     35 |      782 |      680
1271.79/1272.23	c 1271s |      18 |   567363 |   416952 |    23568     35 |      782 |      680
1274.09/1274.50	c 1274s |      18 |   567919 |   417452 |    23568     35 |      782 |      680
1276.39/1276.83	c 1276s |      18 |   568443 |   417952 |    23568     35 |      782 |      680
1278.59/1279.02	c 1278s |      18 |   569025 |   418452 |    23568     35 |      782 |      680
1280.69/1281.15	c 1280s |      18 |   569474 |   418852 |    23568     35 |      782 |      680
1283.09/1283.50	c 1283s |      18 |   570005 |   419352 |    23568     35 |      782 |      680
1285.19/1285.69	c 1285s |      18 |   570427 |   419752 |    23568     35 |      782 |      680
1287.49/1287.99	c 1287s |      18 |   570848 |   420152 |    23568     35 |      782 |      680
1289.69/1290.11	c 1289s |      18 |   571281 |   420552 |    23568     35 |      782 |      680
1291.89/1292.32	c 1292s |      18 |   571706 |   420952 |    23568     35 |      782 |      680
1294.19/1294.63	c 1294s |      18 |   572303 |   421452 |    23568     35 |      782 |      680
1296.19/1296.64	c 1296s |      18 |   572749 |   421852 |    23568     36 |      782 |      680
1298.29/1298.72	c 1298s |      18 |   573428 |   422452 |    23568     36 |      782 |      680
1300.49/1300.97	c 1300s |      18 |   574332 |   423152 |    23568     36 |      782 |      680
1302.59/1303.01	c 1302s |      18 |   575112 |   423852 |    23568     36 |      782 |      680
1304.59/1305.09	c 1304s |      18 |   576214 |   424652 |    23568     36 |      782 |      680
1306.79/1307.21	c 1306s |      18 |   577042 |   425352 |    23568     36 |      782 |      680
1308.79/1309.29	c 1309s |      18 |   577878 |   426052 |    23568     36 |      782 |      680
1311.09/1311.58	c 1311s |      18 |   578682 |   426752 |    23568     36 |      782 |      680
1313.39/1313.81	c 1313s |      18 |   579349 |   427352 |    23568     36 |      782 |      680
1315.39/1315.86	c 1315s |      18 |   580050 |   427952 |    23568     36 |      782 |      680
1317.58/1318.04	c 1317s |      18 |   580722 |   428552 |    23568     36 |      782 |      680
1319.98/1320.41	c 1320s |      18 |   581373 |   429152 |    23568     36 |      782 |      680
1321.98/1322.49	c 1322s |      18 |   581925 |   429652 |    23568     36 |      782 |      680
1324.09/1324.54	c 1324s |      18 |   582487 |   430152 |    23568     36 |      782 |      680
1326.08/1326.58	c 1326s |      18 |   583020 |   430652 |    23568     36 |      782 |      680
1328.28/1328.74	c 1328s |      18 |   583579 |   431152 |    23568     36 |      782 |      680
1330.59/1331.06	c 1330s |      18 |   584353 |   431752 |    23568     36 |      782 |      680
1332.89/1333.31	c 1333s |      18 |   585044 |   432352 |    23568     36 |      782 |      680
1335.18/1335.68	c 1335s |      18 |   585729 |   432952 |    23568     36 |      782 |      680
1337.58/1338.00	c 1337s |      18 |   586395 |   433552 |    23568     36 |      782 |      680
1339.88/1340.34	c 1340s |      18 |   587057 |   434152 |    23568     36 |      782 |      680
1342.08/1342.56	c 1342s |      18 |   587751 |   434752 |    23568     36 |      782 |      680
1344.38/1344.86	c 1344s |      18 |   588298 |   435252 |    23568     37 |      782 |      680
1346.58/1347.04	c 1346s |      18 |   589086 |   435952 |    23568     37 |      782 |      680
1348.68/1349.11	c 1348s |      18 |   589718 |   436552 |    23568     37 |      782 |      680
1350.98/1351.44	c 1351s |      18 |   590495 |   437252 |    23568     37 |      782 |      680
1353.08/1353.57	c 1353s |      18 |   591133 |   437852 |    23568     37 |      782 |      680
1355.18/1355.67	c 1355s |      18 |   591661 |   438352 |    23568     37 |      782 |      680
1357.48/1357.94	c 1357s |      18 |   592199 |   438852 |    23568     37 |      782 |      680
1359.78/1360.22	c 1359s |      18 |   592852 |   439452 |    23568     37 |      782 |      680
1361.98/1362.47	c 1362s |      18 |   593498 |   440052 |    23568     37 |      782 |      680
1364.18/1364.61	c 1364s |      18 |   594136 |   440652 |    23568     37 |      782 |      680
1366.48/1366.98	c 1366s |      18 |   594950 |   441352 |    25925     37 |      782 |      680
1368.78/1369.24	c 1368s |      18 |   595591 |   441952 |    25925     37 |      782 |      680
1370.78/1371.28	c 1371s |      18 |   596135 |   442452 |    25925     37 |      782 |      680
1372.98/1373.48	c 1373s |      18 |   596691 |   442952 |    25925     37 |      782 |      680
1375.08/1375.57	c 1375s |      18 |   597255 |   443452 |    25925     37 |      782 |      680
1377.48/1377.90	c 1377s |      18 |   597925 |   444052 |    25925     37 |      782 |      680
1379.18/1379.60	c 1379s |      19 |   598406 |   444482 |    25925     37 |      782 |      680
1381.18/1381.65	c 1381s |      19 |   603434 |   445982 |    25925     37 |      782 |      680
1383.17/1383.67	c 1383s |      19 |   608466 |   447882 |    25925     37 |      782 |      680
1385.27/1385.79	c 1385s |      19 |   610622 |   449382 |    25925     37 |      782 |      680
1387.37/1387.89	c 1387s |      19 |   611977 |   450482 |    25925     37 |      782 |      680
1389.47/1389.90	c 1389s |      19 |   619120 |   451982 |    25925     38 |      782 |      680
1391.47/1391.90	c 1391s |      19 |   621384 |   453482 |    25925     38 |      782 |      680
1393.57/1394.07	c 1393s |      19 |   623047 |   454682 |    25925     38 |      782 |      680
1395.67/1396.19	c 1395s |      19 |   627250 |   456382 |    25925     38 |      782 |      680
1397.88/1398.32	c 1398s |      19 |   628638 |   457482 |    25925     38 |      782 |      680
1400.08/1400.53	c 1400s |      19 |   630156 |   458582 |    25925     38 |      782 |      680
1402.08/1402.56	c 1402s |      19 |   631734 |   459682 |    25925     38 |      782 |      680
1404.28/1404.79	c 1404s |      19 |   632858 |   460582 |    25925     38 |      782 |      680
1406.48/1406.97	c 1406s |      19 |   633722 |   461282 |    25925     38 |      782 |      680
1408.58/1409.03	c 1408s |      19 |   637556 |   462582 |    25925     38 |      782 |      680
1410.58/1411.04	c 1410s |      19 |   640204 |   463782 |    25925     38 |      782 |      680
1412.78/1413.21	c 1412s |      19 |   642129 |   464982 |    25925     38 |      782 |      680
1414.78/1415.27	c 1415s |      19 |   644880 |   466082 |    25925     39 |      782 |      680
1416.88/1417.32	c 1417s |      19 |   648610 |   467782 |    25925     39 |      782 |      680
1419.08/1419.55	c 1419s |      19 |   650155 |   468982 |    25925     39 |      782 |      680
1421.18/1421.61	c 1421s |      19 |   651175 |   469882 |    25925     39 |      782 |      680
1423.17/1423.69	c 1423s |      19 |   652165 |   470782 |    25925     39 |      782 |      680
1425.37/1425.88	c 1425s |      19 |   653187 |   471682 |    25925     39 |      782 |      680
1427.48/1427.91	c 1427s |      19 |   655370 |   472882 |    25925     39 |      782 |      680
1429.58/1430.01	c 1429s |      19 |   657367 |   473982 |    25925     39 |      782 |      680
1431.67/1432.12	c 1431s |      19 |   658669 |   474882 |    25925     39 |      782 |      680
1433.87/1434.33	c 1434s |      19 |   659978 |   475682 |    25925     39 |      782 |      680
1436.07/1436.56	c 1436s |      19 |   660965 |   476482 |    25925     39 |      782 |      680
1438.27/1438.70	c 1438s |      19 |   661675 |   477082 |    25925     39 |      782 |      680
1440.37/1440.87	c 1440s |      19 |   662372 |   477682 |    25925     39 |      782 |      680
1442.47/1442.92	c 1442s |      19 |   662928 |   478182 |    25925     39 |      782 |      680
1444.77/1445.24	c 1444s |      19 |   663521 |   478682 |    25925     39 |      782 |      680
1446.97/1447.46	c 1447s |      19 |   664109 |   479182 |    25925     39 |      782 |      680
1449.17/1449.65	c 1449s |      19 |   664866 |   479782 |    25925     39 |      782 |      680
1451.37/1451.88	c 1451s |      19 |   665471 |   480282 |    25925     40 |      782 |      680
1453.67/1454.15	c 1453s |      19 |   666138 |   480882 |    25925     40 |      782 |      680
1455.87/1456.38	c 1456s |      19 |   666876 |   481482 |    25925     40 |      782 |      680
1458.18/1458.62	c 1458s |      19 |   667532 |   482082 |    25925     40 |      782 |      680
1460.38/1460.87	c 1460s |      19 |   668200 |   482682 |    25925     40 |      782 |      680
1462.68/1463.11	c 1462s |      19 |   668951 |   483282 |    25925     40 |      782 |      680
1464.67/1465.20	c 1464s |      19 |   670380 |   483982 |    25925     40 |      782 |      680
1466.87/1467.33	c 1467s |      19 |   672302 |   484982 |    25925     40 |      782 |      680
1469.07/1469.60	c 1469s |      19 |   673131 |   485682 |    25925     40 |      782 |      680
1471.37/1471.89	c 1471s |      19 |   673946 |   486382 |    25925     40 |      782 |      680
1473.57/1474.03	c 1473s |      19 |   674730 |   486982 |    25925     40 |      782 |      680
1475.67/1476.10	c 1475s |      19 |   675568 |   487582 |    25925     40 |      782 |      680
1477.97/1478.49	c 1478s |      19 |   676415 |   488282 |    25925     40 |      782 |      680
1480.27/1480.73	c 1480s |      19 |   677130 |   488882 |    25925     40 |      782 |      680
1482.56/1483.09	c 1482s |      19 |   677910 |   489582 |    25925     40 |      782 |      680
1484.57/1485.09	c 1484s |      19 |   678480 |   490082 |    25925     40 |      782 |      680
1486.66/1487.15	c 1486s |      19 |   679079 |   490582 |    25925     40 |      782 |      680
1489.07/1489.51	c 1489s |      19 |   679791 |   491182 |    25925     40 |      782 |      680
1491.36/1491.85	c 1491s |      19 |   680474 |   491782 |    25925     40 |      782 |      680
1493.66/1494.14	c 1493s |      19 |   681141 |   492282 |    25925     40 |      782 |      680
1495.96/1496.47	c 1496s |      19 |   681728 |   492782 |    25925     40 |      782 |      680
1498.46/1498.94	c 1498s |      19 |   682182 |   493182 |    25925     40 |      782 |      680
1501.07/1501.55	c 1501s |      19 |   682744 |   493682 |    25925     40 |      782 |      680
1503.76/1504.26	c 1504s |      19 |   683295 |   494082 |    25925     41 |      782 |      680
1506.16/1506.62	c 1506s |      19 |   684502 |   494882 |    25925     41 |      782 |      680
1508.16/1508.63	c 1508s |      19 |   685367 |   495582 |    25925     41 |      782 |      680
1510.16/1510.67	c 1510s |      19 |   686703 |   496482 |    25925     41 |      782 |      680
1512.46/1512.93	c 1512s |      19 |   687669 |   497182 |    25925     41 |      782 |      680
1514.86/1515.30	c 1515s |      19 |   688482 |   497882 |    25925     41 |      782 |      680
1516.96/1517.49	c 1517s |      19 |   689414 |   498582 |    25925     41 |      782 |      680
1519.26/1519.71	c 1519s |      19 |   690022 |   499082 |    25925     41 |      782 |      680
1521.46/1521.98	c 1521s |      19 |   690600 |   499582 |    25925     41 |      782 |      680
1523.76/1524.26	c 1524s |      19 |   691158 |   500082 |    25925     41 |      782 |      680
1526.06/1526.57	c 1526s |      19 |   691707 |   500582 |    25925     41 |      782 |      680
1528.25/1528.70	c 1528s |      19 |   692274 |   501082 |    25925     41 |      782 |      680
1530.35/1530.88	c 1530s |      19 |   692725 |   501482 |    25925     41 |      782 |      680
1532.96/1533.44	c 1533s |      19 |   693274 |   501982 |    25925     41 |      782 |      680
1535.05/1535.59	c 1535s |      19 |   694003 |   502582 |    25925     41 |      782 |      680
1537.36/1537.88	c 1537s |      19 |   694705 |   503182 |    25925     41 |      782 |      680
1539.85/1540.34	c 1540s |      19 |   695368 |   503782 |    25925     41 |      782 |      680
1542.45/1542.92	c 1542s |      19 |   696057 |   504282 |    25925     41 |      782 |      680
1544.65/1545.13	c 1544s |      19 |   696491 |   504682 |    25925     41 |      782 |      680
1547.45/1547.99	c 1547s |      19 |   696957 |   505082 |    25925     41 |      782 |      680
1549.75/1550.23	c 1549s |      19 |   697168 |   505282 |    25925     41 |      782 |      680
1551.76/1552.28	c 1552s |      19 |   697396 |   505482 |    25925     41 |      782 |      680
1553.75/1554.29	c 1554s |      19 |   697622 |   505682 |    25925     41 |      782 |      680
1556.65/1557.16	c 1556s |      19 |   697837 |   505882 |    25925     41 |      782 |      680
1558.75/1559.27	c 1559s |      19 |   698052 |   506082 |    25925     41 |      782 |      680
1561.25/1561.79	c 1561s |      19 |   698437 |   506382 |    25925     41 |      782 |      680
1563.35/1563.88	c 1563s |      19 |   699118 |   506982 |    25925     41 |      782 |      680
1565.75/1566.24	c 1565s |      19 |   699784 |   507582 |    25925     41 |      782 |      680
1567.95/1568.40	c 1568s |      19 |   700368 |   508082 |    25925     41 |      782 |      680
1570.45/1570.95	c 1570s |      19 |   700717 |   508382 |    25925     41 |      782 |      680
1573.55/1574.03	c 1573s |      19 |   700922 |   508582 |    25925     41 |      782 |      680
1575.55/1576.09	c 1575s |      19 |   701160 |   508782 |    25925     41 |      782 |      680
1577.75/1578.28	c 1578s |      19 |   701499 |   509082 |    25925     42 |      782 |      680
1579.84/1580.36	c 1580s |      19 |   701955 |   509482 |    25925     42 |      782 |      680
1582.04/1582.53	c 1582s |      19 |   702530 |   509982 |    25925     42 |      782 |      680
1584.54/1585.05	c 1584s |      19 |   703268 |   510582 |    25925     42 |      782 |      680
1586.74/1587.21	c 1586s |      19 |   703989 |   511182 |    25925     42 |      782 |      680
1589.05/1589.54	c 1589s |      19 |   704659 |   511782 |    25925     42 |      782 |      680
1591.44/1591.91	c 1591s |      19 |   705341 |   512382 |    25925     42 |      782 |      680
1593.64/1594.17	c 1593s |      19 |   705775 |   512682 |    25925     42 |      782 |      680
1596.14/1596.60	c 1596s |      19 |   706476 |   513282 |    25925     42 |      782 |      680
1598.34/1598.86	c 1598s |      19 |   707053 |   513782 |    25925     42 |      782 |      680
1600.44/1600.91	c 1600s |      19 |   708476 |   514482 |    25925     42 |      782 |      680
1602.64/1603.11	c 1602s |      19 |   709568 |   515482 |    25925     42 |      782 |      680
1604.64/1605.17	c 1604s |      19 |   710415 |   516282 |    25925     42 |      782 |      680
1606.65/1607.19	c 1606s |      19 |   711170 |   516982 |    25925     42 |      782 |      680
1608.85/1609.39	c 1609s |      19 |   712028 |   517782 |    25925     42 |      782 |      680
1610.94/1611.42	c 1611s |      19 |   712775 |   518482 |    25925     42 |      782 |      680
1613.14/1613.66	c 1613s |      19 |   713663 |   519282 |    25925     42 |      782 |      680
1615.34/1615.82	c 1615s |      19 |   714577 |   519982 |    25925     42 |      782 |      680
1617.34/1617.89	c 1617s |      19 |   716591 |   520882 |    25925     42 |      782 |      680
1619.54/1620.01	c 1619s |      19 |   719636 |   522182 |    25925     43 |      782 |      680
1621.54/1622.04	c 1621s |      19 |   721839 |   523582 |    25925     43 |      782 |      680
1623.54/1624.08	c 1623s |      19 |   727168 |   524882 |    25925     43 |      782 |      680
1625.54/1626.09	c 1625s |      19 |   728238 |   525782 |    25925     43 |      782 |      680
1627.74/1628.25	c 1627s |      19 |   729242 |   526582 |    25925     43 |      782 |      680
1629.74/1630.28	c 1630s |      19 |   731521 |   527482 |    25925     43 |      782 |      680
1632.04/1632.50	c 1632s |      19 |   734343 |   528682 |    25925     43 |      782 |      680
1634.24/1634.71	c 1634s |      19 |   738949 |   529882 |    25925     43 |      782 |      680
1636.34/1636.82	c 1636s |      19 |   739947 |   530682 |    25925     43 |      782 |      680
1638.43/1638.90	c 1638s |      19 |   740816 |   531382 |    25925     43 |      782 |      680
1640.63/1641.11	c 1640s |      19 |   741874 |   532082 |    25925     43 |      782 |      680
1642.94/1643.42	c 1643s |      19 |   742635 |   532782 |    25925     43 |      782 |      680
1645.03/1645.54	c 1645s |      19 |   743369 |   533382 |    25925     43 |      782 |      680
1647.13/1647.66	c 1647s |      19 |   744062 |   533982 |    25925     43 |      782 |      680
1649.23/1649.74	c 1649s |      19 |   744755 |   534582 |    25925     43 |      782 |      680
1651.53/1652.02	c 1651s |      19 |   745435 |   535182 |    25925     43 |      782 |      680
1653.83/1654.30	c 1654s |      19 |   746122 |   535782 |    25925     43 |      782 |      680
1656.03/1656.59	c 1656s |      19 |   746783 |   536382 |    25925     43 |      782 |      680
1658.13/1658.66	c 1658s |      19 |   747325 |   536882 |    25925     43 |      782 |      680
1660.64/1661.18	c 1660s |      19 |   747882 |   537382 |    25925     44 |      782 |      680
1662.74/1663.21	c 1662s |      19 |   748646 |   538082 |    25925     44 |      782 |      680
1664.94/1665.47	c 1665s |      19 |   749426 |   538782 |    25925     44 |      782 |      680
1667.03/1667.55	c 1667s |      19 |   750097 |   539382 |    25925     44 |      782 |      680
1669.23/1669.79	c 1669s |      19 |   750754 |   539982 |    25925     44 |      782 |      680
1671.64/1672.19	c 1671s |      19 |   751397 |   540582 |    25925     44 |      782 |      680
1674.13/1674.64	c 1674s |      19 |   752078 |   541182 |    25925     44 |      782 |      680
1676.44/1676.94	c 1676s |      19 |   752744 |   541782 |    25925     44 |      782 |      680
1678.84/1679.31	c 1679s |      19 |   753417 |   542382 |    25925     44 |      782 |      680
1681.04/1681.56	c 1681s |      19 |   754088 |   542982 |    25925     44 |      782 |      680
1683.24/1683.71	c 1683s |      19 |   754774 |   543582 |    25925     44 |      782 |      680
1685.33/1685.80	c 1685s |      19 |   755311 |   544082 |    25925     44 |      782 |      680
1687.73/1688.20	c 1687s |      19 |   755851 |   544582 |    25925     44 |      782 |      680
1689.93/1690.41	c 1690s |      19 |   756399 |   545082 |    25925     44 |      782 |      680
1692.44/1692.90	c 1692s |      19 |   757058 |   545682 |    25925     44 |      782 |      680
1694.64/1695.18	c 1694s |      19 |   757620 |   546182 |    25925     44 |      782 |      680
1696.73/1697.20	c 1696s |      19 |   758067 |   546582 |    25925     44 |      782 |      680
1698.73/1699.26	c 1699s |      19 |   758503 |   546982 |    25925     44 |      782 |      680
1701.13/1701.60	c 1701s |      19 |   759045 |   547482 |    25925     44 |      782 |      680
1703.23/1703.75	c 1703s |      19 |   759490 |   547882 |    25925     44 |      782 |      680
1705.23/1705.78	c 1705s |      19 |   759925 |   548282 |    25925     44 |      782 |      680
1707.53/1708.02	c 1707s |      19 |   760466 |   548782 |    25925     44 |      782 |      680
1709.53/1710.06	c 1709s |      19 |   760912 |   549182 |    25925     44 |      782 |      680
1711.83/1712.31	c 1712s |      19 |   761458 |   549682 |    25925     44 |      782 |      680
1714.13/1714.68	c 1714s |      19 |   761888 |   550082 |    25925     44 |      782 |      680
1716.43/1716.90	c 1716s |      19 |   762305 |   550482 |    25925     44 |      782 |      680
1718.53/1719.01	c 1718s |      19 |   762742 |   550882 |    25925     44 |      782 |      680
1720.83/1721.35	c 1721s |      19 |   763160 |   551282 |    25925     44 |      782 |      680
1723.13/1723.69	c 1723s |      19 |   763584 |   551682 |    25925     44 |      782 |      680
1725.43/1725.91	c 1725s |      19 |   764045 |   552082 |    25925     45 |      782 |      680
1727.73/1728.27	c 1728s |      19 |   764792 |   552782 |    25925     45 |      782 |      680
1729.83/1730.31	c 1730s |      19 |   765463 |   553382 |    25925     45 |      782 |      680
1731.93/1732.44	c 1732s |      19 |   766139 |   553982 |    25925     45 |      782 |      680
1733.93/1734.45	c 1734s |      19 |   766812 |   554582 |    25925     45 |      782 |      680
1736.23/1736.79	c 1736s |      19 |   767489 |   555182 |    25925     45 |      782 |      680
1738.63/1739.15	c 1738s |      19 |   768144 |   555782 |    25925     45 |      782 |      680
1740.63/1741.19	c 1740s |      19 |   768671 |   556282 |    25925     45 |      782 |      680
1742.83/1743.31	c 1743s |      19 |   769226 |   556782 |    25925     45 |      782 |      680
1744.82/1745.39	c 1745s |      19 |   769778 |   557282 |    25925     45 |      782 |      680
1746.92/1747.48	c 1747s |      19 |   770199 |   557682 |    25925     45 |      782 |      680
1749.02/1749.54	c 1749s |      19 |   772305 |   558582 |    25925     45 |      782 |      680
1751.12/1751.67	c 1751s |      19 |   773862 |   559782 |    25925     45 |      782 |      680
1753.42/1753.99	c 1753s |      19 |   776909 |   560982 |    25925     45 |      782 |      680
1755.52/1756.04	c 1755s |      19 |   781097 |   562182 |    25925     45 |      782 |      680
1757.62/1758.17	c 1757s |      19 |   783654 |   563382 |    25925     45 |      782 |      680
1759.82/1760.33	c 1760s |      19 |   785193 |   564382 |    25925     45 |      782 |      680
1761.83/1762.33	c 1762s |      19 |   786029 |   564982 |    25925     45 |      782 |      680
1764.03/1764.55	c 1764s |      19 |   787067 |   565682 |    25925     45 |      782 |      680
1766.13/1766.69	c 1766s |      19 |   787620 |   566082 |    25925     46 |      782 |      680
1768.22/1768.77	c 1768s |      19 |   788544 |   566782 |    25925     46 |      782 |      680
1770.42/1770.93	c 1770s |      19 |   789601 |   567582 |    25925     46 |      782 |      680
1772.62/1773.17	c 1772s |      19 |   790355 |   568182 |    25925     46 |      782 |      680
1775.02/1775.53	c 1775s |      19 |   791183 |   568882 |    25925     46 |      782 |      680
1777.22/1777.76	c 1777s |      19 |   791945 |   569482 |    25925     46 |      782 |      680
1779.32/1779.81	c 1779s |      19 |   792690 |   570082 |    25925     46 |      782 |      680
1781.62/1782.14	c 1781s |      19 |   793308 |   570582 |    25925     46 |      782 |      680
1783.62/1784.18	c 1783s |      19 |   794040 |   571182 |    25925     46 |      782 |      680
1786.11/1786.63	c 1786s |      19 |   794664 |   571682 |    25925     46 |      782 |      680
1788.61/1789.11	c 1788s |      19 |   795294 |   572182 |    25925     46 |      782 |      680
1791.01/1791.52	c 1791s |      19 |   796025 |   572782 |    25925     46 |      782 |      680
1793.21/1793.75	c 1793s |      19 |   796619 |   573282 |    25925     46 |      782 |      680
1795.51/1796.02	c 1795s |      19 |   797345 |   573882 |    25925     46 |      782 |      680
1797.81/1798.36	c 1798s |      19 |   797906 |   574382 |    25925     46 |      782 |      680

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

pid=23936
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.16 2.12 2.09 3/179 23939
/proc/meminfo: memFree=29604552/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=674236 CPUtime=0 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 2502 0 0 0 0 0 0 0 20 0 4 0 29545953 690417664 3374 33554432000 4194304 16246674 140736287509600 140736287509024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 169071 3384 441 2943 0 165965 0
[pid=23939/tid=23940] ppid=23936 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 708243456 3444 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=695740 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 712437760 3460 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29545953 717680640 3480 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.16 2.12 2.09 3/179 23939
/proc/meminfo: memFree=29604552/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 28274 0 0 0 6 3 0 0 20 0 4 0 29545953 1249447936 29084 33554432000 4194304 16246674 140736287509600 140736287508912 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 305041 29084 802 2943 0 301935 0
[pid=23939/tid=23940] ppid=23936 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1249447936 29084 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1249447936 29084 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1249447936 29084 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1220164

[startup+0.200513 s]
/proc/loadavg: 2.16 2.12 2.09 3/179 23939
/proc/meminfo: memFree=29604552/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 48483 0 0 0 13 6 0 0 20 0 4 0 29545953 1332285440 49293 33554432000 4194304 16246674 140736287509600 140736287491520 6165382 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 325265 49293 845 2943 0 322159 0
[pid=23939/tid=23940] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 49293 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 49293 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 49293 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1301060

[startup+0.300463 s]
/proc/loadavg: 2.16 2.12 2.09 3/179 23939
/proc/meminfo: memFree=29604552/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 50794 0 0 0 23 6 0 0 20 0 4 0 29545953 1332285440 51604 33554432000 4194304 16246674 140736287509600 140736287491520 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 325265 51610 885 2943 0 322159 0
[pid=23939/tid=23940] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 51613 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 51615 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 51623 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1301060

[startup+0.700366 s]
/proc/loadavg: 2.16 2.12 2.09 3/179 23939
/proc/meminfo: memFree=29604552/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 100383 0 0 0 57 12 0 0 20 0 4 0 29545953 1332285440 101194 33554432000 4194304 16246674 140736287509600 140736287491520 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 325265 101197 885 2943 0 322159 0
[pid=23939/tid=23940] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 101199 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 101200 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 101203 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1301060

[startup+1.50037 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 23943
/proc/meminfo: memFree=28979572/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 211118 0 0 0 123 26 0 0 20 0 4 0 29545953 1332285440 211929 33554432000 4194304 16246674 140736287509600 140736287491520 13929603 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 325265 211941 885 2943 0 322159 0
[pid=23939/tid=23940] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 211944 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 211946 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1332285440 211948 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1301060

[startup+3.10035 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 23943
/proc/meminfo: memFree=28525484/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 269257 0 0 0 274 35 0 0 20 0 4 0 29545953 1343819776 270067 33554432000 4194304 16246674 140736287509600 140736287491520 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 328081 270067 891 2943 0 324975 0
[pid=23939/tid=23940] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270067 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270067 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270067 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1312324

[startup+6.30037 s]
/proc/loadavg: 2.14 2.12 2.09 4/183 23943
/proc/meminfo: memFree=28524808/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 269267 0 0 0 594 35 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140736287491520 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 328081 270077 891 2943 0 324975 0
[pid=23939/tid=23940] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 23943
/proc/meminfo: memFree=28524568/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 269267 0 0 0 1234 35 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140736287491520 6845877 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 328081 270077 891 2943 0 324975 0
[pid=23939/tid=23940] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.10 2.11 2.09 4/183 23943
/proc/meminfo: memFree=28525336/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1312324 CPUtime=25.48 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 269267 0 0 0 2513 35 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140736287508776 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 328081 270077 891 2943 0 324975 0
[pid=23939/tid=23940] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270077 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 23992
/proc/meminfo: memFree=28555676/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 269268 0 0 0 5073 35 0 0 20 0 4 0 29545953 1343819776 270078 33554432000 4194304 16246674 140736287509600 140736287508696 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 328081 270078 892 2943 0 324975 0
[pid=23939/tid=23940] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270078 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270078 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1343819776 270078 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1312324

[startup+102.3 s]
/proc/loadavg: 2.20 2.13 2.10 3/183 23993
/proc/meminfo: memFree=28547704/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 269815 0 0 0 10192 36 0 0 20 0 4 0 29545953 1346965504 270625 33554432000 4194304 16246674 140736287509600 140736287491520 5676213 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 328849 270625 893 2943 0 325743 0
[pid=23939/tid=23940] ppid=23936 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1346965504 270625 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1346965504 270625 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1346965504 270625 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1315396


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

/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1360596992 274179 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.13 2.17 2.16 3/184 24029
/proc/meminfo: memFree=28519112/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1328708 CPUtime=1361.88 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 273695 0 0 0 136147 41 0 0 20 0 4 0 29545953 1360596992 274179 33554432000 4194304 16246674 140736287509600 140736287491520 12483326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 332177 274179 893 2943 0 329071 0
[pid=23939/tid=23940] ppid=23936 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1360596992 274179 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1360596992 274179 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1360596992 274179 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.19 2.18 2.17 3/183 24030
/proc/meminfo: memFree=28508840/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1338948 CPUtime=1421.88 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 276255 0 0 0 142146 42 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140736287491520 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 334737 276739 893 2943 0 331631 0
[pid=23939/tid=23940] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.18 2.18 2.16 4/183 24030
/proc/meminfo: memFree=28508780/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1338948 CPUtime=1481.86 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 276255 0 0 0 148144 42 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140736287491520 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 334737 276739 893 2943 0 331631 0
[pid=23939/tid=23940] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1338948

[startup+1542.31 s]
/proc/loadavg: 2.18 2.17 2.16 3/183 24032
/proc/meminfo: memFree=28508692/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1338948 CPUtime=1541.86 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 276255 0 0 0 154144 42 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140736287491520 5824052 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 334737 276739 893 2943 0 331631 0
[pid=23939/tid=23940] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.11 2.15 2.16 4/183 24032
/proc/meminfo: memFree=28508608/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1338948 CPUtime=1601.84 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 276255 0 0 0 160142 42 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140736287491520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 334737 276739 893 2943 0 331631 0
[pid=23939/tid=23940] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.16 2.15 2.16 3/183 24035
/proc/meminfo: memFree=28508264/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1338948 CPUtime=1661.83 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 276255 0 0 0 166141 42 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140736287491520 5600808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 334737 276739 893 2943 0 331631 0
[pid=23939/tid=23940] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.26 2.18 2.17 3/183 24035
/proc/meminfo: memFree=28508440/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1338948 CPUtime=1721.83 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 276255 0 0 0 172140 43 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140736287491520 5723696 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 334737 276739 893 2943 0 331631 0
[pid=23939/tid=23940] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.18 2.18 2.16 3/183 24036
/proc/meminfo: memFree=28508160/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1338948 CPUtime=1781.82 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 276255 0 0 0 178139 43 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140736287491520 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 334737 276739 893 2943 0 331631 0
[pid=23939/tid=23940] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113835187376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.20 2.17 3/183 24037
/proc/meminfo: memFree=28508156/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1338948 CPUtime=1800.01 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 276255 0 0 0 179958 43 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140736287491520 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 334737 276739 893 2943 0 331631 0
[pid=23939/tid=23940] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1338948

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.20 2.17 3/183 24037
/proc/meminfo: memFree=28508156/32872528 swapFree=1085692/1157232
[pid=23939] ppid=23936 vsize=1338948 CPUtime=1800.01 cores=0,2,4,6
/proc/23939/stat : 23939 (toysat) R 23936 23939 21062 0 -1 4202496 276255 0 0 0 179958 43 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140736287491520 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23939/statm: 334737 276739 893 2943 0 331631 0
[pid=23939/tid=23940] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23940/stat : 23940 (toysat) S 23936 23939 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113929546992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23939/tid=23941] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23941/stat : 23941 (toysat) S 23936 23939 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113845660912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23939/tid=23942] ppid=23936 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23939/task/23942/stat : 23942 (toysat) S 23936 23939 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29545953 1371082752 276739 33554432000 4194304 16246674 140736287509600 140113835187376 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) 1338948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.59
CPU system time (s): 0.438933
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.438933
maximum resident set size= 1106956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276255
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= 345
involuntary context switches= 1924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.36618 second user time and 6.89295 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 20:17:43
IDJOB=4117221
IDBENCH=109568
IDSOLVER=2542
FILE ID=node114/4117221-1466965063
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= cf275b23369a29eaada48f0d8a9d9c2d
RANDOM SEED=2008431738

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29605096 kB
Buffers:           37824 kB
Cached:           222624 kB
SwapCached:        38928 kB
Active:          1173580 kB
Inactive:         233520 kB
Active(anon):    1110912 kB
Inactive(anon):    37760 kB
Active(file):      62668 kB
Inactive(file):   195760 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       2370152 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             567524 kB
SReclaimable:      11692 kB
SUnreclaim:       555832 kB
KernelStack:        1520 kB
PageTables:         8544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2407924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1277952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node114 at 2016-06-26 20:47:44