Trace number 4079888

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.61

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx63.opb
MD5SUM807bc542b75293285fea5916dfeaaa3e
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 variables3216
Total number of constraints3658
Number of constraints which are clauses3210
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
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 6
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 786
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:55+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-4079888-1465266175.opb"]
0.00/0.01	c use --random-gen="3922307352 2016396507 1909383507 3206034744 1852611981 3669935032 2981368816 2018873372 2293934391 3742701393 981753049 1430379903 3971229762 2217668431 1115013629 4223034745 157727748 757877484 492108528 3071924103 4117667331 4014657306 2008515557 2437390973 3870761560 1465429310 993160227 3008876643 4092375885 1502422765 286665867 1450324357 535752345 2487162567 3186315723 481075391 3382785684 305793814 3588336432 3362522503 3991316968 1818823753 1319347420 740415447 364353659 3841945732 1503007455 3247682463 2107819464 931478227 2947070992 305357386 855780230 2284556661 2191414496 1765941466 3092722238 1897289577 2300199998 1765433827 595460071 3858937133 3627909705 2206267010 2199762351 1468667087 4138919176 1119454921 1397243834 3121575639 1150453180 1288187469 2298330262 1117550550 4078162806 2462331156 3612166586 4205797706 273048636 853830810 963698808 3991782779 1325123491 2207132520 2690437154 1245168154 636100738 1299836648 547950683 1483642841 1139425716 3451625519 926745779 3987742732 669063616 4181834740 3910017656 690662030 3220125661 1363538663 213294966 1349220804 2202599731 3285918964 2490085792 1531655578 1360618788 689950709 4213887568 1569978038 926386310 2228278690 241308822 1123454817 4160730464 3573078172 3952959437 1492327610 2645496395 3256393768 2602262028 134162094 3160176100 441659969 3709471016 664405141 3591600907 1473469715 2051927130 175704193 1232873166 425232777 1545865815 450772526 3452701021 1803102920 3197652808 1562510656 340529556 1948979816 290847539 2079544672 362647570 1029003084 3507798911 430657871 2507814164 525662479 1889570624 4036341534 555111040 3074503212 4176129363 4161110351 1986155821 1799592250 1509575335 3284021609 1613756110 2976976906 3366865433 1199115133 2202572185 1556344013 974230329 1742022738 596251647 2551881504 1403771142 4108204654 3584298109 4143308647 2307370372 4278162580 2024815670 3693482534 925600375 3328472537 1185442539 3629953231 1139682196 3034789113 4049457935 2351358942 3724011663 2672341410 1889358965 69780419 1649423083 2911243949 1913381614 360990926 863874454 3310752077 3026399748 874697775 369733796 2193150130 214486396 4053543307 1970771452 586841702 2763247607 1688700685 4215725730 4230877346 2621185310 114101489 830822017 2183971773 3030976419 3819535915 4231563375 3338627765 2890158035 2192061885 1500407294 3728320146 608820476 1194384729 2860841625 1453415456 2565047194 2304264609 413016142 1549481112 4217162756 1984789287 2246288846 187671247 3840018579 1753326122 2327898543 1449954318 4101693313 1794319460 542790485 2310110961 2449221426 153973823 3321506821 56220065 2749832917 3311044509 3566741221 1230727227 2960331638 1644559595 2141689444 197326067 1520758341 1595862529 3540446871 2521798747 3081562278 2789806664 255 362436" option to reproduce the execution
0.00/0.09	c #vars 3216
0.00/0.09	c #constraints 3658
0.08/0.23	c BCD2: Hardening is enabled.
0.08/0.23	c BCD2: BiasedSearch is enabled.
0.08/0.23	c Solving starts ...
0.08/0.23	c ============================[ Search Statistics ]============================
0.08/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.38	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.38	c =============================================================================
0.08/0.38	c  0.0s |       0 |        0 |        0 |     2312      0 |        6 |        0
0.08/0.38	c  0.1s |       1 |      135 |      100 |     2312      0 |        6 |     3210
0.48/0.53	c  0.3s |       2 |      683 |      250 |     2544      0 |        6 |     3210
0.78/0.84	c  0.6s |       3 |     1359 |      475 |     2799      0 |        6 |     3210
1.48/1.56	c  1.3s |       4 |     2624 |      813 |     3079      0 |        6 |     3210
2.19/2.22	c  2.0s |       5 |     3973 |     1320 |     3387      0 |        6 |     3210
3.18/3.22	c  3.0s |       6 |     5625 |     2081 |     4099      0 |        6 |     3210
4.39/4.49	c  4.3s |       7 |     8708 |     3223 |     4509      0 |        6 |     3210
6.79/6.83	c  6.6s |       7 |    13282 |     4723 |     4509      0 |        6 |     3210
7.38/7.46	c  7.2s |       8 |    14337 |     4936 |     4960      0 |        6 |     3210
9.48/9.59	c  9.4s |       8 |    18621 |     5436 |     4960      0 |        6 |     3210
12.08/12.13	c 11.9s |       8 |    19455 |     5736 |     4960      0 |        6 |     3210
14.28/14.35	c 14.1s |       8 |    19673 |     5936 |     4960      0 |        6 |     3210
17.08/17.15	c 16.9s |       8 |    19895 |     6136 |     4960      0 |        6 |     3210
20.28/20.33	c 20.1s |       8 |    20100 |     6336 |     4960      0 |        6 |     3210
23.78/23.85	c 23.6s |       8 |    20323 |     6536 |     4960      0 |        6 |     3210
26.48/26.51	c 26.3s |       8 |    20562 |     6736 |     4960      0 |        6 |     3210
30.08/30.18	c 30.0s |       8 |    20794 |     6936 |     4960      0 |        6 |     3210
33.47/33.57	c 33.3s |       8 |    21179 |     7136 |     4960      0 |        6 |     3210
36.58/36.62	c 36.4s |       8 |    21412 |     7336 |     4960      0 |        6 |     3210
38.27/38.30	c 38.1s |       9 |    21596 |     7506 |     5456      1 |        6 |     3210
40.47/40.51	c 40.3s |       9 |    23403 |     8106 |     5456      1 |        6 |     3210
42.57/42.63	c 42.4s |       9 |    23962 |     8606 |     5456      1 |        6 |     3210
44.78/44.83	c 44.6s |       9 |    24534 |     9106 |     5456      1 |        6 |     3210
46.78/46.88	c 46.7s |       9 |    25134 |     9606 |     5456      1 |        6 |     3210
49.28/49.30	c 49.1s |       9 |    25729 |    10106 |     5456      1 |        6 |     3210
51.58/51.63	c 51.4s |       9 |    26304 |    10606 |     5456      1 |        6 |     3210
53.98/54.10	c 53.9s |       9 |    26866 |    11106 |     5456      1 |        6 |     3210
55.48/55.56	c 55.3s |      10 |    27130 |    11361 |     6002      1 |        6 |     3210
57.78/57.87	c 57.6s |      10 |    30325 |    12261 |     6002      2 |        6 |     3210
59.88/59.98	c 59.8s |      10 |    32469 |    13061 |     6002      2 |        6 |     3210
62.28/62.39	c 62.2s |      10 |    33570 |    13961 |     6002      2 |        6 |     3210
64.37/64.46	c 64.2s |      10 |    34293 |    14561 |     6002      2 |        6 |     3210
66.57/66.63	c 66.4s |      10 |    35326 |    15361 |     6002      2 |        6 |     3210
68.77/68.83	c 68.6s |      10 |    36501 |    16261 |     6002      3 |        6 |     3210
70.58/70.68	c 70.5s |      11 |    37958 |    17144 |     6603      3 |        6 |     3210
72.57/72.69	c 72.5s |      11 |    40905 |    18144 |     6603      3 |        6 |     3210
75.27/75.30	c 75.1s |      11 |    42598 |    18944 |     6603      3 |        6 |     3210
77.37/77.49	c 77.3s |      11 |    43329 |    19344 |     6603      3 |        6 |     3210
79.67/79.75	c 79.5s |      11 |    44050 |    19944 |     6603      3 |        6 |     3210
81.77/81.83	c 81.6s |      11 |    44902 |    20544 |     6603      4 |        6 |     3210
83.78/83.83	c 83.6s |      11 |    45878 |    21144 |     6603      4 |        6 |     3210
85.87/85.90	c 85.7s |      11 |    46560 |    21744 |     6603      4 |        6 |     3210
88.07/88.11	c 87.9s |      11 |    48203 |    22444 |     6603      4 |        6 |     3210
90.17/90.26	c 90.0s |      11 |    49185 |    22944 |     6603      4 |        6 |     3210
92.37/92.46	c 92.2s |      11 |    49660 |    23344 |     6603      4 |        6 |     3210
94.78/94.87	c 94.6s |      11 |    51894 |    23944 |     6603      4 |        6 |     3210
97.27/97.34	c 97.1s |      11 |    53701 |    24544 |     6603      5 |        6 |     3210
99.28/99.34	c 99.1s |      11 |    55294 |    25344 |     6603      5 |        6 |     3210
100.37/100.47	c  100s |      12 |    55904 |    25819 |     7264      5 |        6 |     3210
102.47/102.53	c  102s |      12 |    58550 |    27119 |     7264      5 |        6 |     3210
104.46/104.58	c  104s |      12 |    60427 |    28119 |     7264      5 |        6 |     3210
106.66/106.70	c  106s |      12 |    62327 |    29319 |     7264      6 |        6 |     3210
108.76/108.84	c  108s |      12 |    65546 |    30819 |     7264      6 |        6 |     3210
110.96/111.02	c  110s |      12 |    67217 |    31719 |     7264      6 |        6 |     3210
113.16/113.23	c  113s |      12 |    68517 |    32519 |     7264      6 |        6 |     3210
115.36/115.48	c  115s |      12 |    69412 |    33219 |     7264      6 |        6 |     3210
117.87/117.96	c  117s |      12 |    70125 |    33819 |     7264      7 |        6 |     3210
119.96/120.07	c  119s |      12 |    72669 |    35019 |     7264      7 |        6 |     3210
122.06/122.15	c  121s |      12 |    74829 |    36119 |     7264      7 |        6 |     3210
124.17/124.26	c  124s |      12 |    76228 |    37119 |     7264      7 |        6 |     3210
126.27/126.37	c  126s |      12 |    79140 |    38219 |     7264      7 |        6 |     3210
127.37/127.40	c  127s |      13 |    79910 |    38832 |     7991      7 |        6 |     3210
129.57/129.62	c  129s |      13 |    81969 |    39832 |     7991      8 |        6 |     3210
131.87/131.92	c  131s |      13 |    82998 |    40532 |     7991      8 |        6 |     3210
134.06/134.12	c  133s |      13 |    84563 |    41332 |     7991      8 |        6 |     3210
136.06/136.19	c  135s |      13 |    85684 |    42032 |     7991      8 |        6 |     3210
138.36/138.45	c  138s |      13 |    86901 |    42732 |     7991      8 |        6 |     3210
140.56/140.67	c  140s |      13 |    87525 |    43232 |     7991      8 |        6 |     3210
142.86/142.96	c  142s |      13 |    88156 |    43732 |     7991      8 |        6 |     3210
145.07/145.12	c  144s |      13 |    88754 |    44232 |     7991      8 |        6 |     3210
147.26/147.39	c  147s |      13 |    89594 |    44832 |     7991      9 |        6 |     3210
149.46/149.59	c  149s |      13 |    90731 |    45732 |     7991      9 |        6 |     3210
151.56/151.67	c  151s |      13 |    91853 |    46532 |     7991      9 |        6 |     3210
153.76/153.82	c  153s |      13 |    92973 |    47232 |     7991      9 |        6 |     3210
155.86/155.98	c  155s |      13 |    94248 |    47932 |     7991      9 |        6 |     3210
158.06/158.13	c  157s |      13 |    95072 |    48532 |     7991      9 |        6 |     3210
160.26/160.31	c  160s |      13 |    96362 |    49332 |     7991      9 |        6 |     3210
162.26/162.34	c  162s |      13 |    97227 |    49932 |     7991     10 |        6 |     3210
164.36/164.45	c  164s |      13 |    99356 |    51032 |     7991     10 |        6 |     3210
166.56/166.67	c  166s |      13 |   101127 |    52032 |     7991     10 |        6 |     3210
168.66/168.79	c  168s |      13 |   102717 |    52832 |     7991     10 |        6 |     3210
171.05/171.12	c  170s |      13 |   103818 |    53532 |     7991     10 |        6 |     3210
173.15/173.23	c  173s |      13 |   104936 |    54232 |     7991     10 |        6 |     3210
175.16/175.26	c  175s |      13 |   105841 |    54632 |     7991     11 |        6 |     3210
177.45/177.57	c  177s |      13 |   106939 |    55132 |     7991     11 |        6 |     3210
179.75/179.80	c  179s |      13 |   107595 |    55632 |     7991     11 |        6 |     3210
182.05/182.16	c  181s |      13 |   108232 |    56032 |     7991     11 |        6 |     3210
184.35/184.47	c  184s |      13 |   108916 |    56532 |     7991     11 |        6 |     3210
186.46/186.57	c  186s |      13 |   109543 |    56932 |     7991     11 |        6 |     3210
188.86/188.98	c  188s |      13 |   110367 |    57432 |     7991     11 |        6 |     3210
190.96/191.01	c  190s |      13 |   111039 |    57832 |     7991     11 |        6 |     3210
193.25/193.38	c  193s |      13 |   111562 |    58232 |     8791     11 |        6 |     3210
193.86/193.93	c  193s |      14 |   111804 |    58352 |     8791     11 |        6 |     3210
195.85/195.97	c  195s |      14 |   114844 |    59752 |     8791     12 |        6 |     3210
197.85/197.99	c  197s |      14 |   118589 |    61552 |     8791     12 |        6 |     3210
199.95/200.01	c  199s |      14 |   121879 |    63452 |     8791     12 |        6 |     3210
202.05/202.13	c  201s |      14 |   123452 |    64852 |     8791     13 |        6 |     3210
204.05/204.18	c  203s |      14 |   125644 |    66652 |     8791     13 |        6 |     3210
206.15/206.26	c  206s |      14 |   127742 |    68152 |     8791     13 |        6 |     3210
208.25/208.39	c  208s |      14 |   129566 |    69652 |     8791     13 |        6 |     3210
210.26/210.39	c  210s |      14 |   131099 |    70952 |     8791     14 |        6 |     3210
212.46/212.56	c  212s |      14 |   132696 |    72252 |     8791     14 |        6 |     3210
214.55/214.65	c  214s |      14 |   134100 |    73452 |     8791     14 |        6 |     3210
216.65/216.72	c  216s |      14 |   136132 |    74852 |     8791     14 |        6 |     3210
218.65/218.80	c  218s |      14 |   138185 |    76452 |     8791     15 |        6 |     3210
220.85/220.91	c  220s |      14 |   140251 |    78052 |     8791     15 |        6 |     3210
222.95/223.04	c  222s |      14 |   142040 |    79552 |     8791     15 |        6 |     3210
225.04/225.17	c  224s |      14 |   144075 |    81052 |     8791     16 |        6 |     3210
227.14/227.28	c  227s |      14 |   145952 |    82552 |     8791     16 |        6 |     3210
229.35/229.41	c  229s |      14 |   147612 |    83952 |     8791     16 |        6 |     3210
231.45/231.54	c  231s |      14 |   149121 |    85252 |     8791     16 |        6 |     3210
233.55/233.66	c  233s |      14 |   150509 |    86452 |     8791     17 |        6 |     3210
235.25/235.38	c  235s |      15 |   151993 |    87632 |     9671     17 |        6 |     3210
237.35/237.43	c  237s |      15 |   155232 |    88832 |     9671     17 |        6 |     3210
239.45/239.52	c  239s |      15 |   158202 |    90032 |     9671     17 |        6 |     3210
241.65/241.76	c  241s |      15 |   159853 |    91032 |     9671     17 |        6 |     3210
243.85/243.92	c  243s |      15 |   161216 |    91932 |     9671     17 |        6 |     3210
246.05/246.17	c  245s |      15 |   162315 |    92732 |     9671     18 |        6 |     3210
248.25/248.38	c  248s |      15 |   163717 |    93432 |     9671     18 |        6 |     3210
250.55/250.61	c  250s |      15 |   164854 |    94132 |     9671     18 |        6 |     3210
252.55/252.68	c  252s |      15 |   165606 |    94732 |     9671     18 |        6 |     3210
254.65/254.73	c  254s |      15 |   166517 |    95332 |     9671     18 |        6 |     3210
257.05/257.10	c  256s |      15 |   167301 |    95932 |     9671     18 |        6 |     3210
259.25/259.30	c  259s |      15 |   167955 |    96432 |     9671     18 |        6 |     3210
261.44/261.55	c  261s |      15 |   168536 |    96932 |     9671     18 |        6 |     3210
263.84/263.96	c  263s |      15 |   169378 |    97532 |     9671     18 |        6 |     3210
265.94/266.01	c  265s |      15 |   170187 |    98032 |     9671     18 |        6 |     3210
268.14/268.21	c  267s |      15 |   170789 |    98532 |     9671     19 |        6 |     3210
270.44/270.52	c  270s |      15 |   171654 |    99132 |     9671     19 |        6 |     3210
272.84/272.92	c  272s |      15 |   172281 |    99632 |     9671     19 |        6 |     3210
275.15/275.30	c  275s |      15 |   173419 |   100132 |     9671     19 |        6 |     3210
277.45/277.59	c  277s |      15 |   174587 |   100732 |     9671     19 |        6 |     3210
279.45/279.59	c  279s |      15 |   175480 |   101232 |     9671     19 |        6 |     3210
281.55/281.60	c  281s |      15 |   176448 |   101732 |     9671     19 |        6 |     3210
283.84/283.95	c  283s |      15 |   178729 |   102432 |     9671     19 |        6 |     3210
286.15/286.23	c  285s |      15 |   179808 |   103032 |     9671     19 |        6 |     3210
288.45/288.55	c  288s |      15 |   181085 |   103632 |     9671     19 |        6 |     3210
290.65/290.73	c  290s |      15 |   182222 |   104132 |     9671     20 |        6 |     3210
292.94/293.08	c  292s |      15 |   183050 |   104732 |     9671     20 |        6 |     3210
295.14/295.23	c  295s |      15 |   184093 |   105332 |     9671     20 |        6 |     3210
297.25/297.37	c  297s |      15 |   185761 |   106132 |     9671     20 |        6 |     3210
299.35/299.45	c  299s |      15 |   186593 |   106732 |     9671     20 |        6 |     3210
301.34/301.49	c  301s |      15 |   187253 |   107232 |     9671     20 |        6 |     3210
303.63/303.77	c  303s |      15 |   188048 |   107732 |     9671     20 |        6 |     3210
305.83/305.91	c  305s |      15 |   188821 |   108232 |     9671     20 |        6 |     3210
308.14/308.21	c  307s |      15 |   189272 |   108632 |     9671     20 |        6 |     3210
310.24/310.32	c  310s |      15 |   189800 |   109032 |     9671     20 |        6 |     3210
312.55/312.69	c  312s |      15 |   190506 |   109532 |     9671     20 |        6 |     3210
314.75/314.82	c  314s |      15 |   191027 |   109932 |     9671     21 |        6 |     3210
316.94/317.01	c  316s |      15 |   191474 |   110332 |     9671     21 |        6 |     3210
319.14/319.25	c  319s |      15 |   191954 |   110732 |     9671     21 |        6 |     3210
321.44/321.51	c  321s |      15 |   193260 |   111332 |     9671     21 |        6 |     3210
323.83/323.91	c  323s |      15 |   193818 |   111832 |     9671     21 |        6 |     3210
325.93/326.02	c  325s |      15 |   195237 |   112332 |     9671     21 |        6 |     3210
328.04/328.13	c  327s |      15 |   196954 |   112932 |     9671     21 |        6 |     3210
330.44/330.54	c  330s |      15 |   197523 |   113432 |     9671     21 |        6 |     3210
332.54/332.67	c  332s |      15 |   198115 |   113832 |     9671     21 |        6 |     3210
334.74/334.80	c  334s |      15 |   199315 |   114332 |     9671     21 |        6 |     3210
337.14/337.23	c  337s |      15 |   200083 |   114832 |     9671     21 |        6 |     3210
339.24/339.38	c  339s |      15 |   200835 |   115232 |     9671     21 |        6 |     3210
341.73/341.81	c  341s |      15 |   202306 |   115732 |     9671     21 |        6 |     3210
343.73/343.89	c  343s |      15 |   202869 |   116132 |     9671     22 |        6 |     3210
346.03/346.10	c  345s |      15 |   203552 |   116632 |     9671     22 |        6 |     3210
348.03/348.15	c  347s |      15 |   204112 |   117032 |     9671     22 |        6 |     3210
350.33/350.43	c  350s |      15 |   204976 |   117532 |     9671     22 |        6 |     3210
352.63/352.75	c  352s |      15 |   205545 |   118032 |     9671     22 |        6 |     3210
354.63/354.79	c  354s |      15 |   206357 |   118432 |     9671     22 |        6 |     3210
356.93/357.00	c  356s |      15 |   206833 |   118832 |     9671     22 |        6 |     3210
359.13/359.27	c  359s |      15 |   207543 |   119232 |     9671     22 |        6 |     3210
361.33/361.46	c  361s |      15 |   208078 |   119632 |     9671     22 |        6 |     3210
363.52/363.64	c  363s |      15 |   208731 |   120032 |     9671     22 |        6 |     3210
365.63/365.74	c  365s |      15 |   210430 |   120432 |     9671     22 |        6 |     3210
367.64/367.78	c  367s |      15 |   211184 |   120832 |     9671     22 |        6 |     3210
369.84/369.95	c  369s |      15 |   211980 |   121232 |     9671     22 |        6 |     3210
372.43/372.56	c  372s |      15 |   212525 |   121632 |     9671     23 |        6 |     3210
374.63/374.71	c  374s |      15 |   213179 |   122032 |     9671     23 |        6 |     3210
377.03/377.15	c  376s |      15 |   213711 |   122432 |     9671     23 |        6 |     3210
379.33/379.44	c  379s |      15 |   214348 |   122832 |     9671     23 |        6 |     3210
381.53/381.69	c  381s |      15 |   214760 |   123132 |     9671     23 |        6 |     3210
383.63/383.79	c  383s |      15 |   216420 |   123632 |     9671     23 |        6 |     3210
385.83/385.99	c  385s |      15 |   217595 |   124432 |     9671     23 |        6 |     3210
387.93/388.07	c  387s |      15 |   218524 |   125132 |     9671     23 |        6 |     3210
390.23/390.37	c  390s |      15 |   219183 |   125732 |     9671     23 |        6 |     3210
392.22/392.38	c  392s |      15 |   220459 |   126332 |     9671     23 |        6 |     3210
394.32/394.48	c  394s |      15 |   221285 |   126732 |     9671     23 |        6 |     3210
396.42/396.59	c  396s |      15 |   221955 |   127132 |     9671     23 |        6 |     3210
398.62/398.77	c  398s |      15 |   222585 |   127632 |     9671     24 |        6 |     3210
401.13/401.20	c  400s |      15 |   223743 |   128232 |     9671     24 |        6 |     3210
403.23/403.35	c  403s |      15 |   224392 |   128732 |     9671     24 |        6 |     3210
405.63/405.73	c  405s |      15 |   225045 |   129232 |     9671     24 |        6 |     3210
407.93/408.07	c  407s |      15 |   225630 |   129732 |     9671     24 |        6 |     3210
410.02/410.18	c  409s |      15 |   226090 |   130132 |     9671     24 |        6 |     3210
412.22/412.31	c  412s |      15 |   226584 |   130532 |     9671     24 |        6 |     3210
414.42/414.52	c  414s |      15 |   227034 |   130932 |    10639     24 |        6 |     3210
416.42/416.55	c  416s |      15 |   227616 |   131332 |    10639     24 |        6 |     3210
417.42/417.58	c  417s |      16 |   228134 |   131552 |    10639     24 |        6 |     3210
419.52/419.61	c  419s |      16 |   230902 |   132652 |    10639     24 |        6 |     3210
421.62/421.74	c  421s |      16 |   233090 |   133652 |    10639     25 |        6 |     3210
423.62/423.77	c  423s |      16 |   235523 |   134752 |    10639     25 |        6 |     3210
425.61/425.79	c  425s |      16 |   240206 |   135652 |    10639     25 |        6 |     3210
427.71/427.86	c  427s |      16 |   241219 |   136252 |    10639     25 |        6 |     3210
429.71/429.86	c  429s |      16 |   243273 |   136852 |    10639     25 |        6 |     3210
431.81/431.99	c  431s |      16 |   244984 |   137452 |    10639     25 |        6 |     3210
434.21/434.32	c  434s |      16 |   245798 |   137952 |    10639     25 |        6 |     3210
436.51/436.66	c  436s |      16 |   246501 |   138452 |    10639     25 |        6 |     3210
438.71/438.89	c  438s |      16 |   247124 |   138852 |    10639     25 |        6 |     3210
441.11/441.23	c  441s |      16 |   247756 |   139352 |    10639     25 |        6 |     3210
443.51/443.64	c  443s |      16 |   248370 |   139752 |    10639     26 |        6 |     3210
445.91/446.06	c  445s |      16 |   248890 |   140152 |    10639     26 |        6 |     3210
448.10/448.20	c  447s |      16 |   249488 |   140552 |    10639     26 |        6 |     3210
450.50/450.61	c  450s |      16 |   249986 |   140952 |    10639     26 |        6 |     3210
452.50/452.63	c  452s |      16 |   250436 |   141352 |    10639     26 |        6 |     3210
454.91/455.05	c  454s |      16 |   250872 |   141752 |    10639     26 |        6 |     3210
457.31/457.41	c  457s |      16 |   251294 |   142152 |    10639     26 |        6 |     3210
459.51/459.69	c  459s |      16 |   252183 |   142752 |    10639     26 |        6 |     3210
461.91/462.05	c  461s |      16 |   252811 |   143252 |    10639     26 |        6 |     3210
464.32/464.47	c  464s |      16 |   253505 |   143752 |    10639     26 |        6 |     3210
466.81/466.95	c  466s |      16 |   254096 |   144252 |    10639     26 |        6 |     3210
469.31/469.43	c  469s |      16 |   254659 |   144752 |    10639     26 |        6 |     3210
471.41/471.50	c  471s |      16 |   255092 |   145152 |    10639     26 |        6 |     3210
473.51/473.69	c  473s |      16 |   255654 |   145652 |    10639     26 |        6 |     3210
475.61/475.73	c  475s |      16 |   256103 |   146052 |    10639     27 |        6 |     3210
478.11/478.22	c  477s |      16 |   256763 |   146552 |    10639     27 |        6 |     3210
480.21/480.38	c  480s |      16 |   257213 |   146952 |    10639     27 |        6 |     3210
482.90/483.01	c  482s |      16 |   257775 |   147452 |    10639     27 |        6 |     3210
485.31/485.40	c  485s |      16 |   258432 |   147952 |    10639     27 |        6 |     3210
487.60/487.71	c  487s |      16 |   259176 |   148452 |    10639     27 |        6 |     3210
490.00/490.10	c  489s |      16 |   259713 |   148952 |    10639     27 |        6 |     3210
492.10/492.21	c  491s |      16 |   260222 |   149352 |    10639     27 |        6 |     3210
494.11/494.28	c  494s |      16 |   260674 |   149752 |    10639     27 |        6 |     3210
496.40/496.51	c  496s |      16 |   261179 |   150152 |    10639     27 |        6 |     3210
498.80/498.92	c  498s |      16 |   261712 |   150652 |    10639     27 |        6 |     3210
500.90/501.09	c  500s |      16 |   262146 |   151052 |    10639     27 |        6 |     3210
503.40/503.52	c  503s |      16 |   262778 |   151552 |    10639     27 |        6 |     3210
505.50/505.68	c  505s |      16 |   263207 |   151952 |    10639     27 |        6 |     3210
507.89/508.00	c  507s |      16 |   263726 |   152352 |    10639     28 |        6 |     3210
509.99/510.11	c  509s |      16 |   264416 |   152852 |    10639     28 |        6 |     3210
512.09/512.26	c  512s |      16 |   265124 |   153452 |    10639     28 |        6 |     3210
514.39/514.55	c  514s |      16 |   265845 |   154052 |    10639     28 |        6 |     3210
516.59/516.78	c  516s |      16 |   266585 |   154652 |    10639     28 |        6 |     3210
518.79/518.92	c  518s |      16 |   267168 |   155152 |    10639     28 |        6 |     3210
520.99/521.15	c  520s |      16 |   267866 |   155652 |    10639     28 |        6 |     3210
523.49/523.67	c  523s |      16 |   268866 |   156152 |    10639     28 |        6 |     3210
525.89/526.03	c  525s |      16 |   269495 |   156652 |    10639     28 |        6 |     3210
527.88/528.06	c  527s |      16 |   269942 |   157052 |    10639     28 |        6 |     3210
529.98/530.18	c  529s |      16 |   270486 |   157452 |    10639     28 |        6 |     3210
532.18/532.30	c  532s |      16 |   271351 |   157952 |    10639     28 |        6 |     3210
534.38/534.52	c  534s |      16 |   272111 |   158452 |    10639     29 |        6 |     3210
536.78/536.91	c  536s |      16 |   273348 |   159052 |    10639     29 |        6 |     3210
538.78/538.92	c  538s |      16 |   274033 |   159552 |    10639     29 |        6 |     3210
540.88/541.03	c  540s |      16 |   274500 |   159952 |    10639     29 |        6 |     3210
542.88/543.05	c  542s |      16 |   275540 |   160452 |    10639     29 |        6 |     3210
545.08/545.25	c  545s |      16 |   276284 |   160952 |    10639     29 |        6 |     3210
547.27/547.44	c  547s |      16 |   276819 |   161352 |    10639     29 |        6 |     3210
549.47/549.60	c  549s |      16 |   277440 |   161752 |    10639     29 |        6 |     3210
551.87/552.06	c  551s |      16 |   278232 |   162352 |    10639     29 |        6 |     3210
554.07/554.26	c  554s |      16 |   279104 |   162852 |    10639     29 |        6 |     3210
556.47/556.68	c  556s |      16 |   279918 |   163352 |    10639     29 |        6 |     3210
558.87/559.02	c  558s |      16 |   280505 |   163852 |    10639     29 |        6 |     3210
561.27/561.41	c  561s |      16 |   280891 |   164152 |    10639     29 |        6 |     3210
563.37/563.55	c  563s |      16 |   281820 |   164652 |    10639     30 |        6 |     3210
565.66/565.89	c  565s |      16 |   283007 |   165252 |    10639     30 |        6 |     3210
568.16/568.39	c  568s |      16 |   284630 |   165852 |    10639     30 |        6 |     3210
570.36/570.50	c  570s |      16 |   286552 |   166452 |    10639     30 |        6 |     3210
572.46/572.67	c  572s |      16 |   287774 |   167052 |    10639     30 |        6 |     3210
574.56/574.79	c  574s |      16 |   288870 |   167552 |    10639     30 |        6 |     3210
576.76/576.94	c  576s |      16 |   289661 |   168052 |    10639     30 |        6 |     3210
578.86/579.01	c  578s |      16 |   290548 |   168552 |    10639     30 |        6 |     3210
581.06/581.22	c  580s |      16 |   291330 |   169052 |    10639     30 |        6 |     3210
583.46/583.66	c  583s |      16 |   292344 |   169652 |    10639     30 |        6 |     3210
585.56/585.76	c  585s |      16 |   293170 |   170152 |    10639     30 |        6 |     3210
587.76/587.98	c  587s |      16 |   294055 |   170652 |    10639     31 |        6 |     3210
590.06/590.30	c  590s |      16 |   295058 |   171152 |    10639     31 |        6 |     3210
592.56/592.73	c  592s |      16 |   295937 |   171652 |    10639     31 |        6 |     3210
594.75/594.98	c  594s |      16 |   296861 |   172152 |    10639     31 |        6 |     3210
596.85/597.05	c  596s |      16 |   297313 |   172452 |    10639     31 |        6 |     3210
598.95/599.13	c  598s |      16 |   298207 |   172952 |    10639     31 |        6 |     3210
601.25/601.49	c  601s |      16 |   299224 |   173452 |    10639     31 |        6 |     3210
603.85/604.01	c  603s |      16 |   300045 |   173952 |    10639     31 |        6 |     3210
606.26/606.43	c  606s |      16 |   300920 |   174552 |    10639     31 |        6 |     3210
608.46/608.64	c  608s |      16 |   301557 |   174952 |    10639     31 |        6 |     3210
610.75/610.98	c  610s |      16 |   302184 |   175352 |    10639     31 |        6 |     3210
612.86/613.05	c  612s |      16 |   302677 |   175752 |    10639     31 |        6 |     3210
615.06/615.27	c  615s |      16 |   303245 |   176152 |    10639     31 |        6 |     3210
617.16/617.31	c  617s |      16 |   303783 |   176452 |    10639     32 |        6 |     3210
619.25/619.49	c  619s |      16 |   304389 |   176752 |    10639     32 |        6 |     3210
621.65/621.84	c  621s |      16 |   305046 |   177152 |    10639     32 |        6 |     3210
623.65/623.89	c  623s |      16 |   305654 |   177552 |    10639     32 |        6 |     3210
625.85/626.05	c  625s |      16 |   306359 |   177952 |    10639     32 |        6 |     3210
628.35/628.53	c  628s |      16 |   306972 |   178352 |    10639     32 |        6 |     3210
630.45/630.66	c  630s |      16 |   307414 |   178652 |    10639     32 |        6 |     3210
632.74/632.92	c  632s |      16 |   308130 |   179152 |    10639     32 |        6 |     3210
635.24/635.40	c  635s |      16 |   308923 |   179652 |    10639     32 |        6 |     3210
637.34/637.55	c  637s |      16 |   309533 |   180052 |    10639     32 |        6 |     3210
639.74/639.97	c  639s |      16 |   310104 |   180452 |    10639     32 |        6 |     3210
642.14/642.35	c  642s |      16 |   310689 |   180852 |    10639     32 |        6 |     3210
644.43/644.66	c  644s |      16 |   311310 |   181252 |    10639     32 |        6 |     3210
646.63/646.83	c  646s |      16 |   311868 |   181652 |    10639     32 |        6 |     3210
648.73/648.96	c  648s |      16 |   312453 |   182052 |    10639     32 |        6 |     3210
650.93/651.14	c  650s |      16 |   313607 |   182952 |    10639     33 |        6 |     3210
652.93/653.19	c  652s |      16 |   314610 |   183752 |    10639     33 |        6 |     3210
655.02/655.24	c  655s |      16 |   315585 |   184552 |    10639     33 |        6 |     3210
657.12/657.38	c  657s |      16 |   316373 |   185152 |    10639     33 |        6 |     3210
659.52/659.72	c  659s |      16 |   317184 |   185652 |    10639     33 |        6 |     3210
661.72/661.90	c  661s |      16 |   317912 |   186152 |    10639     33 |        6 |     3210
663.92/664.17	c  663s |      16 |   318612 |   186652 |    10639     33 |        6 |     3210
666.42/666.63	c  666s |      16 |   319439 |   187152 |    10639     33 |        6 |     3210
668.42/668.69	c  668s |      16 |   320015 |   187552 |    10639     33 |        6 |     3210
670.82/671.06	c  670s |      16 |   320752 |   188052 |    10639     33 |        6 |     3210
673.02/673.24	c  673s |      16 |   321369 |   188452 |    10639     34 |        6 |     3210
675.31/675.57	c  675s |      16 |   322003 |   188952 |    10639     34 |        6 |     3210
677.62/677.86	c  677s |      16 |   322564 |   189452 |    10639     34 |        6 |     3210
680.11/680.34	c  680s |      16 |   323484 |   189952 |    10639     34 |        6 |     3210
682.61/682.86	c  682s |      16 |   324120 |   190452 |    10639     34 |        6 |     3210
684.80/685.05	c  684s |      16 |   324931 |   190952 |    10639     34 |        6 |     3210
687.30/687.54	c  687s |      16 |   325574 |   191452 |    10639     34 |        6 |     3210
689.71/689.93	c  689s |      16 |   326049 |   191852 |    10639     34 |        6 |     3210
691.91/692.19	c  691s |      16 |   326526 |   192252 |    10639     34 |        6 |     3210
694.00/694.26	c  694s |      16 |   327047 |   192652 |    10639     34 |        6 |     3210
696.20/696.47	c  696s |      16 |   327797 |   193252 |    10639     34 |        6 |     3210
698.30/698.56	c  698s |      16 |   328427 |   193652 |    10639     34 |        6 |     3210
700.80/701.00	c  700s |      16 |   329126 |   194152 |    10639     34 |        6 |     3210
703.00/703.21	c  702s |      16 |   330025 |   194652 |    10639     35 |        6 |     3210
705.10/705.35	c  705s |      16 |   330962 |   195252 |    10639     35 |        6 |     3210
707.40/707.60	c  707s |      16 |   331768 |   195852 |    10639     35 |        6 |     3210
709.50/709.77	c  709s |      16 |   332546 |   196452 |    11703     35 |        6 |     3210
711.80/712.01	c  711s |      16 |   333644 |   197052 |    11703     35 |        6 |     3210
713.09/713.34	c  713s |      17 |   334084 |   197432 |    11703     35 |        6 |     3210
715.19/715.41	c  715s |      17 |   336924 |   198332 |    11703     35 |        6 |     3210
717.39/717.69	c  717s |      17 |   338573 |   199132 |    11703     35 |        6 |     3210
719.59/719.87	c  719s |      17 |   339976 |   199932 |    11703     35 |        6 |     3210
721.69/721.97	c  721s |      17 |   341304 |   200632 |    11703     36 |        6 |     3210
723.69/723.97	c  723s |      17 |   344168 |   201832 |    11703     36 |        6 |     3210
725.78/726.05	c  725s |      17 |   345605 |   202732 |    11703     36 |        6 |     3210
727.88/728.12	c  727s |      17 |   346366 |   203332 |    11703     36 |        6 |     3210
729.88/730.16	c  729s |      17 |   349319 |   204532 |    11703     36 |        6 |     3210
731.88/732.18	c  731s |      17 |   351306 |   205632 |    11703     36 |        6 |     3210
733.98/734.20	c  733s |      17 |   353417 |   206932 |    11703     36 |        6 |     3210
735.98/736.28	c  736s |      17 |   354901 |   207732 |    11703     37 |        6 |     3210
738.18/738.48	c  738s |      17 |   355929 |   208432 |    11703     37 |        6 |     3210
740.28/740.54	c  740s |      17 |   357088 |   209132 |    11703     37 |        6 |     3210
742.38/742.67	c  742s |      17 |   359323 |   210032 |    11703     37 |        6 |     3210
744.37/744.67	c  744s |      17 |   360835 |   210732 |    11703     37 |        6 |     3210
746.57/746.88	c  746s |      17 |   362575 |   211632 |    11703     37 |        6 |     3210
748.67/748.92	c  748s |      17 |   363928 |   212432 |    11703     37 |        6 |     3210
750.67/750.92	c  750s |      17 |   365484 |   213232 |    11703     37 |        6 |     3210
752.87/753.12	c  752s |      17 |   367019 |   214132 |    11703     38 |        6 |     3210
754.97/755.21	c  754s |      17 |   367977 |   214832 |    11703     38 |        6 |     3210
756.97/757.28	c  757s |      17 |   369150 |   215632 |    11703     38 |        6 |     3210
759.17/759.49	c  759s |      17 |   370170 |   216332 |    11703     38 |        6 |     3210
761.57/761.87	c  761s |      17 |   371219 |   217032 |    11703     38 |        6 |     3210
763.76/764.07	c  763s |      17 |   372819 |   217832 |    11703     38 |        6 |     3210
765.76/766.09	c  765s |      17 |   373970 |   218532 |    11703     38 |        6 |     3210
768.06/768.33	c  768s |      17 |   375082 |   219332 |    11703     38 |        6 |     3210
770.26/770.50	c  770s |      17 |   376016 |   220032 |    11703     38 |        6 |     3210
772.36/772.69	c  772s |      17 |   376959 |   220632 |    11703     39 |        6 |     3210
774.75/775.08	c  774s |      17 |   378008 |   221332 |    11703     39 |        6 |     3210
776.95/777.28	c  777s |      17 |   379427 |   222032 |    11703     39 |        6 |     3210
779.05/779.33	c  779s |      17 |   380214 |   222632 |    11703     39 |        6 |     3210
781.06/781.34	c  781s |      17 |   380903 |   223132 |    11703     39 |        6 |     3210
783.35/783.62	c  783s |      17 |   382101 |   223832 |    11703     39 |        6 |     3210
785.36/785.64	c  785s |      17 |   383373 |   224532 |    11703     39 |        6 |     3210
787.66/787.95	c  787s |      17 |   384299 |   225232 |    11703     39 |        6 |     3210
789.76/790.04	c  789s |      17 |   385119 |   225832 |    11703     39 |        6 |     3210
791.95/792.25	c  792s |      17 |   386095 |   226532 |    11703     39 |        6 |     3210
794.05/794.37	c  794s |      17 |   387118 |   227132 |    11703     40 |        6 |     3210
796.35/796.61	c  796s |      17 |   387932 |   227732 |    11703     40 |        6 |     3210
798.45/798.78	c  798s |      17 |   388913 |   228332 |    11703     40 |        6 |     3210
800.65/800.92	c  800s |      17 |   390780 |   229132 |    11703     40 |        6 |     3210
802.95/803.23	c  803s |      17 |   392028 |   229832 |    11703     40 |        6 |     3210
805.04/805.40	c  805s |      17 |   393058 |   230532 |    11703     40 |        6 |     3210
807.24/807.55	c  807s |      17 |   394667 |   231432 |    11703     40 |        6 |     3210
809.44/809.74	c  809s |      17 |   395739 |   232232 |    11703     40 |        6 |     3210
811.65/811.91	c  811s |      17 |   397129 |   233132 |    11703     40 |        6 |     3210
813.85/814.19	c  813s |      17 |   397956 |   233832 |    11703     41 |        6 |     3210
816.04/816.31	c  816s |      17 |   399155 |   234732 |    11703     41 |        6 |     3210
818.14/818.45	c  818s |      17 |   400708 |   235732 |    11703     41 |        6 |     3210
820.14/820.48	c  820s |      17 |   401626 |   236432 |    11703     41 |        6 |     3210
822.24/822.51	c  822s |      17 |   402511 |   237132 |    11703     41 |        6 |     3210
824.34/824.69	c  824s |      17 |   403370 |   237832 |    11703     41 |        6 |     3210
826.64/826.90	c  826s |      17 |   404270 |   238532 |    11703     41 |        6 |     3210
828.74/829.04	c  828s |      17 |   405101 |   239232 |    11703     41 |        6 |     3210
831.04/831.32	c  831s |      17 |   405968 |   239932 |    11703     41 |        6 |     3210
833.14/833.43	c  833s |      17 |   406676 |   240532 |    11703     42 |        6 |     3210
835.23/835.57	c  835s |      17 |   407679 |   241232 |    11703     42 |        6 |     3210
837.53/837.80	c  837s |      17 |   408728 |   242032 |    11703     42 |        6 |     3210
839.63/839.97	c  839s |      17 |   409598 |   242732 |    11703     42 |        6 |     3210
842.03/842.30	c  842s |      17 |   410476 |   243432 |    11703     42 |        6 |     3210
844.03/844.34	c  844s |      17 |   411464 |   244132 |    11703     42 |        6 |     3210
846.22/846.52	c  846s |      17 |   412350 |   244832 |    11703     42 |        6 |     3210
848.52/848.84	c  848s |      17 |   413269 |   245532 |    11703     42 |        6 |     3210
850.72/851.04	c  850s |      17 |   413973 |   246132 |    11703     42 |        6 |     3210
852.92/853.25	c  853s |      17 |   414753 |   246732 |    11703     43 |        6 |     3210
855.02/855.31	c  855s |      17 |   415444 |   247332 |    11703     43 |        6 |     3210
857.11/857.40	c  857s |      17 |   416344 |   247932 |    11703     43 |        6 |     3210
859.21/859.57	c  859s |      17 |   417766 |   248832 |    11703     43 |        6 |     3210
861.41/861.79	c  861s |      17 |   419126 |   249732 |    11703     43 |        6 |     3210
863.52/863.82	c  863s |      17 |   419869 |   250332 |    11703     43 |        6 |     3210
865.72/866.01	c  865s |      17 |   420556 |   250932 |    11703     43 |        6 |     3210
867.82/868.16	c  867s |      17 |   421356 |   251532 |    11703     43 |        6 |     3210
869.91/870.30	c  870s |      17 |   422039 |   252032 |    11703     43 |        6 |     3210
872.21/872.59	c  872s |      17 |   422616 |   252532 |    11703     43 |        6 |     3210
874.41/874.74	c  874s |      17 |   423180 |   253032 |    11703     43 |        6 |     3210
876.71/877.03	c  876s |      17 |   424254 |   253732 |    11703     44 |        6 |     3210
878.81/879.17	c  878s |      17 |   425167 |   254432 |    11703     44 |        6 |     3210
881.11/881.49	c  881s |      17 |   426166 |   255232 |    11703     44 |        6 |     3210
883.21/883.53	c  883s |      17 |   427088 |   255932 |    11703     44 |        6 |     3210
885.51/885.83	c  885s |      17 |   427848 |   256632 |    11703     44 |        6 |     3210
887.71/888.04	c  887s |      17 |   428698 |   257332 |    11703     44 |        6 |     3210
889.91/890.28	c  890s |      17 |   429398 |   257932 |    11703     44 |        6 |     3210
892.11/892.47	c  892s |      17 |   430109 |   258532 |    11703     44 |        6 |     3210
894.21/894.57	c  894s |      17 |   431426 |   259132 |    11703     44 |        6 |     3210
896.29/896.69	c  896s |      17 |   432013 |   259632 |    11703     45 |        6 |     3210
898.49/898.89	c  898s |      17 |   432762 |   260232 |    11703     45 |        6 |     3210
900.69/901.03	c  900s |      17 |   433491 |   260832 |    11703     45 |        6 |     3210
902.79/903.16	c  902s |      17 |   434179 |   261432 |    11703     45 |        6 |     3210
904.89/905.20	c  904s |      17 |   434742 |   261932 |    11703     45 |        6 |     3210
906.89/907.24	c  907s |      17 |   435294 |   262432 |    11703     45 |        6 |     3210
909.09/909.41	c  909s |      17 |   435856 |   262932 |    11703     45 |        6 |     3210
911.09/911.46	c  911s |      17 |   436392 |   263432 |    11703     45 |        6 |     3210
913.09/913.48	c  913s |      17 |   436998 |   263932 |    11703     45 |        6 |     3210
915.28/915.67	c  915s |      17 |   437583 |   264432 |    11703     45 |        6 |     3210
917.29/917.70	c  917s |      17 |   438201 |   264932 |    11703     45 |        6 |     3210
919.38/919.77	c  919s |      17 |   438803 |   265432 |    11703     45 |        6 |     3210
921.98/922.39	c  922s |      17 |   439359 |   265932 |    11703     46 |        6 |     3210
924.28/924.67	c  924s |      17 |   439943 |   266432 |    11703     46 |        6 |     3210
926.38/926.73	c  926s |      17 |   440496 |   266932 |    11703     46 |        6 |     3210
928.38/928.77	c  928s |      17 |   441348 |   267432 |    11703     46 |        6 |     3210
930.38/930.77	c  930s |      17 |   443190 |   268232 |    11703     46 |        6 |     3210
932.58/932.91	c  932s |      17 |   444331 |   269032 |    11703     46 |        6 |     3210
934.58/934.94	c  934s |      17 |   446401 |   269832 |    11703     46 |        6 |     3210
936.87/937.29	c  937s |      17 |   448735 |   270432 |    11703     46 |        6 |     3210
939.77/940.12	c  939s |      17 |   449837 |   270832 |    11703     46 |        6 |     3210
942.17/942.55	c  942s |      17 |   450472 |   271132 |    11703     46 |        6 |     3210
944.27/944.69	c  944s |      17 |   451201 |   271432 |    11703     46 |        6 |     3210
947.17/947.53	c  947s |      17 |   451667 |   271732 |    11703     46 |        6 |     3210
950.17/950.52	c  950s |      17 |   452241 |   272032 |    11703     46 |        6 |     3210
952.58/952.92	c  952s |      17 |   452537 |   272232 |    11703     46 |        6 |     3210
954.97/955.32	c  955s |      17 |   452912 |   272532 |    11703     46 |        6 |     3210
957.37/957.73	c  957s |      17 |   453273 |   272832 |    11703     47 |        6 |     3210
959.37/959.76	c  959s |      17 |   453813 |   273132 |    11703     47 |        6 |     3210
961.57/961.97	c  961s |      17 |   454193 |   273432 |    11703     47 |        6 |     3210
963.77/964.18	c  963s |      17 |   454453 |   273632 |    11703     47 |        6 |     3210
966.47/966.87	c  966s |      17 |   454888 |   273932 |    11703     47 |        6 |     3210
969.26/969.60	c  969s |      17 |   455382 |   274232 |    11703     47 |        6 |     3210
971.17/971.60	c  971s |      17 |   456531 |   274832 |    11703     47 |        6 |     3210
973.26/973.67	c  973s |      17 |   457612 |   275532 |    11703     47 |        6 |     3210
975.66/976.03	c  975s |      17 |   458818 |   276132 |    11703     47 |        6 |     3210
978.16/978.53	c  978s |      17 |   459293 |   276532 |    11703     47 |        6 |     3210
980.16/980.54	c  980s |      17 |   459676 |   276832 |    11703     47 |        6 |     3210
982.16/982.60	c  982s |      17 |   460078 |   277132 |    11703     47 |        6 |     3210
984.26/984.63	c  984s |      17 |   460454 |   277432 |    11703     47 |        6 |     3210
986.45/986.80	c  986s |      17 |   461578 |   278032 |    11703     47 |        6 |     3210
988.86/989.26	c  989s |      17 |   462405 |   278432 |    11703     47 |        6 |     3210
991.25/991.63	c  991s |      17 |   462853 |   278732 |    11703     47 |        6 |     3210
993.95/994.33	c  994s |      17 |   463207 |   279032 |    11703     47 |        6 |     3210
996.05/996.44	c  996s |      17 |   464476 |   279732 |    11703     48 |        6 |     3210
998.65/999.08	c  998s |      17 |   466470 |   280532 |    11703     48 |        6 |     3210
1000.74/1001.19	c 1000s |      17 |   467072 |   280932 |    11703     48 |        6 |     3210
1002.94/1003.34	c 1003s |      17 |   468498 |   281732 |    11703     48 |        6 |     3210
1005.14/1005.59	c 1005s |      17 |   469342 |   282432 |    11703     48 |        6 |     3210
1007.84/1008.20	c 1007s |      17 |   470002 |   282932 |    11703     48 |        6 |     3210
1010.34/1010.74	c 1010s |      17 |   471029 |   283432 |    11703     48 |        6 |     3210
1012.44/1012.83	c 1012s |      17 |   471432 |   283732 |    11703     48 |        6 |     3210
1014.43/1014.84	c 1014s |      17 |   471881 |   284032 |    11703     48 |        6 |     3210
1016.83/1017.29	c 1017s |      17 |   472763 |   284732 |    11703     48 |        6 |     3210
1019.33/1019.80	c 1019s |      17 |   473406 |   285232 |    11703     48 |        6 |     3210
1021.53/1021.91	c 1021s |      17 |   475444 |   286032 |    11703     49 |        6 |     3210
1023.53/1023.92	c 1023s |      17 |   476958 |   286932 |    11703     49 |        6 |     3210
1025.72/1026.15	c 1025s |      17 |   477918 |   287632 |    11703     49 |        6 |     3210
1027.92/1028.37	c 1028s |      17 |   478757 |   288132 |    11703     49 |        6 |     3210
1029.92/1030.38	c 1030s |      17 |   479451 |   288632 |    11703     49 |        6 |     3210
1032.62/1033.03	c 1032s |      17 |   480269 |   289232 |    11703     49 |        6 |     3210
1034.93/1035.33	c 1035s |      17 |   481049 |   289832 |    11703     49 |        6 |     3210
1037.42/1037.82	c 1037s |      17 |   481770 |   290332 |    11703     49 |        6 |     3210
1039.52/1039.98	c 1039s |      17 |   482710 |   290932 |    11703     49 |        6 |     3210
1041.72/1042.10	c 1041s |      17 |   483529 |   291532 |    11703     49 |        6 |     3210
1043.72/1044.11	c 1043s |      17 |   484477 |   292132 |    11703     50 |        6 |     3210
1045.92/1046.34	c 1046s |      17 |   485670 |   292932 |    11703     50 |        6 |     3210
1048.22/1048.63	c 1048s |      17 |   486401 |   293532 |    11703     50 |        6 |     3210
1050.32/1050.76	c 1050s |      17 |   487459 |   294232 |    12874     50 |        6 |     3210
1052.52/1052.94	c 1052s |      17 |   488173 |   294832 |    12874     50 |        6 |     3210
1054.71/1055.14	c 1054s |      17 |   489155 |   295432 |    12874     50 |        6 |     3210
1056.81/1057.23	c 1057s |      17 |   489912 |   296032 |    12874     50 |        6 |     3210
1057.51/1057.96	c 1057s |      18 |   490197 |   296252 |    12874     50 |        6 |     3210
1059.71/1060.10	c 1059s |      18 |   493504 |   297052 |    12874     50 |        6 |     3210
1061.81/1062.25	c 1062s |      18 |   498547 |   298152 |    12874     50 |        6 |     3210
1063.81/1064.27	c 1064s |      18 |   499677 |   299152 |    12874     50 |        6 |     3210
1066.00/1066.43	c 1066s |      18 |   501090 |   300252 |    12874     51 |        6 |     3210
1068.10/1068.54	c 1068s |      18 |   502211 |   301152 |    12874     51 |        6 |     3210
1070.11/1070.54	c 1070s |      18 |   505525 |   301852 |    12874     51 |        6 |     3210
1072.20/1072.65	c 1072s |      18 |   508786 |   303052 |    12874     51 |        6 |     3210
1074.51/1074.91	c 1074s |      18 |   511132 |   304352 |    12874     51 |        6 |     3210
1076.50/1076.95	c 1076s |      18 |   512034 |   305152 |    12874     51 |        6 |     3210
1078.80/1079.24	c 1079s |      18 |   512964 |   305952 |    12874     51 |        6 |     3210
1080.80/1081.28	c 1081s |      18 |   513867 |   306752 |    12874     51 |        6 |     3210
1082.90/1083.37	c 1083s |      18 |   514623 |   307452 |    12874     52 |        6 |     3210
1084.90/1085.39	c 1085s |      18 |   515580 |   308352 |    12874     52 |        6 |     3210
1087.10/1087.56	c 1087s |      18 |   516421 |   309152 |    12874     52 |        6 |     3210
1089.30/1089.70	c 1089s |      18 |   517265 |   309952 |    12874     52 |        6 |     3210
1091.30/1091.78	c 1091s |      18 |   518056 |   310652 |    12874     52 |        6 |     3210
1093.50/1093.99	c 1093s |      18 |   518830 |   311352 |    12874     52 |        6 |     3210
1095.70/1096.17	c 1095s |      18 |   519621 |   312052 |    12874     52 |        6 |     3210
1097.80/1098.20	c 1097s |      18 |   520388 |   312752 |    12874     52 |        6 |     3210
1100.00/1100.40	c 1100s |      18 |   521282 |   313552 |    12874     52 |        6 |     3210
1102.10/1102.58	c 1102s |      18 |   522086 |   314252 |    12874     52 |        6 |     3210
1104.30/1104.73	c 1104s |      18 |   522735 |   314852 |    12874     53 |        6 |     3210
1106.30/1106.80	c 1106s |      18 |   523501 |   315552 |    12874     53 |        6 |     3210
1108.40/1108.89	c 1108s |      18 |   524302 |   316252 |    12874     53 |        6 |     3210
1110.60/1111.03	c 1110s |      18 |   525036 |   316952 |    12874     53 |        6 |     3210
1112.70/1113.13	c 1112s |      18 |   525830 |   317652 |    12874     53 |        6 |     3210
1114.90/1115.30	c 1115s |      18 |   526641 |   318352 |    12874     53 |        6 |     3210
1117.10/1117.54	c 1117s |      18 |   527460 |   319052 |    12874     53 |        6 |     3210
1119.09/1119.59	c 1119s |      18 |   528145 |   319652 |    12874     53 |        6 |     3210
1121.19/1121.65	c 1121s |      18 |   528800 |   320252 |    12874     53 |        6 |     3210
1123.49/1123.91	c 1123s |      18 |   529412 |   320852 |    12874     53 |        6 |     3210
1125.89/1126.38	c 1126s |      18 |   530167 |   321452 |    12874     54 |        6 |     3210
1127.99/1128.42	c 1128s |      18 |   530833 |   322052 |    12874     54 |        6 |     3210
1130.09/1130.58	c 1130s |      18 |   531585 |   322752 |    12874     54 |        6 |     3210
1132.29/1132.76	c 1132s |      18 |   532350 |   323452 |    12874     54 |        6 |     3210
1134.49/1134.97	c 1134s |      18 |   533126 |   324152 |    12874     54 |        6 |     3210
1136.79/1137.27	c 1137s |      18 |   533857 |   324852 |    12874     54 |        6 |     3210
1138.89/1139.34	c 1139s |      18 |   534494 |   325452 |    12874     54 |        6 |     3210
1141.09/1141.55	c 1141s |      18 |   535115 |   326052 |    12874     54 |        6 |     3210
1143.19/1143.64	c 1143s |      18 |   535868 |   326752 |    12874     54 |        6 |     3210
1145.39/1145.83	c 1145s |      18 |   536621 |   327452 |    12874     54 |        6 |     3210
1147.69/1148.14	c 1147s |      18 |   537345 |   328152 |    12874     54 |        6 |     3210
1149.89/1150.37	c 1150s |      18 |   537956 |   328752 |    12874     55 |        6 |     3210
1152.00/1152.46	c 1152s |      18 |   538690 |   329452 |    12874     55 |        6 |     3210
1154.10/1154.52	c 1154s |      18 |   539426 |   330152 |    12874     55 |        6 |     3210
1156.20/1156.69	c 1156s |      18 |   540171 |   330852 |    12874     55 |        6 |     3210
1158.30/1158.76	c 1158s |      18 |   540828 |   331452 |    12874     55 |        6 |     3210
1160.40/1160.86	c 1160s |      18 |   541600 |   332152 |    12874     55 |        6 |     3210
1162.70/1163.10	c 1162s |      18 |   542459 |   332952 |    12874     55 |        6 |     3210
1164.80/1165.22	c 1164s |      18 |   543191 |   333652 |    12874     55 |        6 |     3210
1166.80/1167.30	c 1167s |      18 |   543917 |   334352 |    12874     55 |        6 |     3210
1169.00/1169.42	c 1169s |      18 |   544666 |   335052 |    12874     55 |        6 |     3210
1171.59/1172.07	c 1171s |      18 |   545387 |   335752 |    12874     56 |        6 |     3210
1173.79/1174.20	c 1173s |      18 |   546213 |   336552 |    12874     56 |        6 |     3210
1175.80/1176.26	c 1176s |      18 |   547550 |   337252 |    12874     56 |        6 |     3210
1177.90/1178.31	c 1178s |      18 |   548366 |   337952 |    12874     56 |        6 |     3210
1180.10/1180.60	c 1180s |      18 |   549166 |   338652 |    12874     56 |        6 |     3210
1182.40/1182.89	c 1182s |      18 |   549974 |   339352 |    12874     56 |        6 |     3210
1184.50/1184.94	c 1184s |      18 |   550760 |   340052 |    12874     56 |        6 |     3210
1186.80/1187.20	c 1186s |      18 |   551510 |   340752 |    12874     56 |        6 |     3210
1188.79/1189.26	c 1189s |      18 |   552092 |   341252 |    12874     56 |        6 |     3210
1191.20/1191.62	c 1191s |      18 |   552850 |   341852 |    12874     56 |        6 |     3210
1193.40/1193.82	c 1193s |      18 |   553601 |   342552 |    12874     56 |        6 |     3210
1195.69/1196.14	c 1195s |      18 |   554256 |   343152 |    12874     57 |        6 |     3210
1197.70/1198.16	c 1197s |      18 |   554985 |   343852 |    12874     57 |        6 |     3210
1199.79/1200.22	c 1199s |      18 |   555735 |   344552 |    12874     57 |        6 |     3210
1201.99/1202.47	c 1202s |      18 |   556566 |   345352 |    12874     57 |        6 |     3210
1204.30/1204.76	c 1204s |      18 |   557336 |   346052 |    12874     57 |        6 |     3210
1206.39/1206.87	c 1206s |      18 |   558082 |   346752 |    12874     57 |        6 |     3210
1208.39/1208.88	c 1208s |      18 |   558804 |   347452 |    12874     57 |        6 |     3210
1210.49/1210.90	c 1210s |      18 |   559542 |   348152 |    12874     57 |        6 |     3210
1212.79/1213.21	c 1212s |      18 |   560374 |   348952 |    12874     57 |        6 |     3210
1214.79/1215.24	c 1215s |      18 |   561043 |   349552 |    12874     57 |        6 |     3210
1216.89/1217.39	c 1217s |      18 |   561832 |   350252 |    12874     58 |        6 |     3210
1219.19/1219.64	c 1219s |      18 |   562557 |   350952 |    12874     58 |        6 |     3210
1221.49/1221.90	c 1221s |      18 |   563331 |   351652 |    12874     58 |        6 |     3210
1223.49/1223.99	c 1223s |      18 |   564111 |   352352 |    12874     58 |        6 |     3210
1225.79/1226.25	c 1226s |      18 |   564991 |   353152 |    12874     58 |        6 |     3210
1227.89/1228.30	c 1228s |      18 |   565726 |   353852 |    12874     58 |        6 |     3210
1230.09/1230.59	c 1230s |      18 |   566479 |   354552 |    12874     58 |        6 |     3210
1232.28/1232.79	c 1232s |      18 |   567228 |   355252 |    12874     58 |        6 |     3210
1234.48/1234.90	c 1234s |      18 |   569382 |   356152 |    12874     58 |        6 |     3210
1236.48/1236.93	c 1236s |      18 |   570561 |   357152 |    12874     59 |        6 |     3210
1238.58/1239.01	c 1238s |      18 |   572064 |   358452 |    12874     59 |        6 |     3210
1240.59/1241.09	c 1240s |      18 |   573417 |   359652 |    12874     59 |        6 |     3210
1242.68/1243.16	c 1242s |      18 |   574510 |   360652 |    12874     59 |        6 |     3210
1244.78/1245.26	c 1245s |      18 |   575770 |   361752 |    12874     59 |        6 |     3210
1246.88/1247.30	c 1247s |      18 |   576921 |   362752 |    12874     59 |        6 |     3210
1248.88/1249.38	c 1249s |      18 |   578002 |   363752 |    12874     59 |        6 |     3210
1251.08/1251.58	c 1251s |      18 |   579043 |   364752 |    12874     60 |        6 |     3210
1253.18/1253.61	c 1253s |      18 |   580099 |   365752 |    12874     60 |        6 |     3210
1255.18/1255.62	c 1255s |      18 |   581176 |   366752 |    12874     60 |        6 |     3210
1257.28/1257.74	c 1257s |      18 |   582241 |   367752 |    12874     60 |        6 |     3210
1259.48/1259.95	c 1259s |      18 |   583261 |   368652 |    12874     60 |        6 |     3210
1261.59/1262.02	c 1261s |      18 |   584221 |   369552 |    12874     60 |        6 |     3210
1263.58/1264.05	c 1263s |      18 |   585057 |   370352 |    12874     60 |        6 |     3210
1265.58/1266.08	c 1265s |      18 |   585794 |   371052 |    12874     60 |        6 |     3210
1267.78/1268.26	c 1268s |      18 |   586760 |   371952 |    12874     61 |        6 |     3210
1269.98/1270.40	c 1270s |      18 |   587822 |   372952 |    12874     61 |        6 |     3210
1272.08/1272.59	c 1272s |      18 |   588895 |   373952 |    12874     61 |        6 |     3210
1274.18/1274.68	c 1274s |      18 |   589835 |   374852 |    12874     61 |        6 |     3210
1276.48/1276.92	c 1276s |      18 |   590830 |   375752 |    12874     61 |        6 |     3210
1278.58/1279.05	c 1278s |      18 |   591789 |   376652 |    12874     61 |        6 |     3210
1280.78/1281.27	c 1281s |      18 |   592856 |   377652 |    12874     61 |        6 |     3210
1282.78/1283.29	c 1283s |      18 |   593567 |   378352 |    12874     61 |        6 |     3210
1284.88/1285.32	c 1285s |      18 |   594414 |   379152 |    12874     62 |        6 |     3210
1286.88/1287.35	c 1287s |      18 |   595450 |   380052 |    12874     62 |        6 |     3210
1288.98/1289.42	c 1289s |      18 |   596440 |   380952 |    12874     62 |        6 |     3210
1291.18/1291.62	c 1291s |      18 |   597363 |   381852 |    12874     62 |        6 |     3210
1293.17/1293.65	c 1293s |      18 |   598317 |   382752 |    12874     62 |        6 |     3210
1295.17/1295.69	c 1295s |      18 |   599311 |   383652 |    12874     62 |        6 |     3210
1297.37/1297.83	c 1297s |      18 |   600307 |   384552 |    12874     62 |        6 |     3210
1299.47/1299.96	c 1299s |      18 |   601188 |   385352 |    12874     62 |        6 |     3210
1301.57/1302.09	c 1301s |      18 |   601951 |   386052 |    12874     63 |        6 |     3210
1303.77/1304.25	c 1304s |      18 |   602926 |   386952 |    12874     63 |        6 |     3210
1305.87/1306.40	c 1306s |      18 |   604797 |   387752 |    12874     63 |        6 |     3210
1308.07/1308.57	c 1308s |      18 |   606243 |   388752 |    12874     63 |        6 |     3210
1310.27/1310.71	c 1310s |      18 |   607428 |   389752 |    12874     63 |        6 |     3210
1312.47/1312.94	c 1312s |      18 |   608480 |   390652 |    12874     63 |        6 |     3210
1314.77/1315.23	c 1314s |      18 |   609495 |   391452 |    12874     63 |        6 |     3210
1317.07/1317.50	c 1317s |      18 |   610620 |   392252 |    12874     63 |        6 |     3210
1319.07/1319.59	c 1319s |      18 |   611668 |   392952 |    12874     64 |        6 |     3210
1321.27/1321.70	c 1321s |      18 |   612760 |   393852 |    12874     64 |        6 |     3210
1323.27/1323.71	c 1323s |      18 |   613821 |   394752 |    12874     64 |        6 |     3210
1325.38/1325.86	c 1325s |      18 |   614834 |   395652 |    12874     64 |        6 |     3210
1327.48/1327.98	c 1327s |      18 |   615719 |   396452 |    12874     64 |        6 |     3210
1329.57/1330.07	c 1329s |      18 |   616791 |   397352 |    12874     64 |        6 |     3210
1331.77/1332.20	c 1331s |      18 |   617934 |   398352 |    12874     64 |        6 |     3210
1333.77/1334.23	c 1334s |      18 |   618997 |   399252 |    12874     64 |        6 |     3210
1335.87/1336.34	c 1336s |      18 |   619850 |   399952 |    12874     65 |        6 |     3210
1338.07/1338.54	c 1338s |      18 |   620880 |   400852 |    12874     65 |        6 |     3210
1340.27/1340.72	c 1340s |      18 |   622063 |   401852 |    12874     65 |        6 |     3210
1342.37/1342.88	c 1342s |      18 |   623193 |   402752 |    12874     65 |        6 |     3210
1344.37/1344.89	c 1344s |      18 |   624166 |   403552 |    12874     65 |        6 |     3210
1346.57/1347.07	c 1346s |      18 |   625112 |   404352 |    12874     65 |        6 |     3210
1348.67/1349.19	c 1348s |      18 |   626067 |   405152 |    12874     65 |        6 |     3210
1350.76/1351.22	c 1350s |      18 |   627029 |   405952 |    12874     65 |        6 |     3210
1352.87/1353.33	c 1353s |      18 |   627954 |   406752 |    12874     65 |        6 |     3210
1355.07/1355.53	c 1355s |      18 |   628737 |   407452 |    12874     66 |        6 |     3210
1357.17/1357.64	c 1357s |      18 |   629817 |   408452 |    12874     66 |        6 |     3210
1359.16/1359.68	c 1359s |      18 |   630976 |   409352 |    12874     66 |        6 |     3210
1361.16/1361.69	c 1361s |      18 |   632096 |   410252 |    12874     66 |        6 |     3210
1363.26/1363.75	c 1363s |      18 |   633099 |   411152 |    12874     66 |        6 |     3210
1365.36/1365.89	c 1365s |      18 |   634040 |   411952 |    12874     66 |        6 |     3210
1367.66/1368.19	c 1367s |      18 |   634903 |   412752 |    12874     66 |        6 |     3210
1369.76/1370.26	c 1370s |      18 |   635906 |   413652 |    12874     66 |        6 |     3210
1371.96/1372.41	c 1372s |      18 |   636852 |   414552 |    12874     67 |        6 |     3210
1374.06/1374.59	c 1374s |      18 |   637984 |   415552 |    12874     67 |        6 |     3210
1376.26/1376.79	c 1376s |      18 |   639067 |   416552 |    12874     67 |        6 |     3210
1378.46/1378.93	c 1378s |      18 |   640040 |   417452 |    12874     67 |        6 |     3210
1380.46/1380.94	c 1380s |      18 |   640911 |   418252 |    12874     67 |        6 |     3210
1382.47/1382.94	c 1382s |      18 |   641801 |   419052 |    12874     67 |        6 |     3210
1384.56/1385.07	c 1384s |      18 |   642606 |   419752 |    12874     67 |        6 |     3210
1386.66/1387.14	c 1386s |      18 |   643438 |   420452 |    12874     67 |        6 |     3210
1388.86/1389.34	c 1389s |      18 |   644250 |   421152 |    12874     67 |        6 |     3210
1390.96/1391.46	c 1391s |      18 |   645580 |   421752 |    12874     68 |        6 |     3210
1393.16/1393.63	c 1393s |      18 |   646692 |   422652 |    12874     68 |        6 |     3210
1395.16/1395.69	c 1395s |      18 |   647719 |   423552 |    12874     68 |        6 |     3210
1397.46/1397.95	c 1397s |      18 |   648680 |   424452 |    12874     68 |        6 |     3210
1399.56/1400.08	c 1399s |      18 |   649596 |   425252 |    12874     68 |        6 |     3210
1401.86/1402.34	c 1402s |      18 |   650511 |   426052 |    12874     68 |        6 |     3210
1403.86/1404.35	c 1404s |      18 |   651365 |   426752 |    12874     68 |        6 |     3210
1406.06/1406.50	c 1406s |      18 |   652127 |   427452 |    12874     68 |        6 |     3210
1408.06/1408.52	c 1408s |      18 |   652901 |   428152 |    12874     68 |        6 |     3210
1410.15/1410.68	c 1410s |      18 |   653560 |   428752 |    12874     69 |        6 |     3210
1412.35/1412.81	c 1412s |      18 |   654454 |   429552 |    12874     69 |        6 |     3210
1414.46/1414.92	c 1414s |      18 |   655305 |   430352 |    12874     69 |        6 |     3210
1416.56/1417.06	c 1416s |      18 |   656336 |   431252 |    12874     69 |        6 |     3210
1418.55/1419.06	c 1418s |      18 |   657207 |   432052 |    12874     69 |        6 |     3210
1420.85/1421.38	c 1421s |      18 |   658084 |   432852 |    12874     69 |        6 |     3210
1422.95/1423.46	c 1423s |      18 |   658836 |   433552 |    12874     69 |        6 |     3210
1425.15/1425.66	c 1425s |      18 |   659786 |   434352 |    12874     69 |        6 |     3210
1427.25/1427.78	c 1427s |      18 |   660626 |   435052 |    12874     69 |        6 |     3210
1429.35/1429.90	c 1429s |      18 |   661601 |   435952 |    12874     70 |        6 |     3210
1431.65/1432.11	c 1431s |      18 |   662941 |   437052 |    12874     70 |        6 |     3210
1433.75/1434.21	c 1433s |      18 |   664007 |   437952 |    12874     70 |        6 |     3210
1435.85/1436.34	c 1436s |      18 |   664990 |   438852 |    12874     70 |        6 |     3210
1437.95/1438.44	c 1438s |      18 |   665873 |   439652 |    12874     70 |        6 |     3210
1440.05/1440.50	c 1440s |      18 |   666977 |   440552 |    12874     70 |        6 |     3210
1442.05/1442.53	c 1442s |      18 |   667905 |   441352 |    14162     70 |        6 |     3210
1444.05/1444.58	c 1444s |      18 |   668951 |   442252 |    14162     70 |        6 |     3210
1446.35/1446.82	c 1446s |      18 |   669809 |   443052 |    14162     70 |        6 |     3210
1448.45/1448.91	c 1448s |      18 |   670716 |   443852 |    14162     70 |        6 |     3210
1450.05/1450.56	c 1450s |      19 |   671417 |   444482 |    14162     71 |        6 |     3210
1452.14/1452.63	c 1452s |      19 |   674713 |   445282 |    14162     71 |        6 |     3210
1454.24/1454.75	c 1454s |      19 |   676419 |   446682 |    14162     71 |        6 |     3210
1456.25/1456.78	c 1456s |      19 |   678290 |   447882 |    14162     71 |        6 |     3210
1458.35/1458.84	c 1458s |      19 |   679781 |   448982 |    14162     71 |        6 |     3210
1460.56/1461.02	c 1460s |      19 |   685463 |   450082 |    14162     71 |        6 |     3210
1462.55/1463.03	c 1462s |      19 |   686059 |   450482 |    14162     71 |        6 |     3210
1464.96/1465.48	c 1465s |      19 |   686875 |   450982 |    14162     71 |        6 |     3210
1467.05/1467.59	c 1467s |      19 |   687422 |   451382 |    14162     71 |        6 |     3210
1469.65/1470.13	c 1469s |      19 |   687936 |   451782 |    14162     71 |        6 |     3210
1472.05/1472.56	c 1472s |      19 |   688301 |   452082 |    14162     71 |        6 |     3210
1474.55/1475.00	c 1474s |      19 |   688879 |   452482 |    14162     72 |        6 |     3210
1476.85/1477.36	c 1477s |      19 |   689650 |   452882 |    14162     72 |        6 |     3210
1479.26/1479.73	c 1479s |      19 |   690196 |   453282 |    14162     72 |        6 |     3210
1481.75/1482.30	c 1482s |      19 |   690677 |   453682 |    14162     72 |        6 |     3210
1483.95/1484.46	c 1484s |      19 |   691044 |   453982 |    14162     72 |        6 |     3210
1486.25/1486.75	c 1486s |      19 |   691607 |   454382 |    14162     72 |        6 |     3210
1488.75/1489.22	c 1488s |      19 |   692094 |   454782 |    14162     72 |        6 |     3210
1491.25/1491.77	c 1491s |      19 |   692597 |   455182 |    14162     72 |        6 |     3210
1493.34/1493.87	c 1493s |      19 |   692998 |   455482 |    14162     72 |        6 |     3210
1496.04/1496.51	c 1496s |      19 |   693517 |   455882 |    14162     72 |        6 |     3210
1498.74/1499.21	c 1498s |      19 |   694078 |   456282 |    14162     72 |        6 |     3210
1501.25/1501.76	c 1501s |      19 |   694491 |   456682 |    14162     72 |        6 |     3210
1503.24/1503.79	c 1503s |      19 |   695006 |   456982 |    14162     72 |        6 |     3210
1505.65/1506.13	c 1505s |      19 |   695318 |   457282 |    14162     72 |        6 |     3210
1508.04/1508.50	c 1508s |      19 |   695727 |   457582 |    14162     72 |        6 |     3210
1510.05/1510.59	c 1510s |      19 |   696094 |   457882 |    14162     72 |        6 |     3210
1512.74/1513.21	c 1512s |      19 |   696483 |   458182 |    14162     72 |        6 |     3210
1514.94/1515.49	c 1515s |      19 |   696906 |   458482 |    14162     72 |        6 |     3210
1517.14/1517.66	c 1517s |      19 |   697242 |   458782 |    14162     72 |        6 |     3210
1519.74/1520.29	c 1520s |      19 |   697635 |   459082 |    14162     72 |        6 |     3210
1522.54/1523.07	c 1522s |      19 |   698032 |   459382 |    14162     72 |        6 |     3210
1525.44/1525.95	c 1525s |      19 |   698393 |   459682 |    14162     72 |        6 |     3210
1527.44/1527.98	c 1527s |      19 |   698606 |   459882 |    14162     72 |        6 |     3210
1529.74/1530.26	c 1530s |      19 |   698832 |   460082 |    14162     73 |        6 |     3210
1531.94/1532.44	c 1532s |      19 |   699049 |   460282 |    14162     73 |        6 |     3210
1534.84/1535.37	c 1535s |      19 |   699407 |   460582 |    14162     73 |        6 |     3210
1537.24/1537.79	c 1537s |      19 |   699632 |   460782 |    14162     73 |        6 |     3210
1540.63/1541.14	c 1540s |      19 |   699961 |   461082 |    14162     73 |        6 |     3210
1543.04/1543.58	c 1543s |      19 |   700197 |   461282 |    14162     73 |        6 |     3210
1545.73/1546.23	c 1546s |      19 |   700421 |   461482 |    14162     73 |        6 |     3210
1547.93/1548.40	c 1548s |      19 |   700658 |   461682 |    14162     73 |        6 |     3210
1550.23/1550.70	c 1550s |      19 |   700907 |   461882 |    14162     73 |        6 |     3210
1552.63/1553.16	c 1552s |      19 |   701127 |   462082 |    14162     73 |        6 |     3210
1555.33/1555.87	c 1555s |      19 |   701346 |   462282 |    14162     73 |        6 |     3210
1557.63/1558.12	c 1557s |      19 |   701585 |   462482 |    14162     73 |        6 |     3210
1559.83/1560.31	c 1560s |      19 |   701803 |   462682 |    14162     73 |        6 |     3210
1562.73/1563.22	c 1562s |      19 |   702028 |   462882 |    14162     73 |        6 |     3210
1565.53/1566.02	c 1565s |      19 |   702243 |   463082 |    14162     73 |        6 |     3210
1568.63/1569.18	c 1568s |      19 |   702489 |   463282 |    14162     73 |        6 |     3210
1571.73/1572.22	c 1571s |      19 |   702712 |   463482 |    14162     73 |        6 |     3210
1574.63/1575.18	c 1574s |      19 |   702949 |   463682 |    14162     73 |        6 |     3210
1578.03/1578.55	c 1578s |      19 |   703175 |   463882 |    14162     73 |        6 |     3210
1581.13/1581.65	c 1581s |      19 |   703404 |   464082 |    14162     73 |        6 |     3210
1583.83/1584.38	c 1584s |      19 |   703624 |   464282 |    14162     73 |        6 |     3210
1586.82/1587.30	c 1587s |      19 |   703858 |   464482 |    14162     73 |        6 |     3210
1589.92/1590.47	c 1590s |      19 |   704084 |   464682 |    14162     73 |        6 |     3210
1592.64/1593.14	c 1592s |      19 |   704287 |   464882 |    14162     73 |        6 |     3210
1595.23/1595.72	c 1595s |      19 |   704547 |   465082 |    14162     73 |        6 |     3210
1597.53/1598.05	c 1597s |      19 |   704772 |   465282 |    14162     73 |        6 |     3210
1600.53/1601.08	c 1600s |      19 |   705006 |   465482 |    14162     73 |        6 |     3210
1603.64/1604.12	c 1603s |      19 |   705217 |   465682 |    14162     73 |        6 |     3210
1606.13/1606.65	c 1606s |      19 |   708250 |   465982 |    14162     73 |        6 |     3210
1608.23/1608.73	c 1608s |      19 |   710480 |   466382 |    14162     73 |        6 |     3210
1610.33/1610.82	c 1610s |      19 |   713484 |   466782 |    14162     74 |        6 |     3210
1612.52/1613.07	c 1612s |      19 |   713924 |   467182 |    14162     74 |        6 |     3210
1615.02/1615.60	c 1615s |      19 |   714494 |   467582 |    14162     74 |        6 |     3210
1617.72/1618.25	c 1618s |      19 |   714850 |   467882 |    14162     74 |        6 |     3210
1620.42/1620.92	c 1620s |      19 |   715272 |   468182 |    14162     74 |        6 |     3210
1623.02/1623.51	c 1623s |      19 |   715645 |   468482 |    14162     74 |        6 |     3210
1625.22/1625.77	c 1625s |      19 |   716016 |   468782 |    14162     74 |        6 |     3210
1627.42/1627.90	c 1627s |      19 |   716428 |   469082 |    14162     74 |        6 |     3210
1629.42/1629.97	c 1629s |      19 |   716816 |   469382 |    14162     74 |        6 |     3210
1632.02/1632.57	c 1632s |      19 |   717154 |   469682 |    14162     74 |        6 |     3210
1634.62/1635.11	c 1634s |      19 |   717547 |   469982 |    14162     74 |        6 |     3210
1637.32/1637.86	c 1637s |      19 |   717900 |   470282 |    14162     74 |        6 |     3210
1640.22/1640.75	c 1640s |      19 |   718253 |   470582 |    14162     74 |        6 |     3210
1642.42/1642.96	c 1642s |      19 |   718919 |   470882 |    14162     74 |        6 |     3210
1645.12/1645.67	c 1645s |      19 |   719416 |   471182 |    14162     74 |        6 |     3210
1647.92/1648.49	c 1648s |      19 |   719783 |   471482 |    14162     74 |        6 |     3210
1650.83/1651.32	c 1651s |      19 |   720204 |   471782 |    14162     74 |        6 |     3210
1653.42/1653.91	c 1653s |      19 |   720703 |   472082 |    14162     74 |        6 |     3210
1656.12/1656.62	c 1656s |      19 |   721116 |   472382 |    14162     74 |        6 |     3210
1658.42/1658.93	c 1658s |      19 |   721536 |   472682 |    14162     74 |        6 |     3210
1661.32/1661.81	c 1661s |      19 |   721893 |   472982 |    14162     74 |        6 |     3210
1663.82/1664.31	c 1664s |      19 |   722332 |   473282 |    14162     74 |        6 |     3210
1665.92/1666.40	c 1666s |      19 |   722564 |   473482 |    14162     74 |        6 |     3210
1667.92/1668.46	c 1668s |      19 |   723145 |   473882 |    14162     74 |        6 |     3210
1670.22/1670.73	c 1670s |      19 |   723639 |   474282 |    14162     74 |        6 |     3210
1672.92/1673.49	c 1673s |      19 |   724069 |   474582 |    14162     74 |        6 |     3210
1675.71/1676.23	c 1676s |      19 |   724443 |   474882 |    14162     74 |        6 |     3210
1678.81/1679.38	c 1679s |      19 |   724813 |   475182 |    14162     75 |        6 |     3210
1681.01/1681.51	c 1681s |      19 |   725050 |   475382 |    14162     75 |        6 |     3210
1683.31/1683.88	c 1683s |      19 |   725552 |   475782 |    14162     75 |        6 |     3210
1685.81/1686.33	c 1686s |      19 |   726054 |   476182 |    14162     75 |        6 |     3210
1688.51/1689.01	c 1688s |      19 |   726555 |   476582 |    14162     75 |        6 |     3210
1690.91/1691.48	c 1691s |      19 |   726932 |   476882 |    14162     75 |        6 |     3210
1693.61/1694.13	c 1693s |      19 |   727235 |   477182 |    14162     75 |        6 |     3210
1696.31/1696.84	c 1696s |      19 |   727585 |   477482 |    14162     75 |        6 |     3210
1699.11/1699.68	c 1699s |      19 |   727926 |   477782 |    14162     75 |        6 |     3210
1701.61/1702.14	c 1701s |      19 |   728299 |   478082 |    14162     75 |        6 |     3210
1703.72/1704.27	c 1704s |      19 |   729208 |   478482 |    14162     75 |        6 |     3210
1705.82/1706.36	c 1706s |      19 |   730721 |   479482 |    14162     75 |        6 |     3210
1707.91/1708.45	c 1708s |      19 |   731931 |   480482 |    14162     75 |        6 |     3210
1710.11/1710.68	c 1710s |      19 |   732903 |   481382 |    14162     75 |        6 |     3210
1712.42/1712.94	c 1712s |      19 |   733857 |   482182 |    14162     76 |        6 |     3210
1714.51/1715.01	c 1714s |      19 |   739011 |   482982 |    14162     76 |        6 |     3210
1718.01/1718.52	c 1718s |      19 |   741170 |   483382 |    14162     76 |        6 |     3210
1720.40/1720.92	c 1720s |      19 |   741606 |   483582 |    14162     76 |        6 |     3210
1722.60/1723.10	c 1722s |      19 |   742501 |   483982 |    14162     76 |        6 |     3210
1724.70/1725.24	c 1725s |      19 |   743162 |   484382 |    14162     76 |        6 |     3210
1726.90/1727.49	c 1727s |      19 |   743626 |   484682 |    14162     76 |        6 |     3210
1729.20/1729.72	c 1729s |      19 |   744364 |   484982 |    14162     76 |        6 |     3210
1731.60/1732.14	c 1731s |      19 |   744861 |   485282 |    14162     76 |        6 |     3210
1734.60/1735.11	c 1734s |      19 |   745291 |   485582 |    14162     76 |        6 |     3210
1737.71/1738.28	c 1738s |      19 |   745680 |   485882 |    14162     76 |        6 |     3210
1740.50/1741.07	c 1740s |      19 |   746096 |   486182 |    14162     76 |        6 |     3210
1743.71/1744.21	c 1743s |      19 |   746439 |   486482 |    14162     76 |        6 |     3210
1746.21/1746.79	c 1746s |      19 |   746819 |   486682 |    14162     76 |        6 |     3210
1748.60/1749.10	c 1748s |      19 |   747279 |   487082 |    14162     76 |        6 |     3210
1750.91/1751.48	c 1751s |      19 |   747676 |   487382 |    14162     76 |        6 |     3210
1753.11/1753.62	c 1753s |      19 |   748054 |   487682 |    14162     76 |        6 |     3210
1755.90/1756.47	c 1756s |      19 |   748410 |   487982 |    14162     76 |        6 |     3210
1758.20/1758.77	c 1758s |      19 |   748864 |   488282 |    14162     76 |        6 |     3210
1761.00/1761.56	c 1761s |      19 |   749190 |   488582 |    14162     76 |        6 |     3210
1763.60/1764.18	c 1763s |      19 |   749509 |   488882 |    14162     76 |        6 |     3210
1766.31/1766.88	c 1766s |      19 |   750590 |   489282 |    14162     76 |        6 |     3210
1768.80/1769.37	c 1769s |      19 |   751313 |   489682 |    14162     76 |        6 |     3210
1771.60/1772.16	c 1771s |      19 |   751742 |   489982 |    14162     76 |        6 |     3210
1774.50/1775.00	c 1774s |      19 |   752191 |   490282 |    14162     77 |        6 |     3210
1777.30/1777.86	c 1777s |      19 |   752410 |   490482 |    14162     77 |        6 |     3210
1779.80/1780.39	c 1780s |      19 |   752758 |   490782 |    14162     77 |        6 |     3210
1782.50/1783.03	c 1782s |      19 |   753303 |   491182 |    14162     77 |        6 |     3210
1785.20/1785.73	c 1785s |      19 |   753736 |   491482 |    14162     77 |        6 |     3210
1788.10/1788.61	c 1788s |      19 |   754270 |   491782 |    14162     77 |        6 |     3210
1790.29/1790.84	c 1790s |      19 |   754999 |   492182 |    14162     77 |        6 |     3210
1792.59/1793.16	c 1792s |      19 |   755489 |   492582 |    14162     77 |        6 |     3210
1794.59/1795.18	c 1794s |      19 |   755849 |   492882 |    14162     77 |        6 |     3210
1796.69/1797.28	c 1797s |      19 |   756244 |   493182 |    14162     77 |        6 |     3210
1798.89/1799.50	c 1799s |      19 |   756785 |   493482 |    14162     77 |        6 |     3210

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

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.20 2.18 3/179 15230
/proc/meminfo: memFree=29125352/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=296380 CPUtime=0 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 1029 0 0 0 0 0 0 0 20 0 4 0 108549480 303493120 1389 33554432000 4194304 16246674 140733675641424 140733675640848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15230/statm: 74607 1399 441 2943 0 71501 0
[pid=15230/tid=15231] ppid=15227 vsize=312764 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 320270336 1452 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=316860 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 324464640 1470 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=319932 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108549481 327610368 1482 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100119 s]
/proc/loadavg: 2.25 2.20 2.18 3/179 15230
/proc/meminfo: memFree=29125352/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 23844 0 0 0 5 3 0 0 20 0 4 0 108549480 1250496512 24142 33554432000 4194304 16246674 140733675641424 140733675640736 13780501 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15230/statm: 305297 24150 833 2943 0 302191 0
[pid=15230/tid=15231] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 24155 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 24165 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 24173 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.48075 s]
/proc/loadavg: 2.25 2.20 2.18 3/179 15230
/proc/meminfo: memFree=29125352/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1221188 CPUtime=0.46 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 70229 0 0 0 36 10 0 0 20 0 4 0 108549480 1250496512 70527 33554432000 4194304 16246674 140733675641424 140733675623296 13780501 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15230/statm: 305297 70528 892 2943 0 302191 0
[pid=15230/tid=15231] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 70528 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 70528 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 70529 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 1221188

[startup+0.500421 s]
/proc/loadavg: 2.25 2.20 2.18 3/179 15230
/proc/meminfo: memFree=29125352/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1221188 CPUtime=0.48 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 71787 0 0 0 38 10 0 0 20 0 4 0 108549480 1250496512 72085 33554432000 4194304 16246674 140733675641424 140733675623296 13780501 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15230/statm: 305297 72089 892 2943 0 302191 0
[pid=15230/tid=15231] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 72091 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 72094 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 72100 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 1221188

[startup+0.700394 s]
/proc/loadavg: 2.25 2.20 2.18 3/179 15230
/proc/meminfo: memFree=29125352/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1221188 CPUtime=0.68 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 91066 0 0 0 56 12 0 0 20 0 4 0 108549480 1250496512 91364 33554432000 4194304 16246674 140733675641424 140733675623296 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 305297 91366 892 2943 0 302191 0
[pid=15230/tid=15231] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 91366 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 91368 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 91373 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1221188

[startup+1.50048 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 15234
/proc/meminfo: memFree=28395376/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1221188 CPUtime=1.48 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 220413 0 0 0 119 29 0 0 20 0 4 0 108549480 1250496512 220711 33554432000 4194304 16246674 140733675641424 140733675623296 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 305297 220727 892 2943 0 302191 0
[pid=15230/tid=15231] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 220732 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 220740 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108549481 1250496512 220752 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1221188

[startup+3.1004 s]
/proc/loadavg: 2.23 2.19 2.18 3/183 15234
/proc/meminfo: memFree=28075340/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1296964 CPUtime=3.08 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 265411 0 0 0 272 36 0 0 20 0 4 0 108549480 1328091136 265709 33554432000 4194304 16246674 140733675641424 140733675623296 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 324241 265709 895 2943 0 321135 0
[pid=15230/tid=15231] ppid=15227 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1328091136 265709 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1328091136 265709 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1328091136 265709 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1296964

[startup+6.30041 s]
/proc/loadavg: 2.23 2.19 2.18 3/183 15234
/proc/meminfo: memFree=28052868/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 268253 0 0 0 591 37 0 0 20 0 4 0 108549480 1339625472 268551 33554432000 4194304 16246674 140733675641424 140733675623296 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 327057 268551 899 2943 0 323951 0
[pid=15230/tid=15231] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268551 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268551 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268551 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.35 2.22 2.19 3/183 15234
/proc/meminfo: memFree=28051920/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 268256 0 0 0 1231 37 0 0 20 0 4 0 108549480 1339625472 268554 33554432000 4194304 16246674 140733675641424 140733675623296 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 327057 268554 902 2943 0 323951 0
[pid=15230/tid=15231] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268554 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268554 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268554 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.37 2.23 2.19 3/183 15234
/proc/meminfo: memFree=28042500/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 268256 0 0 0 2511 37 0 0 20 0 4 0 108549480 1339625472 268554 33554432000 4194304 16246674 140733675641424 140733675623296 12477709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 327057 268554 902 2943 0 323951 0
[pid=15230/tid=15231] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268554 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268554 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268554 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.37 2.24 2.19 3/183 15234
/proc/meminfo: memFree=28042864/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 268256 0 0 0 5070 38 0 0 20 0 4 0 108549480 1339625472 268554 33554432000 4194304 16246674 140733675641424 140733675640600 13950202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 327057 268554 902 2943 0 323951 0
[pid=15230/tid=15231] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268554 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268554 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1339625472 268554 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 15284
/proc/meminfo: memFree=27695200/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1318468 CPUtime=102.27 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 270693 0 0 0 10187 40 0 0 20 0 4 0 108549480 1350111232 270991 33554432000 4194304 16246674 140733675641424 140733675640600 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 329617 270991 902 2943 0 326511 0
[pid=15230/tid=15231] ppid=15227 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1350111232 270991 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1350111232 270991 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1350111232 270991 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1318468


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

/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1361645568 274187 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1329732

[startup+1302.3 s]
/proc/loadavg: 2.46 2.35 2.27 3/183 15315
/proc/meminfo: memFree=26559488/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1329732 CPUtime=1301.87 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 273992 0 0 0 130135 52 0 0 20 0 4 0 108549480 1361645568 274187 33554432000 4194304 16246674 140733675641424 140733675623296 5523504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 332433 274187 902 2943 0 329327 0
[pid=15230/tid=15231] ppid=15227 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1361645568 274187 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1361645568 274187 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1361645568 274187 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.41 2.35 2.27 3/183 15316
/proc/meminfo: memFree=26558396/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1330756 CPUtime=1361.86 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 274248 0 0 0 136134 52 0 0 20 0 4 0 108549480 1362694144 274443 33554432000 4194304 16246674 140733675641424 140733675623296 13191921 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 332689 274443 902 2943 0 329583 0
[pid=15230/tid=15231] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.32 2.33 2.27 3/183 15317
/proc/meminfo: memFree=26558204/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1330756 CPUtime=1421.85 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 274248 0 0 0 142133 52 0 0 20 0 4 0 108549480 1362694144 274443 33554432000 4194304 16246674 140733675641424 140733675623296 13820966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 332689 274443 902 2943 0 329583 0
[pid=15230/tid=15231] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.39 2.34 2.28 3/183 15318
/proc/meminfo: memFree=26558280/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1330756 CPUtime=1481.85 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 274248 0 0 0 148132 53 0 0 20 0 4 0 108549480 1362694144 274443 33554432000 4194304 16246674 140733675641424 140733675640600 14073233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 332689 274443 902 2943 0 329583 0
[pid=15230/tid=15231] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1330756

[startup+1542.3 s]
/proc/loadavg: 2.25 2.31 2.27 3/183 15320
/proc/meminfo: memFree=26558020/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1330756 CPUtime=1541.83 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 274248 0 0 0 154130 53 0 0 20 0 4 0 108549480 1362694144 274443 33554432000 4194304 16246674 140733675641424 140733675640600 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 332689 274443 902 2943 0 329583 0
[pid=15230/tid=15231] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.18 2.28 2.26 3/183 15321
/proc/meminfo: memFree=26558124/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1330756 CPUtime=1601.83 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 274248 0 0 0 160129 54 0 0 20 0 4 0 108549480 1362694144 274443 33554432000 4194304 16246674 140733675641424 140733675640600 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 332689 274443 902 2943 0 329583 0
[pid=15230/tid=15231] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.29 2.29 2.27 3/184 15325
/proc/meminfo: memFree=26558256/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1330756 CPUtime=1661.82 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 274248 0 0 0 166128 54 0 0 20 0 4 0 108549480 1362694144 274443 33554432000 4194304 16246674 140733675641424 140733675623296 5722956 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 332689 274443 902 2943 0 329583 0
[pid=15230/tid=15231] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.34 2.29 2.27 3/183 15326
/proc/meminfo: memFree=26558312/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1330756 CPUtime=1721.8 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 274248 0 0 0 172126 54 0 0 20 0 4 0 108549480 1362694144 274443 33554432000 4194304 16246674 140733675641424 140733675623296 5721388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 332689 274443 902 2943 0 329583 0
[pid=15230/tid=15231] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1330756

[startup+1782.31 s]
/proc/loadavg: 2.36 2.31 2.27 3/183 15327
/proc/meminfo: memFree=26557660/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1330756 CPUtime=1781.8 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 274248 0 0 0 178125 55 0 0 20 0 4 0 108549480 1362694144 274443 33554432000 4194304 16246674 140733675641424 140733675623296 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 332689 274443 902 2943 0 329583 0
[pid=15230/tid=15231] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.32 2.31 2.27 3/183 15327
/proc/meminfo: memFree=26557592/32872528 swapFree=17452/1581112
[pid=15230] ppid=15227 vsize=1330756 CPUtime=1800.09 cores=0,2,4,6
/proc/15230/stat : 15230 (toysat) R 15227 15230 13546 0 -1 4202496 274248 0 0 0 179954 55 0 0 20 0 4 0 108549480 1362694144 274443 33554432000 4194304 16246674 140733675641424 140733675640600 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15230/statm: 332689 274443 902 2943 0 329583 0
[pid=15230/tid=15231] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15231/stat : 15231 (toysat) S 15227 15230 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978909658352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15230/tid=15232] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15232/stat : 15232 (toysat) S 15227 15230 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978822626544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15230/tid=15233] ppid=15227 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/15230/task/15233/stat : 15233 (toysat) S 15227 15230 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108549481 1362694144 274443 33554432000 4194304 16246674 140733675641424 139978812153008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1330756

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.55
CPU system time (s): 0.557915
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.557915
maximum resident set size= 1097772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274248
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= 375
involuntary context switches= 1962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52631 second user time and 6.98594 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 04:22:55
IDJOB=4079888
IDBENCH=71844
IDSOLVER=2542
FILE ID=node139/4079888-1465266175
RUNJOBID= node139-1465254943-13562
PBS_JOBID= 19843273
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 807bc542b75293285fea5916dfeaaa3e
RANDOM SEED=1030461296

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29124756 kB
Buffers:          119596 kB
Cached:           172624 kB
SwapCached:         1464 kB
Active:          1257536 kB
Inactive:         172456 kB
Active(anon):    1138036 kB
Inactive(anon):     2220 kB
Active(file):     119500 kB
Inactive(file):   170236 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099808 kB
Dirty:             16748 kB
Writeback:             0 kB
AnonPages:       2720068 kB
Mapped:            10700 kB
Shmem:                 0 kB
Slab:             600584 kB
SReclaimable:      44320 kB
SUnreclaim:       556264 kB
KernelStack:        1472 kB
PageTables:         9296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2860936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2668544 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= 71700 MiB
End job on node139 at 2016-06-07 04:52:56