Trace number 4078821

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9045_1-sat.opb
MD5SUMd4d1ca36c8af6075d3c9b6c16eca4a6b
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 variables26754
Total number of constraints93164
Number of constraints which are clauses92580
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints584
Minimum length of a constraint1
Maximum length of a constraint90
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 23
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 530
Number of bits of the biggest sum of numbers10
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-07T06:24:26+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078821-1465273466.opb"]
0.00/0.01	c use --random-gen="3092898417 1538451955 2836572174 3678314980 3147137641 888342871 2210642219 419385087 4112667865 3513353242 825347691 482393566 1129836104 2536488076 3899838199 3387249218 1170010886 3458720368 788932935 769758826 898653276 2381438886 3041776573 1114282971 2941982861 922857558 4075230957 157655324 2096054132 137278144 3253418023 3833990006 94504872 1448516799 3253444752 2473656263 2613604582 2262762919 270853936 539966522 1012590229 3499725826 26829543 2718106260 3642846953 3547851258 369312282 909541379 4216975289 2392629759 3353024478 2773300159 4000930045 41623355 1794612869 1491342262 2382827336 1527672378 3451630038 2986283521 4350408 1233861666 878343381 515005398 4234036170 462785948 3777565254 2244888983 4104120970 2715328648 1306412752 2774725259 1361344118 2815398685 3337076189 1858993801 4284620969 4021681894 1868270557 3897271259 2149331464 617153957 2391768050 2467537167 1988519203 1261710882 861153799 628517452 1535732920 3935016230 1820347717 247354093 4209631807 4011665765 3838172103 3545658693 1776112290 1002817382 2471191700 1578696365 2296845145 788825307 1162099376 3411814655 1595856926 3997926579 4008305352 2856889990 2906724253 1601125332 2005851941 3862135470 3378260465 1636458759 2256423488 3143612345 158339674 4189414125 4053804063 3766017063 719754748 266731000 1151241885 3487214107 375623270 2238490707 215555685 1059270273 3307350743 1755212058 1037776513 1722589143 4106464604 1726376901 3173561115 2776621803 687151707 1192563874 2723531697 3145503757 3098685009 4132429962 4238002905 3655301704 912374025 77485200 650073451 2661976330 3192852446 1872756140 742653537 1795503372 3908438619 2124591634 1338646530 3247840052 4195211265 3767259465 2669159894 3646789927 1827666422 3304009450 3388737389 3023262538 320752284 3015037517 324311045 3730779370 4062459398 1746575207 3182995241 3208247957 2540049531 3288963507 1928170108 490403923 1400949549 3973559577 1503664417 169233297 2221447646 104265293 3166513155 1799881100 694290591 2203333178 155262308 569882897 1332487686 2661498294 1495703670 2807073191 950569866 1195504606 372954668 2592482526 854314369 3249759674 4053039089 3532208062 4218106802 3231157548 126686673 2990506467 2163893047 3593629463 467291887 3926149746 2444383496 3232431905 64501215 4099896850 3567570123 2037341538 3672757965 755349412 1546931650 4073043834 300312701 1831689925 976459329 1612717427 423097768 3892628900 2838186553 2802627374 44467555 1447643630 1410343686 3604152257 4219127638 250772008 973134449 1908033223 3685332380 4111746448 1810163981 2758831117 812713257 1031915364 609391253 3132523217 3111601687 130568878 2481725248 3030047510 1467273430 1348018758 1000481071 1039172933 2492251776 3759309601 1310286473 314306265 2836239128 1509342415 255 362436" option to reproduce the execution
0.49/0.57	c #vars 26754
0.49/0.57	c #constraints 93164
1.49/1.51	c Solving starts ...
1.49/1.51	c ============================[ Search Statistics ]============================
1.49/1.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.51	c =============================================================================
1.59/1.64	c  0.0s |       0 |        0 |        0 |    27695      0 |    14253 |        0
1.69/1.78	c  0.1s |       1 |      175 |      100 |    27695      0 |    14253 |    18903
1.89/1.98	c  0.3s |       2 |      439 |      250 |    30465      0 |    14253 |    18903
2.20/2.25	c  0.6s |       3 |      811 |      475 |    33512      0 |    14253 |    18903
2.58/2.67	c  1.0s |       4 |     1325 |      813 |    36864      0 |    14253 |    18903
3.49/3.55	c  1.9s |       5 |     2029 |     1320 |    40551      0 |    14253 |    18903
4.70/4.74	c  3.1s |       6 |     3250 |     2081 |    49068      0 |    14253 |    18903
5.99/6.07	c  4.4s |       7 |     4767 |     3223 |    53975      0 |    14253 |    18903
7.69/7.78	c  6.1s |       8 |     6897 |     4936 |    59373      0 |    14253 |    18903
9.79/9.85	c  8.2s |       8 |     8873 |     6436 |    59373      0 |    14253 |    18903
11.39/11.40	c  9.8s |       9 |    10213 |     7506 |    65311      0 |    14253 |    18903
13.39/13.47	c 11.8s |       9 |    12004 |     8906 |    65311      0 |    14253 |    18903
15.48/15.53	c 13.9s |       9 |    13762 |    10306 |    65311      0 |    14253 |    18903
17.08/17.19	c 15.5s |      10 |    15094 |    11361 |    71843      0 |    14253 |    18903
19.18/19.27	c 17.6s |      10 |    17491 |    13161 |    71843      0 |    14253 |    18903
21.19/21.29	c 19.7s |      10 |    19695 |    14861 |    71843      0 |    14253 |    18903
23.29/23.37	c 21.7s |      10 |    21653 |    16461 |    71843      0 |    14253 |    18903
24.18/24.24	c 22.6s |      11 |    22483 |    17144 |    79028      0 |    14253 |    18903
26.18/26.27	c 24.6s |      11 |    24309 |    18444 |    79028      0 |    14253 |    18903
28.28/28.32	c 26.7s |      11 |    26283 |    19944 |    79028      0 |    14253 |    18903
30.28/30.39	c 28.7s |      11 |    27968 |    21244 |    79028      0 |    14253 |    18903
32.48/32.52	c 30.9s |      11 |    29785 |    22644 |    79028      0 |    14253 |    18903
34.58/34.66	c 33.0s |      11 |    31383 |    23944 |    79028      0 |    14253 |    18903
36.68/36.74	c 35.1s |      11 |    32879 |    25144 |    79028      0 |    14253 |    18903
37.88/37.93	c 36.3s |      12 |    33723 |    25819 |    86931      0 |    14253 |    18903
40.08/40.12	c 38.5s |      12 |    35113 |    26919 |    86931      0 |    14253 |    18903
42.18/42.20	c 40.6s |      12 |    36585 |    28019 |    86931      0 |    14253 |    18903
44.29/44.30	c 42.7s |      12 |    38003 |    29119 |    86931      0 |    14253 |    18903
46.39/46.40	c 44.8s |      12 |    39497 |    30319 |    86931      0 |    14253 |    18903
48.48/48.50	c 46.9s |      12 |    40750 |    31319 |    86931      0 |    14253 |    18903
50.48/50.51	c 48.9s |      12 |    41704 |    32119 |    86931      0 |    14253 |    18903
52.48/52.58	c 50.9s |      12 |    43003 |    33119 |    86931      0 |    14253 |    18903
54.78/54.80	c 53.2s |      12 |    44270 |    34119 |    86931      0 |    14253 |    18903
56.78/56.84	c 55.2s |      12 |    45416 |    35019 |    86931      0 |    14253 |    18903
58.98/59.02	c 57.4s |      12 |    46655 |    36019 |    86931      0 |    14253 |    18903
60.98/61.04	c 59.4s |      12 |    47934 |    37019 |    86931      0 |    14253 |    18903
63.08/63.14	c 61.5s |      12 |    49081 |    37919 |    86931      0 |    14253 |    18903
64.78/64.89	c 63.3s |      13 |    50247 |    38832 |    95625      0 |    14253 |    18903
66.87/66.92	c 65.3s |      13 |    51793 |    40032 |    95625      0 |    14253 |    18903
68.97/69.07	c 67.4s |      13 |    53541 |    41332 |    95625      0 |    14253 |    18903
71.07/71.16	c 69.5s |      13 |    54929 |    42432 |    95625      0 |    14253 |    18903
73.17/73.29	c 71.7s |      13 |    56291 |    43532 |    95625      0 |    14253 |    18903
75.47/75.54	c 73.9s |      13 |    57540 |    44532 |    95625      0 |    14253 |    18903
77.67/77.71	c 76.1s |      13 |    58766 |    45532 |    95625      0 |    14253 |    18903
79.87/79.93	c 78.3s |      13 |    60026 |    46532 |    95625      0 |    14253 |    18903
81.87/81.94	c 80.3s |      13 |    61137 |    47432 |    95625      0 |    14253 |    18903
83.88/83.98	c 82.3s |      13 |    62292 |    48332 |    95625      0 |    14253 |    18903
85.98/86.02	c 84.4s |      13 |    63386 |    49232 |    95625      0 |    14253 |    18903
88.18/88.27	c 86.6s |      13 |    64469 |    50132 |    95625      0 |    14253 |    18903
90.38/90.48	c 88.8s |      13 |    65629 |    51032 |    95625      0 |    14253 |    18903
92.68/92.76	c 91.1s |      13 |    66640 |    51832 |    95625      0 |    14253 |    18903
94.88/94.94	c 93.3s |      13 |    67832 |    52732 |    95625      0 |    14253 |    18903
97.08/97.16	c 95.5s |      13 |    68822 |    53532 |    95625      0 |    14253 |    18903
99.18/99.30	c 97.7s |      13 |    69759 |    54332 |    95625      0 |    14253 |    18903
101.27/101.35	c 99.7s |      13 |    70694 |    55132 |    95625      0 |    14253 |    18903
103.37/103.46	c  101s |      13 |    71666 |    55932 |    95625      0 |    14253 |    18903
105.57/105.61	c  103s |      13 |    72626 |    56732 |    95625      0 |    14253 |    18903
107.67/107.78	c  106s |      13 |    73618 |    57532 |    95625      0 |    14253 |    18903
109.87/109.92	c  108s |      13 |    74624 |    58332 |   105188      0 |    14253 |    18903
109.87/109.97	c  108s |      14 |    74640 |    58352 |   105188      0 |    14253 |    18903
111.97/112.08	c  110s |      14 |    76066 |    59252 |   105188      0 |    14253 |    18903
114.07/114.18	c  112s |      14 |    77518 |    60352 |   105188      0 |    14253 |    18903
116.17/116.29	c  114s |      14 |    78678 |    61352 |   105188      0 |    14253 |    18903
118.37/118.43	c  116s |      14 |    79949 |    62352 |   105188      0 |    14253 |    18903
120.37/120.46	c  118s |      14 |    81234 |    63352 |   105188      0 |    14253 |    18903
122.57/122.66	c  121s |      14 |    82491 |    64352 |   105188      0 |    14253 |    18903
124.68/124.76	c  123s |      14 |    83758 |    65352 |   105188      0 |    14253 |    18903
126.87/126.96	c  125s |      14 |    84861 |    66252 |   105188      0 |    14253 |    18903
129.07/129.10	c  127s |      14 |    86050 |    67152 |   105188      0 |    14253 |    18903
131.18/131.25	c  129s |      14 |    87041 |    67952 |   105188      0 |    14253 |    18903
133.28/133.31	c  131s |      14 |    88094 |    68852 |   105188      0 |    14253 |    18903
135.37/135.43	c  133s |      14 |    89007 |    69652 |   105188      0 |    14253 |    18903
137.37/137.48	c  135s |      14 |    89988 |    70452 |   105188      0 |    14253 |    18903
139.57/139.67	c  138s |      14 |    91065 |    71352 |   105188      0 |    14253 |    18903
141.77/141.83	c  140s |      14 |    92161 |    72252 |   105188      0 |    14253 |    18903
143.87/143.90	c  142s |      14 |    93220 |    73052 |   105188      0 |    14253 |    18903
145.97/146.06	c  144s |      14 |    94399 |    73952 |   105188      0 |    14253 |    18903
148.17/148.21	c  146s |      14 |    95871 |    75052 |   105188      0 |    14253 |    18903
150.37/150.40	c  148s |      14 |    97371 |    76152 |   105188      0 |    14253 |    18903
152.37/152.46	c  150s |      14 |    98556 |    77052 |   105188      0 |    14253 |    18903
154.47/154.50	c  152s |      14 |    99858 |    78052 |   105188      0 |    14253 |    18903
156.48/156.58	c  154s |      14 |   101143 |    79052 |   105188      0 |    14253 |    18903
158.57/158.69	c  157s |      14 |   102419 |    80052 |   105188      0 |    14253 |    18903
160.77/160.87	c  159s |      14 |   103673 |    81052 |   105188      0 |    14253 |    18903
162.87/162.91	c  161s |      14 |   104640 |    81852 |   105188      0 |    14253 |    18903
164.87/164.98	c  163s |      14 |   105592 |    82652 |   105188      0 |    14253 |    18903
167.17/167.20	c  165s |      14 |   106699 |    83552 |   105188      0 |    14253 |    18903
169.37/169.44	c  167s |      14 |   107662 |    84352 |   105188      0 |    14253 |    18903
171.47/171.50	c  169s |      14 |   108517 |    85052 |   105188      0 |    14253 |    18903
173.67/173.72	c  172s |      14 |   109324 |    85752 |   105188      0 |    14253 |    18903
175.87/175.97	c  174s |      14 |   110325 |    86552 |   105188      0 |    14253 |    18903
177.96/178.06	c  176s |      14 |   111198 |    87252 |   115707      0 |    14253 |    18903
178.96/179.05	c  177s |      15 |   111709 |    87632 |   115707      0 |    14253 |    18903
181.16/181.20	c  179s |      15 |   112637 |    88232 |   115707      0 |    14253 |    18903
183.26/183.34	c  181s |      15 |   113913 |    89132 |   115707      0 |    14253 |    18903
185.36/185.45	c  183s |      15 |   115028 |    89932 |   115707      0 |    14253 |    18903
187.46/187.54	c  185s |      15 |   116036 |    90732 |   115707      0 |    14253 |    18903
189.47/189.55	c  187s |      15 |   117089 |    91432 |   115707      0 |    14253 |    18903
191.67/191.78	c  190s |      15 |   118091 |    92232 |   115707      0 |    14253 |    18903
193.87/193.90	c  192s |      15 |   118910 |    92932 |   115707      0 |    14253 |    18903
196.07/196.15	c  194s |      15 |   119784 |    93632 |   115707      0 |    14253 |    18903
198.36/198.40	c  196s |      15 |   120854 |    94432 |   115707      0 |    14253 |    18903
200.56/200.64	c  199s |      15 |   121861 |    95232 |   115707      0 |    14253 |    18903
202.76/202.86	c  201s |      15 |   122729 |    95932 |   115707      0 |    14253 |    18903
204.96/205.07	c  203s |      15 |   123529 |    96632 |   115707      0 |    14253 |    18903
207.26/207.33	c  205s |      15 |   124259 |    97232 |   115707      0 |    14253 |    18903
209.46/209.58	c  207s |      15 |   125185 |    97932 |   115707      0 |    14253 |    18903
211.76/211.82	c  210s |      15 |   126105 |    98632 |   115707      0 |    14253 |    18903
213.76/213.83	c  212s |      15 |   127072 |    99332 |   115707      0 |    14253 |    18903
215.86/215.96	c  214s |      15 |   127986 |   100032 |   115707      0 |    14253 |    18903
218.06/218.10	c  216s |      15 |   128900 |   100732 |   115707      0 |    14253 |    18903
220.05/220.16	c  218s |      15 |   129652 |   101332 |   115707      0 |    14253 |    18903
222.15/222.29	c  220s |      15 |   130462 |   101932 |   115707      0 |    14253 |    18903
224.35/224.46	c  222s |      15 |   131362 |   102632 |   115707      0 |    14253 |    18903
226.65/226.76	c  225s |      15 |   132286 |   103332 |   115707      0 |    14253 |    18903
228.75/228.86	c  227s |      15 |   133323 |   104032 |   115707      0 |    14253 |    18903
230.85/230.91	c  229s |      15 |   134325 |   104732 |   115707      0 |    14253 |    18903
232.85/232.91	c  231s |      15 |   135163 |   105332 |   115707      0 |    14253 |    18903
235.05/235.11	c  233s |      15 |   136082 |   106032 |   115707      0 |    14253 |    18903
237.35/237.45	c  235s |      15 |   137035 |   106732 |   115707      0 |    14253 |    18903
239.35/239.46	c  237s |      15 |   137872 |   107332 |   115707      0 |    14253 |    18903
241.35/241.47	c  239s |      15 |   138738 |   107932 |   115707      0 |    14253 |    18903
243.45/243.50	c  241s |      15 |   139635 |   108632 |   115707      0 |    14253 |    18903
245.55/245.61	c  243s |      15 |   140363 |   109232 |   115707      0 |    14253 |    18903
247.86/247.95	c  246s |      15 |   141264 |   109932 |   115707      0 |    14253 |    18903
249.96/250.07	c  248s |      15 |   142108 |   110532 |   115707      0 |    14253 |    18903
252.06/252.19	c  250s |      15 |   142997 |   111232 |   115707      0 |    14253 |    18903
254.26/254.39	c  252s |      15 |   143854 |   111932 |   115707      0 |    14253 |    18903
256.46/256.53	c  254s |      15 |   144755 |   112632 |   115707      0 |    14253 |    18903
258.55/258.60	c  256s |      15 |   145495 |   113232 |   115707      0 |    14253 |    18903
260.75/260.82	c  259s |      15 |   146476 |   113932 |   115707      0 |    14253 |    18903
262.85/262.92	c  261s |      15 |   147341 |   114632 |   115707      0 |    14253 |    18903
264.85/264.96	c  263s |      15 |   148103 |   115232 |   115707      0 |    14253 |    18903
267.15/267.23	c  265s |      15 |   148956 |   115932 |   115707      0 |    14253 |    18903
269.35/269.41	c  267s |      15 |   149823 |   116632 |   115707      0 |    14253 |    18903
271.65/271.77	c  270s |      15 |   150634 |   117232 |   115707      0 |    14253 |    18903
273.95/274.01	c  272s |      15 |   151487 |   117832 |   115707      0 |    14253 |    18903
276.15/276.22	c  274s |      15 |   152261 |   118432 |   115707      0 |    14253 |    18903
278.35/278.48	c  276s |      15 |   152863 |   118932 |   115707      0 |    14253 |    18903
280.66/280.79	c  279s |      15 |   153676 |   119532 |   115707      0 |    14253 |    18903
282.96/283.05	c  281s |      15 |   154573 |   120132 |   115707      0 |    14253 |    18903
285.25/285.36	c  283s |      15 |   155498 |   120732 |   115707      0 |    14253 |    18903
287.65/287.74	c  286s |      15 |   156259 |   121332 |   115707      0 |    14253 |    18903
289.75/289.88	c  288s |      15 |   156944 |   121832 |   115707      0 |    14253 |    18903
291.95/292.07	c  290s |      15 |   157602 |   122332 |   115707      0 |    14253 |    18903
294.15/294.21	c  292s |      15 |   158195 |   122832 |   115707      0 |    14253 |    18903
296.55/296.62	c  294s |      15 |   158975 |   123432 |   115707      0 |    14253 |    18903
298.55/298.64	c  297s |      15 |   159562 |   123932 |   115707      0 |    14253 |    18903
300.55/300.68	c  299s |      15 |   160279 |   124432 |   115707      0 |    14253 |    18903
302.85/302.95	c  301s |      15 |   160963 |   124932 |   115707      0 |    14253 |    18903
304.95/305.04	c  303s |      15 |   161571 |   125432 |   115707      0 |    14253 |    18903
307.35/307.44	c  305s |      15 |   162186 |   125932 |   115707      0 |    14253 |    18903
309.74/309.84	c  308s |      15 |   162805 |   126432 |   115707      0 |    14253 |    18903
311.94/312.09	c  310s |      15 |   163442 |   126932 |   115707      0 |    14253 |    18903
314.34/314.43	c  312s |      15 |   164083 |   127432 |   115707      0 |    14253 |    18903
316.44/316.57	c  314s |      15 |   164666 |   127932 |   115707      0 |    14253 |    18903
318.74/318.83	c  317s |      15 |   165289 |   128432 |   115707      0 |    14253 |    18903
321.04/321.15	c  319s |      15 |   165865 |   128932 |   115707      0 |    14253 |    18903
323.04/323.16	c  321s |      15 |   166481 |   129432 |   115707      0 |    14253 |    18903
325.44/325.51	c  323s |      15 |   167098 |   129932 |   115707      0 |    14253 |    18903
327.44/327.51	c  325s |      15 |   167573 |   130332 |   115707      0 |    14253 |    18903
329.84/329.93	c  328s |      15 |   168245 |   130832 |   127278      0 |    14253 |    18903
332.35/332.42	c  330s |      15 |   168877 |   131332 |   127278      0 |    14253 |    18903
333.45/333.51	c  331s |      16 |   169139 |   131552 |   127278      0 |    14253 |    18903
335.44/335.55	c  333s |      16 |   169707 |   131952 |   127278      0 |    14253 |    18903
337.74/337.85	c  336s |      16 |   170532 |   132552 |   127278      0 |    14253 |    18903
340.24/340.36	c  338s |      16 |   171166 |   133052 |   127278      0 |    14253 |    18903
342.25/342.36	c  340s |      16 |   171662 |   133452 |   127278      0 |    14253 |    18903
344.64/344.72	c  343s |      16 |   172320 |   133952 |   127278      0 |    14253 |    18903
346.94/347.03	c  345s |      16 |   172980 |   134452 |   127278      0 |    14253 |    18903
349.24/349.35	c  347s |      16 |   173614 |   134952 |   127278      0 |    14253 |    18903
351.44/351.54	c  349s |      16 |   174627 |   135752 |   127278      0 |    14253 |    18903
353.54/353.67	c  352s |      16 |   175655 |   136552 |   127278      0 |    14253 |    18903
355.84/355.96	c  354s |      16 |   176640 |   137352 |   127278      0 |    14253 |    18903
357.94/358.03	c  356s |      16 |   177446 |   138052 |   127278      0 |    14253 |    18903
360.04/360.12	c  358s |      16 |   178241 |   138652 |   127278      0 |    14253 |    18903
362.04/362.14	c  360s |      16 |   179458 |   139452 |   127278      0 |    14253 |    18903
364.13/364.21	c  362s |      16 |   180409 |   140152 |   127278      0 |    14253 |    18903
366.23/366.32	c  364s |      16 |   181391 |   140852 |   127278      0 |    14253 |    18903
368.53/368.64	c  367s |      16 |   182397 |   141552 |   127278      0 |    14253 |    18903
370.53/370.67	c  369s |      16 |   183160 |   142152 |   127278      0 |    14253 |    18903
372.53/372.67	c  371s |      16 |   184133 |   142852 |   127278      0 |    14253 |    18903
374.63/374.74	c  373s |      16 |   184945 |   143452 |   127278      0 |    14253 |    18903
376.73/376.81	c  375s |      16 |   185830 |   144152 |   127278      0 |    14253 |    18903
378.73/378.84	c  377s |      16 |   186547 |   144752 |   127278      0 |    14253 |    18903
381.13/381.22	c  379s |      16 |   187417 |   145452 |   127278      0 |    14253 |    18903
383.13/383.26	c  381s |      16 |   188123 |   146052 |   127278      0 |    14253 |    18903
385.43/385.55	c  383s |      16 |   188983 |   146752 |   127278      0 |    14253 |    18903
387.53/387.66	c  386s |      16 |   189738 |   147352 |   127278      0 |    14253 |    18903
389.54/389.69	c  388s |      16 |   190449 |   147952 |   127278      0 |    14253 |    18903
391.63/391.73	c  390s |      16 |   191322 |   148652 |   127278      0 |    14253 |    18903
393.83/393.98	c  392s |      16 |   192001 |   149252 |   127278      0 |    14253 |    18903
395.93/396.06	c  394s |      16 |   192743 |   149852 |   127278      0 |    14253 |    18903
398.13/398.22	c  396s |      16 |   193478 |   150452 |   127278      0 |    14253 |    18903
400.23/400.38	c  398s |      16 |   193967 |   150852 |   127278      1 |    14253 |    18903
402.43/402.57	c  400s |      16 |   194677 |   151452 |   127278      1 |    14253 |    18903
404.52/404.67	c  403s |      16 |   195549 |   152152 |   127278      1 |    14253 |    18903
406.62/406.76	c  405s |      16 |   196489 |   152952 |   127278      1 |    14253 |    18903
408.92/409.02	c  407s |      16 |   197414 |   153752 |   127278      1 |    14253 |    18903
411.12/411.27	c  409s |      16 |   198270 |   154452 |   127278      1 |    14253 |    18903
413.22/413.37	c  411s |      16 |   199128 |   155152 |   127278      1 |    14253 |    18903
415.42/415.53	c  413s |      16 |   199975 |   155852 |   127278      1 |    14253 |    18903
417.42/417.59	c  415s |      16 |   200943 |   156652 |   127278      1 |    14253 |    18903
419.52/419.62	c  417s |      16 |   201791 |   157352 |   127278      1 |    14253 |    18903
421.72/421.84	c  420s |      16 |   202623 |   158052 |   127278      1 |    14253 |    18903
423.82/423.96	c  422s |      16 |   203517 |   158752 |   127278      1 |    14253 |    18903
426.02/426.16	c  424s |      16 |   204364 |   159452 |   127278      1 |    14253 |    18903
428.23/428.32	c  426s |      16 |   205194 |   160152 |   127278      1 |    14253 |    18903
430.53/430.68	c  429s |      16 |   206187 |   160952 |   127278      1 |    14253 |    18903
432.73/432.83	c  431s |      16 |   207075 |   161652 |   127278      1 |    14253 |    18903
435.03/435.11	c  433s |      16 |   207941 |   162352 |   127278      1 |    14253 |    18903
437.13/437.28	c  435s |      16 |   208814 |   163052 |   127278      1 |    14253 |    18903
439.33/439.48	c  437s |      16 |   209705 |   163752 |   127278      1 |    14253 |    18903
441.43/441.52	c  439s |      16 |   210447 |   164352 |   127278      1 |    14253 |    18903
443.43/443.53	c  441s |      16 |   211156 |   164952 |   127278      1 |    14253 |    18903
445.42/445.58	c  443s |      16 |   212044 |   165552 |   127278      1 |    14253 |    18903
447.52/447.68	c  446s |      16 |   213015 |   166352 |   127278      1 |    14253 |    18903
449.72/449.81	c  448s |      16 |   214037 |   167152 |   127278      1 |    14253 |    18903
451.72/451.85	c  450s |      16 |   214777 |   167752 |   127278      1 |    14253 |    18903
454.02/454.11	c  452s |      16 |   215498 |   168352 |   127278      1 |    14253 |    18903
456.12/456.25	c  454s |      16 |   216229 |   168952 |   127278      1 |    14253 |    18903
458.22/458.34	c  456s |      16 |   216984 |   169552 |   127278      1 |    14253 |    18903
460.42/460.59	c  458s |      16 |   218035 |   170352 |   127278      1 |    14253 |    18903
462.62/462.73	c  461s |      16 |   219061 |   171152 |   127278      1 |    14253 |    18903
464.92/465.06	c  463s |      16 |   219999 |   171952 |   127278      1 |    14253 |    18903
467.12/467.28	c  465s |      16 |   220914 |   172652 |   127278      1 |    14253 |    18903
469.32/469.49	c  467s |      16 |   221801 |   173352 |   127278      1 |    14253 |    18903
471.42/471.50	c  469s |      16 |   222452 |   173852 |   127278      1 |    14253 |    18903
473.72/473.87	c  472s |      16 |   223298 |   174552 |   127278      1 |    14253 |    18903
475.82/475.91	c  474s |      16 |   224027 |   175152 |   127278      1 |    14253 |    18903
478.02/478.13	c  476s |      16 |   224654 |   175652 |   127278      1 |    14253 |    18903
480.12/480.25	c  478s |      16 |   225631 |   176252 |   127278      1 |    14253 |    18903
482.21/482.30	c  480s |      16 |   226400 |   176752 |   127278      1 |    14253 |    18903
484.41/484.50	c  482s |      16 |   227163 |   177352 |   127278      1 |    14253 |    18903
486.51/486.67	c  485s |      16 |   227968 |   177952 |   127278      1 |    14253 |    18903
488.71/488.87	c  487s |      16 |   228746 |   178552 |   127278      1 |    14253 |    18903
491.11/491.20	c  489s |      16 |   229436 |   179052 |   127278      1 |    14253 |    18903
493.21/493.31	c  491s |      16 |   230098 |   179552 |   127278      1 |    14253 |    18903
495.22/495.38	c  493s |      16 |   230780 |   180052 |   127278      1 |    14253 |    18903
497.42/497.55	c  495s |      16 |   231491 |   180552 |   127278      1 |    14253 |    18903
499.62/499.77	c  498s |      16 |   232089 |   181052 |   127278      1 |    14253 |    18903
502.01/502.14	c  500s |      16 |   233042 |   181652 |   127278      1 |    14253 |    18903
504.11/504.28	c  502s |      16 |   233829 |   182252 |   127278      1 |    14253 |    18903
506.41/506.56	c  504s |      16 |   234681 |   182852 |   127278      1 |    14253 |    18903
508.81/508.92	c  507s |      16 |   235495 |   183452 |   127278      1 |    14253 |    18903
511.11/511.25	c  509s |      16 |   236114 |   183952 |   127278      1 |    14253 |    18903
513.41/513.56	c  511s |      16 |   236835 |   184452 |   127278      1 |    14253 |    18903
515.41/515.59	c  513s |      16 |   237599 |   184952 |   127278      1 |    14253 |    18903
517.81/517.95	c  516s |      16 |   238114 |   185352 |   127278      1 |    14253 |    18903
519.91/520.02	c  518s |      16 |   238617 |   185752 |   127278      1 |    14253 |    18903
522.21/522.37	c  520s |      16 |   239441 |   186352 |   127278      1 |    14253 |    18903
524.71/524.85	c  523s |      16 |   240066 |   186852 |   127278      1 |    14253 |    18903
527.21/527.34	c  525s |      16 |   240686 |   187352 |   127278      1 |    14253 |    18903
529.61/529.78	c  528s |      16 |   241339 |   187852 |   127278      1 |    14253 |    18903
531.71/531.83	c  530s |      16 |   241969 |   188352 |   127278      1 |    14253 |    18903
534.10/534.24	c  532s |      16 |   242731 |   188952 |   127278      1 |    14253 |    18903
536.60/536.80	c  535s |      16 |   243332 |   189452 |   127278      1 |    14253 |    18903
539.00/539.11	c  537s |      16 |   243956 |   189952 |   127278      1 |    14253 |    18903
541.41/541.57	c  539s |      16 |   244522 |   190452 |   127278      1 |    14253 |    18903
543.80/543.97	c  542s |      16 |   245283 |   191052 |   127278      1 |    14253 |    18903
546.00/546.15	c  544s |      16 |   245788 |   191452 |   127278      1 |    14253 |    18903
548.20/548.31	c  546s |      16 |   246289 |   191852 |   127278      1 |    14253 |    18903
550.30/550.41	c  548s |      16 |   246878 |   192252 |   127278      1 |    14253 |    18903
552.60/552.77	c  551s |      16 |   247682 |   192852 |   127278      1 |    14253 |    18903
554.80/554.94	c  553s |      16 |   248351 |   193352 |   127278      1 |    14253 |    18903
556.81/557.00	c  555s |      16 |   248869 |   193752 |   127278      1 |    14253 |    18903
558.91/559.09	c  557s |      16 |   249377 |   194152 |   127278      1 |    14253 |    18903
560.90/561.10	c  559s |      16 |   249845 |   194552 |   127278      1 |    14253 |    18903
563.00/563.17	c  561s |      16 |   250356 |   194952 |   127278      1 |    14253 |    18903
565.30/565.41	c  563s |      16 |   250818 |   195352 |   127278      1 |    14253 |    18903
567.71/567.83	c  566s |      16 |   251308 |   195752 |   127278      1 |    14253 |    18903
569.70/569.87	c  568s |      16 |   251841 |   196152 |   140006      1 |    14253 |    18903
571.90/572.04	c  570s |      16 |   252526 |   196652 |   140006      1 |    14253 |    18903
574.10/574.27	c  572s |      17 |   253479 |   197432 |   140006      1 |    14253 |    18903
576.40/576.57	c  574s |      17 |   254098 |   197832 |   140006      1 |    14253 |    18903
578.60/578.77	c  577s |      17 |   254892 |   198432 |   140006      1 |    14253 |    18903
581.00/581.14	c  579s |      17 |   255815 |   199132 |   140006      1 |    14253 |    18903
583.30/583.42	c  581s |      17 |   256547 |   199732 |   140006      1 |    14253 |    18903
585.40/585.57	c  583s |      17 |   257164 |   200232 |   140006      1 |    14253 |    18903
587.69/587.87	c  586s |      17 |   257886 |   200732 |   140006      1 |    14253 |    18903
589.99/590.14	c  588s |      17 |   258690 |   201232 |   140006      1 |    14253 |    18903
592.00/592.16	c  590s |      17 |   259297 |   201732 |   140006      1 |    14253 |    18903
594.10/594.30	c  592s |      17 |   259908 |   202232 |   140006      1 |    14253 |    18903
596.59/596.70	c  595s |      17 |   260668 |   202832 |   140006      1 |    14253 |    18903
598.89/599.01	c  597s |      17 |   261345 |   203332 |   140006      1 |    14253 |    18903
601.10/601.21	c  599s |      17 |   261948 |   203832 |   140006      1 |    14253 |    18903
603.40/603.55	c  601s |      17 |   262593 |   204332 |   140006      1 |    14253 |    18903
605.80/605.90	c  604s |      17 |   263264 |   204832 |   140006      1 |    14253 |    18903
608.10/608.23	c  606s |      17 |   263924 |   205332 |   140006      1 |    14253 |    18903
610.50/610.68	c  609s |      17 |   264550 |   205832 |   140006      1 |    14253 |    18903
612.70/612.82	c  611s |      17 |   265029 |   206232 |   140006      1 |    14253 |    18903
615.11/615.21	c  613s |      17 |   265653 |   206732 |   140006      1 |    14253 |    18903
617.50/617.60	c  615s |      17 |   266271 |   207232 |   140006      1 |    14253 |    18903
619.70/619.86	c  618s |      17 |   266886 |   207732 |   140006      1 |    14253 |    18903
622.10/622.27	c  620s |      17 |   267514 |   208232 |   140006      1 |    14253 |    18903
624.50/624.60	c  622s |      17 |   268147 |   208732 |   140006      1 |    14253 |    18903
626.80/626.95	c  625s |      17 |   268741 |   209232 |   140006      1 |    14253 |    18903
628.80/628.98	c  627s |      17 |   269206 |   209632 |   140006      1 |    14253 |    18903
630.80/630.98	c  629s |      17 |   269691 |   210032 |   140006      1 |    14253 |    18903
632.80/633.00	c  631s |      17 |   270203 |   210432 |   140006      1 |    14253 |    18903
635.00/635.10	c  633s |      17 |   270685 |   210832 |   140006      1 |    14253 |    18903
637.10/637.22	c  635s |      17 |   271160 |   211232 |   140006      1 |    14253 |    18903
639.10/639.30	c  637s |      17 |   271600 |   211632 |   140006      1 |    14253 |    18903
641.30/641.40	c  639s |      17 |   272124 |   212032 |   140006      1 |    14253 |    18903
643.30/643.41	c  641s |      17 |   272616 |   212432 |   140006      1 |    14253 |    18903
645.69/645.84	c  644s |      17 |   273229 |   212932 |   140006      1 |    14253 |    18903
647.69/647.88	c  646s |      17 |   273707 |   213332 |   140006      1 |    14253 |    18903
649.99/650.10	c  648s |      17 |   274314 |   213832 |   140006      1 |    14253 |    18903
652.40/652.53	c  650s |      17 |   274902 |   214332 |   140006      1 |    14253 |    18903
654.89/655.01	c  653s |      17 |   275527 |   214832 |   140006      1 |    14253 |    18903
657.39/657.50	c  655s |      17 |   276135 |   215332 |   140006      1 |    14253 |    18903
659.69/659.88	c  658s |      17 |   276704 |   215832 |   140006      1 |    14253 |    18903
662.19/662.39	c  660s |      17 |   277276 |   216332 |   140006      1 |    14253 |    18903
664.29/664.48	c  662s |      17 |   277790 |   216732 |   140006      1 |    14253 |    18903
666.70/666.90	c  665s |      17 |   278464 |   217232 |   140006      1 |    14253 |    18903
668.79/668.98	c  667s |      17 |   278936 |   217632 |   140006      1 |    14253 |    18903
671.10/671.26	c  669s |      17 |   279404 |   218032 |   140006      1 |    14253 |    18903
673.30/673.49	c  671s |      17 |   279870 |   218432 |   140006      1 |    14253 |    18903
675.60/675.72	c  674s |      17 |   280320 |   218832 |   140006      1 |    14253 |    18903
677.80/677.94	c  676s |      17 |   280820 |   219232 |   140006      1 |    14253 |    18903
680.09/680.24	c  678s |      17 |   281333 |   219632 |   140006      1 |    14253 |    18903
682.59/682.75	c  681s |      17 |   281803 |   220032 |   140006      1 |    14253 |    18903
684.89/685.07	c  683s |      17 |   282292 |   220432 |   140006      1 |    14253 |    18903
687.59/687.72	c  686s |      17 |   282763 |   220832 |   140006      1 |    14253 |    18903
689.69/689.87	c  688s |      17 |   283245 |   221232 |   140006      1 |    14253 |    18903
691.89/692.02	c  690s |      17 |   283727 |   221632 |   140006      1 |    14253 |    18903
694.39/694.57	c  692s |      17 |   284203 |   222032 |   140006      1 |    14253 |    18903
696.69/696.88	c  695s |      17 |   284681 |   222432 |   140006      1 |    14253 |    18903
699.18/699.34	c  697s |      17 |   285127 |   222832 |   140006      1 |    14253 |    18903
701.68/701.81	c  700s |      17 |   285655 |   223232 |   140006      1 |    14253 |    18903
703.98/704.10	c  702s |      17 |   286309 |   223732 |   140006      1 |    14253 |    18903
705.98/706.17	c  704s |      17 |   286774 |   224132 |   140006      1 |    14253 |    18903
708.38/708.52	c  706s |      17 |   287359 |   224532 |   140006      1 |    14253 |    18903
710.69/710.83	c  709s |      17 |   287884 |   224932 |   140006      1 |    14253 |    18903
712.98/713.14	c  711s |      17 |   288378 |   225332 |   140006      1 |    14253 |    18903
715.38/715.54	c  713s |      17 |   288853 |   225732 |   140006      1 |    14253 |    18903
717.39/717.57	c  715s |      17 |   289404 |   226132 |   140006      1 |    14253 |    18903
719.67/719.86	c  718s |      17 |   289935 |   226532 |   140006      1 |    14253 |    18903
721.78/721.97	c  720s |      17 |   290443 |   226932 |   140006      1 |    14253 |    18903
724.27/724.44	c  722s |      17 |   290962 |   227332 |   140006      1 |    14253 |    18903
726.57/726.73	c  725s |      17 |   291502 |   227732 |   140006      1 |    14253 |    18903
728.87/729.09	c  727s |      17 |   291976 |   228132 |   140006      1 |    14253 |    18903
731.47/731.62	c  729s |      17 |   292464 |   228532 |   140006      1 |    14253 |    18903
733.97/734.18	c  732s |      17 |   292911 |   228932 |   140006      1 |    14253 |    18903
736.37/736.59	c  734s |      17 |   293437 |   229332 |   140006      1 |    14253 |    18903
738.66/738.80	c  737s |      17 |   294009 |   229832 |   140006      1 |    14253 |    18903
741.06/741.20	c  739s |      17 |   294633 |   230332 |   140006      1 |    14253 |    18903
743.26/743.40	c  741s |      17 |   295106 |   230732 |   140006      1 |    14253 |    18903
745.66/745.81	c  744s |      17 |   295637 |   231132 |   140006      1 |    14253 |    18903
747.86/748.05	c  746s |      17 |   296106 |   231532 |   140006      1 |    14253 |    18903
750.37/750.55	c  748s |      17 |   296564 |   231932 |   140006      1 |    14253 |    18903
752.66/752.86	c  751s |      17 |   297043 |   232332 |   140006      1 |    14253 |    18903
754.86/755.03	c  753s |      17 |   297537 |   232732 |   140006      1 |    14253 |    18903
757.16/757.33	c  755s |      17 |   298025 |   233132 |   140006      1 |    14253 |    18903
759.16/759.38	c  757s |      17 |   298506 |   233532 |   140006      1 |    14253 |    18903
761.65/761.80	c  760s |      17 |   299070 |   234032 |   140006      1 |    14253 |    18903
764.05/764.24	c  762s |      17 |   299520 |   234432 |   140006      1 |    14253 |    18903
766.35/766.59	c  764s |      17 |   299998 |   234832 |   140006      1 |    14253 |    18903
768.75/768.92	c  767s |      17 |   300467 |   235232 |   140006      1 |    14253 |    18903
771.05/771.27	c  769s |      17 |   300939 |   235632 |   140006      1 |    14253 |    18903
773.65/773.85	c  772s |      17 |   301412 |   236032 |   140006      1 |    14253 |    18903
775.85/776.03	c  774s |      17 |   301891 |   236432 |   140006      1 |    14253 |    18903
778.14/778.33	c  776s |      17 |   302360 |   236832 |   140006      1 |    14253 |    18903
780.54/780.78	c  779s |      17 |   302956 |   237332 |   140006      1 |    14253 |    18903
784.14/784.37	c  782s |      17 |   303443 |   237732 |   140006      2 |    14253 |    18903
786.44/786.65	c  785s |      17 |   303790 |   238032 |   140006      2 |    14253 |    18903
788.75/788.92	c  787s |      17 |   304359 |   238532 |   140006      2 |    14253 |    18903
790.74/790.97	c  789s |      17 |   304821 |   238932 |   140006      2 |    14253 |    18903
793.04/793.24	c  791s |      17 |   305416 |   239432 |   140006      2 |    14253 |    18903
795.14/795.31	c  793s |      17 |   305903 |   239832 |   140006      2 |    14253 |    18903
797.24/797.49	c  795s |      17 |   306485 |   240332 |   140006      2 |    14253 |    18903
799.74/799.91	c  798s |      17 |   307066 |   240832 |   140006      2 |    14253 |    18903
802.14/802.31	c  800s |      17 |   307648 |   241332 |   140006      2 |    14253 |    18903
804.54/804.78	c  803s |      17 |   308245 |   241832 |   140006      2 |    14253 |    18903
806.84/807.01	c  805s |      17 |   308854 |   242332 |   140006      2 |    14253 |    18903
809.23/809.41	c  807s |      17 |   309473 |   242832 |   140006      2 |    14253 |    18903
811.23/811.44	c  809s |      17 |   309935 |   243232 |   140006      2 |    14253 |    18903
813.33/813.55	c  811s |      17 |   310393 |   243632 |   140006      2 |    14253 |    18903
815.53/815.75	c  814s |      17 |   311015 |   244132 |   140006      2 |    14253 |    18903
817.83/818.01	c  816s |      17 |   311662 |   244632 |   140006      2 |    14253 |    18903
820.23/820.47	c  818s |      17 |   312238 |   245132 |   140006      2 |    14253 |    18903
822.43/822.65	c  821s |      17 |   312895 |   245632 |   140006      2 |    14253 |    18903
824.73/824.93	c  823s |      17 |   313497 |   246132 |   140006      2 |    14253 |    18903
827.03/827.28	c  825s |      17 |   314084 |   246632 |   140006      2 |    14253 |    18903
829.43/829.61	c  827s |      17 |   314703 |   247132 |   140006      2 |    14253 |    18903
831.52/831.77	c  830s |      17 |   315190 |   247532 |   140006      2 |    14253 |    18903
833.93/834.14	c  832s |      17 |   315759 |   248032 |   140006      2 |    14253 |    18903
835.92/836.17	c  834s |      17 |   316254 |   248432 |   140006      2 |    14253 |    18903
838.02/838.29	c  836s |      17 |   316728 |   248832 |   140006      2 |    14253 |    18903
840.12/840.35	c  838s |      17 |   317192 |   249232 |   140006      2 |    14253 |    18903
842.32/842.51	c  840s |      17 |   317681 |   249632 |   140006      2 |    14253 |    18903
844.41/844.60	c  842s |      17 |   318160 |   250032 |   140006      2 |    14253 |    18903
846.41/846.64	c  844s |      17 |   318640 |   250432 |   140006      2 |    14253 |    18903
848.51/848.76	c  847s |      17 |   319129 |   250832 |   140006      2 |    14253 |    18903
850.61/850.90	c  849s |      17 |   319586 |   251232 |   140006      2 |    14253 |    18903
853.01/853.22	c  851s |      17 |   320039 |   251632 |   140006      2 |    14253 |    18903
855.31/855.50	c  853s |      17 |   320512 |   252032 |   140006      2 |    14253 |    18903
857.61/857.88	c  856s |      17 |   320973 |   252432 |   140006      2 |    14253 |    18903
859.81/860.02	c  858s |      17 |   321419 |   252832 |   140006      2 |    14253 |    18903
861.81/862.03	c  860s |      17 |   321902 |   253232 |   140006      2 |    14253 |    18903
864.31/864.59	c  862s |      17 |   322507 |   253732 |   140006      2 |    14253 |    18903
866.41/866.61	c  864s |      17 |   323010 |   254132 |   140006      2 |    14253 |    18903
868.71/868.96	c  867s |      17 |   323629 |   254632 |   140006      2 |    14253 |    18903
871.00/871.27	c  869s |      17 |   324247 |   255132 |   140006      2 |    14253 |    18903
873.60/873.80	c  872s |      17 |   324863 |   255632 |   140006      2 |    14253 |    18903
875.90/876.20	c  874s |      17 |   325435 |   256132 |   140006      2 |    14253 |    18903
878.10/878.37	c  876s |      17 |   325926 |   256532 |   140006      2 |    14253 |    18903
880.50/880.75	c  879s |      17 |   326491 |   257032 |   140006      2 |    14253 |    18903
882.60/882.82	c  881s |      17 |   327121 |   257532 |   140006      2 |    14253 |    18903
884.80/885.03	c  883s |      17 |   327712 |   258032 |   140006      2 |    14253 |    18903
887.10/887.31	c  885s |      17 |   328334 |   258532 |   140006      2 |    14253 |    18903
889.49/889.73	c  888s |      17 |   328927 |   259032 |   140006      2 |    14253 |    18903
891.79/892.05	c  890s |      17 |   329526 |   259532 |   140006      2 |    14253 |    18903
894.09/894.31	c  892s |      17 |   330165 |   260032 |   140006      2 |    14253 |    18903
896.19/896.42	c  894s |      17 |   330653 |   260432 |   140006      2 |    14253 |    18903
898.28/898.57	c  896s |      17 |   331115 |   260832 |   140006      2 |    14253 |    18903
900.28/900.58	c  898s |      17 |   331591 |   261232 |   140006      2 |    14253 |    18903
902.58/902.81	c  901s |      17 |   332190 |   261732 |   140006      2 |    14253 |    18903
904.68/904.93	c  903s |      17 |   332679 |   262132 |   140006      2 |    14253 |    18903
906.78/907.08	c  905s |      17 |   333138 |   262532 |   140006      2 |    14253 |    18903
908.87/909.17	c  907s |      17 |   333589 |   262932 |   140006      2 |    14253 |    18903
911.07/911.36	c  909s |      17 |   334074 |   263332 |   140006      2 |    14253 |    18903
913.17/913.48	c  911s |      17 |   334545 |   263732 |   140006      2 |    14253 |    18903
915.87/916.16	c  914s |      17 |   335003 |   264132 |   140006      2 |    14253 |    18903
918.37/918.70	c  917s |      17 |   335458 |   264532 |   140006      2 |    14253 |    18903
920.68/920.99	c  919s |      17 |   335932 |   264932 |   140006      2 |    14253 |    18903
923.07/923.34	c  921s |      17 |   336511 |   265432 |   140006      2 |    14253 |    18903
925.07/925.37	c  923s |      17 |   337101 |   265932 |   140006      2 |    14253 |    18903
927.57/927.89	c  926s |      17 |   337695 |   266432 |   140006      2 |    14253 |    18903
930.16/930.42	c  928s |      17 |   338169 |   266832 |   140006      2 |    14253 |    18903
932.26/932.51	c  930s |      17 |   338649 |   267232 |   140006      2 |    14253 |    18903
934.46/934.74	c  933s |      17 |   339143 |   267632 |   140006      2 |    14253 |    18903
936.86/937.17	c  935s |      17 |   339606 |   268032 |   140006      2 |    14253 |    18903
938.96/939.22	c  937s |      17 |   339947 |   268332 |   140006      2 |    14253 |    18903
940.96/941.25	c  939s |      17 |   340291 |   268632 |   140006      2 |    14253 |    18903
943.65/943.93	c  942s |      17 |   340732 |   269032 |   140006      2 |    14253 |    18903
946.06/946.39	c  944s |      17 |   341192 |   269432 |   140006      2 |    14253 |    18903
948.26/948.55	c  946s |      17 |   341670 |   269832 |   140006      2 |    14253 |    18903
950.55/950.82	c  949s |      17 |   342274 |   270332 |   140006      2 |    14253 |    18903
952.56/952.90	c  951s |      17 |   342731 |   270732 |   140006      2 |    14253 |    18903
954.75/955.04	c  953s |      17 |   343206 |   271132 |   140006      2 |    14253 |    18903
956.95/957.28	c  955s |      17 |   343704 |   271532 |   140006      2 |    14253 |    18903
959.15/959.44	c  957s |      17 |   344179 |   271932 |   140006      2 |    14253 |    18903
961.35/961.61	c  959s |      17 |   344681 |   272332 |   140006      2 |    14253 |    18903
963.44/963.78	c  962s |      17 |   345157 |   272732 |   140006      2 |    14253 |    18903
965.85/966.17	c  964s |      17 |   345624 |   273132 |   140006      2 |    14253 |    18903
968.04/968.38	c  966s |      17 |   346080 |   273532 |   140006      2 |    14253 |    18903
970.34/970.65	c  969s |      17 |   346535 |   273932 |   140006      2 |    14253 |    18903
972.74/973.03	c  971s |      17 |   346999 |   274332 |   140006      2 |    14253 |    18903
975.34/975.65	c  974s |      17 |   347442 |   274732 |   140006      2 |    14253 |    18903
977.74/978.01	c  976s |      17 |   347904 |   275132 |   140006      2 |    14253 |    18903
979.93/980.26	c  978s |      17 |   348380 |   275532 |   140006      2 |    14253 |    18903
982.34/982.64	c  981s |      17 |   348836 |   275932 |   140006      2 |    14253 |    18903
984.44/984.74	c  983s |      17 |   349308 |   276332 |   140006      2 |    14253 |    18903
986.64/986.93	c  985s |      17 |   349771 |   276732 |   140006      2 |    14253 |    18903
988.93/989.26	c  987s |      17 |   350232 |   277132 |   140006      2 |    14253 |    18903
991.43/991.74	c  990s |      17 |   350674 |   277532 |   140006      2 |    14253 |    18903
993.93/994.23	c  992s |      17 |   351108 |   277932 |   140006      2 |    14253 |    18903
996.23/996.58	c  994s |      17 |   351628 |   278332 |   140006      2 |    14253 |    18903
998.62/998.90	c  997s |      17 |   352075 |   278732 |   140006      2 |    14253 |    18903
1000.62/1000.92	c  999s |      17 |   352417 |   279032 |   140006      2 |    14253 |    18903
1003.13/1003.41	c 1001s |      17 |   352871 |   279432 |   140006      2 |    14253 |    18903
1005.52/1005.82	c 1004s |      17 |   353323 |   279832 |   140006      2 |    14253 |    18903
1008.01/1008.30	c 1006s |      17 |   353772 |   280232 |   140006      2 |    14253 |    18903
1010.22/1010.58	c 1008s |      17 |   354246 |   280632 |   140006      2 |    14253 |    18903
1012.41/1012.70	c 1011s |      17 |   354724 |   281032 |   140006      2 |    14253 |    18903
1014.81/1015.12	c 1013s |      17 |   355151 |   281432 |   140006      2 |    14253 |    18903
1017.01/1017.37	c 1015s |      17 |   355499 |   281732 |   140006      2 |    14253 |    18903
1019.31/1019.60	c 1017s |      17 |   355865 |   282032 |   140006      2 |    14253 |    18903
1021.31/1021.69	c 1020s |      17 |   356217 |   282332 |   140006      2 |    14253 |    18903
1023.41/1023.72	c 1022s |      17 |   356571 |   282632 |   140006      2 |    14253 |    18903
1025.41/1025.77	c 1024s |      17 |   356934 |   282932 |   140006      2 |    14253 |    18903
1027.51/1027.83	c 1026s |      17 |   357295 |   283232 |   140006      2 |    14253 |    18903
1029.61/1029.98	c 1028s |      17 |   357647 |   283532 |   140006      2 |    14253 |    18903
1032.20/1032.53	c 1030s |      17 |   358119 |   283932 |   140006      2 |    14253 |    18903
1034.90/1035.27	c 1033s |      17 |   358573 |   284332 |   140006      2 |    14253 |    18903
1037.10/1037.45	c 1035s |      17 |   359110 |   284732 |   140006      2 |    14253 |    18903
1039.60/1039.95	c 1038s |      17 |   359576 |   285132 |   140006      2 |    14253 |    18903
1041.99/1042.34	c 1040s |      17 |   360050 |   285532 |   140006      2 |    14253 |    18903
1043.99/1044.38	c 1042s |      17 |   360378 |   285832 |   140006      2 |    14253 |    18903
1046.39/1046.73	c 1045s |      17 |   360856 |   286232 |   140006      2 |    14253 |    18903
1049.00/1049.31	c 1047s |      17 |   361307 |   286632 |   140006      2 |    14253 |    18903
1051.10/1051.40	c 1049s |      17 |   361638 |   286932 |   140006      2 |    14253 |    18903
1053.29/1053.62	c 1051s |      17 |   361960 |   287232 |   140006      2 |    14253 |    18903
1055.49/1055.87	c 1054s |      17 |   362305 |   287532 |   140006      2 |    14253 |    18903
1057.69/1058.01	c 1056s |      17 |   362637 |   287832 |   140006      2 |    14253 |    18903
1060.30/1060.70	c 1059s |      17 |   363092 |   288232 |   140006      2 |    14253 |    18903
1062.69/1063.02	c 1061s |      17 |   363563 |   288632 |   140006      2 |    14253 |    18903
1065.19/1065.51	c 1063s |      17 |   364023 |   289032 |   140006      2 |    14253 |    18903
1067.59/1067.94	c 1066s |      17 |   364496 |   289432 |   140006      2 |    14253 |    18903
1070.08/1070.43	c 1068s |      17 |   364964 |   289832 |   140006      2 |    14253 |    18903
1072.18/1072.52	c 1070s |      17 |   365295 |   290132 |   140006      2 |    14253 |    18903
1074.18/1074.54	c 1072s |      17 |   365641 |   290432 |   140006      2 |    14253 |    18903
1076.28/1076.62	c 1074s |      17 |   365969 |   290732 |   140006      2 |    14253 |    18903
1078.68/1079.01	c 1077s |      17 |   366305 |   291032 |   140006      2 |    14253 |    18903
1080.88/1081.28	c 1079s |      17 |   366649 |   291332 |   140006      2 |    14253 |    18903
1083.18/1083.54	c 1081s |      17 |   366999 |   291632 |   140006      2 |    14253 |    18903
1085.48/1085.87	c 1084s |      17 |   367360 |   291932 |   140006      2 |    14253 |    18903
1088.07/1088.47	c 1086s |      17 |   367692 |   292232 |   140006      2 |    14253 |    18903
1090.77/1091.14	c 1089s |      17 |   368062 |   292532 |   140006      2 |    14253 |    18903
1092.87/1093.21	c 1091s |      17 |   368278 |   292732 |   140006      2 |    14253 |    18903
1094.87/1095.25	c 1093s |      17 |   368673 |   293032 |   140006      2 |    14253 |    18903
1096.97/1097.31	c 1095s |      17 |   369057 |   293332 |   140006      2 |    14253 |    18903
1099.66/1100.03	c 1098s |      17 |   369641 |   293732 |   140006      2 |    14253 |    18903
1102.46/1102.86	c 1101s |      17 |   370186 |   294132 |   140006      2 |    14253 |    18903
1105.06/1105.46	c 1103s |      17 |   370557 |   294432 |   154007      2 |    14253 |    18903
1107.36/1107.76	c 1106s |      17 |   370901 |   294732 |   154007      2 |    14253 |    18903
1109.46/1109.81	c 1108s |      17 |   371279 |   295032 |   154007      2 |    14253 |    18903
1111.86/1112.25	c 1110s |      17 |   371641 |   295332 |   154007      2 |    14253 |    18903
1114.06/1114.47	c 1112s |      17 |   371991 |   295632 |   154007      2 |    14253 |    18903
1116.46/1116.88	c 1115s |      17 |   372382 |   295932 |   154007      2 |    14253 |    18903
1118.75/1119.15	c 1117s |      17 |   372756 |   296232 |   154007      2 |    14253 |    18903
1118.95/1119.32	c 1117s |      18 |   372777 |   296252 |   154007      2 |    14253 |    18903
1121.35/1121.77	c 1120s |      18 |   373056 |   296452 |   154007      2 |    14253 |    18903
1123.85/1124.25	c 1122s |      18 |   373415 |   296752 |   154007      2 |    14253 |    18903
1126.55/1126.90	c 1125s |      18 |   373786 |   297052 |   154007      2 |    14253 |    18903
1129.04/1129.48	c 1127s |      18 |   374182 |   297352 |   154007      2 |    14253 |    18903
1131.64/1132.03	c 1130s |      18 |   374537 |   297652 |   154007      2 |    14253 |    18903
1134.54/1134.96	c 1133s |      18 |   374870 |   297952 |   154007      2 |    14253 |    18903
1136.84/1137.22	c 1135s |      18 |   375247 |   298252 |   154007      2 |    14253 |    18903
1139.04/1139.44	c 1137s |      18 |   375637 |   298552 |   154007      2 |    14253 |    18903
1141.44/1141.83	c 1140s |      18 |   376013 |   298852 |   154007      2 |    14253 |    18903
1143.64/1144.00	c 1142s |      18 |   376370 |   299152 |   154007      2 |    14253 |    18903
1146.14/1146.55	c 1144s |      18 |   376725 |   299452 |   154007      2 |    14253 |    18903
1148.63/1149.02	c 1147s |      18 |   377074 |   299752 |   154007      2 |    14253 |    18903
1150.93/1151.35	c 1149s |      18 |   377421 |   300052 |   154007      2 |    14253 |    18903
1153.43/1153.81	c 1152s |      18 |   377741 |   300352 |   154007      2 |    14253 |    18903
1155.53/1155.94	c 1154s |      18 |   378087 |   300652 |   154007      2 |    14253 |    18903
1158.13/1158.51	c 1156s |      18 |   378439 |   300952 |   154007      2 |    14253 |    18903
1160.92/1161.37	c 1159s |      18 |   378754 |   301252 |   154007      2 |    14253 |    18903
1163.42/1163.86	c 1162s |      18 |   379103 |   301552 |   154007      2 |    14253 |    18903
1165.62/1166.01	c 1164s |      18 |   379435 |   301852 |   154007      2 |    14253 |    18903
1168.02/1168.41	c 1166s |      18 |   379791 |   302152 |   154007      2 |    14253 |    18903
1170.42/1170.88	c 1169s |      18 |   380112 |   302452 |   154007      2 |    14253 |    18903
1173.12/1173.56	c 1171s |      18 |   380472 |   302752 |   154007      2 |    14253 |    18903
1175.62/1176.00	c 1174s |      18 |   380823 |   303052 |   154007      2 |    14253 |    18903
1177.92/1178.37	c 1176s |      18 |   381178 |   303352 |   154007      2 |    14253 |    18903
1180.21/1180.65	c 1179s |      18 |   381543 |   303652 |   154007      2 |    14253 |    18903
1182.51/1182.93	c 1181s |      18 |   381896 |   303952 |   154007      2 |    14253 |    18903
1184.81/1185.30	c 1183s |      18 |   382242 |   304252 |   154007      2 |    14253 |    18903
1187.21/1187.63	c 1185s |      18 |   382583 |   304552 |   154007      2 |    14253 |    18903
1190.01/1190.50	c 1188s |      18 |   382910 |   304852 |   154007      2 |    14253 |    18903
1192.80/1193.28	c 1191s |      18 |   383268 |   305152 |   154007      2 |    14253 |    18903
1195.40/1195.84	c 1194s |      18 |   383625 |   305452 |   154007      2 |    14253 |    18903
1197.81/1198.21	c 1196s |      18 |   383981 |   305752 |   154007      2 |    14253 |    18903
1200.09/1200.57	c 1198s |      18 |   384346 |   306052 |   154007      2 |    14253 |    18903
1202.39/1202.84	c 1201s |      18 |   384701 |   306352 |   154007      2 |    14253 |    18903
1204.59/1205.04	c 1203s |      18 |   385085 |   306652 |   154007      2 |    14253 |    18903
1206.99/1207.48	c 1205s |      18 |   385436 |   306952 |   154007      2 |    14253 |    18903
1209.69/1210.14	c 1208s |      18 |   385747 |   307252 |   154007      2 |    14253 |    18903
1212.69/1213.15	c 1211s |      18 |   386075 |   307552 |   154007      2 |    14253 |    18903
1215.49/1215.95	c 1214s |      18 |   386429 |   307852 |   154007      2 |    14253 |    18903
1218.28/1218.78	c 1217s |      18 |   386764 |   308152 |   154007      2 |    14253 |    18903
1220.38/1220.83	c 1219s |      18 |   386990 |   308352 |   154007      2 |    14253 |    18903
1223.18/1223.60	c 1221s |      18 |   387324 |   308652 |   154007      2 |    14253 |    18903
1225.98/1226.47	c 1224s |      18 |   387661 |   308952 |   154007      2 |    14253 |    18903
1228.48/1228.91	c 1227s |      18 |   388024 |   309252 |   154007      2 |    14253 |    18903
1230.57/1231.08	c 1229s |      18 |   388275 |   309452 |   154007      2 |    14253 |    18903
1233.47/1233.93	c 1232s |      18 |   388610 |   309752 |   154007      2 |    14253 |    18903
1235.47/1235.95	c 1234s |      18 |   388847 |   309952 |   154007      2 |    14253 |    18903
1237.57/1238.06	c 1236s |      18 |   389069 |   310152 |   154007      2 |    14253 |    18903
1240.68/1241.15	c 1239s |      18 |   389383 |   310452 |   154007      2 |    14253 |    18903
1243.57/1244.03	c 1242s |      18 |   389723 |   310752 |   154007      2 |    14253 |    18903
1246.37/1246.82	c 1245s |      18 |   390093 |   311052 |   154007      2 |    14253 |    18903
1248.47/1248.91	c 1247s |      18 |   390328 |   311252 |   154007      2 |    14253 |    18903
1251.46/1251.92	c 1250s |      18 |   390686 |   311552 |   154007      2 |    14253 |    18903
1253.46/1253.93	c 1252s |      18 |   390922 |   311752 |   154007      2 |    14253 |    18903
1256.56/1257.09	c 1255s |      18 |   391270 |   312052 |   154007      2 |    14253 |    18903
1259.46/1259.92	c 1258s |      18 |   391618 |   312352 |   154007      2 |    14253 |    18903
1261.96/1262.48	c 1260s |      18 |   391967 |   312652 |   154007      2 |    14253 |    18903
1264.87/1265.35	c 1263s |      18 |   392318 |   312952 |   154007      2 |    14253 |    18903
1267.36/1267.85	c 1266s |      18 |   392542 |   313152 |   154007      2 |    14253 |    18903
1269.66/1270.13	c 1268s |      18 |   392777 |   313352 |   154007      2 |    14253 |    18903
1272.35/1272.80	c 1271s |      18 |   393140 |   313652 |   154007      2 |    14253 |    18903
1274.85/1275.34	c 1273s |      18 |   393473 |   313952 |   154007      2 |    14253 |    18903
1277.55/1278.05	c 1276s |      18 |   393812 |   314252 |   154007      2 |    14253 |    18903
1280.35/1280.87	c 1279s |      18 |   394165 |   314552 |   154007      2 |    14253 |    18903
1283.15/1283.65	c 1282s |      18 |   394498 |   314852 |   154007      2 |    14253 |    18903
1285.55/1286.02	c 1284s |      18 |   394847 |   315152 |   154007      2 |    14253 |    18903
1288.34/1288.81	c 1287s |      18 |   395212 |   315452 |   154007      2 |    14253 |    18903
1291.04/1291.53	c 1289s |      18 |   395552 |   315752 |   154007      2 |    14253 |    18903
1293.64/1294.11	c 1292s |      18 |   395907 |   316052 |   154007      2 |    14253 |    18903
1296.24/1296.72	c 1295s |      18 |   396234 |   316352 |   154007      2 |    14253 |    18903
1299.24/1299.73	c 1298s |      18 |   396564 |   316652 |   154007      2 |    14253 |    18903
1302.24/1302.75	c 1301s |      18 |   396905 |   316952 |   154007      2 |    14253 |    18903
1304.94/1305.49	c 1303s |      18 |   397268 |   317252 |   154007      2 |    14253 |    18903
1307.74/1308.23	c 1306s |      18 |   397605 |   317552 |   154007      2 |    14253 |    18903
1310.33/1310.86	c 1309s |      18 |   397950 |   317852 |   154007      2 |    14253 |    18903
1312.83/1313.36	c 1311s |      18 |   398285 |   318152 |   154007      2 |    14253 |    18903
1315.63/1316.12	c 1314s |      18 |   398626 |   318452 |   154007      2 |    14253 |    18903
1318.03/1318.59	c 1316s |      18 |   398968 |   318752 |   154007      2 |    14253 |    18903
1320.13/1320.62	c 1318s |      18 |   399326 |   319052 |   154007      2 |    14253 |    18903
1322.63/1323.15	c 1321s |      18 |   399684 |   319352 |   154007      2 |    14253 |    18903
1325.13/1325.61	c 1323s |      18 |   400021 |   319652 |   154007      2 |    14253 |    18903
1328.42/1328.90	c 1327s |      18 |   400386 |   319952 |   154007      2 |    14253 |    18903
1330.73/1331.28	c 1329s |      18 |   400603 |   320152 |   154007      2 |    14253 |    18903
1332.82/1333.30	c 1331s |      18 |   400817 |   320352 |   154007      2 |    14253 |    18903
1334.92/1335.43	c 1333s |      18 |   401042 |   320552 |   154007      2 |    14253 |    18903
1337.02/1337.55	c 1335s |      18 |   401280 |   320752 |   154007      2 |    14253 |    18903
1340.21/1340.72	c 1339s |      18 |   401623 |   321052 |   154007      2 |    14253 |    18903
1342.21/1342.76	c 1341s |      18 |   401841 |   321252 |   154007      2 |    14253 |    18903
1344.31/1344.83	c 1343s |      18 |   402079 |   321452 |   154007      2 |    14253 |    18903
1346.51/1347.05	c 1345s |      18 |   402322 |   321652 |   154007      2 |    14253 |    18903
1348.91/1349.48	c 1347s |      18 |   402705 |   321952 |   154007      2 |    14253 |    18903
1351.41/1351.93	c 1350s |      18 |   403061 |   322252 |   154007      2 |    14253 |    18903
1354.21/1354.79	c 1353s |      18 |   403403 |   322552 |   154007      2 |    14253 |    18903
1357.51/1358.02	c 1356s |      18 |   403760 |   322852 |   154007      2 |    14253 |    18903
1359.90/1360.43	c 1358s |      18 |   404004 |   323052 |   154007      2 |    14253 |    18903
1362.30/1362.85	c 1361s |      18 |   404239 |   323252 |   154007      2 |    14253 |    18903
1364.30/1364.87	c 1363s |      18 |   404476 |   323452 |   154007      2 |    14253 |    18903
1367.01/1367.57	c 1365s |      18 |   404836 |   323752 |   154007      2 |    14253 |    18903
1369.10/1369.62	c 1367s |      18 |   405076 |   323952 |   154007      2 |    14253 |    18903
1372.00/1372.56	c 1370s |      18 |   405440 |   324252 |   154007      2 |    14253 |    18903
1374.30/1374.86	c 1373s |      18 |   405655 |   324452 |   154007      2 |    14253 |    18903
1376.80/1377.37	c 1375s |      18 |   405873 |   324652 |   154007      2 |    14253 |    18903
1379.00/1379.58	c 1377s |      18 |   406118 |   324852 |   154007      2 |    14253 |    18903
1381.90/1382.40	c 1380s |      18 |   406467 |   325152 |   154007      2 |    14253 |    18903
1384.40/1384.98	c 1383s |      18 |   406838 |   325452 |   154007      2 |    14253 |    18903
1387.10/1387.69	c 1386s |      18 |   407211 |   325752 |   154007      2 |    14253 |    18903
1389.80/1390.37	c 1388s |      18 |   407552 |   326052 |   154007      2 |    14253 |    18903
1392.40/1392.93	c 1391s |      18 |   407921 |   326352 |   154007      2 |    14253 |    18903
1395.00/1395.50	c 1393s |      18 |   408281 |   326652 |   154007      2 |    14253 |    18903
1397.90/1398.42	c 1396s |      18 |   408657 |   326952 |   154007      2 |    14253 |    18903
1401.00/1401.59	c 1399s |      18 |   408982 |   327252 |   154007      2 |    14253 |    18903
1404.00/1404.53	c 1402s |      18 |   409372 |   327552 |   154007      2 |    14253 |    18903
1406.71/1407.22	c 1405s |      18 |   409702 |   327852 |   154007      2 |    14253 |    18903
1409.20/1409.73	c 1408s |      18 |   409958 |   328052 |   154007      2 |    14253 |    18903
1411.50/1412.09	c 1410s |      18 |   410177 |   328252 |   154007      2 |    14253 |    18903
1413.80/1414.34	c 1412s |      18 |   410399 |   328452 |   154007      2 |    14253 |    18903
1416.00/1416.56	c 1414s |      18 |   410632 |   328652 |   154007      2 |    14253 |    18903
1418.10/1418.61	c 1416s |      18 |   410874 |   328852 |   154007      2 |    14253 |    18903
1420.20/1420.70	c 1419s |      18 |   411118 |   329052 |   154007      2 |    14253 |    18903
1422.60/1423.13	c 1421s |      18 |   411352 |   329252 |   154007      2 |    14253 |    18903
1424.90/1425.40	c 1423s |      18 |   411566 |   329452 |   154007      2 |    14253 |    18903
1427.70/1428.24	c 1426s |      18 |   411792 |   329652 |   154007      2 |    14253 |    18903
1429.90/1430.40	c 1428s |      18 |   412043 |   329852 |   154007      2 |    14253 |    18903
1432.20/1432.76	c 1431s |      18 |   412256 |   330052 |   154007      2 |    14253 |    18903
1434.50/1435.08	c 1433s |      18 |   412494 |   330252 |   154007      2 |    14253 |    18903
1436.90/1437.46	c 1435s |      18 |   412727 |   330452 |   154007      2 |    14253 |    18903
1439.10/1439.68	c 1438s |      18 |   412961 |   330652 |   154007      2 |    14253 |    18903
1441.60/1442.14	c 1440s |      18 |   413196 |   330852 |   154007      2 |    14253 |    18903
1443.90/1444.42	c 1442s |      18 |   413426 |   331052 |   154007      2 |    14253 |    18903
1446.10/1446.63	c 1444s |      18 |   413642 |   331252 |   154007      2 |    14253 |    18903
1448.30/1448.81	c 1447s |      18 |   413881 |   331452 |   154007      2 |    14253 |    18903
1450.50/1451.07	c 1449s |      18 |   414123 |   331652 |   154007      2 |    14253 |    18903
1452.70/1453.23	c 1451s |      18 |   414375 |   331852 |   154007      2 |    14253 |    18903
1455.00/1455.57	c 1453s |      18 |   414597 |   332052 |   154007      2 |    14253 |    18903
1457.40/1457.95	c 1456s |      18 |   414811 |   332252 |   154007      2 |    14253 |    18903
1459.79/1460.36	c 1458s |      18 |   415035 |   332452 |   154007      2 |    14253 |    18903
1462.49/1463.08	c 1461s |      18 |   415263 |   332652 |   154007      2 |    14253 |    18903
1466.79/1467.35	c 1465s |      18 |   415384 |   332752 |   154007      3 |    14253 |    18903
1469.30/1469.84	c 1468s |      18 |   415728 |   333052 |   154007      3 |    14253 |    18903
1471.99/1472.50	c 1470s |      18 |   416073 |   333352 |   154007      3 |    14253 |    18903
1474.59/1475.12	c 1473s |      18 |   416412 |   333652 |   154007      3 |    14253 |    18903
1476.99/1477.58	c 1475s |      18 |   416638 |   333852 |   154007      3 |    14253 |    18903
1480.29/1480.89	c 1479s |      18 |   416955 |   334152 |   154007      3 |    14253 |    18903
1482.88/1483.43	c 1481s |      18 |   417286 |   334452 |   154007      3 |    14253 |    18903
1485.38/1485.99	c 1484s |      18 |   417614 |   334752 |   154007      3 |    14253 |    18903
1487.58/1488.17	c 1486s |      18 |   417968 |   335052 |   154007      3 |    14253 |    18903
1489.98/1490.50	c 1488s |      18 |   418298 |   335352 |   154007      3 |    14253 |    18903
1492.58/1493.12	c 1491s |      18 |   418630 |   335652 |   154007      3 |    14253 |    18903
1494.88/1495.46	c 1493s |      18 |   418954 |   335952 |   154007      3 |    14253 |    18903
1497.38/1497.91	c 1496s |      18 |   419271 |   336252 |   154007      3 |    14253 |    18903
1499.58/1500.19	c 1498s |      18 |   419501 |   336452 |   154007      3 |    14253 |    18903
1501.88/1502.48	c 1500s |      18 |   419859 |   336752 |   154007      3 |    14253 |    18903
1504.08/1504.69	c 1503s |      18 |   420186 |   337052 |   154007      3 |    14253 |    18903
1506.98/1507.53	c 1505s |      18 |   420529 |   337352 |   154007      3 |    14253 |    18903
1509.08/1509.61	c 1507s |      18 |   420917 |   337652 |   154007      3 |    14253 |    18903
1511.38/1511.99	c 1510s |      18 |   421250 |   337952 |   154007      3 |    14253 |    18903
1513.88/1514.40	c 1512s |      18 |   421586 |   338252 |   154007      3 |    14253 |    18903
1516.38/1516.90	c 1515s |      18 |   421921 |   338552 |   154007      3 |    14253 |    18903
1518.58/1519.12	c 1517s |      18 |   422260 |   338852 |   154007      3 |    14253 |    18903
1520.79/1521.38	c 1519s |      18 |   422595 |   339152 |   154007      3 |    14253 |    18903
1522.99/1523.52	c 1521s |      18 |   422948 |   339452 |   154007      3 |    14253 |    18903
1525.49/1526.06	c 1524s |      18 |   423293 |   339752 |   154007      3 |    14253 |    18903
1527.98/1528.51	c 1526s |      18 |   423604 |   340052 |   154007      3 |    14253 |    18903
1530.68/1531.28	c 1529s |      18 |   423939 |   340352 |   154007      3 |    14253 |    18903
1533.28/1533.88	c 1532s |      18 |   424276 |   340652 |   154007      3 |    14253 |    18903
1535.48/1536.04	c 1534s |      18 |   424623 |   340952 |   154007      3 |    14253 |    18903
1537.88/1538.44	c 1536s |      18 |   424952 |   341252 |   154007      3 |    14253 |    18903
1540.28/1540.83	c 1539s |      18 |   425280 |   341552 |   154007      3 |    14253 |    18903
1542.48/1543.01	c 1541s |      18 |   425615 |   341852 |   154007      3 |    14253 |    18903
1544.68/1545.21	c 1543s |      18 |   425971 |   342152 |   154007      3 |    14253 |    18903
1546.68/1547.29	c 1545s |      18 |   426321 |   342452 |   154007      3 |    14253 |    18903
1549.48/1550.08	c 1548s |      18 |   426759 |   342852 |   154007      3 |    14253 |    18903
1552.18/1552.75	c 1551s |      18 |   427091 |   343152 |   154007      3 |    14253 |    18903
1554.18/1554.78	c 1553s |      18 |   427442 |   343452 |   154007      3 |    14253 |    18903
1556.68/1557.25	c 1555s |      18 |   427794 |   343752 |   154007      3 |    14253 |    18903
1559.18/1559.77	c 1558s |      18 |   428130 |   344052 |   154007      3 |    14253 |    18903
1561.58/1562.19	c 1560s |      18 |   428504 |   344352 |   154007      3 |    14253 |    18903
1564.18/1564.78	c 1563s |      18 |   428845 |   344652 |   154007      3 |    14253 |    18903
1566.78/1567.38	c 1565s |      18 |   429173 |   344952 |   154007      3 |    14253 |    18903
1569.28/1569.87	c 1568s |      18 |   429521 |   345252 |   154007      3 |    14253 |    18903
1571.47/1572.08	c 1570s |      18 |   429873 |   345552 |   154007      3 |    14253 |    18903
1573.97/1574.56	c 1572s |      18 |   430231 |   345852 |   154007      3 |    14253 |    18903
1576.37/1576.98	c 1575s |      18 |   430581 |   346152 |   154007      3 |    14253 |    18903
1578.47/1579.03	c 1577s |      18 |   430952 |   346452 |   154007      3 |    14253 |    18903
1580.77/1581.31	c 1579s |      18 |   431321 |   346752 |   154007      3 |    14253 |    18903
1582.97/1583.56	c 1581s |      18 |   431683 |   347052 |   154007      3 |    14253 |    18903
1585.47/1586.05	c 1584s |      18 |   432035 |   347352 |   154007      3 |    14253 |    18903
1587.77/1588.38	c 1586s |      18 |   432407 |   347652 |   154007      3 |    14253 |    18903
1590.38/1590.97	c 1589s |      18 |   432747 |   347952 |   154007      3 |    14253 |    18903
1592.77/1593.32	c 1591s |      18 |   433101 |   348252 |   154007      3 |    14253 |    18903
1595.17/1595.73	c 1594s |      18 |   433439 |   348552 |   154007      3 |    14253 |    18903
1597.27/1597.83	c 1596s |      18 |   433771 |   348852 |   154007      3 |    14253 |    18903
1599.77/1600.32	c 1598s |      18 |   434139 |   349152 |   154007      3 |    14253 |    18903
1602.07/1602.62	c 1600s |      18 |   434489 |   349452 |   154007      3 |    14253 |    18903
1604.68/1605.27	c 1603s |      18 |   434816 |   349752 |   154007      3 |    14253 |    18903
1607.37/1607.95	c 1606s |      18 |   435164 |   350052 |   154007      3 |    14253 |    18903
1609.57/1610.15	c 1608s |      18 |   435390 |   350252 |   154007      3 |    14253 |    18903
1612.47/1613.03	c 1611s |      18 |   435734 |   350552 |   154007      3 |    14253 |    18903
1615.27/1615.80	c 1614s |      18 |   436076 |   350852 |   154007      3 |    14253 |    18903
1618.27/1618.85	c 1617s |      18 |   436406 |   351152 |   154007      3 |    14253 |    18903
1620.26/1620.89	c 1619s |      18 |   436634 |   351352 |   154007      3 |    14253 |    18903
1623.06/1623.61	c 1621s |      18 |   436966 |   351652 |   154007      3 |    14253 |    18903
1625.86/1626.40	c 1624s |      18 |   437290 |   351952 |   154007      3 |    14253 |    18903
1628.56/1629.10	c 1627s |      18 |   437626 |   352252 |   154007      3 |    14253 |    18903
1631.16/1631.72	c 1630s |      18 |   437946 |   352552 |   154007      3 |    14253 |    18903
1633.76/1634.34	c 1632s |      18 |   438279 |   352852 |   154007      3 |    14253 |    18903
1636.26/1636.81	c 1635s |      18 |   438621 |   353152 |   154007      3 |    14253 |    18903
1639.06/1639.69	c 1638s |      18 |   438955 |   353452 |   154007      3 |    14253 |    18903
1641.56/1642.19	c 1640s |      18 |   439282 |   353752 |   154007      3 |    14253 |    18903
1644.56/1645.11	c 1643s |      18 |   439627 |   354052 |   154007      3 |    14253 |    18903
1647.36/1647.98	c 1646s |      18 |   439956 |   354352 |   154007      3 |    14253 |    18903
1650.87/1651.47	c 1649s |      18 |   440337 |   354652 |   154007      3 |    14253 |    18903
1653.16/1653.70	c 1652s |      18 |   440715 |   354952 |   154007      3 |    14253 |    18903
1655.27/1655.85	c 1654s |      18 |   441080 |   355252 |   154007      3 |    14253 |    18903
1657.86/1658.44	c 1656s |      18 |   441475 |   355552 |   154007      3 |    14253 |    18903
1660.26/1660.81	c 1659s |      18 |   441812 |   355852 |   154007      3 |    14253 |    18903
1662.96/1663.58	c 1661s |      18 |   442162 |   356152 |   154007      3 |    14253 |    18903
1665.66/1666.29	c 1664s |      18 |   442509 |   356452 |   154007      3 |    14253 |    18903
1668.06/1668.65	c 1667s |      18 |   442886 |   356752 |   154007      3 |    14253 |    18903
1670.26/1670.80	c 1669s |      18 |   443248 |   357052 |   154007      3 |    14253 |    18903
1672.35/1672.90	c 1671s |      18 |   443585 |   357352 |   154007      3 |    14253 |    18903
1674.65/1675.20	c 1673s |      18 |   443946 |   357652 |   154007      3 |    14253 |    18903
1677.05/1677.69	c 1676s |      18 |   444301 |   357952 |   154007      3 |    14253 |    18903
1679.65/1680.20	c 1678s |      18 |   444669 |   358252 |   154007      3 |    14253 |    18903
1681.66/1682.21	c 1680s |      18 |   444913 |   358452 |   154007      3 |    14253 |    18903
1683.76/1684.31	c 1682s |      18 |   445144 |   358652 |   154007      3 |    14253 |    18903
1686.35/1686.99	c 1685s |      18 |   445502 |   358952 |   154007      3 |    14253 |    18903
1689.05/1689.66	c 1688s |      18 |   445871 |   359252 |   154007      3 |    14253 |    18903
1691.35/1691.99	c 1690s |      18 |   446248 |   359552 |   154007      3 |    14253 |    18903
1693.45/1694.09	c 1692s |      18 |   446624 |   359852 |   154007      3 |    14253 |    18903
1695.86/1696.44	c 1694s |      18 |   446998 |   360152 |   154007      3 |    14253 |    18903
1698.25/1698.88	c 1697s |      18 |   447513 |   360552 |   154007      3 |    14253 |    18903
1700.55/1701.16	c 1699s |      18 |   448061 |   360952 |   154007      3 |    14253 |    18903
1702.65/1703.25	c 1701s |      18 |   448405 |   361252 |   154007      3 |    14253 |    18903
1704.66/1705.28	c 1703s |      18 |   448761 |   361552 |   154007      3 |    14253 |    18903
1707.15/1707.77	c 1706s |      18 |   449245 |   361952 |   154007      3 |    14253 |    18903
1709.55/1710.19	c 1708s |      18 |   449732 |   362352 |   154007      3 |    14253 |    18903
1711.85/1712.42	c 1710s |      18 |   450239 |   362752 |   154007      3 |    14253 |    18903
1714.05/1714.68	c 1713s |      18 |   450717 |   363152 |   154007      3 |    14253 |    18903
1716.46/1717.03	c 1715s |      18 |   451230 |   363552 |   154007      3 |    14253 |    18903
1718.76/1719.37	c 1717s |      18 |   451760 |   363952 |   154007      3 |    14253 |    18903
1721.26/1721.88	c 1720s |      18 |   452271 |   364352 |   154007      3 |    14253 |    18903
1723.36/1723.97	c 1722s |      18 |   452629 |   364652 |   154007      3 |    14253 |    18903
1725.66/1726.28	c 1724s |      18 |   453116 |   365052 |   154007      3 |    14253 |    18903
1728.15/1728.77	c 1727s |      18 |   453463 |   365352 |   154007      3 |    14253 |    18903
1730.45/1731.05	c 1729s |      18 |   453832 |   365652 |   154007      3 |    14253 |    18903
1732.95/1733.57	c 1731s |      18 |   454173 |   365952 |   154007      3 |    14253 |    18903
1735.46/1736.05	c 1734s |      18 |   454529 |   366252 |   154007      3 |    14253 |    18903
1737.76/1738.30	c 1736s |      18 |   455035 |   366652 |   154007      3 |    14253 |    18903
1739.75/1740.32	c 1738s |      18 |   455488 |   367052 |   154007      3 |    14253 |    18903
1741.95/1742.52	c 1740s |      18 |   455955 |   367452 |   154007      3 |    14253 |    18903
1744.05/1744.64	c 1743s |      18 |   456411 |   367852 |   154007      3 |    14253 |    18903
1746.56/1747.12	c 1745s |      18 |   456872 |   368252 |   154007      3 |    14253 |    18903
1748.76/1749.32	c 1747s |      18 |   457360 |   368652 |   154007      3 |    14253 |    18903
1751.35/1751.93	c 1750s |      18 |   457837 |   369052 |   154007      3 |    14253 |    18903
1753.55/1754.11	c 1752s |      18 |   458191 |   369352 |   154007      3 |    14253 |    18903
1756.05/1756.66	c 1755s |      18 |   458706 |   369752 |   154007      3 |    14253 |    18903
1758.15/1758.76	c 1757s |      18 |   459189 |   370152 |   154007      3 |    14253 |    18903
1760.25/1760.84	c 1759s |      18 |   459675 |   370552 |   154007      3 |    14253 |    18903
1762.65/1763.23	c 1761s |      18 |   460128 |   370952 |   154007      3 |    14253 |    18903
1764.95/1765.52	c 1763s |      18 |   460583 |   371352 |   154007      3 |    14253 |    18903
1767.15/1767.78	c 1766s |      18 |   461047 |   371752 |   154007      3 |    14253 |    18903
1769.45/1770.08	c 1768s |      18 |   461509 |   372152 |   154007      3 |    14253 |    18903
1771.85/1772.47	c 1770s |      18 |   461953 |   372552 |   154007      3 |    14253 |    18903
1774.35/1774.97	c 1773s |      18 |   462431 |   372952 |   154007      3 |    14253 |    18903
1776.35/1776.98	c 1775s |      18 |   462810 |   373252 |   154007      3 |    14253 |    18903
1778.55/1779.18	c 1777s |      18 |   463259 |   373652 |   154007      3 |    14253 |    18903
1780.65/1781.25	c 1779s |      18 |   463619 |   373952 |   154007      3 |    14253 |    18903
1782.75/1783.39	c 1781s |      18 |   464086 |   374352 |   154007      3 |    14253 |    18903
1785.24/1785.81	c 1784s |      18 |   464557 |   374752 |   154007      3 |    14253 |    18903
1787.64/1788.22	c 1786s |      18 |   464902 |   375052 |   154007      3 |    14253 |    18903
1790.34/1790.99	c 1789s |      18 |   465253 |   375352 |   154007      3 |    14253 |    18903
1793.14/1793.73	c 1792s |      18 |   465621 |   375652 |   154007      3 |    14253 |    18903
1795.44/1796.05	c 1794s |      18 |   466001 |   375952 |   154007      3 |    14253 |    18903
1798.04/1798.63	c 1796s |      18 |   466362 |   376252 |   154007      3 |    14253 |    18903

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

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

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


[startup+0 s]
/proc/loadavg: 2.51 2.26 2.20 3/179 17608
/proc/meminfo: memFree=29269956/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 2770 0 0 0 0 0 0 0 20 0 4 0 109278585 758575104 2620 33554432000 4194304 16246674 140734621173616 140734621173040 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17608/statm: 185967 2630 441 2943 0 182861 0
[pid=17608/tid=17609] ppid=17605 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 777449472 2690 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 781643776 2706 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109278586 785838080 2722 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.51 2.26 2.20 3/179 17608
/proc/meminfo: memFree=29269956/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 27045 0 0 0 6 3 0 0 20 0 4 0 109278585 1333334016 26834 33554432000 4194304 16246674 140734621173616 140734621172928 12752373 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17608/statm: 325521 26849 800 2943 0 322415 0
[pid=17608/tid=17609] ppid=17605 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1333334016 26860 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1333334016 26871 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1333334016 26882 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.20055 s]
/proc/loadavg: 2.51 2.26 2.20 3/179 17608
/proc/meminfo: memFree=29269956/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 48220 0 0 0 14 5 0 0 20 0 4 0 109278585 1344868352 48519 33554432000 4194304 16246674 140734621173616 140734621172928 7439429 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17608/statm: 328337 48519 800 2943 0 325231 0
[pid=17608/tid=17609] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1344868352 48519 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1344868352 48519 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1344868352 48519 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300507 s]
/proc/loadavg: 2.51 2.26 2.20 3/179 17608
/proc/meminfo: memFree=29269956/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 54348 0 0 0 23 6 0 0 20 0 4 0 109278585 1344868352 54647 33554432000 4194304 16246674 140734621173616 140734621172928 13967847 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17608/statm: 328337 54647 800 2943 0 325231 0
[pid=17608/tid=17609] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1344868352 54647 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1344868352 54647 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1344868352 54647 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700434 s]
/proc/loadavg: 2.51 2.26 2.20 3/179 17608
/proc/meminfo: memFree=29269956/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 63644 0 0 0 61 8 0 0 20 0 4 0 109278585 1344868352 63943 33554432000 4194304 16246674 140734621173616 140734621172928 12369833 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 328337 63943 831 2943 0 325231 0
[pid=17608/tid=17609] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1344868352 63943 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1344868352 63943 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1344868352 63943 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50037 s]
/proc/loadavg: 2.51 2.26 2.20 3/183 17612
/proc/meminfo: memFree=28798536/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 192227 0 0 0 122 27 0 0 20 0 4 0 109278585 1344868352 192527 33554432000 4194304 16246674 140734621173616 140734621155520 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 328337 192537 846 2943 0 325231 0
[pid=17608/tid=17609] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1344868352 192542 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1344868352 192550 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1344868352 192559 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.51 2.26 2.20 3/183 17612
/proc/meminfo: memFree=28473904/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1327684 CPUtime=3.09 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 272136 0 0 0 270 39 0 0 20 0 4 0 109278585 1359548416 272435 33554432000 4194304 16246674 140734621173616 140734621155520 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 331921 272437 883 2943 0 328815 0
[pid=17608/tid=17609] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1359548416 272438 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272439 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272441 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1327684

[startup+6.30038 s]
/proc/loadavg: 2.47 2.26 2.20 3/182 17612
/proc/meminfo: memFree=28179712/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1327684 CPUtime=6.29 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 272599 0 0 0 590 39 0 0 20 0 4 0 109278585 1359548416 272898 33554432000 4194304 16246674 140734621173616 140734621155520 5823109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 331921 272898 891 2943 0 328815 0
[pid=17608/tid=17609] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1359548416 272898 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272898 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272898 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1327684

[startup+12.7004 s]
/proc/loadavg: 2.43 2.25 2.20 3/183 17613
/proc/meminfo: memFree=28180984/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1327684 CPUtime=12.69 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 272599 0 0 0 1230 39 0 0 20 0 4 0 109278585 1359548416 272898 33554432000 4194304 16246674 140734621173616 140734621155520 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 331921 272898 891 2943 0 328815 0
[pid=17608/tid=17609] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1359548416 272898 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272898 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272898 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1327684

[startup+25.5004 s]
/proc/loadavg: 2.34 2.24 2.19 3/183 17613
/proc/meminfo: memFree=28181536/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1327684 CPUtime=25.49 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 272599 0 0 0 2510 39 0 0 20 0 4 0 109278585 1359548416 272898 33554432000 4194304 16246674 140734621173616 140734621155520 5829313 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 331921 272898 891 2943 0 328815 0
[pid=17608/tid=17609] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1359548416 272898 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272898 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272898 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1327684

[startup+51.1004 s]
/proc/loadavg: 2.35 2.25 2.20 3/183 17613
/proc/meminfo: memFree=28181616/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1327684 CPUtime=51.08 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 272599 0 0 0 5069 39 0 0 20 0 4 0 109278585 1359548416 272898 33554432000 4194304 16246674 140734621173616 140734621155520 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 331921 272898 891 2943 0 328815 0
[pid=17608/tid=17609] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1359548416 272898 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272898 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272898 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1327684

[startup+102.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/183 17614
/proc/meminfo: memFree=28181388/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1327684 CPUtime=102.27 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 272600 0 0 0 10188 39 0 0 20 0 4 0 109278585 1359548416 272899 33554432000 4194304 16246674 140734621173616 140734621155520 5659404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 331921 272899 891 2943 0 328815 0
[pid=17608/tid=17609] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1359548416 272899 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272899 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1359548416 272899 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1327684


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

/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1396248576 282117 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1363524

[startup+1302.3 s]
/proc/loadavg: 2.35 2.24 2.19 4/183 17693
/proc/meminfo: memFree=28135216/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1363524 CPUtime=1301.84 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 281958 0 0 0 130138 46 0 0 20 0 4 0 109278585 1396248576 282117 33554432000 4194304 16246674 140734621173616 140734621155520 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 340881 282117 891 2943 0 337775 0
[pid=17608/tid=17609] ppid=17605 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1396248576 282117 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1396248576 282117 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1396248576 282117 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1363524

[startup+1362.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/183 17694
/proc/meminfo: memFree=28134784/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1363524 CPUtime=1361.8 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 281987 0 0 0 136134 46 0 0 20 0 4 0 109278585 1396248576 282117 33554432000 4194304 16246674 140734621173616 140734621155520 12415676 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 340881 282117 891 2943 0 337775 0
[pid=17608/tid=17609] ppid=17605 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1396248576 282117 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1396248576 282117 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1396248576 282117 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1363524

[startup+1422.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 17695
/proc/meminfo: memFree=28135596/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1363524 CPUtime=1421.8 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 281989 0 0 0 142133 47 0 0 20 0 4 0 109278585 1396248576 282117 33554432000 4194304 16246674 140734621173616 140734621155520 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 340881 282117 891 2943 0 337775 0
[pid=17608/tid=17609] ppid=17605 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1396248576 282117 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1396248576 282117 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1396248576 282117 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1363524

[startup+1482.3 s]
/proc/loadavg: 2.32 2.26 2.19 4/183 17696
/proc/meminfo: memFree=28125212/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1374788 CPUtime=1481.78 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 284564 0 0 0 148131 47 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140734621155520 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 343697 284692 891 2943 0 340591 0
[pid=17608/tid=17609] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1374788

[startup+1542.3 s]
/proc/loadavg: 2.36 2.27 2.20 3/184 17701
/proc/meminfo: memFree=28124740/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1374788 CPUtime=1541.78 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 284564 0 0 0 154130 48 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140734621155520 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 343697 284692 891 2943 0 340591 0
[pid=17608/tid=17609] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1374788

[startup+1602.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 17702
/proc/meminfo: memFree=28125216/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1374788 CPUtime=1601.77 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 284564 0 0 0 160129 48 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140734621155520 5823600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 343697 284692 891 2943 0 340591 0
[pid=17608/tid=17609] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1374788

[startup+1662.3 s]
/proc/loadavg: 2.33 2.28 2.20 4/183 17703
/proc/meminfo: memFree=28125496/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1374788 CPUtime=1661.76 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 284564 0 0 0 166128 48 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140734621155520 5522913 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 343697 284692 891 2943 0 340591 0
[pid=17608/tid=17609] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1374788

[startup+1722.3 s]
/proc/loadavg: 2.36 2.28 2.20 3/183 17704
/proc/meminfo: memFree=28125384/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1374788 CPUtime=1721.76 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 284564 0 0 0 172127 49 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140734621155520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 343697 284692 891 2943 0 340591 0
[pid=17608/tid=17609] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1374788

[startup+1782.31 s]
/proc/loadavg: 2.29 2.28 2.20 3/183 17705
/proc/meminfo: memFree=28124424/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1374788 CPUtime=1781.75 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 284564 0 0 0 178126 49 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140734621155520 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 343697 284692 891 2943 0 340591 0
[pid=17608/tid=17609] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1374788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.29 2.27 2.20 4/183 17705
/proc/meminfo: memFree=28124268/32872528 swapFree=17452/1581112
[pid=17608] ppid=17605 vsize=1374788 CPUtime=1800.04 cores=1,3,5,7
/proc/17608/stat : 17608 (toysat) R 17605 17608 13546 0 -1 4202496 284564 0 0 0 179955 49 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140734621155520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17608/statm: 343697 284692 891 2943 0 340591 0
[pid=17608/tid=17609] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17609/stat : 17609 (toysat) S 17605 17608 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109278585 1407782912 284692 33554432000 4194304 16246674 140734621173616 140132005948656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17608/tid=17610] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17610/stat : 17610 (toysat) S 17605 17608 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131995458800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17608/tid=17611] ppid=17605 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/17608/task/17611/stat : 17611 (toysat) S 17605 17608 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109278586 1407782912 284692 33554432000 4194304 16246674 140734621173616 140131984985264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1374788

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.56
CPU system time (s): 0.491925
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1374788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.491925
maximum resident set size= 1138768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284564
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= 454
involuntary context switches= 1865

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6052 second user time and 17.2624 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 06:24:26
IDJOB=4078821
IDBENCH=75548
IDSOLVER=2542
FILE ID=node139/4078821-1465273466
RUNJOBID= node139-1465254943-13563
PBS_JOBID= 19843273
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j90/normalized-j9045_1-sat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078821-1465273466/watcher-4078821-1465273466 -o /tmp/evaluation-result-4078821-1465273466/solver-4078821-1465273466 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078821-1465273466.opb

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

MD5SUM BENCH= d4d1ca36c8af6075d3c9b6c16eca4a6b
RANDOM SEED=45166875

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29270600 kB
Buffers:           61560 kB
Cached:           110988 kB
SwapCached:         1412 kB
Active:          1190232 kB
Inactive:          91636 kB
Active(anon):    1107920 kB
Inactive(anon):     3684 kB
Active(file):      82312 kB
Inactive(file):    87952 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099812 kB
Dirty:             19984 kB
Writeback:             0 kB
AnonPages:       2693520 kB
Mapped:            10748 kB
Shmem:                 0 kB
Slab:             599728 kB
SReclaimable:      42640 kB
SUnreclaim:       557088 kB
KernelStack:        1464 kB
PageTables:         9404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2832220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1579008 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= 71692 MiB
End job on node139 at 2016-06-07 06:54:27