Trace number 4079889

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.62

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx75.opb
MD5SUM899c8865b8ac9a45eaa204f923cbd9e8
Bench CategoryOPT-SMALLINT-LIN (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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4977
Total number of constraints5494
Number of constraints which are clauses4970
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints448
Minimum length of a constraint2
Maximum length of a constraint448
Number of terms in the objective function 7
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 947
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T04:22:51+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-4079889-1465266170.opb"]
0.00/0.01	c use --random-gen="433704797 4236555771 2441389172 3356018797 492163227 763569376 1600372280 1244724967 3278949376 148464102 2177869524 3519014531 3942122848 1752685715 2279151030 2186964110 1971581727 3268359643 695884824 3192111553 1605942799 480529388 4068849594 2994037968 206079027 2845644312 4187402135 653160054 306468286 3316456126 4237321595 243878729 2994137778 883217199 704605811 1848164290 3417711418 4084976423 2332478467 1073842232 3300501756 565315965 2676051188 4113289697 793887206 2685982721 575746125 2996043263 70877499 2189415300 1054704930 372580945 566198088 185990728 1250804759 1787260419 3799719537 3328018115 1556832169 3835623554 2267825905 2881323879 400699893 248136067 1296036892 2652337171 939532683 3061097360 3393559821 855692323 4159107291 1186046900 3109685797 205108970 3179923176 2596889355 1159559711 3211980918 137345072 2862186653 888823108 1215243767 2555309879 1518161275 634306763 2846235277 116047733 2659778792 2796626595 2835198034 2135155004 2716466589 2980461517 3484471747 4002440800 3440099909 2744538032 3673362953 2122385635 4201978062 2230458955 291876514 523576415 3941694720 3550416911 3909878937 3997979898 999448756 383464651 2217740386 3447005676 1604857232 4108051778 2866107953 2038310942 3879989251 3038490278 2712454188 4289891119 1157892200 3981692557 1007588986 1251325568 3407393739 653570610 1429180919 3943360380 237708327 1133464602 3723247126 3991964178 3925070467 3774366202 764852045 958441757 991283235 2631544458 3071053474 3956696627 2177035951 362795157 2794765345 1375643566 1823757179 1149123013 1145514919 248987112 1154056224 1637243433 1999659675 1240626286 2726122618 3944968286 2308831925 1406290495 2645749415 1074957177 3119879503 3477582996 924552450 2358597609 3259143473 463281922 35192203 3456269894 1860171981 3423269322 2017342687 1167416952 4166001023 3874769251 459349138 3077690958 3051408252 2808617060 3021731793 1975378277 2824671751 2320666402 573253523 4227157424 392119067 1447693456 912804049 2419921922 3377911922 1351108858 3598353428 2366850129 2995883770 1294842941 2719284001 1939276438 3691470138 1595656530 4104012622 1872230229 2865560617 3269160604 3138165129 1529963933 3843495344 3116159645 2892663523 1136291503 854331962 2523111703 1236150179 1343305338 910891528 2269864870 2029001429 2836664354 2017962447 601838989 1843368394 1165739036 3620914769 3908038360 4128426321 2934185821 3751820082 2662999682 3557189838 930726714 513851641 755969533 3503377037 2817338558 3211876495 963826479 1246181138 473604389 1587622690 1424134020 3284960722 3778509913 2251381615 968030790 3308366165 1177019086 3029481178 3170058287 1377466082 219598722 142552956 3771891039 4094614345 437607783 370946816 4224572936 3101028791 1322779836 4017047450 1523400818 3620984015 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4977
0.09/0.12	c #constraints 5494
0.19/0.29	c BCD2: Hardening is enabled.
0.19/0.29	c BCD2: BiasedSearch is enabled.
0.19/0.29	c Solving starts ...
0.19/0.29	c ============================[ Search Statistics ]============================
0.19/0.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.29	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.29	c =============================================================================
0.29/0.34	c  0.0s |       0 |        0 |        0 |     3515      0 |        7 |        0
0.39/0.41	c  0.1s |       1 |      148 |      100 |     3515      0 |        7 |     4970
0.49/0.53	c  0.2s |       2 |     1401 |      250 |     3867      0 |        7 |     4970
1.09/1.16	c  0.8s |       3 |     2064 |      475 |     4254      0 |        7 |     4970
1.49/1.54	c  1.2s |       4 |     3971 |      813 |     4680      0 |        7 |     4970
2.09/2.12	c  1.8s |       5 |     5768 |     1320 |     5148      0 |        7 |     4970
3.40/3.49	c  3.2s |       6 |     7758 |     2081 |     6230      0 |        7 |     4970
5.60/5.70	c  5.4s |       6 |     9818 |     2781 |     6230      0 |        7 |     4970
7.49/7.58	c  7.2s |       7 |    10375 |     3223 |     6854      0 |        7 |     4970
9.59/9.68	c  9.3s |       7 |    12676 |     4123 |     6854      0 |        7 |     4970
11.79/11.87	c 11.5s |       7 |    13857 |     4923 |     7540      0 |        7 |     4970
11.89/11.92	c 11.6s |       8 |    13871 |     4936 |     7540      0 |        7 |     4970
13.88/13.94	c 13.6s |       8 |    16389 |     6636 |     7540      0 |        7 |     4970
15.18/15.24	c 14.9s |       9 |    17309 |     7506 |     8294      0 |        7 |     4970
17.28/17.39	c 17.1s |       9 |    18710 |     8106 |     8294      0 |        7 |     4970
19.38/19.41	c 19.1s |       9 |    20169 |     8606 |     8294      0 |        7 |     4970
21.48/21.51	c 21.2s |       9 |    21933 |     9106 |     8294      0 |        7 |     4970
23.58/23.67	c 23.3s |       9 |    22895 |     9506 |     8294      0 |        7 |     4970
25.58/25.67	c 25.3s |       9 |    24955 |    10006 |     8294      0 |        7 |     4970
28.09/28.17	c 27.8s |       9 |    27675 |    10606 |     8294      0 |        7 |     4970
30.69/30.79	c 30.5s |       9 |    28868 |    11006 |     8294      0 |        7 |     4970
31.99/32.09	c 31.8s |      10 |    32038 |    11361 |     9124      0 |        7 |     4970
34.09/34.16	c 33.8s |      10 |    36340 |    12661 |     9124      1 |        7 |     4970
36.08/36.16	c 35.8s |      10 |    38224 |    13461 |     9124      1 |        7 |     4970
38.18/38.28	c 37.9s |      10 |    38714 |    13861 |     9124      1 |        7 |     4970
40.69/40.74	c 40.4s |      10 |    39478 |    14361 |     9124      1 |        7 |     4970
43.38/43.41	c 43.1s |      10 |    39949 |    14761 |     9124      1 |        7 |     4970
45.38/45.48	c 45.1s |      10 |    40339 |    15061 |     9124      1 |        7 |     4970
47.98/48.07	c 47.7s |      10 |    40926 |    15461 |     9124      1 |        7 |     4970
50.18/50.21	c 49.9s |      10 |    41381 |    15761 |     9124      1 |        7 |     4970
52.18/52.23	c 51.9s |      10 |    41864 |    16061 |     9124      1 |        7 |     4970
54.78/54.80	c 54.5s |      10 |    42499 |    16461 |     9124      1 |        7 |     4970
56.98/57.01	c 56.7s |      10 |    42936 |    16761 |     9124      1 |        7 |     4970
59.09/59.15	c 58.8s |      10 |    43335 |    17061 |    10037      1 |        7 |     4970
59.88/59.97	c 59.6s |      11 |    43412 |    17144 |    10037      1 |        7 |     4970
62.08/62.11	c 61.8s |      11 |    46536 |    18144 |    10037      2 |        7 |     4970
64.18/64.23	c 63.9s |      11 |    48691 |    19444 |    10037      2 |        7 |     4970
66.38/66.40	c 66.1s |      11 |    50173 |    20744 |    10037      2 |        7 |     4970
68.48/68.58	c 68.2s |      11 |    51792 |    21844 |    10037      2 |        7 |     4970
70.58/70.61	c 70.3s |      11 |    53011 |    22844 |    10037      2 |        7 |     4970
72.59/72.66	c 72.3s |      11 |    54225 |    23744 |    10037      2 |        7 |     4970
74.79/74.82	c 74.5s |      11 |    55084 |    24544 |    10037      3 |        7 |     4970
76.78/76.89	c 76.6s |      11 |    56193 |    25444 |    10037      3 |        7 |     4970
77.48/77.55	c 77.2s |      12 |    56657 |    25819 |    11041      3 |        7 |     4970
79.68/79.72	c 79.4s |      12 |    58638 |    26819 |    11041      3 |        7 |     4970
81.88/81.93	c 81.6s |      12 |    59696 |    27619 |    11041      3 |        7 |     4970
83.98/84.06	c 83.7s |      12 |    60534 |    28319 |    11041      3 |        7 |     4970
86.08/86.12	c 85.8s |      12 |    61344 |    29019 |    11041      3 |        7 |     4970
88.38/88.47	c 88.1s |      12 |    62328 |    29819 |    11041      3 |        7 |     4970
90.48/90.57	c 90.2s |      12 |    63006 |    30419 |    11041      3 |        7 |     4970
92.57/92.68	c 92.3s |      12 |    63659 |    31019 |    11041      3 |        7 |     4970
94.58/94.69	c 94.4s |      12 |    64266 |    31519 |    11041      3 |        7 |     4970
96.78/96.86	c 96.5s |      12 |    64875 |    32019 |    11041      3 |        7 |     4970
99.27/99.31	c 99.0s |      12 |    65427 |    32519 |    11041      4 |        7 |     4970
101.28/101.37	c  101s |      12 |    65881 |    32919 |    11041      4 |        7 |     4970
103.77/103.80	c  103s |      12 |    66320 |    33319 |    11041      4 |        7 |     4970
106.27/106.36	c  106s |      12 |    67036 |    33819 |    11041      4 |        7 |     4970
108.37/108.47	c  108s |      12 |    67609 |    34219 |    11041      4 |        7 |     4970
110.77/110.87	c  110s |      12 |    68155 |    34719 |    11041      4 |        7 |     4970
113.17/113.29	c  112s |      12 |    68886 |    35219 |    11041      4 |        7 |     4970
115.47/115.56	c  115s |      12 |    69338 |    35619 |    11041      4 |        7 |     4970
117.87/117.99	c  117s |      12 |    69765 |    36019 |    11041      4 |        7 |     4970
120.07/120.10	c  119s |      12 |    70564 |    36419 |    11041      4 |        7 |     4970
122.46/122.53	c  122s |      12 |    71109 |    36919 |    11041      4 |        7 |     4970
124.86/124.99	c  124s |      12 |    71526 |    37319 |    11041      4 |        7 |     4970
126.96/127.08	c  126s |      12 |    72027 |    37719 |    11041      4 |        7 |     4970
129.06/129.13	c  128s |      12 |    72492 |    38119 |    11041      4 |        7 |     4970
131.36/131.46	c  131s |      12 |    73213 |    38719 |    12146      4 |        7 |     4970
131.96/132.01	c  131s |      13 |    73381 |    38832 |    12146      4 |        7 |     4970
133.95/134.01	c  133s |      13 |    76157 |    39632 |    12146      5 |        7 |     4970
135.95/136.06	c  135s |      13 |    77794 |    41032 |    12146      5 |        7 |     4970
138.05/138.13	c  137s |      13 |    79754 |    42132 |    12146      5 |        7 |     4970
140.05/140.15	c  139s |      13 |    80366 |    42532 |    12146      5 |        7 |     4970
143.06/143.12	c  142s |      13 |    80880 |    42932 |    12146      5 |        7 |     4970
145.16/145.30	c  144s |      13 |    81591 |    43532 |    12146      5 |        7 |     4970
147.55/147.64	c  147s |      13 |    82366 |    44132 |    12146      5 |        7 |     4970
149.75/149.89	c  149s |      13 |    83100 |    44732 |    12146      5 |        7 |     4970
152.05/152.19	c  151s |      13 |    83942 |    45432 |    12146      5 |        7 |     4970
154.45/154.56	c  154s |      13 |    84537 |    45932 |    12146      5 |        7 |     4970
156.85/156.95	c  156s |      13 |    85052 |    46332 |    12146      5 |        7 |     4970
159.34/159.41	c  159s |      13 |    85399 |    46632 |    12146      6 |        7 |     4970
161.84/161.93	c  161s |      13 |    85881 |    47032 |    12146      6 |        7 |     4970
164.35/164.41	c  164s |      13 |    86515 |    47432 |    12146      6 |        7 |     4970
166.55/166.62	c  166s |      13 |    87186 |    47932 |    12146      6 |        7 |     4970
168.95/169.08	c  168s |      13 |    87780 |    48432 |    12146      6 |        7 |     4970
171.84/171.95	c  171s |      13 |    88322 |    48832 |    12146      6 |        7 |     4970
174.14/174.22	c  173s |      13 |    89208 |    49132 |    12146      6 |        7 |     4970
176.54/176.67	c  176s |      13 |    89843 |    49632 |    12146      6 |        7 |     4970
178.64/178.74	c  178s |      13 |    90475 |    50032 |    12146      6 |        7 |     4970
180.84/180.97	c  180s |      13 |    91200 |    50632 |    12146      6 |        7 |     4970
183.74/183.83	c  183s |      13 |    91727 |    51032 |    12146      6 |        7 |     4970
185.84/185.90	c  185s |      13 |    91956 |    51232 |    12146      6 |        7 |     4970
187.83/187.95	c  187s |      13 |    92398 |    51632 |    12146      6 |        7 |     4970
189.93/190.03	c  189s |      13 |    93206 |    52132 |    12146      6 |        7 |     4970
192.33/192.42	c  192s |      13 |    93708 |    52532 |    12146      6 |        7 |     4970
194.33/194.49	c  194s |      13 |    95375 |    53132 |    12146      6 |        7 |     4970
197.03/197.17	c  196s |      13 |    96433 |    54032 |    12146      7 |        7 |     4970
199.14/199.24	c  198s |      13 |    98086 |    54532 |    12146      7 |        7 |     4970
201.34/201.43	c  201s |      13 |   100060 |    54932 |    12146      7 |        7 |     4970
203.63/203.76	c  203s |      13 |   101330 |    55632 |    12146      7 |        7 |     4970
206.03/206.13	c  205s |      13 |   102767 |    56232 |    12146      7 |        7 |     4970
208.43/208.50	c  208s |      13 |   104049 |    56732 |    12146      7 |        7 |     4970
210.63/210.77	c  210s |      13 |   105261 |    57232 |    12146      7 |        7 |     4970
212.62/212.77	c  212s |      13 |   106374 |    57732 |    12146      7 |        7 |     4970
214.43/214.56	c  214s |      14 |   107443 |    58352 |    13361      7 |        7 |     4970
216.52/216.63	c  216s |      14 |   110137 |    59352 |    13361      7 |        7 |     4970
218.52/218.66	c  218s |      14 |   111646 |    60352 |    13361      7 |        7 |     4970
220.82/220.90	c  220s |      14 |   112867 |    61152 |    13361      7 |        7 |     4970
223.02/223.19	c  222s |      14 |   114230 |    62052 |    13361      7 |        7 |     4970
225.12/225.25	c  224s |      14 |   115173 |    62752 |    13361      7 |        7 |     4970
227.22/227.31	c  226s |      14 |   115971 |    63252 |    13361      8 |        7 |     4970
229.42/229.53	c  229s |      14 |   117210 |    64052 |    13361      8 |        7 |     4970
231.52/231.61	c  231s |      14 |   118089 |    64652 |    13361      8 |        7 |     4970
233.61/233.73	c  233s |      14 |   118781 |    65252 |    13361      8 |        7 |     4970
235.81/235.95	c  235s |      14 |   119817 |    65952 |    13361      8 |        7 |     4970
237.91/238.01	c  237s |      14 |   120344 |    66452 |    13361      8 |        7 |     4970
240.11/240.24	c  239s |      14 |   121186 |    67052 |    13361      8 |        7 |     4970
242.11/242.26	c  241s |      14 |   121867 |    67652 |    13361      8 |        7 |     4970
244.22/244.35	c  244s |      14 |   122858 |    68352 |    13361      8 |        7 |     4970
246.31/246.47	c  246s |      14 |   123856 |    69152 |    13361      8 |        7 |     4970
248.51/248.68	c  248s |      14 |   125077 |    69952 |    13361      8 |        7 |     4970
250.81/250.93	c  250s |      14 |   126069 |    70652 |    13361      8 |        7 |     4970
253.01/253.12	c  252s |      14 |   126882 |    71352 |    13361      8 |        7 |     4970
255.11/255.30	c  254s |      14 |   127491 |    71852 |    13361      9 |        7 |     4970
257.32/257.49	c  257s |      14 |   128356 |    72552 |    13361      9 |        7 |     4970
259.52/259.68	c  259s |      14 |   129378 |    73252 |    13361      9 |        7 |     4970
261.72/261.81	c  261s |      14 |   130220 |    73952 |    13361      9 |        7 |     4970
263.81/263.98	c  263s |      14 |   130998 |    74552 |    13361      9 |        7 |     4970
266.12/266.29	c  265s |      14 |   131784 |    75152 |    13361      9 |        7 |     4970
268.51/268.63	c  268s |      14 |   132483 |    75752 |    13361      9 |        7 |     4970
270.51/270.69	c  270s |      14 |   133201 |    76352 |    13361      9 |        7 |     4970
272.61/272.78	c  272s |      14 |   133909 |    76952 |    13361      9 |        7 |     4970
274.81/274.94	c  274s |      14 |   134565 |    77552 |    13361      9 |        7 |     4970
276.91/277.09	c  276s |      14 |   135224 |    78052 |    13361      9 |        7 |     4970
279.11/279.22	c  278s |      14 |   136076 |    78652 |    13361      9 |        7 |     4970
281.11/281.28	c  280s |      14 |   137274 |    79352 |    13361      9 |        7 |     4970
283.21/283.38	c  283s |      14 |   138497 |    80052 |    13361      9 |        7 |     4970
285.51/285.68	c  285s |      14 |   139310 |    80652 |    13361     10 |        7 |     4970
287.81/287.99	c  287s |      14 |   140184 |    81352 |    13361     10 |        7 |     4970
289.90/290.02	c  289s |      14 |   141083 |    81952 |    13361     10 |        7 |     4970
292.00/292.13	c  291s |      14 |   141829 |    82552 |    13361     10 |        7 |     4970
294.20/294.34	c  294s |      14 |   142856 |    83252 |    13361     10 |        7 |     4970
296.40/296.58	c  296s |      14 |   143605 |    83852 |    13361     10 |        7 |     4970
298.70/298.81	c  298s |      14 |   144423 |    84452 |    13361     10 |        7 |     4970
301.00/301.19	c  300s |      14 |   145181 |    85052 |    13361     10 |        7 |     4970
303.20/303.38	c  303s |      14 |   146189 |    85652 |    13361     10 |        7 |     4970
305.30/305.48	c  305s |      14 |   146753 |    86152 |    13361     10 |        7 |     4970
307.50/307.64	c  307s |      14 |   147703 |    86752 |    13361     10 |        7 |     4970
309.70/309.80	c  309s |      14 |   148731 |    87452 |    14698     10 |        7 |     4970
310.10/310.29	c  309s |      15 |   149051 |    87632 |    14698     10 |        7 |     4970
312.49/312.60	c  312s |      15 |   152393 |    88232 |    14698     11 |        7 |     4970
314.60/314.74	c  314s |      15 |   155105 |    89532 |    14698     11 |        7 |     4970
316.59/316.77	c  316s |      15 |   156733 |    90532 |    14698     11 |        7 |     4970
318.69/318.85	c  318s |      15 |   158331 |    91632 |    14698     11 |        7 |     4970
320.89/321.01	c  320s |      15 |   159670 |    92732 |    14698     11 |        7 |     4970
322.99/323.14	c  322s |      15 |   160944 |    93732 |    14698     11 |        7 |     4970
325.19/325.35	c  325s |      15 |   162121 |    94632 |    14698     11 |        7 |     4970
327.39/327.53	c  327s |      15 |   163077 |    95432 |    14698     11 |        7 |     4970
329.49/329.66	c  329s |      15 |   164145 |    96232 |    14698     11 |        7 |     4970
331.49/331.68	c  331s |      15 |   165545 |    97032 |    14698     11 |        7 |     4970
333.58/333.73	c  333s |      15 |   166403 |    97632 |    14698     12 |        7 |     4970
335.68/335.80	c  335s |      15 |   167498 |    98432 |    14698     12 |        7 |     4970
337.78/337.92	c  337s |      15 |   168969 |    99332 |    14698     12 |        7 |     4970
340.08/340.22	c  339s |      15 |   169943 |   100132 |    14698     12 |        7 |     4970
342.09/342.28	c  341s |      15 |   171387 |   100932 |    14698     12 |        7 |     4970
344.18/344.37	c  344s |      15 |   175927 |   102032 |    14698     12 |        7 |     4970
346.38/346.52	c  346s |      15 |   177612 |   102932 |    14698     12 |        7 |     4970
348.37/348.53	c  348s |      15 |   178594 |   103732 |    14698     12 |        7 |     4970
350.47/350.65	c  350s |      15 |   180190 |   104632 |    14698     12 |        7 |     4970
352.67/352.86	c  352s |      15 |   181229 |   105432 |    14698     12 |        7 |     4970
354.77/354.97	c  354s |      15 |   181855 |   105932 |    14698     12 |        7 |     4970
357.07/357.29	c  356s |      15 |   182717 |   106532 |    14698     12 |        7 |     4970
359.77/359.93	c  359s |      15 |   183530 |   107232 |    14698     13 |        7 |     4970
361.88/362.00	c  361s |      15 |   184153 |   107832 |    14698     13 |        7 |     4970
363.87/364.01	c  363s |      15 |   184819 |   108432 |    14698     13 |        7 |     4970
365.87/366.08	c  365s |      15 |   185668 |   109132 |    14698     13 |        7 |     4970
367.87/368.08	c  367s |      15 |   186799 |   109832 |    14698     13 |        7 |     4970
370.07/370.21	c  369s |      15 |   187624 |   110432 |    14698     13 |        7 |     4970
372.26/372.45	c  372s |      15 |   188300 |   111032 |    14698     13 |        7 |     4970
374.46/374.63	c  374s |      15 |   189215 |   111632 |    14698     13 |        7 |     4970
376.86/377.01	c  376s |      15 |   190510 |   112432 |    14698     13 |        7 |     4970
378.86/379.05	c  378s |      15 |   191402 |   113032 |    14698     13 |        7 |     4970
381.26/381.45	c  381s |      15 |   192181 |   113632 |    14698     13 |        7 |     4970
383.45/383.65	c  383s |      15 |   192749 |   114132 |    14698     13 |        7 |     4970
385.75/385.99	c  385s |      15 |   193292 |   114632 |    14698     13 |        7 |     4970
388.16/388.32	c  387s |      15 |   193870 |   115132 |    14698     13 |        7 |     4970
390.55/390.76	c  390s |      15 |   194450 |   115632 |    14698     13 |        7 |     4970
392.84/393.08	c  392s |      15 |   195134 |   116132 |    14698     13 |        7 |     4970
395.04/395.23	c  394s |      15 |   195624 |   116532 |    14698     14 |        7 |     4970
397.05/397.25	c  396s |      15 |   196251 |   117032 |    14698     14 |        7 |     4970
399.34/399.54	c  399s |      15 |   197054 |   117732 |    14698     14 |        7 |     4970
401.45/401.66	c  401s |      15 |   197690 |   118332 |    14698     14 |        7 |     4970
403.54/403.74	c  403s |      15 |   198249 |   118832 |    14698     14 |        7 |     4970
405.84/406.02	c  405s |      15 |   199012 |   119432 |    14698     14 |        7 |     4970
408.13/408.34	c  408s |      15 |   199865 |   120032 |    14698     14 |        7 |     4970
410.44/410.65	c  410s |      15 |   200723 |   120632 |    14698     14 |        7 |     4970
412.53/412.77	c  412s |      15 |   201509 |   121132 |    14698     14 |        7 |     4970
414.64/414.86	c  414s |      15 |   202291 |   121632 |    14698     14 |        7 |     4970
417.03/417.25	c  416s |      15 |   202837 |   122132 |    14698     14 |        7 |     4970
419.13/419.38	c  419s |      15 |   203596 |   122632 |    14698     14 |        7 |     4970
421.33/421.57	c  421s |      15 |   204177 |   123132 |    14698     14 |        7 |     4970
423.43/423.64	c  423s |      15 |   204914 |   123532 |    14698     14 |        7 |     4970
425.82/426.03	c  425s |      15 |   205524 |   123932 |    14698     14 |        7 |     4970
428.32/428.51	c  428s |      15 |   206301 |   124432 |    14698     14 |        7 |     4970
430.32/430.59	c  430s |      15 |   206763 |   124832 |    14698     14 |        7 |     4970
432.82/433.09	c  432s |      15 |   207439 |   125332 |    14698     14 |        7 |     4970
435.12/435.38	c  435s |      15 |   207766 |   125632 |    14698     15 |        7 |     4970
437.22/437.44	c  437s |      15 |   208229 |   126032 |    14698     15 |        7 |     4970
439.22/439.49	c  439s |      15 |   208743 |   126432 |    14698     15 |        7 |     4970
441.62/441.82	c  441s |      15 |   209222 |   126832 |    14698     15 |        7 |     4970
443.61/443.83	c  443s |      15 |   209709 |   127232 |    14698     15 |        7 |     4970
445.92/446.16	c  445s |      15 |   210268 |   127632 |    14698     15 |        7 |     4970
448.12/448.35	c  448s |      15 |   210780 |   128032 |    14698     15 |        7 |     4970
450.41/450.60	c  450s |      15 |   211218 |   128432 |    14698     15 |        7 |     4970
452.61/452.86	c  452s |      15 |   211728 |   128832 |    14698     15 |        7 |     4970
454.90/455.16	c  454s |      15 |   212191 |   129232 |    14698     15 |        7 |     4970
457.20/457.48	c  457s |      15 |   212791 |   129732 |    14698     15 |        7 |     4970
459.71/459.93	c  459s |      15 |   213482 |   130232 |    14698     15 |        7 |     4970
461.70/461.98	c  461s |      15 |   213951 |   130632 |    14698     15 |        7 |     4970
464.00/464.30	c  463s |      15 |   214564 |   131132 |    16168     15 |        7 |     4970
466.00/466.24	c  465s |      16 |   215029 |   131552 |    16168     15 |        7 |     4970
468.00/468.29	c  467s |      16 |   218000 |   132052 |    16168     15 |        7 |     4970
470.30/470.51	c  470s |      16 |   220290 |   132552 |    16168     15 |        7 |     4970
472.30/472.52	c  472s |      16 |   221359 |   133052 |    16168     15 |        7 |     4970
474.30/474.58	c  474s |      16 |   221962 |   133452 |    16168     15 |        7 |     4970
476.50/476.78	c  476s |      16 |   222504 |   133852 |    16168     15 |        7 |     4970
478.80/479.03	c  478s |      16 |   223021 |   134252 |    16168     15 |        7 |     4970
480.90/481.14	c  480s |      16 |   223514 |   134652 |    16168     15 |        7 |     4970
483.29/483.51	c  483s |      16 |   224307 |   135152 |    16168     15 |        7 |     4970
485.59/485.83	c  485s |      16 |   224921 |   135552 |    16168     15 |        7 |     4970
487.89/488.11	c  487s |      16 |   225888 |   135952 |    16168     15 |        7 |     4970
490.09/490.32	c  489s |      16 |   226327 |   136252 |    16168     16 |        7 |     4970
492.28/492.55	c  492s |      16 |   227139 |   136752 |    16168     16 |        7 |     4970
494.28/494.56	c  494s |      16 |   227841 |   137152 |    16168     16 |        7 |     4970
496.47/496.74	c  496s |      16 |   228677 |   137552 |    16168     16 |        7 |     4970
498.98/499.24	c  498s |      16 |   229392 |   138052 |    16168     16 |        7 |     4970
501.08/501.37	c  501s |      16 |   229870 |   138452 |    16168     16 |        7 |     4970
503.28/503.52	c  503s |      16 |   230551 |   138852 |    16168     16 |        7 |     4970
505.27/505.54	c  505s |      16 |   231193 |   139252 |    16168     16 |        7 |     4970
507.47/507.79	c  507s |      16 |   231774 |   139652 |    16168     16 |        7 |     4970
510.07/510.37	c  510s |      16 |   232422 |   140052 |    16168     16 |        7 |     4970
512.27/512.57	c  512s |      16 |   233017 |   140452 |    16168     16 |        7 |     4970
514.57/514.90	c  514s |      16 |   233676 |   140852 |    16168     16 |        7 |     4970
517.17/517.45	c  517s |      16 |   234582 |   141252 |    16168     16 |        7 |     4970
519.17/519.47	c  519s |      16 |   235055 |   141552 |    16168     16 |        7 |     4970
521.77/522.04	c  521s |      16 |   235625 |   142052 |    16168     16 |        7 |     4970
524.17/524.42	c  524s |      16 |   236362 |   142552 |    16168     16 |        7 |     4970
526.37/526.65	c  526s |      16 |   236925 |   142952 |    16168     16 |        7 |     4970
528.77/529.07	c  528s |      16 |   237577 |   143352 |    16168     16 |        7 |     4970
531.17/531.47	c  531s |      16 |   238060 |   143752 |    16168     16 |        7 |     4970
533.16/533.49	c  533s |      16 |   238538 |   144052 |    16168     16 |        7 |     4970
535.66/535.94	c  535s |      16 |   239363 |   144452 |    16168     16 |        7 |     4970
538.16/538.44	c  538s |      16 |   240196 |   144852 |    16168     16 |        7 |     4970
540.36/540.66	c  540s |      16 |   240584 |   145152 |    16168     16 |        7 |     4970
543.05/543.30	c  542s |      16 |   242046 |   145452 |    16168     17 |        7 |     4970
545.05/545.36	c  545s |      16 |   243892 |   147052 |    16168     17 |        7 |     4970
547.25/547.52	c  547s |      16 |   245309 |   148352 |    16168     17 |        7 |     4970
549.45/549.71	c  549s |      16 |   246711 |   149652 |    16168     17 |        7 |     4970
551.45/551.72	c  551s |      16 |   247791 |   150552 |    16168     17 |        7 |     4970
553.54/553.89	c  553s |      16 |   249311 |   151752 |    16168     17 |        7 |     4970
555.64/555.98	c  555s |      16 |   251298 |   152452 |    16168     17 |        7 |     4970
557.65/558.00	c  557s |      16 |   251925 |   152952 |    16168     17 |        7 |     4970
560.15/560.44	c  560s |      16 |   252684 |   153452 |    16168     17 |        7 |     4970
562.25/562.52	c  562s |      16 |   253235 |   153852 |    16168     17 |        7 |     4970
564.34/564.60	c  564s |      16 |   254085 |   154252 |    16168     17 |        7 |     4970
566.64/566.98	c  566s |      16 |   254791 |   154652 |    16168     17 |        7 |     4970
569.24/569.50	c  569s |      16 |   255627 |   155052 |    16168     17 |        7 |     4970
572.04/572.36	c  572s |      16 |   256011 |   155352 |    16168     17 |        7 |     4970
574.23/574.52	c  574s |      16 |   256418 |   155552 |    16168     17 |        7 |     4970
576.44/576.73	c  576s |      16 |   256868 |   155852 |    16168     17 |        7 |     4970
579.63/579.94	c  579s |      16 |   257284 |   156152 |    16168     18 |        7 |     4970
581.83/582.17	c  581s |      16 |   257878 |   156552 |    16168     18 |        7 |     4970
584.13/584.44	c  584s |      16 |   258790 |   157052 |    16168     18 |        7 |     4970
586.13/586.48	c  586s |      16 |   259346 |   157452 |    16168     18 |        7 |     4970
588.23/588.56	c  588s |      16 |   259856 |   157852 |    16168     18 |        7 |     4970
590.32/590.64	c  590s |      16 |   260645 |   158252 |    16168     18 |        7 |     4970
592.42/592.77	c  592s |      16 |   261248 |   158652 |    16168     18 |        7 |     4970
594.93/595.22	c  594s |      16 |   261912 |   159152 |    16168     18 |        7 |     4970
597.13/597.48	c  597s |      16 |   262370 |   159552 |    16168     18 |        7 |     4970
599.42/599.73	c  599s |      16 |   262822 |   159952 |    16168     18 |        7 |     4970
601.72/602.08	c  601s |      16 |   263603 |   160452 |    16168     18 |        7 |     4970
604.12/604.42	c  604s |      16 |   264073 |   160852 |    16168     18 |        7 |     4970
606.32/606.68	c  606s |      16 |   264624 |   161252 |    16168     18 |        7 |     4970
608.61/608.97	c  608s |      16 |   265036 |   161652 |    16168     18 |        7 |     4970
611.12/611.41	c  611s |      16 |   265453 |   162052 |    16168     18 |        7 |     4970
613.41/613.71	c  613s |      16 |   265879 |   162452 |    16168     18 |        7 |     4970
615.41/615.76	c  615s |      16 |   266259 |   162752 |    16168     18 |        7 |     4970
618.11/618.43	c  618s |      16 |   266794 |   163052 |    16168     18 |        7 |     4970
620.40/620.77	c  620s |      16 |   267461 |   163452 |    16168     18 |        7 |     4970
622.61/622.97	c  622s |      16 |   268130 |   164052 |    16168     18 |        7 |     4970
624.81/625.17	c  624s |      16 |   268661 |   164552 |    16168     18 |        7 |     4970
627.00/627.39	c  627s |      16 |   269082 |   164952 |    16168     18 |        7 |     4970
629.20/629.58	c  629s |      16 |   269611 |   165452 |    16168     18 |        7 |     4970
631.30/631.61	c  631s |      16 |   270017 |   165852 |    16168     18 |        7 |     4970
633.30/633.65	c  633s |      16 |   270434 |   166252 |    16168     18 |        7 |     4970
635.39/635.79	c  635s |      16 |   270750 |   166552 |    16168     19 |        7 |     4970
637.70/638.08	c  637s |      16 |   271234 |   166952 |    16168     19 |        7 |     4970
640.00/640.38	c  640s |      16 |   271827 |   167352 |    16168     19 |        7 |     4970
642.10/642.49	c  642s |      16 |   272414 |   167752 |    16168     19 |        7 |     4970
644.49/644.85	c  644s |      16 |   273210 |   168152 |    16168     19 |        7 |     4970
646.69/647.05	c  646s |      16 |   273828 |   168552 |    16168     19 |        7 |     4970
649.19/649.51	c  649s |      16 |   274643 |   168952 |    16168     19 |        7 |     4970
651.59/651.93	c  651s |      16 |   275381 |   169352 |    16168     19 |        7 |     4970
653.88/654.27	c  653s |      16 |   275920 |   169752 |    16168     19 |        7 |     4970
656.48/656.80	c  656s |      16 |   276458 |   170152 |    16168     19 |        7 |     4970
658.88/659.21	c  658s |      16 |   277344 |   170552 |    16168     19 |        7 |     4970
661.38/661.73	c  661s |      16 |   278110 |   170952 |    16168     19 |        7 |     4970
663.78/664.14	c  663s |      16 |   278586 |   171352 |    16168     19 |        7 |     4970
666.18/666.52	c  666s |      16 |   279150 |   171852 |    16168     19 |        7 |     4970
668.48/668.88	c  668s |      16 |   279675 |   172252 |    16168     19 |        7 |     4970
670.87/671.21	c  670s |      16 |   280000 |   172552 |    16168     19 |        7 |     4970
672.87/673.23	c  672s |      16 |   280313 |   172852 |    16168     19 |        7 |     4970
675.17/675.51	c  675s |      16 |   280710 |   173152 |    16168     19 |        7 |     4970
677.47/677.87	c  677s |      16 |   281124 |   173452 |    16168     19 |        7 |     4970
679.58/679.96	c  679s |      16 |   281555 |   173752 |    16168     19 |        7 |     4970
681.87/682.26	c  681s |      16 |   281953 |   174052 |    16168     19 |        7 |     4970
684.86/685.22	c  684s |      16 |   282646 |   174452 |    16168     19 |        7 |     4970
687.86/688.24	c  687s |      16 |   283038 |   174752 |    16168     19 |        7 |     4970
690.96/691.32	c  690s |      16 |   283359 |   175052 |    16168     19 |        7 |     4970
693.45/693.88	c  693s |      16 |   283907 |   175552 |    16168     19 |        7 |     4970
695.55/695.97	c  695s |      16 |   284729 |   175952 |    16168     19 |        7 |     4970
698.66/699.00	c  698s |      16 |   285481 |   176252 |    16168     20 |        7 |     4970
701.06/701.43	c  701s |      16 |   286162 |   176652 |    16168     20 |        7 |     4970
703.55/703.98	c  703s |      16 |   286858 |   177052 |    16168     20 |        7 |     4970
706.15/706.52	c  706s |      16 |   287385 |   177452 |    16168     20 |        7 |     4970
708.55/708.95	c  708s |      16 |   287963 |   177852 |    16168     20 |        7 |     4970
711.25/711.70	c  711s |      16 |   288527 |   178152 |    16168     20 |        7 |     4970
713.45/713.80	c  713s |      16 |   289004 |   178452 |    16168     20 |        7 |     4970
716.15/716.55	c  716s |      16 |   289816 |   178852 |    16168     20 |        7 |     4970
719.05/719.42	c  719s |      16 |   290322 |   179252 |    16168     20 |        7 |     4970
721.25/721.61	c  721s |      16 |   290785 |   179552 |    16168     20 |        7 |     4970
723.65/724.02	c  723s |      16 |   291251 |   179952 |    16168     20 |        7 |     4970
725.65/726.09	c  725s |      16 |   291620 |   180252 |    16168     20 |        7 |     4970
728.45/728.81	c  728s |      16 |   292114 |   180552 |    16168     20 |        7 |     4970
730.44/730.84	c  730s |      16 |   292551 |   180852 |    16168     20 |        7 |     4970
732.74/733.17	c  732s |      16 |   292910 |   181152 |    16168     20 |        7 |     4970
734.74/735.19	c  734s |      16 |   293329 |   181452 |    16168     20 |        7 |     4970
736.95/737.36	c  737s |      16 |   293639 |   181752 |    16168     20 |        7 |     4970
739.14/739.58	c  739s |      16 |   293968 |   182052 |    16168     20 |        7 |     4970
741.44/741.88	c  741s |      16 |   294346 |   182352 |    16168     20 |        7 |     4970
744.04/744.41	c  744s |      16 |   295204 |   182752 |    16168     20 |        7 |     4970
746.24/746.62	c  746s |      16 |   295811 |   183052 |    16168     20 |        7 |     4970
748.34/748.79	c  748s |      16 |   296651 |   183352 |    16168     20 |        7 |     4970
750.44/750.87	c  750s |      16 |   297045 |   183652 |    16168     20 |        7 |     4970
753.04/753.47	c  753s |      16 |   297593 |   183952 |    16168     20 |        7 |     4970
755.45/755.86	c  755s |      16 |   298120 |   184252 |    16168     20 |        7 |     4970
757.94/758.37	c  758s |      16 |   298677 |   184552 |    16168     20 |        7 |     4970
760.54/760.97	c  760s |      16 |   299158 |   184852 |    16168     20 |        7 |     4970
763.15/763.53	c  763s |      16 |   299661 |   185152 |    16168     20 |        7 |     4970
765.35/765.71	c  765s |      16 |   300264 |   185452 |    16168     20 |        7 |     4970
767.84/768.25	c  767s |      16 |   300576 |   185752 |    16168     20 |        7 |     4970
770.34/770.77	c  770s |      16 |   300987 |   186052 |    16168     20 |        7 |     4970
773.84/774.25	c  773s |      16 |   301349 |   186352 |    16168     21 |        7 |     4970
775.84/776.29	c  775s |      16 |   301777 |   186652 |    16168     21 |        7 |     4970
778.24/778.64	c  778s |      16 |   302275 |   187052 |    16168     21 |        7 |     4970
780.54/780.95	c  780s |      16 |   302807 |   187352 |    16168     21 |        7 |     4970
783.24/783.60	c  783s |      16 |   303343 |   187652 |    16168     21 |        7 |     4970
785.73/786.16	c  785s |      16 |   303711 |   187952 |    16168     21 |        7 |     4970
788.44/788.82	c  788s |      16 |   304093 |   188252 |    16168     21 |        7 |     4970
791.24/791.70	c  791s |      16 |   304657 |   188552 |    16168     21 |        7 |     4970
793.64/794.08	c  793s |      16 |   305019 |   188752 |    16168     21 |        7 |     4970
796.24/796.62	c  796s |      16 |   305838 |   189052 |    16168     21 |        7 |     4970
798.34/798.76	c  798s |      16 |   306172 |   189352 |    16168     21 |        7 |     4970
800.64/801.09	c  800s |      16 |   306548 |   189652 |    16168     21 |        7 |     4970
802.84/803.27	c  802s |      16 |   306882 |   189952 |    16168     21 |        7 |     4970
805.33/805.79	c  805s |      16 |   307208 |   190252 |    16168     21 |        7 |     4970
807.53/807.99	c  807s |      16 |   307531 |   190452 |    16168     21 |        7 |     4970
810.13/810.51	c  810s |      16 |   308166 |   190752 |    16168     21 |        7 |     4970
812.14/812.53	c  812s |      16 |   308374 |   190952 |    16168     21 |        7 |     4970
814.24/814.60	c  814s |      16 |   308576 |   191152 |    16168     21 |        7 |     4970
816.23/816.66	c  816s |      16 |   308782 |   191352 |    16168     21 |        7 |     4970
818.83/819.29	c  818s |      16 |   309272 |   191652 |    16168     21 |        7 |     4970
821.03/821.42	c  821s |      16 |   309676 |   191952 |    16168     21 |        7 |     4970
823.14/823.56	c  823s |      16 |   309989 |   192252 |    16168     21 |        7 |     4970
825.33/825.79	c  825s |      16 |   310296 |   192552 |    16168     21 |        7 |     4970
827.73/828.19	c  827s |      16 |   310617 |   192852 |    16168     21 |        7 |     4970
830.24/830.62	c  830s |      16 |   310924 |   193152 |    16168     21 |        7 |     4970
832.93/833.30	c  832s |      16 |   311394 |   193452 |    16168     21 |        7 |     4970
834.93/835.36	c  835s |      16 |   311724 |   193752 |    16168     21 |        7 |     4970
837.43/837.84	c  837s |      16 |   312051 |   194052 |    16168     21 |        7 |     4970
839.93/840.36	c  840s |      16 |   312364 |   194352 |    16168     21 |        7 |     4970
842.34/842.73	c  842s |      16 |   312716 |   194652 |    16168     21 |        7 |     4970
845.13/845.59	c  845s |      16 |   313055 |   194952 |    16168     21 |        7 |     4970
847.32/847.73	c  847s |      16 |   313263 |   195152 |    16168     21 |        7 |     4970
849.43/849.89	c  849s |      16 |   313474 |   195352 |    16168     21 |        7 |     4970
852.43/852.87	c  852s |      16 |   313865 |   195652 |    16168     21 |        7 |     4970
854.93/855.33	c  854s |      16 |   314338 |   195952 |    16168     21 |        7 |     4970
857.43/857.84	c  857s |      16 |   314826 |   196252 |    17785     21 |        7 |     4970
860.33/860.71	c  860s |      16 |   315256 |   196552 |    17785     21 |        7 |     4970
862.52/862.95	c  862s |      16 |   315541 |   196752 |    17785     21 |        7 |     4970
864.93/865.38	c  865s |      16 |   316060 |   197052 |    17785     21 |        7 |     4970
868.13/868.58	c  868s |      16 |   316466 |   197352 |    17785     21 |        7 |     4970
869.63/870.02	c  869s |      17 |   316551 |   197432 |    17785     21 |        7 |     4970
872.13/872.53	c  872s |      17 |   318673 |   197532 |    17785     22 |        7 |     4970
874.52/874.91	c  874s |      17 |   319561 |   198332 |    17785     22 |        7 |     4970
876.62/877.09	c  876s |      17 |   324214 |   199432 |    17785     22 |        7 |     4970
878.72/879.10	c  878s |      17 |   326358 |   200532 |    17785     22 |        7 |     4970
880.73/881.15	c  880s |      17 |   327704 |   201632 |    17785     22 |        7 |     4970
882.93/883.32	c  882s |      17 |   328816 |   202632 |    17785     22 |        7 |     4970
884.92/885.38	c  885s |      17 |   329873 |   203532 |    17785     22 |        7 |     4970
887.02/887.44	c  887s |      17 |   330764 |   204332 |    17785     22 |        7 |     4970
889.12/889.56	c  889s |      17 |   331612 |   205132 |    17785     22 |        7 |     4970
891.42/891.80	c  891s |      17 |   332385 |   205832 |    17785     22 |        7 |     4970
893.42/893.86	c  893s |      17 |   333523 |   206832 |    17785     22 |        7 |     4970
895.52/895.94	c  895s |      17 |   334069 |   207332 |    17785     23 |        7 |     4970
897.72/898.18	c  897s |      17 |   335362 |   208432 |    17785     23 |        7 |     4970
900.02/900.40	c  900s |      17 |   336301 |   209232 |    17785     23 |        7 |     4970
902.22/902.64	c  902s |      17 |   337017 |   209832 |    17785     23 |        7 |     4970
904.22/904.66	c  904s |      17 |   337850 |   210532 |    17785     23 |        7 |     4970
906.32/906.71	c  906s |      17 |   338578 |   211132 |    17785     23 |        7 |     4970
908.32/908.71	c  908s |      17 |   339244 |   211732 |    17785     23 |        7 |     4970
910.42/910.83	c  910s |      17 |   339910 |   212332 |    17785     23 |        7 |     4970
912.72/913.12	c  912s |      17 |   340630 |   212932 |    17785     23 |        7 |     4970
914.82/915.24	c  914s |      17 |   341185 |   213432 |    17785     23 |        7 |     4970
917.21/917.66	c  917s |      17 |   341818 |   214032 |    17785     23 |        7 |     4970
919.41/919.87	c  919s |      17 |   342624 |   214732 |    17785     23 |        7 |     4970
921.71/922.17	c  921s |      17 |   343894 |   215532 |    17785     23 |        7 |     4970
923.72/924.19	c  923s |      17 |   344772 |   216132 |    17785     23 |        7 |     4970
925.92/926.38	c  926s |      17 |   345489 |   216732 |    17785     23 |        7 |     4970
928.12/928.56	c  928s |      17 |   346182 |   217232 |    17785     23 |        7 |     4970
930.22/930.63	c  930s |      17 |   346969 |   217632 |    17785     24 |        7 |     4970
932.42/932.89	c  932s |      17 |   348100 |   218432 |    17785     24 |        7 |     4970
934.72/935.16	c  934s |      17 |   348852 |   219032 |    17785     24 |        7 |     4970
936.92/937.33	c  936s |      17 |   349759 |   219632 |    17785     24 |        7 |     4970
939.12/939.53	c  939s |      17 |   350680 |   220332 |    17785     24 |        7 |     4970
941.11/941.59	c  941s |      17 |   351514 |   220932 |    17785     24 |        7 |     4970
943.21/943.67	c  943s |      17 |   352286 |   221532 |    17785     24 |        7 |     4970
945.51/945.95	c  945s |      17 |   353040 |   222232 |    17785     24 |        7 |     4970
947.71/948.15	c  947s |      17 |   353776 |   222832 |    17785     24 |        7 |     4970
950.02/950.48	c  950s |      17 |   354859 |   223532 |    17785     24 |        7 |     4970
952.02/952.48	c  952s |      17 |   355643 |   224132 |    17785     24 |        7 |     4970
954.32/954.77	c  954s |      17 |   356533 |   224832 |    17785     24 |        7 |     4970
956.52/956.99	c  956s |      17 |   357373 |   225432 |    17785     24 |        7 |     4970
958.92/959.34	c  959s |      17 |   358002 |   226032 |    17785     24 |        7 |     4970
960.92/961.36	c  961s |      17 |   358575 |   226532 |    17785     24 |        7 |     4970
963.22/963.61	c  963s |      17 |   359239 |   227132 |    17785     24 |        7 |     4970
965.21/965.61	c  965s |      17 |   359836 |   227632 |    17785     24 |        7 |     4970
967.21/967.68	c  967s |      17 |   360287 |   228032 |    17785     25 |        7 |     4970
969.31/969.77	c  969s |      17 |   361510 |   228732 |    17785     25 |        7 |     4970
971.51/971.91	c  971s |      17 |   362323 |   229432 |    17785     25 |        7 |     4970
973.71/974.11	c  973s |      17 |   363221 |   230232 |    17785     25 |        7 |     4970
975.71/976.17	c  975s |      17 |   363982 |   230932 |    17785     25 |        7 |     4970
977.91/978.31	c  977s |      17 |   364780 |   231632 |    17785     25 |        7 |     4970
980.11/980.50	c  980s |      17 |   365524 |   232332 |    17785     25 |        7 |     4970
982.31/982.79	c  982s |      17 |   366368 |   233132 |    17785     25 |        7 |     4970
984.41/984.80	c  984s |      17 |   367447 |   234032 |    17785     25 |        7 |     4970
986.71/987.11	c  986s |      17 |   368342 |   234832 |    17785     25 |        7 |     4970
988.70/989.11	c  988s |      17 |   369134 |   235432 |    17785     25 |        7 |     4970
990.90/991.30	c  990s |      17 |   369945 |   236132 |    17785     25 |        7 |     4970
993.20/993.67	c  993s |      17 |   370627 |   236732 |    17785     25 |        7 |     4970
995.40/995.86	c  995s |      17 |   371272 |   237332 |    17785     25 |        7 |     4970
997.70/998.12	c  997s |      17 |   371937 |   237932 |    17785     25 |        7 |     4970
1000.00/1000.44	c 1000s |      17 |   372467 |   238432 |    17785     26 |        7 |     4970
1002.01/1002.48	c 1002s |      17 |   372919 |   238832 |    17785     26 |        7 |     4970
1004.41/1004.83	c 1004s |      17 |   374091 |   239632 |    17785     26 |        7 |     4970
1006.61/1007.06	c 1006s |      17 |   374878 |   240332 |    17785     26 |        7 |     4970
1008.81/1009.24	c 1008s |      17 |   375687 |   241032 |    17785     26 |        7 |     4970
1011.11/1011.58	c 1011s |      17 |   376465 |   241732 |    17785     26 |        7 |     4970
1013.41/1013.85	c 1013s |      17 |   377116 |   242332 |    17785     26 |        7 |     4970
1015.71/1016.13	c 1015s |      17 |   377810 |   242932 |    17785     26 |        7 |     4970
1017.91/1018.38	c 1018s |      17 |   378444 |   243532 |    17785     26 |        7 |     4970
1020.11/1020.52	c 1020s |      17 |   379115 |   244132 |    17785     26 |        7 |     4970
1022.31/1022.78	c 1022s |      17 |   379767 |   244732 |    17785     26 |        7 |     4970
1024.41/1024.87	c 1024s |      17 |   380358 |   245232 |    17785     26 |        7 |     4970
1026.61/1027.07	c 1026s |      17 |   380902 |   245732 |    17785     26 |        7 |     4970
1028.70/1029.18	c 1028s |      17 |   381425 |   246232 |    17785     26 |        7 |     4970
1030.80/1031.29	c 1030s |      17 |   381961 |   246732 |    17785     26 |        7 |     4970
1033.00/1033.48	c 1033s |      17 |   382503 |   247232 |    17785     26 |        7 |     4970
1035.30/1035.71	c 1035s |      17 |   383411 |   247832 |    17785     26 |        7 |     4970
1037.70/1038.14	c 1037s |      17 |   384101 |   248432 |    17785     26 |        7 |     4970
1039.90/1040.32	c 1039s |      17 |   384562 |   248832 |    17785     27 |        7 |     4970
1041.99/1042.41	c 1042s |      17 |   385555 |   249332 |    17785     27 |        7 |     4970
1044.09/1044.56	c 1044s |      17 |   386751 |   250132 |    17785     27 |        7 |     4970
1046.19/1046.61	c 1046s |      17 |   387508 |   250732 |    17785     27 |        7 |     4970
1048.19/1048.67	c 1048s |      17 |   388174 |   251332 |    17785     27 |        7 |     4970
1050.49/1050.91	c 1050s |      17 |   388948 |   252032 |    17785     27 |        7 |     4970
1052.69/1053.16	c 1052s |      17 |   389748 |   252732 |    17785     27 |        7 |     4970
1055.09/1055.52	c 1055s |      17 |   390491 |   253332 |    17785     27 |        7 |     4970
1057.19/1057.68	c 1057s |      17 |   391233 |   253932 |    17785     27 |        7 |     4970
1059.39/1059.81	c 1059s |      17 |   392177 |   254532 |    17785     27 |        7 |     4970
1061.59/1062.08	c 1061s |      17 |   392815 |   255132 |    17785     27 |        7 |     4970
1063.89/1064.39	c 1064s |      17 |   393458 |   255732 |    17785     27 |        7 |     4970
1066.19/1066.62	c 1066s |      17 |   394106 |   256332 |    17785     27 |        7 |     4970
1068.29/1068.71	c 1068s |      17 |   394697 |   256832 |    17785     27 |        7 |     4970
1070.29/1070.76	c 1070s |      17 |   395266 |   257332 |    17785     27 |        7 |     4970
1072.69/1073.11	c 1072s |      17 |   396132 |   257932 |    17785     27 |        7 |     4970
1074.89/1075.35	c 1075s |      17 |   396760 |   258532 |    17785     27 |        7 |     4970
1077.80/1078.29	c 1077s |      17 |   397475 |   259032 |    17785     28 |        7 |     4970
1080.10/1080.57	c 1080s |      17 |   398547 |   259832 |    17785     28 |        7 |     4970
1082.20/1082.69	c 1082s |      17 |   399346 |   260532 |    17785     28 |        7 |     4970
1084.60/1085.02	c 1084s |      17 |   400110 |   261232 |    17785     28 |        7 |     4970
1086.80/1087.29	c 1086s |      17 |   401133 |   262032 |    17785     28 |        7 |     4970
1088.90/1089.32	c 1088s |      17 |   401907 |   262632 |    17785     28 |        7 |     4970
1090.90/1091.32	c 1090s |      17 |   402942 |   263432 |    17785     28 |        7 |     4970
1093.10/1093.56	c 1093s |      17 |   403834 |   264232 |    17785     28 |        7 |     4970
1095.20/1095.62	c 1095s |      17 |   404612 |   264832 |    17785     28 |        7 |     4970
1097.50/1097.92	c 1097s |      17 |   405316 |   265432 |    17785     28 |        7 |     4970
1099.79/1100.28	c 1099s |      17 |   405967 |   266032 |    17785     28 |        7 |     4970
1102.19/1102.61	c 1102s |      17 |   406819 |   266632 |    17785     28 |        7 |     4970
1104.29/1104.78	c 1104s |      17 |   407653 |   267232 |    17785     28 |        7 |     4970
1106.39/1106.80	c 1106s |      17 |   408335 |   267732 |    17785     28 |        7 |     4970
1108.69/1109.12	c 1108s |      17 |   409063 |   268332 |    17785     28 |        7 |     4970
1110.89/1111.37	c 1111s |      17 |   409870 |   269032 |    17785     28 |        7 |     4970
1113.09/1113.52	c 1113s |      17 |   410497 |   269532 |    17785     29 |        7 |     4970
1115.29/1115.74	c 1115s |      17 |   411498 |   270332 |    17785     29 |        7 |     4970
1117.49/1117.94	c 1117s |      17 |   412464 |   271032 |    17785     29 |        7 |     4970
1119.59/1120.08	c 1119s |      17 |   413241 |   271632 |    17785     29 |        7 |     4970
1121.70/1122.15	c 1121s |      17 |   414211 |   272332 |    17785     29 |        7 |     4970
1123.69/1124.17	c 1123s |      17 |   415423 |   273032 |    17785     29 |        7 |     4970
1126.10/1126.54	c 1126s |      17 |   416445 |   273632 |    17785     29 |        7 |     4970
1128.39/1128.86	c 1128s |      17 |   417056 |   274132 |    17785     29 |        7 |     4970
1130.50/1130.96	c 1130s |      17 |   417755 |   274732 |    17785     29 |        7 |     4970
1132.59/1133.02	c 1132s |      17 |   418430 |   275332 |    17785     29 |        7 |     4970
1134.79/1135.29	c 1134s |      17 |   419400 |   276232 |    17785     29 |        7 |     4970
1136.99/1137.47	c 1137s |      17 |   420041 |   276832 |    17785     29 |        7 |     4970
1139.29/1139.71	c 1139s |      17 |   420802 |   277432 |    17785     29 |        7 |     4970
1141.29/1141.78	c 1141s |      17 |   421459 |   278032 |    17785     29 |        7 |     4970
1143.49/1143.95	c 1143s |      17 |   422129 |   278632 |    17785     29 |        7 |     4970
1145.79/1146.20	c 1145s |      17 |   422859 |   279232 |    17785     29 |        7 |     4970
1148.09/1148.54	c 1148s |      17 |   423415 |   279732 |    17785     30 |        7 |     4970
1150.39/1150.85	c 1150s |      17 |   424092 |   280332 |    17785     30 |        7 |     4970
1152.39/1152.88	c 1152s |      17 |   424675 |   280832 |    17785     30 |        7 |     4970
1154.69/1155.18	c 1154s |      17 |   425469 |   281532 |    17785     30 |        7 |     4970
1156.79/1157.27	c 1156s |      17 |   426091 |   282132 |    17785     30 |        7 |     4970
1158.88/1159.40	c 1159s |      17 |   427167 |   283132 |    17785     30 |        7 |     4970
1161.29/1161.79	c 1161s |      17 |   428191 |   283932 |    17785     30 |        7 |     4970
1163.58/1164.06	c 1163s |      17 |   428839 |   284532 |    17785     30 |        7 |     4970
1165.88/1166.34	c 1166s |      17 |   429525 |   285132 |    17785     30 |        7 |     4970
1168.18/1168.68	c 1168s |      17 |   430143 |   285732 |    17785     30 |        7 |     4970
1170.18/1170.69	c 1170s |      17 |   430691 |   286232 |    17785     30 |        7 |     4970
1172.29/1172.73	c 1172s |      17 |   431261 |   286732 |    17785     30 |        7 |     4970
1174.58/1175.10	c 1174s |      17 |   431789 |   287232 |    17785     30 |        7 |     4970
1177.08/1177.55	c 1177s |      17 |   432341 |   287732 |    17785     30 |        7 |     4970
1179.38/1179.84	c 1179s |      17 |   433144 |   288432 |    17785     30 |        7 |     4970
1181.38/1181.84	c 1181s |      17 |   433695 |   288932 |    17785     30 |        7 |     4970
1183.58/1184.03	c 1183s |      17 |   434365 |   289532 |    17785     30 |        7 |     4970
1185.68/1186.17	c 1185s |      17 |   434999 |   290132 |    17785     30 |        7 |     4970
1187.88/1188.33	c 1187s |      17 |   435750 |   290732 |    17785     31 |        7 |     4970
1189.98/1190.45	c 1190s |      17 |   436530 |   291432 |    17785     31 |        7 |     4970
1192.28/1192.70	c 1192s |      17 |   437280 |   292132 |    17785     31 |        7 |     4970
1194.48/1194.97	c 1194s |      17 |   438029 |   292832 |    17785     31 |        7 |     4970
1196.58/1197.02	c 1196s |      17 |   438676 |   293432 |    17785     31 |        7 |     4970
1198.78/1199.20	c 1198s |      17 |   439400 |   294032 |    17785     31 |        7 |     4970
1201.28/1201.78	c 1201s |      17 |   439959 |   294532 |    19564     31 |        7 |     4970
1203.48/1203.97	c 1203s |      17 |   440511 |   295032 |    19564     31 |        7 |     4970
1205.88/1206.38	c 1206s |      17 |   441050 |   295532 |    19564     31 |        7 |     4970
1208.18/1208.60	c 1208s |      17 |   441594 |   296032 |    19564     31 |        7 |     4970
1209.08/1209.53	c 1209s |      18 |   441832 |   296252 |    19564     31 |        7 |     4970
1211.48/1211.96	c 1211s |      18 |   444482 |   296952 |    19564     31 |        7 |     4970
1213.57/1214.09	c 1213s |      18 |   445821 |   297552 |    19564     31 |        7 |     4970
1215.77/1216.26	c 1215s |      18 |   446634 |   298052 |    19564     31 |        7 |     4970
1218.17/1218.60	c 1218s |      18 |   447912 |   298552 |    19564     31 |        7 |     4970
1220.37/1220.86	c 1220s |      18 |   449042 |   299052 |    19564     31 |        7 |     4970
1222.78/1223.22	c 1222s |      18 |   450436 |   299652 |    19564     31 |        7 |     4970
1224.87/1225.39	c 1225s |      18 |   451676 |   300152 |    19564     31 |        7 |     4970
1227.18/1227.64	c 1227s |      18 |   452720 |   300552 |    19564     31 |        7 |     4970
1229.57/1230.00	c 1229s |      18 |   453716 |   300952 |    19564     31 |        7 |     4970
1231.57/1232.01	c 1231s |      18 |   454267 |   301252 |    19564     31 |        7 |     4970
1233.87/1234.34	c 1234s |      18 |   454884 |   301552 |    19564     31 |        7 |     4970
1236.26/1236.73	c 1236s |      18 |   455457 |   301852 |    19564     31 |        7 |     4970
1238.57/1239.02	c 1238s |      18 |   456423 |   302152 |    19564     31 |        7 |     4970
1240.97/1241.45	c 1241s |      18 |   457230 |   302552 |    19564     31 |        7 |     4970
1243.27/1243.75	c 1243s |      18 |   457478 |   302752 |    19564     32 |        7 |     4970
1245.46/1245.92	c 1245s |      18 |   458126 |   303052 |    19564     32 |        7 |     4970
1247.96/1248.44	c 1248s |      18 |   458709 |   303352 |    19564     32 |        7 |     4970
1250.28/1250.73	c 1250s |      18 |   459868 |   303652 |    19564     32 |        7 |     4970
1252.77/1253.28	c 1252s |      18 |   460464 |   303952 |    19564     32 |        7 |     4970
1254.97/1255.41	c 1255s |      18 |   461342 |   304452 |    19564     32 |        7 |     4970
1257.17/1257.64	c 1257s |      18 |   461991 |   304852 |    19564     32 |        7 |     4970
1259.47/1259.98	c 1259s |      18 |   462534 |   305152 |    19564     32 |        7 |     4970
1262.47/1262.90	c 1262s |      18 |   463094 |   305452 |    19564     32 |        7 |     4970
1264.57/1265.04	c 1264s |      18 |   463832 |   305752 |    19564     32 |        7 |     4970
1266.77/1267.30	c 1266s |      18 |   464428 |   306152 |    19564     32 |        7 |     4970
1269.26/1269.76	c 1269s |      18 |   465064 |   306552 |    19564     32 |        7 |     4970
1271.57/1272.01	c 1271s |      18 |   465706 |   306852 |    19564     32 |        7 |     4970
1273.67/1274.13	c 1273s |      18 |   466276 |   307152 |    19564     32 |        7 |     4970
1275.87/1276.39	c 1276s |      18 |   467050 |   307452 |    19564     32 |        7 |     4970
1278.66/1279.16	c 1278s |      18 |   467702 |   307752 |    19564     32 |        7 |     4970
1280.66/1281.19	c 1280s |      18 |   468212 |   308052 |    19564     32 |        7 |     4970
1283.27/1283.79	c 1283s |      18 |   468694 |   308352 |    19564     32 |        7 |     4970
1285.47/1286.00	c 1285s |      18 |   469208 |   308652 |    19564     32 |        7 |     4970
1287.77/1288.22	c 1287s |      18 |   469681 |   308952 |    19564     32 |        7 |     4970
1290.06/1290.50	c 1290s |      18 |   470341 |   309252 |    19564     32 |        7 |     4970
1292.17/1292.65	c 1292s |      18 |   470673 |   309452 |    19564     32 |        7 |     4970
1294.16/1294.66	c 1294s |      18 |   470992 |   309652 |    19564     32 |        7 |     4970
1297.35/1297.82	c 1297s |      18 |   471520 |   309952 |    19564     32 |        7 |     4970
1299.86/1300.36	c 1300s |      18 |   472148 |   310252 |    19564     32 |        7 |     4970
1302.56/1303.04	c 1302s |      18 |   472792 |   310652 |    19564     32 |        7 |     4970
1304.96/1305.47	c 1305s |      18 |   473258 |   310952 |    19564     32 |        7 |     4970
1307.16/1307.65	c 1307s |      18 |   473500 |   311152 |    19564     32 |        7 |     4970
1309.56/1310.05	c 1309s |      18 |   473759 |   311352 |    19564     32 |        7 |     4970
1312.36/1312.80	c 1312s |      18 |   474076 |   311552 |    19564     32 |        7 |     4970
1314.36/1314.83	c 1314s |      18 |   474492 |   311752 |    19564     32 |        7 |     4970
1316.85/1317.37	c 1317s |      18 |   475002 |   312052 |    19564     32 |        7 |     4970
1319.06/1319.50	c 1319s |      18 |   475481 |   312352 |    19564     32 |        7 |     4970
1322.26/1322.76	c 1322s |      18 |   475956 |   312652 |    19564     32 |        7 |     4970
1324.75/1325.26	c 1324s |      18 |   476697 |   312952 |    19564     32 |        7 |     4970
1327.45/1327.96	c 1327s |      18 |   477580 |   313352 |    19564     32 |        7 |     4970
1329.85/1330.30	c 1329s |      18 |   478197 |   313652 |    19564     32 |        7 |     4970
1331.86/1332.33	c 1331s |      18 |   478977 |   313952 |    19564     32 |        7 |     4970
1334.45/1334.91	c 1334s |      18 |   479406 |   314152 |    19564     33 |        7 |     4970
1337.16/1337.64	c 1337s |      18 |   480263 |   314552 |    19564     33 |        7 |     4970
1339.46/1339.99	c 1339s |      18 |   480744 |   314852 |    19564     33 |        7 |     4970
1341.75/1342.25	c 1341s |      18 |   481530 |   315252 |    19564     33 |        7 |     4970
1344.35/1344.83	c 1344s |      18 |   482247 |   315652 |    19564     33 |        7 |     4970
1346.95/1347.41	c 1347s |      18 |   482731 |   315952 |    19564     33 |        7 |     4970
1349.65/1350.12	c 1349s |      18 |   483130 |   316252 |    19564     33 |        7 |     4970
1352.25/1352.79	c 1352s |      18 |   483625 |   316552 |    19564     33 |        7 |     4970
1354.76/1355.26	c 1354s |      18 |   484413 |   316852 |    19564     33 |        7 |     4970
1357.15/1357.67	c 1357s |      18 |   484784 |   317152 |    19564     33 |        7 |     4970
1359.65/1360.10	c 1359s |      18 |   485030 |   317352 |    19564     33 |        7 |     4970
1362.85/1363.35	c 1363s |      18 |   485466 |   317652 |    19564     33 |        7 |     4970
1365.45/1365.93	c 1365s |      18 |   486109 |   318052 |    19564     33 |        7 |     4970
1368.24/1368.78	c 1368s |      18 |   486633 |   318452 |    19564     33 |        7 |     4970
1370.64/1371.14	c 1370s |      18 |   486995 |   318752 |    19564     33 |        7 |     4970
1372.64/1373.16	c 1372s |      18 |   487509 |   319052 |    19564     33 |        7 |     4970
1375.34/1375.81	c 1375s |      18 |   487988 |   319452 |    19564     33 |        7 |     4970
1377.64/1378.13	c 1377s |      18 |   488532 |   319752 |    19564     33 |        7 |     4970
1380.06/1380.57	c 1380s |      18 |   488927 |   320052 |    19564     33 |        7 |     4970
1382.25/1382.77	c 1382s |      18 |   489638 |   320352 |    19564     33 |        7 |     4970
1384.55/1385.01	c 1384s |      18 |   490088 |   320652 |    19564     33 |        7 |     4970
1386.75/1387.25	c 1386s |      18 |   490673 |   320952 |    19564     33 |        7 |     4970
1389.35/1389.84	c 1389s |      18 |   491231 |   321352 |    19564     33 |        7 |     4970
1391.65/1392.13	c 1391s |      18 |   491608 |   321652 |    19564     33 |        7 |     4970
1393.85/1394.32	c 1393s |      18 |   491852 |   321852 |    19564     33 |        7 |     4970
1396.34/1396.83	c 1396s |      18 |   492432 |   322152 |    19564     33 |        7 |     4970
1398.64/1399.12	c 1398s |      18 |   492847 |   322452 |    19564     33 |        7 |     4970
1401.25/1401.75	c 1401s |      18 |   493250 |   322752 |    19564     33 |        7 |     4970
1403.25/1403.79	c 1403s |      18 |   493498 |   322952 |    19564     33 |        7 |     4970
1405.64/1406.16	c 1405s |      18 |   494001 |   323252 |    19564     33 |        7 |     4970
1407.84/1408.34	c 1408s |      18 |   494520 |   323552 |    19564     33 |        7 |     4970
1410.24/1410.75	c 1410s |      18 |   495221 |   323852 |    19564     33 |        7 |     4970
1413.05/1413.53	c 1413s |      18 |   495680 |   324152 |    19564     33 |        7 |     4970
1415.74/1416.20	c 1415s |      18 |   496082 |   324452 |    19564     33 |        7 |     4970
1417.84/1418.35	c 1418s |      18 |   496446 |   324752 |    19564     33 |        7 |     4970
1420.54/1421.08	c 1420s |      18 |   496791 |   325052 |    19564     33 |        7 |     4970
1422.64/1423.17	c 1422s |      18 |   497184 |   325352 |    19564     33 |        7 |     4970
1425.74/1426.27	c 1425s |      18 |   497426 |   325552 |    19564     34 |        7 |     4970
1428.24/1428.73	c 1428s |      18 |   497819 |   325852 |    19564     34 |        7 |     4970
1430.34/1430.82	c 1430s |      18 |   498137 |   326052 |    19564     34 |        7 |     4970
1433.04/1433.54	c 1433s |      18 |   498514 |   326352 |    19564     34 |        7 |     4970
1435.94/1436.46	c 1436s |      18 |   498996 |   326652 |    19564     34 |        7 |     4970
1438.64/1439.17	c 1438s |      18 |   499653 |   326952 |    19564     34 |        7 |     4970
1441.75/1442.24	c 1441s |      18 |   500028 |   327252 |    19564     34 |        7 |     4970
1444.74/1445.24	c 1444s |      18 |   500541 |   327552 |    19564     34 |        7 |     4970
1447.64/1448.19	c 1447s |      18 |   500977 |   327852 |    19564     34 |        7 |     4970
1449.74/1450.28	c 1449s |      18 |   501332 |   328052 |    19564     34 |        7 |     4970
1451.93/1452.43	c 1452s |      18 |   501678 |   328252 |    19564     34 |        7 |     4970
1454.73/1455.23	c 1454s |      18 |   502451 |   328552 |    19564     34 |        7 |     4970
1457.15/1457.60	c 1457s |      18 |   503127 |   328852 |    19564     34 |        7 |     4970
1459.44/1459.94	c 1459s |      18 |   503606 |   329152 |    19564     34 |        7 |     4970
1461.44/1461.95	c 1461s |      18 |   504027 |   329352 |    19564     34 |        7 |     4970
1463.64/1464.12	c 1463s |      18 |   504340 |   329552 |    19564     34 |        7 |     4970
1466.03/1466.60	c 1466s |      18 |   505214 |   329852 |    19564     34 |        7 |     4970
1468.63/1469.10	c 1468s |      18 |   506480 |   330252 |    19564     34 |        7 |     4970
1471.44/1471.95	c 1471s |      18 |   507177 |   330552 |    19564     34 |        7 |     4970
1474.14/1474.63	c 1474s |      18 |   507698 |   330852 |    19564     34 |        7 |     4970
1476.33/1476.84	c 1476s |      18 |   508004 |   331052 |    19564     34 |        7 |     4970
1478.53/1479.06	c 1478s |      18 |   508308 |   331252 |    19564     34 |        7 |     4970
1481.63/1482.19	c 1481s |      18 |   508737 |   331552 |    19564     34 |        7 |     4970
1484.13/1484.60	c 1484s |      18 |   509122 |   331752 |    19564     34 |        7 |     4970
1486.63/1487.11	c 1486s |      18 |   509788 |   332052 |    19564     34 |        7 |     4970
1488.63/1489.18	c 1488s |      18 |   510210 |   332252 |    19564     34 |        7 |     4970
1490.73/1491.28	c 1490s |      18 |   511193 |   332652 |    19564     34 |        7 |     4970
1493.13/1493.65	c 1493s |      18 |   511986 |   333052 |    19564     34 |        7 |     4970
1495.93/1496.45	c 1496s |      18 |   512349 |   333352 |    19564     34 |        7 |     4970
1498.84/1499.33	c 1498s |      18 |   512831 |   333652 |    19564     34 |        7 |     4970
1501.33/1501.88	c 1501s |      18 |   513206 |   333952 |    19564     34 |        7 |     4970
1503.53/1504.06	c 1503s |      18 |   513894 |   334252 |    19564     34 |        7 |     4970
1506.33/1506.89	c 1506s |      18 |   514613 |   334552 |    19564     34 |        7 |     4970
1509.03/1509.53	c 1509s |      18 |   514840 |   334752 |    19564     34 |        7 |     4970
1511.32/1511.87	c 1511s |      18 |   515458 |   334952 |    19564     34 |        7 |     4970
1513.92/1514.45	c 1514s |      18 |   515690 |   335152 |    19564     34 |        7 |     4970
1516.54/1517.09	c 1516s |      18 |   516073 |   335452 |    19564     34 |        7 |     4970
1519.43/1519.90	c 1519s |      18 |   516411 |   335752 |    19564     34 |        7 |     4970
1522.22/1522.75	c 1522s |      18 |   516877 |   336052 |    19564     34 |        7 |     4970
1525.12/1525.69	c 1525s |      18 |   517645 |   336352 |    19564     34 |        7 |     4970
1528.12/1528.60	c 1528s |      18 |   518022 |   336652 |    19564     34 |        7 |     4970
1530.92/1531.43	c 1531s |      18 |   518491 |   336952 |    19564     34 |        7 |     4970
1533.53/1534.03	c 1533s |      18 |   518745 |   337152 |    19564     34 |        7 |     4970
1535.83/1536.35	c 1536s |      18 |   518901 |   337252 |    19564     35 |        7 |     4970
1538.32/1538.84	c 1538s |      18 |   519170 |   337452 |    19564     35 |        7 |     4970
1540.42/1540.99	c 1540s |      18 |   519563 |   337652 |    19564     35 |        7 |     4970
1542.52/1543.08	c 1542s |      18 |   519831 |   337852 |    19564     35 |        7 |     4970
1544.92/1545.47	c 1545s |      18 |   520121 |   338052 |    19564     35 |        7 |     4970
1547.12/1547.66	c 1547s |      18 |   520401 |   338252 |    19564     35 |        7 |     4970
1549.92/1550.48	c 1550s |      18 |   520807 |   338552 |    19564     35 |        7 |     4970
1552.02/1552.59	c 1552s |      18 |   521181 |   338752 |    19564     35 |        7 |     4970
1554.32/1554.83	c 1554s |      18 |   521425 |   338952 |    19564     35 |        7 |     4970
1556.72/1557.21	c 1556s |      18 |   521699 |   339152 |    19564     35 |        7 |     4970
1559.02/1559.57	c 1559s |      18 |   521918 |   339352 |    19564     35 |        7 |     4970
1561.63/1562.16	c 1561s |      18 |   522172 |   339552 |    19564     35 |        7 |     4970
1564.22/1564.77	c 1564s |      18 |   522412 |   339752 |    19564     35 |        7 |     4970
1567.02/1567.51	c 1567s |      18 |   522634 |   339952 |    19564     35 |        7 |     4970
1570.22/1570.79	c 1570s |      18 |   522866 |   340152 |    19564     35 |        7 |     4970
1573.32/1573.82	c 1573s |      18 |   523075 |   340352 |    19564     35 |        7 |     4970
1576.31/1576.82	c 1576s |      18 |   523340 |   340552 |    19564     35 |        7 |     4970
1579.12/1579.67	c 1579s |      18 |   523586 |   340752 |    19564     35 |        7 |     4970
1582.43/1582.95	c 1582s |      18 |   523815 |   340952 |    19564     35 |        7 |     4970
1585.42/1585.92	c 1585s |      18 |   524743 |   341252 |    19564     35 |        7 |     4970
1587.81/1588.31	c 1587s |      18 |   525366 |   341452 |    19564     35 |        7 |     4970
1590.31/1590.88	c 1590s |      18 |   525852 |   341652 |    19564     35 |        7 |     4970
1593.02/1593.54	c 1593s |      18 |   526083 |   341852 |    19564     35 |        7 |     4970
1596.61/1597.12	c 1596s |      18 |   526411 |   342052 |    19564     35 |        7 |     4970
1599.31/1599.84	c 1599s |      18 |   526853 |   342252 |    19564     35 |        7 |     4970
1602.42/1602.94	c 1602s |      18 |   527231 |   342552 |    19564     35 |        7 |     4970
1605.71/1606.20	c 1605s |      18 |   527532 |   342752 |    19564     35 |        7 |     4970
1608.01/1608.55	c 1608s |      18 |   527791 |   342952 |    19564     35 |        7 |     4970
1610.41/1610.95	c 1610s |      18 |   528057 |   343152 |    19564     35 |        7 |     4970
1613.11/1613.63	c 1613s |      18 |   528277 |   343352 |    19564     35 |        7 |     4970
1615.91/1616.41	c 1616s |      18 |   528662 |   343652 |    19564     35 |        7 |     4970
1618.92/1619.40	c 1619s |      18 |   529062 |   343952 |    19564     35 |        7 |     4970
1621.51/1622.05	c 1621s |      18 |   529290 |   344152 |    19564     35 |        7 |     4970
1624.32/1624.89	c 1624s |      18 |   529597 |   344352 |    19564     35 |        7 |     4970
1626.90/1627.41	c 1627s |      18 |   529818 |   344552 |    19564     35 |        7 |     4970
1630.00/1630.57	c 1630s |      18 |   530055 |   344752 |    19564     35 |        7 |     4970
1633.41/1633.98	c 1633s |      18 |   530351 |   344952 |    19564     35 |        7 |     4970
1636.11/1636.65	c 1636s |      18 |   530622 |   345152 |    19564     35 |        7 |     4970
1639.81/1640.34	c 1640s |      18 |   530851 |   345352 |    19564     35 |        7 |     4970
1642.91/1643.41	c 1643s |      18 |   531153 |   345552 |    19564     35 |        7 |     4970
1645.31/1645.82	c 1645s |      18 |   531586 |   345752 |    19564     35 |        7 |     4970
1647.31/1647.85	c 1647s |      18 |   531770 |   345852 |    19564     35 |        7 |     4970
1650.90/1651.45	c 1651s |      18 |   532022 |   346052 |    19564     35 |        7 |     4970
1653.21/1653.79	c 1653s |      18 |   532212 |   346152 |    19564     35 |        7 |     4970
1656.81/1657.32	c 1656s |      18 |   532439 |   346352 |    19564     35 |        7 |     4970
1659.51/1660.00	c 1659s |      18 |   532893 |   346552 |    19564     35 |        7 |     4970
1662.40/1662.96	c 1662s |      18 |   533132 |   346752 |    19564     35 |        7 |     4970
1665.40/1665.91	c 1665s |      18 |   533401 |   346952 |    19564     35 |        7 |     4970
1669.20/1669.71	c 1669s |      18 |   533627 |   347152 |    19564     35 |        7 |     4970
1672.10/1672.68	c 1672s |      18 |   533954 |   347352 |    19564     35 |        7 |     4970
1674.50/1675.05	c 1674s |      18 |   534504 |   347552 |    19564     35 |        7 |     4970
1677.11/1677.68	c 1677s |      18 |   534877 |   347852 |    19564     35 |        7 |     4970
1679.50/1680.00	c 1679s |      18 |   535073 |   348052 |    19564     35 |        7 |     4970
1681.80/1682.38	c 1682s |      18 |   535304 |   348252 |    19564     35 |        7 |     4970
1684.40/1684.94	c 1684s |      18 |   535566 |   348452 |    19564     35 |        7 |     4970
1686.80/1687.39	c 1687s |      18 |   535784 |   348652 |    19564     35 |        7 |     4970
1691.00/1691.51	c 1691s |      18 |   536174 |   348852 |    19564     36 |        7 |     4970
1693.60/1694.19	c 1693s |      18 |   536398 |   349052 |    19564     36 |        7 |     4970
1696.50/1697.10	c 1696s |      18 |   536617 |   349252 |    19564     36 |        7 |     4970
1699.70/1700.29	c 1699s |      18 |   536841 |   349452 |    19564     36 |        7 |     4970
1703.20/1703.77	c 1703s |      18 |   537040 |   349652 |    19564     36 |        7 |     4970
1706.60/1707.17	c 1706s |      18 |   537254 |   349852 |    19564     36 |        7 |     4970
1709.10/1709.69	c 1709s |      18 |   537494 |   350052 |    19564     36 |        7 |     4970
1712.09/1712.70	c 1712s |      18 |   537823 |   350252 |    19564     36 |        7 |     4970
1714.99/1715.57	c 1715s |      18 |   538445 |   350452 |    19564     36 |        7 |     4970
1717.90/1718.41	c 1718s |      18 |   539180 |   350652 |    19564     36 |        7 |     4970
1721.10/1721.67	c 1721s |      18 |   539493 |   350852 |    19564     36 |        7 |     4970
1723.89/1724.45	c 1724s |      18 |   539792 |   351052 |    19564     36 |        7 |     4970
1726.00/1726.52	c 1726s |      18 |   540192 |   351252 |    19564     36 |        7 |     4970
1728.70/1729.21	c 1728s |      18 |   540430 |   351452 |    19564     36 |        7 |     4970
1731.49/1732.09	c 1731s |      18 |   540652 |   351652 |    19564     36 |        7 |     4970
1734.40/1734.93	c 1734s |      18 |   540920 |   351852 |    19564     36 |        7 |     4970
1736.90/1737.42	c 1737s |      18 |   541365 |   352052 |    19564     36 |        7 |     4970
1739.19/1739.79	c 1739s |      18 |   541619 |   352252 |    19564     36 |        7 |     4970
1741.59/1742.15	c 1741s |      18 |   541853 |   352452 |    19564     36 |        7 |     4970
1744.39/1744.94	c 1744s |      18 |   542087 |   352652 |    19564     36 |        7 |     4970
1747.30/1747.83	c 1747s |      18 |   542322 |   352852 |    19564     36 |        7 |     4970
1750.19/1750.73	c 1750s |      18 |   542564 |   353052 |    19564     36 |        7 |     4970
1752.79/1753.39	c 1753s |      18 |   542808 |   353252 |    19564     36 |        7 |     4970
1755.89/1756.44	c 1756s |      18 |   543020 |   353452 |    19564     36 |        7 |     4970
1759.29/1759.86	c 1759s |      18 |   543350 |   353652 |    19564     36 |        7 |     4970
1762.29/1762.80	c 1762s |      18 |   543631 |   353852 |    19564     36 |        7 |     4970
1765.19/1765.80	c 1765s |      18 |   543877 |   354052 |    19564     36 |        7 |     4970
1768.49/1769.02	c 1768s |      18 |   544124 |   354252 |    19564     36 |        7 |     4970
1771.79/1772.32	c 1771s |      18 |   544338 |   354452 |    19564     36 |        7 |     4970
1775.59/1776.18	c 1775s |      18 |   544558 |   354652 |    19564     36 |        7 |     4970
1777.78/1778.30	c 1777s |      18 |   544699 |   354752 |    19564     36 |        7 |     4970
1780.69/1781.29	c 1780s |      18 |   544990 |   354952 |    19564     36 |        7 |     4970
1782.78/1783.37	c 1783s |      18 |   545099 |   355052 |    19564     36 |        7 |     4970
1786.48/1787.00	c 1786s |      18 |   545345 |   355252 |    19564     36 |        7 |     4970
1788.58/1789.12	c 1788s |      18 |   545449 |   355352 |    19564     36 |        7 |     4970
1791.98/1792.51	c 1792s |      18 |   545756 |   355552 |    19564     36 |        7 |     4970
1794.99/1795.59	c 1795s |      18 |   545997 |   355752 |    19564     36 |        7 |     4970
1797.08/1797.66	c 1797s |      18 |   546094 |   355852 |    19564     36 |        7 |     4970

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

pid=8087
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.23 2.21 2.19 3/179 8090
/proc/meminfo: memFree=29373280/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 2740 0 0 0 0 0 0 0 20 0 4 0 108550227 751235072 3611 33554432000 4194304 16246674 140735274267712 140735274267136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 184175 3619 441 2943 0 181069 0
[pid=8090/tid=8091] ppid=8087 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 770109440 3682 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 775352320 3699 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 779546624 3715 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.23 2.21 2.19 3/179 8090
/proc/meminfo: memFree=29373280/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 25980 0 0 0 6 3 0 0 20 0 4 0 108550227 1333334016 26790 33554432000 4194304 16246674 140735274267712 140735274267024 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 325521 26807 801 2943 0 322415 0
[pid=8090/tid=8091] ppid=8087 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1333334016 26819 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1333334016 26830 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1333334016 26842 33554432000 4194304 16246674 140735274267712 139731794914480 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.200602 s]
/proc/loadavg: 2.23 2.21 2.19 3/179 8090
/proc/meminfo: memFree=29373280/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 42730 0 0 0 14 5 0 0 20 0 4 0 108550227 1333334016 43539 33554432000 4194304 16246674 140735274267712 140735274267024 12369348 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 325521 43539 844 2943 0 322415 0
[pid=8090/tid=8091] ppid=8087 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1333334016 43539 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1333334016 43539 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1333334016 43539 33554432000 4194304 16246674 140735274267712 139731794914480 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) 1302084

[startup+0.300541 s]
/proc/loadavg: 2.23 2.21 2.19 3/179 8090
/proc/meminfo: memFree=29373280/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 64899 0 0 0 21 8 0 0 20 0 4 0 108550227 1334382592 65708 33554432000 4194304 16246674 140735274267712 140735274267024 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 325777 65711 862 2943 0 322671 0
[pid=8090/tid=8091] ppid=8087 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1334382592 65714 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1334382592 65717 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1334382592 65719 33554432000 4194304 16246674 140735274267712 139731794914480 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) 1303108

[startup+0.70043 s]
/proc/loadavg: 2.23 2.21 2.19 3/179 8090
/proc/meminfo: memFree=29373280/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 68104 0 0 0 61 8 0 0 20 0 4 0 108550227 1346965504 68913 33554432000 4194304 16246674 140735274267712 140735274249600 6845877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 328849 68913 901 2943 0 325743 0
[pid=8090/tid=8091] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 68913 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 68913 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 68913 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50042 s]
/proc/loadavg: 2.23 2.21 2.19 3/183 8094
/proc/meminfo: memFree=29098584/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 83194 0 0 0 138 11 0 0 20 0 4 0 108550227 1346965504 84003 33554432000 4194304 16246674 140735274267712 140735274249600 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 328849 84006 901 2943 0 325743 0
[pid=8090/tid=8091] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 84006 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 84010 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 84012 33554432000 4194304 16246674 140735274267712 139731794914480 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) 1315396

[startup+3.10043 s]
/proc/loadavg: 2.23 2.21 2.19 3/183 8094
/proc/meminfo: memFree=28905144/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 270049 0 0 0 273 36 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 140735274249600 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 328849 270858 901 2943 0 325743 0
[pid=8090/tid=8091] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 139731794914480 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) 1315396

[startup+6.30044 s]
/proc/loadavg: 2.21 2.21 2.19 3/183 8094
/proc/meminfo: memFree=28290536/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 270049 0 0 0 593 36 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 140735274249600 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 328849 270858 901 2943 0 325743 0
[pid=8090/tid=8091] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 139731794914480 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) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 8094
/proc/meminfo: memFree=28290328/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 270049 0 0 0 1233 36 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 140735274249600 5572174 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 328849 270858 901 2943 0 325743 0
[pid=8090/tid=8091] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270858 33554432000 4194304 16246674 140735274267712 139731794914480 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) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 8143
/proc/meminfo: memFree=28297812/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 270052 0 0 0 2512 36 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 140735274249600 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 328849 270861 904 2943 0 325743 0
[pid=8090/tid=8091] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1006 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 8192
/proc/meminfo: memFree=28308516/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 270052 0 0 0 5070 38 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 140735274249600 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 328849 270861 904 2943 0 325743 0
[pid=8090/tid=8091] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 139731794914480 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) 1315396

[startup+102.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 8193
/proc/meminfo: memFree=28302604/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 270060 0 0 0 10188 40 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 140735274249600 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 328849 270861 904 2943 0 325743 0
[pid=8090/tid=8091] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1346965504 270861 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1382617088 279565 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1350212

[startup+1302.3 s]
/proc/loadavg: 2.05 2.13 2.16 3/183 8224
/proc/meminfo: memFree=28254784/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1350212 CPUtime=1301.86 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 279128 0 0 0 130102 84 0 0 20 0 4 0 108550227 1382617088 279565 33554432000 4194304 16246674 140735274267712 140735274249600 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 337553 279565 904 2943 0 334447 0
[pid=8090/tid=8091] ppid=8087 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1382617088 279565 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1382617088 279565 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1382617088 279565 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1350212

[startup+1362.3 s]
/proc/loadavg: 2.10 2.14 2.16 3/183 8225
/proc/meminfo: memFree=28254788/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1350212 CPUtime=1361.85 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 279128 0 0 0 136098 87 0 0 20 0 4 0 108550227 1382617088 279565 33554432000 4194304 16246674 140735274267712 140735274249600 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 337553 279565 904 2943 0 334447 0
[pid=8090/tid=8091] ppid=8087 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1382617088 279565 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1382617088 279565 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1382617088 279565 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1350212

[startup+1422.3 s]
/proc/loadavg: 2.09 2.12 2.15 3/183 8226
/proc/meminfo: memFree=28196308/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1409604 CPUtime=1421.84 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 293759 0 0 0 142091 93 0 0 20 0 4 0 108550227 1443434496 294196 33554432000 4194304 16246674 140735274267712 140735274249600 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 352401 294196 904 2943 0 349295 0
[pid=8090/tid=8091] ppid=8087 vsize=1409604 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1443434496 294196 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1409604 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1443434496 294196 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1409604 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1443434496 294196 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1409604

[startup+1482.3 s]
/proc/loadavg: 2.06 2.11 2.14 3/183 8227
/proc/meminfo: memFree=28196288/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1409604 CPUtime=1481.83 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 293759 0 0 0 148086 97 0 0 20 0 4 0 108550227 1443434496 294196 33554432000 4194304 16246674 140735274267712 140735274266808 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 352401 294196 904 2943 0 349295 0
[pid=8090/tid=8091] ppid=8087 vsize=1409604 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1443434496 294196 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1409604 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1443434496 294196 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1409604 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1443434496 294196 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1409604

[startup+1542.31 s]
/proc/loadavg: 2.09 2.12 2.14 3/183 8229
/proc/meminfo: memFree=28121868/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1483332 CPUtime=1541.83 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 312364 0 0 0 154079 104 0 0 20 0 4 0 108550227 1518931968 312801 33554432000 4194304 16246674 140735274267712 140735274249600 5712544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 370833 312801 904 2943 0 367727 0
[pid=8090/tid=8091] ppid=8087 vsize=1483332 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1518931968 312801 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1483332 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1518931968 312801 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1483332 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1518931968 312801 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1483332

[startup+1602.3 s]
/proc/loadavg: 2.14 2.12 2.14 3/183 8230
/proc/meminfo: memFree=28121972/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1483332 CPUtime=1601.82 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 312408 0 0 0 160072 110 0 0 20 0 4 0 108550227 1518931968 312845 33554432000 4194304 16246674 140735274267712 140735274249600 6012071 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 370833 312845 904 2943 0 367727 0
[pid=8090/tid=8091] ppid=8087 vsize=1483332 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1518931968 312845 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1483332 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1518931968 312845 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1483332 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1518931968 312845 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1483332

[startup+1662.3 s]
/proc/loadavg: 2.20 2.14 2.15 3/184 8234
/proc/meminfo: memFree=28072468/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1532484 CPUtime=1661.8 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 324632 0 0 0 166065 115 0 0 20 0 4 0 108550227 1569263616 325069 33554432000 4194304 16246674 140735274267712 140735274249600 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 383121 325069 904 2943 0 380015 0
[pid=8090/tid=8091] ppid=8087 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1569263616 325069 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1569263616 325069 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1569263616 325069 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1532484

[startup+1722.3 s]
/proc/loadavg: 2.24 2.16 2.15 3/183 8235
/proc/meminfo: memFree=28072776/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1532484 CPUtime=1721.79 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 324632 0 0 0 172058 121 0 0 20 0 4 0 108550227 1569263616 325069 33554432000 4194304 16246674 140735274267712 140735274266808 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 383121 325069 904 2943 0 380015 0
[pid=8090/tid=8091] ppid=8087 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1569263616 325069 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1569263616 325069 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1532484 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1569263616 325069 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1532484

[startup+1782.3 s]
/proc/loadavg: 2.21 2.16 2.15 3/183 8236
/proc/meminfo: memFree=28062088/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1542724 CPUtime=1781.79 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 327256 0 0 0 178052 127 0 0 20 0 4 0 108550227 1579749376 327693 33554432000 4194304 16246674 140735274267712 140735274249600 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 385681 327693 904 2943 0 382575 0
[pid=8090/tid=8091] ppid=8087 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1579749376 327693 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1579749376 327693 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1579749376 327693 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1542724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.23 2.17 2.15 3/183 8236
/proc/meminfo: memFree=28062124/32872528 swapFree=16252/1391864
[pid=8090] ppid=8087 vsize=1542724 CPUtime=1800.08 cores=1,3,5,7
/proc/8090/stat : 8090 (toysat) R 8087 8090 5783 0 -1 4202496 327256 0 0 0 179879 129 0 0 20 0 4 0 108550227 1579749376 327693 33554432000 4194304 16246674 140735274267712 140735274249600 12483276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8090/statm: 385681 327693 904 2943 0 382575 0
[pid=8090/tid=8091] ppid=8087 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8091/stat : 8091 (toysat) S 8087 8090 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108550227 1579749376 327693 33554432000 4194304 16246674 140735274267712 139731893464304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8090/tid=8092] ppid=8087 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8092/stat : 8092 (toysat) S 8087 8090 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108550227 1579749376 327693 33554432000 4194304 16246674 140735274267712 139731882974448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8090/tid=8093] ppid=8087 vsize=1542724 CPUtime=0 cores=1,3,5,7
/proc/8090/task/8093/stat : 8093 (toysat) S 8087 8090 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108550227 1579749376 327693 33554432000 4194304 16246674 140735274267712 139731794914480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1542724

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1798.8
CPU system time (s): 1.3058
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1542724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.3058
maximum resident set size= 1310772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327256
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= 388
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.09362 second user time and 19.0511 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 04:22:50
IDJOB=4079889
IDBENCH=71843
IDSOLVER=2542
FILE ID=node119/4079889-1465266170
RUNJOBID= node119-1465252213-5800
PBS_JOBID= 19843259
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079889-1465266170/watcher-4079889-1465266170 -o /tmp/evaluation-result-4079889-1465266170/solver-4079889-1465266170 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079889-1465266170.opb

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

MD5SUM BENCH= 899c8865b8ac9a45eaa204f923cbd9e8
RANDOM SEED=907179116

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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:        29373824 kB
Buffers:          117160 kB
Cached:           163028 kB
SwapCached:          888 kB
Active:          1219448 kB
Inactive:         154184 kB
Active(anon):    1093732 kB
Inactive(anon):     1712 kB
Active(file):     125716 kB
Inactive(file):   152472 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100176 kB
Dirty:             34324 kB
Writeback:            12 kB
AnonPages:       2584372 kB
Mapped:            10928 kB
Shmem:                 0 kB
Slab:             599420 kB
SReclaimable:      43264 kB
SUnreclaim:       556156 kB
KernelStack:        1504 kB
PageTables:         8780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2627536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1482752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node119 at 2016-06-07 04:52:52