Trace number 4116677

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T17:30:45+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-4116677-1466955045.opb"]
0.00/0.01	c use --random-gen="2300144755 3263811542 2066871821 1248888069 3878287590 631203123 3511755409 2697383810 1953969445 3826807301 2361425818 4088800815 2153719644 2924225090 2526340437 3125801445 2049014744 1829284283 3383856426 2516792452 1772437839 2599915989 2451942632 442972245 1634981765 2329794740 3761042117 3136655021 3449305064 3930617842 2007725677 2888896608 3960449234 187555942 2363954474 3425428662 105099422 225568327 3649690430 1222989289 1121055027 1659344549 1363706 545813122 53247823 3190549317 4210080622 670511470 3639599376 1831173239 3709638137 3269323194 3959281681 45605272 2659443583 2275082648 1502997284 266711698 773820627 2720308760 314280365 4053455963 434270495 1853020566 4253605645 2228852058 2560007860 2805526152 1900712069 3266900884 3072235013 1976631246 2330897713 3594324118 4132975571 2405934221 4259788807 1480278607 598989392 2109366547 1902835187 1460135350 1436749629 3219984056 3584701644 3983176169 838966183 3779718960 3171894614 633291795 2541037438 3230864977 2122254781 4225529366 3895079305 1538526635 2804831219 802218598 3683545745 2251067149 1818784133 320894296 473943294 3703413313 884672623 1280209289 1938896351 353479164 1973006489 830455441 2915235039 1168920307 624740308 3214969685 3210918262 912389135 1631880422 1863581375 98385696 691325294 2466635225 2368558646 580956274 1344186247 1694716813 3761181666 2369262375 4087193666 1210553505 3147238551 2260086086 827936160 2985979060 984500002 3204787453 11982244 474455066 1295597538 2715945231 465607703 61911219 2088122020 3660388085 4161160068 2502239222 1739955426 1964456968 376801128 1382473672 2968866128 2152266910 2471431652 1136037743 1968212381 341251473 1530832078 1174612793 4246423538 2462542448 4076079234 585261870 1991913509 2382558148 2846782974 2658738553 2043580189 2258915591 3377039356 1999361193 1057727567 2532492283 4231107469 4108499800 636095127 1625710515 99150302 4181776199 2650952464 3524624923 1574501301 3308373538 624337388 3900652961 3335285656 9838131 473156402 2092744189 2786348867 3300414285 2255649116 3296039717 446972482 2487034363 3278298040 4274382172 2707499535 1247725353 3190874196 368548329 1244332743 1805545091 2126675590 1630402429 3996001616 3166790675 1592850242 2363162172 1974185303 1345762034 3305664012 868549175 2536205448 14815255 2952205281 572598297 3877291918 4072040659 1175791625 2508104774 1731979967 3816268857 2861480164 2622064572 141598845 628471967 1916019974 3584351257 3848683723 113003611 726533931 1359065973 3375852837 653030290 3238691009 2520683212 4064794347 3574700726 1395604505 1827848591 1457072595 2190020797 352861481 3508917350 1283820758 4277458405 1147226177 4217556554 3735951464 4292516473 1177952147 3107599129 15143004 2985238008 1207063692 3256159698 3345195331 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8656
0.18/0.25	c Solving starts ...
0.18/0.25	c ============================[ Search Statistics ]============================
0.18/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.25	c =============================================================================
0.18/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      599 |        0
0.29/0.33	c  0.1s |       1 |      509 |      100 |     4234      0 |      599 |      276
0.39/0.44	c  0.2s |       2 |     2278 |      250 |     4658      0 |      599 |      276
0.49/0.58	c  0.3s |       3 |     3933 |      475 |     5124      0 |      599 |      276
0.79/0.80	c  0.5s |       4 |     5390 |      813 |     5637      0 |      599 |      276
1.10/1.19	c  0.9s |       5 |     9676 |     1320 |     6201      0 |      599 |      276
1.79/1.88	c  1.6s |       6 |    14035 |     2081 |     7505      0 |      600 |      276
2.69/2.70	c  2.5s |       7 |    19054 |     3223 |     8256      0 |      601 |      276
4.50/4.54	c  4.3s |       8 |    22992 |     4936 |     9082      0 |      601 |      276
6.60/6.61	c  6.4s |       8 |    28795 |     6736 |     9082      0 |      601 |      276
7.49/7.59	c  7.3s |       9 |    30206 |     7506 |     9991      0 |      601 |      276
9.58/9.68	c  9.4s |       9 |    37874 |     9806 |     9991      0 |      601 |      276
11.68/11.78	c 11.5s |       9 |    39574 |    11206 |     9991      0 |      601 |      276
11.88/11.99	c 11.7s |      10 |    39786 |    11361 |    10991      0 |      601 |      276
14.08/14.14	c 13.9s |      10 |    45480 |    13061 |    10991      0 |      601 |      276
16.08/16.18	c 15.9s |      10 |    46843 |    14261 |    10991      0 |      601 |      276
18.28/18.31	c 18.1s |      10 |    53165 |    16161 |    10991      1 |      601 |      276
19.68/19.78	c 19.5s |      11 |    54495 |    17144 |    12091      1 |      601 |      276
21.78/21.81	c 21.6s |      11 |    61005 |    19344 |    12091      1 |      601 |      276
23.78/23.89	c 23.6s |      11 |    63434 |    21044 |    12091      1 |      601 |      276
25.88/25.90	c 25.7s |      11 |    65218 |    22444 |    12091      1 |      601 |      276
27.98/28.04	c 27.8s |      11 |    66832 |    23744 |    12091      2 |      601 |      276
29.98/30.09	c 29.8s |      11 |    68261 |    24944 |    12091      2 |      601 |      276
31.58/31.64	c 31.4s |      12 |    69378 |    25819 |    13301      2 |      601 |      276
33.68/33.73	c 33.5s |      12 |    75622 |    27719 |    13301      2 |      601 |      276
35.78/35.85	c 35.6s |      12 |    77075 |    29019 |    13301      2 |      601 |      276
37.88/37.93	c 37.7s |      12 |    78441 |    30219 |    13301      2 |      601 |      276
39.98/40.06	c 39.8s |      12 |    79414 |    31119 |    13301      3 |      601 |      276
42.18/42.24	c 42.0s |      12 |    80430 |    32019 |    13301      3 |      601 |      276
44.18/44.24	c 44.0s |      12 |    81294 |    32819 |    13301      3 |      601 |      276
46.19/46.29	c 46.0s |      12 |    82800 |    34019 |    13301      3 |      601 |      276
48.28/48.34	c 48.1s |      12 |    84147 |    35119 |    13301      3 |      601 |      276
50.38/50.42	c 50.2s |      12 |    85526 |    36219 |    13301      3 |      601 |      276
52.48/52.56	c 52.3s |      12 |    87016 |    37419 |    13301      3 |      601 |      276
54.68/54.72	c 54.5s |      12 |    88569 |    38619 |    14632      3 |      601 |      276
55.09/55.19	c 54.9s |      13 |    88804 |    38832 |    14632      3 |      601 |      276
57.18/57.22	c 57.0s |      13 |    97483 |    41032 |    14632      4 |      601 |      276
59.18/59.26	c 59.0s |      13 |   108268 |    43632 |    14632      4 |      601 |      276
61.28/61.32	c 61.1s |      13 |   111881 |    45432 |    14632      4 |      601 |      276
63.28/63.38	c 63.1s |      13 |   114019 |    46832 |    14632      4 |      601 |      276
65.38/65.45	c 65.2s |      13 |   119508 |    48432 |    14632      5 |      601 |      276
67.48/67.56	c 67.3s |      13 |   123709 |    50332 |    14632      5 |      601 |      276
69.58/69.68	c 69.4s |      13 |   126056 |    51832 |    14632      5 |      601 |      276
71.88/71.93	c 71.7s |      13 |   127513 |    53032 |    14632      5 |      601 |      276
73.88/73.97	c 73.7s |      13 |   128579 |    53932 |    14632      5 |      601 |      276
76.08/76.16	c 75.9s |      13 |   129857 |    54932 |    14632      5 |      601 |      276
78.18/78.30	c 78.0s |      13 |   130958 |    55832 |    14632      5 |      601 |      276
80.28/80.33	c 80.1s |      13 |   132531 |    56832 |    14632      6 |      601 |      276
82.28/82.35	c 82.1s |      13 |   134058 |    58032 |    16096      6 |      601 |      276
82.88/82.96	c 82.7s |      14 |   134420 |    58352 |    16096      6 |      601 |      276
84.98/85.00	c 84.7s |      14 |   139701 |    60152 |    16096      6 |      601 |      276
87.08/87.14	c 86.9s |      14 |   142336 |    61652 |    16096      6 |      601 |      276
89.08/89.16	c 88.9s |      14 |   143971 |    62952 |    16096      6 |      601 |      276
91.18/91.26	c 91.0s |      14 |   145709 |    64352 |    16096      6 |      601 |      276
93.28/93.35	c 93.1s |      14 |   146803 |    65352 |    16096      6 |      601 |      276
95.37/95.41	c 95.2s |      14 |   148074 |    66452 |    16096      6 |      601 |      276
97.37/97.48	c 97.2s |      14 |   148829 |    67152 |    16096      7 |      601 |      276
99.57/99.64	c 99.4s |      14 |   149830 |    68052 |    16096      7 |      601 |      276
101.77/101.80	c  101s |      14 |   150833 |    68952 |    16096      7 |      601 |      276
103.97/104.02	c  103s |      14 |   152068 |    69952 |    16096      7 |      601 |      276
106.07/106.18	c  105s |      14 |   152943 |    70752 |    16096      7 |      601 |      276
108.27/108.36	c  108s |      14 |   153725 |    71452 |    16096      7 |      601 |      276
110.47/110.50	c  110s |      14 |   154664 |    72252 |    16096      7 |      601 |      276
112.47/112.54	c  112s |      14 |   155484 |    72952 |    16096      7 |      601 |      276
114.48/114.56	c  114s |      14 |   156246 |    73652 |    16096      7 |      601 |      276
116.58/116.68	c  116s |      14 |   157059 |    74352 |    16096      7 |      601 |      276
118.97/119.01	c  118s |      14 |   157862 |    75052 |    16096      7 |      601 |      276
121.08/121.11	c  120s |      14 |   158509 |    75652 |    16096      7 |      601 |      276
123.18/123.23	c  122s |      14 |   159199 |    76252 |    16096      7 |      601 |      276
125.68/125.79	c  125s |      14 |   160084 |    77052 |    16096      8 |      601 |      276
127.78/127.89	c  127s |      14 |   160961 |    77852 |    16096      8 |      601 |      276
129.87/129.92	c  129s |      14 |   161761 |    78552 |    16096      8 |      601 |      276
132.17/132.21	c  131s |      14 |   162573 |    79252 |    16096      8 |      601 |      276
134.37/134.48	c  134s |      14 |   163209 |    79852 |    16096      8 |      601 |      276
136.67/136.77	c  136s |      14 |   163860 |    80452 |    16096      8 |      601 |      276
138.97/139.07	c  138s |      14 |   164678 |    81152 |    16096      8 |      601 |      276
141.16/141.24	c  140s |      14 |   165332 |    81752 |    16096      8 |      601 |      276
143.27/143.31	c  143s |      14 |   165851 |    82252 |    16096      8 |      601 |      276
145.67/145.72	c  145s |      14 |   166603 |    82952 |    16096      8 |      601 |      276
147.87/147.93	c  147s |      14 |   167270 |    83552 |    16096      8 |      601 |      276
150.07/150.15	c  149s |      14 |   167901 |    84152 |    16096      8 |      601 |      276
152.37/152.44	c  152s |      14 |   168544 |    84752 |    16096      8 |      601 |      276
154.47/154.56	c  154s |      14 |   169162 |    85352 |    16096      8 |      601 |      276
156.57/156.65	c  156s |      14 |   169834 |    85952 |    16096      8 |      601 |      276
158.86/158.97	c  158s |      14 |   170554 |    86552 |    16096      9 |      601 |      276
160.96/161.05	c  160s |      14 |   171197 |    87152 |    17706      9 |      601 |      276
162.56/162.69	c  162s |      15 |   171742 |    87632 |    17706      9 |      601 |      276
164.66/164.79	c  164s |      15 |   175500 |    89532 |    17706      9 |      601 |      276
166.76/166.88	c  166s |      15 |   180225 |    91532 |    17706      9 |      601 |      276
168.86/168.91	c  168s |      15 |   182695 |    93232 |    17706      9 |      601 |      276
170.96/171.01	c  170s |      15 |   184195 |    94432 |    17706      9 |      601 |      276
173.16/173.21	c  172s |      15 |   185356 |    95432 |    17706      9 |      601 |      276
175.16/175.28	c  175s |      15 |   186813 |    96532 |    17706      9 |      601 |      276
177.17/177.29	c  177s |      15 |   188112 |    97532 |    17706      9 |      601 |      276
179.27/179.36	c  179s |      15 |   189094 |    98332 |    17706     10 |      601 |      276
181.36/181.43	c  181s |      15 |   190237 |    99232 |    17706     10 |      601 |      276
183.56/183.61	c  183s |      15 |   191346 |   100132 |    17706     10 |      601 |      276
185.76/185.83	c  185s |      15 |   192424 |   101032 |    17706     10 |      601 |      276
187.76/187.87	c  187s |      15 |   195993 |   102432 |    17706     10 |      601 |      276
189.96/190.04	c  189s |      15 |   197569 |   103732 |    17706     10 |      601 |      276
192.06/192.18	c  191s |      15 |   198922 |   104832 |    17706     10 |      601 |      276
194.26/194.32	c  194s |      15 |   201702 |   106232 |    17706     10 |      601 |      276
196.36/196.47	c  196s |      15 |   203477 |   107432 |    17706     10 |      601 |      276
198.85/198.92	c  198s |      15 |   204684 |   108432 |    17706     11 |      601 |      276
200.85/200.97	c  200s |      15 |   206304 |   109632 |    17706     11 |      601 |      276
203.06/203.10	c  202s |      15 |   207776 |   110732 |    17706     11 |      601 |      276
205.15/205.25	c  204s |      15 |   209139 |   111732 |    17706     11 |      601 |      276
207.26/207.32	c  207s |      15 |   210117 |   112532 |    17706     11 |      601 |      276
209.55/209.61	c  209s |      15 |   211044 |   113332 |    17706     11 |      601 |      276
211.55/211.67	c  211s |      15 |   212209 |   114232 |    17706     11 |      601 |      276
213.55/213.67	c  213s |      15 |   213004 |   114932 |    17706     11 |      601 |      276
215.56/215.68	c  215s |      15 |   214028 |   115732 |    17706     11 |      601 |      276
217.86/217.94	c  217s |      15 |   214991 |   116532 |    17706     11 |      601 |      276
220.06/220.15	c  219s |      15 |   215793 |   117232 |    17706     11 |      601 |      276
222.16/222.28	c  222s |      15 |   216442 |   117832 |    17706     11 |      601 |      276
224.46/224.52	c  224s |      15 |   217228 |   118532 |    17706     11 |      601 |      276
226.75/226.83	c  226s |      15 |   217899 |   119132 |    17706     12 |      601 |      276
228.95/229.07	c  228s |      15 |   218870 |   119932 |    17706     12 |      601 |      276
230.96/231.10	c  230s |      15 |   220118 |   120932 |    17706     12 |      601 |      276
233.26/233.39	c  233s |      15 |   221153 |   121832 |    17706     12 |      601 |      276
235.46/235.56	c  235s |      15 |   222064 |   122632 |    17706     12 |      601 |      276
237.56/237.61	c  237s |      15 |   223611 |   123632 |    17706     12 |      601 |      276
239.65/239.80	c  239s |      15 |   224745 |   124532 |    17706     12 |      601 |      276
241.75/241.86	c  241s |      15 |   226405 |   125432 |    17706     12 |      601 |      276
243.95/244.03	c  243s |      15 |   227738 |   126432 |    17706     12 |      601 |      276
245.95/246.04	c  245s |      15 |   229743 |   127632 |    17706     12 |      601 |      276
248.15/248.23	c  247s |      15 |   231114 |   128632 |    17706     12 |      601 |      276
250.15/250.28	c  250s |      15 |   232260 |   129532 |    17706     13 |      601 |      276
252.35/252.40	c  252s |      15 |   233803 |   130732 |    19477     13 |      601 |      276
253.95/254.02	c  253s |      16 |   234837 |   131552 |    19477     13 |      601 |      276
256.05/256.11	c  255s |      16 |   238367 |   133052 |    19477     13 |      601 |      276
258.15/258.24	c  257s |      16 |   240033 |   134452 |    19477     13 |      601 |      276
260.15/260.29	c  260s |      16 |   242057 |   135952 |    19477     13 |      601 |      276
262.25/262.37	c  262s |      16 |   243779 |   137352 |    19477     13 |      601 |      276
264.45/264.56	c  264s |      16 |   245341 |   138652 |    19477     13 |      601 |      276
266.55/266.63	c  266s |      16 |   246588 |   139752 |    19477     13 |      601 |      276
268.65/268.70	c  268s |      16 |   247838 |   140852 |    19477     13 |      601 |      276
270.65/270.77	c  270s |      16 |   250019 |   142052 |    19477     14 |      601 |      276
272.75/272.81	c  272s |      16 |   251221 |   143152 |    19477     14 |      601 |      276
274.85/274.91	c  274s |      16 |   252313 |   144152 |    19477     14 |      601 |      276
276.95/277.01	c  276s |      16 |   253355 |   145152 |    19477     14 |      601 |      276
279.15/279.21	c  278s |      16 |   254467 |   146152 |    19477     14 |      601 |      276
281.15/281.24	c  280s |      16 |   256380 |   147152 |    19477     14 |      601 |      276
283.25/283.38	c  283s |      16 |   260380 |   148852 |    19477     14 |      601 |      276
285.35/285.41	c  285s |      16 |   261818 |   149952 |    19477     14 |      601 |      276
287.35/287.49	c  287s |      16 |   262704 |   150752 |    19477     14 |      601 |      276
289.55/289.68	c  289s |      16 |   263746 |   151652 |    19477     14 |      601 |      276
291.65/291.71	c  291s |      16 |   264589 |   152352 |    19477     14 |      601 |      276
293.65/293.80	c  293s |      16 |   265336 |   153052 |    19477     15 |      601 |      276
295.75/295.84	c  295s |      16 |   266195 |   153852 |    19477     15 |      601 |      276
297.85/297.95	c  297s |      16 |   267177 |   154752 |    19477     15 |      601 |      276
299.95/300.00	c  299s |      16 |   268201 |   155652 |    19477     15 |      601 |      276
301.95/302.09	c  301s |      16 |   269672 |   156652 |    19477     15 |      601 |      276
304.15/304.28	c  304s |      16 |   270641 |   157552 |    19477     15 |      601 |      276
306.35/306.48	c  306s |      16 |   271517 |   158352 |    19477     15 |      601 |      276
308.45/308.50	c  308s |      16 |   272278 |   159052 |    19477     15 |      601 |      276
310.55/310.62	c  310s |      16 |   273071 |   159752 |    19477     15 |      601 |      276
312.64/312.72	c  312s |      16 |   273843 |   160452 |    19477     15 |      601 |      276
314.64/314.77	c  314s |      16 |   274642 |   161152 |    19477     15 |      601 |      276
316.94/317.04	c  316s |      16 |   275587 |   161852 |    19477     15 |      601 |      276
319.14/319.26	c  319s |      16 |   276442 |   162552 |    19477     15 |      601 |      276
321.44/321.52	c  321s |      16 |   277114 |   163152 |    19477     15 |      601 |      276
323.64/323.77	c  323s |      16 |   277838 |   163752 |    19477     15 |      601 |      276
325.94/326.05	c  325s |      16 |   278474 |   164252 |    19477     16 |      601 |      276
327.94/328.09	c  327s |      16 |   279300 |   164952 |    19477     16 |      601 |      276
330.24/330.34	c  330s |      16 |   280100 |   165652 |    19477     16 |      601 |      276
332.34/332.44	c  332s |      16 |   280792 |   166252 |    19477     16 |      601 |      276
334.64/334.70	c  334s |      16 |   281490 |   166852 |    19477     16 |      601 |      276
336.74/336.83	c  336s |      16 |   282201 |   167452 |    19477     16 |      601 |      276
338.94/339.07	c  338s |      16 |   282859 |   168052 |    19477     16 |      601 |      276
341.04/341.16	c  340s |      16 |   283515 |   168652 |    19477     16 |      601 |      276
343.14/343.23	c  342s |      16 |   284199 |   169252 |    19477     16 |      601 |      276
345.34/345.46	c  345s |      16 |   284759 |   169752 |    19477     16 |      601 |      276
347.34/347.47	c  347s |      16 |   285422 |   170252 |    19477     16 |      601 |      276
349.44/349.57	c  349s |      16 |   286265 |   170852 |    19477     16 |      601 |      276
351.64/351.74	c  351s |      16 |   287095 |   171552 |    19477     16 |      601 |      276
353.94/354.06	c  353s |      16 |   287910 |   172252 |    19477     16 |      601 |      276
356.04/356.14	c  355s |      16 |   288494 |   172752 |    19477     16 |      601 |      276
358.34/358.45	c  358s |      16 |   289331 |   173452 |    19477     16 |      601 |      276
360.43/360.57	c  360s |      16 |   290188 |   174152 |    19477     16 |      601 |      276
362.63/362.77	c  362s |      16 |   290965 |   174852 |    19477     16 |      601 |      276
365.14/365.20	c  364s |      16 |   291671 |   175452 |    19477     17 |      601 |      276
367.13/367.21	c  366s |      16 |   292438 |   176152 |    19477     17 |      601 |      276
369.33/369.45	c  369s |      16 |   293386 |   176952 |    19477     17 |      601 |      276
371.63/371.73	c  371s |      16 |   294175 |   177652 |    19477     17 |      601 |      276
373.83/373.93	c  373s |      16 |   295133 |   178452 |    19477     17 |      601 |      276
376.14/376.20	c  375s |      16 |   295915 |   179152 |    19477     17 |      601 |      276
378.34/378.49	c  378s |      16 |   296721 |   179852 |    19477     17 |      601 |      276
380.73/380.86	c  380s |      16 |   297539 |   180552 |    19477     17 |      601 |      276
383.03/383.12	c  382s |      16 |   298191 |   181152 |    19477     17 |      601 |      276
385.23/385.39	c  385s |      16 |   298873 |   181752 |    19477     17 |      601 |      276
387.43/387.53	c  387s |      16 |   299409 |   182252 |    19477     17 |      601 |      276
389.44/389.59	c  389s |      16 |   300121 |   182852 |    19477     17 |      601 |      276
391.73/391.82	c  391s |      16 |   300955 |   183552 |    19477     17 |      601 |      276
394.13/394.22	c  393s |      16 |   301735 |   184252 |    19477     17 |      601 |      276
396.43/396.60	c  396s |      16 |   302397 |   184852 |    19477     17 |      601 |      276
398.93/399.04	c  398s |      16 |   303030 |   185452 |    19477     17 |      601 |      276
401.13/401.23	c  400s |      16 |   303563 |   185952 |    19477     17 |      601 |      276
403.33/403.43	c  403s |      16 |   304337 |   186452 |    19477     18 |      601 |      276
405.33/405.45	c  405s |      16 |   306808 |   187752 |    19477     18 |      601 |      276
407.33/407.48	c  407s |      16 |   308239 |   188852 |    19477     18 |      601 |      276
409.53/409.64	c  409s |      16 |   309846 |   189852 |    19477     18 |      601 |      276
411.73/411.88	c  411s |      16 |   310734 |   190652 |    19477     18 |      601 |      276
413.83/413.98	c  413s |      16 |   311970 |   191552 |    19477     18 |      601 |      276
416.03/416.13	c  415s |      16 |   312844 |   192352 |    19477     18 |      601 |      276
418.03/418.16	c  417s |      16 |   313762 |   193152 |    19477     18 |      601 |      276
420.03/420.20	c  419s |      16 |   314647 |   193952 |    19477     18 |      601 |      276
422.13/422.28	c  422s |      16 |   315410 |   194652 |    19477     18 |      601 |      276
424.23/424.35	c  424s |      16 |   316171 |   195352 |    19477     18 |      601 |      276
426.53/426.66	c  426s |      16 |   316933 |   196052 |    19477     18 |      601 |      276
428.63/428.77	c  428s |      16 |   321717 |   197152 |    21425     18 |      601 |      276
429.04/429.17	c  428s |      17 |   323116 |   197432 |    21425     18 |      601 |      276
431.02/431.17	c  430s |      17 |   329431 |   198732 |    21425     19 |      601 |      276
433.22/433.31	c  433s |      17 |   331136 |   200032 |    21425     19 |      601 |      276
435.32/435.43	c  435s |      17 |   338437 |   202332 |    21425     19 |      601 |      276
437.42/437.54	c  437s |      17 |   340372 |   203732 |    21425     19 |      601 |      276
439.42/439.59	c  439s |      17 |   343132 |   205132 |    21425     19 |      601 |      276
441.52/441.61	c  441s |      17 |   345371 |   206332 |    21425     19 |      601 |      276
443.62/443.73	c  443s |      17 |   347045 |   207432 |    21425     19 |      601 |      276
445.72/445.86	c  445s |      17 |   348079 |   208332 |    21425     19 |      601 |      276
448.02/448.12	c  447s |      17 |   348947 |   209132 |    21425     19 |      601 |      276
450.02/450.13	c  449s |      17 |   349618 |   209732 |    21425     19 |      601 |      276
452.13/452.26	c  452s |      17 |   350345 |   210332 |    21425     19 |      601 |      276
454.72/454.80	c  454s |      17 |   351091 |   211032 |    21425     20 |      601 |      276
456.72/456.89	c  456s |      17 |   351773 |   211632 |    21425     20 |      601 |      276
458.82/458.93	c  458s |      17 |   352444 |   212232 |    21425     20 |      601 |      276
460.93/461.03	c  460s |      17 |   353140 |   212832 |    21425     20 |      601 |      276
462.92/463.07	c  462s |      17 |   353791 |   213432 |    21425     20 |      601 |      276
465.23/465.36	c  465s |      17 |   354557 |   214132 |    21425     20 |      601 |      276
467.32/467.44	c  467s |      17 |   355219 |   214732 |    21425     20 |      601 |      276
469.72/469.83	c  469s |      17 |   355882 |   215332 |    21425     20 |      601 |      276
471.72/471.86	c  471s |      17 |   356415 |   215832 |    21425     20 |      601 |      276
473.92/474.03	c  473s |      17 |   357112 |   216432 |    21425     20 |      601 |      276
476.32/476.41	c  476s |      17 |   357819 |   217032 |    21425     20 |      601 |      276
478.32/478.47	c  478s |      17 |   358347 |   217532 |    21425     20 |      601 |      276
480.52/480.69	c  480s |      17 |   359007 |   218132 |    21425     20 |      601 |      276
482.82/482.96	c  482s |      17 |   359665 |   218732 |    21425     20 |      601 |      276
485.03/485.20	c  484s |      17 |   360429 |   219332 |    21425     20 |      601 |      276
487.42/487.52	c  487s |      17 |   361092 |   219932 |    21425     20 |      601 |      276
489.82/489.92	c  489s |      17 |   361632 |   220432 |    21425     20 |      601 |      276
491.92/492.03	c  491s |      17 |   362212 |   220932 |    21425     20 |      601 |      276
493.93/494.07	c  493s |      17 |   362635 |   221332 |    21425     20 |      601 |      276
496.31/496.47	c  496s |      17 |   363174 |   221832 |    21425     20 |      601 |      276
498.32/498.48	c  498s |      17 |   363746 |   222332 |    21425     20 |      601 |      276
500.42/500.58	c  500s |      17 |   364309 |   222832 |    21425     20 |      601 |      276
503.02/503.19	c  502s |      17 |   364869 |   223332 |    21425     21 |      601 |      276
505.12/505.21	c  504s |      17 |   365523 |   223932 |    21425     21 |      601 |      276
507.22/507.39	c  507s |      17 |   366223 |   224532 |    21425     21 |      601 |      276
509.42/509.52	c  509s |      17 |   367083 |   225232 |    21425     21 |      601 |      276
511.62/511.74	c  511s |      17 |   368626 |   226332 |    21425     21 |      601 |      276
513.62/513.74	c  513s |      17 |   369489 |   227032 |    21425     21 |      601 |      276
515.82/515.97	c  515s |      17 |   370335 |   227732 |    21425     21 |      601 |      276
518.02/518.14	c  517s |      17 |   371215 |   228432 |    21425     21 |      601 |      276
520.11/520.27	c  520s |      17 |   372246 |   229232 |    21425     21 |      601 |      276
522.52/522.60	c  522s |      17 |   373047 |   229932 |    21425     21 |      601 |      276
524.81/524.96	c  524s |      17 |   373846 |   230632 |    21425     21 |      601 |      276
526.82/526.99	c  526s |      17 |   374528 |   231232 |    21425     21 |      601 |      276
529.12/529.24	c  528s |      17 |   375188 |   231832 |    21425     21 |      601 |      276
531.22/531.33	c  531s |      17 |   375748 |   232332 |    21425     21 |      601 |      276
533.60/533.77	c  533s |      17 |   376293 |   232832 |    21425     21 |      601 |      276
536.01/536.16	c  535s |      17 |   376836 |   233332 |    21425     21 |      601 |      276
538.21/538.37	c  538s |      17 |   377386 |   233832 |    21425     21 |      601 |      276
540.51/540.62	c  540s |      17 |   377918 |   234332 |    21425     21 |      601 |      276
542.51/542.66	c  542s |      17 |   378386 |   234732 |    21425     21 |      601 |      276
544.51/544.69	c  544s |      17 |   379060 |   235332 |    21425     21 |      601 |      276
546.61/546.76	c  546s |      17 |   379518 |   235732 |    21425     22 |      601 |      276
548.81/548.92	c  548s |      17 |   380191 |   236332 |    21425     22 |      601 |      276
550.91/551.09	c  550s |      17 |   380743 |   236832 |    21425     22 |      601 |      276
553.01/553.16	c  552s |      17 |   381289 |   237332 |    21425     22 |      601 |      276
555.11/555.20	c  554s |      17 |   381848 |   237832 |    21425     22 |      601 |      276
557.41/557.56	c  557s |      17 |   382394 |   238332 |    21425     22 |      601 |      276
559.71/559.84	c  559s |      17 |   382831 |   238732 |    21425     22 |      601 |      276
561.81/561.99	c  561s |      17 |   383260 |   239132 |    21425     22 |      601 |      276
563.91/564.03	c  563s |      17 |   383696 |   239532 |    21425     22 |      601 |      276
566.10/566.20	c  565s |      17 |   384241 |   240032 |    21425     22 |      601 |      276
568.10/568.23	c  567s |      17 |   384786 |   240532 |    21425     22 |      601 |      276
570.10/570.28	c  570s |      17 |   385212 |   240932 |    21425     22 |      601 |      276
572.51/572.62	c  572s |      17 |   385747 |   241432 |    21425     22 |      601 |      276
574.71/574.84	c  574s |      17 |   386303 |   241932 |    21425     22 |      601 |      276
577.01/577.14	c  576s |      17 |   386825 |   242432 |    21425     22 |      601 |      276
579.31/579.48	c  579s |      17 |   387377 |   242932 |    21425     22 |      601 |      276
581.61/581.76	c  581s |      17 |   387924 |   243432 |    21425     22 |      601 |      276
583.81/583.98	c  583s |      17 |   388762 |   244032 |    21425     22 |      601 |      276
586.10/586.25	c  585s |      17 |   389545 |   244732 |    21425     22 |      601 |      276
588.30/588.43	c  588s |      17 |   390221 |   245332 |    21425     22 |      601 |      276
590.40/590.59	c  590s |      17 |   390967 |   245932 |    21425     22 |      601 |      276
592.60/592.70	c  592s |      17 |   391530 |   246432 |    21425     22 |      601 |      276
594.70/594.83	c  594s |      17 |   392085 |   246932 |    21425     22 |      601 |      276
596.90/597.01	c  596s |      17 |   392749 |   247532 |    21425     22 |      601 |      276
599.20/599.35	c  599s |      17 |   393194 |   247932 |    21425     23 |      601 |      276
601.40/601.58	c  601s |      17 |   393854 |   248532 |    21425     23 |      601 |      276
603.50/603.68	c  603s |      17 |   394624 |   249232 |    21425     23 |      601 |      276
605.60/605.77	c  605s |      17 |   395398 |   249932 |    21425     23 |      601 |      276
607.90/608.01	c  607s |      17 |   396182 |   250632 |    21425     23 |      601 |      276
610.00/610.13	c  609s |      17 |   396841 |   251232 |    21425     23 |      601 |      276
612.00/612.15	c  611s |      17 |   397375 |   251732 |    21425     23 |      601 |      276
614.29/614.42	c  614s |      17 |   398382 |   252432 |    21425     23 |      601 |      276
616.49/616.67	c  616s |      17 |   399388 |   253232 |    21425     23 |      601 |      276
618.70/618.83	c  618s |      17 |   400637 |   254132 |    21425     23 |      601 |      276
620.70/620.85	c  620s |      17 |   401465 |   254832 |    21425     23 |      601 |      276
622.70/622.85	c  622s |      17 |   402153 |   255432 |    21425     23 |      601 |      276
624.90/625.04	c  624s |      17 |   402980 |   256132 |    21425     23 |      601 |      276
627.10/627.26	c  627s |      17 |   403817 |   256832 |    21425     23 |      601 |      276
629.40/629.57	c  629s |      17 |   404624 |   257532 |    21425     23 |      601 |      276
631.50/631.60	c  631s |      17 |   405285 |   258132 |    21425     23 |      601 |      276
633.60/633.74	c  633s |      17 |   405952 |   258732 |    21425     23 |      601 |      276
635.80/635.95	c  635s |      17 |   406796 |   259432 |    21425     23 |      601 |      276
638.10/638.24	c  637s |      17 |   407592 |   260132 |    21425     23 |      601 |      276
640.30/640.43	c  640s |      17 |   408301 |   260732 |    21425     24 |      601 |      276
642.40/642.56	c  642s |      17 |   409283 |   261532 |    21425     24 |      601 |      276
644.50/644.65	c  644s |      17 |   410002 |   262132 |    21425     24 |      601 |      276
646.70/646.82	c  646s |      17 |   410842 |   262832 |    21425     24 |      601 |      276
648.79/648.91	c  648s |      17 |   411665 |   263532 |    21425     24 |      601 |      276
650.99/651.17	c  650s |      17 |   412441 |   264232 |    21425     24 |      601 |      276
653.30/653.49	c  653s |      17 |   413234 |   264932 |    21425     24 |      601 |      276
655.69/655.85	c  655s |      17 |   413922 |   265532 |    21425     24 |      601 |      276
657.80/657.99	c  657s |      17 |   414575 |   266132 |    21425     24 |      601 |      276
660.18/660.35	c  660s |      17 |   415256 |   266732 |    21425     24 |      601 |      276
662.49/662.65	c  662s |      17 |   415912 |   267332 |    21425     24 |      601 |      276
664.59/664.76	c  664s |      17 |   416580 |   267932 |    21425     24 |      601 |      276
666.78/666.91	c  666s |      17 |   417122 |   268432 |    21425     24 |      601 |      276
668.80/668.93	c  668s |      17 |   417686 |   268932 |    21425     24 |      601 |      276
670.89/671.05	c  670s |      17 |   418246 |   269432 |    21425     24 |      601 |      276
673.19/673.39	c  673s |      17 |   419040 |   270132 |    21425     24 |      601 |      276
675.39/675.56	c  675s |      17 |   419781 |   270732 |    21425     24 |      601 |      276
677.89/678.02	c  677s |      17 |   420505 |   271332 |    21425     24 |      601 |      276
679.89/680.03	c  679s |      17 |   420980 |   271732 |    21425     24 |      601 |      276
681.99/682.16	c  681s |      17 |   421565 |   272232 |    21425     24 |      601 |      276
684.19/684.38	c  684s |      17 |   422169 |   272732 |    21425     25 |      601 |      276
686.29/686.47	c  686s |      17 |   422974 |   273432 |    21425     25 |      601 |      276
688.49/688.67	c  688s |      17 |   423626 |   274032 |    21425     25 |      601 |      276
690.79/690.91	c  690s |      17 |   424286 |   274632 |    21425     25 |      601 |      276
693.08/693.27	c  693s |      17 |   424946 |   275232 |    21425     25 |      601 |      276
695.38/695.56	c  695s |      17 |   425493 |   275732 |    21425     25 |      601 |      276
697.48/697.61	c  697s |      17 |   426033 |   276232 |    21425     25 |      601 |      276
699.59/699.76	c  699s |      17 |   426590 |   276732 |    21425     25 |      601 |      276
701.69/701.86	c  701s |      17 |   427138 |   277232 |    21425     25 |      601 |      276
704.08/704.25	c  703s |      17 |   427819 |   277832 |    21425     25 |      601 |      276
706.09/706.28	c  706s |      17 |   428248 |   278232 |    21425     25 |      601 |      276
708.29/708.42	c  708s |      17 |   428671 |   278632 |    21425     25 |      601 |      276
710.48/710.65	c  710s |      17 |   429408 |   279232 |    21425     25 |      601 |      276
712.58/712.76	c  712s |      17 |   429943 |   279732 |    21425     25 |      601 |      276
714.88/715.08	c  714s |      17 |   430642 |   280332 |    21425     25 |      601 |      276
716.98/717.12	c  716s |      17 |   431193 |   280832 |    21425     25 |      601 |      276
719.28/719.44	c  719s |      17 |   431714 |   281332 |    21425     25 |      601 |      276
721.49/721.62	c  721s |      17 |   432262 |   281832 |    21425     25 |      601 |      276
723.69/723.81	c  723s |      17 |   432681 |   282232 |    21425     25 |      601 |      276
725.68/725.86	c  725s |      17 |   433257 |   282732 |    21425     25 |      601 |      276
728.08/728.21	c  727s |      17 |   433808 |   283232 |    21425     25 |      601 |      276
730.28/730.42	c  730s |      17 |   434350 |   283732 |    21425     25 |      601 |      276
732.38/732.51	c  732s |      17 |   434777 |   284132 |    21425     25 |      601 |      276
734.78/734.99	c  734s |      17 |   435331 |   284632 |    21425     25 |      601 |      276
736.89/737.04	c  736s |      17 |   435649 |   284932 |    21425     26 |      601 |      276
739.28/739.46	c  739s |      17 |   436289 |   285532 |    21425     26 |      601 |      276
741.78/741.96	c  741s |      17 |   436818 |   286032 |    21425     26 |      601 |      276
743.88/744.03	c  743s |      17 |   437376 |   286532 |    21425     26 |      601 |      276
745.98/746.12	c  745s |      17 |   438065 |   287132 |    21425     26 |      601 |      276
748.08/748.20	c  747s |      17 |   438740 |   287732 |    21425     26 |      601 |      276
750.19/750.37	c  750s |      17 |   439410 |   288332 |    21425     26 |      601 |      276
752.38/752.56	c  752s |      17 |   440228 |   289032 |    21425     26 |      601 |      276
754.78/754.93	c  754s |      17 |   440985 |   289732 |    21425     26 |      601 |      276
756.78/756.93	c  756s |      17 |   441544 |   290232 |    21425     26 |      601 |      276
758.88/759.09	c  758s |      17 |   442209 |   290832 |    21425     26 |      601 |      276
761.18/761.38	c  761s |      17 |   442872 |   291432 |    21425     26 |      601 |      276
763.28/763.42	c  763s |      17 |   443412 |   291932 |    21425     26 |      601 |      276
765.28/765.44	c  765s |      17 |   443958 |   292432 |    21425     26 |      601 |      276
767.68/767.83	c  767s |      17 |   444626 |   293032 |    21425     26 |      601 |      276
769.68/769.83	c  769s |      17 |   445168 |   293532 |    21425     26 |      601 |      276
771.98/772.11	c  771s |      17 |   445706 |   294032 |    21425     26 |      601 |      276
774.08/774.23	c  773s |      17 |   446239 |   294532 |    23568     26 |      601 |      276
776.38/776.59	c  776s |      17 |   446775 |   295032 |    23568     26 |      601 |      276
778.68/778.86	c  778s |      17 |   447316 |   295532 |    23568     26 |      601 |      276
780.78/780.90	c  780s |      17 |   447745 |   295932 |    23568     26 |      601 |      276
782.38/782.52	c  782s |      18 |   448086 |   296252 |    23568     26 |      601 |      276
784.38/784.54	c  784s |      18 |   452478 |   297752 |    23568     26 |      601 |      276
786.97/787.12	c  786s |      18 |   454424 |   299252 |    23568     27 |      601 |      276
789.07/789.25	c  788s |      18 |   456193 |   300752 |    23568     27 |      601 |      276
791.17/791.34	c  791s |      18 |   457670 |   302052 |    23568     27 |      601 |      276
793.27/793.48	c  793s |      18 |   459015 |   303152 |    23568     27 |      601 |      276
795.47/795.66	c  795s |      18 |   460073 |   304052 |    23568     27 |      601 |      276
797.56/797.71	c  797s |      18 |   460966 |   304852 |    23568     27 |      601 |      276
799.76/799.90	c  799s |      18 |   461738 |   305552 |    23568     27 |      601 |      276
801.88/802.10	c  801s |      18 |   462377 |   306152 |    23568     27 |      601 |      276
803.97/804.12	c  803s |      18 |   463171 |   306852 |    23568     27 |      601 |      276
806.17/806.38	c  806s |      18 |   464180 |   307752 |    23568     27 |      601 |      276
808.37/808.56	c  808s |      18 |   465226 |   308652 |    23568     27 |      601 |      276
810.57/810.76	c  810s |      18 |   466480 |   309652 |    23568     27 |      601 |      276
812.77/812.93	c  812s |      18 |   467500 |   310552 |    23568     27 |      601 |      276
814.76/814.97	c  814s |      18 |   468405 |   311352 |    23568     27 |      601 |      276
816.86/817.01	c  816s |      18 |   469242 |   312052 |    23568     27 |      601 |      276
819.47/819.66	c  819s |      18 |   470035 |   312752 |    23568     28 |      601 |      276
821.57/821.74	c  821s |      18 |   471028 |   313552 |    23568     28 |      601 |      276
823.87/824.06	c  823s |      18 |   471973 |   314352 |    23568     28 |      601 |      276
826.07/826.30	c  826s |      18 |   472813 |   315052 |    23568     28 |      601 |      276
828.36/828.51	c  828s |      18 |   473798 |   315852 |    23568     28 |      601 |      276
830.47/830.65	c  830s |      18 |   475258 |   316852 |    23568     28 |      601 |      276
832.57/832.76	c  832s |      18 |   476166 |   317652 |    23568     28 |      601 |      276
834.77/834.92	c  834s |      18 |   477054 |   318452 |    23568     28 |      601 |      276
836.97/837.18	c  836s |      18 |   477979 |   319252 |    23568     28 |      601 |      276
839.27/839.44	c  839s |      18 |   479020 |   320152 |    23568     28 |      601 |      276
841.26/841.49	c  841s |      18 |   479843 |   320852 |    23568     28 |      601 |      276
843.46/843.69	c  843s |      18 |   480765 |   321652 |    23568     28 |      601 |      276
845.87/846.02	c  845s |      18 |   481701 |   322452 |    23568     28 |      601 |      276
847.97/848.20	c  847s |      18 |   482499 |   323152 |    23568     28 |      601 |      276
850.27/850.45	c  850s |      18 |   483260 |   323852 |    23568     28 |      601 |      276
852.47/852.61	c  852s |      18 |   484023 |   324552 |    23568     28 |      601 |      276
854.67/854.82	c  854s |      18 |   484809 |   325252 |    23568     28 |      601 |      276
856.65/856.89	c  856s |      18 |   485455 |   325852 |    23568     28 |      601 |      276
858.75/858.98	c  858s |      18 |   486031 |   326352 |    23568     29 |      601 |      276
860.85/861.08	c  860s |      18 |   486825 |   327052 |    23568     29 |      601 |      276
863.05/863.25	c  862s |      18 |   487675 |   327852 |    23568     29 |      601 |      276
865.15/865.36	c  865s |      18 |   488448 |   328552 |    23568     29 |      601 |      276
867.15/867.36	c  867s |      18 |   489086 |   329152 |    23568     29 |      601 |      276
869.45/869.62	c  869s |      18 |   489843 |   329852 |    23568     29 |      601 |      276
871.45/871.64	c  871s |      18 |   490510 |   330452 |    23568     29 |      601 |      276
873.65/873.84	c  873s |      18 |   491293 |   331152 |    23568     29 |      601 |      276
875.75/875.90	c  875s |      18 |   492113 |   331852 |    23568     29 |      601 |      276
877.76/877.92	c  877s |      18 |   498493 |   333352 |    23568     29 |      601 |      276
879.86/880.06	c  879s |      18 |   506044 |   335452 |    23568     29 |      601 |      276
882.35/882.51	c  882s |      18 |   511971 |   337252 |    23568     30 |      601 |      276
884.36/884.54	c  884s |      18 |   515063 |   338852 |    23568     30 |      601 |      276
886.45/886.67	c  886s |      18 |   516593 |   340052 |    23568     30 |      601 |      276
888.65/888.82	c  888s |      18 |   518152 |   341252 |    23568     30 |      601 |      276
890.65/890.89	c  890s |      18 |   519412 |   342252 |    23568     30 |      601 |      276
892.75/892.94	c  892s |      18 |   525034 |   344052 |    23568     30 |      601 |      276
894.84/895.03	c  894s |      18 |   527614 |   345552 |    23568     30 |      601 |      276
896.84/897.03	c  896s |      18 |   529196 |   346652 |    23568     30 |      601 |      276
898.84/899.05	c  898s |      18 |   530973 |   347752 |    23568     30 |      601 |      276
900.85/901.09	c  900s |      18 |   532832 |   348952 |    23568     30 |      601 |      276
902.95/903.16	c  902s |      18 |   534483 |   350052 |    23568     30 |      601 |      276
905.04/905.21	c  904s |      18 |   535711 |   350952 |    23568     30 |      601 |      276
907.14/907.30	c  907s |      18 |   536809 |   351752 |    23568     31 |      601 |      276
909.24/909.41	c  909s |      18 |   538600 |   352952 |    23568     31 |      601 |      276
911.44/911.64	c  911s |      18 |   539788 |   353852 |    23568     31 |      601 |      276
913.54/913.75	c  913s |      18 |   540803 |   354652 |    23568     31 |      601 |      276
915.73/915.95	c  915s |      18 |   542030 |   355552 |    23568     31 |      601 |      276
917.83/918.04	c  917s |      18 |   543057 |   356352 |    23568     31 |      601 |      276
920.03/920.20	c  919s |      18 |   544090 |   357152 |    23568     31 |      601 |      276
922.33/922.50	c  922s |      18 |   544934 |   357852 |    23568     31 |      601 |      276
924.33/924.52	c  924s |      18 |   545843 |   358552 |    23568     31 |      601 |      276
926.53/926.71	c  926s |      18 |   546707 |   359252 |    23568     31 |      601 |      276
928.53/928.72	c  928s |      18 |   547538 |   359952 |    23568     31 |      601 |      276
930.73/930.94	c  930s |      18 |   548615 |   360752 |    23568     31 |      601 |      276
932.93/933.16	c  932s |      18 |   550220 |   361652 |    23568     31 |      601 |      276
935.03/935.23	c  934s |      18 |   550980 |   362252 |    23568     31 |      601 |      276
937.03/937.30	c  937s |      18 |   551889 |   362952 |    23568     31 |      601 |      276
939.42/939.61	c  939s |      18 |   552478 |   363452 |    23568     31 |      601 |      276
941.53/941.72	c  941s |      18 |   553409 |   364152 |    23568     31 |      601 |      276
943.52/943.77	c  943s |      18 |   554152 |   364752 |    23568     31 |      601 |      276
945.62/945.83	c  945s |      18 |   554582 |   365152 |    23568     32 |      601 |      276
947.72/947.96	c  947s |      18 |   555273 |   365752 |    23568     32 |      601 |      276
949.93/950.19	c  949s |      18 |   555944 |   366352 |    23568     32 |      601 |      276
952.12/952.31	c  952s |      18 |   556683 |   366952 |    23568     32 |      601 |      276
954.12/954.39	c  954s |      18 |   560243 |   368452 |    23568     32 |      601 |      276
956.22/956.41	c  956s |      18 |   562569 |   369752 |    23568     32 |      601 |      276
958.22/958.47	c  958s |      18 |   565094 |   371052 |    23568     32 |      601 |      276
960.32/960.52	c  960s |      18 |   567809 |   372352 |    23568     32 |      601 |      276
962.43/962.60	c  962s |      18 |   570849 |   373652 |    23568     32 |      601 |      276
964.53/964.71	c  964s |      18 |   573231 |   374852 |    23568     32 |      601 |      276
966.62/966.84	c  966s |      18 |   575137 |   375952 |    23568     32 |      601 |      276
968.93/969.10	c  968s |      18 |   576724 |   377052 |    23568     32 |      601 |      276
971.02/971.30	c  971s |      18 |   577823 |   377952 |    23568     32 |      601 |      276
973.22/973.50	c  973s |      18 |   578658 |   378652 |    23568     33 |      601 |      276
975.53/975.71	c  975s |      18 |   579865 |   379652 |    23568     33 |      601 |      276
977.52/977.72	c  977s |      18 |   580990 |   380552 |    23568     33 |      601 |      276
979.62/979.88	c  979s |      18 |   582162 |   381452 |    23568     33 |      601 |      276
981.72/981.97	c  981s |      18 |   583109 |   382252 |    23568     33 |      601 |      276
983.92/984.15	c  983s |      18 |   584102 |   383052 |    23568     33 |      601 |      276
986.12/986.35	c  986s |      18 |   585119 |   383852 |    23568     33 |      601 |      276
988.31/988.50	c  988s |      18 |   585955 |   384552 |    23568     33 |      601 |      276
990.41/990.65	c  990s |      18 |   586810 |   385252 |    23568     33 |      601 |      276
992.61/992.87	c  992s |      18 |   587654 |   385952 |    23568     33 |      601 |      276
994.70/994.90	c  994s |      18 |   588361 |   386552 |    23568     33 |      601 |      276
996.80/997.00	c  996s |      18 |   588956 |   387052 |    23568     33 |      601 |      276
999.01/999.24	c  998s |      18 |   589677 |   387652 |    23568     33 |      601 |      276
1001.21/1001.46	c 1001s |      18 |   590384 |   388252 |    23568     33 |      601 |      276
1003.31/1003.50	c 1003s |      18 |   591114 |   388852 |    23568     33 |      601 |      276
1005.50/1005.77	c 1005s |      18 |   591818 |   389452 |    23568     33 |      601 |      276
1007.80/1008.03	c 1007s |      18 |   592543 |   390052 |    23568     33 |      601 |      276
1010.10/1010.31	c 1010s |      18 |   593261 |   390652 |    23568     33 |      601 |      276
1012.50/1012.73	c 1012s |      18 |   593948 |   391252 |    23568     33 |      601 |      276
1014.59/1014.82	c 1014s |      18 |   594511 |   391752 |    23568     33 |      601 |      276
1016.89/1017.11	c 1016s |      18 |   595211 |   392352 |    23568     34 |      601 |      276
1018.89/1019.17	c 1018s |      18 |   596061 |   393052 |    23568     34 |      601 |      276
1021.29/1021.52	c 1021s |      18 |   596883 |   393752 |    23568     34 |      601 |      276
1023.59/1023.85	c 1023s |      18 |   597623 |   394352 |    23568     34 |      601 |      276
1025.69/1025.96	c 1025s |      18 |   598321 |   394952 |    23568     34 |      601 |      276
1027.99/1028.23	c 1027s |      18 |   599199 |   395652 |    23568     34 |      601 |      276
1030.19/1030.44	c 1030s |      18 |   600026 |   396352 |    23568     34 |      601 |      276
1032.49/1032.73	c 1032s |      18 |   600912 |   397052 |    23568     34 |      601 |      276
1034.59/1034.84	c 1034s |      18 |   601651 |   397652 |    23568     34 |      601 |      276
1036.69/1036.96	c 1036s |      18 |   602356 |   398252 |    23568     34 |      601 |      276
1038.99/1039.22	c 1038s |      18 |   603046 |   398852 |    23568     34 |      601 |      276
1041.09/1041.31	c 1041s |      18 |   603781 |   399452 |    23568     34 |      601 |      276
1043.39/1043.63	c 1043s |      18 |   604475 |   400052 |    23568     34 |      601 |      276
1045.79/1046.03	c 1045s |      18 |   605178 |   400652 |    23568     34 |      601 |      276
1047.99/1048.25	c 1047s |      18 |   605756 |   401152 |    23568     34 |      601 |      276
1050.09/1050.32	c 1050s |      18 |   606340 |   401652 |    23568     34 |      601 |      276
1052.29/1052.51	c 1052s |      18 |   606913 |   402152 |    23568     34 |      601 |      276
1054.48/1054.76	c 1054s |      18 |   607600 |   402752 |    23568     34 |      601 |      276
1056.89/1057.12	c 1056s |      18 |   608306 |   403352 |    23568     34 |      601 |      276
1059.09/1059.33	c 1059s |      18 |   608863 |   403852 |    23568     34 |      601 |      276
1061.39/1061.69	c 1061s |      18 |   609590 |   404452 |    23568     34 |      601 |      276
1064.48/1064.72	c 1064s |      18 |   610281 |   405052 |    23568     35 |      601 |      276
1066.68/1066.94	c 1066s |      18 |   611081 |   405752 |    23568     35 |      601 |      276
1068.68/1068.95	c 1068s |      18 |   611759 |   406352 |    23568     35 |      601 |      276
1070.78/1071.06	c 1070s |      18 |   612438 |   406952 |    23568     35 |      601 |      276
1073.08/1073.31	c 1073s |      18 |   613251 |   407652 |    23568     35 |      601 |      276
1075.18/1075.48	c 1075s |      18 |   613910 |   408252 |    23568     35 |      601 |      276
1077.37/1077.63	c 1077s |      18 |   614567 |   408852 |    23568     35 |      601 |      276
1079.67/1079.91	c 1079s |      18 |   615245 |   409452 |    23568     35 |      601 |      276
1081.87/1082.11	c 1081s |      18 |   615915 |   410052 |    23568     35 |      601 |      276
1083.87/1084.14	c 1083s |      18 |   616487 |   410552 |    23568     35 |      601 |      276
1085.97/1086.26	c 1086s |      18 |   617033 |   411052 |    23568     35 |      601 |      276
1087.97/1088.27	c 1088s |      18 |   617577 |   411552 |    23568     35 |      601 |      276
1090.17/1090.45	c 1090s |      18 |   618118 |   412052 |    23568     35 |      601 |      276
1092.37/1092.68	c 1092s |      18 |   618677 |   412552 |    23568     35 |      601 |      276
1094.46/1094.72	c 1094s |      18 |   619251 |   413052 |    23568     35 |      601 |      276
1096.66/1096.90	c 1096s |      18 |   619945 |   413652 |    23568     35 |      601 |      276
1098.77/1099.06	c 1098s |      18 |   620659 |   414252 |    23568     35 |      601 |      276
1100.87/1101.13	c 1100s |      18 |   621359 |   414852 |    23568     35 |      601 |      276
1103.07/1103.32	c 1103s |      18 |   622054 |   415452 |    23568     35 |      601 |      276
1105.36/1105.62	c 1105s |      18 |   622771 |   416052 |    23568     35 |      601 |      276
1107.36/1107.67	c 1107s |      18 |   623324 |   416552 |    23568     35 |      601 |      276
1109.36/1109.68	c 1109s |      18 |   623899 |   417052 |    23568     35 |      601 |      276
1111.46/1111.79	c 1111s |      18 |   624452 |   417552 |    23568     35 |      601 |      276
1113.66/1113.92	c 1113s |      18 |   625001 |   418052 |    23568     35 |      601 |      276
1116.15/1116.45	c 1116s |      18 |   625440 |   418452 |    23568     36 |      601 |      276
1118.25/1118.52	c 1118s |      18 |   626125 |   419052 |    23568     36 |      601 |      276
1120.44/1120.78	c 1120s |      18 |   626800 |   419652 |    23568     36 |      601 |      276
1122.74/1123.08	c 1122s |      18 |   627471 |   420252 |    23568     36 |      601 |      276
1125.05/1125.36	c 1125s |      18 |   628210 |   420852 |    23568     36 |      601 |      276
1127.35/1127.62	c 1127s |      18 |   628997 |   421552 |    23568     36 |      601 |      276
1129.64/1129.96	c 1129s |      18 |   629795 |   422252 |    23568     36 |      601 |      276
1131.75/1132.01	c 1131s |      18 |   630486 |   422852 |    23568     36 |      601 |      276
1133.95/1134.25	c 1134s |      18 |   631154 |   423452 |    23568     36 |      601 |      276
1136.24/1136.57	c 1136s |      18 |   631812 |   424052 |    23568     36 |      601 |      276
1138.34/1138.66	c 1138s |      18 |   632352 |   424552 |    23568     36 |      601 |      276
1140.64/1140.99	c 1140s |      18 |   633071 |   425152 |    23568     36 |      601 |      276
1142.84/1143.10	c 1142s |      18 |   633620 |   425652 |    23568     36 |      601 |      276
1144.94/1145.25	c 1145s |      18 |   634171 |   426152 |    23568     36 |      601 |      276
1147.33/1147.67	c 1147s |      18 |   634715 |   426652 |    23568     36 |      601 |      276
1149.73/1150.06	c 1149s |      18 |   635266 |   427152 |    23568     36 |      601 |      276
1151.83/1152.10	c 1151s |      18 |   635724 |   427552 |    23568     36 |      601 |      276
1154.13/1154.49	c 1154s |      18 |   636278 |   428052 |    23568     36 |      601 |      276
1156.23/1156.57	c 1156s |      18 |   636861 |   428552 |    23568     36 |      601 |      276
1158.53/1158.87	c 1158s |      18 |   637454 |   429052 |    23568     36 |      601 |      276
1160.93/1161.20	c 1160s |      18 |   638037 |   429552 |    23568     36 |      601 |      276
1163.23/1163.55	c 1163s |      18 |   638610 |   430052 |    23568     36 |      601 |      276
1165.61/1165.91	c 1165s |      18 |   639188 |   430552 |    23568     36 |      601 |      276
1167.82/1168.16	c 1167s |      18 |   639758 |   431052 |    23568     36 |      601 |      276
1170.02/1170.33	c 1170s |      18 |   640213 |   431452 |    23568     36 |      601 |      276
1172.02/1172.37	c 1172s |      18 |   640555 |   431752 |    23568     37 |      601 |      276
1174.31/1174.65	c 1174s |      18 |   641252 |   432352 |    23568     37 |      601 |      276
1176.31/1176.66	c 1176s |      18 |   641817 |   432852 |    23568     37 |      601 |      276
1178.41/1178.78	c 1178s |      18 |   642560 |   433452 |    23568     37 |      601 |      276
1180.61/1180.99	c 1180s |      18 |   643246 |   434052 |    23568     37 |      601 |      276
1182.71/1183.01	c 1182s |      18 |   643962 |   434652 |    23568     37 |      601 |      276
1184.91/1185.21	c 1184s |      18 |   644642 |   435252 |    23568     37 |      601 |      276
1187.21/1187.55	c 1187s |      18 |   645329 |   435852 |    23568     37 |      601 |      276
1189.31/1189.64	c 1189s |      18 |   645896 |   436352 |    23568     37 |      601 |      276
1191.31/1191.67	c 1191s |      18 |   646497 |   436852 |    23568     37 |      601 |      276
1193.40/1193.77	c 1193s |      18 |   647079 |   437352 |    23568     37 |      601 |      276
1195.51/1195.84	c 1195s |      18 |   647645 |   437852 |    23568     37 |      601 |      276
1197.71/1198.04	c 1197s |      18 |   648198 |   438352 |    23568     37 |      601 |      276
1199.91/1200.22	c 1199s |      18 |   648782 |   438852 |    23568     37 |      601 |      276
1202.20/1202.51	c 1202s |      18 |   649336 |   439352 |    23568     37 |      601 |      276
1204.59/1204.90	c 1204s |      18 |   649894 |   439852 |    23568     37 |      601 |      276
1206.59/1206.91	c 1206s |      18 |   650343 |   440252 |    23568     37 |      601 |      276
1208.60/1208.91	c 1208s |      18 |   650772 |   440652 |    23568     37 |      601 |      276
1210.69/1211.07	c 1210s |      18 |   651204 |   441052 |    23568     37 |      601 |      276
1212.69/1213.07	c 1212s |      18 |   651633 |   441452 |    25925     37 |      601 |      276
1214.79/1215.14	c 1214s |      18 |   652095 |   441852 |    25925     37 |      601 |      276
1217.29/1217.60	c 1217s |      18 |   652624 |   442352 |    25925     37 |      601 |      276
1219.29/1219.62	c 1219s |      18 |   653228 |   442852 |    25925     37 |      601 |      276
1221.59/1221.91	c 1221s |      18 |   653796 |   443352 |    25925     37 |      601 |      276
1223.99/1224.39	c 1224s |      18 |   654340 |   443852 |    25925     37 |      601 |      276
1226.19/1226.56	c 1226s |      18 |   654805 |   444252 |    25925     37 |      601 |      276
1227.29/1227.61	c 1227s |      19 |   655057 |   444482 |    25925     37 |      601 |      276
1229.28/1229.68	c 1229s |      19 |   660774 |   445882 |    25925     37 |      601 |      276
1231.58/1231.94	c 1231s |      19 |   662912 |   447182 |    25925     38 |      601 |      276
1233.68/1234.04	c 1233s |      19 |   665576 |   448882 |    25925     38 |      601 |      276
1235.77/1236.12	c 1235s |      19 |   667270 |   450182 |    25925     38 |      601 |      276
1238.17/1238.52	c 1238s |      19 |   668573 |   451282 |    25925     38 |      601 |      276
1240.17/1240.56	c 1240s |      19 |   670693 |   452482 |    25925     38 |      601 |      276
1242.17/1242.58	c 1242s |      19 |   672280 |   453682 |    25925     38 |      601 |      276
1244.37/1244.78	c 1244s |      19 |   673530 |   454682 |    25925     38 |      601 |      276
1246.47/1246.85	c 1246s |      19 |   674293 |   455382 |    25925     38 |      601 |      276
1248.57/1248.92	c 1248s |      19 |   675343 |   456182 |    25925     38 |      601 |      276
1250.57/1250.95	c 1250s |      19 |   676560 |   457182 |    25925     38 |      601 |      276
1252.67/1253.02	c 1252s |      19 |   677769 |   458082 |    25925     38 |      601 |      276
1254.67/1255.03	c 1254s |      19 |   679003 |   458982 |    25925     38 |      601 |      276
1256.77/1257.10	c 1256s |      19 |   679962 |   459782 |    25925     38 |      601 |      276
1258.76/1259.13	c 1258s |      19 |   680770 |   460482 |    25925     38 |      601 |      276
1260.96/1261.39	c 1261s |      19 |   681437 |   461082 |    25925     38 |      601 |      276
1263.57/1264.00	c 1263s |      19 |   682185 |   461682 |    25925     39 |      601 |      276
1265.87/1266.22	c 1265s |      19 |   683514 |   462682 |    25925     39 |      601 |      276
1267.86/1268.28	c 1268s |      19 |   684463 |   463482 |    25925     39 |      601 |      276
1269.96/1270.32	c 1270s |      19 |   685347 |   464182 |    25925     39 |      601 |      276
1271.96/1272.33	c 1272s |      19 |   686036 |   464782 |    25925     39 |      601 |      276
1274.16/1274.59	c 1274s |      19 |   686855 |   465482 |    25925     39 |      601 |      276
1276.25/1276.63	c 1276s |      19 |   687626 |   466182 |    25925     39 |      601 |      276
1278.25/1278.65	c 1278s |      19 |   688688 |   466982 |    25925     39 |      601 |      276
1280.55/1280.94	c 1280s |      19 |   689555 |   467682 |    25925     39 |      601 |      276
1282.75/1283.12	c 1282s |      19 |   690262 |   468282 |    25925     39 |      601 |      276
1284.74/1285.14	c 1284s |      19 |   691281 |   468982 |    25925     39 |      601 |      276
1286.84/1287.21	c 1286s |      19 |   692149 |   469682 |    25925     39 |      601 |      276
1288.95/1289.37	c 1289s |      19 |   692991 |   470382 |    25925     39 |      601 |      276
1290.94/1291.40	c 1291s |      19 |   693694 |   470982 |    25925     39 |      601 |      276
1293.25/1293.66	c 1293s |      19 |   694509 |   471682 |    25925     39 |      601 |      276
1295.34/1295.75	c 1295s |      19 |   695208 |   472282 |    25925     39 |      601 |      276
1297.65/1298.01	c 1297s |      19 |   695873 |   472882 |    25925     39 |      601 |      276
1299.74/1300.15	c 1299s |      19 |   696444 |   473382 |    25925     39 |      601 |      276
1301.93/1302.35	c 1302s |      19 |   697139 |   473982 |    25925     39 |      601 |      276
1304.23/1304.66	c 1304s |      19 |   697807 |   474582 |    25925     39 |      601 |      276
1306.44/1306.85	c 1306s |      19 |   698385 |   475082 |    25925     39 |      601 |      276
1308.74/1309.17	c 1308s |      19 |   698939 |   475582 |    25925     39 |      601 |      276
1310.83/1311.28	c 1311s |      19 |   699509 |   476082 |    25925     39 |      601 |      276
1313.03/1313.42	c 1313s |      19 |   699944 |   476482 |    25925     40 |      601 |      276
1315.13/1315.57	c 1315s |      19 |   701063 |   477282 |    25925     40 |      601 |      276
1317.23/1317.69	c 1317s |      19 |   702098 |   478082 |    25925     40 |      601 |      276
1319.42/1319.88	c 1319s |      19 |   702928 |   478782 |    25925     40 |      601 |      276
1321.62/1322.04	c 1321s |      19 |   703793 |   479482 |    25925     40 |      601 |      276
1323.92/1324.35	c 1324s |      19 |   704777 |   480282 |    25925     40 |      601 |      276
1326.23/1326.62	c 1326s |      19 |   705573 |   480982 |    25925     40 |      601 |      276
1328.32/1328.75	c 1328s |      19 |   706269 |   481582 |    25925     40 |      601 |      276
1330.42/1330.83	c 1330s |      19 |   707038 |   482182 |    25925     40 |      601 |      276
1332.62/1333.01	c 1332s |      19 |   707704 |   482782 |    25925     40 |      601 |      276
1334.92/1335.33	c 1335s |      19 |   708353 |   483382 |    25925     40 |      601 |      276
1337.22/1337.61	c 1337s |      19 |   709060 |   483982 |    25925     40 |      601 |      276
1339.42/1339.89	c 1339s |      19 |   709587 |   484482 |    25925     40 |      601 |      276
1341.51/1341.92	c 1341s |      19 |   710180 |   484982 |    25925     40 |      601 |      276
1343.82/1344.29	c 1344s |      19 |   710868 |   485582 |    25925     40 |      601 |      276
1346.01/1346.43	c 1346s |      19 |   711505 |   486082 |    25925     40 |      601 |      276
1348.60/1349.00	c 1348s |      19 |   712201 |   486682 |    25925     40 |      601 |      276
1350.61/1351.05	c 1350s |      19 |   712748 |   487182 |    25925     40 |      601 |      276
1352.71/1353.16	c 1352s |      19 |   713302 |   487682 |    25925     40 |      601 |      276
1355.20/1355.60	c 1355s |      19 |   713836 |   488182 |    25925     40 |      601 |      276
1357.20/1357.61	c 1357s |      19 |   714462 |   488682 |    25925     40 |      601 |      276
1359.31/1359.79	c 1359s |      19 |   715029 |   489182 |    25925     40 |      601 |      276
1361.90/1362.35	c 1362s |      19 |   715460 |   489582 |    25925     40 |      601 |      276
1364.39/1364.82	c 1364s |      19 |   715906 |   489982 |    25925     40 |      601 |      276
1366.39/1366.87	c 1366s |      19 |   716230 |   490282 |    25925     40 |      601 |      276
1368.49/1368.95	c 1368s |      19 |   716679 |   490682 |    25925     40 |      601 |      276
1370.49/1370.98	c 1370s |      19 |   717031 |   490982 |    25925     41 |      601 |      276
1372.59/1373.02	c 1372s |      19 |   717473 |   491382 |    25925     41 |      601 |      276
1374.59/1375.05	c 1374s |      19 |   717912 |   491782 |    25925     41 |      601 |      276
1376.69/1377.17	c 1376s |      19 |   718329 |   492182 |    25925     41 |      601 |      276
1379.10/1379.50	c 1379s |      19 |   718887 |   492682 |    25925     41 |      601 |      276
1381.08/1381.53	c 1381s |      19 |   719418 |   493182 |    25925     41 |      601 |      276
1383.48/1383.96	c 1383s |      19 |   719986 |   493682 |    25925     41 |      601 |      276
1385.78/1386.28	c 1386s |      19 |   720508 |   494182 |    25925     41 |      601 |      276
1387.89/1388.35	c 1388s |      19 |   720954 |   494582 |    25925     41 |      601 |      276
1390.09/1390.51	c 1390s |      19 |   721484 |   495082 |    25925     41 |      601 |      276
1392.29/1392.77	c 1392s |      19 |   722023 |   495582 |    25925     41 |      601 |      276
1394.58/1395.03	c 1394s |      19 |   722579 |   496082 |    25925     41 |      601 |      276
1396.78/1397.26	c 1397s |      19 |   723130 |   496582 |    25925     41 |      601 |      276
1398.79/1399.27	c 1399s |      19 |   723568 |   496982 |    25925     41 |      601 |      276
1400.78/1401.29	c 1401s |      19 |   724024 |   497382 |    25925     41 |      601 |      276
1403.08/1403.56	c 1403s |      19 |   724575 |   497882 |    25925     41 |      601 |      276
1405.18/1405.61	c 1405s |      19 |   725012 |   498282 |    25925     41 |      601 |      276
1407.47/1407.93	c 1407s |      19 |   725548 |   498782 |    25925     41 |      601 |      276
1409.78/1410.21	c 1409s |      19 |   726104 |   499282 |    25925     41 |      601 |      276
1411.88/1412.37	c 1412s |      19 |   726547 |   499682 |    25925     41 |      601 |      276
1414.38/1414.82	c 1414s |      19 |   727080 |   500182 |    25925     41 |      601 |      276
1416.48/1416.91	c 1416s |      19 |   727508 |   500582 |    25925     41 |      601 |      276
1418.47/1418.95	c 1418s |      19 |   727961 |   500982 |    25925     41 |      601 |      276
1420.78/1421.21	c 1420s |      19 |   728387 |   501382 |    25925     41 |      601 |      276
1422.88/1423.34	c 1423s |      19 |   728824 |   501782 |    25925     41 |      601 |      276
1425.28/1425.74	c 1425s |      19 |   729252 |   502182 |    25925     41 |      601 |      276
1427.78/1428.23	c 1427s |      19 |   729677 |   502582 |    25925     41 |      601 |      276
1430.18/1430.61	c 1430s |      19 |   730107 |   502982 |    25925     41 |      601 |      276
1432.47/1432.96	c 1432s |      19 |   730538 |   503382 |    25925     41 |      601 |      276
1434.48/1434.99	c 1434s |      19 |   730985 |   503782 |    25925     41 |      601 |      276
1436.58/1437.08	c 1436s |      19 |   731429 |   504182 |    25925     41 |      601 |      276
1438.88/1439.36	c 1439s |      19 |   731849 |   504582 |    25925     41 |      601 |      276
1441.37/1441.86	c 1441s |      19 |   732285 |   504982 |    25925     41 |      601 |      276
1443.47/1443.96	c 1443s |      19 |   732599 |   505282 |    25925     41 |      601 |      276
1445.77/1446.29	c 1446s |      19 |   732912 |   505582 |    25925     42 |      601 |      276
1447.97/1448.49	c 1448s |      19 |   733341 |   505982 |    25925     42 |      601 |      276
1450.18/1450.62	c 1450s |      19 |   733874 |   506482 |    25925     42 |      601 |      276
1452.27/1452.78	c 1452s |      19 |   734412 |   506982 |    25925     42 |      601 |      276
1454.67/1455.13	c 1454s |      19 |   734944 |   507482 |    25925     42 |      601 |      276
1456.97/1457.46	c 1457s |      19 |   735459 |   507982 |    25925     42 |      601 |      276
1459.47/1459.93	c 1459s |      19 |   736006 |   508482 |    25925     42 |      601 |      276
1461.58/1462.01	c 1461s |      19 |   736431 |   508882 |    25925     42 |      601 |      276
1463.57/1464.04	c 1463s |      19 |   736870 |   509282 |    25925     42 |      601 |      276
1466.07/1466.57	c 1466s |      19 |   737406 |   509782 |    25925     42 |      601 |      276
1468.18/1468.69	c 1468s |      19 |   737828 |   510182 |    25925     42 |      601 |      276
1470.67/1471.11	c 1470s |      19 |   738266 |   510582 |    25925     42 |      601 |      276
1472.77/1473.27	c 1473s |      19 |   738689 |   510982 |    25925     42 |      601 |      276
1475.17/1475.69	c 1475s |      19 |   739113 |   511382 |    25925     42 |      601 |      276
1477.36/1477.80	c 1477s |      19 |   739554 |   511782 |    25925     42 |      601 |      276
1479.37/1479.86	c 1479s |      19 |   739974 |   512182 |    25925     42 |      601 |      276
1481.67/1482.16	c 1481s |      19 |   740416 |   512582 |    25925     42 |      601 |      276
1484.07/1484.59	c 1484s |      19 |   740841 |   512982 |    25925     42 |      601 |      276
1486.27/1486.76	c 1486s |      19 |   741264 |   513382 |    25925     42 |      601 |      276
1488.57/1489.02	c 1488s |      19 |   741848 |   513882 |    25925     42 |      601 |      276
1490.76/1491.26	c 1491s |      19 |   742404 |   514382 |    25925     42 |      601 |      276
1493.16/1493.65	c 1493s |      19 |   742948 |   514882 |    25925     42 |      601 |      276
1495.27/1495.70	c 1495s |      19 |   743379 |   515282 |    25925     42 |      601 |      276
1497.47/1498.00	c 1497s |      19 |   743802 |   515682 |    25925     42 |      601 |      276
1499.67/1500.13	c 1499s |      19 |   744257 |   516082 |    25925     42 |      601 |      276
1501.87/1502.36	c 1502s |      19 |   744704 |   516482 |    25925     42 |      601 |      276
1504.16/1504.61	c 1504s |      19 |   745140 |   516882 |    25925     42 |      601 |      276
1506.46/1506.94	c 1506s |      19 |   745568 |   517282 |    25925     42 |      601 |      276
1508.66/1509.17	c 1508s |      19 |   745997 |   517682 |    25925     42 |      601 |      276
1510.97/1511.43	c 1511s |      19 |   746442 |   518082 |    25925     42 |      601 |      276
1513.17/1513.65	c 1513s |      19 |   746875 |   518482 |    25925     42 |      601 |      276
1515.66/1516.13	c 1515s |      19 |   747296 |   518882 |    25925     42 |      601 |      276
1518.07/1518.59	c 1518s |      19 |   747730 |   519282 |    25925     42 |      601 |      276
1520.67/1521.14	c 1520s |      19 |   748157 |   519682 |    25925     42 |      601 |      276
1523.17/1523.63	c 1523s |      19 |   748484 |   519982 |    25925     43 |      601 |      276
1525.27/1525.76	c 1525s |      19 |   749038 |   520482 |    25925     43 |      601 |      276
1527.46/1527.97	c 1527s |      19 |   749586 |   520982 |    25925     43 |      601 |      276
1529.66/1530.15	c 1529s |      19 |   750129 |   521482 |    25925     43 |      601 |      276
1531.66/1532.17	c 1531s |      19 |   750565 |   521882 |    25925     43 |      601 |      276
1533.76/1534.29	c 1534s |      19 |   750994 |   522282 |    25925     43 |      601 |      276
1535.96/1536.44	c 1536s |      19 |   751434 |   522682 |    25925     43 |      601 |      276
1538.06/1538.51	c 1538s |      19 |   751920 |   523082 |    25925     43 |      601 |      276
1540.26/1540.71	c 1540s |      19 |   752614 |   523682 |    25925     43 |      601 |      276
1542.46/1542.98	c 1542s |      19 |   753167 |   524182 |    25925     43 |      601 |      276
1544.66/1545.16	c 1544s |      19 |   753592 |   524582 |    25925     43 |      601 |      276
1546.66/1547.17	c 1546s |      19 |   754028 |   524982 |    25925     43 |      601 |      276
1548.76/1549.28	c 1549s |      19 |   754582 |   525482 |    25925     43 |      601 |      276
1551.05/1551.55	c 1551s |      19 |   755022 |   525882 |    25925     43 |      601 |      276
1553.46/1553.96	c 1553s |      19 |   755442 |   526282 |    25925     43 |      601 |      276
1555.46/1555.97	c 1555s |      19 |   755867 |   526682 |    25925     43 |      601 |      276
1557.65/1558.17	c 1557s |      19 |   756279 |   527082 |    25925     43 |      601 |      276
1559.96/1560.45	c 1560s |      19 |   756697 |   527482 |    25925     43 |      601 |      276
1562.05/1562.59	c 1562s |      19 |   757129 |   527882 |    25925     43 |      601 |      276
1564.26/1564.77	c 1564s |      19 |   757563 |   528282 |    25925     43 |      601 |      276
1566.36/1566.80	c 1566s |      19 |   758006 |   528682 |    25925     43 |      601 |      276
1568.35/1568.87	c 1568s |      19 |   758431 |   529082 |    25925     43 |      601 |      276
1570.65/1571.14	c 1570s |      19 |   758885 |   529482 |    25925     43 |      601 |      276
1573.05/1573.54	c 1573s |      19 |   759318 |   529882 |    25925     43 |      601 |      276
1575.55/1576.07	c 1575s |      19 |   759745 |   530282 |    25925     43 |      601 |      276
1577.65/1578.17	c 1577s |      19 |   760067 |   530582 |    25925     43 |      601 |      276
1580.05/1580.51	c 1580s |      19 |   760497 |   530982 |    25925     43 |      601 |      276
1582.05/1582.53	c 1582s |      19 |   760820 |   531282 |    25925     43 |      601 |      276
1584.66/1585.10	c 1584s |      19 |   761237 |   531682 |    25925     43 |      601 |      276
1587.15/1587.65	c 1587s |      19 |   761663 |   532082 |    25925     43 |      601 |      276
1589.56/1590.02	c 1589s |      19 |   762089 |   532482 |    25925     43 |      601 |      276
1591.96/1592.47	c 1592s |      19 |   762529 |   532882 |    25925     43 |      601 |      276
1594.45/1594.91	c 1594s |      19 |   762966 |   533282 |    25925     43 |      601 |      276
1596.85/1597.36	c 1597s |      19 |   763388 |   533682 |    25925     43 |      601 |      276
1598.85/1599.37	c 1599s |      19 |   763702 |   533982 |    25925     43 |      601 |      276
1601.55/1602.05	c 1601s |      19 |   764043 |   534282 |    25925     44 |      601 |      276
1603.75/1604.25	c 1603s |      19 |   764476 |   534682 |    25925     44 |      601 |      276
1605.75/1606.28	c 1606s |      19 |   764901 |   535082 |    25925     44 |      601 |      276
1607.85/1608.33	c 1608s |      19 |   765352 |   535482 |    25925     44 |      601 |      276
1609.84/1610.34	c 1610s |      19 |   765781 |   535882 |    25925     44 |      601 |      276
1611.85/1612.39	c 1612s |      19 |   766325 |   536382 |    25925     44 |      601 |      276
1614.15/1614.61	c 1614s |      19 |   766887 |   536882 |    25925     44 |      601 |      276
1616.55/1617.02	c 1616s |      19 |   767422 |   537382 |    25925     44 |      601 |      276
1618.65/1619.20	c 1618s |      19 |   767852 |   537782 |    25925     44 |      601 |      276
1620.85/1621.34	c 1621s |      19 |   768289 |   538182 |    25925     44 |      601 |      276
1623.05/1623.54	c 1623s |      19 |   768710 |   538582 |    25925     44 |      601 |      276
1625.04/1625.56	c 1625s |      19 |   769148 |   538982 |    25925     44 |      601 |      276
1627.15/1627.63	c 1627s |      19 |   769579 |   539382 |    25925     44 |      601 |      276
1629.15/1629.67	c 1629s |      19 |   770008 |   539782 |    25925     44 |      601 |      276
1631.35/1631.85	c 1631s |      19 |   770435 |   540182 |    25925     44 |      601 |      276
1633.45/1633.96	c 1633s |      19 |   770887 |   540582 |    25925     44 |      601 |      276
1635.95/1636.45	c 1636s |      19 |   771460 |   541082 |    25925     44 |      601 |      276
1638.05/1638.58	c 1638s |      19 |   771908 |   541482 |    25925     44 |      601 |      276
1640.25/1640.75	c 1640s |      19 |   772335 |   541882 |    25925     44 |      601 |      276
1642.64/1643.15	c 1642s |      19 |   772867 |   542382 |    25925     44 |      601 |      276
1644.94/1645.48	c 1645s |      19 |   773293 |   542782 |    25925     44 |      601 |      276
1647.24/1647.76	c 1647s |      19 |   773709 |   543182 |    25925     44 |      601 |      276
1649.94/1650.41	c 1650s |      19 |   774115 |   543582 |    25925     44 |      601 |      276
1652.14/1652.62	c 1652s |      19 |   774561 |   543982 |    25925     44 |      601 |      276
1654.24/1654.79	c 1654s |      19 |   774983 |   544382 |    25925     44 |      601 |      276
1656.54/1657.00	c 1656s |      19 |   775408 |   544782 |    25925     44 |      601 |      276
1658.84/1659.37	c 1659s |      19 |   775831 |   545182 |    25925     44 |      601 |      276
1661.14/1661.61	c 1661s |      19 |   776250 |   545582 |    25925     44 |      601 |      276
1663.54/1664.03	c 1663s |      19 |   776680 |   545982 |    25925     44 |      601 |      276
1665.94/1666.48	c 1666s |      19 |   777095 |   546382 |    25925     44 |      601 |      276
1668.44/1668.94	c 1668s |      19 |   777519 |   546782 |    25925     44 |      601 |      276
1670.84/1671.36	c 1671s |      19 |   777935 |   547182 |    25925     44 |      601 |      276
1673.44/1673.98	c 1673s |      19 |   778357 |   547582 |    25925     44 |      601 |      276
1675.64/1676.18	c 1675s |      19 |   778783 |   547982 |    25925     44 |      601 |      276
1678.34/1678.83	c 1678s |      19 |   779210 |   548382 |    25925     44 |      601 |      276
1680.35/1680.83	c 1680s |      19 |   779534 |   548682 |    25925     44 |      601 |      276
1682.44/1682.96	c 1682s |      19 |   779747 |   548882 |    25925     45 |      601 |      276
1684.44/1684.99	c 1684s |      19 |   780167 |   549282 |    25925     45 |      601 |      276
1686.54/1687.01	c 1686s |      19 |   780609 |   549682 |    25925     45 |      601 |      276
1688.54/1689.03	c 1688s |      19 |   781030 |   550082 |    25925     45 |      601 |      276
1690.53/1691.09	c 1690s |      19 |   781444 |   550482 |    25925     45 |      601 |      276
1692.84/1693.33	c 1693s |      19 |   781876 |   550882 |    25925     45 |      601 |      276
1694.94/1695.45	c 1695s |      19 |   782486 |   551382 |    25925     45 |      601 |      276
1697.24/1697.71	c 1697s |      19 |   783577 |   552182 |    25925     45 |      601 |      276
1699.43/1699.91	c 1699s |      19 |   784406 |   552882 |    25925     45 |      601 |      276
1701.63/1702.10	c 1701s |      19 |   785176 |   553582 |    25925     45 |      601 |      276
1703.74/1704.25	c 1703s |      19 |   785865 |   554182 |    25925     45 |      601 |      276
1705.93/1706.41	c 1706s |      19 |   786552 |   554782 |    25925     45 |      601 |      276
1708.13/1708.60	c 1708s |      19 |   787216 |   555382 |    25925     45 |      601 |      276
1710.33/1710.87	c 1710s |      19 |   787885 |   555982 |    25925     45 |      601 |      276
1712.43/1712.91	c 1712s |      19 |   788572 |   556582 |    25925     45 |      601 |      276
1714.54/1715.06	c 1714s |      19 |   789157 |   557082 |    25925     45 |      601 |      276
1716.53/1717.08	c 1716s |      19 |   789717 |   557582 |    25925     45 |      601 |      276
1718.74/1719.26	c 1719s |      19 |   790406 |   558182 |    25925     45 |      601 |      276
1720.83/1721.35	c 1721s |      19 |   790963 |   558682 |    25925     45 |      601 |      276
1723.13/1723.67	c 1723s |      19 |   791503 |   559182 |    25925     45 |      601 |      276
1725.44/1725.91	c 1725s |      19 |   792094 |   559682 |    25925     45 |      601 |      276
1727.83/1728.34	c 1728s |      19 |   792646 |   560182 |    25925     45 |      601 |      276
1729.94/1730.42	c 1730s |      19 |   793239 |   560682 |    25925     45 |      601 |      276
1732.04/1732.59	c 1732s |      19 |   793848 |   561182 |    25925     45 |      601 |      276
1734.53/1735.00	c 1734s |      19 |   794454 |   561682 |    25925     45 |      601 |      276
1736.93/1737.50	c 1737s |      19 |   794988 |   562182 |    25925     45 |      601 |      276
1739.22/1739.78	c 1739s |      19 |   795601 |   562682 |    25925     45 |      601 |      276
1741.33/1741.84	c 1741s |      19 |   796030 |   562982 |    25925     46 |      601 |      276
1743.42/1743.98	c 1743s |      19 |   796939 |   563682 |    25925     46 |      601 |      276
1745.53/1746.07	c 1745s |      19 |   797829 |   564382 |    25925     46 |      601 |      276
1747.63/1748.13	c 1747s |      19 |   798542 |   564982 |    25925     46 |      601 |      276
1749.74/1750.26	c 1750s |      19 |   799206 |   565582 |    25925     46 |      601 |      276
1752.03/1752.53	c 1752s |      19 |   799920 |   566182 |    25925     46 |      601 |      276
1754.43/1754.92	c 1754s |      19 |   800608 |   566782 |    25925     46 |      601 |      276
1756.82/1757.35	c 1757s |      19 |   801283 |   567382 |    25925     46 |      601 |      276
1759.13/1759.61	c 1759s |      19 |   801837 |   567882 |    25925     46 |      601 |      276
1761.33/1761.81	c 1761s |      19 |   802397 |   568382 |    25925     46 |      601 |      276
1763.72/1764.21	c 1763s |      19 |   803105 |   568982 |    25925     46 |      601 |      276
1765.72/1766.29	c 1766s |      19 |   803661 |   569482 |    25925     46 |      601 |      276
1767.92/1768.47	c 1768s |      19 |   804221 |   569982 |    25925     46 |      601 |      276
1770.02/1770.53	c 1770s |      19 |   804647 |   570382 |    25925     46 |      601 |      276
1772.42/1772.97	c 1772s |      19 |   805245 |   570882 |    25925     46 |      601 |      276
1774.52/1775.09	c 1774s |      19 |   805818 |   571382 |    25925     46 |      601 |      276
1776.72/1777.23	c 1776s |      19 |   806399 |   571882 |    25925     46 |      601 |      276
1778.92/1779.49	c 1779s |      19 |   806964 |   572382 |    25925     46 |      601 |      276
1781.13/1781.61	c 1781s |      19 |   807577 |   572882 |    25925     46 |      601 |      276
1783.52/1784.01	c 1783s |      19 |   808136 |   573382 |    25925     46 |      601 |      276
1785.92/1786.44	c 1786s |      19 |   808708 |   573882 |    25925     46 |      601 |      276
1788.32/1788.81	c 1788s |      19 |   809263 |   574382 |    25925     46 |      601 |      276
1790.62/1791.12	c 1790s |      19 |   809733 |   574782 |    25925     46 |      601 |      276
1792.92/1793.46	c 1793s |      19 |   810290 |   575282 |    25925     46 |      601 |      276
1795.12/1795.64	c 1795s |      19 |   810854 |   575782 |    25925     46 |      601 |      276
1797.12/1797.68	c 1797s |      19 |   811301 |   576182 |    25925     46 |      601 |      276
1799.22/1799.73	c 1799s |      19 |   811816 |   576582 |    25925     46 |      601 |      276

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

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.22 2.17 3/180 23088
/proc/meminfo: memFree=29632944/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 2738 0 0 0 0 0 0 0 20 0 4 0 28544160 750186496 3098 33554432000 4194304 16246674 140734184817808 140734184817232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 183919 3106 441 2943 0 180813 0
[pid=23088/tid=23089] ppid=23085 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 768012288 3166 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 773255168 3185 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 777449472 3201 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.28 2.22 2.17 3/180 23088
/proc/meminfo: memFree=29632944/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 28275 0 0 0 4 5 0 0 20 0 4 0 28544160 1249447936 28573 33554432000 4194304 16246674 140734184817808 140734184816904 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 305041 28573 801 2943 0 301935 0
[pid=23088/tid=23089] ppid=23085 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1249447936 28573 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1249447936 28573 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1249447936 28573 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200518 s]
/proc/loadavg: 2.28 2.22 2.17 3/180 23088
/proc/meminfo: memFree=29632944/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1301060 CPUtime=0.18 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 48484 0 0 0 11 7 0 0 20 0 4 0 28544160 1332285440 48782 33554432000 4194304 16246674 140734184817808 140734184816904 12369699 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 325265 48782 842 2943 0 322159 0
[pid=23088/tid=23089] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 48782 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 48782 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 48782 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300477 s]
/proc/loadavg: 2.28 2.22 2.17 3/180 23088
/proc/meminfo: memFree=29632944/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 51037 0 0 0 20 9 0 0 20 0 4 0 28544160 1332285440 51335 33554432000 4194304 16246674 140734184817808 140734184816904 6021174 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 325265 51346 882 2943 0 322159 0
[pid=23088/tid=23089] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 51349 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 51354 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 51357 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700401 s]
/proc/loadavg: 2.28 2.22 2.17 3/180 23088
/proc/meminfo: memFree=29632944/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 102287 0 0 0 51 18 0 0 20 0 4 0 28544160 1332285440 102586 33554432000 4194304 16246674 140734184817808 140734184816904 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 325265 102602 882 2943 0 322159 0
[pid=23088/tid=23089] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 102607 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 102615 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 102619 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.26 2.21 2.17 3/184 23092
/proc/meminfo: memFree=29022644/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 204935 0 0 0 109 39 0 0 20 0 4 0 28544160 1332285440 205233 33554432000 4194304 16246674 140734184817808 140734184799680 6836249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 325265 205245 882 2943 0 322159 0
[pid=23088/tid=23089] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 205254 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 205258 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1332285440 205260 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10034 s]
/proc/loadavg: 2.26 2.21 2.17 3/184 23092
/proc/meminfo: memFree=28555280/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 269231 0 0 0 245 64 0 0 20 0 4 0 28544160 1343819776 269529 33554432000 4194304 16246674 140734184817808 140734184799680 12415804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 328081 269529 889 2943 0 324975 0
[pid=23088/tid=23089] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269529 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269529 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269529 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30035 s]
/proc/loadavg: 2.32 2.23 2.17 4/184 23092
/proc/meminfo: memFree=28555036/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 269270 0 0 0 533 96 0 0 20 0 4 0 28544160 1343819776 269568 33554432000 4194304 16246674 140734184817808 140734184799680 13927272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 328081 269568 889 2943 0 324975 0
[pid=23088/tid=23089] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269568 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269568 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269568 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.29 2.22 2.17 3/184 23092
/proc/meminfo: memFree=28555556/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1312324 CPUtime=12.68 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 269270 0 0 0 1109 159 0 0 20 0 4 0 28544160 1343819776 269568 33554432000 4194304 16246674 140734184817808 140734184799680 4221006 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 328081 269568 889 2943 0 324975 0
[pid=23088/tid=23089] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269568 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269568 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269568 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.33 2.23 2.18 3/183 23092
/proc/meminfo: memFree=28555532/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1312324 CPUtime=25.48 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 269273 0 0 0 2261 287 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140734184799680 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 328081 269571 892 2943 0 324975 0
[pid=23088/tid=23089] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.28 2.22 2.18 4/183 23092
/proc/meminfo: memFree=28555508/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 269273 0 0 0 4565 543 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140734184799680 5598737 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 328081 269571 892 2943 0 324975 0
[pid=23088/tid=23089] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.28 2.23 2.18 3/183 23094
/proc/meminfo: memFree=28555272/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 269273 0 0 0 9173 1055 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140734184799680 12483572 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 328081 269571 892 2943 0 324975 0
[pid=23088/tid=23089] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1343819776 269571 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 23174
/proc/meminfo: memFree=28546724/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1330756 CPUtime=1361.9 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 274199 0 0 0 122574 13616 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140734184799680 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 332689 274435 892 2943 0 329583 0
[pid=23088/tid=23089] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/183 23175
/proc/meminfo: memFree=28545996/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1330756 CPUtime=1421.89 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 274218 0 0 0 128005 14184 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140734184799680 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 332689 274435 892 2943 0 329583 0
[pid=23088/tid=23089] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.04 2.12 2.16 3/183 23176
/proc/meminfo: memFree=28545400/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1330756 CPUtime=1481.87 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 274218 0 0 0 133436 14751 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140734184799680 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 332689 274435 892 2943 0 329583 0
[pid=23088/tid=23089] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1330756

[startup+1542.31 s]
/proc/loadavg: 2.12 2.13 2.16 4/183 23177
/proc/meminfo: memFree=28545548/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1330756 CPUtime=1541.86 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 274218 0 0 0 138862 15324 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140734184799680 5599585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 332689 274435 892 2943 0 329583 0
[pid=23088/tid=23089] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.24 2.15 2.16 3/183 23179
/proc/meminfo: memFree=28545704/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1330756 CPUtime=1601.85 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 274218 0 0 0 144289 15896 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140734184799680 13191844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 332689 274435 892 2943 0 329583 0
[pid=23088/tid=23089] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.17 2.15 2.16 3/183 23180
/proc/meminfo: memFree=28545372/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1330756 CPUtime=1661.84 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 274218 0 0 0 149706 16478 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140734184799680 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 332689 274435 892 2943 0 329583 0
[pid=23088/tid=23089] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.22 2.16 2.16 3/183 23181
/proc/meminfo: memFree=28544908/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1330756 CPUtime=1721.83 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 274218 0 0 0 155127 17056 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140734184799680 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 332689 274435 892 2943 0 329583 0
[pid=23088/tid=23089] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1362694144 274435 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1330756

[startup+1782.3 s]
/proc/loadavg: 2.11 2.15 2.16 3/184 23185
/proc/meminfo: memFree=28530940/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1344068 CPUtime=1781.82 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 277546 0 0 0 160544 17638 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140734184799680 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 336017 277763 892 2943 0 332911 0
[pid=23088/tid=23089] ppid=23085 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1344068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.15 2.16 3/184 23185
/proc/meminfo: memFree=28531212/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1344068 CPUtime=1800.02 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 277546 0 0 0 162194 17808 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140734184799680 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 336017 277763 892 2943 0 332911 0
[pid=23088/tid=23089] ppid=23085 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1344068

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.15 2.16 3/184 23185
/proc/meminfo: memFree=28531212/32872528 swapFree=1085692/1157232
[pid=23088] ppid=23085 vsize=1344068 CPUtime=1800.02 cores=0,2,4,6
/proc/23088/stat : 23088 (toysat) R 23085 23088 21062 0 -1 4202496 277546 0 0 0 162194 17808 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140734184799680 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23088/statm: 336017 277763 892 2943 0 332911 0
[pid=23088/tid=23089] ppid=23085 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23089/stat : 23089 (toysat) S 23085 23088 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140098206149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23090] ppid=23085 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23090/stat : 23090 (toysat) S 23085 23088 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140098195660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23091] ppid=23085 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23091/stat : 23091 (toysat) S 23085 23088 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28544160 1376325632 277763 33554432000 4194304 16246674 140734184817808 140098075094192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1344068

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1621.94
CPU system time (s): 178.09
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1344068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1621.94
system time used= 178.09
maximum resident set size= 1111052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277546
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= 353
involuntary context switches= 1843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.03623 second user time and 7.12692 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 17:30:45
IDJOB=4116677
IDBENCH=109500
IDSOLVER=2542
FILE ID=node114/4116677-1466955045
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 5da3d2b0ef82a20c0504ed48aabb7dc1
RANDOM SEED=1093796545

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29633108 kB
Buffers:           22156 kB
Cached:           218852 kB
SwapCached:        38932 kB
Active:          1165504 kB
Inactive:         215464 kB
Active(anon):    1104188 kB
Inactive(anon):    37756 kB
Active(file):      61316 kB
Inactive(file):   177708 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061376 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       2356936 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             566656 kB
SReclaimable:      10792 kB
SUnreclaim:       555864 kB
KernelStack:        1528 kB
PageTables:         8520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2400756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node114 at 2016-06-26 18:00:46