Trace number 4080199

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb
MD5SUM12f1f3305860fafcd361cd1c61e0d104
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.12298
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 variables168
Total number of constraints15
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 constraints15
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)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

Solver Data 

0.00/0.00	c 2016-06-07T01:15:43+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-4080199-1465254943.opb"]
0.00/0.01	c use --random-gen="2812563105 2519918369 1974699049 2517189652 237919810 3229019381 547820899 4157660405 1184664112 909862406 2643051571 1445870909 2087603127 3465520980 3882827296 2775819378 3400354323 3254520487 4126305717 2286996464 2735555188 1923634188 1017918521 1139203543 2231249286 2416139638 2541461169 3484099921 2814139775 3655685071 3328183951 3610859527 364860942 4265735528 3435737873 2824383194 1239066573 2451698807 337610386 803591323 1890648983 262131476 4049961457 4154041709 2583717271 491842888 2347674293 2496598381 1720222213 4223461081 3128617709 3879291796 415741220 1689930366 4060738133 2272283529 1297982824 717579129 3478172103 3949982570 1505705185 383893629 2745078043 862838651 1014423309 2492765215 2655740521 3105420932 925292997 1393063867 3739423730 2109587120 3215700717 3164157197 845673384 1643799842 3670848853 968690816 4000346208 947570241 541836063 1298346691 2382999977 1401215234 1790186248 4139108511 1236132731 3815383191 1027401670 825679915 335099811 1118742911 1371303707 488987955 3671806974 121857091 2925861219 1325690845 1927753880 2315825421 736872454 2189214725 1815517960 394724030 3200694641 2903242850 3854807548 4090467310 3301286171 1732018458 4170574068 3906419242 2904000287 1246676681 471786468 535321482 1974530164 75232316 1224488193 1693026132 363481171 1792067281 1930378923 1368011156 153796375 5302680 387392556 1716880582 336944589 1209582887 1295507729 713800327 2675441962 823077805 3296307022 3950779842 1285184107 1025602825 2649410748 3065182380 3279247865 2237364304 61655856 1138994200 4130173071 1364847813 30209891 3839401425 2963707557 1987922250 5831502 2764013324 2439859946 813920205 23555256 2120956277 1179418349 52534025 2729993378 1396745099 220219658 660785460 3353954814 2044762906 1610472949 213318022 946530850 2771076751 249423792 3340807181 2001082782 2162376605 3484536359 822368199 2255786588 2873319327 2105017542 3461855257 4126156363 869415026 3138062473 1234687974 3949585931 647128990 295224309 3043414248 1537616671 1266796027 1572231005 1587627016 1233519702 2415610262 2090828331 3359942470 2330973522 2130520253 1407661180 2380953385 1562692336 2829611336 1030265137 1263142398 901463925 698507908 2537371881 3353811809 3825515834 899921826 1213022439 3262564111 4183248491 4065342273 624112445 1079848396 2551077135 2949331195 1842289446 1156327612 3045101553 125310254 983744099 1965660165 917743448 4069721635 2345871595 4079701575 966890698 2070725265 3632055119 656193210 1517408079 4219154524 3821562029 3203873002 657655893 851032244 2727771511 3060611372 3762914212 5098025 2534562998 2744463456 1957465747 2726055626 1339355991 470777203 3843282295 856208196 983874769 3492831781 2093322849 3950086649 2064758260 136106505 2433537329 3346257121 255 362436" option to reproduce the execution
0.00/0.01	c #vars 168
0.00/0.01	c #constraints 15
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      660      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      110 |      100 |      660      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      295 |      250 |      727      0 |        0 |        0
0.09/0.18	c  0.1s |       3 |      600 |      475 |      800      0 |        0 |        0
0.29/0.31	c  0.3s |       4 |     1032 |      813 |      881      0 |        0 |        0
0.49/0.54	c  0.5s |       5 |     1660 |     1320 |      970      1 |        0 |        0
0.78/0.85	c  0.8s |       6 |     2500 |     2081 |     1174      2 |        0 |        0
1.09/1.19	c  1.2s |       7 |     3774 |     3223 |     1292      3 |        0 |        0
1.69/1.74	c  1.7s |       8 |     5881 |     4936 |     1422      4 |        0 |        0
2.39/2.41	c  2.4s |       9 |     8637 |     7506 |     1565      7 |        0 |        0
2.39/2.46	c  2.4s |       9 |     8904 |     7662 |     1565      8 |        0 |        0
2.39/2.46	c #cpu_time = 2.422s
2.39/2.46	c #wall_clock_time = 2.429s
2.39/2.46	c #decision = 8904
2.39/2.46	c #random_decision = 30
2.39/2.46	c #conflict = 7662
2.39/2.46	c #restart = 9
2.39/2.46	o 153
2.39/2.46	c BCD2: updating upper bound: 255 -> 152
2.39/2.46	c BCD2: 0 <= obj <= 152
2.39/2.46	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
2.39/2.46	c BCD2: #sat=1 #unsat=1 bias=1/2
2.39/2.46	c Solving starts ...
2.39/2.46	c ============================[ Search Statistics ]============================
2.39/2.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.46	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.46	c =============================================================================
2.39/2.46	c  0.0s |       0 |        0 |        0 |     1565      0 |        0 |        0
2.39/2.46	c  0.0s |       0 |        6 |        0 |     1565      0 |        0 |        0
2.39/2.46	c #cpu_time = 0.003s
2.39/2.46	c #wall_clock_time = 0.003s
2.39/2.46	c #decision = 6
2.39/2.46	c #random_decision = 0
2.39/2.46	c #conflict = 0
2.39/2.46	c #restart = 0
2.39/2.46	c BCD2: found a new core of size 7: cost of the new core is >=2
2.39/2.46	c lower bound updated to 2
2.39/2.46	c BCD2: 2 <= obj <= 152
2.39/2.46	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
2.39/2.46	c BCD2: #sat=1 #unsat=2 bias=2/3
2.39/2.46	c Solving starts ...
2.39/2.46	c ============================[ Search Statistics ]============================
2.39/2.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.46	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.46	c =============================================================================
2.39/2.46	c  0.0s |       0 |        0 |        0 |     1565      0 |        0 |        0
2.49/2.55	c  0.1s |       1 |      184 |      100 |     1565      0 |        0 |        0
2.59/2.64	c  0.2s |       2 |      474 |      250 |     1565      0 |        0 |        0
2.59/2.68	c  0.2s |       3 |      886 |      475 |     1565      0 |        0 |        0
2.79/2.88	c  0.4s |       4 |     1876 |      813 |     1565      0 |        0 |        0
2.99/3.05	c  0.6s |       5 |     2493 |     1320 |     1565      1 |        0 |        0
3.19/3.29	c  0.8s |       6 |     3413 |     2081 |     1565      2 |        0 |        0
3.49/3.59	c  1.1s |       7 |     4668 |     3223 |     1565      3 |        0 |        0
4.09/4.16	c  1.7s |       8 |     6503 |     4936 |     1722      5 |        0 |        0
4.79/4.81	c  2.3s |       9 |     9323 |     7506 |     1722      7 |        0 |        0
6.19/6.22	c  3.8s |      10 |    13453 |    11361 |     1895     10 |        0 |        0
7.89/7.96	c  5.5s |      11 |    19847 |    17144 |     1895     15 |        0 |        0
9.89/9.99	c  7.5s |      11 |    26818 |    21544 |     2085     19 |        0 |        0
10.99/11.05	c  8.6s |      12 |    31144 |    25819 |     2085     22 |        0 |        0
12.98/13.08	c 10.6s |      12 |    39042 |    33119 |     2294     28 |        0 |        0
14.78/14.85	c 12.4s |      13 |    45200 |    38832 |     2294     32 |        0 |        0
16.78/16.87	c 14.4s |      13 |    52683 |    45832 |     2294     37 |        0 |        0
18.79/18.88	c 16.4s |      13 |    60072 |    52932 |     2524     42 |        0 |        0
20.78/20.89	c 18.4s |      13 |    65401 |    57532 |     2524     45 |        0 |        0
21.08/21.18	c 18.7s |      14 |    66244 |    58352 |     2524     45 |        0 |        0
23.09/23.19	c 20.7s |      14 |    75374 |    66752 |     2524     51 |        0 |        0
25.18/25.22	c 22.8s |      14 |    83184 |    74052 |     2524     56 |        0 |        0
27.18/27.23	c 24.8s |      14 |    90536 |    81052 |     2777     60 |        0 |        0
29.18/29.24	c 26.8s |      14 |    97212 |    87452 |     2777     64 |        0 |        0
29.18/29.29	c 26.8s |      15 |    97400 |    87632 |     2777     64 |        0 |        0
31.27/31.30	c 28.8s |      15 |   103184 |    93032 |     2777     68 |        0 |        0
33.27/33.33	c 30.9s |      15 |   109405 |    99132 |     2777     71 |        0 |        0
35.28/35.35	c 32.9s |      15 |   115942 |   105432 |     2777     75 |        0 |        0
37.27/37.36	c 34.9s |      15 |   122573 |   111732 |     2777     79 |        0 |        0
39.27/39.38	c 36.9s |      15 |   128950 |   117632 |     2777     83 |        0 |        0
41.27/41.38	c 38.9s |      15 |   135344 |   123732 |     3055     87 |        0 |        0
43.27/43.38	c 40.9s |      15 |   141837 |   129932 |     3055     90 |        0 |        0
43.87/43.93	c 41.5s |      16 |   143557 |   131552 |     3055     91 |        0 |        0
45.87/45.95	c 43.5s |      16 |   151961 |   139452 |     3055     95 |        0 |        0
47.87/47.95	c 45.5s |      16 |   158870 |   146052 |     3055     99 |        0 |        0
49.87/49.97	c 47.5s |      16 |   165847 |   152752 |     3055    103 |        0 |        0
51.87/51.99	c 49.5s |      16 |   173222 |   159852 |     3055    107 |        0 |        0
53.87/53.99	c 51.5s |      16 |   180171 |   166352 |     3055    111 |        0 |        0
55.97/56.01	c 53.5s |      16 |   187447 |   173152 |     3055    114 |        0 |        0
57.97/58.01	c 55.6s |      16 |   195000 |   180252 |     3055    118 |        0 |        0
59.96/60.03	c 57.6s |      16 |   202223 |   187152 |     3055    122 |        0 |        0
61.96/62.06	c 59.6s |      16 |   209555 |   194152 |     3361    126 |        0 |        0
62.96/63.05	c 60.6s |      17 |   212995 |   197432 |     3361    127 |        0 |        0
65.06/65.12	c 62.7s |      17 |   218922 |   201432 |     3361    130 |        0 |        0
67.07/67.13	c 64.7s |      17 |   225218 |   206732 |     3361    132 |        0 |        0
69.06/69.14	c 66.7s |      17 |   232080 |   213032 |     3361    135 |        0 |        0
71.06/71.15	c 68.7s |      17 |   238961 |   219032 |     3361    139 |        0 |        0
73.06/73.17	c 70.7s |      17 |   244780 |   224332 |     3361    141 |        0 |        0
75.16/75.21	c 72.7s |      17 |   249299 |   227432 |     3361    143 |        0 |        0
77.16/77.22	c 74.8s |      17 |   255428 |   231532 |     3361    145 |        0 |        0
79.17/79.24	c 76.8s |      17 |   262702 |   237332 |     3361    148 |        0 |        0
81.16/81.27	c 78.8s |      17 |   269716 |   243032 |     3361    151 |        0 |        0
83.26/83.30	c 80.8s |      17 |   276756 |   248432 |     3361    154 |        0 |        0
85.26/85.33	c 82.9s |      17 |   285164 |   253732 |     3361    157 |        0 |        0
87.26/87.37	c 84.9s |      17 |   293148 |   259232 |     3361    160 |        0 |        0
89.36/89.40	c 86.9s |      17 |   299319 |   264932 |     3361    163 |        0 |        0
91.36/91.43	c 89.0s |      17 |   304977 |   270132 |     3361    165 |        0 |        0
93.35/93.48	c 91.0s |      17 |   309295 |   274132 |     3361    167 |        0 |        0
95.35/95.48	c 93.0s |      17 |   314667 |   279132 |     3361    170 |        0 |        0
97.45/97.53	c 95.1s |      17 |   320214 |   284332 |     3361    173 |        0 |        0
99.45/99.57	c 97.1s |      17 |   325379 |   289332 |     3698    175 |        0 |        0
101.55/101.61	c 99.1s |      17 |   330256 |   293932 |     3698    177 |        0 |        0
102.75/102.85	c  100s |      18 |   332658 |   296252 |     3698    178 |        0 |        0
104.75/104.87	c  102s |      18 |   339048 |   302152 |     3698    181 |        0 |        0
106.76/106.88	c  104s |      18 |   345387 |   308052 |     3698    184 |        0 |        0
108.75/108.89	c  106s |      18 |   351203 |   313452 |     3698    187 |        0 |        0
110.85/110.95	c  108s |      18 |   357669 |   319552 |     3698    190 |        0 |        0
112.85/113.00	c  110s |      18 |   363638 |   325152 |     3698    192 |        0 |        0
114.95/115.03	c  112s |      18 |   369612 |   330752 |     3698    195 |        0 |        0
116.95/117.05	c  114s |      18 |   375432 |   336252 |     3698    198 |        0 |        0
118.95/119.07	c  116s |      18 |   380669 |   341152 |     3698    200 |        0 |        0
120.96/121.08	c  118s |      18 |   385990 |   346252 |     3698    202 |        0 |        0
122.95/123.09	c  120s |      18 |   391935 |   351952 |     3698    205 |        0 |        0
125.05/125.10	c  122s |      18 |   397737 |   357352 |     3698    208 |        0 |        0
127.05/127.13	c  124s |      18 |   404035 |   363352 |     3698    211 |        0 |        0
129.06/129.18	c  126s |      18 |   410076 |   369052 |     3698    213 |        0 |        0
131.06/131.19	c  128s |      18 |   416465 |   375052 |     3698    216 |        0 |        0
133.16/133.22	c  130s |      18 |   423239 |   381652 |     3698    220 |        0 |        0
135.16/135.24	c  132s |      18 |   429973 |   387952 |     3698    223 |        0 |        0
137.16/137.24	c  134s |      18 |   436605 |   394252 |     3698    226 |        0 |        0
139.15/139.26	c  136s |      18 |   443169 |   400452 |     3698    229 |        0 |        0
141.15/141.27	c  138s |      18 |   449581 |   406452 |     3698    231 |        0 |        0
143.25/143.30	c  140s |      18 |   455888 |   412552 |     3698    234 |        0 |        0
145.26/145.31	c  142s |      18 |   461357 |   417752 |     3698    237 |        0 |        0
147.25/147.36	c  144s |      18 |   467240 |   423052 |     3698    240 |        0 |        0
149.25/149.37	c  146s |      18 |   473945 |   429352 |     3698    243 |        0 |        0
151.25/151.37	c  148s |      18 |   480130 |   435152 |     4068    245 |        0 |        0
153.25/153.37	c  150s |      18 |   485931 |   440452 |     4068    247 |        0 |        0
154.75/154.84	c  152s |      19 |   490180 |   444482 |     4068    249 |        0 |        0
156.75/156.86	c  154s |      19 |   496560 |   450282 |     4068    252 |        0 |        0
158.74/158.87	c  156s |      19 |   502074 |   455582 |     4068    254 |        0 |        0
160.74/160.89	c  158s |      19 |   507789 |   460782 |     4068    257 |        0 |        0
162.75/162.90	c  160s |      19 |   513673 |   466582 |     4068    260 |        0 |        0
164.84/164.91	c  162s |      19 |   519811 |   472382 |     4068    262 |        1 |        8
166.84/166.92	c  164s |      19 |   526646 |   478782 |     4068    265 |        1 |        8
168.84/168.92	c  166s |      19 |   532887 |   484682 |     4068    268 |        1 |        8
170.84/170.93	c  168s |      19 |   539364 |   490482 |     4068    270 |        1 |        8
172.84/172.95	c  170s |      19 |   546156 |   496682 |     4068    273 |        1 |        8
174.86/174.96	c  172s |      19 |   552320 |   502282 |     4068    275 |        1 |        8
176.95/177.02	c  174s |      19 |   558093 |   507282 |     4068    278 |        1 |        8
178.95/179.03	c  176s |      19 |   565381 |   513982 |     4068    280 |        1 |        8
180.95/181.05	c  178s |      19 |   571576 |   519682 |     4068    283 |        1 |        8
182.95/183.08	c  180s |      19 |   577089 |   524682 |     4068    285 |        1 |        8
185.05/185.11	c  182s |      19 |   582302 |   529282 |     4068    287 |        1 |        8
187.06/187.13	c  184s |      19 |   588163 |   534582 |     4068    290 |        1 |        8
189.05/189.15	c  186s |      19 |   594249 |   540082 |     4068    292 |        1 |        8
191.15/191.20	c  188s |      19 |   600371 |   545382 |     4068    294 |        1 |        8
193.15/193.22	c  190s |      19 |   607062 |   551482 |     4068    297 |        1 |        8
195.15/195.25	c  192s |      19 |   613735 |   557682 |     4068    300 |        1 |        8
197.15/197.29	c  194s |      19 |   620414 |   564082 |     4068    303 |        1 |        8
199.25/199.30	c  196s |      19 |   626690 |   569782 |     4068    305 |        1 |        8
201.25/201.33	c  198s |      19 |   632330 |   574982 |     4068    308 |        1 |        8
203.25/203.35	c  200s |      19 |   638425 |   580282 |     4068    310 |        1 |        8
205.25/205.35	c  202s |      19 |   644844 |   585982 |     4068    312 |        1 |        8
207.25/207.39	c  204s |      19 |   651641 |   592182 |     4068    315 |        1 |        8
209.25/209.39	c  206s |      19 |   658732 |   598882 |     4068    318 |        1 |        8
211.34/211.40	c  208s |      19 |   665536 |   605382 |     4068    321 |        1 |        8
213.35/213.42	c  210s |      19 |   671856 |   611082 |     4068    324 |        1 |        8
215.34/215.47	c  213s |      19 |   678549 |   617182 |     4068    326 |        1 |        8
217.34/217.49	c  215s |      19 |   684538 |   622682 |     4068    329 |        1 |        8
219.44/219.51	c  217s |      19 |   692073 |   629982 |     4068    332 |        1 |        8
221.44/221.51	c  219s |      19 |   698497 |   636082 |     4068    335 |        1 |        8
223.44/223.54	c  221s |      19 |   704972 |   641882 |     4068    337 |        1 |        8
225.45/225.56	c  223s |      19 |   710527 |   646882 |     4068    339 |        1 |        8
227.44/227.60	c  225s |      19 |   715746 |   651682 |     4068    342 |        1 |        8
229.54/229.60	c  227s |      19 |   720459 |   655982 |     4475    343 |        1 |        8
231.54/231.64	c  229s |      19 |   725286 |   660482 |     4475    345 |        1 |        8
233.54/233.66	c  231s |      19 |   730203 |   664982 |     4475    347 |        1 |        8
234.64/234.72	c  232s |      20 |   732265 |   666827 |     4475    348 |        1 |        8
236.64/236.76	c  234s |      20 |   739058 |   671827 |     4475    350 |        1 |        8
238.74/238.83	c  236s |      20 |   745697 |   677927 |     4475    352 |        1 |        8
240.74/240.86	c  238s |      20 |   750915 |   682627 |     4475    354 |        1 |        8
242.74/242.87	c  240s |      20 |   756298 |   687227 |     4475    356 |        1 |        8
244.74/244.88	c  242s |      20 |   760797 |   690827 |     4475    358 |        1 |        8
246.84/246.93	c  244s |      20 |   767035 |   696527 |     4475    360 |        1 |        8
248.84/248.95	c  246s |      20 |   772091 |   701027 |     4475    362 |        1 |        8
250.84/250.96	c  248s |      20 |   777072 |   705527 |     4475    364 |        1 |        8
252.83/253.00	c  250s |      20 |   783674 |   711427 |     4475    367 |        1 |        8
254.93/255.02	c  252s |      20 |   791483 |   718627 |     4475    370 |        1 |        8
256.93/257.03	c  254s |      20 |   798118 |   724727 |     4475    372 |        1 |        8
258.93/259.05	c  256s |      20 |   803946 |   730127 |     4475    374 |        1 |        8
260.93/261.06	c  258s |      20 |   810247 |   736027 |     4475    377 |        1 |        8
262.94/263.08	c  260s |      20 |   816000 |   741127 |     4475    379 |        1 |        8
264.93/265.09	c  262s |      20 |   822104 |   746927 |     4475    381 |        1 |        8
267.03/267.12	c  264s |      20 |   827239 |   751727 |     4475    383 |        1 |        8
269.03/269.14	c  266s |      20 |   833586 |   757727 |     4475    386 |        1 |        8
271.03/271.14	c  268s |      20 |   839936 |   763627 |     4475    388 |        1 |        8
273.03/273.19	c  270s |      20 |   846225 |   769227 |     4475    391 |        1 |        8
275.13/275.21	c  272s |      20 |   852649 |   775127 |     4475    393 |        1 |        8
277.13/277.23	c  274s |      20 |   857465 |   779227 |     4475    395 |        1 |        8
279.13/279.25	c  276s |      20 |   863734 |   784927 |     4475    397 |        1 |        8
281.13/281.26	c  278s |      20 |   869368 |   789927 |     4475    400 |        1 |        8
283.13/283.27	c  280s |      20 |   874719 |   794727 |     4475    402 |        1 |        8
285.13/285.29	c  282s |      20 |   880891 |   800527 |     4475    404 |        1 |        8
287.23/287.32	c  284s |      20 |   886921 |   806227 |     4475    406 |        1 |        8
289.23/289.33	c  286s |      20 |   893364 |   812227 |     4475    409 |        1 |        8
291.22/291.36	c  288s |      20 |   898553 |   817127 |     4475    411 |        1 |        8
293.22/293.38	c  290s |      20 |   905354 |   823527 |     4475    414 |        1 |        8
295.32/295.41	c  292s |      20 |   911939 |   829627 |     4475    416 |        1 |        8
297.32/297.42	c  294s |      20 |   917923 |   835127 |     4475    419 |        1 |        8
299.32/299.44	c  296s |      20 |   924130 |   840827 |     4475    421 |        1 |        8
301.33/301.47	c  299s |      20 |   929565 |   845927 |     4475    423 |        1 |        8
303.32/303.49	c  301s |      20 |   935707 |   851527 |     4475    425 |        1 |        8
305.42/305.50	c  303s |      20 |   942180 |   857427 |     4475    428 |        1 |        8
307.42/307.51	c  305s |      20 |   948726 |   863327 |     4475    430 |        1 |        8
309.42/309.52	c  307s |      20 |   954774 |   868927 |     4475    433 |        1 |        8
311.42/311.53	c  309s |      20 |   960718 |   874327 |     4475    435 |        1 |        8
313.44/313.57	c  311s |      20 |   964982 |   878227 |     4475    437 |        1 |        8
315.43/315.58	c  313s |      20 |   971509 |   884327 |     4475    439 |        1 |        8
317.43/317.59	c  315s |      20 |   977728 |   890127 |     4475    442 |        1 |        8
319.53/319.61	c  317s |      20 |   984334 |   896327 |     4475    444 |        1 |        8
321.53/321.61	c  319s |      20 |   991452 |   903027 |     4475    447 |        1 |        8
323.53/323.62	c  321s |      20 |   998339 |   909227 |     4475    450 |        1 |        8
325.53/325.64	c  323s |      20 |  1003911 |   914427 |     4475    452 |        1 |        8
327.53/327.68	c  325s |      20 |  1009190 |   919127 |     4475    454 |        1 |        8
329.63/329.70	c  327s |      20 |  1016065 |   925227 |     4475    457 |        1 |        8
331.63/331.71	c  329s |      20 |  1023151 |   931827 |     4475    459 |        1 |        8
333.63/333.74	c  331s |      20 |  1029626 |   937927 |     4475    462 |        1 |        8
335.63/335.75	c  333s |      20 |  1036678 |   944427 |     4475    465 |        1 |        8
337.63/337.76	c  335s |      20 |  1043486 |   950827 |     4475    467 |        1 |        8
339.62/339.79	c  337s |      20 |  1050741 |   957727 |     4475    470 |        1 |        8
341.72/341.81	c  339s |      20 |  1058012 |   964527 |     4475    473 |        1 |        8
343.72/343.81	c  341s |      20 |  1065136 |   970927 |     4475    476 |        1 |        8
345.72/345.81	c  343s |      20 |  1070692 |   976127 |     4475    478 |        1 |        8
347.72/347.82	c  345s |      20 |  1075690 |   980827 |     4475    480 |        1 |        8
349.73/349.83	c  347s |      20 |  1081691 |   986527 |     4923    482 |        1 |        8
351.72/351.84	c  349s |      20 |  1088005 |   992027 |     4923    484 |        1 |        8
353.72/353.84	c  351s |      20 |  1093198 |   996827 |     4923    486 |        1 |        8
355.02/355.15	c  352s |      21 |  1097178 |  1000345 |     4923    488 |        1 |        8
357.02/357.18	c  354s |      21 |  1104543 |  1007145 |     4923    490 |        1 |        8
359.02/359.19	c  356s |      21 |  1111025 |  1013145 |     4923    492 |        1 |        8
361.12/361.22	c  358s |      21 |  1116990 |  1018645 |     4923    494 |        1 |        8
363.12/363.23	c  360s |      21 |  1123299 |  1024245 |     4923    496 |        1 |        8
365.12/365.25	c  362s |      21 |  1129392 |  1030045 |     4923    499 |        1 |        8
367.12/367.27	c  364s |      21 |  1135334 |  1035345 |     4923    501 |        1 |        8
369.11/369.29	c  366s |      21 |  1141034 |  1040645 |     4923    503 |        1 |        8
371.21/371.32	c  368s |      21 |  1146795 |  1045745 |     4923    504 |        1 |        8
373.21/373.34	c  370s |      21 |  1152978 |  1051145 |     4923    506 |        1 |        8
375.21/375.36	c  372s |      21 |  1159528 |  1056745 |     4923    509 |        1 |        8
377.22/377.38	c  374s |      21 |  1165942 |  1062745 |     4923    511 |        1 |        8
379.31/379.42	c  376s |      21 |  1171691 |  1067845 |     4923    513 |        1 |        8
381.31/381.43	c  378s |      21 |  1178049 |  1073345 |     4923    515 |        1 |        8
383.31/383.45	c  380s |      21 |  1183888 |  1078845 |     4923    517 |        1 |        8
385.31/385.46	c  382s |      21 |  1189586 |  1084145 |     4923    519 |        1 |        8
387.31/387.48	c  385s |      21 |  1195518 |  1089645 |     4923    521 |        1 |        8
389.32/389.50	c  387s |      21 |  1201652 |  1095545 |     4923    523 |        1 |        8
391.41/391.50	c  389s |      21 |  1207651 |  1101245 |     4923    525 |        1 |        8
393.41/393.51	c  391s |      21 |  1213748 |  1106945 |     4923    527 |        1 |        8
395.41/395.52	c  393s |      21 |  1219637 |  1112545 |     4923    529 |        1 |        8
397.41/397.55	c  395s |      21 |  1225337 |  1117745 |     4923    531 |        1 |        8
399.41/399.55	c  397s |      21 |  1230929 |  1123145 |     4923    533 |        1 |        8
401.42/401.55	c  399s |      21 |  1236888 |  1128745 |     4923    535 |        1 |        8
403.41/403.57	c  401s |      21 |  1242774 |  1134145 |     4923    537 |        1 |        8
405.41/405.59	c  403s |      21 |  1248901 |  1139945 |     4923    540 |        1 |        8
407.51/407.61	c  405s |      21 |  1255135 |  1145745 |     4923    542 |        1 |        8
409.51/409.61	c  407s |      21 |  1261585 |  1151745 |     4923    544 |        1 |        8
411.51/411.61	c  409s |      21 |  1267035 |  1156845 |     4923    546 |        1 |        8
413.51/413.63	c  411s |      21 |  1272641 |  1162145 |     4923    548 |        1 |        8
415.50/415.65	c  413s |      21 |  1279172 |  1168345 |     4923    550 |        1 |        8
417.51/417.65	c  415s |      21 |  1284948 |  1173645 |     4923    552 |        1 |        8
419.51/419.68	c  417s |      21 |  1290792 |  1179345 |     4923    554 |        1 |        8
421.61/421.70	c  419s |      21 |  1296036 |  1184345 |     4923    556 |        1 |        8
423.61/423.73	c  421s |      21 |  1301831 |  1189745 |     4923    558 |        1 |        8
425.62/425.75	c  423s |      21 |  1307577 |  1195245 |     4923    560 |        1 |        8
427.61/427.78	c  425s |      21 |  1313117 |  1200645 |     4923    562 |        1 |        8
429.61/429.78	c  427s |      21 |  1319537 |  1206945 |     4923    565 |        1 |        8
431.61/431.79	c  429s |      21 |  1326828 |  1213845 |     4923    567 |        1 |        8
433.61/433.79	c  431s |      21 |  1333912 |  1220745 |     4923    570 |        1 |        8
435.71/435.81	c  433s |      21 |  1340339 |  1226745 |     4923    572 |        1 |        8
437.72/437.84	c  435s |      21 |  1346593 |  1232645 |     4923    574 |        1 |        8
439.71/439.86	c  437s |      21 |  1353615 |  1239345 |     4923    577 |        1 |        8
441.71/441.86	c  439s |      21 |  1359895 |  1245345 |     4923    579 |        1 |        8
443.71/443.89	c  441s |      21 |  1366117 |  1251245 |     4923    581 |        1 |        8
445.81/445.91	c  443s |      21 |  1372277 |  1256845 |     4923    583 |        1 |        8
447.81/447.97	c  445s |      21 |  1377303 |  1261645 |     4923    585 |        1 |        8
449.81/449.98	c  447s |      21 |  1383224 |  1267345 |     4923    587 |        1 |        8
451.91/452.02	c  449s |      21 |  1388662 |  1272645 |     4923    589 |        1 |        8
453.91/454.06	c  451s |      21 |  1394761 |  1278445 |     4923    591 |        1 |        8
455.90/456.08	c  453s |      21 |  1400635 |  1284045 |     4923    593 |        1 |        8
457.90/458.09	c  455s |      21 |  1406577 |  1289645 |     4923    595 |        1 |        8
460.00/460.10	c  457s |      21 |  1412459 |  1295045 |     4923    597 |        1 |        8
462.01/462.12	c  459s |      21 |  1417924 |  1300345 |     4923    599 |        1 |        8
464.00/464.12	c  461s |      21 |  1423671 |  1305845 |     4923    601 |        1 |        8
466.00/466.16	c  463s |      21 |  1429843 |  1311745 |     4923    604 |        1 |        8
468.10/468.20	c  465s |      21 |  1435736 |  1317445 |     4923    606 |        1 |        8
470.10/470.20	c  467s |      21 |  1441359 |  1322745 |     4923    608 |        1 |        8
472.10/472.22	c  469s |      21 |  1446959 |  1328045 |     4923    610 |        1 |        8
474.11/474.25	c  471s |      21 |  1452801 |  1333645 |     4923    612 |        1 |        8
476.10/476.29	c  473s |      21 |  1458275 |  1338645 |     4923    614 |        1 |        8
478.20/478.32	c  475s |      21 |  1464171 |  1344045 |     4923    616 |        1 |        8
480.20/480.33	c  477s |      21 |  1470106 |  1349745 |     4923    618 |        1 |        8
482.20/482.35	c  479s |      21 |  1476487 |  1355745 |     4923    620 |        1 |        8
484.20/484.36	c  481s |      21 |  1482723 |  1361745 |     4923    622 |        1 |        8
486.21/486.38	c  483s |      21 |  1489401 |  1368145 |     4923    625 |        1 |        8
488.30/488.41	c  485s |      21 |  1495130 |  1373545 |     4923    627 |        1 |        8
490.30/490.42	c  487s |      21 |  1501270 |  1379345 |     4923    629 |        1 |        8
492.30/492.44	c  489s |      21 |  1508186 |  1385945 |     4923    631 |        1 |        8
494.30/494.45	c  491s |      21 |  1514451 |  1391745 |     4923    633 |        1 |        8
496.30/496.45	c  493s |      21 |  1520366 |  1397345 |     4923    635 |        1 |        8
498.30/498.47	c  496s |      21 |  1526589 |  1403145 |     4923    638 |        1 |        8
500.30/500.49	c  498s |      21 |  1533151 |  1409445 |     4923    640 |        1 |        8
502.39/502.50	c  500s |      21 |  1539705 |  1415645 |     4923    642 |        1 |        8
504.39/504.51	c  502s |      21 |  1546189 |  1421545 |     4923    645 |        1 |        8
506.39/506.52	c  504s |      21 |  1551881 |  1426945 |     4923    647 |        1 |        8
508.39/508.55	c  506s |      21 |  1557680 |  1432545 |     4923    649 |        1 |        8
510.40/510.56	c  508s |      21 |  1563656 |  1438145 |     4923    651 |        1 |        8
512.39/512.59	c  510s |      21 |  1570240 |  1444245 |     4923    653 |        1 |        8
514.49/514.60	c  512s |      21 |  1576336 |  1449945 |     4923    655 |        1 |        8
516.49/516.62	c  514s |      21 |  1582856 |  1456245 |     4923    657 |        1 |        8
518.49/518.65	c  516s |      21 |  1589032 |  1462345 |     4923    660 |        1 |        8
520.49/520.68	c  518s |      21 |  1595482 |  1468445 |     4923    662 |        1 |        8
522.59/522.71	c  520s |      21 |  1600915 |  1473645 |     4923    664 |        1 |        8
524.60/524.72	c  522s |      21 |  1606424 |  1478845 |     4923    666 |        1 |        8
526.59/526.74	c  524s |      21 |  1611915 |  1483945 |     5416    668 |        1 |        8
528.59/528.79	c  526s |      21 |  1616914 |  1488645 |     5416    669 |        1 |        8
530.69/530.80	c  528s |      21 |  1622248 |  1493645 |     5416    671 |        1 |        8
532.69/532.83	c  530s |      21 |  1627088 |  1498245 |     5416    672 |        1 |        8
533.59/533.76	c  531s |      22 |  1629600 |  1500622 |     5416    673 |        1 |        8
535.59/535.77	c  533s |      22 |  1636545 |  1507322 |     5416    676 |        1 |        8
537.59/537.78	c  535s |      22 |  1642354 |  1512922 |     5416    678 |        1 |        8
539.59/539.79	c  537s |      22 |  1648023 |  1518422 |     5416    680 |        1 |        8
541.69/541.80	c  539s |      22 |  1653385 |  1523622 |     5416    681 |        1 |        8
543.69/543.83	c  541s |      22 |  1659354 |  1529422 |     5416    683 |        1 |        8
545.69/545.84	c  543s |      22 |  1664474 |  1534322 |     5416    685 |        1 |        8
547.69/547.85	c  545s |      22 |  1669734 |  1539422 |     5416    687 |        1 |        8
549.69/549.87	c  547s |      22 |  1675531 |  1545022 |     5416    689 |        1 |        8
551.69/551.88	c  549s |      22 |  1681723 |  1551122 |     5416    691 |        1 |        8
553.79/553.91	c  551s |      22 |  1687555 |  1556822 |     5416    693 |        1 |        8
555.79/555.93	c  553s |      22 |  1693218 |  1562422 |     5416    695 |        1 |        8
557.79/557.95	c  555s |      22 |  1699526 |  1568622 |     5416    697 |        1 |        8
559.80/559.98	c  557s |      22 |  1705630 |  1574622 |     5416    699 |        1 |        8
561.89/562.00	c  559s |      22 |  1711619 |  1580222 |     5416    701 |        1 |        8
563.89/564.03	c  561s |      22 |  1717283 |  1585722 |     5416    703 |        1 |        8
565.89/566.04	c  563s |      22 |  1723752 |  1592022 |     5416    706 |        1 |        8
567.89/568.07	c  565s |      22 |  1729708 |  1597822 |     5416    708 |        1 |        8
569.89/570.09	c  567s |      22 |  1735640 |  1603522 |     5416    710 |        1 |        8
571.90/572.10	c  569s |      22 |  1741741 |  1609422 |     5416    712 |        1 |        8
573.99/574.13	c  571s |      22 |  1747515 |  1615022 |     5416    714 |        1 |        8
575.99/576.17	c  573s |      22 |  1753349 |  1620622 |     5416    716 |        1 |        8
578.09/578.20	c  575s |      22 |  1758789 |  1625822 |     5416    718 |        1 |        8
580.09/580.21	c  577s |      22 |  1764621 |  1631422 |     5416    720 |        1 |        8
582.09/582.23	c  579s |      22 |  1770978 |  1637422 |     5416    722 |        1 |        8
584.09/584.27	c  581s |      22 |  1776699 |  1642922 |     5416    724 |        1 |        8
586.09/586.29	c  583s |      22 |  1782479 |  1648522 |     5416    726 |        1 |        8
588.19/588.32	c  585s |      22 |  1788485 |  1654222 |     5416    728 |        1 |        8
590.19/590.35	c  587s |      22 |  1794535 |  1660022 |     5416    730 |        1 |        8
592.29/592.43	c  589s |      22 |  1799958 |  1665122 |     5416    732 |        1 |        8
594.29/594.43	c  591s |      22 |  1805539 |  1670522 |     5416    734 |        1 |        8
596.29/596.44	c  593s |      22 |  1811349 |  1676122 |     5416    736 |        1 |        8
598.29/598.47	c  596s |      22 |  1816794 |  1681422 |     5416    737 |        1 |        8
600.28/600.48	c  598s |      22 |  1823011 |  1687322 |     5416    740 |        1 |        8
602.38/602.51	c  600s |      22 |  1828538 |  1692622 |     5416    741 |        1 |        8
604.38/604.51	c  602s |      22 |  1833959 |  1697822 |     5416    743 |        1 |        8
606.38/606.54	c  604s |      22 |  1839809 |  1703322 |     5416    745 |        1 |        8
608.38/608.58	c  606s |      22 |  1845939 |  1708622 |     5416    747 |        1 |        8
610.49/610.62	c  608s |      22 |  1851751 |  1713922 |     5416    749 |        1 |        8
612.48/612.65	c  610s |      22 |  1857241 |  1719122 |     5416    751 |        1 |        8
614.48/614.66	c  612s |      22 |  1863335 |  1724822 |     5416    753 |        1 |        8
616.48/616.69	c  614s |      22 |  1868733 |  1729422 |     5416    754 |        1 |        8
618.58/618.72	c  616s |      22 |  1873506 |  1733722 |     5416    756 |        1 |        8
620.58/620.76	c  618s |      22 |  1878202 |  1738122 |     5416    757 |        1 |        8
622.68/622.80	c  620s |      22 |  1882956 |  1742422 |     5416    759 |        1 |        8
624.69/624.80	c  622s |      22 |  1887529 |  1746622 |     5416    760 |        1 |        8
626.68/626.82	c  624s |      22 |  1893292 |  1752022 |     5416    762 |        1 |        8
628.68/628.84	c  626s |      22 |  1899361 |  1757722 |     5416    764 |        1 |        8
630.68/630.86	c  628s |      22 |  1904478 |  1762422 |     5416    766 |        1 |        8
632.78/632.91	c  630s |      22 |  1909617 |  1767022 |     5416    767 |        1 |        8
634.78/634.92	c  632s |      22 |  1913653 |  1770822 |     5416    769 |        1 |        8
636.78/636.92	c  634s |      22 |  1920243 |  1776922 |     5416    771 |        1 |        8
638.78/638.95	c  636s |      22 |  1925824 |  1782122 |     5416    772 |        1 |        8
640.78/640.97	c  638s |      22 |  1931129 |  1787022 |     5416    774 |        1 |        8
642.88/643.00	c  640s |      22 |  1937236 |  1792522 |     5416    776 |        1 |        8
644.88/645.05	c  642s |      22 |  1943044 |  1797322 |     5416    778 |        1 |        8
646.87/647.05	c  644s |      22 |  1949221 |  1803222 |     5416    780 |        1 |        8
648.88/649.07	c  646s |      22 |  1955336 |  1809222 |     5416    782 |        1 |        8
650.97/651.10	c  648s |      22 |  1960609 |  1814222 |     5416    783 |        1 |        8
652.97/653.11	c  650s |      22 |  1965897 |  1819022 |     5416    785 |        1 |        8
654.97/655.12	c  652s |      22 |  1970763 |  1823522 |     5416    787 |        1 |        8
656.97/657.18	c  654s |      22 |  1975687 |  1828322 |     5416    788 |        1 |        8
659.07/659.20	c  656s |      22 |  1980511 |  1832822 |     5416    790 |        1 |        8
661.08/661.24	c  658s |      22 |  1984643 |  1836722 |     5416    791 |        1 |        8
663.07/663.24	c  660s |      22 |  1990653 |  1842422 |     5416    793 |        1 |        8
665.07/665.26	c  662s |      22 |  1995487 |  1846922 |     5416    795 |        1 |        8
667.07/667.28	c  664s |      22 |  1999983 |  1851222 |     5416    796 |        1 |        8
669.17/669.34	c  666s |      22 |  2004633 |  1855622 |     5416    797 |        1 |        8
671.27/671.40	c  668s |      22 |  2009670 |  1860322 |     5416    799 |        1 |        8
673.27/673.41	c  670s |      22 |  2014061 |  1864522 |     5416    801 |        1 |        8
675.27/675.42	c  672s |      22 |  2019528 |  1869522 |     5416    802 |        1 |        8
677.37/677.50	c  675s |      22 |  2024648 |  1874222 |     5416    804 |        1 |        8
679.36/679.53	c  677s |      22 |  2028984 |  1878322 |     5416    805 |        1 |        8
681.36/681.54	c  679s |      22 |  2034399 |  1883322 |     5416    807 |        1 |        8
683.36/683.55	c  681s |      22 |  2038792 |  1887422 |     5416    808 |        1 |        8
685.37/685.56	c  683s |      22 |  2042965 |  1891322 |     5416    810 |        1 |        8
687.38/687.57	c  685s |      22 |  2048024 |  1896022 |     5416    811 |        1 |        8
689.37/689.58	c  687s |      22 |  2052665 |  1900322 |     5416    813 |        1 |        8
691.47/691.61	c  689s |      22 |  2057570 |  1904922 |     5416    814 |        1 |        8
693.47/693.66	c  691s |      22 |  2062029 |  1909122 |     5416    816 |        1 |        8
695.47/695.67	c  693s |      22 |  2065981 |  1912622 |     5416    817 |        1 |        8
697.57/697.70	c  695s |      22 |  2070810 |  1917122 |     5416    818 |        1 |        8
699.58/699.70	c  697s |      22 |  2075428 |  1921422 |     5416    820 |        1 |        8
701.57/701.75	c  699s |      22 |  2079849 |  1925422 |     5416    821 |        1 |        8
703.57/703.78	c  701s |      22 |  2084188 |  1929422 |     5416    823 |        1 |        8
705.67/705.82	c  703s |      22 |  2088598 |  1933522 |     5416    824 |        1 |        8
707.67/707.84	c  705s |      22 |  2093765 |  1938322 |     5416    826 |        1 |        8
709.67/709.87	c  707s |      22 |  2098947 |  1943222 |     5416    827 |        1 |        8
711.67/711.89	c  709s |      22 |  2103466 |  1947022 |     5416    829 |        1 |        8
713.77/713.91	c  711s |      22 |  2108036 |  1951222 |     5416    830 |        1 |        8
715.77/715.92	c  713s |      22 |  2112463 |  1955422 |     5416    832 |        1 |        8
717.77/717.95	c  715s |      22 |  2118168 |  1960822 |     5416    833 |        1 |        8
719.77/719.96	c  717s |      22 |  2123142 |  1965422 |     5416    835 |        1 |        8
721.77/721.98	c  719s |      22 |  2128584 |  1970622 |     5416    837 |        1 |        8
723.77/723.98	c  721s |      22 |  2133456 |  1975122 |     5416    838 |        1 |        8
725.76/725.98	c  723s |      22 |  2138391 |  1979522 |     5416    840 |        1 |        8
727.86/728.02	c  725s |      22 |  2142741 |  1983622 |     5416    841 |        1 |        8
729.86/730.04	c  727s |      22 |  2147778 |  1988322 |     5416    843 |        1 |        8
731.86/732.07	c  729s |      22 |  2152750 |  1992922 |     5416    844 |        1 |        8
733.86/734.09	c  731s |      22 |  2157534 |  1997422 |     5416    846 |        1 |        8
735.96/736.12	c  733s |      22 |  2162565 |  2002122 |     5416    847 |        1 |        8
737.97/738.16	c  735s |      22 |  2167023 |  2006122 |     5416    849 |        1 |        8
739.96/740.19	c  737s |      22 |  2171669 |  2010222 |     5416    850 |        1 |        8
742.06/742.22	c  739s |      22 |  2176555 |  2014722 |     5416    852 |        1 |        8
744.06/744.22	c  741s |      22 |  2182020 |  2019722 |     5416    853 |        1 |        8
746.06/746.25	c  743s |      22 |  2186885 |  2024222 |     5416    855 |        1 |        8
748.06/748.26	c  745s |      22 |  2191391 |  2028422 |     5416    856 |        1 |        8
750.06/750.27	c  747s |      22 |  2196386 |  2032922 |     5416    858 |        1 |        8
752.16/752.30	c  749s |      22 |  2201143 |  2037222 |     5416    859 |        1 |        8
754.16/754.31	c  751s |      22 |  2207412 |  2042522 |     5416    861 |        1 |        8
756.16/756.35	c  753s |      22 |  2214553 |  2049022 |     5416    863 |        1 |        8
758.16/758.38	c  755s |      22 |  2221454 |  2055322 |     5416    866 |        1 |        8
760.26/760.42	c  757s |      22 |  2228654 |  2061922 |     5416    868 |        1 |        8
762.26/762.42	c  759s |      22 |  2233992 |  2066922 |     5416    869 |        1 |        8
764.25/764.44	c  761s |      22 |  2238801 |  2070722 |     5416    871 |        1 |        8
766.35/766.50	c  764s |      22 |  2242798 |  2074422 |     5416    872 |        1 |        8
768.35/768.51	c  766s |      22 |  2246708 |  2078122 |     5416    873 |        1 |        8
770.35/770.56	c  768s |      22 |  2252155 |  2083122 |     5416    875 |        1 |        8
772.35/772.58	c  770s |      22 |  2258225 |  2088522 |     5416    877 |        1 |        8
774.46/774.62	c  772s |      22 |  2264162 |  2093822 |     5416    879 |        1 |        8
776.47/776.62	c  774s |      22 |  2270141 |  2099422 |     5416    881 |        1 |        8
778.46/778.63	c  776s |      22 |  2276467 |  2105322 |     5416    883 |        1 |        8
780.46/780.64	c  778s |      22 |  2282760 |  2111322 |     5416    885 |        1 |        8
782.46/782.66	c  780s |      22 |  2287724 |  2116022 |     5416    886 |        1 |        8
784.46/784.67	c  782s |      22 |  2292736 |  2120422 |     5416    888 |        1 |        8
786.56/786.73	c  784s |      22 |  2297357 |  2124622 |     5416    889 |        1 |        8
788.56/788.77	c  786s |      22 |  2302956 |  2129822 |     5416    891 |        1 |        8
790.65/790.80	c  788s |      22 |  2307526 |  2134022 |     5416    892 |        1 |        8
792.65/792.82	c  790s |      22 |  2312933 |  2139222 |     5416    894 |        1 |        8
794.65/794.82	c  792s |      22 |  2319213 |  2145222 |     5416    896 |        1 |        8
796.65/796.83	c  794s |      22 |  2325739 |  2151322 |     5416    898 |        1 |        8
798.65/798.85	c  796s |      22 |  2332202 |  2157222 |     5416    900 |        1 |        8
800.66/800.85	c  798s |      22 |  2337694 |  2162322 |     5416    902 |        1 |        8
802.65/802.88	c  800s |      22 |  2343505 |  2167722 |     5416    904 |        1 |        8
804.65/804.88	c  802s |      22 |  2349992 |  2173722 |     5416    906 |        1 |        8
806.75/806.91	c  804s |      22 |  2356631 |  2179522 |     5416    908 |        1 |        8
808.75/808.93	c  806s |      22 |  2362357 |  2184822 |     5416    910 |        1 |        8
810.75/810.93	c  808s |      22 |  2367066 |  2189422 |     5416    911 |        1 |        8
812.76/812.96	c  810s |      22 |  2371344 |  2193622 |     5416    913 |        1 |        8
814.85/815.01	c  812s |      22 |  2375886 |  2197922 |     5416    914 |        1 |        8
816.85/817.03	c  814s |      22 |  2379968 |  2201822 |     5416    915 |        1 |        8
818.85/819.06	c  816s |      22 |  2384123 |  2205622 |     5416    917 |        1 |        8
820.85/821.06	c  818s |      22 |  2388860 |  2210122 |     5416    918 |        1 |        8
822.85/823.08	c  820s |      22 |  2393727 |  2214822 |     5416    920 |        1 |        8
824.86/825.09	c  822s |      22 |  2399199 |  2219922 |     5416    921 |        1 |        8
826.95/827.10	c  824s |      22 |  2404476 |  2224922 |     5416    923 |        1 |        8
828.95/829.12	c  826s |      22 |  2410617 |  2230622 |     5958    925 |        1 |        8
830.95/831.13	c  828s |      22 |  2415770 |  2235522 |     5958    926 |        1 |        8
832.95/833.15	c  830s |      22 |  2421163 |  2240522 |     5958    928 |        1 |        8
834.95/835.19	c  832s |      22 |  2426189 |  2245222 |     5958    929 |        1 |        8
837.05/837.21	c  834s |      22 |  2432314 |  2250822 |     5958    931 |        1 |        8
837.05/837.29	c  834s |      23 |  2432548 |  2251038 |     5958    931 |        1 |        8
839.05/839.29	c  836s |      23 |  2440286 |  2258538 |     5958    934 |        1 |        8
841.15/841.31	c  838s |      23 |  2447290 |  2265238 |     5958    936 |        1 |        8
843.15/843.32	c  840s |      23 |  2453965 |  2271038 |     5958    938 |        1 |        8
845.15/845.33	c  842s |      23 |  2460144 |  2276538 |     5958    939 |        1 |        8
847.15/847.34	c  844s |      23 |  2466061 |  2281638 |     5958    941 |        1 |        8
849.15/849.36	c  846s |      23 |  2471363 |  2286538 |     5958    942 |        1 |        8
851.14/851.37	c  848s |      23 |  2477592 |  2292338 |     5958    944 |        1 |        8
853.24/853.40	c  850s |      23 |  2483391 |  2297638 |     5958    946 |        1 |        8
855.24/855.42	c  852s |      23 |  2489546 |  2303438 |     5958    948 |        1 |        8
857.24/857.43	c  854s |      23 |  2496348 |  2309738 |     5958    950 |        1 |        8
859.24/859.46	c  856s |      23 |  2502172 |  2314938 |     5958    951 |        1 |        8
861.25/861.49	c  859s |      23 |  2507788 |  2320138 |     5958    953 |        1 |        8
863.35/863.52	c  861s |      23 |  2513812 |  2325638 |     5958    955 |        1 |        8
865.34/865.54	c  863s |      23 |  2519347 |  2330938 |     5958    956 |        1 |        8
867.34/867.54	c  865s |      23 |  2525483 |  2336138 |     5958    958 |        1 |        8
869.34/869.54	c  867s |      23 |  2531205 |  2341338 |     5958    959 |        1 |        8
871.34/871.56	c  869s |      23 |  2536779 |  2346538 |     5958    961 |        1 |        8
873.35/873.59	c  871s |      23 |  2541684 |  2351138 |     5958    963 |        1 |        8
875.34/875.59	c  873s |      23 |  2547252 |  2356238 |     5958    964 |        1 |        8
877.44/877.62	c  875s |      23 |  2552579 |  2361038 |     5958    966 |        1 |        8
879.44/879.62	c  877s |      23 |  2558028 |  2366238 |     5958    967 |        1 |        8
881.44/881.63	c  879s |      23 |  2563879 |  2371638 |     5958    969 |        1 |        8
883.44/883.63	c  881s |      23 |  2569001 |  2376338 |     5958    970 |        1 |        8
885.44/885.64	c  883s |      23 |  2574658 |  2381538 |     5958    972 |        1 |        8
887.44/887.67	c  885s |      23 |  2580172 |  2386538 |     5958    974 |        1 |        8
889.44/889.70	c  887s |      23 |  2585838 |  2391638 |     5958    975 |        1 |        8
891.54/891.73	c  889s |      23 |  2590706 |  2396038 |     5958    977 |        1 |        8
893.54/893.76	c  891s |      23 |  2596425 |  2401238 |     5958    978 |        1 |        8
895.53/895.79	c  893s |      23 |  2602340 |  2406538 |     5958    980 |        1 |        8
897.63/897.81	c  895s |      23 |  2607923 |  2411538 |     5958    981 |        1 |        8
899.64/899.84	c  897s |      23 |  2613194 |  2416238 |     5958    983 |        1 |        8
901.63/901.87	c  899s |      23 |  2619270 |  2421538 |     5958    984 |        1 |        8
903.63/903.88	c  901s |      23 |  2624891 |  2426638 |     5958    986 |        1 |        8
905.63/905.89	c  903s |      23 |  2630033 |  2431238 |     5958    988 |        1 |        8
907.74/907.90	c  905s |      23 |  2635120 |  2435838 |     5958    989 |        1 |        8
909.74/909.93	c  907s |      23 |  2641039 |  2440738 |     5958    990 |        1 |        8
911.74/911.95	c  909s |      23 |  2646321 |  2445438 |     5958    992 |        1 |        8
913.74/913.97	c  911s |      23 |  2651438 |  2450238 |     5958    993 |        1 |        8
915.74/915.98	c  913s |      23 |  2657080 |  2455538 |     5958    995 |        1 |        8
917.84/918.01	c  915s |      23 |  2662301 |  2460338 |     5958    997 |        1 |        8
919.84/920.02	c  917s |      23 |  2667209 |  2464938 |     5958    998 |        1 |        8
921.83/922.04	c  919s |      23 |  2672275 |  2469538 |     5958    999 |        1 |        8
923.84/924.08	c  921s |      23 |  2677514 |  2474138 |     5958   1001 |        1 |        8
925.93/926.10	c  923s |      23 |  2682703 |  2478738 |     5958   1002 |        1 |        8
927.93/928.10	c  925s |      23 |  2687932 |  2483438 |     5958   1004 |        1 |        8
929.93/930.11	c  927s |      23 |  2692558 |  2487738 |     5958   1005 |        1 |        8
931.93/932.18	c  929s |      23 |  2697448 |  2492338 |     5958   1007 |        1 |        8
933.93/934.19	c  931s |      23 |  2703252 |  2497938 |     5958   1008 |        1 |        8
936.03/936.20	c  933s |      23 |  2708852 |  2503338 |     5958   1010 |        1 |        8
938.03/938.22	c  935s |      23 |  2714961 |  2509038 |     5958   1012 |        1 |        8
940.03/940.23	c  937s |      23 |  2721163 |  2514738 |     5958   1014 |        1 |        8
942.02/942.23	c  939s |      23 |  2727193 |  2520138 |     5958   1015 |        1 |        8
944.02/944.25	c  941s |      23 |  2733117 |  2525538 |     5958   1017 |        1 |        8
946.02/946.25	c  943s |      23 |  2739210 |  2531238 |     5958   1019 |        1 |        8
948.03/948.28	c  945s |      23 |  2745341 |  2536938 |     5958   1021 |        1 |        8
950.12/950.30	c  947s |      23 |  2751303 |  2542438 |     5958   1022 |        1 |        8
952.12/952.34	c  949s |      23 |  2757892 |  2548238 |     5958   1024 |        1 |        8
954.12/954.37	c  951s |      23 |  2763797 |  2553638 |     5958   1026 |        1 |        8
956.11/956.39	c  953s |      23 |  2769606 |  2558938 |     5958   1027 |        1 |        8
958.21/958.40	c  955s |      23 |  2775303 |  2564138 |     5958   1029 |        1 |        8
960.22/960.43	c  957s |      23 |  2781166 |  2569438 |     5958   1031 |        1 |        8
962.21/962.48	c  960s |      23 |  2787345 |  2575138 |     5958   1032 |        1 |        8
964.21/964.49	c  962s |      23 |  2793311 |  2580538 |     5958   1034 |        1 |        8
966.31/966.53	c  964s |      23 |  2799117 |  2585838 |     5958   1036 |        1 |        8
968.31/968.55	c  966s |      23 |  2804844 |  2590838 |     5958   1037 |        1 |        8
970.31/970.58	c  968s |      23 |  2810257 |  2595538 |     5958   1039 |        1 |        8
972.40/972.62	c  970s |      23 |  2815724 |  2600538 |     5958   1040 |        1 |        8
974.41/974.66	c  972s |      23 |  2820849 |  2605338 |     5958   1042 |        1 |        8
976.40/976.69	c  974s |      23 |  2826639 |  2610638 |     5958   1044 |        1 |        8
978.50/978.70	c  976s |      23 |  2831760 |  2615438 |     5958   1045 |        1 |        8
980.50/980.71	c  978s |      23 |  2837323 |  2620538 |     5958   1047 |        1 |        8
982.50/982.73	c  980s |      23 |  2842279 |  2625138 |     5958   1048 |        1 |        8
984.50/984.74	c  982s |      23 |  2847940 |  2630438 |     5958   1050 |        1 |        8
986.50/986.77	c  984s |      23 |  2853303 |  2635338 |     5958   1051 |        1 |        8
988.49/988.78	c  986s |      23 |  2858833 |  2640238 |     5958   1053 |        1 |        8
990.59/990.81	c  988s |      23 |  2864031 |  2644838 |     5958   1054 |        1 |        8
992.59/992.84	c  990s |      23 |  2868338 |  2648838 |     5958   1055 |        1 |        8
994.59/994.88	c  992s |      23 |  2873157 |  2653338 |     5958   1057 |        1 |        8
996.69/996.90	c  994s |      23 |  2879510 |  2659338 |     5958   1059 |        1 |        8
998.71/998.93	c  996s |      23 |  2885300 |  2664738 |     5958   1060 |        1 |        8
1000.70/1000.98	c  998s |      23 |  2890118 |  2669338 |     5958   1062 |        1 |        8
1002.70/1002.99	c 1000s |      23 |  2894840 |  2673838 |     5958   1063 |        1 |        8
1004.80/1005.03	c 1002s |      23 |  2900653 |  2678938 |     5958   1065 |        1 |        8
1006.80/1007.04	c 1004s |      23 |  2905553 |  2683438 |     5958   1066 |        1 |        8
1008.80/1009.06	c 1006s |      23 |  2910628 |  2688138 |     5958   1068 |        1 |        8
1010.80/1011.09	c 1008s |      23 |  2915034 |  2692238 |     5958   1069 |        1 |        8
1012.90/1013.15	c 1010s |      23 |  2920000 |  2696938 |     5958   1071 |        1 |        8
1014.89/1015.17	c 1012s |      23 |  2926178 |  2702738 |     5958   1072 |        1 |        8
1016.89/1017.17	c 1014s |      23 |  2931383 |  2707638 |     5958   1074 |        1 |        8
1018.89/1019.18	c 1016s |      23 |  2936267 |  2712138 |     5958   1075 |        1 |        8
1020.99/1021.20	c 1018s |      23 |  2942115 |  2717438 |     5958   1077 |        1 |        8
1022.99/1023.22	c 1020s |      23 |  2947670 |  2722538 |     5958   1079 |        1 |        8
1025.00/1025.25	c 1022s |      23 |  2952836 |  2727338 |     5958   1080 |        1 |        8
1026.99/1027.28	c 1024s |      23 |  2957735 |  2731738 |     5958   1081 |        1 |        8
1028.99/1029.29	c 1026s |      23 |  2963245 |  2736938 |     5958   1083 |        1 |        8
1031.09/1031.33	c 1028s |      23 |  2968347 |  2741938 |     5958   1085 |        1 |        8
1033.08/1033.35	c 1030s |      23 |  2975480 |  2748838 |     5958   1087 |        1 |        8
1035.08/1035.38	c 1032s |      23 |  2982358 |  2755438 |     5958   1089 |        1 |        8
1037.19/1037.42	c 1034s |      23 |  2988525 |  2761338 |     5958   1091 |        1 |        8
1039.18/1039.42	c 1036s |      23 |  2993722 |  2766338 |     5958   1092 |        1 |        8
1041.18/1041.44	c 1038s |      23 |  2999567 |  2771938 |     5958   1094 |        1 |        8
1043.18/1043.44	c 1040s |      23 |  3005174 |  2777438 |     5958   1096 |        1 |        8
1045.18/1045.48	c 1043s |      23 |  3011274 |  2783238 |     5958   1097 |        1 |        8
1047.18/1047.49	c 1045s |      23 |  3016811 |  2788638 |     5958   1099 |        1 |        8
1049.29/1049.51	c 1047s |      23 |  3022230 |  2793838 |     5958   1101 |        1 |        8
1051.28/1051.55	c 1049s |      23 |  3028328 |  2799438 |     5958   1102 |        1 |        8
1053.27/1053.57	c 1051s |      23 |  3034258 |  2805038 |     5958   1104 |        1 |        8
1055.27/1055.59	c 1053s |      23 |  3040630 |  2811138 |     5958   1106 |        1 |        8
1057.37/1057.62	c 1055s |      23 |  3046907 |  2817138 |     5958   1108 |        1 |        8
1059.37/1059.66	c 1057s |      23 |  3052676 |  2822338 |     5958   1109 |        1 |        8
1061.38/1061.68	c 1059s |      23 |  3058278 |  2827438 |     5958   1111 |        1 |        8
1063.37/1063.69	c 1061s |      23 |  3064790 |  2833738 |     5958   1113 |        1 |        8
1065.47/1065.72	c 1063s |      23 |  3070216 |  2839038 |     5958   1115 |        1 |        8
1067.47/1067.75	c 1065s |      23 |  3075851 |  2844438 |     5958   1116 |        1 |        8
1069.47/1069.77	c 1067s |      23 |  3081101 |  2849538 |     5958   1118 |        1 |        8
1071.46/1071.79	c 1069s |      23 |  3086787 |  2854938 |     5958   1120 |        1 |        8
1073.56/1073.83	c 1071s |      23 |  3092738 |  2860638 |     5958   1121 |        1 |        8
1075.57/1075.85	c 1073s |      23 |  3097055 |  2864738 |     5958   1123 |        1 |        8
1077.56/1077.87	c 1075s |      23 |  3102872 |  2870338 |     5958   1124 |        1 |        8
1079.56/1079.88	c 1077s |      23 |  3108706 |  2875838 |     5958   1126 |        1 |        8
1081.55/1081.89	c 1079s |      23 |  3114874 |  2881738 |     5958   1128 |        1 |        8
1083.65/1083.92	c 1081s |      23 |  3121094 |  2887438 |     5958   1130 |        1 |        8
1085.65/1085.96	c 1083s |      23 |  3127408 |  2893338 |     5958   1131 |        1 |        8
1087.66/1087.98	c 1085s |      23 |  3133103 |  2898638 |     5958   1133 |        1 |        8
1089.65/1089.98	c 1087s |      23 |  3139540 |  2904638 |     5958   1135 |        1 |        8
1091.75/1092.01	c 1089s |      23 |  3145974 |  2910738 |     5958   1137 |        1 |        8
1093.75/1094.05	c 1091s |      23 |  3151291 |  2915538 |     5958   1138 |        1 |        8
1095.75/1096.08	c 1093s |      23 |  3156922 |  2920638 |     5958   1140 |        1 |        8
1097.86/1098.12	c 1095s |      23 |  3162129 |  2925638 |     5958   1142 |        1 |        8
1099.86/1100.15	c 1097s |      23 |  3167665 |  2930938 |     5958   1143 |        1 |        8
1101.85/1102.15	c 1099s |      23 |  3172594 |  2935638 |     5958   1145 |        1 |        8
1103.85/1104.17	c 1101s |      23 |  3178029 |  2940838 |     5958   1146 |        1 |        8
1105.85/1106.18	c 1103s |      23 |  3184132 |  2946638 |     5958   1148 |        1 |        8
1107.95/1108.20	c 1105s |      23 |  3189714 |  2951938 |     5958   1150 |        1 |        8
1109.95/1110.23	c 1107s |      23 |  3195019 |  2956838 |     5958   1151 |        1 |        8
1111.95/1112.24	c 1109s |      23 |  3200277 |  2961638 |     5958   1153 |        1 |        8
1113.94/1114.26	c 1111s |      23 |  3205871 |  2966938 |     5958   1154 |        1 |        8
1116.04/1116.30	c 1113s |      23 |  3211502 |  2972338 |     5958   1156 |        1 |        8
1118.04/1118.32	c 1115s |      23 |  3216146 |  2976738 |     5958   1157 |        1 |        8
1120.04/1120.34	c 1117s |      23 |  3222279 |  2982638 |     5958   1159 |        1 |        8
1122.04/1122.36	c 1119s |      23 |  3227926 |  2988138 |     5958   1161 |        1 |        8
1124.14/1124.40	c 1121s |      23 |  3233086 |  2993038 |     5958   1162 |        1 |        8
1126.15/1126.40	c 1123s |      23 |  3239096 |  2998738 |     5958   1164 |        1 |        8
1128.14/1128.40	c 1125s |      23 |  3245714 |  3004938 |     5958   1166 |        1 |        8
1130.14/1130.41	c 1127s |      23 |  3251651 |  3010238 |     5958   1168 |        1 |        8
1132.14/1132.45	c 1129s |      23 |  3257094 |  3015138 |     5958   1169 |        1 |        8
1134.14/1134.47	c 1132s |      23 |  3263399 |  3020838 |     5958   1171 |        1 |        8
1136.15/1136.49	c 1134s |      23 |  3269253 |  3026238 |     5958   1173 |        1 |        8
1138.24/1138.52	c 1136s |      23 |  3275391 |  3031938 |     5958   1175 |        1 |        8
1140.24/1140.55	c 1138s |      23 |  3281429 |  3037438 |     5958   1176 |        1 |        8
1142.24/1142.57	c 1140s |      23 |  3287038 |  3042838 |     5958   1178 |        1 |        8
1144.34/1144.60	c 1142s |      23 |  3292314 |  3047738 |     5958   1179 |        1 |        8
1146.33/1146.62	c 1144s |      23 |  3298305 |  3053138 |     5958   1181 |        1 |        8
1148.33/1148.64	c 1146s |      23 |  3304129 |  3058738 |     5958   1183 |        1 |        8
1150.34/1150.65	c 1148s |      23 |  3309809 |  3064138 |     5958   1185 |        1 |        8
1152.33/1152.67	c 1150s |      23 |  3315754 |  3069838 |     5958   1186 |        1 |        8
1154.33/1154.68	c 1152s |      23 |  3321848 |  3075638 |     5958   1188 |        1 |        8
1156.43/1156.70	c 1154s |      23 |  3327496 |  3081038 |     5958   1190 |        1 |        8
1158.43/1158.76	c 1156s |      23 |  3333286 |  3086538 |     5958   1192 |        1 |        8
1160.53/1160.80	c 1158s |      23 |  3339352 |  3092338 |     5958   1193 |        1 |        8
1162.53/1162.82	c 1160s |      23 |  3344933 |  3097538 |     5958   1195 |        1 |        8
1164.52/1164.82	c 1162s |      23 |  3350792 |  3103038 |     5958   1197 |        1 |        8
1166.52/1166.86	c 1164s |      23 |  3356687 |  3108538 |     5958   1198 |        1 |        8
1168.52/1168.87	c 1166s |      23 |  3362332 |  3113938 |     5958   1200 |        1 |        8
1170.52/1170.87	c 1168s |      23 |  3368719 |  3119838 |     5958   1202 |        1 |        8
1172.52/1172.89	c 1170s |      23 |  3374667 |  3125438 |     5958   1204 |        1 |        8
1174.52/1174.89	c 1172s |      23 |  3380517 |  3130938 |     5958   1205 |        1 |        8
1176.62/1176.92	c 1174s |      23 |  3386672 |  3136438 |     5958   1207 |        1 |        8
1178.62/1178.96	c 1176s |      23 |  3392616 |  3141938 |     5958   1209 |        1 |        8
1180.62/1180.96	c 1178s |      23 |  3398553 |  3147238 |     5958   1210 |        1 |        8
1182.61/1182.98	c 1180s |      23 |  3404206 |  3152538 |     5958   1212 |        1 |        8
1184.71/1185.02	c 1182s |      23 |  3409453 |  3157338 |     5958   1213 |        1 |        8
1186.72/1187.05	c 1184s |      23 |  3415585 |  3162938 |     5958   1215 |        1 |        8
1188.71/1189.09	c 1186s |      23 |  3421858 |  3168838 |     5958   1217 |        1 |        8
1190.81/1191.10	c 1188s |      23 |  3427009 |  3173538 |     5958   1219 |        1 |        8
1192.80/1193.12	c 1190s |      23 |  3432972 |  3178838 |     5958   1220 |        1 |        8
1194.80/1195.13	c 1192s |      23 |  3438618 |  3184238 |     5958   1222 |        1 |        8
1196.80/1197.15	c 1194s |      23 |  3444282 |  3189638 |     5958   1224 |        1 |        8
1198.81/1199.15	c 1196s |      23 |  3450244 |  3195338 |     5958   1225 |        1 |        8
1200.80/1201.18	c 1198s |      23 |  3456198 |  3200938 |     5958   1227 |        1 |        8
1202.80/1203.19	c 1200s |      23 |  3462106 |  3206538 |     5958   1229 |        1 |        8
1204.90/1205.20	c 1202s |      23 |  3468047 |  3212138 |     5958   1230 |        1 |        8
1206.90/1207.23	c 1204s |      23 |  3474182 |  3217838 |     5958   1232 |        1 |        8
1208.90/1209.24	c 1206s |      23 |  3479925 |  3223238 |     5958   1234 |        1 |        8
1210.90/1211.27	c 1208s |      23 |  3485216 |  3228138 |     5958   1235 |        1 |        8
1212.89/1213.30	c 1210s |      23 |  3490316 |  3232938 |     5958   1237 |        1 |        8
1214.99/1215.33	c 1212s |      23 |  3496625 |  3238638 |     5958   1239 |        1 |        8
1216.99/1217.34	c 1214s |      23 |  3501638 |  3243438 |     5958   1240 |        1 |        8
1218.99/1219.35	c 1216s |      23 |  3506232 |  3247938 |     5958   1242 |        1 |        8
1220.99/1221.38	c 1218s |      23 |  3511039 |  3252538 |     5958   1243 |        1 |        8
1222.99/1223.39	c 1220s |      23 |  3515988 |  3257138 |     5958   1244 |        1 |        8
1224.99/1225.39	c 1222s |      23 |  3521213 |  3262038 |     5958   1246 |        1 |        8
1226.99/1227.39	c 1224s |      23 |  3527557 |  3268138 |     5958   1248 |        1 |        8
1229.09/1229.40	c 1226s |      23 |  3533377 |  3273838 |     5958   1250 |        1 |        8
1231.08/1231.40	c 1228s |      23 |  3539457 |  3279738 |     5958   1251 |        1 |        8
1233.09/1233.41	c 1230s |      23 |  3544921 |  3284938 |     5958   1253 |        1 |        8
1235.09/1235.44	c 1232s |      23 |  3549512 |  3288938 |     5958   1254 |        1 |        8
1237.09/1237.45	c 1234s |      23 |  3554673 |  3293738 |     5958   1256 |        1 |        8
1239.09/1239.48	c 1237s |      23 |  3559615 |  3298238 |     5958   1257 |        1 |        8
1241.19/1241.53	c 1239s |      23 |  3564932 |  3303338 |     5958   1259 |        1 |        8
1243.18/1243.55	c 1241s |      23 |  3570599 |  3308838 |     5958   1260 |        1 |        8
1245.18/1245.56	c 1243s |      23 |  3576022 |  3314038 |     5958   1262 |        1 |        8
1247.19/1247.58	c 1245s |      23 |  3581576 |  3319438 |     5958   1264 |        1 |        8
1249.29/1249.63	c 1247s |      23 |  3587651 |  3325238 |     5958   1266 |        1 |        8
1251.28/1251.65	c 1249s |      23 |  3593768 |  3331038 |     5958   1267 |        1 |        8
1253.27/1253.65	c 1251s |      23 |  3599215 |  3336338 |     5958   1269 |        1 |        8
1255.27/1255.68	c 1253s |      23 |  3605766 |  3342638 |     5958   1271 |        1 |        8
1257.37/1257.70	c 1255s |      23 |  3612106 |  3348638 |     6554   1273 |        1 |        8
1259.37/1259.71	c 1257s |      23 |  3618330 |  3354438 |     6554   1274 |        1 |        8
1261.38/1261.76	c 1259s |      23 |  3624770 |  3360538 |     6554   1276 |        1 |        8
1263.37/1263.80	c 1261s |      23 |  3630530 |  3365938 |     6554   1278 |        1 |        8
1265.47/1265.82	c 1263s |      23 |  3637274 |  3372438 |     6554   1279 |        1 |        8
1266.87/1267.24	c 1264s |      24 |  3641651 |  3376662 |     6554   1281 |        1 |        8
1268.87/1269.28	c 1266s |      24 |  3648157 |  3382762 |     6554   1282 |        1 |        8
1270.97/1271.32	c 1268s |      24 |  3653172 |  3387462 |     6554   1284 |        1 |        8
1272.96/1273.35	c 1270s |      24 |  3658746 |  3392962 |     6554   1285 |        1 |        8
1274.96/1275.37	c 1272s |      24 |  3663340 |  3397462 |     6554   1287 |        1 |        8
1277.06/1277.45	c 1274s |      24 |  3668264 |  3402162 |     6554   1288 |        1 |        8
1279.07/1279.48	c 1277s |      24 |  3673202 |  3406862 |     6554   1289 |        1 |        8
1281.17/1281.51	c 1279s |      24 |  3677746 |  3410862 |     6554   1290 |        1 |        8
1283.16/1283.52	c 1281s |      24 |  3681640 |  3414462 |     6554   1291 |        1 |        8
1285.15/1285.55	c 1283s |      24 |  3686446 |  3418762 |     6554   1293 |        1 |        8
1287.15/1287.57	c 1285s |      24 |  3691778 |  3423462 |     6554   1294 |        1 |        8
1289.25/1289.61	c 1287s |      24 |  3696475 |  3427862 |     6554   1295 |        1 |        8
1291.25/1291.63	c 1289s |      24 |  3701230 |  3432562 |     6554   1297 |        1 |        8
1293.26/1293.66	c 1291s |      24 |  3705900 |  3436762 |     6554   1298 |        1 |        8
1295.25/1295.67	c 1293s |      24 |  3711279 |  3441762 |     6554   1299 |        1 |        8
1297.25/1297.67	c 1295s |      24 |  3717175 |  3447162 |     6554   1301 |        1 |        8
1299.25/1299.69	c 1297s |      24 |  3723102 |  3452662 |     6554   1302 |        1 |        8
1301.35/1301.71	c 1299s |      24 |  3728740 |  3457962 |     6554   1304 |        1 |        8
1303.35/1303.72	c 1301s |      24 |  3733160 |  3462162 |     6554   1305 |        1 |        8
1305.35/1305.72	c 1303s |      24 |  3739453 |  3468062 |     6554   1307 |        1 |        8
1307.35/1307.75	c 1305s |      24 |  3745444 |  3473362 |     6554   1308 |        1 |        8
1309.35/1309.79	c 1307s |      24 |  3750957 |  3478462 |     6554   1310 |        1 |        8
1311.44/1311.81	c 1309s |      24 |  3756530 |  3483562 |     6554   1311 |        1 |        8
1313.44/1313.84	c 1311s |      24 |  3762419 |  3488962 |     6554   1313 |        1 |        8
1315.44/1315.87	c 1313s |      24 |  3769052 |  3494962 |     6554   1314 |        1 |        8
1317.55/1317.93	c 1315s |      24 |  3774465 |  3499962 |     6554   1316 |        1 |        8
1319.54/1319.96	c 1317s |      24 |  3779992 |  3504762 |     6554   1317 |        1 |        8
1321.64/1322.00	c 1319s |      24 |  3785008 |  3508862 |     6554   1318 |        1 |        8
1323.64/1324.03	c 1321s |      24 |  3789900 |  3513162 |     6554   1320 |        1 |        8
1325.64/1326.05	c 1323s |      24 |  3795992 |  3518862 |     6554   1321 |        1 |        8
1327.64/1328.07	c 1325s |      24 |  3801401 |  3523862 |     6554   1323 |        1 |        8
1329.73/1330.10	c 1327s |      24 |  3807569 |  3529762 |     6554   1324 |        1 |        8
1331.63/1332.10	c 1329s |      24 |  3813461 |  3535362 |     6554   1326 |        1 |        8
1333.73/1334.11	c 1331s |      24 |  3819610 |  3541262 |     6554   1327 |        1 |        8
1335.73/1336.14	c 1333s |      24 |  3825089 |  3546462 |     6554   1329 |        1 |        8
1337.73/1338.18	c 1335s |      24 |  3830786 |  3551962 |     6554   1331 |        1 |        8
1339.83/1340.22	c 1337s |      24 |  3836660 |  3557362 |     6554   1332 |        1 |        8
1341.83/1342.23	c 1339s |      24 |  3842714 |  3563162 |     6554   1334 |        1 |        8
1343.83/1344.25	c 1341s |      24 |  3848868 |  3568962 |     6554   1335 |        1 |        8
1345.82/1346.28	c 1343s |      24 |  3855149 |  3574962 |     6554   1337 |        1 |        8
1347.82/1348.28	c 1345s |      24 |  3860761 |  3580362 |     6554   1339 |        1 |        8
1349.82/1350.29	c 1347s |      24 |  3867558 |  3586762 |     6554   1340 |        1 |        8
1351.92/1352.32	c 1349s |      24 |  3873807 |  3592662 |     6554   1342 |        1 |        8
1353.92/1354.34	c 1351s |      24 |  3879932 |  3598362 |     6554   1344 |        1 |        8
1355.93/1356.34	c 1353s |      24 |  3885592 |  3603662 |     6554   1345 |        1 |        8
1357.92/1358.36	c 1355s |      24 |  3891960 |  3609562 |     6554   1347 |        1 |        8
1359.92/1360.38	c 1357s |      24 |  3897246 |  3614562 |     6554   1348 |        1 |        8
1361.92/1362.38	c 1359s |      24 |  3902685 |  3619662 |     6554   1350 |        1 |        8
1363.91/1364.39	c 1361s |      24 |  3909027 |  3625562 |     6554   1351 |        1 |        8
1366.01/1366.40	c 1363s |      24 |  3915311 |  3631462 |     6554   1353 |        1 |        8
1368.02/1368.41	c 1365s |      24 |  3921200 |  3637062 |     6554   1355 |        1 |        8
1370.01/1370.42	c 1367s |      24 |  3927244 |  3642762 |     6554   1356 |        1 |        8
1372.01/1372.47	c 1370s |      24 |  3933000 |  3648162 |     6554   1358 |        1 |        8
1374.01/1374.47	c 1372s |      24 |  3938840 |  3653362 |     6554   1359 |        1 |        8
1376.01/1376.49	c 1374s |      24 |  3944683 |  3658762 |     6554   1361 |        1 |        8
1378.11/1378.52	c 1376s |      24 |  3950829 |  3664462 |     6554   1362 |        1 |        8
1380.12/1380.52	c 1378s |      24 |  3956625 |  3669962 |     6554   1364 |        1 |        8
1382.10/1382.53	c 1380s |      24 |  3963013 |  3675862 |     6554   1366 |        1 |        8
1384.10/1384.56	c 1382s |      24 |  3969107 |  3681662 |     6554   1367 |        1 |        8
1386.10/1386.57	c 1384s |      24 |  3975224 |  3687462 |     6554   1369 |        1 |        8
1388.10/1388.57	c 1386s |      24 |  3980741 |  3692662 |     6554   1370 |        1 |        8
1390.20/1390.61	c 1388s |      24 |  3987042 |  3698662 |     6554   1372 |        1 |        8
1392.20/1392.64	c 1390s |      24 |  3992521 |  3703862 |     6554   1374 |        1 |        8
1394.20/1394.66	c 1392s |      24 |  3998542 |  3709462 |     6554   1375 |        1 |        8
1396.20/1396.68	c 1394s |      24 |  4004046 |  3714462 |     6554   1377 |        1 |        8
1398.30/1398.70	c 1396s |      24 |  4010311 |  3720262 |     6554   1378 |        1 |        8
1400.30/1400.73	c 1398s |      24 |  4016760 |  3726362 |     6554   1380 |        1 |        8
1402.29/1402.79	c 1400s |      24 |  4022708 |  3731962 |     6554   1382 |        1 |        8
1404.40/1404.81	c 1402s |      24 |  4029086 |  3738062 |     6554   1383 |        1 |        8
1406.39/1406.84	c 1404s |      24 |  4034998 |  3743662 |     6554   1385 |        1 |        8
1408.39/1408.84	c 1406s |      24 |  4040950 |  3749162 |     6554   1386 |        1 |        8
1410.39/1410.85	c 1408s |      24 |  4047489 |  3755362 |     6554   1388 |        1 |        8
1412.39/1412.87	c 1410s |      24 |  4053509 |  3760962 |     6554   1390 |        1 |        8
1414.39/1414.89	c 1412s |      24 |  4059678 |  3766762 |     6554   1391 |        1 |        8
1416.49/1416.93	c 1414s |      24 |  4066136 |  3772762 |     6554   1393 |        1 |        8
1418.49/1418.97	c 1416s |      24 |  4071964 |  3778362 |     6554   1395 |        1 |        8
1420.49/1420.99	c 1418s |      24 |  4076595 |  3782862 |     6554   1396 |        1 |        8
1422.59/1423.01	c 1420s |      24 |  4082117 |  3788062 |     6554   1397 |        1 |        8
1424.59/1425.01	c 1422s |      24 |  4088558 |  3794062 |     6554   1399 |        1 |        8
1426.59/1427.04	c 1424s |      24 |  4094371 |  3799562 |     6554   1401 |        1 |        8
1428.59/1429.05	c 1426s |      24 |  4100058 |  3804862 |     6554   1402 |        1 |        8
1430.59/1431.09	c 1428s |      24 |  4105811 |  3810162 |     6554   1404 |        1 |        8
1432.68/1433.11	c 1430s |      24 |  4111666 |  3815562 |     6554   1405 |        1 |        8
1434.68/1435.13	c 1432s |      24 |  4116788 |  3820262 |     6554   1407 |        1 |        8
1436.68/1437.18	c 1434s |      24 |  4121404 |  3824662 |     6554   1408 |        1 |        8
1438.78/1439.20	c 1436s |      24 |  4126266 |  3829062 |     6554   1409 |        1 |        8
1440.78/1441.21	c 1438s |      24 |  4130801 |  3833262 |     6554   1410 |        1 |        8
1442.78/1443.22	c 1440s |      24 |  4135091 |  3836962 |     6554   1411 |        1 |        8
1444.78/1445.27	c 1442s |      24 |  4140252 |  3841562 |     6554   1413 |        1 |        8
1446.78/1447.27	c 1444s |      24 |  4145070 |  3846162 |     6554   1414 |        1 |        8
1448.88/1449.31	c 1446s |      24 |  4150708 |  3851162 |     6554   1415 |        1 |        8
1450.88/1451.33	c 1448s |      24 |  4155871 |  3855862 |     6554   1417 |        1 |        8
1452.87/1453.36	c 1450s |      24 |  4161571 |  3861062 |     6554   1418 |        1 |        8
1454.88/1455.37	c 1452s |      24 |  4166533 |  3865762 |     6554   1419 |        1 |        8
1456.97/1457.41	c 1454s |      24 |  4171718 |  3870562 |     6554   1421 |        1 |        8
1458.97/1459.42	c 1456s |      24 |  4176996 |  3875362 |     6554   1422 |        1 |        8
1460.97/1461.44	c 1458s |      24 |  4182448 |  3880362 |     6554   1424 |        1 |        8
1462.97/1463.47	c 1461s |      24 |  4188466 |  3886062 |     6554   1425 |        1 |        8
1464.97/1465.48	c 1463s |      24 |  4194217 |  3891562 |     6554   1427 |        1 |        8
1467.07/1467.53	c 1465s |      24 |  4200482 |  3897662 |     6554   1429 |        1 |        8
1469.07/1469.55	c 1467s |      24 |  4207265 |  3904162 |     6554   1430 |        1 |        8
1471.07/1471.57	c 1469s |      24 |  4213429 |  3910062 |     6554   1432 |        1 |        8
1473.07/1473.59	c 1471s |      24 |  4219761 |  3916062 |     6554   1434 |        1 |        8
1475.16/1475.64	c 1473s |      24 |  4225783 |  3921762 |     6554   1435 |        1 |        8
1477.16/1477.64	c 1475s |      24 |  4231518 |  3927162 |     6554   1437 |        1 |        8
1479.17/1479.65	c 1477s |      24 |  4237265 |  3932562 |     6554   1438 |        1 |        8
1481.16/1481.67	c 1479s |      24 |  4242965 |  3937962 |     6554   1440 |        1 |        8
1483.16/1483.69	c 1481s |      24 |  4248811 |  3943462 |     6554   1442 |        1 |        8
1485.26/1485.71	c 1483s |      24 |  4254627 |  3948862 |     6554   1443 |        1 |        8
1487.26/1487.72	c 1485s |      24 |  4259792 |  3953662 |     6554   1444 |        1 |        8
1489.26/1489.72	c 1487s |      24 |  4265640 |  3959062 |     6554   1446 |        1 |        8
1491.26/1491.74	c 1489s |      24 |  4271386 |  3964262 |     6554   1447 |        1 |        8
1493.25/1493.76	c 1491s |      24 |  4277309 |  3969462 |     6554   1449 |        1 |        8
1495.25/1495.78	c 1493s |      24 |  4282844 |  3974562 |     6554   1450 |        1 |        8
1497.25/1497.78	c 1495s |      24 |  4288754 |  3979862 |     6554   1452 |        1 |        8
1499.35/1499.80	c 1497s |      24 |  4294872 |  3985562 |     6554   1453 |        1 |        8
1501.35/1501.80	c 1499s |      24 |  4300240 |  3990562 |     6554   1455 |        1 |        8
1503.35/1503.83	c 1501s |      24 |  4306033 |  3995862 |     6554   1456 |        1 |        8
1505.34/1505.86	c 1503s |      24 |  4312322 |  4001562 |     6554   1458 |        1 |        8
1507.44/1507.90	c 1505s |      24 |  4318123 |  4006862 |     6554   1460 |        1 |        8
1509.44/1509.93	c 1507s |      24 |  4324115 |  4012262 |     6554   1461 |        1 |        8
1511.44/1511.97	c 1509s |      24 |  4329325 |  4016762 |     6554   1462 |        1 |        8
1513.54/1514.00	c 1511s |      24 |  4333045 |  4020062 |     6554   1463 |        1 |        8
1515.53/1516.03	c 1513s |      24 |  4338966 |  4025562 |     6554   1465 |        1 |        8
1517.54/1518.03	c 1515s |      24 |  4344062 |  4030162 |     6554   1466 |        1 |        8
1519.53/1520.03	c 1517s |      24 |  4347904 |  4033562 |     6554   1467 |        1 |        8
1521.53/1522.08	c 1519s |      24 |  4353380 |  4038462 |     6554   1469 |        1 |        8
1523.53/1524.09	c 1521s |      24 |  4358369 |  4042962 |     6554   1470 |        1 |        8
1525.63/1526.11	c 1523s |      24 |  4362369 |  4046662 |     6554   1471 |        1 |        8
1527.63/1528.13	c 1525s |      24 |  4366768 |  4050562 |     6554   1472 |        1 |        8
1529.64/1530.14	c 1527s |      24 |  4369342 |  4053062 |     6554   1473 |        1 |        8
1531.63/1532.16	c 1529s |      24 |  4374578 |  4057862 |     6554   1474 |        1 |        8
1533.73/1534.20	c 1531s |      24 |  4379480 |  4062462 |     6554   1475 |        1 |        8
1535.73/1536.28	c 1533s |      24 |  4384616 |  4067262 |     6554   1477 |        1 |        8
1537.73/1538.29	c 1535s |      24 |  4390299 |  4072462 |     6554   1478 |        1 |        8
1539.83/1540.33	c 1537s |      24 |  4395328 |  4077162 |     6554   1479 |        1 |        8
1541.83/1542.34	c 1539s |      24 |  4400377 |  4082062 |     6554   1481 |        1 |        8
1543.82/1544.35	c 1541s |      24 |  4406081 |  4087362 |     6554   1482 |        1 |        8
1545.82/1546.39	c 1543s |      24 |  4411380 |  4092062 |     6554   1484 |        1 |        8
1547.82/1548.40	c 1545s |      24 |  4416855 |  4096962 |     6554   1485 |        1 |        8
1549.92/1550.43	c 1547s |      24 |  4422984 |  4102562 |     6554   1487 |        1 |        8
1551.92/1552.44	c 1549s |      24 |  4427919 |  4106962 |     6554   1488 |        1 |        8
1553.92/1554.45	c 1551s |      24 |  4432775 |  4111462 |     6554   1489 |        1 |        8
1555.91/1556.48	c 1554s |      24 |  4435955 |  4114362 |     6554   1490 |        1 |        8
1558.01/1558.51	c 1556s |      24 |  4440766 |  4118862 |     6554   1491 |        1 |        8
1560.01/1560.54	c 1558s |      24 |  4446166 |  4123862 |     6554   1493 |        1 |        8
1562.01/1562.58	c 1560s |      24 |  4451677 |  4129162 |     6554   1494 |        1 |        8
1564.01/1564.60	c 1562s |      24 |  4457264 |  4134462 |     6554   1496 |        1 |        8
1566.11/1566.60	c 1564s |      24 |  4462782 |  4139662 |     6554   1497 |        1 |        8
1568.13/1568.64	c 1566s |      24 |  4467645 |  4144262 |     6554   1499 |        1 |        8
1570.12/1570.67	c 1568s |      24 |  4472701 |  4148662 |     6554   1500 |        1 |        8
1572.22/1572.71	c 1570s |      24 |  4477330 |  4152762 |     6554   1501 |        1 |        8
1574.22/1574.72	c 1572s |      24 |  4482074 |  4157162 |     6554   1502 |        1 |        8
1576.22/1576.72	c 1574s |      24 |  4487884 |  4162562 |     6554   1504 |        1 |        8
1578.22/1578.77	c 1576s |      24 |  4493235 |  4167362 |     6554   1505 |        1 |        8
1580.32/1580.82	c 1578s |      24 |  4498386 |  4171962 |     6554   1506 |        1 |        8
1582.31/1582.84	c 1580s |      24 |  4503611 |  4176862 |     6554   1508 |        1 |        8
1584.31/1584.85	c 1582s |      24 |  4508242 |  4181062 |     6554   1509 |        1 |        8
1586.31/1586.86	c 1584s |      24 |  4513797 |  4186162 |     6554   1510 |        1 |        8
1588.31/1588.88	c 1586s |      24 |  4518600 |  4190562 |     6554   1512 |        1 |        8
1590.41/1590.91	c 1588s |      24 |  4524467 |  4195962 |     6554   1513 |        1 |        8
1592.42/1592.99	c 1590s |      24 |  4529470 |  4200462 |     6554   1515 |        1 |        8
1594.41/1595.00	c 1592s |      24 |  4536417 |  4206962 |     6554   1516 |        1 |        8
1596.51/1597.00	c 1594s |      24 |  4542383 |  4212462 |     6554   1518 |        1 |        8
1598.51/1599.03	c 1596s |      24 |  4548378 |  4218062 |     6554   1520 |        1 |        8
1600.51/1601.06	c 1598s |      24 |  4554378 |  4223762 |     6554   1521 |        1 |        8
1602.51/1603.08	c 1600s |      24 |  4560275 |  4229262 |     6554   1523 |        1 |        8
1604.61/1605.11	c 1602s |      24 |  4566501 |  4234962 |     6554   1524 |        1 |        8
1606.61/1607.12	c 1604s |      24 |  4572623 |  4240662 |     6554   1526 |        1 |        8
1608.61/1609.15	c 1606s |      24 |  4578456 |  4246162 |     6554   1528 |        1 |        8
1610.61/1611.17	c 1608s |      24 |  4583881 |  4251262 |     6554   1529 |        1 |        8
1612.60/1613.19	c 1610s |      24 |  4589220 |  4256162 |     6554   1530 |        1 |        8
1614.70/1615.21	c 1612s |      24 |  4595652 |  4262162 |     6554   1532 |        1 |        8
1616.70/1617.22	c 1614s |      24 |  4601733 |  4267862 |     6554   1534 |        1 |        8
1618.71/1619.23	c 1616s |      24 |  4607440 |  4273162 |     6554   1535 |        1 |        8
1620.70/1621.25	c 1618s |      24 |  4613557 |  4278862 |     6554   1537 |        1 |        8
1622.70/1623.27	c 1620s |      24 |  4618991 |  4283762 |     6554   1538 |        1 |        8
1624.70/1625.28	c 1622s |      24 |  4624388 |  4288762 |     6554   1540 |        1 |        8
1626.80/1627.31	c 1624s |      24 |  4630511 |  4294562 |     6554   1541 |        1 |        8
1628.80/1629.32	c 1626s |      24 |  4635928 |  4299662 |     6554   1543 |        1 |        8
1630.81/1631.35	c 1628s |      24 |  4641567 |  4304962 |     6554   1544 |        1 |        8
1632.80/1633.37	c 1630s |      24 |  4645944 |  4309062 |     6554   1545 |        1 |        8
1634.80/1635.37	c 1632s |      24 |  4650017 |  4312862 |     6554   1546 |        1 |        8
1636.80/1637.39	c 1634s |      24 |  4655229 |  4317762 |     6554   1548 |        1 |        8
1638.90/1639.42	c 1636s |      24 |  4660555 |  4322762 |     6554   1549 |        1 |        8
1640.90/1641.46	c 1638s |      24 |  4664688 |  4326562 |     6554   1550 |        1 |        8
1642.91/1643.49	c 1641s |      24 |  4669341 |  4330862 |     6554   1552 |        1 |        8
1645.00/1645.51	c 1643s |      24 |  4674994 |  4336062 |     6554   1553 |        1 |        8
1647.00/1647.52	c 1645s |      24 |  4680142 |  4340462 |     6554   1554 |        1 |        8
1649.00/1649.54	c 1647s |      24 |  4686348 |  4346362 |     6554   1556 |        1 |        8
1651.00/1651.57	c 1649s |      24 |  4692560 |  4352162 |     6554   1558 |        1 |        8
1653.00/1653.59	c 1651s |      24 |  4697663 |  4356962 |     6554   1559 |        1 |        8
1655.10/1655.62	c 1653s |      24 |  4702840 |  4361962 |     6554   1560 |        1 |        8
1657.10/1657.67	c 1655s |      24 |  4706792 |  4365562 |     6554   1561 |        1 |        8
1659.20/1659.73	c 1657s |      24 |  4713650 |  4371962 |     6554   1563 |        1 |        8
1661.20/1661.74	c 1659s |      24 |  4717971 |  4375862 |     6554   1564 |        1 |        8
1663.20/1663.75	c 1661s |      24 |  4721768 |  4379362 |     6554   1565 |        1 |        8
1665.20/1665.78	c 1663s |      24 |  4726581 |  4383862 |     6554   1567 |        1 |        8
1667.20/1667.79	c 1665s |      24 |  4731079 |  4387862 |     6554   1568 |        1 |        8
1669.19/1669.79	c 1667s |      24 |  4737196 |  4393462 |     6554   1569 |        1 |        8
1671.29/1671.82	c 1669s |      24 |  4742612 |  4398462 |     6554   1571 |        1 |        8
1673.29/1673.85	c 1671s |      24 |  4749298 |  4404462 |     6554   1572 |        1 |        8
1675.29/1675.86	c 1673s |      24 |  4755423 |  4410062 |     6554   1574 |        1 |        8
1677.29/1677.88	c 1675s |      24 |  4759687 |  4413962 |     6554   1575 |        1 |        8
1679.30/1679.89	c 1677s |      24 |  4765010 |  4419062 |     6554   1577 |        1 |        8
1681.40/1681.94	c 1679s |      24 |  4770084 |  4423862 |     6554   1578 |        1 |        8
1683.39/1683.95	c 1681s |      24 |  4774863 |  4428362 |     6554   1579 |        1 |        8
1685.39/1685.95	c 1683s |      24 |  4778153 |  4431462 |     6554   1580 |        1 |        8
1687.40/1687.96	c 1685s |      24 |  4782773 |  4435662 |     6554   1581 |        1 |        8
1689.40/1689.97	c 1687s |      24 |  4788363 |  4440862 |     6554   1583 |        1 |        8
1691.40/1691.98	c 1689s |      24 |  4793176 |  4445262 |     6554   1584 |        1 |        8
1693.40/1693.98	c 1691s |      24 |  4798453 |  4450262 |     6554   1586 |        1 |        8
1695.40/1695.98	c 1693s |      24 |  4804301 |  4455562 |     6554   1587 |        1 |        8
1697.40/1697.99	c 1695s |      24 |  4808842 |  4459662 |     6554   1588 |        1 |        8
1699.50/1700.00	c 1697s |      24 |  4813727 |  4464262 |     6554   1589 |        1 |        8
1701.50/1702.04	c 1699s |      24 |  4819190 |  4469462 |     6554   1591 |        1 |        8
1703.50/1704.04	c 1701s |      24 |  4825250 |  4475062 |     6554   1593 |        1 |        8
1705.50/1706.08	c 1703s |      24 |  4830421 |  4479862 |     6554   1594 |        1 |        8
1707.60/1708.10	c 1705s |      24 |  4836021 |  4484862 |     6554   1595 |        1 |        8
1709.60/1710.15	c 1707s |      24 |  4840797 |  4489262 |     6554   1597 |        1 |        8
1711.59/1712.15	c 1709s |      24 |  4846002 |  4493862 |     6554   1598 |        1 |        8
1713.59/1714.18	c 1711s |      24 |  4851215 |  4498662 |     6554   1599 |        1 |        8
1715.69/1716.23	c 1713s |      24 |  4855922 |  4502962 |     6554   1601 |        1 |        8
1717.70/1718.24	c 1715s |      24 |  4860696 |  4507362 |     6554   1602 |        1 |        8
1719.69/1720.24	c 1717s |      24 |  4865212 |  4511662 |     6554   1603 |        1 |        8
1721.69/1722.25	c 1719s |      24 |  4870476 |  4516262 |     6554   1604 |        1 |        8
1723.69/1724.26	c 1721s |      24 |  4876193 |  4521662 |     6554   1606 |        1 |        8
1725.69/1726.28	c 1723s |      24 |  4882201 |  4527262 |     6554   1607 |        1 |        8
1727.70/1728.30	c 1725s |      24 |  4888127 |  4532762 |     6554   1609 |        1 |        8
1729.80/1730.31	c 1727s |      24 |  4893202 |  4537762 |     6554   1610 |        1 |        8
1731.79/1732.37	c 1729s |      24 |  4897141 |  4541662 |     6554   1612 |        1 |        8
1733.79/1734.39	c 1731s |      24 |  4901613 |  4546062 |     6554   1613 |        1 |        8
1735.89/1736.45	c 1733s |      24 |  4907382 |  4551462 |     6554   1614 |        1 |        8
1737.89/1738.47	c 1736s |      24 |  4911390 |  4555362 |     6554   1615 |        1 |        8
1739.99/1740.50	c 1738s |      24 |  4917676 |  4561262 |     6554   1617 |        1 |        8
1741.99/1742.51	c 1740s |      24 |  4923018 |  4565962 |     6554   1618 |        1 |        8
1743.99/1744.54	c 1742s |      24 |  4928235 |  4570762 |     6554   1620 |        1 |        8
1745.99/1746.55	c 1744s |      24 |  4932964 |  4575062 |     6554   1621 |        1 |        8
1747.99/1748.58	c 1746s |      24 |  4937488 |  4579162 |     6554   1622 |        1 |        8
1750.09/1750.63	c 1748s |      24 |  4941556 |  4583062 |     6554   1623 |        1 |        8
1752.09/1752.63	c 1750s |      24 |  4945479 |  4586862 |     6554   1624 |        1 |        8
1754.09/1754.64	c 1752s |      24 |  4949446 |  4590662 |     6554   1625 |        1 |        8
1756.09/1756.66	c 1754s |      24 |  4953242 |  4593862 |     6554   1626 |        1 |        8
1758.18/1758.70	c 1756s |      24 |  4956343 |  4596562 |     6554   1627 |        1 |        8
1760.18/1760.72	c 1758s |      24 |  4961151 |  4600662 |     6554   1628 |        1 |        8
1762.18/1762.75	c 1760s |      24 |  4965716 |  4604662 |     6554   1629 |        1 |        8
1764.18/1764.75	c 1762s |      24 |  4969065 |  4607662 |     6554   1630 |        1 |        8
1766.19/1766.75	c 1764s |      24 |  4973672 |  4611862 |     6554   1631 |        1 |        8
1768.18/1768.76	c 1766s |      24 |  4978167 |  4615762 |     6554   1633 |        1 |        8
1770.18/1770.78	c 1768s |      24 |  4984436 |  4621462 |     6554   1634 |        1 |        8
1772.28/1772.81	c 1770s |      24 |  4989826 |  4626262 |     6554   1636 |        1 |        8
1774.28/1774.83	c 1772s |      24 |  4994855 |  4630762 |     6554   1637 |        1 |        8
1776.28/1776.86	c 1774s |      24 |  5000831 |  4636062 |     6554   1638 |        1 |        8
1778.38/1778.91	c 1776s |      24 |  5005560 |  4640262 |     6554   1640 |        1 |        8
1780.39/1780.94	c 1778s |      24 |  5011395 |  4645662 |     6554   1641 |        1 |        8
1782.38/1782.95	c 1780s |      24 |  5016062 |  4649862 |     6554   1642 |        1 |        8
1784.38/1784.97	c 1782s |      24 |  5021592 |  4655062 |     6554   1644 |        1 |        8
1786.48/1787.01	c 1784s |      24 |  5027018 |  4660062 |     6554   1645 |        1 |        8
1788.48/1789.05	c 1786s |      24 |  5031052 |  4663862 |     6554   1646 |        1 |        8
1790.48/1791.06	c 1788s |      24 |  5036310 |  4668862 |     6554   1648 |        1 |        8
1792.49/1793.08	c 1790s |      24 |  5041487 |  4673462 |     6554   1649 |        1 |        8
1794.48/1795.08	c 1792s |      24 |  5045852 |  4677262 |     6554   1650 |        1 |        8
1796.48/1797.09	c 1794s |      24 |  5050449 |  4681462 |     6554   1651 |        1 |        8
1798.58/1799.14	c 1796s |      24 |  5056936 |  4687362 |     6554   1653 |        1 |        8

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.19 1.53 4/178 13594
/proc/meminfo: memFree=30373136/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 2753 0 0 0 0 0 0 0 20 0 4 0 107426284 755429376 2603 33554432000 4194304 16246674 140737215647264 140737215646688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13594/statm: 184431 2603 441 2943 0 181325 0
[pid=13594/tid=13595] ppid=13588 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 768012288 2650 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 772206592 2667 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107426284 776400896 2685 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 0.99 1.19 1.53 4/178 13594
/proc/meminfo: memFree=30373136/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 20553 0 0 0 6 3 0 0 20 0 4 0 107426284 1247350784 20391 33554432000 4194304 16246674 140737215647264 140737215646688 6080640 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13594/statm: 304529 20395 758 2943 0 301423 0
[pid=13594/tid=13595] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 20400 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 20400 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 20401 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200432 s]
/proc/loadavg: 0.99 1.19 1.53 4/178 13594
/proc/meminfo: memFree=30373136/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 38538 0 0 0 13 6 0 0 20 0 4 0 107426284 1247350784 38375 33554432000 4194304 16246674 140737215647264 140737215646688 5516309 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13594/statm: 304529 38381 758 2943 0 301423 0
[pid=13594/tid=13595] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 38383 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 38387 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 38391 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300399 s]
/proc/loadavg: 0.99 1.19 1.53 4/178 13594
/proc/meminfo: memFree=30373136/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 55558 0 0 0 20 9 0 0 20 0 4 0 107426284 1247350784 55395 33554432000 4194304 16246674 140737215647264 140737215629184 5712452 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13594/statm: 304529 55402 758 2943 0 301423 0
[pid=13594/tid=13595] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 55407 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 55413 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 55418 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700372 s]
/proc/loadavg: 0.99 1.19 1.53 4/178 13594
/proc/meminfo: memFree=30373136/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 121199 0 0 0 51 18 0 0 20 0 4 0 107426284 1247350784 121037 33554432000 4194304 16246674 140737215647264 140737215629184 5712452 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13594/statm: 304529 121042 767 2943 0 301423 0
[pid=13594/tid=13595] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 121046 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 121050 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107426284 1247350784 121054 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50033 s]
/proc/loadavg: 0.99 1.19 1.53 4/183 13599
/proc/meminfo: memFree=28754516/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 246120 0 0 0 113 36 0 0 20 0 4 0 107426284 1250496512 245934 33554432000 4194304 16246674 140737215647264 140737215646576 7250025 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13594/statm: 305297 245934 834 2943 0 302191 0
[pid=13594/tid=13595] ppid=13588 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1250496512 245934 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1250496512 245934 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1250496512 245934 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10038 s]
/proc/loadavg: 1.07 1.20 1.53 4/183 13599
/proc/meminfo: memFree=28305860/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 266628 0 0 0 270 39 0 0 20 0 4 0 107426284 1334382592 266442 33554432000 4194304 16246674 140737215647264 140737215630264 5710312 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13594/statm: 325777 266442 852 2943 0 322671 0
[pid=13594/tid=13595] ppid=13588 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1334382592 266442 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1334382592 266442 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1334382592 266442 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30037 s]
/proc/loadavg: 1.07 1.20 1.53 4/183 13599
/proc/meminfo: memFree=28233372/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 268124 0 0 0 590 39 0 0 20 0 4 0 107426284 1339625472 267938 33554432000 4194304 16246674 140737215647264 140737215629184 5712760 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13594/statm: 327057 267938 853 2943 0 323951 0
[pid=13594/tid=13595] ppid=13588 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1339625472 267938 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1339625472 267938 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1339625472 267938 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 1.21 1.23 1.53 4/183 13599
/proc/meminfo: memFree=28232076/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1311300 CPUtime=12.68 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 268866 0 0 0 1229 39 0 0 20 0 4 0 107426284 1342771200 268680 33554432000 4194304 16246674 140737215647264 140737215630264 12483366 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13594/statm: 327825 268680 853 2943 0 324719 0
[pid=13594/tid=13595] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268680 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268680 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268680 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5004 s]
/proc/loadavg: 1.33 1.25 1.54 4/183 13599
/proc/meminfo: memFree=28228648/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 268924 0 0 0 2508 40 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140737215629184 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13594/statm: 327825 268738 853 2943 0 324719 0
[pid=13594/tid=13595] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 1.70 1.34 1.56 4/183 13599
/proc/meminfo: memFree=28228408/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1311300 CPUtime=51.07 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 268924 0 0 0 5067 40 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140737215629184 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 327825 268738 853 2943 0 324719 0
[pid=13594/tid=13595] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.04 1.50 1.60 3/183 13698
/proc/meminfo: memFree=28225568/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1311300 CPUtime=102.26 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 268924 0 0 0 10186 40 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140737215629184 12483198 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 327825 268738 853 2943 0 324719 0
[pid=13594/tid=13595] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1342771200 268738 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1311300


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

/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1324612

[startup+1302.3 s]
/proc/loadavg: 2.31 2.21 2.02 4/183 13728
/proc/meminfo: memFree=28198968/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1324612 CPUtime=1301.95 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 272500 0 0 0 130144 51 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140737215629184 12478324 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 331153 272324 855 2943 0 328047 0
[pid=13594/tid=13595] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1324612

[startup+1362.3 s]
/proc/loadavg: 2.17 2.19 2.02 3/183 13729
/proc/meminfo: memFree=28198248/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1324612 CPUtime=1361.92 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 272544 0 0 0 136141 51 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140737215629184 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 331153 272324 855 2943 0 328047 0
[pid=13594/tid=13595] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1324612

[startup+1422.3 s]
/proc/loadavg: 2.14 2.18 2.03 3/183 13730
/proc/meminfo: memFree=28198528/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1324612 CPUtime=1421.89 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 272581 0 0 0 142138 51 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140737215629184 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 331153 272324 855 2943 0 328047 0
[pid=13594/tid=13595] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1324612

[startup+1482.3 s]
/proc/loadavg: 2.22 2.19 2.04 3/184 13735
/proc/meminfo: memFree=28198404/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1324612 CPUtime=1481.86 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 272618 0 0 0 148134 52 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140737215629184 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 331153 272324 855 2943 0 328047 0
[pid=13594/tid=13595] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1324612

[startup+1542.31 s]
/proc/loadavg: 2.18 2.18 2.04 3/183 13736
/proc/meminfo: memFree=28197928/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1324612 CPUtime=1541.83 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 272656 0 0 0 154131 52 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140737215629184 12479221 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 331153 272324 855 2943 0 328047 0
[pid=13594/tid=13595] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1324612

[startup+1602.3 s]
/proc/loadavg: 2.17 2.18 2.05 3/183 13737
/proc/meminfo: memFree=28198008/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1324612 CPUtime=1601.81 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 272676 0 0 0 160128 53 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140737215629184 6045300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 331153 272324 855 2943 0 328047 0
[pid=13594/tid=13595] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1324612

[startup+1662.3 s]
/proc/loadavg: 2.41 2.23 2.07 3/183 13738
/proc/meminfo: memFree=28196772/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1324612 CPUtime=1661.8 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 272676 0 0 0 166127 53 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140737215629184 5677584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 331153 272324 855 2943 0 328047 0
[pid=13594/tid=13595] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.24 2.22 2.08 4/183 13739
/proc/meminfo: memFree=28196936/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1324612 CPUtime=1721.79 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 272676 0 0 0 172125 54 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140737215629184 5721410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 331153 272324 855 2943 0 328047 0
[pid=13594/tid=13595] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1356402688 272324 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1324612

[startup+1782.3 s]
/proc/loadavg: 2.25 2.22 2.09 3/183 13741
/proc/meminfo: memFree=28190584/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1330756 CPUtime=1781.78 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 274212 0 0 0 178124 54 0 0 20 0 4 0 107426284 1362694144 273860 33554432000 4194304 16246674 140737215647264 140737215629184 6043194 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 332689 273860 855 2943 0 329583 0
[pid=13594/tid=13595] ppid=13588 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1362694144 273860 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1362694144 273860 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1362694144 273860 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.32 2.24 2.10 3/183 13741
/proc/meminfo: memFree=28190680/32872528 swapFree=17452/1581112
[pid=13594] ppid=13588 vsize=1330756 CPUtime=1800.08 cores=0,2,4,6
/proc/13594/stat : 13594 (toysat) R 13588 13594 13546 0 -1 4202496 274212 0 0 0 179954 54 0 0 20 0 4 0 107426284 1362694144 273860 33554432000 4194304 16246674 140737215647264 140737215629184 5717660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 332689 273860 855 2943 0 329583 0
[pid=13594/tid=13595] ppid=13588 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13595/stat : 13595 (toysat) S 13588 13594 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107426284 1362694144 273860 33554432000 4194304 16246674 140737215647264 140652175142128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13594/tid=13596] ppid=13588 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13596/stat : 13596 (toysat) S 13588 13594 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107426284 1362694144 273860 33554432000 4194304 16246674 140737215647264 140652164652272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13594/tid=13597] ppid=13588 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13594/task/13597/stat : 13597 (toysat) S 13588 13594 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107426284 1362694144 273860 33554432000 4194304 16246674 140737215647264 140652154178736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1330756

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13594 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.09
CPU user time (s): 1799.55
CPU system time (s): 0.544917
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.544917
maximum resident set size= 1095440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274212
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= 434
involuntary context switches= 2015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56731 second user time and 6.94994 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 01:15:43
IDJOB=4080199
IDBENCH=48017
IDSOLVER=2542
FILE ID=node139/4080199-1465254943
RUNJOBID= node139-1465254943-13562
PBS_JOBID= 19843273
Free space on /tmp= 71732 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=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080199-1465254943/watcher-4080199-1465254943 -o /tmp/evaluation-result-4080199-1465254943/solver-4080199-1465254943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080199-1465254943.opb

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

MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104
RANDOM SEED=1752993355

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30377308 kB
Buffers:           48240 kB
Cached:           160444 kB
SwapCached:         1488 kB
Active:           106748 kB
Inactive:         104616 kB
Active(anon):       3164 kB
Inactive(anon):     2200 kB
Active(file):     103584 kB
Inactive(file):   102416 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099764 kB
Dirty:             32644 kB
Writeback:             0 kB
AnonPages:       1583588 kB
Mapped:             7064 kB
Shmem:                 0 kB
Slab:             569772 kB
SReclaimable:      13768 kB
SUnreclaim:       556004 kB
KernelStack:        1392 kB
PageTables:         7412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1678836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1566720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node139 at 2016-06-07 01:45:44