Trace number 4106517

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb
MD5SUM2f50a7c4db6c104684b2cc399418ffd9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.085986
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables120
Total number of constraints11
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)320
Sum of products size (including duplicates)640
Number of different products320
Sum of products size640

Solver Data 

0.00/0.00	c 2016-06-18T19:59:44+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-4106517-1466272784.opb"]
0.00/0.01	c use --random-gen="2663328731 32496702 877161949 2751314620 4126921668 3144886927 1857967287 175685357 3006202086 3658505399 1270654657 1246820878 3846634420 2131640641 1882082434 3492158371 3465418669 820247838 4023231662 868810709 442370297 3123499555 222688676 3946998167 2051218741 3079368439 598585546 918490252 93004037 570684049 3923661706 2042276133 1066908734 1108132165 990772281 252271600 137078012 669237233 2861367080 3658866214 1220946113 1715231030 2412022514 3550990173 1228649267 1471945712 1960774155 877207158 4276038877 2820420869 1750240796 1052974745 2681855623 3855078729 2837751137 172045836 3624571458 57973828 2434932755 2274465331 425620342 3905104419 2801739850 965974347 3034886901 1368403565 904957341 1646192475 1797898684 3885360112 3829075518 4074409762 844015864 1810035862 2128750407 3866510915 2780607841 963417932 1791122127 2210435996 2691799557 2349301188 3425613627 2762381884 2327066059 3981014832 1149116889 2446896662 652016320 1641671887 310031972 1384156576 2584440516 2590799412 3115239182 3196141950 1553649821 3726911490 1554714775 1759675796 1041510252 1417852509 2169151212 682188140 2506897772 713861108 417778029 110370332 435380824 1857848395 3806912925 1081397376 1531567214 1577812352 3072538975 4272754780 2160724420 4202187821 2628624146 1031271424 1914366007 2882042726 3948473989 51239640 3308227261 3169967769 1814355905 2880934087 3146650259 3762799810 2305392735 4089172042 819251076 719905224 1071448871 1001059879 1798550530 3157997548 838214485 2801113282 3676750440 2830259964 3119895530 915130216 3796197201 3541289239 3881569182 3510351588 110651268 2718534788 3259327578 3751353479 2027876673 1407293579 761776190 314065219 3385771920 2439746610 797018638 1770770250 3152488807 234476667 3057146204 2703914083 45961148 851234108 590859441 2957189889 79881693 837378473 4095536425 3530009519 3084446952 102908608 2746887822 4138714901 2148744804 1706775397 3930615161 4011361998 1413643631 3954922830 3888726447 2705408591 3595369022 3671078771 4139510701 610279828 3450208356 4184799169 1392064448 304526330 3009897722 1032356116 4152682412 3558337450 1069992608 2296913780 4235046454 2223838279 3309242132 2651799989 1091715544 1237577730 3794523484 2621897472 236095698 643765518 2250378321 4020039861 4189527567 3311031045 966322146 3700047627 1444160495 3435113696 3001269299 2929498265 3739155671 989906 3028374584 795233068 3097460278 2070037862 2097145207 2722186163 3869417582 3898821769 2399049578 3877289262 303108858 214434946 828725650 2495852501 1718005192 1953016139 1512910383 3893477451 88658932 1769010882 1358782661 1473002860 203418416 2610274988 3522174660 3204401541 3929913436 3849254631 3363728904 1748288664 1755558116 3253234023 1014737179 4119829672 3844537943 3303509848 255 362436" option to reproduce the execution
0.00/0.01	c #vars 120
0.00/0.01	c #constraints 11
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      472      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      112 |      100 |      472      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      273 |      250 |      520      0 |        0 |        0
0.08/0.13	c  0.1s |       3 |      531 |      475 |      572      0 |        0 |        0
0.18/0.25	c  0.2s |       4 |      952 |      813 |      630      0 |        0 |        0
0.29/0.37	c  0.3s |       5 |     1519 |     1320 |      693      1 |        0 |        0
0.49/0.59	c  0.6s |       6 |     2357 |     2081 |      840      3 |        0 |        0
0.59/0.69	c  0.7s |       6 |     2662 |     2316 |      840      3 |        0 |        0
0.59/0.69	c #cpu_time = 0.664s
0.59/0.69	c #wall_clock_time = 0.665s
0.59/0.69	c #decision = 2662
0.59/0.69	c #random_decision = 6
0.59/0.69	c #conflict = 2316
0.59/0.69	c #restart = 6
0.59/0.69	o 37
0.59/0.69	c BCD2: hardening fixes 2 literals
0.59/0.69	c BCD2: updating upper bound: 255 -> 36
0.59/0.69	c BCD2: 0 <= obj <= 36
0.59/0.69	c BCD2: #cores=0, #unrelaxed=6, #relaxed=0, #hardened=2
0.59/0.69	c BCD2: #sat=1 #unsat=1 bias=1/2
0.59/0.69	c Solving starts ...
0.59/0.69	c ============================[ Search Statistics ]============================
0.59/0.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.69	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.69	c =============================================================================
0.59/0.69	c  0.0s |       0 |        0 |        0 |      840      0 |       20 |        0
0.59/0.69	c  0.0s |       0 |        4 |        0 |      840      0 |       20 |       48
0.59/0.69	c #cpu_time = 0.005s
0.59/0.69	c #wall_clock_time = 0.005s
0.59/0.69	c #decision = 4
0.59/0.69	c #random_decision = 0
0.59/0.69	c #conflict = 0
0.59/0.69	c #restart = 0
0.59/0.69	c BCD2: found a new core of size 5: cost of the new core is >=2
0.59/0.69	c lower bound updated to 2
0.59/0.69	c BCD2: 2 <= obj <= 36
0.59/0.69	c BCD2: #cores=1, #unrelaxed=1, #relaxed=5, #hardened=2
0.59/0.69	c BCD2: #sat=1 #unsat=2 bias=2/3
0.59/0.69	c Solving starts ...
0.59/0.69	c ============================[ Search Statistics ]============================
0.59/0.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.69	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.69	c =============================================================================
0.59/0.70	c  0.0s |       0 |        0 |        0 |      840      0 |       20 |       48
0.68/0.74	c  0.0s |       1 |      166 |      100 |      840      0 |       20 |       48
0.89/0.94	c  0.2s |       2 |      375 |      250 |      840      0 |       20 |       48
0.99/1.04	c  0.3s |       3 |      676 |      475 |      840      1 |       20 |       48
1.09/1.18	c  0.5s |       4 |     1133 |      813 |      840      1 |       20 |       48
1.28/1.31	c  0.6s |       5 |     1797 |     1320 |      925      2 |       20 |       48
1.48/1.56	c  0.9s |       6 |     2790 |     2081 |      925      3 |       20 |       48
1.68/1.75	c  1.1s |       7 |     4030 |     3223 |     1018      5 |       20 |       48
2.20/2.27	c  1.6s |       8 |     5843 |     4936 |     1018      8 |       20 |       48
2.69/2.78	c  2.1s |       9 |     8593 |     7506 |     1120     12 |       20 |       48
3.69/3.79	c  3.1s |      10 |    12741 |    11361 |     1232     17 |       20 |       48
4.99/5.08	c  4.4s |      11 |    18908 |    17144 |     1356     24 |       20 |       48
6.79/6.86	c  6.2s |      12 |    28074 |    25819 |     1492     35 |       20 |       48
8.79/8.88	c  8.2s |      12 |    35512 |    32619 |     1492     42 |       20 |       48
10.49/10.52	c  9.8s |      13 |    42025 |    38832 |     1642     48 |       20 |       48
12.49/12.53	c 11.8s |      13 |    49898 |    46232 |     1642     56 |       20 |       48
14.49/14.55	c 13.9s |      13 |    57434 |    53132 |     1642     63 |       20 |       48
15.99/16.02	c 15.3s |      14 |    63073 |    58352 |     1807     68 |       20 |       48
17.99/18.02	c 17.3s |      14 |    72567 |    67152 |     1807     76 |       20 |       48
19.99/20.02	c 19.3s |      14 |    81554 |    75752 |     1807     85 |       20 |       48
21.99/22.04	c 21.3s |      14 |    90372 |    83852 |     1807     93 |       20 |       48
22.89/22.94	c 22.2s |      15 |    94377 |    87632 |     1988     96 |       20 |       48
24.89/24.98	c 24.3s |      15 |   101579 |    94132 |     1988    102 |       20 |       48
26.88/26.99	c 26.3s |      15 |   108781 |   100532 |     1988    107 |       20 |       48
28.98/29.01	c 28.3s |      15 |   115917 |   106732 |     1988    113 |       20 |       48
30.98/31.04	c 30.3s |      15 |   123124 |   112832 |     1988    118 |       20 |       48
32.99/33.06	c 32.4s |      15 |   131308 |   120232 |     1988    124 |       20 |       48
34.98/35.09	c 34.4s |      15 |   137906 |   126332 |     1988    129 |       20 |       48
36.48/36.58	c 35.9s |      16 |   143454 |   131552 |     2187    134 |       20 |       48
38.49/38.59	c 37.9s |      16 |   151687 |   139152 |     2187    140 |       20 |       48
40.48/40.59	c 39.9s |      16 |   160593 |   146852 |     2187    146 |       20 |       48
42.58/42.60	c 41.9s |      16 |   169281 |   155052 |     2187    152 |       20 |       48
44.58/44.60	c 43.9s |      16 |   177341 |   162752 |     2187    158 |       20 |       48
46.58/46.61	c 45.9s |      16 |   185538 |   170452 |     2187    165 |       20 |       48
48.58/48.62	c 47.9s |      16 |   194661 |   179052 |     2187    171 |       20 |       48
50.58/50.62	c 49.9s |      16 |   203812 |   187752 |     2187    178 |       20 |       48
52.58/52.64	c 51.9s |      16 |   212370 |   196152 |     2406    185 |       20 |       48
52.88/52.96	c 52.3s |      17 |   213675 |   197432 |     2406    186 |       20 |       48
54.88/54.97	c 54.3s |      17 |   220958 |   204232 |     2406    191 |       20 |       48
56.88/56.98	c 56.3s |      17 |   227970 |   210832 |     2406    195 |       20 |       48
58.88/58.99	c 58.3s |      17 |   235178 |   217432 |     2406    200 |       20 |       48
60.97/61.01	c 60.3s |      17 |   241738 |   223232 |     2406    204 |       20 |       48
62.97/63.03	c 62.3s |      17 |   249700 |   230732 |     2406    210 |       20 |       48
64.98/65.04	c 64.3s |      17 |   257831 |   238432 |     2406    215 |       20 |       48
66.97/67.04	c 66.3s |      17 |   265356 |   245532 |     2406    221 |       20 |       48
68.97/69.06	c 68.4s |      17 |   273100 |   253032 |     2406    226 |       20 |       48
70.97/71.06	c 70.4s |      17 |   281058 |   260432 |     2406    231 |       20 |       48
72.97/73.08	c 72.4s |      17 |   288800 |   267332 |     2406    236 |       20 |       48
74.98/75.08	c 74.4s |      17 |   296694 |   274732 |     2406    242 |       20 |       48
76.99/77.09	c 76.4s |      17 |   304711 |   282332 |     2406    247 |       20 |       48
79.08/79.11	c 78.4s |      17 |   311090 |   288232 |     2406    252 |       20 |       48
81.08/81.11	c 80.4s |      17 |   317895 |   294632 |     2647    256 |       20 |       48
81.48/81.56	c 80.9s |      18 |   319591 |   296252 |     2647    257 |       20 |       48
83.48/83.56	c 82.9s |      18 |   328740 |   305152 |     2647    263 |       20 |       48
85.48/85.57	c 84.9s |      18 |   336515 |   312652 |     2647    268 |       20 |       48
87.57/87.61	c 86.9s |      18 |   343395 |   319152 |     2647    272 |       20 |       48
89.57/89.62	c 88.9s |      18 |   350844 |   326252 |     2647    277 |       20 |       48
91.57/91.64	c 90.9s |      18 |   356733 |   331752 |     2647    281 |       20 |       48
93.58/93.65	c 93.0s |      18 |   363542 |   338352 |     2647    285 |       20 |       48
95.57/95.69	c 95.0s |      18 |   371212 |   345652 |     2647    290 |       20 |       48
97.67/97.71	c 97.0s |      18 |   377013 |   351052 |     2647    294 |       20 |       48
99.67/99.73	c 99.0s |      18 |   384237 |   358052 |     2647    298 |       20 |       48
101.67/101.74	c  101s |      18 |   391361 |   364852 |     2647    303 |       20 |       48
103.67/103.75	c  103s |      18 |   398289 |   371452 |     2647    307 |       20 |       48
105.77/105.80	c  105s |      18 |   404394 |   377252 |     2647    311 |       20 |       48
107.78/107.81	c  107s |      18 |   411141 |   383652 |     2647    315 |       20 |       48
109.77/109.82	c  109s |      18 |   418846 |   391052 |     2647    320 |       20 |       48
111.77/111.84	c  111s |      18 |   426638 |   398452 |     2647    325 |       20 |       48
113.77/113.87	c  113s |      18 |   433287 |   404652 |     2647    329 |       20 |       48
115.77/115.89	c  115s |      18 |   439249 |   410352 |     2647    333 |       20 |       48
117.87/117.90	c  117s |      18 |   445492 |   416252 |     2647    337 |       20 |       48
119.87/119.91	c  119s |      18 |   451261 |   421752 |     2647    341 |       20 |       48
121.86/121.93	c  121s |      18 |   457626 |   427752 |     2647    345 |       20 |       48
123.86/123.94	c  123s |      18 |   464258 |   433952 |     2647    349 |       20 |       48
125.86/125.95	c  125s |      18 |   471506 |   440952 |     2912    353 |       20 |       48
127.26/127.30	c  126s |      19 |   475202 |   444482 |     2912    355 |       20 |       48
129.27/129.33	c  128s |      19 |   483296 |   451782 |     2912    360 |       20 |       48
131.27/131.35	c  130s |      19 |   490095 |   458282 |     2912    364 |       20 |       48
133.27/133.38	c  132s |      19 |   497046 |   464882 |     2912    368 |       20 |       48
135.28/135.40	c  134s |      19 |   503719 |   471182 |     2912    372 |       20 |       48
137.37/137.40	c  136s |      19 |   510852 |   477982 |     2912    376 |       20 |       48
139.37/139.43	c  138s |      19 |   517857 |   484682 |     2912    380 |       20 |       48
141.37/141.46	c  140s |      19 |   524708 |   491282 |     2912    384 |       20 |       48
143.37/143.46	c  142s |      19 |   531763 |   498182 |     2912    388 |       20 |       48
145.37/145.48	c  144s |      19 |   539104 |   505382 |     2912    393 |       20 |       48
147.37/147.48	c  146s |      19 |   546379 |   512382 |     2912    397 |       20 |       48
149.47/149.50	c  148s |      19 |   554172 |   519782 |     2912    402 |       20 |       48
151.47/151.50	c  150s |      19 |   561485 |   526682 |     2912    406 |       20 |       48
153.47/153.51	c  152s |      19 |   568688 |   533282 |     2912    410 |       20 |       48
155.47/155.53	c  154s |      19 |   575782 |   540082 |     2912    414 |       20 |       48
157.46/157.53	c  156s |      19 |   582943 |   546782 |     2912    418 |       20 |       48
159.47/159.55	c  158s |      19 |   589783 |   553282 |     2912    422 |       20 |       48
161.46/161.55	c  160s |      19 |   596867 |   559982 |     2912    426 |       20 |       48
163.46/163.57	c  162s |      19 |   603401 |   566182 |     2912    430 |       20 |       48
165.46/165.57	c  164s |      19 |   609418 |   571982 |     2912    434 |       20 |       48
167.46/167.57	c  166s |      19 |   615775 |   578082 |     2912    437 |       20 |       48
169.47/169.59	c  168s |      19 |   622337 |   584182 |     2912    441 |       20 |       48
171.57/171.61	c  170s |      19 |   630556 |   592182 |     2912    446 |       20 |       48
173.56/173.63	c  172s |      19 |   637421 |   598982 |     2912    450 |       20 |       48
175.56/175.64	c  174s |      19 |   644824 |   606082 |     2912    455 |       20 |       48
177.56/177.65	c  176s |      19 |   651523 |   612382 |     2912    459 |       20 |       48
179.56/179.68	c  178s |      19 |   658893 |   619382 |     2912    463 |       20 |       48
181.56/181.68	c  180s |      19 |   665907 |   626082 |     2912    467 |       20 |       48
183.66/183.70	c  183s |      19 |   673085 |   632982 |     2912    471 |       20 |       48
185.66/185.71	c  185s |      19 |   679813 |   639482 |     2912    475 |       20 |       48
187.66/187.72	c  187s |      19 |   687086 |   646482 |     2912    480 |       20 |       48
189.66/189.74	c  189s |      19 |   694509 |   653382 |     2912    484 |       20 |       48
191.66/191.75	c  191s |      19 |   701667 |   660182 |     3204    488 |       20 |       48
193.66/193.78	c  193s |      19 |   708784 |   666782 |     3204    492 |       20 |       48
193.66/193.79	c  193s |      20 |   708828 |   666827 |     3204    492 |       20 |       48
195.76/195.81	c  195s |      20 |   714126 |   670927 |     3204    494 |       20 |       48
197.75/197.81	c  197s |      20 |   720847 |   676827 |     3204    497 |       20 |       48
199.75/199.84	c  199s |      20 |   728149 |   683827 |     3204    501 |       20 |       48
201.75/201.86	c  201s |      20 |   735129 |   690327 |     3204    505 |       20 |       48
203.75/203.87	c  203s |      20 |   742350 |   696927 |     3204    509 |       20 |       48
205.85/205.91	c  205s |      20 |   749529 |   703727 |     3204    513 |       20 |       48
207.86/207.93	c  207s |      20 |   756776 |   710527 |     3204    516 |       20 |       48
209.85/209.93	c  209s |      20 |   763755 |   717027 |     3204    520 |       20 |       48
211.85/211.95	c  211s |      20 |   771117 |   723927 |     3204    524 |       20 |       48
213.86/213.97	c  213s |      20 |   776862 |   729327 |     3204    527 |       20 |       48
215.86/215.98	c  215s |      20 |   782645 |   734727 |     3204    530 |       20 |       48
217.96/218.03	c  217s |      20 |   788648 |   740427 |     3204    533 |       20 |       48
219.96/220.07	c  219s |      20 |   794547 |   746027 |     3204    537 |       20 |       48
221.96/222.09	c  221s |      20 |   801631 |   752727 |     3204    540 |       20 |       48
224.05/224.13	c  223s |      20 |   808714 |   759427 |     3204    544 |       20 |       48
226.05/226.14	c  225s |      20 |   816198 |   766527 |     3204    548 |       20 |       48
228.05/228.16	c  227s |      20 |   823530 |   773527 |     3204    552 |       20 |       48
230.05/230.16	c  229s |      20 |   829950 |   779527 |     3204    556 |       20 |       48
232.06/232.17	c  231s |      20 |   836792 |   785827 |     3204    559 |       20 |       48
234.15/234.22	c  233s |      20 |   843341 |   791827 |     3204    563 |       20 |       48
236.15/236.22	c  235s |      20 |   848862 |   796927 |     3204    566 |       20 |       48
238.15/238.24	c  237s |      20 |   854821 |   802627 |     3204    569 |       20 |       48
240.15/240.27	c  239s |      20 |   860962 |   808427 |     3204    572 |       20 |       48
242.15/242.28	c  241s |      20 |   867029 |   814127 |     3204    575 |       20 |       48
244.16/244.29	c  243s |      20 |   872771 |   819327 |     3204    578 |       20 |       48
246.25/246.31	c  245s |      20 |   878707 |   824927 |     3204    582 |       20 |       48
248.25/248.33	c  247s |      20 |   884444 |   830227 |     3204    585 |       20 |       48
250.25/250.35	c  249s |      20 |   890640 |   836227 |     3204    588 |       20 |       48
252.25/252.36	c  251s |      20 |   897951 |   843327 |     3204    592 |       20 |       48
254.25/254.38	c  253s |      20 |   905626 |   850627 |     3204    596 |       20 |       48
256.35/256.40	c  255s |      20 |   912026 |   856327 |     3204    600 |       20 |       48
258.34/258.42	c  257s |      20 |   919006 |   862927 |     3204    603 |       20 |       48
260.34/260.42	c  259s |      20 |   926043 |   869527 |     3204    607 |       20 |       48
262.34/262.42	c  261s |      20 |   932163 |   875327 |     3204    610 |       20 |       48
264.34/264.46	c  263s |      20 |   937597 |   880427 |     3204    613 |       20 |       48
266.34/266.47	c  265s |      20 |   943746 |   886127 |     3204    617 |       20 |       48
268.35/268.47	c  267s |      20 |   950976 |   892927 |     3204    620 |       20 |       48
270.44/270.51	c  269s |      20 |   957773 |   899327 |     3204    624 |       20 |       48
272.44/272.51	c  271s |      20 |   964305 |   905527 |     3204    628 |       20 |       48
274.44/274.53	c  273s |      20 |   971922 |   912627 |     3204    632 |       20 |       48
276.44/276.53	c  275s |      20 |   979260 |   919027 |     3204    635 |       20 |       48
278.44/278.54	c  277s |      20 |   986531 |   926027 |     3204    639 |       20 |       48
280.45/280.56	c  279s |      20 |   993658 |   932727 |     3204    643 |       20 |       48
282.45/282.57	c  281s |      20 |  1001298 |   939827 |     3204    647 |       20 |       48
284.45/284.58	c  283s |      20 |  1008915 |   947027 |     3204    651 |       20 |       48
286.55/286.61	c  285s |      20 |  1016611 |   954327 |     3204    655 |       20 |       48
288.55/288.62	c  287s |      20 |  1022994 |   960227 |     3204    659 |       20 |       48
290.54/290.65	c  289s |      20 |  1029568 |   966327 |     3204    662 |       20 |       48
292.55/292.67	c  291s |      20 |  1036585 |   973027 |     3204    666 |       20 |       48
294.64/294.70	c  294s |      20 |  1043250 |   979427 |     3204    670 |       20 |       48
296.64/296.70	c  296s |      20 |  1050722 |   986627 |     3204    674 |       20 |       48
298.64/298.71	c  298s |      20 |  1057608 |   993227 |     3525    677 |       20 |       48
300.64/300.74	c  300s |      20 |  1063925 |   999227 |     3525    680 |       20 |       48
301.04/301.12	c  300s |      21 |  1065095 |  1000345 |     3525    681 |       20 |       48
303.04/303.16	c  302s |      21 |  1073181 |  1007945 |     3525    685 |       20 |       48
305.04/305.18	c  304s |      21 |  1080036 |  1014345 |     3525    688 |       20 |       48
307.14/307.20	c  306s |      21 |  1086759 |  1020645 |     3525    692 |       20 |       48
309.15/309.22	c  308s |      21 |  1092825 |  1026445 |     3525    695 |       20 |       48
311.14/311.24	c  310s |      21 |  1099071 |  1032145 |     3525    698 |       20 |       48
313.14/313.24	c  312s |      21 |  1105630 |  1038345 |     3525    701 |       20 |       48
315.14/315.25	c  314s |      21 |  1112487 |  1044745 |     3525    704 |       20 |       48
317.14/317.26	c  316s |      21 |  1119217 |  1050945 |     3525    707 |       20 |       48
319.14/319.27	c  318s |      21 |  1125599 |  1057045 |     3525    710 |       20 |       48
321.14/321.27	c  320s |      21 |  1132019 |  1063045 |     3525    714 |       20 |       48
323.14/323.27	c  322s |      21 |  1139160 |  1069845 |     3525    717 |       20 |       48
325.14/325.29	c  324s |      21 |  1146850 |  1076845 |     3525    721 |       20 |       48
327.14/327.29	c  326s |      21 |  1154052 |  1083645 |     3525    724 |       20 |       48
329.14/329.29	c  328s |      21 |  1161928 |  1090945 |     3525    728 |       20 |       48
331.23/331.31	c  330s |      21 |  1168751 |  1097345 |     3525    731 |       20 |       48
333.24/333.33	c  332s |      21 |  1176302 |  1104545 |     3525    735 |       20 |       48
335.23/335.33	c  334s |      21 |  1183751 |  1111645 |     3525    739 |       20 |       48
337.23/337.36	c  336s |      21 |  1190873 |  1118345 |     3525    742 |       20 |       48
339.23/339.36	c  338s |      21 |  1197534 |  1124645 |     3525    746 |       20 |       48
341.23/341.37	c  340s |      21 |  1203916 |  1130845 |     3525    749 |       20 |       48
343.24/343.37	c  342s |      21 |  1210108 |  1136845 |     3525    752 |       20 |       48
345.23/345.38	c  344s |      21 |  1216569 |  1143045 |     3525    755 |       20 |       48
347.23/347.39	c  346s |      21 |  1223548 |  1149545 |     3525    759 |       20 |       48
349.33/349.41	c  348s |      21 |  1229874 |  1155545 |     3525    762 |       20 |       48
351.33/351.42	c  350s |      21 |  1236857 |  1162145 |     3525    765 |       20 |       48
353.33/353.44	c  352s |      21 |  1244124 |  1169045 |     3525    769 |       20 |       48
355.34/355.47	c  354s |      21 |  1250954 |  1175445 |     3525    772 |       20 |       48
357.33/357.50	c  356s |      21 |  1257381 |  1181745 |     3525    775 |       20 |       48
359.43/359.52	c  358s |      21 |  1264455 |  1188545 |     3525    779 |       20 |       48
361.43/361.53	c  360s |      21 |  1270861 |  1194845 |     3525    782 |       20 |       48
363.43/363.55	c  362s |      21 |  1277553 |  1201345 |     3525    786 |       20 |       48
365.43/365.56	c  364s |      21 |  1284941 |  1208445 |     3525    789 |       20 |       48
367.43/367.57	c  366s |      21 |  1292112 |  1215445 |     3525    793 |       20 |       48
369.43/369.58	c  368s |      21 |  1299694 |  1222745 |     3525    797 |       20 |       48
371.53/371.61	c  370s |      21 |  1307018 |  1229845 |     3525    800 |       20 |       48
373.53/373.63	c  372s |      21 |  1314325 |  1236845 |     3525    804 |       20 |       48
375.52/375.65	c  374s |      21 |  1322045 |  1244245 |     3525    808 |       20 |       48
377.52/377.65	c  376s |      21 |  1329829 |  1251645 |     3525    812 |       20 |       48
379.54/379.67	c  378s |      21 |  1337144 |  1258645 |     3525    815 |       20 |       48
381.53/381.68	c  380s |      21 |  1344625 |  1265845 |     3525    819 |       20 |       48
383.53/383.69	c  382s |      21 |  1352084 |  1272945 |     3525    823 |       20 |       48
385.63/385.71	c  385s |      21 |  1359605 |  1280145 |     3525    827 |       20 |       48
387.63/387.72	c  387s |      21 |  1367190 |  1287145 |     3525    830 |       20 |       48
389.63/389.75	c  389s |      21 |  1374558 |  1293745 |     3525    834 |       20 |       48
391.63/391.79	c  391s |      21 |  1381961 |  1300645 |     3525    837 |       20 |       48
393.73/393.81	c  393s |      21 |  1389159 |  1307545 |     3525    841 |       20 |       48
395.73/395.81	c  395s |      21 |  1396075 |  1314245 |     3525    844 |       20 |       48
397.73/397.84	c  397s |      21 |  1403150 |  1321045 |     3525    848 |       20 |       48
399.72/399.85	c  399s |      21 |  1410079 |  1327645 |     3525    851 |       20 |       48
401.72/401.85	c  401s |      21 |  1416797 |  1334145 |     3525    855 |       20 |       48
403.73/403.87	c  403s |      21 |  1422735 |  1339945 |     3525    858 |       20 |       48
405.72/405.88	c  405s |      21 |  1429901 |  1346645 |     3525    861 |       20 |       48
407.72/407.89	c  407s |      21 |  1436536 |  1352945 |     3525    865 |       20 |       48
409.82/409.91	c  409s |      21 |  1442495 |  1358645 |     3525    868 |       20 |       48
411.82/411.91	c  411s |      21 |  1449258 |  1364945 |     3525    871 |       20 |       48
413.82/413.92	c  413s |      21 |  1455740 |  1371045 |     3525    874 |       20 |       48
415.83/415.96	c  415s |      21 |  1462497 |  1377245 |     3525    877 |       20 |       48
417.82/417.98	c  417s |      21 |  1470148 |  1384545 |     3525    881 |       20 |       48
419.82/419.98	c  419s |      21 |  1477977 |  1392145 |     3525    885 |       20 |       48
421.82/421.98	c  421s |      21 |  1483696 |  1397645 |     3525    888 |       20 |       48
423.92/424.01	c  423s |      21 |  1489885 |  1403545 |     3525    891 |       20 |       48
425.92/426.03	c  425s |      21 |  1495281 |  1408545 |     3525    894 |       20 |       48
427.92/428.09	c  427s |      21 |  1501387 |  1414145 |     3525    896 |       20 |       48
430.02/430.12	c  429s |      21 |  1506584 |  1419045 |     3525    899 |       20 |       48
432.03/432.13	c  431s |      21 |  1512021 |  1423945 |     3525    901 |       20 |       48
434.03/434.15	c  433s |      21 |  1517250 |  1428645 |     3525    904 |       20 |       48
436.02/436.17	c  435s |      21 |  1524983 |  1436045 |     3525    908 |       20 |       48
438.02/438.18	c  437s |      21 |  1531305 |  1442045 |     3525    911 |       20 |       48
440.12/440.21	c  439s |      21 |  1536291 |  1446845 |     3525    913 |       20 |       48
442.13/442.21	c  441s |      21 |  1541693 |  1451945 |     3525    916 |       20 |       48
444.12/444.25	c  443s |      21 |  1549070 |  1458845 |     3525    919 |       20 |       48
446.12/446.27	c  445s |      21 |  1556142 |  1465445 |     3525    923 |       20 |       48
448.12/448.28	c  447s |      21 |  1563023 |  1471945 |     3525    926 |       20 |       48
450.22/450.30	c  449s |      21 |  1569743 |  1478245 |     3525    929 |       20 |       48
452.22/452.31	c  451s |      21 |  1576666 |  1484645 |     3525    933 |       20 |       48
454.23/454.35	c  453s |      21 |  1582789 |  1490345 |     3878    935 |       20 |       48
456.22/456.36	c  455s |      21 |  1589239 |  1495845 |     3878    938 |       20 |       48
457.72/457.89	c  457s |      22 |  1594296 |  1500622 |     3878    940 |       20 |       48
459.82/459.90	c  459s |      22 |  1602802 |  1508822 |     3878    944 |       20 |       48
461.82/461.93	c  461s |      22 |  1609987 |  1515822 |     3878    948 |       20 |       48
463.82/463.95	c  463s |      22 |  1617621 |  1523322 |     3878    951 |       20 |       48
465.82/465.95	c  465s |      22 |  1624631 |  1530222 |     3878    955 |       20 |       48
467.81/467.97	c  467s |      22 |  1631891 |  1537322 |     3878    958 |       20 |       48
469.81/469.98	c  469s |      22 |  1638794 |  1544022 |     3878    961 |       20 |       48
471.82/471.99	c  471s |      22 |  1645183 |  1550322 |     3878    964 |       20 |       48
473.91/474.01	c  473s |      22 |  1652314 |  1557322 |     3878    968 |       20 |       48
475.91/476.02	c  475s |      22 |  1659454 |  1564322 |     3878    971 |       20 |       48
477.91/478.03	c  477s |      22 |  1666486 |  1571222 |     3878    974 |       20 |       48
479.91/480.04	c  479s |      22 |  1673484 |  1578122 |     3878    978 |       20 |       48
481.91/482.04	c  481s |      22 |  1681168 |  1585622 |     3878    981 |       20 |       48
483.92/484.05	c  483s |      22 |  1688340 |  1592622 |     3878    984 |       20 |       48
485.91/486.08	c  485s |      22 |  1695535 |  1599722 |     3878    988 |       20 |       48
487.91/488.09	c  487s |      22 |  1702724 |  1606722 |     3878    991 |       20 |       48
490.01/490.11	c  489s |      22 |  1709363 |  1613122 |     3878    994 |       20 |       48
492.01/492.15	c  491s |      22 |  1715816 |  1619322 |     3878    997 |       20 |       48
494.01/494.16	c  493s |      22 |  1721813 |  1625022 |     3878   1000 |       20 |       48
496.01/496.17	c  495s |      22 |  1727324 |  1630322 |     3878   1003 |       20 |       48
498.01/498.17	c  497s |      22 |  1733815 |  1636522 |     3878   1006 |       20 |       48
500.01/500.18	c  499s |      22 |  1739917 |  1642422 |     3878   1009 |       20 |       48
502.11/502.21	c  501s |      22 |  1746788 |  1649022 |     3878   1012 |       20 |       48
504.11/504.22	c  503s |      22 |  1752759 |  1654822 |     3878   1014 |       20 |       48
506.11/506.24	c  505s |      22 |  1759088 |  1660922 |     3878   1017 |       20 |       48
508.11/508.24	c  507s |      22 |  1765448 |  1667022 |     3878   1020 |       20 |       48
510.10/510.27	c  509s |      22 |  1772260 |  1673522 |     3878   1023 |       20 |       48
512.10/512.27	c  511s |      22 |  1778807 |  1679822 |     3878   1027 |       20 |       48
514.20/514.30	c  513s |      22 |  1784776 |  1685622 |     3878   1029 |       20 |       48
516.20/516.31	c  515s |      22 |  1791297 |  1691922 |     3878   1032 |       20 |       48
518.20/518.33	c  517s |      22 |  1798367 |  1698722 |     3878   1036 |       20 |       48
520.22/520.33	c  519s |      22 |  1805806 |  1705822 |     3878   1039 |       20 |       48
522.21/522.35	c  521s |      22 |  1811967 |  1711622 |     3878   1042 |       20 |       48
524.21/524.36	c  523s |      22 |  1818832 |  1717922 |     3878   1045 |       20 |       48
526.21/526.38	c  525s |      22 |  1825796 |  1724222 |     3878   1048 |       20 |       48
528.31/528.40	c  527s |      22 |  1833383 |  1731522 |     3878   1051 |       20 |       48
530.31/530.42	c  529s |      22 |  1840455 |  1738522 |     3878   1055 |       20 |       48
532.32/532.43	c  531s |      22 |  1847695 |  1745622 |     3878   1058 |       20 |       48
534.31/534.45	c  533s |      22 |  1854825 |  1752622 |     3878   1061 |       20 |       48
536.31/536.45	c  535s |      22 |  1862134 |  1759722 |     3878   1065 |       20 |       48
538.31/538.46	c  537s |      22 |  1869301 |  1766722 |     3878   1068 |       20 |       48
540.31/540.47	c  539s |      22 |  1876169 |  1773522 |     3878   1072 |       20 |       48
542.31/542.48	c  541s |      22 |  1883475 |  1780722 |     3878   1075 |       20 |       48
544.41/544.51	c  543s |      22 |  1890899 |  1788022 |     3878   1078 |       20 |       48
546.41/546.52	c  545s |      22 |  1897980 |  1795022 |     3878   1082 |       20 |       48
548.41/548.54	c  547s |      22 |  1905180 |  1802122 |     3878   1085 |       20 |       48
550.41/550.57	c  549s |      22 |  1912245 |  1809022 |     3878   1089 |       20 |       48
552.40/552.58	c  551s |      22 |  1919657 |  1816222 |     3878   1092 |       20 |       48
554.50/554.60	c  553s |      22 |  1926879 |  1823322 |     3878   1095 |       20 |       48
556.51/556.61	c  555s |      22 |  1933922 |  1830222 |     3878   1099 |       20 |       48
558.50/558.62	c  557s |      22 |  1940724 |  1836922 |     3878   1102 |       20 |       48
560.50/560.64	c  559s |      22 |  1947783 |  1843822 |     3878   1105 |       20 |       48
562.50/562.66	c  561s |      22 |  1954549 |  1850322 |     3878   1109 |       20 |       48
564.50/564.67	c  563s |      22 |  1961217 |  1856822 |     3878   1112 |       20 |       48
566.50/566.68	c  565s |      22 |  1967364 |  1862822 |     3878   1115 |       20 |       48
568.50/568.69	c  567s |      22 |  1973865 |  1869122 |     3878   1118 |       20 |       48
570.60/570.72	c  570s |      22 |  1980173 |  1875222 |     3878   1120 |       20 |       48
572.60/572.74	c  572s |      22 |  1986919 |  1881722 |     3878   1124 |       20 |       48
574.60/574.74	c  574s |      22 |  1993773 |  1888222 |     3878   1127 |       20 |       48
576.60/576.76	c  576s |      22 |  2000684 |  1894522 |     3878   1130 |       20 |       48
578.60/578.79	c  578s |      22 |  2007364 |  1900622 |     3878   1133 |       20 |       48
580.70/580.81	c  580s |      22 |  2014544 |  1907322 |     3878   1136 |       20 |       48
582.69/582.85	c  582s |      22 |  2021549 |  1913822 |     3878   1139 |       20 |       48
584.69/584.89	c  584s |      22 |  2027856 |  1919522 |     3878   1142 |       20 |       48
586.79/586.91	c  586s |      22 |  2033611 |  1924922 |     3878   1144 |       20 |       48
588.79/588.93	c  588s |      22 |  2039323 |  1930222 |     3878   1147 |       20 |       48
590.79/590.94	c  590s |      22 |  2045689 |  1936322 |     3878   1150 |       20 |       48
592.80/592.94	c  592s |      22 |  2052689 |  1942822 |     3878   1153 |       20 |       48
594.80/594.96	c  594s |      22 |  2059092 |  1949022 |     3878   1156 |       20 |       48
596.80/596.97	c  596s |      22 |  2065714 |  1955022 |     3878   1159 |       20 |       48
598.90/599.00	c  598s |      22 |  2072142 |  1960922 |     3878   1162 |       20 |       48
600.90/601.03	c  600s |      22 |  2078267 |  1966622 |     3878   1164 |       20 |       48
602.90/603.06	c  602s |      22 |  2084154 |  1972222 |     3878   1167 |       20 |       48
604.90/605.08	c  604s |      22 |  2090857 |  1978522 |     3878   1170 |       20 |       48
606.89/607.09	c  606s |      22 |  2097602 |  1984822 |     3878   1173 |       20 |       48
608.89/609.10	c  608s |      22 |  2103840 |  1990722 |     3878   1176 |       20 |       48
610.99/611.14	c  610s |      22 |  2110612 |  1996922 |     3878   1179 |       20 |       48
612.99/613.14	c  612s |      22 |  2116182 |  2002122 |     3878   1182 |       20 |       48
614.99/615.14	c  614s |      22 |  2121624 |  2007322 |     3878   1184 |       20 |       48
617.00/617.17	c  616s |      22 |  2127518 |  2012922 |     3878   1187 |       20 |       48
618.99/619.17	c  618s |      22 |  2133929 |  2018822 |     3878   1190 |       20 |       48
620.99/621.18	c  620s |      22 |  2140225 |  2024622 |     3878   1192 |       20 |       48
623.09/623.21	c  622s |      22 |  2147294 |  2031122 |     3878   1196 |       20 |       48
625.09/625.23	c  624s |      22 |  2153908 |  2037022 |     3878   1198 |       20 |       48
627.09/627.25	c  626s |      22 |  2160003 |  2042722 |     3878   1201 |       20 |       48
629.09/629.26	c  628s |      22 |  2166085 |  2048322 |     3878   1204 |       20 |       48
631.19/631.31	c  630s |      22 |  2171847 |  2053822 |     3878   1207 |       20 |       48
633.19/633.34	c  632s |      22 |  2177763 |  2059522 |     3878   1209 |       20 |       48
635.19/635.36	c  634s |      22 |  2183574 |  2065122 |     3878   1212 |       20 |       48
637.19/637.38	c  636s |      22 |  2189667 |  2070922 |     3878   1215 |       20 |       48
639.29/639.40	c  638s |      22 |  2195361 |  2076422 |     3878   1217 |       20 |       48
641.30/641.44	c  640s |      22 |  2201667 |  2082422 |     3878   1220 |       20 |       48
643.29/643.44	c  642s |      22 |  2207565 |  2088122 |     3878   1223 |       20 |       48
645.29/645.46	c  644s |      22 |  2214519 |  2094822 |     3878   1226 |       20 |       48
647.39/647.50	c  646s |      22 |  2221124 |  2101022 |     3878   1229 |       20 |       48
649.39/649.52	c  648s |      22 |  2227930 |  2107522 |     3878   1232 |       20 |       48
651.39/651.55	c  650s |      22 |  2234876 |  2114022 |     3878   1236 |       20 |       48
653.40/653.55	c  652s |      22 |  2241480 |  2120322 |     3878   1239 |       20 |       48
655.39/655.56	c  654s |      22 |  2248179 |  2126622 |     3878   1242 |       20 |       48
657.39/657.58	c  656s |      22 |  2255164 |  2133322 |     3878   1245 |       20 |       48
659.39/659.60	c  658s |      22 |  2261917 |  2139922 |     3878   1248 |       20 |       48
661.49/661.60	c  660s |      22 |  2268877 |  2146522 |     3878   1251 |       20 |       48
663.49/663.63	c  662s |      22 |  2275178 |  2152322 |     3878   1254 |       20 |       48
665.50/665.65	c  664s |      22 |  2281087 |  2157822 |     3878   1257 |       20 |       48
667.49/667.65	c  666s |      22 |  2287446 |  2163522 |     3878   1259 |       20 |       48
669.49/669.67	c  668s |      22 |  2293762 |  2169522 |     3878   1262 |       20 |       48
671.49/671.67	c  670s |      22 |  2300407 |  2175722 |     3878   1265 |       20 |       48
673.49/673.69	c  672s |      22 |  2306878 |  2181822 |     3878   1268 |       20 |       48
675.59/675.71	c  675s |      22 |  2313985 |  2188522 |     3878   1271 |       20 |       48
677.59/677.73	c  677s |      22 |  2320178 |  2194422 |     3878   1274 |       20 |       48
679.59/679.74	c  679s |      22 |  2327118 |  2201122 |     3878   1277 |       20 |       48
681.59/681.75	c  681s |      22 |  2333758 |  2207322 |     3878   1280 |       20 |       48
683.59/683.76	c  683s |      22 |  2340412 |  2213622 |     3878   1283 |       20 |       48
685.59/685.78	c  685s |      22 |  2347302 |  2220222 |     3878   1287 |       20 |       48
687.68/687.82	c  687s |      22 |  2353809 |  2226322 |     3878   1290 |       20 |       48
689.69/689.85	c  689s |      22 |  2360220 |  2232322 |     3878   1292 |       20 |       48
691.68/691.87	c  691s |      22 |  2366328 |  2238022 |     4266   1295 |       20 |       48
693.78/693.90	c  693s |      22 |  2372400 |  2243722 |     4266   1297 |       20 |       48
695.78/695.94	c  695s |      22 |  2378732 |  2249722 |     4266   1300 |       20 |       48
696.29/696.45	c  695s |      23 |  2380174 |  2251038 |     4266   1301 |       20 |       48
698.28/698.48	c  697s |      23 |  2386733 |  2257138 |     4266   1303 |       20 |       48
700.28/700.49	c  699s |      23 |  2393606 |  2263038 |     4266   1306 |       20 |       48
702.38/702.52	c  701s |      23 |  2400024 |  2269038 |     4266   1309 |       20 |       48
704.38/704.54	c  703s |      23 |  2405813 |  2274438 |     4266   1311 |       20 |       48
706.38/706.56	c  705s |      23 |  2411569 |  2279938 |     4266   1313 |       20 |       48
708.39/708.58	c  707s |      23 |  2418575 |  2286738 |     4266   1316 |       20 |       48
710.49/710.62	c  709s |      23 |  2424401 |  2292238 |     4266   1319 |       20 |       48
712.48/712.64	c  711s |      23 |  2430175 |  2297638 |     4266   1321 |       20 |       48
714.48/714.65	c  713s |      23 |  2436773 |  2303938 |     4266   1324 |       20 |       48
716.48/716.67	c  715s |      23 |  2443628 |  2310538 |     4266   1327 |       20 |       48
718.48/718.68	c  717s |      23 |  2449826 |  2316538 |     4266   1330 |       20 |       48
720.49/720.68	c  719s |      23 |  2456359 |  2322738 |     4266   1333 |       20 |       48
722.48/722.69	c  721s |      23 |  2462894 |  2329038 |     4266   1335 |       20 |       48
724.58/724.72	c  724s |      23 |  2468840 |  2334838 |     4266   1338 |       20 |       48
726.58/726.73	c  726s |      23 |  2475556 |  2341138 |     4266   1341 |       20 |       48
728.58/728.73	c  728s |      23 |  2482031 |  2347038 |     4266   1343 |       20 |       48
730.58/730.76	c  730s |      23 |  2488507 |  2352938 |     4266   1346 |       20 |       48
732.58/732.77	c  732s |      23 |  2495519 |  2359538 |     4266   1349 |       20 |       48
734.57/734.78	c  734s |      23 |  2501376 |  2365138 |     4266   1351 |       20 |       48
736.67/736.80	c  736s |      23 |  2508354 |  2371738 |     4266   1354 |       20 |       48
738.67/738.82	c  738s |      23 |  2514973 |  2377938 |     4266   1357 |       20 |       48
740.67/740.85	c  740s |      23 |  2521776 |  2384438 |     4266   1360 |       20 |       48
742.67/742.86	c  742s |      23 |  2528190 |  2390538 |     4266   1363 |       20 |       48
744.68/744.86	c  744s |      23 |  2534055 |  2396038 |     4266   1365 |       20 |       48
746.67/746.89	c  746s |      23 |  2540505 |  2402138 |     4266   1368 |       20 |       48
748.77/748.91	c  748s |      23 |  2546942 |  2408338 |     4266   1371 |       20 |       48
750.77/750.92	c  750s |      23 |  2553078 |  2414138 |     4266   1373 |       20 |       48
752.77/752.92	c  752s |      23 |  2560176 |  2420538 |     4266   1376 |       20 |       48
754.77/754.94	c  754s |      23 |  2567239 |  2427238 |     4266   1379 |       20 |       48
756.77/756.96	c  756s |      23 |  2574082 |  2433838 |     4266   1382 |       20 |       48
758.77/758.97	c  758s |      23 |  2581532 |  2440838 |     4266   1385 |       20 |       48
760.77/761.00	c  760s |      23 |  2588332 |  2447238 |     4266   1388 |       20 |       48
762.87/763.02	c  762s |      23 |  2595190 |  2453838 |     4266   1391 |       20 |       48
764.87/765.03	c  764s |      23 |  2601361 |  2459738 |     4266   1394 |       20 |       48
766.87/767.05	c  766s |      23 |  2608199 |  2466138 |     4266   1397 |       20 |       48
768.87/769.06	c  768s |      23 |  2615035 |  2472638 |     4266   1399 |       20 |       48
770.97/771.12	c  770s |      23 |  2622420 |  2479538 |     4266   1403 |       20 |       48
772.96/773.14	c  772s |      23 |  2628987 |  2485638 |     4266   1405 |       20 |       48
774.96/775.14	c  774s |      23 |  2635739 |  2491938 |     4266   1408 |       20 |       48
776.97/777.15	c  776s |      23 |  2642367 |  2498038 |     4266   1411 |       20 |       48
778.97/779.16	c  778s |      23 |  2649062 |  2504338 |     4266   1414 |       20 |       48
780.98/781.19	c  780s |      23 |  2655865 |  2510738 |     4266   1416 |       20 |       48
783.08/783.21	c  782s |      23 |  2662927 |  2517338 |     4266   1419 |       20 |       48
785.07/785.23	c  784s |      23 |  2670029 |  2524138 |     4266   1422 |       20 |       48
787.07/787.26	c  786s |      23 |  2677217 |  2530938 |     4266   1426 |       20 |       48
789.07/789.27	c  788s |      23 |  2683722 |  2537038 |     4266   1428 |       20 |       48
791.07/791.28	c  790s |      23 |  2691101 |  2544038 |     4266   1431 |       20 |       48
793.17/793.30	c  792s |      23 |  2698618 |  2551138 |     4266   1435 |       20 |       48
795.18/795.32	c  794s |      23 |  2705227 |  2557338 |     4266   1437 |       20 |       48
797.17/797.34	c  796s |      23 |  2712454 |  2563938 |     4266   1440 |       20 |       48
799.17/799.35	c  798s |      23 |  2719794 |  2570938 |     4266   1443 |       20 |       48
801.17/801.38	c  800s |      23 |  2727051 |  2577838 |     4266   1447 |       20 |       48
803.27/803.41	c  802s |      23 |  2734177 |  2584638 |     4266   1450 |       20 |       48
805.27/805.43	c  804s |      23 |  2740500 |  2590738 |     4266   1452 |       20 |       48
807.27/807.43	c  806s |      23 |  2747152 |  2596838 |     4266   1455 |       20 |       48
809.27/809.44	c  808s |      23 |  2754078 |  2603538 |     4266   1458 |       20 |       48
811.26/811.45	c  810s |      23 |  2761349 |  2610438 |     4266   1461 |       20 |       48
813.26/813.47	c  812s |      23 |  2768038 |  2616838 |     4266   1464 |       20 |       48
815.26/815.48	c  814s |      23 |  2775244 |  2623838 |     4266   1467 |       20 |       48
817.27/817.49	c  816s |      23 |  2782216 |  2630438 |     4266   1470 |       20 |       48
819.37/819.51	c  818s |      23 |  2788959 |  2636738 |     4266   1473 |       20 |       48
821.36/821.52	c  820s |      23 |  2795813 |  2643238 |     4266   1476 |       20 |       48
823.36/823.53	c  822s |      23 |  2802547 |  2649638 |     4266   1479 |       20 |       48
825.36/825.56	c  824s |      23 |  2809480 |  2656138 |     4266   1482 |       20 |       48
827.36/827.56	c  826s |      23 |  2816781 |  2663138 |     4266   1485 |       20 |       48
829.37/829.58	c  828s |      23 |  2823023 |  2669238 |     4266   1487 |       20 |       48
831.47/831.61	c  830s |      23 |  2829034 |  2675138 |     4266   1490 |       20 |       48
833.46/833.61	c  832s |      23 |  2835647 |  2681638 |     4266   1493 |       20 |       48
835.46/835.63	c  834s |      23 |  2843241 |  2688738 |     4266   1496 |       20 |       48
837.46/837.65	c  836s |      23 |  2850078 |  2695138 |     4266   1499 |       20 |       48
839.46/839.66	c  838s |      23 |  2856624 |  2701338 |     4266   1502 |       20 |       48
841.46/841.67	c  840s |      23 |  2863513 |  2707938 |     4266   1505 |       20 |       48
843.46/843.67	c  842s |      23 |  2870140 |  2714238 |     4266   1507 |       20 |       48
845.56/845.71	c  845s |      23 |  2876361 |  2720138 |     4266   1510 |       20 |       48
847.56/847.74	c  847s |      23 |  2882973 |  2726438 |     4266   1513 |       20 |       48
849.56/849.76	c  849s |      23 |  2889260 |  2732438 |     4266   1515 |       20 |       48
851.56/851.77	c  851s |      23 |  2895485 |  2738438 |     4266   1518 |       20 |       48
853.56/853.78	c  853s |      23 |  2902147 |  2744738 |     4266   1521 |       20 |       48
855.56/855.78	c  855s |      23 |  2908111 |  2750138 |     4266   1523 |       20 |       48
857.65/857.83	c  857s |      23 |  2915383 |  2757138 |     4266   1527 |       20 |       48
859.65/859.84	c  859s |      23 |  2922412 |  2763838 |     4266   1530 |       20 |       48
861.65/861.86	c  861s |      23 |  2929892 |  2771038 |     4266   1533 |       20 |       48
863.65/863.88	c  863s |      23 |  2936781 |  2777638 |     4266   1536 |       20 |       48
865.66/865.89	c  865s |      23 |  2943528 |  2784038 |     4266   1539 |       20 |       48
867.65/867.89	c  867s |      23 |  2951376 |  2791638 |     4266   1542 |       20 |       48
869.75/869.90	c  869s |      23 |  2957482 |  2797638 |     4266   1544 |       20 |       48
871.75/871.90	c  871s |      23 |  2963300 |  2803338 |     4266   1547 |       20 |       48
873.75/873.92	c  873s |      23 |  2969624 |  2809538 |     4266   1550 |       20 |       48
875.75/875.93	c  875s |      23 |  2976169 |  2815938 |     4266   1552 |       20 |       48
877.76/877.94	c  877s |      23 |  2982077 |  2821738 |     4266   1555 |       20 |       48
879.75/879.95	c  879s |      23 |  2989041 |  2828538 |     4266   1558 |       20 |       48
881.75/881.99	c  881s |      23 |  2995568 |  2834938 |     4266   1561 |       20 |       48
883.85/884.00	c  883s |      23 |  3002747 |  2841938 |     4266   1564 |       20 |       48
885.85/886.00	c  885s |      23 |  3008964 |  2848038 |     4266   1567 |       20 |       48
887.85/888.02	c  887s |      23 |  3014972 |  2853938 |     4266   1569 |       20 |       48
889.85/890.05	c  889s |      23 |  3021833 |  2860638 |     4266   1572 |       20 |       48
891.86/892.06	c  891s |      23 |  3029222 |  2867738 |     4266   1575 |       20 |       48
893.85/894.09	c  893s |      23 |  3035609 |  2874038 |     4266   1578 |       20 |       48
895.95/896.10	c  895s |      23 |  3042424 |  2880638 |     4266   1581 |       20 |       48
897.95/898.12	c  897s |      23 |  3048859 |  2886938 |     4266   1584 |       20 |       48
899.95/900.13	c  899s |      23 |  3055350 |  2893338 |     4266   1587 |       20 |       48
901.96/902.14	c  901s |      23 |  3062647 |  2900338 |     4266   1590 |       20 |       48
903.95/904.16	c  903s |      23 |  3069422 |  2907038 |     4266   1593 |       20 |       48
905.95/906.17	c  905s |      23 |  3075695 |  2913238 |     4266   1595 |       20 |       48
908.05/908.21	c  907s |      23 |  3082293 |  2919738 |     4266   1598 |       20 |       48
910.05/910.22	c  909s |      23 |  3088488 |  2925838 |     4266   1601 |       20 |       48
912.05/912.23	c  911s |      23 |  3094856 |  2932138 |     4266   1604 |       20 |       48
914.06/914.24	c  913s |      23 |  3101155 |  2938338 |     4266   1606 |       20 |       48
916.05/916.24	c  915s |      23 |  3107561 |  2944638 |     4266   1609 |       20 |       48
918.05/918.25	c  917s |      23 |  3113658 |  2950638 |     4266   1612 |       20 |       48
920.05/920.27	c  919s |      23 |  3120507 |  2957338 |     4266   1615 |       20 |       48
922.05/922.27	c  921s |      23 |  3127192 |  2963938 |     4266   1618 |       20 |       48
924.15/924.31	c  923s |      23 |  3133346 |  2970038 |     4266   1620 |       20 |       48
926.15/926.33	c  925s |      23 |  3140237 |  2976738 |     4266   1623 |       20 |       48
928.14/928.35	c  927s |      23 |  3146931 |  2983338 |     4266   1626 |       20 |       48
930.14/930.36	c  929s |      23 |  3153714 |  2989938 |     4266   1629 |       20 |       48
932.14/932.38	c  931s |      23 |  3160455 |  2996538 |     4266   1632 |       20 |       48
934.14/934.39	c  933s |      23 |  3166829 |  3002838 |     4266   1635 |       20 |       48
936.24/936.42	c  935s |      23 |  3173693 |  3009538 |     4266   1638 |       20 |       48
938.25/938.45	c  937s |      23 |  3180591 |  3016238 |     4266   1640 |       20 |       48
940.24/940.46	c  939s |      23 |  3187023 |  3022538 |     4266   1643 |       20 |       48
942.24/942.49	c  941s |      23 |  3193476 |  3028838 |     4266   1646 |       20 |       48
944.24/944.49	c  943s |      23 |  3199805 |  3035038 |     4266   1649 |       20 |       48
946.34/946.50	c  945s |      23 |  3207144 |  3042138 |     4266   1652 |       20 |       48
948.34/948.51	c  947s |      23 |  3214169 |  3049038 |     4266   1655 |       20 |       48
950.35/950.53	c  949s |      23 |  3221143 |  3055838 |     4266   1658 |       20 |       48
952.34/952.54	c  951s |      23 |  3228135 |  3062738 |     4266   1661 |       20 |       48
954.34/954.55	c  953s |      23 |  3235005 |  3069438 |     4266   1664 |       20 |       48
956.34/956.56	c  955s |      23 |  3242835 |  3076838 |     4266   1667 |       20 |       48
958.34/958.58	c  957s |      23 |  3248570 |  3081438 |     4266   1669 |       20 |       48
960.44/960.60	c  959s |      23 |  3255309 |  3087638 |     4266   1672 |       20 |       48
962.45/962.63	c  961s |      23 |  3261631 |  3093438 |     4266   1675 |       20 |       48
964.44/964.64	c  963s |      23 |  3268276 |  3099638 |     4266   1677 |       20 |       48
966.44/966.68	c  965s |      23 |  3274394 |  3105238 |     4266   1680 |       20 |       48
968.44/968.70	c  968s |      23 |  3280260 |  3110638 |     4266   1682 |       20 |       48
970.54/970.72	c  970s |      23 |  3286302 |  3116438 |     4266   1685 |       20 |       48
972.54/972.74	c  972s |      23 |  3292782 |  3122138 |     4266   1687 |       20 |       48
974.54/974.75	c  974s |      23 |  3298896 |  3127938 |     4266   1690 |       20 |       48
976.54/976.76	c  976s |      23 |  3305939 |  3134638 |     4266   1693 |       20 |       48
978.54/978.77	c  978s |      23 |  3311980 |  3140438 |     4266   1695 |       20 |       48
980.63/980.82	c  980s |      23 |  3318117 |  3146238 |     4266   1698 |       20 |       48
982.63/982.84	c  982s |      23 |  3324378 |  3152238 |     4266   1700 |       20 |       48
984.63/984.84	c  984s |      23 |  3329947 |  3157338 |     4266   1703 |       20 |       48
986.64/986.86	c  986s |      23 |  3336295 |  3163538 |     4266   1705 |       20 |       48
988.63/988.89	c  988s |      23 |  3342439 |  3169338 |     4266   1708 |       20 |       48
990.73/990.91	c  990s |      23 |  3348153 |  3174838 |     4266   1710 |       20 |       48
992.73/992.94	c  992s |      23 |  3354570 |  3180638 |     4266   1713 |       20 |       48
994.73/994.96	c  994s |      23 |  3360368 |  3186238 |     4266   1715 |       20 |       48
996.73/996.99	c  996s |      23 |  3366377 |  3192038 |     4266   1718 |       20 |       48
998.83/999.00	c  998s |      23 |  3372405 |  3197738 |     4266   1720 |       20 |       48
1000.84/1001.01	c 1000s |      23 |  3378478 |  3203538 |     4266   1723 |       20 |       48
1002.83/1003.03	c 1002s |      23 |  3383941 |  3208838 |     4266   1725 |       20 |       48
1004.83/1005.05	c 1004s |      23 |  3390143 |  3214738 |     4266   1728 |       20 |       48
1006.83/1007.09	c 1006s |      23 |  3396135 |  3220338 |     4266   1730 |       20 |       48
1008.93/1009.10	c 1008s |      23 |  3402389 |  3226238 |     4266   1733 |       20 |       48
1010.93/1011.10	c 1010s |      23 |  3408101 |  3231638 |     4266   1735 |       20 |       48
1012.94/1013.14	c 1012s |      23 |  3414526 |  3237538 |     4266   1738 |       20 |       48
1014.93/1015.14	c 1014s |      23 |  3420503 |  3243338 |     4266   1741 |       20 |       48
1016.93/1017.14	c 1016s |      23 |  3427224 |  3249738 |     4266   1743 |       20 |       48
1018.93/1019.17	c 1018s |      23 |  3433500 |  3255738 |     4266   1746 |       20 |       48
1020.93/1021.19	c 1020s |      23 |  3440146 |  3262038 |     4266   1749 |       20 |       48
1023.03/1023.22	c 1022s |      23 |  3446354 |  3268038 |     4266   1751 |       20 |       48
1025.03/1025.22	c 1024s |      23 |  3452007 |  3273438 |     4266   1754 |       20 |       48
1027.02/1027.24	c 1026s |      23 |  3458029 |  3279238 |     4266   1756 |       20 |       48
1029.03/1029.27	c 1028s |      23 |  3464071 |  3284838 |     4266   1759 |       20 |       48
1031.03/1031.28	c 1030s |      23 |  3470358 |  3290838 |     4266   1762 |       20 |       48
1033.13/1033.31	c 1032s |      23 |  3476091 |  3296238 |     4266   1764 |       20 |       48
1035.13/1035.34	c 1034s |      23 |  3482323 |  3302138 |     4266   1766 |       20 |       48
1037.13/1037.36	c 1036s |      23 |  3489459 |  3309038 |     4266   1769 |       20 |       48
1039.13/1039.38	c 1038s |      23 |  3496298 |  3315538 |     4266   1772 |       20 |       48
1041.12/1041.39	c 1040s |      23 |  3503240 |  3322238 |     4266   1775 |       20 |       48
1043.22/1043.43	c 1042s |      23 |  3509175 |  3327938 |     4266   1778 |       20 |       48
1045.22/1045.45	c 1044s |      23 |  3515718 |  3334338 |     4266   1781 |       20 |       48
1047.22/1047.49	c 1046s |      23 |  3521619 |  3339838 |     4266   1783 |       20 |       48
1049.23/1049.49	c 1048s |      23 |  3527196 |  3345138 |     4266   1785 |       20 |       48
1051.32/1051.52	c 1050s |      23 |  3533366 |  3350938 |     4693   1788 |       20 |       48
1053.32/1053.53	c 1052s |      23 |  3539323 |  3356538 |     4693   1790 |       20 |       48
1055.32/1055.56	c 1054s |      23 |  3545213 |  3362038 |     4693   1792 |       20 |       48
1057.32/1057.57	c 1056s |      23 |  3550855 |  3367238 |     4693   1794 |       20 |       48
1059.42/1059.60	c 1058s |      23 |  3557420 |  3373538 |     4693   1797 |       20 |       48
1060.41/1060.61	c 1059s |      24 |  3560730 |  3376662 |     4693   1798 |       20 |       48
1062.42/1062.63	c 1061s |      24 |  3567616 |  3383162 |     4693   1801 |       20 |       48
1064.41/1064.65	c 1063s |      24 |  3572597 |  3388062 |     4693   1803 |       20 |       48
1066.41/1066.66	c 1065s |      24 |  3578656 |  3393862 |     4693   1805 |       20 |       48
1068.41/1068.68	c 1067s |      24 |  3584190 |  3399262 |     4693   1807 |       20 |       48
1070.51/1070.71	c 1070s |      24 |  3589893 |  3404762 |     4693   1810 |       20 |       48
1072.51/1072.72	c 1072s |      24 |  3595345 |  3410062 |     4693   1812 |       20 |       48
1074.51/1074.73	c 1074s |      24 |  3600955 |  3415562 |     4693   1814 |       20 |       48
1076.50/1076.76	c 1076s |      24 |  3606859 |  3421262 |     4693   1816 |       20 |       48
1078.60/1078.80	c 1078s |      24 |  3612616 |  3426762 |     4693   1818 |       20 |       48
1080.60/1080.81	c 1080s |      24 |  3618588 |  3432462 |     4693   1821 |       20 |       48
1082.60/1082.82	c 1082s |      24 |  3624284 |  3437862 |     4693   1823 |       20 |       48
1084.60/1084.85	c 1084s |      24 |  3630933 |  3444062 |     4693   1825 |       20 |       48
1086.60/1086.86	c 1086s |      24 |  3636878 |  3449862 |     4693   1828 |       20 |       48
1088.60/1088.87	c 1088s |      24 |  3642830 |  3455562 |     4693   1830 |       20 |       48
1090.59/1090.89	c 1090s |      24 |  3648825 |  3461362 |     4693   1832 |       20 |       48
1092.69/1092.91	c 1092s |      24 |  3654740 |  3466962 |     4693   1835 |       20 |       48
1094.69/1094.91	c 1094s |      24 |  3660742 |  3472762 |     4693   1837 |       20 |       48
1096.69/1096.93	c 1096s |      24 |  3666289 |  3478162 |     4693   1839 |       20 |       48
1098.70/1098.93	c 1098s |      24 |  3671820 |  3483462 |     4693   1841 |       20 |       48
1100.69/1100.94	c 1100s |      24 |  3676787 |  3488162 |     4693   1843 |       20 |       48
1102.69/1102.95	c 1102s |      24 |  3682520 |  3493762 |     4693   1845 |       20 |       48
1104.70/1104.98	c 1104s |      24 |  3687951 |  3498962 |     4693   1847 |       20 |       48
1106.69/1107.00	c 1106s |      24 |  3693801 |  3504462 |     4693   1850 |       20 |       48
1108.79/1109.01	c 1108s |      24 |  3699697 |  3510062 |     4693   1852 |       20 |       48
1110.80/1111.02	c 1110s |      24 |  3705628 |  3515762 |     4693   1854 |       20 |       48
1112.79/1113.09	c 1112s |      24 |  3711717 |  3521662 |     4693   1857 |       20 |       48
1114.89/1115.10	c 1114s |      24 |  3717282 |  3526962 |     4693   1859 |       20 |       48
1116.89/1117.11	c 1116s |      24 |  3722943 |  3532462 |     4693   1861 |       20 |       48
1118.88/1119.14	c 1118s |      24 |  3728479 |  3537862 |     4693   1863 |       20 |       48
1120.88/1121.15	c 1120s |      24 |  3733893 |  3543162 |     4693   1865 |       20 |       48
1122.89/1123.16	c 1122s |      24 |  3739838 |  3548862 |     4693   1867 |       20 |       48
1124.88/1125.16	c 1124s |      24 |  3745667 |  3554562 |     4693   1870 |       20 |       48
1126.88/1127.19	c 1126s |      24 |  3750797 |  3559562 |     4693   1872 |       20 |       48
1128.98/1129.22	c 1128s |      24 |  3756502 |  3565062 |     4693   1874 |       20 |       48
1130.98/1131.24	c 1130s |      24 |  3762599 |  3570862 |     4693   1876 |       20 |       48
1132.98/1133.25	c 1132s |      24 |  3768444 |  3576562 |     4693   1879 |       20 |       48
1134.98/1135.28	c 1134s |      24 |  3773985 |  3581962 |     4693   1881 |       20 |       48
1136.97/1137.29	c 1136s |      24 |  3779644 |  3587462 |     4693   1883 |       20 |       48
1139.07/1139.34	c 1138s |      24 |  3785964 |  3593562 |     4693   1886 |       20 |       48
1141.07/1141.35	c 1140s |      24 |  3792220 |  3599662 |     4693   1888 |       20 |       48
1143.07/1143.39	c 1142s |      24 |  3798622 |  3605762 |     4693   1890 |       20 |       48
1145.06/1145.39	c 1144s |      24 |  3803964 |  3610962 |     4693   1893 |       20 |       48
1147.17/1147.42	c 1146s |      24 |  3809887 |  3616662 |     4693   1895 |       20 |       48
1149.16/1149.44	c 1148s |      24 |  3815793 |  3622362 |     4693   1897 |       20 |       48
1151.16/1151.45	c 1150s |      24 |  3821723 |  3628062 |     4693   1899 |       20 |       48
1153.16/1153.46	c 1152s |      24 |  3828687 |  3634762 |     4693   1902 |       20 |       48
1155.16/1155.47	c 1154s |      24 |  3834832 |  3640562 |     4693   1904 |       20 |       48
1157.16/1157.48	c 1156s |      24 |  3841049 |  3646462 |     4693   1907 |       20 |       48
1159.16/1159.48	c 1158s |      24 |  3846487 |  3651762 |     4693   1909 |       20 |       48
1161.26/1161.50	c 1160s |      24 |  3852384 |  3657462 |     4693   1911 |       20 |       48
1163.26/1163.53	c 1162s |      24 |  3858380 |  3663262 |     4693   1914 |       20 |       48
1165.25/1165.55	c 1164s |      24 |  3864848 |  3669462 |     4693   1916 |       20 |       48
1167.25/1167.58	c 1166s |      24 |  3871448 |  3675762 |     4693   1919 |       20 |       48
1169.25/1169.59	c 1168s |      24 |  3878486 |  3682462 |     4693   1921 |       20 |       48
1171.26/1171.59	c 1170s |      24 |  3885092 |  3688662 |     4693   1924 |       20 |       48
1173.35/1173.61	c 1172s |      24 |  3891645 |  3694662 |     4693   1926 |       20 |       48
1175.35/1175.61	c 1174s |      24 |  3898093 |  3700762 |     4693   1929 |       20 |       48
1177.35/1177.63	c 1176s |      24 |  3904408 |  3706662 |     4693   1931 |       20 |       48
1179.35/1179.63	c 1178s |      24 |  3910844 |  3712662 |     4693   1933 |       20 |       48
1181.36/1181.63	c 1180s |      24 |  3917339 |  3718762 |     4693   1936 |       20 |       48
1183.36/1183.65	c 1182s |      24 |  3924026 |  3725062 |     4693   1938 |       20 |       48
1185.35/1185.67	c 1184s |      24 |  3930207 |  3730862 |     4693   1941 |       20 |       48
1187.45/1187.70	c 1187s |      24 |  3936773 |  3737062 |     4693   1943 |       20 |       48
1189.45/1189.72	c 1189s |      24 |  3943086 |  3742962 |     4693   1946 |       20 |       48
1191.45/1191.74	c 1191s |      24 |  3949331 |  3748762 |     4693   1948 |       20 |       48
1193.45/1193.76	c 1193s |      24 |  3955873 |  3754762 |     4693   1950 |       20 |       48
1195.45/1195.77	c 1195s |      24 |  3962760 |  3761362 |     4693   1953 |       20 |       48
1197.44/1197.78	c 1197s |      24 |  3968817 |  3767262 |     4693   1955 |       20 |       48
1199.44/1199.78	c 1199s |      24 |  3974772 |  3773062 |     4693   1958 |       20 |       48
1201.44/1201.78	c 1201s |      24 |  3979906 |  3778062 |     4693   1960 |       20 |       48
1203.54/1203.80	c 1203s |      24 |  3986416 |  3784262 |     4693   1962 |       20 |       48
1205.54/1205.81	c 1205s |      24 |  3992216 |  3789762 |     4693   1964 |       20 |       48
1207.54/1207.83	c 1207s |      24 |  3998956 |  3796162 |     4693   1967 |       20 |       48
1209.54/1209.84	c 1209s |      24 |  4005518 |  3802362 |     4693   1969 |       20 |       48
1211.53/1211.88	c 1211s |      24 |  4011744 |  3808162 |     4693   1972 |       20 |       48
1213.53/1213.88	c 1213s |      24 |  4017553 |  3813562 |     4693   1974 |       20 |       48
1215.63/1215.92	c 1215s |      24 |  4024375 |  3820062 |     4693   1977 |       20 |       48
1217.63/1217.95	c 1217s |      24 |  4030451 |  3825662 |     4693   1979 |       20 |       48
1219.63/1219.98	c 1219s |      24 |  4036872 |  3831662 |     4693   1981 |       20 |       48
1221.63/1221.98	c 1221s |      24 |  4042850 |  3837262 |     4693   1984 |       20 |       48
1223.73/1224.01	c 1223s |      24 |  4048905 |  3842962 |     4693   1986 |       20 |       48
1225.73/1226.02	c 1225s |      24 |  4054727 |  3848462 |     4693   1988 |       20 |       48
1227.73/1228.03	c 1227s |      24 |  4060968 |  3854362 |     4693   1990 |       20 |       48
1229.73/1230.05	c 1229s |      24 |  4067094 |  3860162 |     4693   1993 |       20 |       48
1231.73/1232.08	c 1231s |      24 |  4072468 |  3865362 |     4693   1995 |       20 |       48
1233.73/1234.08	c 1233s |      24 |  4078719 |  3871362 |     4693   1997 |       20 |       48
1235.82/1236.11	c 1235s |      24 |  4085448 |  3877862 |     4693   2000 |       20 |       48
1237.82/1238.11	c 1237s |      24 |  4091603 |  3883662 |     4693   2002 |       20 |       48
1239.82/1240.12	c 1239s |      24 |  4097663 |  3889362 |     4693   2005 |       20 |       48
1241.82/1242.12	c 1241s |      24 |  4104310 |  3895462 |     4693   2007 |       20 |       48
1243.83/1244.14	c 1243s |      24 |  4109704 |  3900562 |     4693   2009 |       20 |       48
1245.81/1246.16	c 1245s |      24 |  4114912 |  3905562 |     4693   2011 |       20 |       48
1247.81/1248.17	c 1247s |      24 |  4120955 |  3911362 |     4693   2013 |       20 |       48
1249.91/1250.20	c 1249s |      24 |  4127260 |  3917562 |     4693   2016 |       20 |       48
1251.91/1252.22	c 1251s |      24 |  4133762 |  3923862 |     4693   2018 |       20 |       48
1253.91/1254.24	c 1253s |      24 |  4140171 |  3929862 |     4693   2021 |       20 |       48
1255.92/1256.27	c 1255s |      24 |  4145249 |  3934762 |     4693   2023 |       20 |       48
1257.91/1258.30	c 1257s |      24 |  4150485 |  3939862 |     4693   2025 |       20 |       48
1260.01/1260.33	c 1259s |      24 |  4155835 |  3945062 |     4693   2027 |       20 |       48
1262.01/1262.35	c 1261s |      24 |  4161327 |  3950362 |     4693   2029 |       20 |       48
1264.01/1264.39	c 1263s |      24 |  4167652 |  3956362 |     4693   2032 |       20 |       48
1266.10/1266.40	c 1265s |      24 |  4173690 |  3962162 |     4693   2034 |       20 |       48
1268.11/1268.43	c 1267s |      24 |  4179799 |  3968062 |     4693   2036 |       20 |       48
1270.10/1270.46	c 1269s |      24 |  4186179 |  3974262 |     4693   2039 |       20 |       48
1272.10/1272.48	c 1271s |      24 |  4192195 |  3979862 |     4693   2041 |       20 |       48
1274.20/1274.50	c 1273s |      24 |  4197977 |  3985462 |     4693   2043 |       20 |       48
1276.20/1276.53	c 1275s |      24 |  4203022 |  3990362 |     4693   2045 |       20 |       48
1278.20/1278.55	c 1277s |      24 |  4208480 |  3995662 |     4693   2047 |       20 |       48
1280.20/1280.57	c 1279s |      24 |  4214778 |  4001662 |     4693   2050 |       20 |       48
1282.20/1282.59	c 1281s |      24 |  4221276 |  4008062 |     4693   2052 |       20 |       48
1284.29/1284.60	c 1283s |      24 |  4228290 |  4014962 |     4693   2055 |       20 |       48
1286.29/1286.64	c 1285s |      24 |  4234674 |  4021262 |     4693   2058 |       20 |       48
1288.29/1288.66	c 1287s |      24 |  4241594 |  4028062 |     4693   2060 |       20 |       48
1290.29/1290.67	c 1289s |      24 |  4247711 |  4033962 |     4693   2063 |       20 |       48
1292.30/1292.69	c 1291s |      24 |  4254433 |  4040462 |     4693   2065 |       20 |       48
1294.29/1294.69	c 1293s |      24 |  4260827 |  4046662 |     4693   2068 |       20 |       48
1296.39/1296.70	c 1296s |      24 |  4267700 |  4053362 |     4693   2071 |       20 |       48
1298.39/1298.71	c 1298s |      24 |  4273349 |  4058862 |     4693   2073 |       20 |       48
1300.39/1300.72	c 1300s |      24 |  4279287 |  4064662 |     4693   2075 |       20 |       48
1302.39/1302.72	c 1302s |      24 |  4284819 |  4070062 |     4693   2077 |       20 |       48
1304.40/1304.74	c 1304s |      24 |  4290739 |  4075762 |     4693   2080 |       20 |       48
1306.39/1306.77	c 1306s |      24 |  4297079 |  4081962 |     4693   2082 |       20 |       48
1308.39/1308.79	c 1308s |      24 |  4303247 |  4087962 |     4693   2084 |       20 |       48
1310.38/1310.79	c 1310s |      24 |  4309403 |  4093862 |     4693   2087 |       20 |       48
1312.48/1312.81	c 1312s |      24 |  4315578 |  4099962 |     4693   2089 |       20 |       48
1314.48/1314.82	c 1314s |      24 |  4321797 |  4105962 |     4693   2092 |       20 |       48
1316.48/1316.82	c 1316s |      24 |  4328122 |  4112162 |     4693   2094 |       20 |       48
1318.47/1318.84	c 1318s |      24 |  4334947 |  4118762 |     4693   2097 |       20 |       48
1320.48/1320.86	c 1320s |      24 |  4340271 |  4123962 |     4693   2099 |       20 |       48
1322.48/1322.88	c 1322s |      24 |  4346731 |  4130062 |     4693   2101 |       20 |       48
1324.48/1324.88	c 1324s |      24 |  4353403 |  4136562 |     4693   2104 |       20 |       48
1326.48/1326.89	c 1326s |      24 |  4360508 |  4143462 |     4693   2107 |       20 |       48
1328.49/1328.89	c 1328s |      24 |  4366901 |  4149662 |     4693   2109 |       20 |       48
1330.58/1330.91	c 1330s |      24 |  4373832 |  4156462 |     4693   2112 |       20 |       48
1332.58/1332.93	c 1332s |      24 |  4380428 |  4162862 |     4693   2114 |       20 |       48
1334.58/1334.95	c 1334s |      24 |  4386826 |  4169162 |     4693   2117 |       20 |       48
1336.57/1336.98	c 1336s |      24 |  4393045 |  4175262 |     4693   2119 |       20 |       48
1338.57/1338.99	c 1338s |      24 |  4399469 |  4181562 |     4693   2122 |       20 |       48
1340.68/1341.02	c 1340s |      24 |  4404649 |  4186662 |     4693   2124 |       20 |       48
1342.67/1343.04	c 1342s |      24 |  4409617 |  4191562 |     4693   2126 |       20 |       48
1344.67/1345.07	c 1344s |      24 |  4415665 |  4197462 |     4693   2128 |       20 |       48
1346.67/1347.07	c 1346s |      24 |  4422011 |  4203562 |     4693   2131 |       20 |       48
1348.67/1349.08	c 1348s |      24 |  4428398 |  4209862 |     4693   2133 |       20 |       48
1350.66/1351.09	c 1350s |      24 |  4434140 |  4215362 |     4693   2136 |       20 |       48
1352.77/1353.13	c 1352s |      24 |  4440640 |  4221662 |     4693   2138 |       20 |       48
1354.76/1355.14	c 1354s |      24 |  4446152 |  4227062 |     4693   2140 |       20 |       48
1356.76/1357.15	c 1356s |      24 |  4453111 |  4233762 |     4693   2143 |       20 |       48
1358.76/1359.19	c 1358s |      24 |  4459935 |  4240362 |     4693   2146 |       20 |       48
1360.76/1361.19	c 1360s |      24 |  4466079 |  4246462 |     4693   2148 |       20 |       48
1362.76/1363.19	c 1362s |      24 |  4472526 |  4252762 |     4693   2151 |       20 |       48
1364.86/1365.24	c 1364s |      24 |  4479136 |  4259262 |     4693   2153 |       20 |       48
1366.85/1367.25	c 1366s |      24 |  4485561 |  4265462 |     4693   2156 |       20 |       48
1368.85/1369.27	c 1368s |      24 |  4491821 |  4271662 |     4693   2158 |       20 |       48
1370.85/1371.29	c 1370s |      24 |  4498269 |  4277962 |     4693   2161 |       20 |       48
1372.96/1373.32	c 1372s |      24 |  4505322 |  4284862 |     4693   2163 |       20 |       48
1374.96/1375.32	c 1374s |      24 |  4512198 |  4291562 |     4693   2166 |       20 |       48
1376.96/1377.35	c 1376s |      24 |  4518399 |  4297662 |     4693   2168 |       20 |       48
1378.95/1379.38	c 1378s |      24 |  4525066 |  4304162 |     4693   2171 |       20 |       48
1381.05/1381.42	c 1380s |      24 |  4531287 |  4310262 |     4693   2174 |       20 |       48
1383.05/1383.42	c 1382s |      24 |  4538287 |  4317162 |     4693   2176 |       20 |       48
1385.05/1385.42	c 1384s |      24 |  4545030 |  4323662 |     4693   2179 |       20 |       48
1387.05/1387.44	c 1386s |      24 |  4551465 |  4329962 |     4693   2181 |       20 |       48
1389.05/1389.45	c 1388s |      24 |  4558456 |  4336762 |     4693   2184 |       20 |       48
1391.05/1391.46	c 1390s |      24 |  4565235 |  4343362 |     4693   2187 |       20 |       48
1393.05/1393.48	c 1392s |      24 |  4572811 |  4350762 |     4693   2190 |       20 |       48
1395.04/1395.48	c 1394s |      24 |  4579568 |  4357362 |     4693   2192 |       20 |       48
1397.04/1397.50	c 1396s |      24 |  4586709 |  4364362 |     4693   2195 |       20 |       48
1399.14/1399.51	c 1398s |      24 |  4593233 |  4370662 |     4693   2198 |       20 |       48
1401.14/1401.53	c 1400s |      24 |  4600134 |  4377362 |     4693   2200 |       20 |       48
1403.14/1403.55	c 1402s |      24 |  4607139 |  4384162 |     4693   2203 |       20 |       48
1405.13/1405.56	c 1404s |      24 |  4614427 |  4391262 |     4693   2206 |       20 |       48
1407.13/1407.58	c 1406s |      24 |  4621268 |  4397862 |     4693   2209 |       20 |       48
1409.13/1409.60	c 1408s |      24 |  4627918 |  4404362 |     4693   2211 |       20 |       48
1411.23/1411.60	c 1410s |      24 |  4634328 |  4410662 |     4693   2214 |       20 |       48
1413.14/1413.60	c 1412s |      24 |  4640784 |  4417062 |     4693   2216 |       20 |       48
1415.23/1415.62	c 1414s |      24 |  4647823 |  4423962 |     4693   2219 |       20 |       48
1417.23/1417.62	c 1416s |      24 |  4654642 |  4430662 |     4693   2222 |       20 |       48
1419.23/1419.65	c 1418s |      24 |  4661262 |  4437162 |     4693   2224 |       20 |       48
1421.23/1421.67	c 1420s |      24 |  4666968 |  4442762 |     4693   2227 |       20 |       48
1423.32/1423.70	c 1423s |      24 |  4673199 |  4448762 |     4693   2229 |       20 |       48
1425.33/1425.72	c 1425s |      24 |  4679806 |  4455262 |     4693   2232 |       20 |       48
1427.32/1427.75	c 1427s |      24 |  4686518 |  4461862 |     4693   2234 |       20 |       48
1429.32/1429.77	c 1429s |      24 |  4693514 |  4468662 |     4693   2237 |       20 |       48
1431.42/1431.82	c 1431s |      24 |  4699954 |  4474962 |     4693   2240 |       20 |       48
1433.42/1433.84	c 1433s |      24 |  4706487 |  4481362 |     4693   2242 |       20 |       48
1435.42/1435.85	c 1435s |      24 |  4712215 |  4486962 |     4693   2244 |       20 |       48
1437.42/1437.86	c 1437s |      24 |  4718038 |  4492662 |     4693   2247 |       20 |       48
1439.42/1439.87	c 1439s |      24 |  4724170 |  4498562 |     4693   2249 |       20 |       48
1441.41/1441.87	c 1441s |      24 |  4729103 |  4503362 |     4693   2251 |       20 |       48
1443.52/1443.91	c 1443s |      24 |  4735316 |  4509362 |     4693   2253 |       20 |       48
1445.52/1445.94	c 1445s |      24 |  4741899 |  4515762 |     4693   2256 |       20 |       48
1447.52/1447.96	c 1447s |      24 |  4748342 |  4521962 |     4693   2258 |       20 |       48
1449.52/1449.97	c 1449s |      24 |  4755105 |  4528462 |     4693   2261 |       20 |       48
1451.52/1451.97	c 1451s |      24 |  4760432 |  4533562 |     4693   2263 |       20 |       48
1453.52/1453.98	c 1453s |      24 |  4767189 |  4540162 |     4693   2266 |       20 |       48
1455.51/1455.99	c 1455s |      24 |  4773369 |  4546162 |     4693   2268 |       20 |       48
1457.51/1457.99	c 1457s |      24 |  4779514 |  4552062 |     4693   2270 |       20 |       48
1459.51/1460.00	c 1459s |      24 |  4786170 |  4558562 |     4693   2273 |       20 |       48
1461.62/1462.04	c 1461s |      24 |  4792552 |  4564562 |     4693   2276 |       20 |       48
1463.61/1464.04	c 1463s |      24 |  4798861 |  4570462 |     4693   2278 |       20 |       48
1465.60/1466.07	c 1465s |      24 |  4804693 |  4576062 |     4693   2280 |       20 |       48
1467.70/1468.10	c 1467s |      24 |  4810278 |  4581462 |     4693   2282 |       20 |       48
1469.70/1470.10	c 1469s |      24 |  4816829 |  4587862 |     4693   2285 |       20 |       48
1471.70/1472.14	c 1471s |      24 |  4823587 |  4594462 |     4693   2288 |       20 |       48
1473.71/1474.14	c 1473s |      24 |  4830219 |  4600762 |     4693   2290 |       20 |       48
1475.70/1476.16	c 1475s |      24 |  4836996 |  4607262 |     4693   2293 |       20 |       48
1477.70/1478.18	c 1477s |      24 |  4842830 |  4612962 |     4693   2295 |       20 |       48
1479.70/1480.19	c 1479s |      24 |  4849010 |  4618862 |     4693   2297 |       20 |       48
1481.80/1482.21	c 1481s |      24 |  4854869 |  4624462 |     4693   2300 |       20 |       48
1483.80/1484.21	c 1483s |      24 |  4860311 |  4629762 |     4693   2302 |       20 |       48
1485.80/1486.22	c 1485s |      24 |  4867154 |  4636262 |     4693   2304 |       20 |       48
1487.79/1488.26	c 1487s |      24 |  4874066 |  4642762 |     4693   2307 |       20 |       48
1489.79/1490.26	c 1489s |      24 |  4880514 |  4648862 |     4693   2310 |       20 |       48
1491.79/1492.28	c 1491s |      24 |  4886634 |  4654762 |     4693   2312 |       20 |       48
1493.89/1494.30	c 1493s |      24 |  4892895 |  4660762 |     4693   2314 |       20 |       48
1495.88/1496.30	c 1495s |      24 |  4898808 |  4666462 |     4693   2317 |       20 |       48
1497.89/1498.31	c 1497s |      24 |  4904855 |  4672262 |     4693   2319 |       20 |       48
1499.88/1500.32	c 1499s |      24 |  4911066 |  4678262 |     4693   2321 |       20 |       48
1501.88/1502.34	c 1501s |      24 |  4918088 |  4684962 |     4693   2324 |       20 |       48
1503.88/1504.35	c 1503s |      24 |  4924577 |  4691162 |     4693   2327 |       20 |       48
1505.88/1506.37	c 1505s |      24 |  4931400 |  4697662 |     4693   2329 |       20 |       48
1507.88/1508.38	c 1507s |      24 |  4938498 |  4704362 |     4693   2332 |       20 |       48
1509.99/1510.41	c 1509s |      24 |  4945159 |  4710762 |     4693   2334 |       20 |       48
1511.99/1512.42	c 1511s |      24 |  4951827 |  4717062 |     4693   2337 |       20 |       48
1513.98/1514.44	c 1513s |      24 |  4958716 |  4723662 |     4693   2340 |       20 |       48
1515.98/1516.47	c 1515s |      24 |  4965888 |  4730362 |     4693   2342 |       20 |       48
1517.98/1518.47	c 1517s |      24 |  4972380 |  4736662 |     4693   2345 |       20 |       48
1519.98/1520.48	c 1519s |      24 |  4979201 |  4742962 |     4693   2347 |       20 |       48
1522.08/1522.50	c 1521s |      24 |  4986002 |  4749362 |     4693   2350 |       20 |       48
1524.08/1524.52	c 1523s |      24 |  4992024 |  4755062 |     4693   2352 |       20 |       48
1526.07/1526.54	c 1525s |      24 |  4998593 |  4761462 |     4693   2355 |       20 |       48
1528.07/1528.55	c 1527s |      24 |  5005328 |  4767962 |     4693   2358 |       20 |       48
1530.07/1530.56	c 1529s |      24 |  5012367 |  4774662 |     4693   2360 |       20 |       48
1532.07/1532.58	c 1531s |      24 |  5018922 |  4780962 |     4693   2363 |       20 |       48
1534.08/1534.58	c 1533s |      24 |  5025998 |  4787562 |     4693   2365 |       20 |       48
1536.07/1536.59	c 1535s |      24 |  5032578 |  4793362 |     4693   2368 |       20 |       48
1538.16/1538.62	c 1537s |      24 |  5039354 |  4799762 |     4693   2370 |       20 |       48
1540.16/1540.63	c 1539s |      24 |  5045948 |  4806062 |     4693   2373 |       20 |       48
1542.16/1542.65	c 1541s |      24 |  5052484 |  4812062 |     4693   2375 |       20 |       48
1544.16/1544.66	c 1543s |      24 |  5059079 |  4818162 |     4693   2378 |       20 |       48
1546.16/1546.66	c 1545s |      24 |  5065621 |  4824262 |     4693   2380 |       20 |       48
1548.16/1548.68	c 1547s |      24 |  5071808 |  4830262 |     4693   2383 |       20 |       48
1550.26/1550.71	c 1550s |      24 |  5078785 |  4836962 |     4693   2385 |       20 |       48
1552.26/1552.71	c 1552s |      24 |  5084907 |  4842762 |     4693   2388 |       20 |       48
1554.25/1554.72	c 1554s |      24 |  5091253 |  4848862 |     4693   2390 |       20 |       48
1556.25/1556.76	c 1556s |      24 |  5098175 |  4855362 |     4693   2393 |       20 |       48
1558.26/1558.76	c 1558s |      24 |  5104306 |  4861262 |     4693   2395 |       20 |       48
1560.25/1560.77	c 1560s |      24 |  5110679 |  4867462 |     4693   2398 |       20 |       48
1562.35/1562.80	c 1562s |      24 |  5116948 |  4873462 |     4693   2400 |       20 |       48
1564.35/1564.82	c 1564s |      24 |  5123533 |  4879762 |     4693   2403 |       20 |       48
1566.34/1566.83	c 1566s |      24 |  5129927 |  4885762 |     4693   2405 |       20 |       48
1568.34/1568.84	c 1568s |      24 |  5136647 |  4892062 |     4693   2408 |       20 |       48
1570.35/1570.85	c 1570s |      24 |  5143129 |  4898262 |     4693   2410 |       20 |       48
1572.34/1572.85	c 1572s |      24 |  5150200 |  4904862 |     4693   2413 |       20 |       48
1574.34/1574.87	c 1574s |      24 |  5156698 |  4910762 |     4693   2415 |       20 |       48
1576.35/1576.88	c 1576s |      24 |  5162604 |  4916362 |     4693   2417 |       20 |       48
1578.35/1578.89	c 1578s |      24 |  5169070 |  4922562 |     4693   2420 |       20 |       48
1580.35/1580.89	c 1580s |      24 |  5175781 |  4928962 |     4693   2422 |       20 |       48
1582.45/1582.91	c 1582s |      24 |  5182194 |  4935062 |     4693   2425 |       20 |       48
1584.45/1584.91	c 1584s |      24 |  5188820 |  4941362 |     4693   2427 |       20 |       48
1586.44/1586.95	c 1586s |      24 |  5194542 |  4946862 |     4693   2430 |       20 |       48
1588.44/1588.96	c 1588s |      24 |  5201175 |  4953062 |     4693   2432 |       20 |       48
1590.44/1590.97	c 1590s |      24 |  5207532 |  4959162 |     4693   2435 |       20 |       48
1592.45/1592.97	c 1592s |      24 |  5214218 |  4965562 |     4693   2437 |       20 |       48
1594.44/1595.00	c 1594s |      24 |  5220634 |  4971662 |     4693   2440 |       20 |       48
1596.54/1597.02	c 1596s |      24 |  5227589 |  4978362 |     4693   2442 |       20 |       48
1598.54/1599.03	c 1598s |      24 |  5234533 |  4985162 |     4693   2445 |       20 |       48
1600.53/1601.03	c 1600s |      24 |  5240743 |  4991262 |     4693   2447 |       20 |       48
1602.53/1603.05	c 1602s |      24 |  5247391 |  4997762 |     4693   2450 |       20 |       48
1604.54/1605.05	c 1604s |      24 |  5254498 |  5004662 |     4693   2453 |       20 |       48
1606.53/1607.08	c 1606s |      24 |  5260835 |  5010662 |     4693   2455 |       20 |       48
1608.53/1609.09	c 1608s |      24 |  5267885 |  5017462 |     4693   2458 |       20 |       48
1610.63/1611.14	c 1610s |      24 |  5274470 |  5023562 |     4693   2461 |       20 |       48
1612.62/1613.14	c 1612s |      24 |  5281201 |  5029962 |     5163   2463 |       20 |       48
1614.62/1615.15	c 1614s |      24 |  5287984 |  5036362 |     5163   2465 |       20 |       48
1616.63/1617.19	c 1616s |      24 |  5294954 |  5042862 |     5163   2468 |       20 |       48
1618.62/1619.19	c 1618s |      24 |  5301258 |  5048462 |     5163   2470 |       20 |       48
1620.72/1621.22	c 1620s |      24 |  5307384 |  5054062 |     5163   2472 |       20 |       48
1622.72/1623.25	c 1622s |      24 |  5313744 |  5059862 |     5163   2474 |       20 |       48
1624.32/1624.90	c 1624s |      25 |  5319139 |  5065098 |     5163   2476 |       20 |       48
1626.42/1626.92	c 1626s |      25 |  5326070 |  5071398 |     5163   2478 |       20 |       48
1628.41/1628.94	c 1628s |      25 |  5332377 |  5077298 |     5163   2480 |       20 |       48
1630.41/1630.94	c 1630s |      25 |  5338717 |  5083198 |     5163   2482 |       20 |       48
1632.41/1632.95	c 1632s |      25 |  5344822 |  5089098 |     5163   2485 |       20 |       48
1634.51/1635.03	c 1634s |      25 |  5350813 |  5094698 |     5163   2487 |       20 |       48
1636.51/1637.04	c 1636s |      25 |  5357150 |  5100698 |     5163   2489 |       20 |       48
1638.51/1639.04	c 1638s |      25 |  5363484 |  5106698 |     5163   2491 |       20 |       48
1640.51/1641.07	c 1640s |      25 |  5368769 |  5111598 |     5163   2493 |       20 |       48
1642.51/1643.09	c 1642s |      25 |  5374958 |  5117298 |     5163   2495 |       20 |       48
1644.61/1645.12	c 1644s |      25 |  5381223 |  5123098 |     5163   2497 |       20 |       48
1646.60/1647.15	c 1646s |      25 |  5386718 |  5128298 |     5163   2499 |       20 |       48
1648.60/1649.16	c 1648s |      25 |  5391944 |  5132998 |     5163   2501 |       20 |       48
1650.61/1651.16	c 1650s |      25 |  5397378 |  5138198 |     5163   2503 |       20 |       48
1652.60/1653.18	c 1652s |      25 |  5403624 |  5144098 |     5163   2505 |       20 |       48
1654.61/1655.19	c 1654s |      25 |  5409022 |  5149298 |     5163   2507 |       20 |       48
1656.60/1657.20	c 1656s |      25 |  5414388 |  5154098 |     5163   2509 |       20 |       48
1658.70/1659.20	c 1658s |      25 |  5420238 |  5159698 |     5163   2511 |       20 |       48
1660.70/1661.22	c 1660s |      25 |  5426292 |  5165498 |     5163   2513 |       20 |       48
1662.71/1663.25	c 1662s |      25 |  5431436 |  5170398 |     5163   2515 |       20 |       48
1664.70/1665.27	c 1664s |      25 |  5437485 |  5176298 |     5163   2517 |       20 |       48
1666.70/1667.29	c 1666s |      25 |  5444123 |  5182798 |     5163   2519 |       20 |       48
1668.79/1669.35	c 1668s |      25 |  5449648 |  5188098 |     5163   2521 |       20 |       48
1670.79/1671.37	c 1670s |      25 |  5455122 |  5193198 |     5163   2523 |       20 |       48
1672.79/1673.37	c 1672s |      25 |  5459647 |  5197398 |     5163   2525 |       20 |       48
1674.80/1675.39	c 1674s |      25 |  5465462 |  5202998 |     5163   2527 |       20 |       48
1676.89/1677.42	c 1676s |      25 |  5470923 |  5208198 |     5163   2529 |       20 |       48
1678.89/1679.46	c 1678s |      25 |  5475965 |  5212998 |     5163   2530 |       20 |       48
1680.89/1681.46	c 1680s |      25 |  5480772 |  5217598 |     5163   2532 |       20 |       48
1682.89/1683.49	c 1682s |      25 |  5486155 |  5222798 |     5163   2534 |       20 |       48
1684.99/1685.52	c 1684s |      25 |  5490920 |  5227298 |     5163   2536 |       20 |       48
1686.99/1687.55	c 1686s |      25 |  5496082 |  5232298 |     5163   2537 |       20 |       48
1688.99/1689.55	c 1688s |      25 |  5501706 |  5237698 |     5163   2539 |       20 |       48
1690.99/1691.59	c 1690s |      25 |  5508843 |  5244598 |     5163   2542 |       20 |       48
1693.09/1693.62	c 1692s |      25 |  5515559 |  5251098 |     5163   2544 |       20 |       48
1695.09/1695.64	c 1694s |      25 |  5521192 |  5256498 |     5163   2546 |       20 |       48
1697.09/1697.67	c 1696s |      25 |  5526327 |  5261398 |     5163   2548 |       20 |       48
1699.09/1699.70	c 1699s |      25 |  5531053 |  5265898 |     5163   2550 |       20 |       48
1701.19/1701.75	c 1701s |      25 |  5536398 |  5271098 |     5163   2552 |       20 |       48
1703.18/1703.78	c 1703s |      25 |  5541297 |  5275698 |     5163   2553 |       20 |       48
1705.19/1705.79	c 1705s |      25 |  5545253 |  5279398 |     5163   2555 |       20 |       48
1707.19/1707.79	c 1707s |      25 |  5549790 |  5283698 |     5163   2556 |       20 |       48
1709.29/1709.81	c 1709s |      25 |  5553712 |  5287398 |     5163   2558 |       20 |       48
1711.29/1711.83	c 1711s |      25 |  5558685 |  5291898 |     5163   2559 |       20 |       48
1713.30/1713.85	c 1713s |      25 |  5564004 |  5296598 |     5163   2561 |       20 |       48
1715.29/1715.86	c 1715s |      25 |  5569044 |  5301398 |     5163   2563 |       20 |       48
1717.29/1717.86	c 1717s |      25 |  5574724 |  5306798 |     5163   2565 |       20 |       48
1719.29/1719.87	c 1719s |      25 |  5580279 |  5312098 |     5163   2567 |       20 |       48
1721.39/1721.92	c 1721s |      25 |  5585987 |  5317498 |     5163   2569 |       20 |       48
1723.39/1723.94	c 1723s |      25 |  5591022 |  5322298 |     5163   2570 |       20 |       48
1725.39/1725.94	c 1725s |      25 |  5595880 |  5326998 |     5163   2572 |       20 |       48
1727.38/1727.94	c 1727s |      25 |  5601114 |  5331898 |     5163   2574 |       20 |       48
1729.38/1729.95	c 1729s |      25 |  5606569 |  5337098 |     5163   2576 |       20 |       48
1731.38/1731.96	c 1731s |      25 |  5611526 |  5341898 |     5163   2578 |       20 |       48
1733.38/1733.96	c 1733s |      25 |  5616298 |  5346498 |     5163   2579 |       20 |       48
1735.39/1735.99	c 1735s |      25 |  5620548 |  5350498 |     5163   2581 |       20 |       48
1737.49/1738.02	c 1737s |      25 |  5624629 |  5354298 |     5163   2582 |       20 |       48
1739.48/1740.04	c 1739s |      25 |  5630030 |  5359098 |     5163   2584 |       20 |       48
1741.48/1742.07	c 1741s |      25 |  5635386 |  5364198 |     5163   2586 |       20 |       48
1743.48/1744.09	c 1743s |      25 |  5640922 |  5369498 |     5163   2588 |       20 |       48
1745.58/1746.13	c 1745s |      25 |  5646063 |  5374398 |     5163   2589 |       20 |       48
1747.58/1748.15	c 1747s |      25 |  5651559 |  5379698 |     5163   2591 |       20 |       48
1749.58/1750.18	c 1749s |      25 |  5656737 |  5384598 |     5163   2593 |       20 |       48
1751.57/1752.19	c 1751s |      25 |  5661798 |  5389498 |     5163   2595 |       20 |       48
1753.67/1754.20	c 1753s |      25 |  5666029 |  5393598 |     5163   2596 |       20 |       48
1755.67/1756.22	c 1755s |      25 |  5671450 |  5398898 |     5163   2598 |       20 |       48
1757.67/1758.24	c 1757s |      25 |  5677372 |  5404498 |     5163   2600 |       20 |       48
1759.67/1760.27	c 1759s |      25 |  5683173 |  5410098 |     5163   2603 |       20 |       48
1761.68/1762.29	c 1761s |      25 |  5688617 |  5415098 |     5163   2604 |       20 |       48
1763.78/1764.32	c 1763s |      25 |  5695691 |  5421798 |     5163   2607 |       20 |       48
1765.78/1766.32	c 1765s |      25 |  5702520 |  5428298 |     5163   2609 |       20 |       48
1767.78/1768.33	c 1767s |      25 |  5709301 |  5434698 |     5163   2612 |       20 |       48
1769.78/1770.33	c 1769s |      25 |  5715478 |  5440198 |     5163   2614 |       20 |       48
1771.78/1772.37	c 1771s |      25 |  5722111 |  5446398 |     5163   2616 |       20 |       48
1773.88/1774.41	c 1773s |      25 |  5729232 |  5452998 |     5163   2618 |       20 |       48
1775.88/1776.42	c 1775s |      25 |  5735913 |  5459398 |     5163   2621 |       20 |       48
1777.88/1778.44	c 1777s |      25 |  5740585 |  5463698 |     5163   2622 |       20 |       48
1779.88/1780.45	c 1779s |      25 |  5744739 |  5467598 |     5163   2624 |       20 |       48
1781.88/1782.46	c 1781s |      25 |  5749454 |  5471998 |     5163   2625 |       20 |       48
1783.97/1784.50	c 1783s |      25 |  5754472 |  5476798 |     5163   2627 |       20 |       48
1785.98/1786.51	c 1785s |      25 |  5758697 |  5480898 |     5163   2629 |       20 |       48
1787.97/1788.54	c 1787s |      25 |  5763405 |  5485398 |     5163   2630 |       20 |       48
1789.97/1790.56	c 1789s |      25 |  5768558 |  5490098 |     5163   2632 |       20 |       48
1792.07/1792.60	c 1791s |      25 |  5774432 |  5495398 |     5163   2634 |       20 |       48
1794.07/1794.63	c 1793s |      25 |  5781279 |  5501998 |     5163   2636 |       20 |       48
1796.07/1796.66	c 1795s |      25 |  5786585 |  5506998 |     5163   2638 |       20 |       48
1798.07/1798.67	c 1797s |      25 |  5791326 |  5511398 |     5163   2640 |       20 |       48

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

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

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


[startup+0 s]
/proc/loadavg: 1.30 1.36 1.68 4/173 31354
/proc/meminfo: memFree=30319504/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=316860 CPUtime=0 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 1108 0 0 0 0 0 0 0 20 0 4 0 29327169 324464640 1980 33554432000 4194304 16246674 140733319244624 140733319244048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 79983 1989 441 2943 0 76877 0
[pid=31353/tid=31360] ppid=31349 vsize=345532 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 353824768 2091 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=348604 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 356970496 2105 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=353724 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 362213376 2122 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 1.30 1.36 1.68 4/173 31354
/proc/meminfo: memFree=30319504/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 20436 0 0 0 5 3 0 0 20 0 4 0 29327169 1247350784 21295 33554432000 4194304 16246674 140733319244624 140733319244048 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 304529 21305 758 2943 0 301423 0
[pid=31353/tid=31360] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 21311 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 21313 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 21317 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200537 s]
/proc/loadavg: 1.30 1.36 1.68 4/173 31354
/proc/meminfo: memFree=30319504/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 37832 0 0 0 12 6 0 0 20 0 4 0 29327169 1247350784 38691 33554432000 4194304 16246674 140733319244624 140733319244048 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 304529 38700 758 2943 0 301423 0
[pid=31353/tid=31360] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 38708 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 38716 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 38720 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300488 s]
/proc/loadavg: 1.30 1.36 1.68 4/173 31354
/proc/meminfo: memFree=30319504/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 55349 0 0 0 20 9 0 0 20 0 4 0 29327169 1247350784 56208 33554432000 4194304 16246674 140733319244624 140733319244048 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 304529 56217 765 2943 0 301423 0
[pid=31353/tid=31360] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 56225 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 56230 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 56239 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 1.30 1.36 1.68 4/173 31354
/proc/meminfo: memFree=30319504/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 129629 0 0 0 49 19 0 0 20 0 4 0 29327169 1247350784 130488 33554432000 4194304 16246674 140733319244624 140733319244048 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 304529 130496 795 2943 0 301423 0
[pid=31353/tid=31360] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 130502 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 130507 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1247350784 130517 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.30 1.36 1.68 3/183 31364
/proc/meminfo: memFree=28744340/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1220164 CPUtime=1.48 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 245990 0 0 0 114 34 0 0 20 0 4 0 29327169 1249447936 246826 33554432000 4194304 16246674 140733319244624 140733319243936 5545713 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 305041 246826 853 2943 0 301935 0
[pid=31353/tid=31360] ppid=31349 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1249447936 246826 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1249447936 246826 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1249447936 246826 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1220164

[startup+3.10037 s]
/proc/loadavg: 1.43 1.39 1.68 4/183 31364
/proc/meminfo: memFree=28285168/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 267585 0 0 0 272 37 0 0 20 0 4 0 29327169 1337528320 268421 33554432000 4194304 16246674 140733319244624 140733319227624 8224779 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 326545 268421 853 2943 0 323439 0
[pid=31353/tid=31360] ppid=31349 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1337528320 268421 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1337528320 268421 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1337528320 268421 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 1.43 1.39 1.68 4/183 31364
/proc/meminfo: memFree=28173024/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 267762 0 0 0 592 37 0 0 20 0 4 0 29327169 1338576896 268598 33554432000 4194304 16246674 140733319244624 140733319226496 13780648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 326801 268598 855 2943 0 323695 0
[pid=31353/tid=31360] ppid=31349 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1338576896 268598 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1338576896 268598 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1338576896 268598 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.52 1.41 1.69 3/183 31364
/proc/meminfo: memFree=28169072/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 268212 0 0 0 1232 37 0 0 20 0 4 0 29327169 1340674048 269048 33554432000 4194304 16246674 140733319244624 140733319226496 13923843 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 327313 269048 855 2943 0 324207 0
[pid=31353/tid=31360] ppid=31349 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1340674048 269048 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1340674048 269048 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1340674048 269048 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 1.59 1.43 1.69 4/184 31367
/proc/meminfo: memFree=28168044/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1309252 CPUtime=25.49 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 268408 0 0 0 2512 37 0 0 20 0 4 0 29327169 1340674048 269244 33554432000 4194304 16246674 140733319244624 140733319226496 6011730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 327313 269244 855 2943 0 324207 0
[pid=31353/tid=31360] ppid=31349 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1340674048 269244 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1340674048 269244 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1340674048 269244 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 1.80 1.49 1.70 4/184 31367
/proc/meminfo: memFree=28160008/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 268618 0 0 0 5071 37 0 0 20 0 4 0 29327169 1341722624 269454 33554432000 4194304 16246674 140733319244624 140733319226496 13808413 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 327569 269454 855 2943 0 324463 0
[pid=31353/tid=31360] ppid=31349 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1341722624 269454 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1341722624 269454 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1341722624 269454 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.10 1.62 1.73 3/184 31390
/proc/meminfo: memFree=28155336/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 269432 0 0 0 10190 38 0 0 20 0 4 0 29327169 1344868352 270268 33554432000 4194304 16246674 140733319244624 140733319226496 5722656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31353/statm: 328337 270268 855 2943 0 325231 0
[pid=31353/tid=31360] ppid=31349 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1344868352 270268 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1344868352 270268 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1344868352 270268 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1320516

[startup+1302.3 s]
/proc/loadavg: 2.18 2.20 2.09 4/183 31421
/proc/meminfo: memFree=28135720/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1320516 CPUtime=1301.99 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 271416 0 0 0 130146 53 0 0 20 0 4 0 29327169 1352208384 272064 33554432000 4194304 16246674 140733319244624 140733319226496 5711908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31353/statm: 330129 272064 856 2943 0 327023 0
[pid=31353/tid=31360] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.16 2.19 2.09 3/183 31423
/proc/meminfo: memFree=28135876/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1320516 CPUtime=1361.96 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 271460 0 0 0 136142 54 0 0 20 0 4 0 29327169 1352208384 272064 33554432000 4194304 16246674 140733319244624 140733319226496 5861548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31353/statm: 330129 272064 856 2943 0 327023 0
[pid=31353/tid=31360] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.30 2.21 2.10 4/183 31424
/proc/meminfo: memFree=28136032/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1320516 CPUtime=1421.93 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 271505 0 0 0 142138 55 0 0 20 0 4 0 29327169 1352208384 272064 33554432000 4194304 16246674 140733319244624 140733319226496 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31353/statm: 330129 272064 856 2943 0 327023 0
[pid=31353/tid=31360] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.21 2.20 2.10 4/183 31425
/proc/meminfo: memFree=28136080/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1320516 CPUtime=1481.9 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 271544 0 0 0 148134 56 0 0 20 0 4 0 29327169 1352208384 272064 33554432000 4194304 16246674 140733319244624 140733319227616 5754648 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31353/statm: 330129 272064 856 2943 0 327023 0
[pid=31353/tid=31360] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.23 2.21 2.11 3/183 31426
/proc/meminfo: memFree=28135988/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1320516 CPUtime=1541.87 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 271587 0 0 0 154130 57 0 0 20 0 4 0 29327169 1352208384 272064 33554432000 4194304 16246674 140733319244624 140733319226496 5711355 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31353/statm: 330129 272064 856 2943 0 327023 0
[pid=31353/tid=31360] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1352208384 272064 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.19 2.20 2.11 3/183 31427
/proc/meminfo: memFree=28131312/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1325636 CPUtime=1601.83 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 272910 0 0 0 160125 58 0 0 20 0 4 0 29327169 1357451264 273344 33554432000 4194304 16246674 140733319244624 140733319226496 6842704 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31353/statm: 331409 273344 856 2943 0 328303 0
[pid=31353/tid=31360] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273344 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273344 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273344 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1325636

[startup+1662.3 s]
/proc/loadavg: 2.11 2.18 2.10 4/183 31429
/proc/meminfo: memFree=28131216/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1325636 CPUtime=1661.8 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 272952 0 0 0 166121 59 0 0 20 0 4 0 29327169 1357451264 273346 33554432000 4194304 16246674 140733319244624 140733319226496 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31353/statm: 331409 273346 856 2943 0 328303 0
[pid=31353/tid=31360] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1325636

[startup+1722.3 s]
/proc/loadavg: 2.14 2.17 2.10 3/183 31430
/proc/meminfo: memFree=28128900/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1325636 CPUtime=1721.79 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 272959 0 0 0 172119 60 0 0 20 0 4 0 29327169 1357451264 273346 33554432000 4194304 16246674 140733319244624 140733319226496 5711688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31353/statm: 331409 273346 856 2943 0 328303 0
[pid=31353/tid=31360] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1325636

[startup+1782.3 s]
/proc/loadavg: 2.21 2.18 2.10 3/183 31431
/proc/meminfo: memFree=28128288/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1325636 CPUtime=1781.78 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 272959 0 0 0 178117 61 0 0 20 0 4 0 29327169 1357451264 273346 33554432000 4194304 16246674 140733319244624 140733319227624 5823933 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31353/statm: 331409 273346 856 2943 0 328303 0
[pid=31353/tid=31360] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1325636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.23 2.19 2.10 3/183 31431
/proc/meminfo: memFree=28128168/32872528 swapFree=1431120/1543540
[pid=31353] ppid=31349 vsize=1325636 CPUtime=1800.07 cores=1,3,5,7
/proc/31353/stat : 31353 (toysat) R 31349 31353 19971 0 -1 4202496 272959 0 0 0 179946 61 0 0 20 0 4 0 29327169 1357451264 273346 33554432000 4194304 16246674 140733319244624 140733319226496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31353/statm: 331409 273346 856 2943 0 328303 0
[pid=31353/tid=31360] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31360/stat : 31360 (toysat) S 31349 31353 19971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225204432112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31353/tid=31361] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31361/stat : 31361 (toysat) S 31349 31353 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225193942256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31353/tid=31362] ppid=31349 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/31353/task/31362/stat : 31362 (toysat) S 31349 31353 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327170 1357451264 273346 33554432000 4194304 16246674 140733319244624 140225112173744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1325636

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 31353 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.08
CPU user time (s): 1799.47
CPU system time (s): 0.616906
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.616906
maximum resident set size= 1093384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272959
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= 466
involuntary context switches= 2256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5783 second user time and 7.2279 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 19:59:44
IDJOB=4106517
IDBENCH=48088
IDSOLVER=2542
FILE ID=node116/4106517-1466272784
RUNJOBID= node116-1466272784-31328
PBS_JOBID= 19918206
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106517-1466272784/watcher-4106517-1466272784 -o /tmp/evaluation-result-4106517-1466272784/solver-4106517-1466272784 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466272784-31328 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106517-1466272784.opb

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

MD5SUM BENCH= 2f50a7c4db6c104684b2cc399418ffd9
RANDOM SEED=1886330330

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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.781
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.781
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.54
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.781
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.781
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30320808 kB
Buffers:           88316 kB
Cached:           174040 kB
SwapCached:         1596 kB
Active:           102572 kB
Inactive:         162572 kB
Active(anon):       2292 kB
Inactive(anon):     3016 kB
Active(file):     100280 kB
Inactive(file):   159556 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             32644 kB
Writeback:             4 kB
AnonPages:       1546044 kB
Mapped:             6956 kB
Shmem:                 0 kB
Slab:             609460 kB
SReclaimable:      53800 kB
SUnreclaim:       555660 kB
KernelStack:        1400 kB
PageTables:         6964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1638772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71696 MiB
End job on node116 at 2016-06-18 20:29:45