Trace number 4098311

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.07 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_12.opb
MD5SUM88c077ef261c9c72be220a244f8093f6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5852
Total number of constraints28581
Number of constraints which are clauses28576
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint76
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 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 88
Number of bits of the biggest sum of numbers7
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-17T01:38:42+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-4098311-1466120322.opb"]
0.00/0.01	c use --random-gen="2105310556 4195679865 371723238 2919132760 4026432785 3867874652 2935959544 611874924 2913155538 2976351807 3483988699 986715682 2467682675 2465647221 375249751 3222433544 2720405108 3409529101 2686012636 1829030374 4215704696 463724861 729066113 2091123897 3781178711 2412205899 3483538985 3612397066 1418245128 4059422832 2614252301 514618706 3917786670 1331608184 172901744 2209814787 1746686023 947549549 2310490730 3265802323 83554494 669055378 332984858 2445689845 2335577956 2627237000 3078701771 147287395 1754221853 2869678360 1923350376 3506794001 1944254521 924397842 3866575121 2461187000 2951865014 3870991146 1226124229 1266516815 918576123 1827889359 3564513316 1536492267 30955744 2984541263 1901775736 3787328979 2893718025 1406939118 583177655 1775462759 1623688720 2165185501 478353636 2705166480 492529372 3468085368 2045453662 1205458937 3600439431 1270831571 3926926839 4164344426 3882773187 3795655638 2200325509 326338930 1306586595 546995787 1198751681 2482248814 4147556709 3580210949 3399424480 973620837 2001932909 877035670 2938933191 891045724 3357161485 1471017314 3013836903 3034961181 1680639229 2435138841 3170417261 4013290821 2089712131 1440989890 2809772198 469567303 1572715709 90602599 195954753 2750033652 3053213922 3759981030 880696518 3935683444 1222465987 1956624294 2234550500 563185288 2861133057 1298012653 3114235736 141763836 3520661680 58855787 1248546500 4095473357 1497071844 3785441267 1646498170 4076185200 3845206294 908667346 1237206910 338718663 3150764403 648339617 1160899633 2734106281 161465989 2092671852 1202172736 1393694360 847492412 1144405027 3368414865 2971501276 3828170569 3253056641 2308297723 3972636948 3637171123 129099970 1148855580 2055839192 321551611 3421760695 612578899 2270217676 742383038 1668918183 1064504336 2530586585 3873515571 2584517151 4255206559 3352316836 2602445693 2842922973 2705252581 3739894110 4126858247 3553802618 3358596018 1782653828 1102012277 449188804 1414044637 498362424 3998413762 196223374 3833445932 3877887292 2849103654 248865090 1313094363 2192394855 1096557826 812714379 2459731024 3066807569 3094513937 3351329210 3267014457 1734407525 2773821907 929541590 3899965000 2950412665 1481488074 2871267826 2536817374 3094942311 3210885287 38453740 1096381591 2020953160 1497576759 1156134704 501681329 1741813086 275246535 2313199975 1240513555 1261728802 1476010989 3666897107 3531864546 3982796704 3307204982 4287772123 1247614695 662609476 2931196343 207354022 2237946737 3116080961 503531324 3107804293 1241154576 1114347803 2156042251 2853028939 4205549643 1548387241 2857073249 3724549197 2378820676 2577021914 2795211492 2966049502 3871108314 1564096459 3116158184 3219707956 2468933805 2913904335 3083258200 1125231049 1233122955 3314008730 255 362436" option to reproduce the execution
0.68/0.74	c #vars 5852
0.68/0.74	c #constraints 28581
1.99/2.02	c Solving starts ...
1.99/2.02	c ============================[ Search Statistics ]============================
1.99/2.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.99/2.02	c       |         |          |          |    Limit     GC | Var      | Constra 
1.99/2.02	c =============================================================================
1.99/2.02	c  0.0s |       0 |        0 |        0 |    11476      0 |        5 |        0
2.50/2.52	c  0.5s |       1 |     1994 |      100 |    11476      0 |        5 |      664
3.09/3.13	c  1.1s |       2 |     4779 |      250 |    12624      0 |        5 |      664
3.79/3.87	c  1.8s |       3 |     8308 |      475 |    13887      0 |        5 |      664
4.99/5.08	c  3.1s |       4 |    13633 |      813 |    15276      0 |        5 |      664
6.69/6.73	c  4.7s |       5 |    17336 |     1320 |    16804      0 |        5 |      664
8.39/8.44	c  6.4s |       6 |    23356 |     2081 |    20334      0 |        5 |      664
10.69/10.71	c  8.7s |       6 |    28637 |     2681 |    20334      0 |        5 |      664
12.29/12.34	c 10.3s |       7 |    33544 |     3223 |    22368      0 |        5 |      664
14.49/14.56	c 12.5s |       7 |    37228 |     3823 |    22368      0 |        5 |      664
16.49/16.57	c 14.5s |       7 |    43980 |     4423 |    22368      0 |        5 |      664
18.59/18.62	c 16.6s |       7 |    51944 |     4923 |    24605      0 |        5 |      664
18.59/18.66	c 16.6s |       8 |    52219 |     4936 |    24605      0 |        5 |      664
20.89/20.96	c 18.9s |       8 |    58409 |     5436 |    24605      0 |        5 |      664
22.99/23.05	c 21.0s |       8 |    63336 |     6136 |    24605      0 |        5 |      664
25.19/25.22	c 23.2s |       8 |    70261 |     6936 |    24605      0 |        5 |      664
27.18/27.27	c 25.3s |       8 |    77832 |     7436 |    24605      0 |        5 |      664
27.48/27.57	c 25.5s |       9 |    79212 |     7506 |    27066      0 |        5 |      664
29.68/29.77	c 27.8s |       9 |    87313 |     8106 |    27066      0 |        5 |      664
31.78/31.85	c 29.8s |       9 |    94667 |     9006 |    27066      0 |        5 |      664
33.88/33.98	c 32.0s |       9 |   101537 |     9706 |    27066      0 |        5 |      664
36.28/36.30	c 34.3s |       9 |   106149 |    10506 |    27066      0 |        5 |      664
38.28/38.37	c 36.4s |       9 |   112911 |    11106 |    27066      0 |        5 |      664
39.28/39.33	c 37.3s |      10 |   116051 |    11361 |    29773      0 |        5 |      664
41.48/41.58	c 39.6s |      10 |   120200 |    11861 |    29773      0 |        5 |      664
43.68/43.70	c 41.7s |      10 |   125601 |    12361 |    29773      0 |        5 |      664
45.78/45.85	c 43.8s |      10 |   130684 |    13161 |    29773      0 |        5 |      664
47.98/48.06	c 46.0s |      10 |   136865 |    13761 |    29773      0 |        5 |      664
50.48/50.55	c 48.5s |      10 |   144539 |    14361 |    29773      0 |        5 |      664
52.48/52.59	c 50.6s |      10 |   150589 |    14861 |    29773      0 |        5 |      664
54.78/54.80	c 52.8s |      10 |   155879 |    15561 |    29773      0 |        5 |      664
57.08/57.12	c 55.1s |      10 |   162247 |    16261 |    29773      0 |        5 |      664
59.08/59.14	c 57.1s |      10 |   167466 |    16761 |    29773      0 |        5 |      664
59.98/60.03	c 58.0s |      11 |   170235 |    17144 |    32751      0 |        5 |      664
61.99/62.03	c 60.0s |      11 |   174186 |    17844 |    32751      0 |        5 |      664
64.38/64.41	c 62.4s |      11 |   182849 |    18444 |    32751      0 |        5 |      664
66.68/66.79	c 64.8s |      11 |   188904 |    18944 |    32751      0 |        5 |      664
68.78/68.80	c 66.8s |      11 |   194849 |    19644 |    32751      0 |        5 |      664
70.79/70.89	c 68.9s |      11 |   202012 |    20344 |    32751      0 |        5 |      664
73.18/73.29	c 71.3s |      11 |   209633 |    20944 |    32751      0 |        5 |      664
75.28/75.37	c 73.4s |      11 |   215287 |    21744 |    32751      0 |        5 |      664
77.38/77.44	c 75.4s |      11 |   222781 |    22344 |    32751      0 |        5 |      664
79.48/79.55	c 77.5s |      11 |   229897 |    22844 |    32751      0 |        5 |      664
81.58/81.65	c 79.6s |      11 |   235787 |    23344 |    32751      0 |        5 |      664
83.68/83.73	c 81.7s |      11 |   242073 |    24044 |    32751      0 |        5 |      664
85.88/85.97	c 83.9s |      11 |   249259 |    24744 |    32751      0 |        5 |      664
88.08/88.11	c 86.1s |      11 |   256529 |    25344 |    32751      0 |        5 |      664
88.78/88.81	c 86.8s |      12 |   262086 |    25819 |    36027      0 |        5 |      664
90.78/90.84	c 88.8s |      12 |   269508 |    26519 |    36027      0 |        5 |      664
93.07/93.10	c 91.1s |      12 |   276217 |    27019 |    36027      0 |        5 |      664
95.27/95.31	c 93.3s |      12 |   279336 |    27719 |    36027      0 |        5 |      664
97.37/97.49	c 95.5s |      12 |   283890 |    28319 |    36027      0 |        5 |      664
99.77/99.88	c 97.9s |      12 |   291693 |    28919 |    36027      0 |        5 |      664
102.07/102.13	c  100s |      12 |   297587 |    29419 |    36027      0 |        5 |      664
104.27/104.32	c  102s |      12 |   305783 |    30019 |    36027      0 |        5 |      664
106.47/106.52	c  104s |      12 |   315924 |    30919 |    36027      0 |        5 |      664
108.57/108.66	c  106s |      12 |   323392 |    31719 |    36027      0 |        5 |      664
110.77/110.88	c  108s |      12 |   332657 |    32519 |    36027      0 |        5 |      664
112.97/113.04	c  111s |      12 |   339882 |    33119 |    36027      0 |        5 |      664
115.07/115.18	c  113s |      12 |   346065 |    33919 |    36027      0 |        5 |      664
117.27/117.37	c  115s |      12 |   353060 |    34519 |    36027      0 |        5 |      664
119.47/119.52	c  117s |      12 |   358409 |    35119 |    36027      0 |        5 |      664
121.57/121.69	c  119s |      12 |   363045 |    35819 |    36027      0 |        5 |      664
123.77/123.83	c  121s |      12 |   371289 |    36419 |    36027      0 |        5 |      664
125.87/125.91	c  123s |      12 |   374682 |    37119 |    36027      0 |        5 |      664
128.17/128.24	c  126s |      12 |   379180 |    37519 |    36027      1 |        5 |      664
130.17/130.29	c  128s |      12 |   384621 |    38219 |    36027      1 |        5 |      664
132.27/132.35	c  130s |      12 |   390745 |    38819 |    39630      1 |        5 |      664
132.37/132.40	c  130s |      13 |   390863 |    38832 |    39630      1 |        5 |      664
134.37/134.44	c  132s |      13 |   400270 |    39732 |    39630      1 |        5 |      664
136.47/136.58	c  134s |      13 |   406389 |    40332 |    39630      1 |        5 |      664
138.66/138.76	c  136s |      13 |   415039 |    41332 |    39630      1 |        5 |      664
140.76/140.82	c  138s |      13 |   419774 |    42032 |    39630      1 |        5 |      664
142.86/142.91	c  140s |      13 |   428783 |    43032 |    39630      1 |        5 |      664
144.96/145.00	c  142s |      13 |   437548 |    43932 |    39630      1 |        5 |      664
146.96/147.09	c  145s |      13 |   446603 |    45032 |    39630      1 |        5 |      664
149.26/149.30	c  147s |      13 |   452104 |    45832 |    39630      1 |        5 |      664
151.26/151.39	c  149s |      13 |   461675 |    47032 |    39630      1 |        5 |      664
153.36/153.41	c  151s |      13 |   468318 |    48032 |    39630      1 |        5 |      664
155.37/155.44	c  153s |      13 |   473185 |    48932 |    39630      1 |        5 |      664
157.36/157.44	c  155s |      13 |   478675 |    49932 |    39630      1 |        5 |      664
159.46/159.52	c  157s |      13 |   484765 |    51132 |    39630      1 |        5 |      664
161.56/161.62	c  159s |      13 |   489319 |    52532 |    39630      1 |        5 |      664
164.07/164.18	c  162s |      13 |   491902 |    53032 |    39630      1 |        5 |      664
166.17/166.21	c  164s |      13 |   497697 |    53432 |    39630      1 |        5 |      664
168.17/168.22	c  166s |      13 |   503026 |    54132 |    39630      1 |        5 |      664
170.47/170.53	c  168s |      13 |   511751 |    54732 |    39630      1 |        5 |      664
172.77/172.88	c  170s |      13 |   519879 |    55232 |    39630      1 |        5 |      664
174.87/174.98	c  172s |      13 |   525321 |    55932 |    39630      1 |        5 |      664
177.17/177.23	c  175s |      13 |   532478 |    56532 |    39630      1 |        5 |      664
179.47/179.53	c  177s |      13 |   537566 |    57132 |    39630      1 |        5 |      664
181.57/181.68	c  179s |      13 |   542000 |    57832 |    39630      1 |        5 |      664
183.37/183.45	c  181s |      14 |   547758 |    58352 |    43593      1 |        5 |      664
185.66/185.74	c  183s |      14 |   552512 |    58852 |    43593      1 |        5 |      664
187.96/188.01	c  185s |      14 |   556549 |    59552 |    43593      1 |        5 |      664
190.26/190.35	c  188s |      14 |   563682 |    60052 |    43593      1 |        5 |      664
192.36/192.49	c  190s |      14 |   571356 |    60852 |    43593      1 |        5 |      664
194.56/194.66	c  192s |      14 |   579744 |    61452 |    43593      1 |        5 |      664
196.86/196.94	c  194s |      14 |   585983 |    61952 |    43593      1 |        5 |      664
198.96/199.04	c  197s |      14 |   595381 |    62952 |    43593      1 |        5 |      664
201.06/201.10	c  199s |      14 |   596996 |    63152 |    43593      2 |        5 |      664
203.06/203.15	c  201s |      14 |   601878 |    63752 |    43593      2 |        5 |      664
205.36/205.49	c  203s |      14 |   608350 |    64552 |    43593      2 |        5 |      664
207.56/207.65	c  205s |      14 |   616344 |    65152 |    43593      2 |        5 |      664
209.86/209.92	c  207s |      14 |   624962 |    66152 |    43593      2 |        5 |      664
211.86/211.97	c  209s |      14 |   634255 |    66752 |    43593      2 |        5 |      664
214.16/214.24	c  212s |      14 |   643775 |    67752 |    43593      2 |        5 |      664
216.26/216.38	c  214s |      14 |   648898 |    68552 |    43593      2 |        5 |      664
218.56/218.68	c  216s |      14 |   657151 |    69252 |    43593      2 |        5 |      664
220.66/220.77	c  218s |      14 |   663983 |    70152 |    43593      2 |        5 |      664
222.76/222.86	c  220s |      14 |   669585 |    70852 |    43593      2 |        5 |      664
225.05/225.15	c  223s |      14 |   677708 |    71752 |    43593      2 |        5 |      664
227.15/227.21	c  225s |      14 |   683627 |    72552 |    43593      2 |        5 |      664
229.35/229.44	c  227s |      14 |   693286 |    73552 |    43593      2 |        5 |      664
231.55/231.66	c  229s |      14 |   699458 |    74452 |    43593      2 |        5 |      664
233.75/233.84	c  231s |      14 |   706391 |    75352 |    43593      2 |        5 |      664
235.85/235.91	c  233s |      14 |   712962 |    76352 |    43593      2 |        5 |      664
237.96/238.04	c  236s |      14 |   720337 |    77352 |    43593      2 |        5 |      664
240.16/240.23	c  238s |      14 |   726614 |    78352 |    43593      2 |        5 |      664
242.26/242.36	c  240s |      14 |   734627 |    79652 |    43593      2 |        5 |      664
244.46/244.55	c  242s |      14 |   740581 |    80952 |    43593      2 |        5 |      664
246.45/246.55	c  244s |      14 |   744409 |    82052 |    43593      2 |        5 |      664
248.65/248.71	c  246s |      14 |   750391 |    82752 |    43593      2 |        5 |      664
250.65/250.72	c  248s |      14 |   756443 |    83252 |    43593      2 |        5 |      664
252.85/252.93	c  250s |      14 |   762425 |    84052 |    43593      2 |        5 |      664
254.85/254.96	c  252s |      14 |   770927 |    84552 |    43593      2 |        5 |      664
256.95/257.06	c  255s |      14 |   777712 |    85152 |    43593      2 |        5 |      664
259.55/259.60	c  257s |      14 |   783572 |    85852 |    43593      3 |        5 |      664
261.65/261.70	c  259s |      14 |   790310 |    86552 |    43593      3 |        5 |      664
263.75/263.82	c  261s |      14 |   798559 |    87352 |    47953      3 |        5 |      664
264.15/264.21	c  262s |      15 |   799945 |    87632 |    47953      3 |        5 |      664
266.15/266.29	c  264s |      15 |   807617 |    88232 |    47953      3 |        5 |      664
268.25/268.31	c  266s |      15 |   813523 |    88832 |    47953      3 |        5 |      664
270.25/270.35	c  268s |      15 |   820284 |    89732 |    47953      3 |        5 |      664
272.55/272.64	c  270s |      15 |   826967 |    90532 |    47953      3 |        5 |      664
274.75/274.85	c  272s |      15 |   833942 |    91132 |    47953      3 |        5 |      664
276.94/277.06	c  275s |      15 |   842328 |    91932 |    47953      3 |        5 |      664
278.94/279.09	c  277s |      15 |   849124 |    92432 |    47953      3 |        5 |      664
281.14/281.24	c  279s |      15 |   855007 |    93032 |    47953      3 |        5 |      664
283.44/283.59	c  281s |      15 |   863325 |    93932 |    47953      3 |        5 |      664
285.64/285.74	c  283s |      15 |   869454 |    94732 |    47953      3 |        5 |      664
287.74/287.80	c  285s |      15 |   877266 |    95432 |    47953      3 |        5 |      664
289.74/289.83	c  287s |      15 |   882796 |    96332 |    47953      3 |        5 |      664
291.94/292.01	c  289s |      15 |   889418 |    97032 |    47953      3 |        5 |      664
294.14/294.23	c  292s |      15 |   894734 |    97832 |    47953      3 |        5 |      664
296.25/296.39	c  294s |      15 |   900683 |    98632 |    47953      3 |        5 |      664
298.45/298.55	c  296s |      15 |   907128 |    99632 |    47953      3 |        5 |      664
300.65/300.77	c  298s |      15 |   912758 |   100432 |    47953      3 |        5 |      664
302.75/302.88	c  300s |      15 |   917856 |   101332 |    47953      3 |        5 |      664
305.05/305.13	c  303s |      15 |   922264 |   102232 |    47953      3 |        5 |      664
307.04/307.13	c  305s |      15 |   926577 |   103232 |    47953      3 |        5 |      664
309.14/309.25	c  307s |      15 |   929648 |   104332 |    47953      3 |        5 |      664
311.24/311.34	c  309s |      15 |   934821 |   104932 |    47953      3 |        5 |      664
313.34/313.41	c  311s |      15 |   940019 |   105632 |    47953      3 |        5 |      664
315.44/315.56	c  313s |      15 |   945037 |   106332 |    47953      3 |        5 |      664
317.64/317.73	c  315s |      15 |   951324 |   107032 |    47953      3 |        5 |      664
319.94/320.02	c  318s |      15 |   957052 |   107532 |    47953      3 |        5 |      664
321.94/322.07	c  320s |      15 |   963466 |   108132 |    47953      3 |        5 |      664
324.14/324.22	c  322s |      15 |   969690 |   108832 |    47953      3 |        5 |      664
326.44/326.58	c  324s |      15 |   975340 |   109532 |    47953      3 |        5 |      664
328.74/328.84	c  326s |      15 |   980925 |   110132 |    47953      3 |        5 |      664
330.84/330.96	c  328s |      15 |   986874 |   110832 |    47953      3 |        5 |      664
333.04/333.12	c  331s |      15 |   991449 |   111532 |    47953      3 |        5 |      664
335.34/335.41	c  333s |      15 |   997612 |   112132 |    47953      3 |        5 |      664
337.74/337.89	c  335s |      15 |  1004234 |   113032 |    47953      3 |        5 |      664
339.84/339.92	c  337s |      15 |  1007751 |   113632 |    47953      4 |        5 |      664
342.04/342.13	c  340s |      15 |  1012354 |   114332 |    47953      4 |        5 |      664
344.14/344.24	c  342s |      15 |  1017789 |   114932 |    47953      4 |        5 |      664
346.34/346.41	c  344s |      15 |  1022615 |   115732 |    47953      4 |        5 |      664
348.74/348.80	c  346s |      15 |  1028315 |   116632 |    47953      4 |        5 |      664
350.73/350.84	c  348s |      15 |  1032760 |   117332 |    47953      4 |        5 |      664
352.93/353.09	c  351s |      15 |  1036898 |   118132 |    47953      4 |        5 |      664
355.03/355.13	c  353s |      15 |  1041772 |   118932 |    47953      4 |        5 |      664
357.13/357.21	c  355s |      15 |  1045183 |   119632 |    47953      4 |        5 |      664
359.13/359.22	c  357s |      15 |  1048664 |   120432 |    47953      4 |        5 |      664
361.14/361.29	c  359s |      15 |  1052390 |   121232 |    47953      4 |        5 |      664
363.24/363.32	c  361s |      15 |  1055686 |   122132 |    47953      4 |        5 |      664
365.23/365.37	c  363s |      15 |  1057465 |   122832 |    47953      4 |        5 |      664
367.23/367.37	c  365s |      15 |  1060167 |   123432 |    47953      4 |        5 |      664
369.33/369.41	c  367s |      15 |  1063899 |   124032 |    47953      4 |        5 |      664
371.33/371.42	c  369s |      15 |  1068155 |   124732 |    47953      4 |        5 |      664
373.33/373.48	c  371s |      15 |  1072498 |   125532 |    47953      4 |        5 |      664
375.62/375.74	c  373s |      15 |  1077488 |   126232 |    47953      4 |        5 |      664
377.72/377.88	c  375s |      15 |  1082083 |   127032 |    47953      4 |        5 |      664
379.92/380.08	c  378s |      15 |  1085406 |   127732 |    47953      4 |        5 |      664
382.12/382.20	c  380s |      15 |  1088562 |   128432 |    47953      4 |        5 |      664
384.32/384.43	c  382s |      15 |  1092923 |   129132 |    47953      4 |        5 |      664
386.33/386.44	c  384s |      15 |  1097039 |   129932 |    47953      4 |        5 |      664
388.63/388.71	c  386s |      15 |  1099866 |   130732 |    52749      4 |        5 |      664
390.82/390.92	c  388s |      15 |  1102588 |   131532 |    52749      4 |        5 |      664
390.82/390.97	c  388s |      16 |  1102649 |   131552 |    52749      4 |        5 |      664
392.81/392.99	c  390s |      16 |  1107512 |   131952 |    52749      4 |        5 |      664
394.91/395.04	c  393s |      16 |  1111704 |   132552 |    52749      4 |        5 |      664
397.11/397.21	c  395s |      16 |  1115107 |   132952 |    52749      4 |        5 |      664
399.31/399.48	c  397s |      16 |  1118197 |   133552 |    52749      4 |        5 |      664
401.90/402.02	c  399s |      16 |  1123847 |   134052 |    52749      4 |        5 |      664
403.91/404.07	c  402s |      16 |  1127550 |   134552 |    52749      4 |        5 |      664
406.11/406.25	c  404s |      16 |  1133874 |   135052 |    52749      4 |        5 |      664
408.20/408.32	c  406s |      16 |  1139181 |   135652 |    52749      4 |        5 |      664
410.60/410.71	c  408s |      16 |  1145879 |   136352 |    52749      4 |        5 |      664
412.80/412.99	c  410s |      16 |  1149759 |   136952 |    52749      4 |        5 |      664
415.00/415.16	c  413s |      16 |  1155719 |   137552 |    52749      4 |        5 |      664
417.20/417.38	c  415s |      16 |  1159073 |   138152 |    52749      4 |        5 |      664
419.50/419.60	c  417s |      16 |  1164545 |   138652 |    52749      4 |        5 |      664
421.60/421.71	c  419s |      16 |  1169473 |   139352 |    52749      4 |        5 |      664
423.70/423.85	c  421s |      16 |  1173538 |   139952 |    52749      4 |        5 |      664
426.00/426.12	c  424s |      16 |  1177671 |   140552 |    52749      4 |        5 |      664
428.29/428.44	c  426s |      16 |  1181871 |   141252 |    52749      4 |        5 |      664
430.68/430.85	c  428s |      16 |  1185784 |   141852 |    52749      4 |        5 |      664
432.88/433.08	c  431s |      16 |  1191315 |   142452 |    52749      4 |        5 |      664
435.18/435.35	c  433s |      16 |  1194471 |   143152 |    52749      4 |        5 |      664
437.18/437.36	c  435s |      16 |  1198484 |   143752 |    52749      4 |        5 |      664
439.19/439.38	c  437s |      16 |  1200865 |   144352 |    52749      5 |        5 |      664
441.28/441.47	c  439s |      16 |  1205727 |   145252 |    52749      5 |        5 |      664
443.68/443.85	c  441s |      16 |  1211087 |   146052 |    52749      5 |        5 |      664
446.97/447.16	c  445s |      16 |  1212382 |   146152 |    52749      5 |        5 |      664
449.27/449.49	c  447s |      16 |  1217599 |   146752 |    52749      5 |        5 |      664
451.37/451.53	c  449s |      16 |  1222611 |   147452 |    52749      5 |        5 |      664
453.57/453.71	c  451s |      16 |  1228542 |   147952 |    52749      5 |        5 |      664
455.58/455.76	c  453s |      16 |  1233558 |   148652 |    52749      5 |        5 |      664
457.78/457.92	c  455s |      16 |  1239260 |   149252 |    52749      5 |        5 |      664
459.98/460.17	c  458s |      16 |  1247135 |   150152 |    52749      5 |        5 |      664
462.17/462.36	c  460s |      16 |  1251784 |   150752 |    52749      5 |        5 |      664
464.17/464.37	c  462s |      16 |  1256716 |   151352 |    52749      5 |        5 |      664
466.47/466.68	c  464s |      16 |  1262905 |   152152 |    52749      5 |        5 |      664
468.57/468.79	c  466s |      16 |  1269723 |   152752 |    52749      5 |        5 |      664
470.67/470.81	c  468s |      16 |  1276347 |   153552 |    52749      5 |        5 |      664
472.77/472.95	c  470s |      16 |  1281410 |   154352 |    52749      5 |        5 |      664
474.97/475.14	c  473s |      16 |  1286044 |   155052 |    52749      5 |        5 |      664
477.17/477.30	c  475s |      16 |  1290650 |   155752 |    52749      5 |        5 |      664
479.37/479.51	c  477s |      16 |  1294495 |   156552 |    52749      5 |        5 |      664
481.46/481.61	c  479s |      16 |  1299116 |   157252 |    52749      5 |        5 |      664
483.66/483.84	c  481s |      16 |  1304710 |   158152 |    52749      5 |        5 |      664
485.76/485.97	c  483s |      16 |  1309489 |   158952 |    52749      5 |        5 |      664
487.86/488.07	c  486s |      16 |  1315214 |   159952 |    52749      5 |        5 |      664
489.96/490.18	c  488s |      16 |  1319372 |   160852 |    52749      5 |        5 |      664
492.16/492.36	c  490s |      16 |  1323511 |   161952 |    52749      5 |        5 |      664
494.17/494.36	c  492s |      16 |  1327152 |   162852 |    52749      5 |        5 |      664
496.37/496.60	c  494s |      16 |  1333272 |   163452 |    52749      5 |        5 |      664
498.47/498.67	c  496s |      16 |  1337537 |   164052 |    52749      5 |        5 |      664
500.55/500.70	c  498s |      16 |  1342360 |   164552 |    52749      5 |        5 |      664
502.75/502.93	c  500s |      16 |  1347903 |   165252 |    52749      5 |        5 |      664
504.95/505.17	c  503s |      16 |  1354358 |   165852 |    52749      5 |        5 |      664
507.05/507.23	c  505s |      16 |  1360406 |   166452 |    52749      5 |        5 |      664
509.05/509.29	c  507s |      16 |  1365264 |   167052 |    52749      5 |        5 |      664
511.25/511.46	c  509s |      16 |  1370706 |   167752 |    52749      5 |        5 |      664
513.55/513.71	c  511s |      16 |  1376565 |   168352 |    52749      5 |        5 |      664
515.85/516.10	c  514s |      16 |  1381608 |   169052 |    52749      5 |        5 |      664
518.04/518.24	c  516s |      16 |  1388807 |   169752 |    52749      5 |        5 |      664
520.04/520.26	c  518s |      16 |  1393064 |   170452 |    52749      5 |        5 |      664
522.14/522.33	c  520s |      16 |  1396173 |   171252 |    52749      5 |        5 |      664
524.14/524.35	c  522s |      16 |  1398906 |   172152 |    52749      5 |        5 |      664
526.14/526.39	c  524s |      16 |  1400431 |   172552 |    52749      6 |        5 |      664
528.24/528.46	c  526s |      16 |  1405101 |   173452 |    52749      6 |        5 |      664
530.44/530.67	c  528s |      16 |  1410304 |   174452 |    52749      6 |        5 |      664
532.54/532.78	c  530s |      16 |  1416106 |   175252 |    52749      6 |        5 |      664
534.63/534.82	c  532s |      16 |  1421878 |   176052 |    52749      6 |        5 |      664
536.83/537.07	c  535s |      16 |  1428870 |   176852 |    52749      6 |        5 |      664
539.14/539.39	c  537s |      16 |  1435648 |   177752 |    52749      6 |        5 |      664
541.22/541.42	c  539s |      16 |  1443040 |   178552 |    52749      6 |        5 |      664
543.22/543.49	c  541s |      16 |  1447901 |   179152 |    52749      6 |        5 |      664
545.52/545.73	c  543s |      16 |  1455420 |   179852 |    52749      6 |        5 |      664
547.62/547.82	c  545s |      16 |  1461097 |   180552 |    52749      6 |        5 |      664
550.02/550.24	c  548s |      16 |  1467605 |   181152 |    52749      6 |        5 |      664
552.22/552.46	c  550s |      16 |  1473176 |   181952 |    52749      6 |        5 |      664
554.52/554.74	c  552s |      16 |  1479847 |   182752 |    52749      6 |        5 |      664
556.52/556.75	c  554s |      16 |  1487003 |   183452 |    52749      6 |        5 |      664
558.82/559.00	c  556s |      16 |  1492957 |   184152 |    52749      6 |        5 |      664
561.12/561.32	c  559s |      16 |  1498656 |   184952 |    52749      6 |        5 |      664
563.11/563.38	c  561s |      16 |  1504523 |   185652 |    52749      6 |        5 |      664
565.21/565.42	c  563s |      16 |  1509712 |   186352 |    52749      6 |        5 |      664
567.31/567.55	c  565s |      16 |  1514904 |   187052 |    52749      6 |        5 |      664
569.41/569.62	c  567s |      16 |  1521720 |   188052 |    52749      6 |        5 |      664
571.60/571.87	c  569s |      16 |  1527650 |   188852 |    52749      6 |        5 |      664
573.60/573.87	c  571s |      16 |  1533155 |   189752 |    52749      6 |        5 |      664
575.80/576.06	c  574s |      16 |  1538022 |   190752 |    52749      6 |        5 |      664
577.90/578.11	c  576s |      16 |  1541567 |   191652 |    52749      6 |        5 |      664
579.91/580.15	c  578s |      16 |  1544384 |   192752 |    52749      6 |        5 |      664
582.00/582.20	c  580s |      16 |  1550277 |   193552 |    52749      6 |        5 |      664
584.20/584.42	c  582s |      16 |  1555961 |   194252 |    52749      6 |        5 |      664
586.40/586.67	c  584s |      16 |  1562318 |   195052 |    52749      6 |        5 |      664
588.50/588.79	c  586s |      16 |  1569282 |   195852 |    52749      6 |        5 |      664
590.80/591.06	c  589s |      16 |  1575915 |   196652 |    58024      6 |        5 |      664
592.69/592.99	c  590s |      17 |  1582263 |   197432 |    58024      6 |        5 |      664
595.09/595.36	c  593s |      17 |  1587415 |   198032 |    58024      6 |        5 |      664
597.40/597.62	c  595s |      17 |  1591175 |   198632 |    58024      6 |        5 |      664
599.60/599.89	c  597s |      17 |  1596342 |   199232 |    58024      6 |        5 |      664
601.79/602.10	c  600s |      17 |  1601224 |   199932 |    58024      6 |        5 |      664
603.99/604.23	c  602s |      17 |  1604448 |   200532 |    58024      6 |        5 |      664
606.08/606.37	c  604s |      17 |  1608757 |   201232 |    58024      6 |        5 |      664
608.49/608.72	c  606s |      17 |  1615193 |   202032 |    58024      6 |        5 |      664
610.58/610.89	c  608s |      17 |  1618380 |   202732 |    58024      6 |        5 |      664
612.68/612.93	c  610s |      17 |  1622180 |   203432 |    58024      6 |        5 |      664
614.98/615.21	c  613s |      17 |  1627282 |   204232 |    58024      6 |        5 |      664
617.07/617.32	c  615s |      17 |  1631571 |   205032 |    58024      6 |        5 |      664
619.27/619.50	c  617s |      17 |  1636045 |   205732 |    58024      7 |        5 |      664
621.27/621.53	c  619s |      17 |  1640467 |   207032 |    58024      7 |        5 |      664
623.78/624.03	c  622s |      17 |  1644531 |   207832 |    58024      7 |        5 |      664
625.77/626.05	c  624s |      17 |  1649003 |   208532 |    58024      7 |        5 |      664
627.87/628.13	c  626s |      17 |  1654602 |   209032 |    58024      7 |        5 |      664
629.87/630.13	c  628s |      17 |  1659673 |   209632 |    58024      7 |        5 |      664
632.07/632.37	c  630s |      17 |  1664813 |   210432 |    58024      7 |        5 |      664
634.27/634.56	c  632s |      17 |  1671200 |   211232 |    58024      7 |        5 |      664
636.27/636.59	c  634s |      17 |  1677305 |   212032 |    58024      7 |        5 |      664
638.47/638.74	c  636s |      17 |  1684245 |   212832 |    58024      7 |        5 |      664
640.76/641.01	c  638s |      17 |  1690183 |   213532 |    58024      7 |        5 |      664
642.86/643.19	c  641s |      17 |  1697668 |   214532 |    58024      7 |        5 |      664
644.96/645.25	c  643s |      17 |  1701534 |   215232 |    58024      7 |        5 |      664
647.06/647.39	c  645s |      17 |  1706127 |   216032 |    58024      7 |        5 |      664
649.26/649.57	c  647s |      17 |  1710534 |   216832 |    58024      7 |        5 |      664
651.45/651.75	c  649s |      17 |  1715154 |   217832 |    58024      7 |        5 |      664
653.56/653.85	c  651s |      17 |  1720344 |   218932 |    58024      7 |        5 |      664
655.76/656.05	c  654s |      17 |  1723364 |   219932 |    58024      7 |        5 |      664
657.86/658.13	c  656s |      17 |  1730991 |   220732 |    58024      7 |        5 |      664
659.85/660.16	c  658s |      17 |  1737674 |   221432 |    58024      7 |        5 |      664
662.05/662.30	c  660s |      17 |  1744740 |   222232 |    58024      7 |        5 |      664
664.05/664.33	c  662s |      17 |  1749599 |   222832 |    58024      7 |        5 |      664
666.25/666.56	c  664s |      17 |  1754247 |   223432 |    58024      7 |        5 |      664
668.65/668.96	c  666s |      17 |  1759729 |   224232 |    58024      7 |        5 |      664
670.84/671.19	c  669s |      17 |  1765595 |   225032 |    58024      7 |        5 |      664
673.04/673.32	c  671s |      17 |  1771797 |   225832 |    58024      7 |        5 |      664
675.14/675.44	c  673s |      17 |  1777297 |   226732 |    58024      7 |        5 |      664
677.24/677.55	c  675s |      17 |  1782064 |   227532 |    58024      7 |        5 |      664
679.24/679.57	c  677s |      17 |  1786481 |   228432 |    58024      7 |        5 |      664
681.33/681.65	c  679s |      17 |  1789748 |   229332 |    58024      7 |        5 |      664
683.33/683.67	c  681s |      17 |  1792420 |   230332 |    58024      7 |        5 |      664
685.44/685.71	c  683s |      17 |  1795556 |   231232 |    58024      7 |        5 |      664
687.43/687.74	c  685s |      17 |  1799087 |   231932 |    58024      7 |        5 |      664
689.63/689.90	c  687s |      17 |  1804063 |   232732 |    58024      7 |        5 |      664
691.93/692.22	c  690s |      17 |  1808356 |   233432 |    58024      7 |        5 |      664
694.23/694.52	c  692s |      17 |  1814123 |   234132 |    58024      7 |        5 |      664
696.33/696.66	c  694s |      17 |  1819593 |   234832 |    58024      7 |        5 |      664
698.53/698.80	c  696s |      17 |  1824424 |   235332 |    58024      8 |        5 |      664
700.72/701.01	c  698s |      17 |  1830412 |   236232 |    58024      8 |        5 |      664
702.82/703.12	c  701s |      17 |  1836589 |   237032 |    58024      8 |        5 |      664
704.82/705.14	c  703s |      17 |  1840307 |   237732 |    58024      8 |        5 |      664
706.92/707.25	c  705s |      17 |  1846153 |   238532 |    58024      8 |        5 |      664
709.12/709.42	c  707s |      17 |  1850643 |   239332 |    58024      8 |        5 |      664
711.11/711.46	c  709s |      17 |  1856198 |   240132 |    58024      8 |        5 |      664
713.21/713.57	c  711s |      17 |  1860474 |   241032 |    58024      8 |        5 |      664
715.41/715.78	c  713s |      17 |  1864238 |   241932 |    58024      8 |        5 |      664
717.51/717.88	c  715s |      17 |  1868289 |   242832 |    58024      8 |        5 |      664
719.61/719.99	c  717s |      17 |  1871685 |   243832 |    58024      8 |        5 |      664
721.71/722.01	c  719s |      17 |  1875195 |   244832 |    58024      8 |        5 |      664
723.81/724.14	c  722s |      17 |  1881653 |   245632 |    58024      8 |        5 |      664
726.11/726.49	c  724s |      17 |  1886162 |   246232 |    58024      8 |        5 |      664
728.21/728.51	c  726s |      17 |  1890824 |   246932 |    58024      8 |        5 |      664
730.30/730.65	c  728s |      17 |  1896769 |   247532 |    58024      8 |        5 |      664
732.70/733.01	c  730s |      17 |  1902603 |   248332 |    58024      8 |        5 |      664
734.90/735.23	c  733s |      17 |  1908372 |   249132 |    58024      8 |        5 |      664
737.20/737.51	c  735s |      17 |  1913703 |   249932 |    58024      8 |        5 |      664
739.40/739.77	c  737s |      17 |  1917917 |   250732 |    58024      8 |        5 |      664
741.50/741.90	c  739s |      17 |  1922446 |   251532 |    58024      8 |        5 |      664
743.60/743.94	c  741s |      17 |  1925286 |   252232 |    58024      8 |        5 |      664
745.69/746.09	c  744s |      17 |  1929654 |   253232 |    58024      8 |        5 |      664
747.79/748.15	c  746s |      17 |  1931851 |   254032 |    58024      8 |        5 |      664
749.89/750.22	c  748s |      17 |  1935795 |   254932 |    58024      8 |        5 |      664
751.89/752.26	c  750s |      17 |  1941442 |   255632 |    58024      8 |        5 |      664
754.19/754.53	c  752s |      17 |  1946482 |   256332 |    58024      8 |        5 |      664
756.39/756.76	c  754s |      17 |  1952226 |   257132 |    58024      8 |        5 |      664
758.49/758.85	c  756s |      17 |  1956343 |   257932 |    58024      8 |        5 |      664
760.68/761.04	c  759s |      17 |  1959074 |   258632 |    58024      8 |        5 |      664
762.68/763.08	c  761s |      17 |  1962886 |   259432 |    58024      8 |        5 |      664
764.98/765.31	c  763s |      17 |  1966522 |   260432 |    58024      8 |        5 |      664
766.98/767.31	c  765s |      17 |  1968872 |   261232 |    58024      8 |        5 |      664
769.08/769.48	c  767s |      17 |  1971690 |   262032 |    58024      8 |        5 |      664
771.38/771.73	c  769s |      17 |  1976216 |   262732 |    58024      8 |        5 |      664
773.48/773.82	c  771s |      17 |  1981801 |   263432 |    58024      8 |        5 |      664
775.49/775.89	c  773s |      17 |  1987675 |   264132 |    58024      8 |        5 |      664
777.68/778.03	c  776s |      17 |  1992432 |   264732 |    58024      8 |        5 |      664
779.78/780.12	c  778s |      17 |  1996034 |   265232 |    58024      9 |        5 |      664
781.98/782.38	c  780s |      17 |  2000739 |   266032 |    58024      9 |        5 |      664
784.17/784.60	c  782s |      17 |  2005664 |   266832 |    58024      9 |        5 |      664
786.37/786.78	c  784s |      17 |  2010766 |   267732 |    58024      9 |        5 |      664
788.47/788.85	c  786s |      17 |  2014166 |   268532 |    58024      9 |        5 |      664
790.67/791.06	c  789s |      17 |  2018693 |   269532 |    58024      9 |        5 |      664
792.77/793.15	c  791s |      17 |  2022414 |   270532 |    58024      9 |        5 |      664
794.97/795.39	c  793s |      17 |  2027118 |   271532 |    58024      9 |        5 |      664
797.27/797.63	c  795s |      17 |  2031421 |   272432 |    58024      9 |        5 |      664
799.27/799.64	c  797s |      17 |  2035303 |   273232 |    58024      9 |        5 |      664
801.36/801.70	c  799s |      17 |  2038642 |   274132 |    58024      9 |        5 |      664
803.46/803.82	c  801s |      17 |  2041947 |   275132 |    58024      9 |        5 |      664
805.56/805.90	c  803s |      17 |  2044603 |   275932 |    58024      9 |        5 |      664
807.56/807.91	c  805s |      17 |  2049046 |   276632 |    58024      9 |        5 |      664
809.76/810.11	c  808s |      17 |  2053693 |   277332 |    58024      9 |        5 |      664
811.95/812.32	c  810s |      17 |  2058405 |   278132 |    58024      9 |        5 |      664
814.15/814.57	c  812s |      17 |  2062502 |   278932 |    58024      9 |        5 |      664
816.26/816.63	c  814s |      17 |  2066171 |   279832 |    58024      9 |        5 |      664
818.36/818.76	c  816s |      17 |  2069721 |   280732 |    58024      9 |        5 |      664
820.55/820.93	c  818s |      17 |  2071865 |   281632 |    58024      9 |        5 |      664
822.55/822.94	c  820s |      17 |  2074027 |   282432 |    58024      9 |        5 |      664
824.95/825.35	c  823s |      17 |  2076892 |   283132 |    58024      9 |        5 |      664
827.04/827.49	c  825s |      17 |  2080523 |   283932 |    58024      9 |        5 |      664
829.24/829.64	c  827s |      17 |  2085298 |   284932 |    58024      9 |        5 |      664
831.34/831.78	c  829s |      17 |  2087523 |   285732 |    58024      9 |        5 |      664
833.34/833.79	c  831s |      17 |  2091688 |   286532 |    58024      9 |        5 |      664
835.44/835.80	c  833s |      17 |  2096092 |   287232 |    58024      9 |        5 |      664
837.64/838.07	c  836s |      17 |  2100413 |   288132 |    58024      9 |        5 |      664
839.74/840.12	c  838s |      17 |  2102611 |   288932 |    58024      9 |        5 |      664
841.94/842.35	c  840s |      17 |  2106146 |   289832 |    58024      9 |        5 |      664
844.25/844.66	c  842s |      17 |  2111185 |   290732 |    58024      9 |        5 |      664
846.35/846.71	c  844s |      17 |  2114456 |   291332 |    58024      9 |        5 |      664
848.35/848.77	c  846s |      17 |  2119025 |   292132 |    58024      9 |        5 |      664
850.35/850.79	c  848s |      17 |  2122022 |   292932 |    58024      9 |        5 |      664
852.34/852.79	c  850s |      17 |  2124002 |   293732 |    58024      9 |        5 |      664
854.65/855.07	c  853s |      17 |  2127032 |   294632 |    63827      9 |        5 |      664
856.74/857.16	c  855s |      17 |  2130400 |   295332 |    63827      9 |        5 |      664
858.74/859.19	c  857s |      17 |  2133246 |   296132 |    63827      9 |        5 |      664
859.15/859.56	c  857s |      18 |  2133965 |   296252 |    63827      9 |        5 |      664
861.13/861.58	c  859s |      18 |  2137468 |   296852 |    63827      9 |        5 |      664
863.23/863.69	c  861s |      18 |  2140448 |   297752 |    63827      9 |        5 |      664
865.43/865.87	c  863s |      18 |  2143358 |   298452 |    63827      9 |        5 |      664
867.63/868.00	c  865s |      18 |  2147465 |   299052 |    63827      9 |        5 |      664
869.73/870.16	c  868s |      18 |  2151458 |   299752 |    63827      9 |        5 |      664
871.93/872.30	c  870s |      18 |  2156110 |   300352 |    63827      9 |        5 |      664
873.93/874.32	c  872s |      18 |  2159717 |   300952 |    63827      9 |        5 |      664
876.23/876.65	c  874s |      18 |  2163179 |   301552 |    63827     10 |        5 |      664
878.33/878.74	c  876s |      18 |  2167300 |   302252 |    63827     10 |        5 |      664
880.43/880.80	c  878s |      18 |  2170273 |   303052 |    63827     10 |        5 |      664
882.62/883.03	c  881s |      18 |  2174241 |   303952 |    63827     10 |        5 |      664
884.72/885.15	c  883s |      18 |  2177521 |   304852 |    63827     10 |        5 |      664
886.72/887.16	c  885s |      18 |  2179913 |   305852 |    63827     10 |        5 |      664
888.92/889.31	c  887s |      18 |  2182999 |   306652 |    63827     10 |        5 |      664
890.93/891.40	c  889s |      18 |  2186161 |   307552 |    63827     10 |        5 |      664
893.02/893.47	c  891s |      18 |  2188476 |   308352 |    63827     10 |        5 |      664
895.02/895.48	c  893s |      18 |  2191752 |   309152 |    63827     10 |        5 |      664
897.22/897.60	c  895s |      18 |  2194726 |   310152 |    63827     10 |        5 |      664
899.42/899.83	c  897s |      18 |  2197698 |   311152 |    63827     10 |        5 |      664
901.61/902.02	c  899s |      18 |  2200444 |   312052 |    63827     10 |        5 |      664
903.61/904.02	c  902s |      18 |  2202930 |   313052 |    63827     10 |        5 |      664
905.71/906.15	c  904s |      18 |  2205999 |   313952 |    63827     10 |        5 |      664
907.81/908.20	c  906s |      18 |  2208486 |   314952 |    63827     10 |        5 |      664
910.01/910.42	c  908s |      18 |  2210625 |   315952 |    63827     10 |        5 |      664
912.20/912.66	c  910s |      18 |  2213143 |   316952 |    63827     10 |        5 |      664
914.40/914.81	c  912s |      18 |  2214965 |   317852 |    63827     10 |        5 |      664
916.50/916.93	c  914s |      18 |  2216451 |   318752 |    63827     10 |        5 |      664
918.51/918.97	c  916s |      18 |  2218152 |   319652 |    63827     10 |        5 |      664
920.70/921.15	c  919s |      18 |  2220064 |   320652 |    63827     10 |        5 |      664
922.69/923.19	c  921s |      18 |  2222112 |   321452 |    63827     10 |        5 |      664
925.00/925.45	c  923s |      18 |  2224604 |   322352 |    63827     10 |        5 |      664
926.99/927.45	c  925s |      18 |  2226772 |   323252 |    63827     10 |        5 |      664
995.49/995.96	c  993s |      18 |  2228615 |   323452 |    63827     10 |        5 |      664
1006.07/1006.59	c 1004s |      18 |  2229642 |   323552 |    63827     10 |        5 |      664
1008.47/1008.92	c 1006s |      18 |  2233232 |   323952 |    63827     10 |        5 |      664
1010.57/1011.10	c 1009s |      18 |  2238224 |   324652 |    63827     10 |        5 |      664
1012.87/1013.31	c 1011s |      18 |  2243250 |   325052 |    63827     10 |        5 |      664
1015.07/1015.52	c 1013s |      18 |  2247536 |   325452 |    63827     10 |        5 |      664
1017.48/1017.98	c 1015s |      18 |  2253057 |   325852 |    63827     10 |        5 |      664
1019.77/1020.24	c 1018s |      18 |  2256842 |   326152 |    63827     10 |        5 |      664
1021.88/1022.33	c 1020s |      18 |  2261401 |   326552 |    63827     10 |        5 |      664
1024.17/1024.60	c 1022s |      18 |  2265370 |   327152 |    63827     10 |        5 |      664
1026.28/1026.73	c 1024s |      18 |  2269143 |   327552 |    63827     10 |        5 |      664
1028.87/1029.32	c 1027s |      18 |  2272920 |   327952 |    63827     10 |        5 |      664
1030.97/1031.41	c 1029s |      18 |  2277938 |   328352 |    63827     10 |        5 |      664
1032.97/1033.48	c 1031s |      18 |  2283413 |   329052 |    63827     10 |        5 |      664
1035.27/1035.75	c 1033s |      18 |  2289026 |   329452 |    63827     10 |        5 |      664
1037.77/1038.26	c 1036s |      18 |  2295211 |   329852 |    63827     10 |        5 |      664
1039.97/1040.40	c 1038s |      18 |  2301408 |   330252 |    63827     10 |        5 |      664
1041.97/1042.41	c 1040s |      18 |  2305344 |   330852 |    63827     10 |        5 |      664
1044.37/1044.88	c 1042s |      18 |  2311647 |   331352 |    63827     10 |        5 |      664
1046.67/1047.19	c 1045s |      18 |  2316969 |   331752 |    63827     10 |        5 |      664
1048.77/1049.23	c 1047s |      18 |  2321820 |   332252 |    63827     10 |        5 |      664
1050.97/1051.46	c 1049s |      18 |  2326551 |   332852 |    63827     10 |        5 |      664
1054.27/1054.75	c 1052s |      18 |  2328583 |   333052 |    63827     11 |        5 |      664
1056.57/1057.00	c 1054s |      18 |  2336885 |   333652 |    63827     11 |        5 |      664
1058.67/1059.12	c 1057s |      18 |  2342660 |   334352 |    63827     11 |        5 |      664
1061.06/1061.50	c 1059s |      18 |  2349673 |   334852 |    63827     11 |        5 |      664
1063.16/1063.66	c 1061s |      18 |  2356544 |   335652 |    63827     11 |        5 |      664
1065.46/1065.92	c 1063s |      18 |  2362152 |   336152 |    63827     11 |        5 |      664
1067.46/1067.99	c 1065s |      18 |  2367269 |   336652 |    63827     11 |        5 |      664
1069.56/1070.09	c 1068s |      18 |  2370871 |   337352 |    63827     11 |        5 |      664
1071.66/1072.14	c 1070s |      18 |  2376252 |   337852 |    63827     11 |        5 |      664
1073.76/1074.22	c 1072s |      18 |  2381123 |   338552 |    63827     11 |        5 |      664
1076.16/1076.66	c 1074s |      18 |  2387634 |   339152 |    63827     11 |        5 |      664
1078.36/1078.84	c 1076s |      18 |  2391534 |   339752 |    63827     11 |        5 |      664
1080.66/1081.19	c 1079s |      18 |  2396510 |   340352 |    63827     11 |        5 |      664
1082.76/1083.25	c 1081s |      18 |  2401207 |   341052 |    63827     11 |        5 |      664
1085.06/1085.50	c 1083s |      18 |  2405212 |   341652 |    63827     11 |        5 |      664
1087.36/1087.86	c 1085s |      18 |  2407866 |   342252 |    63827     11 |        5 |      664
1089.56/1090.09	c 1088s |      18 |  2412075 |   342952 |    63827     11 |        5 |      664
1091.66/1092.14	c 1090s |      18 |  2416919 |   343552 |    63827     11 |        5 |      664
1093.96/1094.49	c 1092s |      18 |  2421919 |   344252 |    63827     11 |        5 |      664
1096.06/1096.56	c 1094s |      18 |  2428653 |   345052 |    63827     11 |        5 |      664
1098.26/1098.78	c 1096s |      18 |  2434394 |   345852 |    63827     11 |        5 |      664
1100.36/1100.80	c 1098s |      18 |  2439518 |   346652 |    63827     11 |        5 |      664
1102.66/1103.10	c 1101s |      18 |  2444926 |   347552 |    63827     11 |        5 |      664
1104.86/1105.32	c 1103s |      18 |  2449798 |   348452 |    63827     11 |        5 |      664
1107.06/1107.58	c 1105s |      18 |  2454375 |   349352 |    63827     11 |        5 |      664
1109.16/1109.65	c 1107s |      18 |  2457384 |   350252 |    63827     11 |        5 |      664
1111.26/1111.78	c 1109s |      18 |  2460408 |   351252 |    63827     11 |        5 |      664
1113.55/1114.03	c 1112s |      18 |  2462769 |   351852 |    63827     11 |        5 |      664
1115.55/1116.09	c 1114s |      18 |  2467180 |   352152 |    63827     11 |        5 |      664
1117.85/1118.35	c 1116s |      18 |  2471839 |   352552 |    63827     11 |        5 |      664
1120.05/1120.50	c 1118s |      18 |  2476540 |   353052 |    63827     11 |        5 |      664
1122.15/1122.64	c 1120s |      18 |  2482180 |   353652 |    63827     11 |        5 |      664
1124.25/1124.75	c 1122s |      18 |  2486273 |   354052 |    63827     11 |        5 |      664
1126.45/1126.94	c 1124s |      18 |  2490903 |   354752 |    63827     11 |        5 |      664
1128.65/1129.14	c 1127s |      18 |  2495919 |   355152 |    63827     11 |        5 |      664
1131.05/1131.58	c 1129s |      18 |  2500919 |   355552 |    63827     11 |        5 |      664
1133.15/1133.69	c 1131s |      18 |  2505501 |   356152 |    63827     11 |        5 |      664
1135.55/1136.03	c 1134s |      18 |  2511887 |   356752 |    63827     11 |        5 |      664
1137.75/1138.27	c 1136s |      18 |  2516895 |   357152 |    63827     11 |        5 |      664
1139.85/1140.38	c 1138s |      18 |  2521207 |   357752 |    63827     11 |        5 |      664
1142.05/1142.53	c 1140s |      18 |  2527666 |   358352 |    63827     11 |        5 |      664
1144.25/1144.76	c 1142s |      18 |  2531814 |   358752 |    63827     11 |        5 |      664
1146.35/1146.82	c 1144s |      18 |  2536088 |   359152 |    63827     11 |        5 |      664
1148.36/1148.86	c 1146s |      18 |  2542058 |   359852 |    63827     11 |        5 |      664
1150.35/1150.88	c 1148s |      18 |  2547482 |   360252 |    63827     11 |        5 |      664
1152.55/1153.00	c 1150s |      18 |  2552119 |   360652 |    63827     11 |        5 |      664
1154.86/1155.32	c 1153s |      18 |  2557327 |   361352 |    63827     11 |        5 |      664
1156.85/1157.33	c 1155s |      18 |  2562156 |   361752 |    63827     11 |        5 |      664
1159.15/1159.64	c 1157s |      18 |  2566989 |   362252 |    63827     11 |        5 |      664
1161.35/1161.88	c 1159s |      18 |  2571456 |   362852 |    63827     11 |        5 |      664
1163.45/1163.90	c 1161s |      18 |  2577893 |   363452 |    63827     11 |        5 |      664
1165.45/1165.92	c 1163s |      18 |  2581658 |   364052 |    63827     11 |        5 |      664
1167.75/1168.24	c 1166s |      18 |  2588075 |   364552 |    63827     11 |        5 |      664
1170.05/1170.57	c 1168s |      18 |  2593407 |   365252 |    63827     11 |        5 |      664
1172.05/1172.58	c 1170s |      18 |  2598011 |   365852 |    63827     11 |        5 |      664
1174.75/1175.29	c 1173s |      18 |  2602299 |   366252 |    63827     12 |        5 |      664
1176.85/1177.37	c 1175s |      18 |  2607899 |   366952 |    63827     12 |        5 |      664
1178.94/1179.46	c 1177s |      18 |  2612285 |   367652 |    63827     12 |        5 |      664
1181.14/1181.68	c 1179s |      18 |  2617395 |   368452 |    63827     12 |        5 |      664
1183.24/1183.70	c 1181s |      18 |  2621443 |   369052 |    63827     12 |        5 |      664
1185.44/1185.96	c 1183s |      18 |  2627783 |   369852 |    63827     12 |        5 |      664
1187.64/1188.12	c 1186s |      18 |  2632024 |   370652 |    63827     12 |        5 |      664
1189.64/1190.16	c 1188s |      18 |  2636098 |   371352 |    63827     12 |        5 |      664
1191.84/1192.30	c 1190s |      18 |  2639640 |   372152 |    63827     12 |        5 |      664
1193.84/1194.33	c 1192s |      18 |  2643350 |   373052 |    63827     12 |        5 |      664
1195.94/1196.42	c 1194s |      18 |  2646537 |   373852 |    63827     12 |        5 |      664
1198.14/1198.69	c 1196s |      18 |  2648345 |   374652 |    63827     12 |        5 |      664
1200.74/1201.23	c 1199s |      18 |  2651776 |   375052 |    63827     12 |        5 |      664
1203.14/1203.67	c 1201s |      18 |  2657485 |   375452 |    63827     12 |        5 |      664
1205.24/1205.79	c 1203s |      18 |  2661526 |   375852 |    63827     12 |        5 |      664
1207.34/1207.83	c 1205s |      18 |  2665117 |   376452 |    63827     12 |        5 |      664
1209.54/1210.06	c 1208s |      18 |  2670671 |   377052 |    63827     12 |        5 |      664
1211.74/1212.27	c 1210s |      18 |  2674921 |   377452 |    63827     12 |        5 |      664
1214.14/1214.64	c 1212s |      18 |  2679921 |   377952 |    63827     12 |        5 |      664
1216.34/1216.90	c 1214s |      18 |  2683777 |   378652 |    63827     12 |        5 |      664
1218.75/1219.22	c 1217s |      18 |  2689873 |   379152 |    63827     12 |        5 |      664
1221.14/1221.64	c 1219s |      18 |  2694000 |   379952 |    63827     12 |        5 |      664
1223.54/1224.02	c 1221s |      18 |  2698539 |   380452 |    63827     12 |        5 |      664
1226.14/1226.60	c 1224s |      18 |  2705302 |   380952 |    63827     12 |        5 |      664
1228.44/1228.91	c 1226s |      18 |  2709828 |   381352 |    63827     12 |        5 |      664
1230.54/1231.02	c 1229s |      18 |  2714474 |   381852 |    63827     12 |        5 |      664
1232.94/1233.50	c 1231s |      18 |  2718506 |   382552 |    63827     12 |        5 |      664
1235.14/1235.69	c 1233s |      18 |  2723630 |   382952 |    63827     12 |        5 |      664
1237.23/1237.76	c 1235s |      18 |  2726870 |   383452 |    63827     12 |        5 |      664
1239.54/1240.07	c 1238s |      18 |  2730897 |   384052 |    63827     12 |        5 |      664
1242.03/1242.57	c 1240s |      18 |  2736591 |   384552 |    63827     12 |        5 |      664
1244.13/1244.68	c 1242s |      18 |  2743003 |   385052 |    63827     12 |        5 |      664
1246.43/1246.91	c 1244s |      18 |  2748086 |   385752 |    63827     12 |        5 |      664
1248.44/1249.00	c 1246s |      18 |  2754440 |   386252 |    63827     12 |        5 |      664
1250.64/1251.16	c 1249s |      18 |  2758109 |   386852 |    63827     12 |        5 |      664
1252.84/1253.35	c 1251s |      18 |  2763587 |   387352 |    63827     12 |        5 |      664
1254.83/1255.37	c 1253s |      18 |  2766305 |   387852 |    63827     12 |        5 |      664
1257.03/1257.56	c 1255s |      18 |  2770017 |   388452 |    63827     12 |        5 |      664
1259.44/1259.92	c 1257s |      18 |  2774964 |   388952 |    63827     12 |        5 |      664
1261.43/1261.94	c 1259s |      18 |  2779617 |   389552 |    63827     12 |        5 |      664
1263.74/1264.24	c 1262s |      18 |  2785242 |   390052 |    63827     12 |        5 |      664
1265.94/1266.48	c 1264s |      18 |  2789905 |   390552 |    63827     12 |        5 |      664
1268.03/1268.51	c 1266s |      18 |  2794105 |   391252 |    63827     12 |        5 |      664
1270.34/1270.86	c 1268s |      18 |  2799960 |   391952 |    63827     12 |        5 |      664
1272.64/1273.10	c 1271s |      18 |  2804286 |   392452 |    63827     12 |        5 |      664
1274.84/1275.37	c 1273s |      18 |  2808863 |   393152 |    63827     12 |        5 |      664
1277.04/1277.58	c 1275s |      18 |  2813327 |   393752 |    63827     12 |        5 |      664
1279.33/1279.84	c 1277s |      18 |  2818712 |   394352 |    63827     12 |        5 |      664
1281.33/1281.89	c 1279s |      18 |  2822655 |   394952 |    63827     12 |        5 |      664
1283.53/1284.05	c 1282s |      18 |  2826099 |   395552 |    63827     12 |        5 |      664
1285.93/1286.46	c 1284s |      18 |  2832044 |   396352 |    63827     12 |        5 |      664
1288.03/1288.51	c 1286s |      18 |  2835783 |   396952 |    63827     12 |        5 |      664
1290.13/1290.61	c 1288s |      18 |  2839765 |   397652 |    63827     12 |        5 |      664
1292.23/1292.79	c 1290s |      18 |  2844211 |   398452 |    63827     12 |        5 |      664
1294.43/1294.95	c 1292s |      18 |  2847429 |   399152 |    63827     12 |        5 |      664
1296.42/1296.99	c 1294s |      18 |  2849865 |   399852 |    63827     12 |        5 |      664
1298.82/1299.38	c 1297s |      18 |  2852953 |   400652 |    63827     13 |        5 |      664
1301.72/1302.20	c 1300s |      18 |  2856536 |   401552 |    63827     13 |        5 |      664
1303.82/1304.38	c 1302s |      18 |  2862374 |   401952 |    63827     13 |        5 |      664
1305.92/1306.42	c 1304s |      18 |  2867070 |   402552 |    63827     13 |        5 |      664
1308.22/1308.73	c 1306s |      18 |  2873846 |   403152 |    63827     13 |        5 |      664
1310.42/1310.97	c 1308s |      18 |  2878870 |   403652 |    63827     13 |        5 |      664
1312.82/1313.32	c 1311s |      18 |  2883105 |   404352 |    63827     13 |        5 |      664
1315.12/1315.69	c 1313s |      18 |  2887682 |   404852 |    63827     13 |        5 |      664
1317.63/1318.20	c 1316s |      18 |  2895039 |   405352 |    63827     13 |        5 |      664
1319.93/1320.44	c 1318s |      18 |  2900807 |   405952 |    63827     13 |        5 |      664
1321.92/1322.46	c 1320s |      18 |  2906990 |   406552 |    63827     13 |        5 |      664
1324.23/1324.73	c 1322s |      18 |  2912560 |   407152 |    63827     13 |        5 |      664
1326.32/1326.83	c 1324s |      18 |  2918098 |   407752 |    63827     13 |        5 |      664
1328.52/1329.03	c 1327s |      18 |  2923896 |   408252 |    63827     13 |        5 |      664
1330.62/1331.15	c 1329s |      18 |  2929772 |   408952 |    63827     13 |        5 |      664
1332.92/1333.45	c 1331s |      18 |  2936398 |   409452 |    63827     13 |        5 |      664
1335.02/1335.53	c 1333s |      18 |  2940501 |   409952 |    63827     13 |        5 |      664
1337.22/1337.72	c 1335s |      18 |  2945309 |   410652 |    63827     13 |        5 |      664
1339.52/1340.07	c 1338s |      18 |  2950420 |   411152 |    63827     13 |        5 |      664
1341.62/1342.13	c 1340s |      18 |  2955449 |   411852 |    63827     13 |        5 |      664
1343.92/1344.42	c 1342s |      18 |  2960227 |   412352 |    63827     13 |        5 |      664
1345.92/1346.44	c 1344s |      18 |  2964737 |   413052 |    63827     13 |        5 |      664
1348.12/1348.67	c 1346s |      18 |  2971462 |   413852 |    63827     13 |        5 |      664
1350.51/1351.05	c 1349s |      18 |  2977694 |   414452 |    63827     13 |        5 |      664
1352.71/1353.24	c 1351s |      18 |  2982785 |   415152 |    63827     13 |        5 |      664
1354.91/1355.47	c 1353s |      18 |  2986256 |   415852 |    63827     13 |        5 |      664
1357.01/1357.52	c 1355s |      18 |  2990897 |   416352 |    63827     13 |        5 |      664
1359.01/1359.55	c 1357s |      18 |  2994431 |   416952 |    63827     13 |        5 |      664
1361.41/1361.94	c 1359s |      18 |  2999431 |   417652 |    63827     13 |        5 |      664
1363.61/1364.20	c 1362s |      18 |  3003925 |   418352 |    63827     13 |        5 |      664
1365.71/1366.27	c 1364s |      18 |  3008281 |   419052 |    63827     13 |        5 |      664
1367.81/1368.31	c 1366s |      18 |  3013944 |   419852 |    63827     13 |        5 |      664
1369.91/1370.42	c 1368s |      18 |  3017978 |   420652 |    63827     13 |        5 |      664
1371.91/1372.48	c 1370s |      18 |  3022261 |   421352 |    63827     13 |        5 |      664
1374.11/1374.64	c 1372s |      18 |  3025292 |   422152 |    63827     13 |        5 |      664
1376.21/1376.75	c 1374s |      18 |  3027790 |   423052 |    63827     13 |        5 |      664
1378.71/1379.27	c 1377s |      18 |  3032125 |   423952 |    63827     13 |        5 |      664
1381.21/1381.74	c 1379s |      18 |  3037089 |   424452 |    63827     13 |        5 |      664
1383.62/1384.10	c 1382s |      18 |  3041905 |   425152 |    63827     13 |        5 |      664
1386.11/1386.64	c 1384s |      18 |  3048899 |   425652 |    63827     13 |        5 |      664
1388.51/1389.06	c 1387s |      18 |  3053804 |   426152 |    63827     13 |        5 |      664
1390.91/1391.41	c 1389s |      18 |  3057830 |   426752 |    63827     13 |        5 |      664
1393.01/1393.58	c 1391s |      18 |  3062956 |   427152 |    63827     13 |        5 |      664
1395.41/1395.94	c 1393s |      18 |  3068130 |   427652 |    63827     13 |        5 |      664
1397.51/1398.00	c 1395s |      18 |  3072685 |   428152 |    63827     13 |        5 |      664
1399.71/1400.23	c 1398s |      18 |  3076735 |   428652 |    63827     13 |        5 |      664
1402.11/1402.66	c 1400s |      18 |  3081884 |   429352 |    63827     13 |        5 |      664
1404.21/1404.75	c 1402s |      18 |  3087322 |   429952 |    63827     13 |        5 |      664
1406.31/1406.85	c 1404s |      18 |  3091623 |   430452 |    63827     13 |        5 |      664
1408.41/1408.98	c 1406s |      18 |  3096663 |   431152 |    63827     13 |        5 |      664
1410.71/1411.27	c 1409s |      18 |  3101646 |   431652 |    63827     13 |        5 |      664
1413.01/1413.54	c 1411s |      18 |  3107151 |   432352 |    63827     13 |        5 |      664
1415.21/1415.72	c 1413s |      18 |  3111685 |   432852 |    63827     13 |        5 |      664
1417.51/1418.00	c 1415s |      18 |  3114690 |   433352 |    63827     14 |        5 |      664
1419.61/1420.12	c 1418s |      18 |  3120905 |   434152 |    63827     14 |        5 |      664
1421.71/1422.22	c 1420s |      18 |  3124324 |   434852 |    63827     14 |        5 |      664
1423.91/1424.43	c 1422s |      18 |  3128319 |   435552 |    63827     14 |        5 |      664
1426.01/1426.52	c 1424s |      18 |  3133320 |   436252 |    63827     14 |        5 |      664
1428.11/1428.60	c 1426s |      18 |  3137946 |   437152 |    63827     14 |        5 |      664
1430.31/1430.85	c 1428s |      18 |  3142336 |   437952 |    63827     14 |        5 |      664
1432.41/1432.96	c 1430s |      18 |  3146272 |   438752 |    63827     14 |        5 |      664
1434.51/1435.05	c 1433s |      18 |  3151035 |   439652 |    63827     14 |        5 |      664
1436.61/1437.12	c 1435s |      18 |  3154899 |   440552 |    63827     14 |        5 |      664
1438.61/1439.19	c 1437s |      18 |  3157105 |   441452 |    70210     14 |        5 |      664
1440.71/1441.27	c 1439s |      18 |  3161896 |   441952 |    70210     14 |        5 |      664
1442.91/1443.44	c 1441s |      18 |  3166991 |   442652 |    70210     14 |        5 |      664
1445.41/1445.92	c 1443s |      18 |  3172173 |   443152 |    70210     14 |        5 |      664
1447.41/1447.95	c 1445s |      18 |  3177696 |   443552 |    70210     14 |        5 |      664
1449.50/1450.09	c 1448s |      18 |  3184136 |   444152 |    70210     14 |        5 |      664
1450.60/1451.10	c 1449s |      19 |  3185578 |   444482 |    70210     14 |        5 |      664
1472.70/1473.21	c 1471s |      19 |  3189550 |   444882 |    70210     14 |        5 |      664
1486.80/1487.31	c 1485s |      19 |  3191031 |   444982 |    70210     14 |        5 |      664
1492.09/1492.67	c 1490s |      19 |  3191934 |   445082 |    70210     14 |        5 |      664
1494.19/1494.75	c 1492s |      19 |  3196814 |   445782 |    70210     14 |        5 |      664
1496.59/1497.17	c 1495s |      19 |  3201827 |   446282 |    70210     14 |        5 |      664
1499.10/1499.70	c 1497s |      19 |  3206603 |   446782 |    70210     14 |        5 |      664
1501.49/1502.05	c 1500s |      19 |  3211286 |   447182 |    70210     14 |        5 |      664
1503.60/1504.17	c 1502s |      19 |  3216994 |   447582 |    70210     14 |        5 |      664
1505.89/1506.45	c 1504s |      19 |  3222736 |   448082 |    70210     14 |        5 |      664
1508.00/1508.54	c 1506s |      19 |  3228930 |   448582 |    70210     14 |        5 |      664
1510.20/1510.72	c 1508s |      19 |  3235008 |   449182 |    70210     14 |        5 |      664
1512.59/1513.14	c 1511s |      19 |  3240411 |   449582 |    70210     14 |        5 |      664
1514.99/1515.54	c 1513s |      19 |  3246053 |   449982 |    70210     14 |        5 |      664
1517.29/1517.87	c 1515s |      19 |  3251595 |   450482 |    70210     14 |        5 |      664
1519.69/1520.21	c 1518s |      19 |  3259885 |   451282 |    70210     14 |        5 |      664
1521.79/1522.32	c 1520s |      19 |  3264405 |   451682 |    70210     14 |        5 |      664
1523.79/1524.34	c 1522s |      19 |  3269531 |   452182 |    70210     14 |        5 |      664
1526.39/1526.93	c 1524s |      19 |  3275386 |   452882 |    70210     14 |        5 |      664
1528.59/1529.18	c 1527s |      19 |  3280391 |   453282 |    70210     14 |        5 |      664
1531.00/1531.53	c 1529s |      19 |  3285852 |   453782 |    70210     14 |        5 |      664
1532.99/1533.56	c 1531s |      19 |  3291000 |   454482 |    70210     14 |        5 |      664
1535.19/1535.75	c 1533s |      19 |  3295574 |   455182 |    70210     14 |        5 |      664
1537.19/1537.77	c 1535s |      19 |  3299671 |   455582 |    70210     14 |        5 |      664
1539.69/1540.21	c 1538s |      19 |  3307152 |   456082 |    70210     14 |        5 |      664
1542.19/1542.70	c 1540s |      19 |  3314808 |   456582 |    70210     14 |        5 |      664
1544.29/1544.81	c 1542s |      19 |  3319240 |   457082 |    70210     14 |        5 |      664
1546.59/1547.12	c 1545s |      19 |  3322977 |   457682 |    70210     14 |        5 |      664
1548.79/1549.39	c 1547s |      19 |  3329250 |   458182 |    70210     14 |        5 |      664
1551.39/1551.91	c 1549s |      19 |  3332558 |   458882 |    70210     14 |        5 |      664
1553.58/1554.10	c 1552s |      19 |  3336933 |   459282 |    70210     14 |        5 |      664
1555.78/1556.31	c 1554s |      19 |  3342432 |   459982 |    70210     14 |        5 |      664
1557.78/1558.37	c 1556s |      19 |  3347180 |   460382 |    70210     14 |        5 |      664
1559.98/1560.58	c 1558s |      19 |  3351520 |   460782 |    70210     14 |        5 |      664
1561.98/1562.59	c 1560s |      19 |  3355104 |   461182 |    70210     14 |        5 |      664
1564.38/1564.96	c 1562s |      19 |  3357886 |   461882 |    70210     14 |        5 |      664
1566.78/1567.37	c 1565s |      19 |  3362043 |   462382 |    70210     14 |        5 |      664
1568.88/1569.40	c 1567s |      19 |  3365660 |   462982 |    70210     14 |        5 |      664
1571.18/1571.71	c 1569s |      19 |  3370485 |   463482 |    70210     14 |        5 |      664
1573.28/1573.84	c 1571s |      19 |  3373925 |   463982 |    70210     14 |        5 |      664
1575.58/1576.18	c 1574s |      19 |  3377089 |   464582 |    70210     14 |        5 |      664
1577.68/1578.23	c 1576s |      19 |  3380932 |   464982 |    70210     14 |        5 |      664
1579.88/1580.47	c 1578s |      19 |  3385307 |   465682 |    70210     14 |        5 |      664
1581.98/1582.59	c 1580s |      19 |  3390006 |   466182 |    70210     14 |        5 |      664
1584.18/1584.79	c 1582s |      19 |  3393423 |   466982 |    70210     14 |        5 |      664
1586.48/1587.08	c 1585s |      19 |  3397331 |   467582 |    70210     14 |        5 |      664
1588.68/1589.23	c 1587s |      19 |  3402006 |   468182 |    70210     14 |        5 |      664
1590.88/1591.45	c 1589s |      19 |  3405582 |   468782 |    70210     14 |        5 |      664
1593.08/1593.63	c 1591s |      19 |  3408522 |   469482 |    70210     14 |        5 |      664
1595.38/1595.99	c 1593s |      19 |  3413109 |   470082 |    70210     14 |        5 |      664
1597.58/1598.18	c 1596s |      19 |  3416397 |   470782 |    70210     14 |        5 |      664
1599.88/1600.42	c 1598s |      19 |  3420501 |   471482 |    70210     14 |        5 |      664
1602.08/1602.65	c 1600s |      19 |  3425573 |   472482 |    70210     14 |        5 |      664
1604.18/1604.78	c 1602s |      19 |  3428565 |   473282 |    70210     14 |        5 |      664
1606.98/1607.58	c 1605s |      19 |  3431003 |   474082 |    70210     15 |        5 |      664
1610.78/1611.35	c 1609s |      19 |  3433490 |   474682 |    70210     15 |        5 |      664
1613.18/1613.79	c 1611s |      19 |  3437005 |   474982 |    70210     15 |        5 |      664
1615.48/1616.05	c 1614s |      19 |  3439428 |   475582 |    70210     15 |        5 |      664
1617.68/1618.20	c 1616s |      19 |  3443493 |   476082 |    70210     15 |        5 |      664
1619.77/1620.30	c 1618s |      19 |  3447337 |   476482 |    70210     15 |        5 |      664
1621.77/1622.39	c 1620s |      19 |  3453288 |   476882 |    70210     15 |        5 |      664
1624.17/1624.75	c 1622s |      19 |  3459672 |   477482 |    70210     15 |        5 |      664
1629.38/1629.93	c 1627s |      19 |  3464380 |   478182 |    70210     15 |        5 |      664
1631.48/1632.01	c 1629s |      19 |  3470191 |   478582 |    70210     15 |        5 |      664
1633.48/1634.10	c 1632s |      19 |  3474228 |   478882 |    70210     15 |        5 |      664
1636.08/1636.61	c 1634s |      19 |  3477943 |   479282 |    70210     15 |        5 |      664
1638.28/1638.82	c 1636s |      19 |  3482240 |   479682 |    70210     15 |        5 |      664
1640.78/1641.31	c 1639s |      19 |  3485935 |   480182 |    70210     15 |        5 |      664
1642.77/1643.32	c 1641s |      19 |  3488393 |   480682 |    70210     15 |        5 |      664
1645.17/1645.72	c 1643s |      19 |  3492007 |   481282 |    70210     15 |        5 |      664
1647.58/1648.15	c 1646s |      19 |  3494828 |   481682 |    70210     15 |        5 |      664
1649.67/1650.30	c 1648s |      19 |  3500252 |   482082 |    70210     15 |        5 |      664
1651.77/1652.33	c 1650s |      19 |  3503547 |   482482 |    70210     15 |        5 |      664
1654.18/1654.75	c 1652s |      19 |  3507827 |   483182 |    70210     15 |        5 |      664
1656.17/1656.76	c 1654s |      19 |  3510998 |   483582 |    70210     15 |        5 |      664
1658.27/1658.83	c 1656s |      19 |  3516144 |   483982 |    70210     15 |        5 |      664
1660.57/1661.13	c 1659s |      19 |  3520936 |   484382 |    70210     15 |        5 |      664
1662.98/1663.53	c 1661s |      19 |  3525627 |   484882 |    70210     15 |        5 |      664
1665.07/1665.65	c 1663s |      19 |  3529297 |   485482 |    70210     15 |        5 |      664
1667.17/1667.72	c 1665s |      19 |  3532826 |   485882 |    70210     15 |        5 |      664
1669.37/1669.93	c 1667s |      19 |  3537740 |   486582 |    70210     15 |        5 |      664
1671.47/1672.03	c 1670s |      19 |  3541309 |   486982 |    70210     15 |        5 |      664
1673.57/1674.13	c 1672s |      19 |  3546088 |   487382 |    70210     15 |        5 |      664
1675.57/1676.20	c 1674s |      19 |  3549456 |   487982 |    70210     15 |        5 |      664
1677.97/1678.58	c 1676s |      19 |  3554235 |   488582 |    70210     15 |        5 |      664
1680.17/1680.80	c 1678s |      19 |  3558404 |   488982 |    70210     15 |        5 |      664
1682.37/1682.99	c 1680s |      19 |  3563202 |   489382 |    70210     15 |        5 |      664
1684.67/1685.28	c 1683s |      19 |  3566716 |   489882 |    70210     15 |        5 |      664
1687.07/1687.60	c 1685s |      19 |  3570390 |   490582 |    70210     15 |        5 |      664
1689.07/1689.65	c 1687s |      19 |  3573519 |   490982 |    70210     15 |        5 |      664
1691.27/1691.81	c 1689s |      19 |  3576620 |   491382 |    70210     15 |        5 |      664
1693.47/1694.02	c 1692s |      19 |  3578806 |   491982 |    70210     15 |        5 |      664
1695.87/1696.42	c 1694s |      19 |  3583148 |   492482 |    70210     15 |        5 |      664
1698.06/1698.69	c 1696s |      19 |  3587342 |   492982 |    70210     15 |        5 |      664
1700.26/1700.80	c 1698s |      19 |  3590927 |   493582 |    70210     15 |        5 |      664
1702.36/1702.99	c 1700s |      19 |  3594558 |   493982 |    70210     15 |        5 |      664
1704.77/1705.38	c 1703s |      19 |  3598988 |   494482 |    70210     15 |        5 |      664
1706.86/1707.45	c 1705s |      19 |  3605784 |   495282 |    70210     15 |        5 |      664
1709.17/1709.76	c 1707s |      19 |  3608365 |   495882 |    70210     15 |        5 |      664
1711.56/1712.12	c 1710s |      19 |  3611816 |   496382 |    70210     15 |        5 |      664
1713.76/1714.35	c 1712s |      19 |  3614589 |   496882 |    70210     15 |        5 |      664
1715.87/1716.47	c 1714s |      19 |  3617458 |   497482 |    70210     15 |        5 |      664
1718.07/1718.67	c 1716s |      19 |  3621688 |   497982 |    70210     15 |        5 |      664
1720.36/1720.93	c 1718s |      19 |  3625769 |   498682 |    70210     15 |        5 |      664
1722.47/1723.06	c 1721s |      19 |  3629302 |   499182 |    70210     15 |        5 |      664
1724.67/1725.20	c 1723s |      19 |  3631948 |   499782 |    70210     15 |        5 |      664
1726.77/1727.36	c 1725s |      19 |  3634738 |   500282 |    70210     15 |        5 |      664
1729.26/1729.85	c 1727s |      19 |  3638149 |   500882 |    70210     15 |        5 |      664
1731.46/1732.07	c 1730s |      19 |  3641818 |   501482 |    70210     15 |        5 |      664
1733.76/1734.38	c 1732s |      19 |  3644958 |   502182 |    70210     15 |        5 |      664
1735.96/1736.58	c 1734s |      19 |  3648849 |   502782 |    70210     15 |        5 |      664
1738.26/1738.80	c 1736s |      19 |  3651189 |   503382 |    70210     15 |        5 |      664
1740.56/1741.13	c 1739s |      19 |  3654222 |   504082 |    70210     15 |        5 |      664
1742.76/1743.34	c 1741s |      19 |  3656747 |   504782 |    70210     15 |        5 |      664
1744.76/1745.38	c 1743s |      19 |  3658915 |   505382 |    70210     15 |        5 |      664
1746.86/1747.41	c 1745s |      19 |  3661485 |   505982 |    70210     15 |        5 |      664
1748.86/1749.44	c 1747s |      19 |  3664097 |   506682 |    70210     15 |        5 |      664
1750.96/1751.54	c 1749s |      19 |  3667132 |   507582 |    70210     15 |        5 |      664
1753.66/1754.24	c 1752s |      19 |  3669840 |   508282 |    70210     16 |        5 |      664
1756.16/1756.73	c 1754s |      19 |  3674280 |   508582 |    70210     16 |        5 |      664
1758.15/1758.74	c 1756s |      19 |  3677431 |   508882 |    70210     16 |        5 |      664
1760.15/1760.78	c 1758s |      19 |  3682661 |   509482 |    70210     16 |        5 |      664
1762.55/1763.13	c 1761s |      19 |  3687029 |   509982 |    70210     16 |        5 |      664
1764.96/1765.54	c 1763s |      19 |  3690803 |   510382 |    70210     16 |        5 |      664
1767.06/1767.67	c 1765s |      19 |  3696120 |   510782 |    70210     16 |        5 |      664
1769.46/1770.07	c 1768s |      19 |  3702654 |   511582 |    70210     16 |        5 |      664
1771.56/1772.19	c 1770s |      19 |  3706235 |   511982 |    70210     16 |        5 |      664
1773.86/1774.45	c 1772s |      19 |  3710317 |   512382 |    70210     16 |        5 |      664
1776.06/1776.61	c 1774s |      19 |  3714785 |   512782 |    70210     16 |        5 |      664
1778.16/1778.71	c 1776s |      19 |  3719274 |   513282 |    70210     16 |        5 |      664
1780.26/1780.86	c 1778s |      19 |  3722753 |   513882 |    70210     16 |        5 |      664
1782.46/1783.07	c 1781s |      19 |  3726310 |   514282 |    70210     16 |        5 |      664
1784.76/1785.30	c 1783s |      19 |  3729541 |   514882 |    70210     16 |        5 |      664
1786.76/1787.36	c 1785s |      19 |  3733022 |   515382 |    70210     16 |        5 |      664
1788.86/1789.44	c 1787s |      19 |  3737063 |   515782 |    70210     16 |        5 |      664
1791.06/1791.64	c 1789s |      19 |  3741208 |   516182 |    70210     16 |        5 |      664
1793.06/1793.68	c 1791s |      19 |  3746603 |   516782 |    70210     16 |        5 |      664
1795.36/1795.97	c 1793s |      19 |  3750203 |   517282 |    70210     16 |        5 |      664
1797.56/1798.14	c 1796s |      19 |  3754203 |   517682 |    70210     16 |        5 |      664
1799.66/1800.22	c 1798s |      19 |  3759012 |   518082 |    70210     16 |        5 |      664

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2777
/proc/meminfo: memFree=30696672/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 2702 0 0 0 0 0 0 0 20 0 4 0 14077021 741797888 3573 33554432000 4194304 16246674 140733436599408 140733436598832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 181615 3581 441 2943 0 178509 0
[pid=2777/tid=2778] ppid=2774 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 787935232 3748 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 792129536 3765 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 797372416 3783 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2777
/proc/meminfo: memFree=30696672/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 29069 0 0 0 5 4 0 0 20 0 4 0 14077021 1333334016 29878 33554432000 4194304 16246674 140733436599408 140733436598720 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 325521 29894 801 2943 0 322415 0
[pid=2777/tid=2778] ppid=2774 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1333334016 29906 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1333334016 29917 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1333334016 29927 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200525 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2777
/proc/meminfo: memFree=30696672/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 48608 0 0 0 12 7 0 0 20 0 4 0 14077021 1344868352 49928 33554432000 4194304 16246674 140733436599408 140733436598720 7364068 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 328337 49928 801 2943 0 325231 0
[pid=2777/tid=2778] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 49928 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 49928 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 49928 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300496 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2777
/proc/meminfo: memFree=30696672/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 57068 0 0 0 21 8 0 0 20 0 4 0 14077021 1344868352 58388 33554432000 4194304 16246674 140733436599408 140733436598720 8058568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 328337 58388 801 2943 0 325231 0
[pid=2777/tid=2778] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 58388 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 58388 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 58388 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700428 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2777
/proc/meminfo: memFree=30696672/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 75148 0 0 0 58 10 0 0 20 0 4 0 14077021 1344868352 76468 33554432000 4194304 16246674 140733436599408 140733436598504 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 328337 76468 802 2943 0 325231 0
[pid=2777/tid=2778] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 76468 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 76468 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 76468 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2781
/proc/meminfo: memFree=30079452/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 256792 0 0 0 115 34 0 0 20 0 4 0 14077021 1344868352 258113 33554432000 4194304 16246674 140733436599408 140733436581312 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 328337 258130 836 2943 0 325231 0
[pid=2777/tid=2778] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 258136 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 258142 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1344868352 258149 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2781
/proc/meminfo: memFree=29594000/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1335876 CPUtime=3.09 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 274507 0 0 0 273 36 0 0 20 0 4 0 14077021 1367937024 275827 33554432000 4194304 16246674 140733436599408 140733436581312 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 333969 275827 883 2943 0 330863 0
[pid=2777/tid=2778] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275827 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275827 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275827 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1335876

[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2782
/proc/meminfo: memFree=29593652/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1335876 CPUtime=6.29 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 274637 0 0 0 593 36 0 0 20 0 4 0 14077021 1367937024 275957 33554432000 4194304 16246674 140733436599408 140733436581312 5659326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 333969 275957 886 2943 0 330863 0
[pid=2777/tid=2778] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275957 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275957 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275957 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1335876

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2782
/proc/meminfo: memFree=29593560/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1335876 CPUtime=12.69 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 274639 0 0 0 1233 36 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 140733436581312 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 333969 275959 886 2943 0 330863 0
[pid=2777/tid=2778] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1335876

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2782
/proc/meminfo: memFree=29593816/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1335876 CPUtime=25.49 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 274639 0 0 0 2513 36 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 140733436581312 5673527 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 333969 275959 886 2943 0 330863 0
[pid=2777/tid=2778] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1335876

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2782
/proc/meminfo: memFree=29593696/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1335876 CPUtime=51.08 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 274639 0 0 0 5072 36 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 140733436581312 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 333969 275959 886 2943 0 330863 0
[pid=2777/tid=2778] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275959 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1335876

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2786
/proc/meminfo: memFree=29593924/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1335876 CPUtime=102.27 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 274641 0 0 0 10191 36 0 0 20 0 4 0 14077021 1367937024 275961 33554432000 4194304 16246674 140733436599408 140733436581312 5673567 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 333969 275961 887 2943 0 330863 0
[pid=2777/tid=2778] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275961 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275961 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1367937024 275961 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1335876


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

/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1436094464 292604 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1402436

[startup+1362.3 s]
/proc/loadavg: 1.03 1.03 1.30 2/174 2871
/proc/meminfo: memFree=30700832/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1404484 CPUtime=1361.81 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 291971 0 0 0 136131 50 0 0 20 0 4 0 14077021 1438191616 292878 33554432000 4194304 16246674 140733436599408 140733436581312 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 351121 292878 887 2943 0 348015 0
[pid=2777/tid=2778] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 292878 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 292878 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 292878 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1404484

[startup+1422.3 s]
/proc/loadavg: 1.01 1.02 1.28 2/173 2872
/proc/meminfo: memFree=30700948/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1404484 CPUtime=1421.81 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 291971 0 0 0 142130 51 0 0 20 0 4 0 14077021 1438191616 292878 33554432000 4194304 16246674 140733436599408 140733436581312 5823905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 351121 292878 887 2943 0 348015 0
[pid=2777/tid=2778] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 292878 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 292878 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 292878 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1404484

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/173 2873
/proc/meminfo: memFree=30699812/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1404484 CPUtime=1481.79 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 292209 0 0 0 148126 53 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 140733436598504 4220490 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 351121 293116 887 2943 0 348015 0
[pid=2777/tid=2778] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1404484

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/173 2875
/proc/meminfo: memFree=30699920/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1404484 CPUtime=1541.79 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 292209 0 0 0 154125 54 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 140733436581312 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 351121 293116 887 2943 0 348015 0
[pid=2777/tid=2778] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1404484

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/173 2876
/proc/meminfo: memFree=30699908/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1404484 CPUtime=1601.78 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 292209 0 0 0 160124 54 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 140733436581312 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 351121 293116 887 2943 0 348015 0
[pid=2777/tid=2778] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1404484

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.21 2/173 2877
/proc/meminfo: memFree=30699768/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1404484 CPUtime=1661.77 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 292209 0 0 0 166122 55 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 140733436581312 13820864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 351121 293116 887 2943 0 348015 0
[pid=2777/tid=2778] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1404484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/173 2878
/proc/meminfo: memFree=30699756/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1404484 CPUtime=1721.76 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 292209 0 0 0 172121 55 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 140733436581312 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 351121 293116 887 2943 0 348015 0
[pid=2777/tid=2778] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1438191616 293116 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1404484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/173 2879
/proc/meminfo: memFree=30670724/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1433156 CPUtime=1781.77 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 299377 0 0 0 178120 57 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 140733436581312 12483667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 358289 300284 887 2943 0 355183 0
[pid=2777/tid=2778] ppid=2774 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1433156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.17 2/173 2879
/proc/meminfo: memFree=30670216/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1433156 CPUtime=1800.06 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 299377 0 0 0 179949 57 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 140733436581312 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 358289 300284 887 2943 0 355183 0
[pid=2777/tid=2778] ppid=2774 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1433156

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.17 2/173 2879
/proc/meminfo: memFree=30670216/32872528 swapFree=7268/7268
[pid=2777] ppid=2774 vsize=1433156 CPUtime=1800.06 cores=1,3,5,7
/proc/2777/stat : 2777 (toysat) R 2774 2777 29295 0 -1 4202496 299377 0 0 0 179949 57 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 140733436581312 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2777/statm: 358289 300284 887 2943 0 355183 0
[pid=2777/tid=2778] ppid=2774 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2778/stat : 2778 (toysat) S 2774 2777 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 139824939904240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2777/tid=2779] ppid=2774 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2779/stat : 2779 (toysat) S 2774 2777 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 139824929414384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2777/tid=2780] ppid=2774 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/2777/task/2780/stat : 2780 (toysat) S 2774 2777 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077021 1467551744 300284 33554432000 4194304 16246674 140733436599408 139824807799984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1433156

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.5
CPU system time (s): 0.569913
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1433156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.569913
maximum resident set size= 1201136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299377
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= 433
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67829 second user time and 6.83196 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-17 01:38:42
IDJOB=4098311
IDBENCH=107882
IDSOLVER=2542
FILE ID=node151/4098311-1466120322
RUNJOBID= node151-1466112624-31872
PBS_JOBID= 19904038
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_12.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098311-1466120322/watcher-4098311-1466120322 -o /tmp/evaluation-result-4098311-1466120322/solver-4098311-1466120322 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466112624-31872 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098311-1466120322.opb

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

MD5SUM BENCH= 88c077ef261c9c72be220a244f8093f6
RANDOM SEED=1021932593

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30696944 kB
Buffers:           72172 kB
Cached:           170448 kB
SwapCached:        61592 kB
Active:          1282496 kB
Inactive:         180060 kB
Active(anon):    1161100 kB
Inactive(anon):    61036 kB
Active(file):     121396 kB
Inactive(file):   119024 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             20240 kB
Writeback:             0 kB
AnonPages:       1166684 kB
Mapped:            10680 kB
Shmem:                 0 kB
Slab:             572988 kB
SReclaimable:      16312 kB
SUnreclaim:       556676 kB
KernelStack:        1504 kB
PageTables:         6332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1308964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1153024 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= 71728 MiB
End job on node151 at 2016-06-17 02:08:43