Trace number 4080198

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.05 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb
MD5SUM747af0da1666dabab7e7b60330c37a87
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.164973
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 variables216
Total number of constraints19
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 constraints19
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)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

Solver Data 

0.00/0.00	c 2016-06-07T01:11:05+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-4080198-1465254665.opb"]
0.00/0.01	c use --random-gen="197130243 4032322681 3016413181 1381972044 1553814348 747471158 460193062 2675061736 834217537 1406252463 3991111787 1372047320 3845170768 661388220 805990572 1355256868 3584696267 3222215507 1777053091 1943849958 1842817699 1268631598 2079765804 30234177 2070559890 1179071908 1556041654 1575315366 1436110291 4246885021 3148181839 2159321838 4173018037 2300746326 2520766781 2715764012 293342440 2301158814 1696025524 3733414352 2541439413 993707760 842065362 2693074729 3069095208 1796858117 3470069363 2782723899 562741247 1879771054 1046472129 1322107362 2107065020 1431937293 802429278 1362318599 552410638 664345711 1398445963 3761525898 2369877284 1085628784 3391074629 3629883102 4106358804 2787879071 3365622445 3381671882 390498189 3619010724 484006710 3314170391 166284081 4106357137 2576535014 3138479597 2043880198 2021282475 2105907701 106371258 299274571 2530344457 2579715142 2375459360 1648183316 3140507627 1112146334 294062096 3177394151 1753814917 1547034952 2908902408 1413105898 3001467927 1287536235 235043948 4219047171 3910286328 510393387 2076623495 2745406100 3783351814 1090718711 1062745750 2341450253 3501466573 1854667946 1897763969 273491941 531962424 704826139 1203981691 1882383150 2512021812 3311259602 3921014700 2129923885 3629160203 2266052038 1130029446 3204379304 1267296361 958170044 371993683 557789235 3018793134 2012325709 1029123215 1984380323 2733831995 3156610152 2792730305 3352163032 1314283202 831515161 3138179852 159321635 2687853945 1526744980 1103812141 972120091 185560443 591433430 3204121387 1510350588 643276708 1408622631 1047001936 2237941405 2557617029 4017160961 401050814 3496953417 4061523890 4014780153 3690588054 4207044313 4204311787 3003200020 706611851 106029645 4173898771 595311435 4259526271 3386029839 1587387570 2908057952 236116884 3509288319 1956558559 670395782 3711994821 609409743 2187301073 2755004993 2075302568 2297961395 174005787 2460877087 12201085 2538632321 3242489660 3405525834 3278248214 1868428914 3481338754 209467750 543276977 3356878505 3332434335 1330094302 2198248477 2412933765 339153769 42443348 2570648761 1587877473 172300763 2394753129 2134515074 690476114 92486974 410366119 2237617912 2431309572 1237824515 2790785419 37153804 2125458952 1908156036 2070786924 1073997075 3243456939 4092224412 1741002531 322883703 2278457548 2692833643 3996289990 1076562817 1840981157 3900338619 53499169 3579027324 1298639128 3343715712 3602588556 3434433370 2654018283 1840949912 3518097253 3199217001 4019317278 3633241264 3598724053 2608408586 480954651 3945372605 3094011225 3066076076 388412441 3614047457 825935150 4209653543 4137229508 3242119330 3055072714 1347650411 1600259666 1092067838 2229918926 410844223 306764265 1480327921 1847040343 3038390787 255 362436" option to reproduce the execution
0.00/0.01	c #vars 216
0.00/0.01	c #constraints 19
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 |      849      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      111 |      100 |      849      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      270 |      250 |      934      0 |        0 |        0
0.09/0.14	c  0.1s |       3 |      528 |      475 |     1028      0 |        0 |        0
0.18/0.23	c  0.2s |       4 |      939 |      813 |     1131      0 |        0 |        0
0.29/0.35	c  0.3s |       5 |     1536 |     1320 |     1245      0 |        0 |        0
0.89/0.92	c  0.9s |       6 |     2540 |     2081 |     1508      1 |        0 |        0
1.20/1.28	c  1.3s |       7 |     3753 |     3223 |     1659      3 |        0 |        0
1.69/1.78	c  1.8s |       8 |     5645 |     4936 |     1825      4 |        0 |        0
2.39/2.46	c  2.4s |       9 |     8356 |     7506 |     2008      6 |        0 |        0
2.69/2.72	c  2.7s |       9 |     9782 |     8799 |     2008      7 |        0 |        0
2.69/2.72	c #cpu_time = 2.694s
2.69/2.72	c #wall_clock_time = 2.694s
2.69/2.72	c #decision = 9782
2.69/2.72	c #random_decision = 49
2.69/2.72	c #conflict = 8799
2.69/2.72	c #restart = 9
2.69/2.72	o 117
2.69/2.72	c BCD2: hardening fixes 1 literals
2.69/2.72	c BCD2: updating upper bound: 255 -> 116
2.69/2.72	c BCD2: 0 <= obj <= 116
2.69/2.72	c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=1
2.69/2.72	c BCD2: #sat=1 #unsat=1 bias=1/2
2.69/2.72	c Solving starts ...
2.69/2.72	c ============================[ Search Statistics ]============================
2.69/2.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.69/2.72	c       |         |          |          |    Limit     GC | Var      | Constra 
2.69/2.72	c =============================================================================
2.69/2.72	c  0.0s |       0 |        0 |        0 |     2008      0 |       10 |        0
2.69/2.73	c  0.0s |       0 |        5 |        0 |     2008      1 |       10 |       24
2.69/2.73	c #cpu_time = 0.010s
2.69/2.73	c #wall_clock_time = 0.010s
2.69/2.73	c #decision = 5
2.69/2.73	c #random_decision = 0
2.69/2.73	c #conflict = 0
2.69/2.73	c #restart = 0
2.69/2.73	c BCD2: found a new core of size 6: cost of the new core is >=2
2.69/2.73	c lower bound updated to 2
2.69/2.73	c BCD2: 2 <= obj <= 116
2.69/2.73	c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=1
2.69/2.73	c BCD2: #sat=1 #unsat=2 bias=2/3
2.69/2.73	c Solving starts ...
2.69/2.73	c ============================[ Search Statistics ]============================
2.69/2.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.69/2.73	c       |         |          |          |    Limit     GC | Var      | Constra 
2.69/2.73	c =============================================================================
2.69/2.73	c  0.0s |       0 |        0 |        0 |     2008      0 |       10 |       24
2.69/2.78	c  0.0s |       1 |      225 |      100 |     2008      0 |       10 |       24
2.89/2.90	c  0.2s |       2 |      521 |      250 |     2008      0 |       10 |       24
2.99/3.00	c  0.3s |       3 |     1010 |      475 |     2008      0 |       10 |       24
2.99/3.09	c  0.4s |       4 |     1396 |      813 |     2008      0 |       10 |       24
3.19/3.25	c  0.5s |       5 |     2061 |     1320 |     2008      0 |       10 |       24
3.49/3.50	c  0.8s |       6 |     2932 |     2081 |     2008      1 |       10 |       24
3.69/3.79	c  1.1s |       7 |     4389 |     3223 |     2209      2 |       10 |       24
4.29/4.37	c  1.6s |       8 |     6396 |     4936 |     2209      3 |       10 |       24
4.99/5.01	c  2.3s |       9 |     9277 |     7506 |     2209      5 |       10 |       24
6.19/6.28	c  3.5s |      10 |    13688 |    11361 |     2430      8 |       10 |       24
7.59/7.65	c  4.9s |      11 |    19654 |    17144 |     2673     12 |       10 |       24
9.59/9.68	c  7.0s |      11 |    26868 |    23944 |     2673     17 |       10 |       24
10.19/10.23	c  7.5s |      12 |    28829 |    25819 |     2673     18 |       10 |       24
12.20/12.26	c  9.5s |      12 |    37435 |    33719 |     2941     22 |       10 |       24
13.99/14.00	c 11.3s |      13 |    42782 |    38832 |     2941     25 |       10 |       24
15.99/16.00	c 13.3s |      13 |    51800 |    47532 |     2941     31 |       10 |       24
17.99/18.01	c 15.3s |      13 |    58879 |    54232 |     3236     34 |       10 |       24
19.29/19.33	c 16.6s |      14 |    63145 |    58352 |     3236     37 |       10 |       24
21.38/21.41	c 18.7s |      14 |    67044 |    61852 |     3236     38 |       10 |       24
23.38/23.46	c 20.7s |      14 |    70781 |    65352 |     3236     40 |       10 |       24
25.39/25.47	c 22.7s |      14 |    74929 |    69352 |     3236     42 |       10 |       24
27.49/27.54	c 24.8s |      14 |    78621 |    72852 |     3236     44 |       10 |       24
29.48/29.55	c 26.8s |      14 |    82589 |    76652 |     3236     46 |       10 |       24
31.48/31.59	c 28.9s |      14 |    88237 |    82052 |     3560     48 |       10 |       24
33.58/33.62	c 30.9s |      14 |    92818 |    86452 |     3560     50 |       10 |       24
34.09/34.20	c 31.5s |      15 |    94070 |    87632 |     3560     51 |       10 |       24
36.18/36.20	c 33.5s |      15 |   101193 |    94132 |     3560     54 |       10 |       24
38.18/38.20	c 35.5s |      15 |   106659 |    99232 |     3560     57 |       10 |       24
40.18/40.22	c 37.5s |      15 |   113209 |   105332 |     3560     60 |       10 |       24
42.18/42.25	c 39.5s |      15 |   119566 |   111232 |     3560     63 |       10 |       24
44.18/44.27	c 41.5s |      15 |   126169 |   117532 |     3560     66 |       10 |       24
46.19/46.29	c 43.6s |      15 |   132401 |   123432 |     3917     68 |       10 |       24
48.29/48.31	c 45.6s |      15 |   138562 |   129032 |     3917     71 |       10 |       24
49.19/49.27	c 46.5s |      16 |   141281 |   131552 |     3917     72 |       10 |       24
51.29/51.30	c 48.6s |      16 |   148912 |   138252 |     3917     75 |       10 |       24
53.28/53.30	c 50.6s |      16 |   155961 |   144752 |     3917     78 |       10 |       24
55.28/55.34	c 52.6s |      16 |   162558 |   151052 |     3917     81 |       10 |       24
57.29/57.38	c 54.6s |      16 |   169326 |   157352 |     3917     83 |       10 |       24
59.39/59.40	c 56.7s |      16 |   175504 |   163252 |     3917     86 |       10 |       24
61.38/61.41	c 58.7s |      16 |   182437 |   169852 |     3917     90 |       10 |       24
63.38/63.42	c 60.7s |      16 |   189435 |   176652 |     3917     93 |       10 |       24
65.38/65.44	c 62.7s |      16 |   196508 |   183452 |     3917     96 |       10 |       24
67.38/67.47	c 64.7s |      16 |   202704 |   189452 |     4309     99 |       10 |       24
69.39/69.48	c 66.7s |      16 |   208849 |   195252 |     4309    102 |       10 |       24
69.98/70.04	c 67.3s |      17 |   211099 |   197432 |     4309    102 |       10 |       24
71.98/72.08	c 69.4s |      17 |   218962 |   205032 |     4309    106 |       10 |       24
74.08/74.10	c 71.4s |      17 |   226157 |   211932 |     4309    108 |       10 |       24
76.08/76.13	c 73.4s |      17 |   232903 |   218332 |     4309    111 |       10 |       24
78.09/78.14	c 75.4s |      17 |   239327 |   224432 |     4309    114 |       10 |       24
80.08/80.15	c 77.4s |      17 |   246752 |   231432 |     4309    116 |       10 |       24
82.08/82.16	c 79.4s |      17 |   253801 |   238132 |     4309    119 |       10 |       24
84.08/84.19	c 81.5s |      17 |   260842 |   244732 |     4309    122 |       10 |       24
86.18/86.20	c 83.5s |      17 |   266901 |   250332 |     4309    124 |       10 |       24
88.18/88.24	c 85.5s |      17 |   273739 |   256932 |     4309    127 |       10 |       24
90.18/90.24	c 87.5s |      17 |   280266 |   263132 |     4309    130 |       10 |       24
92.18/92.24	c 89.5s |      17 |   286543 |   268932 |     4309    132 |       10 |       24
94.17/94.28	c 91.5s |      17 |   293022 |   274832 |     4309    135 |       10 |       24
96.17/96.28	c 93.5s |      17 |   299577 |   280932 |     4309    137 |       10 |       24
98.17/98.29	c 95.6s |      17 |   305835 |   286932 |     4740    139 |       10 |       24
100.18/100.29	c 97.6s |      17 |   311880 |   292632 |     4740    142 |       10 |       24
101.47/101.54	c 98.8s |      18 |   315835 |   296252 |     4740    143 |       10 |       24
103.48/103.56	c  100s |      18 |   324377 |   304152 |     4740    146 |       10 |       24
105.47/105.59	c  102s |      18 |   330521 |   309852 |     4740    148 |       10 |       24
107.57/107.61	c  104s |      18 |   336816 |   315352 |     4740    150 |       10 |       24
109.57/109.64	c  106s |      18 |   342902 |   321052 |     4740    152 |       10 |       24
111.57/111.64	c  108s |      18 |   348762 |   326652 |     4740    154 |       10 |       24
113.57/113.66	c  110s |      18 |   354209 |   331752 |     4740    156 |       10 |       24
115.58/115.67	c  112s |      18 |   360584 |   338052 |     4740    159 |       10 |       24
117.58/117.70	c  114s |      18 |   367257 |   344452 |     4740    161 |       10 |       24
119.67/119.70	c  116s |      18 |   373226 |   350052 |     4740    163 |       10 |       24
121.67/121.74	c  119s |      18 |   379536 |   356052 |     4740    166 |       10 |       24
123.67/123.75	c  121s |      18 |   386241 |   362452 |     4740    168 |       10 |       24
125.67/125.78	c  123s |      18 |   392097 |   367952 |     4740    170 |       10 |       24
127.77/127.80	c  125s |      18 |   398272 |   373752 |     4740    172 |       10 |       24
129.78/129.82	c  127s |      18 |   405147 |   379952 |     4740    175 |       10 |       24
131.77/131.85	c  129s |      18 |   411616 |   386052 |     4740    177 |       10 |       24
133.77/133.87	c  131s |      18 |   418323 |   392452 |     4740    179 |       10 |       24
135.87/135.93	c  133s |      18 |   424764 |   398452 |     4740    182 |       10 |       24
137.87/137.94	c  135s |      18 |   431061 |   404352 |     4740    184 |       10 |       24
139.87/139.97	c  137s |      18 |   435946 |   408852 |     4740    185 |       10 |       24
141.88/141.99	c  139s |      18 |   440996 |   413652 |     4740    187 |       10 |       24
143.97/144.02	c  141s |      18 |   446030 |   418452 |     4740    189 |       10 |       24
145.97/146.05	c  143s |      18 |   451295 |   423552 |     4740    191 |       10 |       24
147.97/148.07	c  145s |      18 |   456488 |   428552 |     4740    193 |       10 |       24
149.97/150.08	c  147s |      18 |   462537 |   434352 |     5214    195 |       10 |       24
152.07/152.10	c  149s |      18 |   468030 |   439752 |     5214    197 |       10 |       24
153.67/153.71	c  150s |      19 |   472886 |   444482 |     5214    198 |       10 |       24
155.67/155.71	c  152s |      19 |   478415 |   448882 |     5214    200 |       10 |       24
157.67/157.74	c  155s |      19 |   483620 |   453782 |     5214    202 |       10 |       24
159.67/159.74	c  157s |      19 |   488269 |   457982 |     5214    203 |       10 |       24
161.67/161.76	c  159s |      19 |   492713 |   462082 |     5214    205 |       10 |       24
163.77/163.82	c  161s |      19 |   497105 |   465882 |     5214    206 |       10 |       24
165.77/165.87	c  163s |      19 |   501567 |   470182 |     5214    207 |       10 |       24
167.77/167.88	c  165s |      19 |   506764 |   474882 |     5214    209 |       10 |       24
169.86/169.90	c  167s |      19 |   511741 |   479382 |     5214    211 |       10 |       24
171.86/171.93	c  169s |      19 |   516502 |   483682 |     5214    212 |       10 |       24
173.87/173.94	c  171s |      19 |   520939 |   487682 |     5214    214 |       10 |       24
175.86/175.98	c  173s |      19 |   525288 |   491682 |     5214    215 |       10 |       24
177.86/177.98	c  175s |      19 |   530164 |   495882 |     5214    217 |       10 |       24
179.96/180.00	c  177s |      19 |   535091 |   500382 |     5214    218 |       10 |       24
181.96/182.01	c  179s |      19 |   539593 |   504282 |     5214    219 |       10 |       24
183.96/184.07	c  181s |      19 |   543673 |   508282 |     5214    221 |       10 |       24
186.06/186.11	c  183s |      19 |   548858 |   513282 |     5214    223 |       10 |       24
188.07/188.17	c  185s |      19 |   554194 |   518482 |     5214    224 |       10 |       24
190.06/190.17	c  187s |      19 |   560486 |   524382 |     5214    227 |       10 |       24
192.16/192.24	c  189s |      19 |   565076 |   528382 |     5214    228 |       10 |       24
194.26/194.31	c  191s |      19 |   568282 |   531182 |     5214    229 |       10 |       24
196.26/196.32	c  193s |      19 |   572243 |   534682 |     5214    230 |       10 |       24
198.26/198.37	c  195s |      19 |   576754 |   538482 |     5214    232 |       10 |       24
200.27/200.39	c  197s |      19 |   580614 |   541882 |     5214    233 |       10 |       24
202.37/202.42	c  199s |      19 |   585026 |   545782 |     5214    234 |       10 |       24
204.36/204.44	c  201s |      19 |   589184 |   549482 |     5214    235 |       10 |       24
206.36/206.49	c  203s |      19 |   594042 |   553782 |     5214    237 |       10 |       24
208.46/208.52	c  205s |      19 |   598757 |   557782 |     5214    238 |       10 |       24
210.46/210.53	c  207s |      19 |   602853 |   561782 |     5214    240 |       10 |       24
212.46/212.54	c  209s |      19 |   607294 |   566082 |     5214    241 |       10 |       24
214.46/214.57	c  211s |      19 |   611991 |   570682 |     5214    243 |       10 |       24
216.55/216.60	c  213s |      19 |   617172 |   575782 |     5214    245 |       10 |       24
218.55/218.61	c  215s |      19 |   622610 |   581082 |     5214    247 |       10 |       24
220.55/220.64	c  217s |      19 |   629340 |   587682 |     5214    249 |       10 |       24
222.55/222.64	c  219s |      19 |   635938 |   593782 |     5214    251 |       10 |       24
224.55/224.65	c  221s |      19 |   640137 |   597682 |     5214    252 |       10 |       24
226.56/226.68	c  223s |      19 |   644929 |   602282 |     5214    254 |       10 |       24
228.65/228.73	c  225s |      19 |   650878 |   607982 |     5214    256 |       10 |       24
230.65/230.73	c  227s |      19 |   655124 |   611882 |     5214    257 |       10 |       24
232.66/232.79	c  230s |      19 |   659008 |   615282 |     5214    258 |       10 |       24
234.76/234.83	c  232s |      19 |   663035 |   619182 |     5214    260 |       10 |       24
236.76/236.84	c  234s |      19 |   667867 |   623682 |     5214    261 |       10 |       24
238.76/238.85	c  236s |      19 |   672373 |   627882 |     5214    263 |       10 |       24
240.76/240.89	c  238s |      19 |   675984 |   631182 |     5214    264 |       10 |       24
242.86/242.95	c  240s |      19 |   680798 |   635682 |     5214    266 |       10 |       24
244.96/245.01	c  242s |      19 |   685720 |   640282 |     5214    267 |       10 |       24
246.96/247.02	c  244s |      19 |   691121 |   645182 |     5214    269 |       10 |       24
248.96/249.06	c  246s |      19 |   696538 |   650282 |     5214    271 |       10 |       24
250.95/251.08	c  248s |      19 |   700574 |   653782 |     5736    272 |       10 |       24
253.06/253.14	c  250s |      19 |   706337 |   658982 |     5736    273 |       10 |       24
255.05/255.17	c  252s |      19 |   711066 |   662982 |     5736    275 |       10 |       24
256.45/256.58	c  253s |      20 |   715153 |   666827 |     5736    276 |       10 |       24
258.46/258.60	c  255s |      20 |   721327 |   672027 |     5736    278 |       10 |       24
260.55/260.65	c  257s |      20 |   726932 |   677127 |     5736    279 |       10 |       24
262.65/262.70	c  259s |      20 |   732006 |   681827 |     5736    281 |       10 |       24
264.65/264.72	c  261s |      20 |   737088 |   686427 |     5736    282 |       10 |       24
266.65/266.76	c  264s |      20 |   741958 |   690927 |     5736    284 |       10 |       24
268.65/268.79	c  266s |      20 |   747888 |   696327 |     5736    286 |       10 |       24
270.75/270.80	c  268s |      20 |   753569 |   701627 |     5736    287 |       10 |       24
272.75/272.81	c  270s |      20 |   758891 |   706527 |     5736    289 |       10 |       24
274.75/274.81	c  272s |      20 |   763982 |   711327 |     5736    290 |       10 |       24
276.75/276.87	c  274s |      20 |   769457 |   716527 |     5736    292 |       10 |       24
278.85/278.90	c  276s |      20 |   774318 |   721027 |     5736    294 |       10 |       24
280.85/280.92	c  278s |      20 |   779472 |   725927 |     5736    295 |       10 |       24
282.85/282.94	c  280s |      20 |   784614 |   730627 |     5736    297 |       10 |       24
284.85/285.00	c  282s |      20 |   790662 |   736327 |     5736    299 |       10 |       24
286.94/287.02	c  284s |      20 |   796062 |   741427 |     5736    300 |       10 |       24
288.94/289.04	c  286s |      20 |   802140 |   747127 |     5736    302 |       10 |       24
290.94/291.05	c  288s |      20 |   808396 |   753127 |     5736    304 |       10 |       24
292.94/293.07	c  290s |      20 |   815140 |   759427 |     5736    306 |       10 |       24
294.94/295.07	c  292s |      20 |   821194 |   765227 |     5736    308 |       10 |       24
296.95/297.08	c  294s |      20 |   827727 |   771327 |     5736    310 |       10 |       24
299.04/299.10	c  296s |      20 |   833740 |   776927 |     5736    312 |       10 |       24
301.04/301.12	c  298s |      20 |   839392 |   782227 |     5736    314 |       10 |       24
303.04/303.17	c  300s |      20 |   845474 |   787927 |     5736    316 |       10 |       24
305.04/305.18	c  302s |      20 |   851239 |   793427 |     5736    317 |       10 |       24
307.14/307.22	c  304s |      20 |   857159 |   798927 |     5736    319 |       10 |       24
309.14/309.23	c  306s |      20 |   862214 |   803627 |     5736    321 |       10 |       24
311.13/311.28	c  308s |      20 |   867675 |   808827 |     5736    322 |       10 |       24
313.13/313.28	c  310s |      20 |   873334 |   814227 |     5736    324 |       10 |       24
315.23/315.30	c  312s |      20 |   878946 |   819627 |     5736    326 |       10 |       24
317.23/317.30	c  314s |      20 |   884388 |   824727 |     5736    328 |       10 |       24
319.23/319.32	c  316s |      20 |   890129 |   830027 |     5736    329 |       10 |       24
321.24/321.34	c  318s |      20 |   896024 |   835627 |     5736    331 |       10 |       24
323.22/323.35	c  320s |      20 |   901858 |   841327 |     5736    333 |       10 |       24
325.22/325.36	c  322s |      20 |   907478 |   846727 |     5736    335 |       10 |       24
327.22/327.36	c  324s |      20 |   912886 |   851827 |     5736    337 |       10 |       24
329.22/329.39	c  326s |      20 |   918954 |   857727 |     5736    338 |       10 |       24
331.32/331.41	c  328s |      20 |   924853 |   863427 |     5736    340 |       10 |       24
333.32/333.41	c  330s |      20 |   930908 |   869227 |     5736    342 |       10 |       24
335.32/335.43	c  332s |      20 |   936448 |   874527 |     5736    344 |       10 |       24
337.32/337.44	c  334s |      20 |   941952 |   879827 |     5736    346 |       10 |       24
339.33/339.49	c  336s |      20 |   947589 |   885227 |     5736    348 |       10 |       24
341.43/341.53	c  338s |      20 |   953717 |   891127 |     5736    349 |       10 |       24
343.42/343.56	c  340s |      20 |   959786 |   896927 |     5736    351 |       10 |       24
345.43/345.59	c  342s |      20 |   965709 |   902427 |     5736    353 |       10 |       24
347.53/347.61	c  344s |      20 |   970808 |   907127 |     5736    355 |       10 |       24
349.52/349.62	c  346s |      20 |   976434 |   912427 |     5736    356 |       10 |       24
351.52/351.65	c  348s |      20 |   982021 |   917627 |     5736    358 |       10 |       24
353.52/353.67	c  350s |      20 |   988510 |   923827 |     5736    360 |       10 |       24
355.62/355.70	c  352s |      20 |   995138 |   930027 |     5736    362 |       10 |       24
357.62/357.72	c  354s |      20 |  1000621 |   935127 |     5736    364 |       10 |       24
359.62/359.72	c  356s |      20 |  1006652 |   940827 |     5736    366 |       10 |       24
361.62/361.76	c  359s |      20 |  1012736 |   946627 |     5736    368 |       10 |       24
363.61/363.77	c  361s |      20 |  1018816 |   952427 |     5736    370 |       10 |       24
365.71/365.81	c  363s |      20 |  1025136 |   958327 |     5736    372 |       10 |       24
367.71/367.82	c  365s |      20 |  1031674 |   964527 |     5736    374 |       10 |       24
369.71/369.85	c  367s |      20 |  1037880 |   970427 |     5736    376 |       10 |       24
371.72/371.86	c  369s |      20 |  1043892 |   976127 |     5736    377 |       10 |       24
373.71/373.87	c  371s |      20 |  1050214 |   982127 |     5736    379 |       10 |       24
375.71/375.87	c  373s |      20 |  1055561 |   987327 |     6310    381 |       10 |       24
377.71/377.89	c  375s |      20 |  1060246 |   991827 |     6310    382 |       10 |       24
379.81/379.91	c  377s |      20 |  1065654 |   996927 |     6310    384 |       10 |       24
381.11/381.29	c  378s |      21 |  1069250 |  1000345 |     6310    385 |       10 |       24
383.20/383.31	c  380s |      21 |  1077415 |  1008045 |     6310    387 |       10 |       24
385.20/385.33	c  382s |      21 |  1083412 |  1013545 |     6310    389 |       10 |       24
387.21/387.33	c  384s |      21 |  1088603 |  1018145 |     6310    390 |       10 |       24
389.20/389.38	c  386s |      21 |  1093651 |  1022745 |     6310    391 |       10 |       24
391.30/391.42	c  388s |      21 |  1098747 |  1026945 |     6310    392 |       10 |       24
393.30/393.46	c  390s |      21 |  1103916 |  1031245 |     6310    394 |       10 |       24
395.29/395.47	c  392s |      21 |  1110268 |  1036645 |     6310    395 |       10 |       24
397.29/397.47	c  394s |      21 |  1115614 |  1041545 |     6310    397 |       10 |       24
399.30/399.48	c  396s |      21 |  1120421 |  1046145 |     6310    398 |       10 |       24
401.29/401.49	c  398s |      21 |  1125453 |  1050545 |     6310    399 |       10 |       24
403.29/403.49	c  400s |      21 |  1130724 |  1055245 |     6310    401 |       10 |       24
405.39/405.51	c  402s |      21 |  1134922 |  1058945 |     6310    402 |       10 |       24
407.39/407.55	c  404s |      21 |  1141029 |  1064345 |     6310    403 |       10 |       24
409.39/409.56	c  406s |      21 |  1145417 |  1068245 |     6310    405 |       10 |       24
411.49/411.60	c  408s |      21 |  1151088 |  1073145 |     6310    406 |       10 |       24
413.49/413.62	c  410s |      21 |  1156424 |  1077645 |     6310    407 |       10 |       24
415.48/415.63	c  412s |      21 |  1161556 |  1081945 |     6310    409 |       10 |       24
417.48/417.64	c  414s |      21 |  1166983 |  1086845 |     6310    410 |       10 |       24
419.48/419.67	c  416s |      21 |  1171994 |  1091345 |     6310    411 |       10 |       24
421.48/421.67	c  418s |      21 |  1177429 |  1096045 |     6310    413 |       10 |       24
423.48/423.68	c  420s |      21 |  1182697 |  1100445 |     6310    414 |       10 |       24
425.58/425.71	c  422s |      21 |  1187918 |  1104845 |     6310    415 |       10 |       24
427.58/427.76	c  425s |      21 |  1192925 |  1109145 |     6310    416 |       10 |       24
429.58/429.79	c  427s |      21 |  1198495 |  1113745 |     6310    418 |       10 |       24
431.68/431.81	c  429s |      21 |  1203922 |  1118545 |     6310    419 |       10 |       24
433.67/433.85	c  431s |      21 |  1208645 |  1122645 |     6310    420 |       10 |       24
435.67/435.85	c  433s |      21 |  1214132 |  1126945 |     6310    422 |       10 |       24
437.68/437.85	c  435s |      21 |  1219365 |  1131445 |     6310    423 |       10 |       24
439.67/439.89	c  437s |      21 |  1224630 |  1136045 |     6310    424 |       10 |       24
441.78/441.90	c  439s |      21 |  1230395 |  1140745 |     6310    426 |       10 |       24
443.78/443.93	c  441s |      21 |  1235735 |  1145645 |     6310    427 |       10 |       24
445.78/445.97	c  443s |      21 |  1240826 |  1150445 |     6310    429 |       10 |       24
447.78/447.99	c  445s |      21 |  1246889 |  1156345 |     6310    430 |       10 |       24
449.78/450.00	c  447s |      21 |  1253226 |  1162045 |     6310    432 |       10 |       24
451.88/452.07	c  449s |      21 |  1259104 |  1167745 |     6310    434 |       10 |       24
453.87/454.09	c  451s |      21 |  1264773 |  1173245 |     6310    435 |       10 |       24
455.97/456.10	c  453s |      21 |  1269931 |  1178245 |     6310    437 |       10 |       24
457.97/458.14	c  455s |      21 |  1274666 |  1182845 |     6310    438 |       10 |       24
459.97/460.16	c  457s |      21 |  1279805 |  1187745 |     6310    439 |       10 |       24
461.98/462.19	c  459s |      21 |  1285859 |  1193445 |     6310    441 |       10 |       24
464.07/464.22	c  461s |      21 |  1290601 |  1197945 |     6310    442 |       10 |       24
466.07/466.23	c  463s |      21 |  1296388 |  1203245 |     6310    444 |       10 |       24
468.06/468.28	c  465s |      21 |  1301858 |  1208245 |     6310    445 |       10 |       24
470.16/470.32	c  467s |      21 |  1306643 |  1212545 |     6310    446 |       10 |       24
472.16/472.33	c  469s |      21 |  1311810 |  1217345 |     6310    448 |       10 |       24
474.16/474.34	c  471s |      21 |  1316957 |  1222245 |     6310    449 |       10 |       24
476.18/476.38	c  473s |      21 |  1322429 |  1227445 |     6310    451 |       10 |       24
478.17/478.38	c  475s |      21 |  1328659 |  1233045 |     6310    452 |       10 |       24
480.27/480.42	c  477s |      21 |  1333074 |  1237145 |     6310    454 |       10 |       24
482.27/482.43	c  479s |      21 |  1337663 |  1240945 |     6310    455 |       10 |       24
484.26/484.47	c  481s |      21 |  1342470 |  1245445 |     6310    456 |       10 |       24
486.36/486.52	c  483s |      21 |  1347335 |  1250145 |     6310    457 |       10 |       24
488.37/488.52	c  485s |      21 |  1351850 |  1254245 |     6310    459 |       10 |       24
490.36/490.53	c  487s |      21 |  1357673 |  1259645 |     6310    460 |       10 |       24
492.36/492.55	c  489s |      21 |  1362558 |  1264145 |     6310    461 |       10 |       24
494.36/494.58	c  491s |      21 |  1367148 |  1268245 |     6310    463 |       10 |       24
496.46/496.61	c  493s |      21 |  1372574 |  1273245 |     6310    464 |       10 |       24
498.46/498.68	c  495s |      21 |  1377921 |  1278145 |     6310    466 |       10 |       24
500.56/500.70	c  497s |      21 |  1382814 |  1282545 |     6310    467 |       10 |       24
502.56/502.71	c  499s |      21 |  1387956 |  1287245 |     6310    468 |       10 |       24
504.55/504.75	c  502s |      21 |  1392932 |  1291745 |     6310    469 |       10 |       24
506.55/506.77	c  504s |      21 |  1398527 |  1297045 |     6310    471 |       10 |       24
508.55/508.79	c  506s |      21 |  1403022 |  1301345 |     6310    472 |       10 |       24
510.65/510.81	c  508s |      21 |  1407533 |  1305445 |     6310    473 |       10 |       24
512.65/512.83	c  510s |      21 |  1413043 |  1310445 |     6310    475 |       10 |       24
514.65/514.89	c  512s |      21 |  1417983 |  1314745 |     6310    476 |       10 |       24
516.75/516.93	c  514s |      21 |  1422338 |  1318745 |     6310    477 |       10 |       24
518.75/518.94	c  516s |      21 |  1427302 |  1322845 |     6310    479 |       10 |       24
520.74/520.94	c  518s |      21 |  1432741 |  1327745 |     6310    480 |       10 |       24
522.74/522.97	c  520s |      21 |  1437647 |  1332145 |     6310    481 |       10 |       24
524.74/524.97	c  522s |      21 |  1442309 |  1336245 |     6310    482 |       10 |       24
526.85/527.01	c  524s |      21 |  1447063 |  1340445 |     6310    484 |       10 |       24
528.84/529.06	c  526s |      21 |  1452452 |  1345345 |     6310    485 |       10 |       24
530.94/531.10	c  528s |      21 |  1457765 |  1350145 |     6310    486 |       10 |       24
532.94/533.13	c  530s |      21 |  1462672 |  1354445 |     6310    488 |       10 |       24
534.94/535.16	c  532s |      21 |  1467264 |  1358745 |     6310    489 |       10 |       24
537.04/537.21	c  534s |      21 |  1472117 |  1363245 |     6310    490 |       10 |       24
539.04/539.22	c  536s |      21 |  1477860 |  1368445 |     6310    492 |       10 |       24
541.05/541.24	c  538s |      21 |  1483799 |  1373745 |     6310    493 |       10 |       24
543.04/543.26	c  540s |      21 |  1489205 |  1378345 |     6310    495 |       10 |       24
545.14/545.31	c  542s |      21 |  1495247 |  1383745 |     6310    496 |       10 |       24
547.13/547.34	c  544s |      21 |  1500343 |  1388345 |     6310    498 |       10 |       24
549.13/549.37	c  546s |      21 |  1505975 |  1393145 |     6310    499 |       10 |       24
551.13/551.39	c  548s |      21 |  1511629 |  1398245 |     6310    501 |       10 |       24
553.24/553.40	c  550s |      21 |  1517591 |  1403645 |     6310    502 |       10 |       24
555.23/555.43	c  552s |      21 |  1522747 |  1408145 |     6310    503 |       10 |       24
557.23/557.46	c  554s |      21 |  1528586 |  1413345 |     6310    505 |       10 |       24
559.23/559.47	c  556s |      21 |  1533657 |  1417945 |     6310    506 |       10 |       24
561.23/561.47	c  558s |      21 |  1538856 |  1422645 |     6310    508 |       10 |       24
563.22/563.49	c  560s |      21 |  1544923 |  1428245 |     6310    509 |       10 |       24
565.33/565.52	c  562s |      21 |  1550307 |  1433045 |     6310    511 |       10 |       24
567.32/567.55	c  564s |      21 |  1555421 |  1437545 |     6310    512 |       10 |       24
569.32/569.57	c  566s |      21 |  1560757 |  1442145 |     6310    513 |       10 |       24
571.32/571.59	c  568s |      21 |  1566389 |  1447045 |     6310    515 |       10 |       24
573.42/573.60	c  570s |      21 |  1572173 |  1452045 |     6310    516 |       10 |       24
575.42/575.65	c  572s |      21 |  1577012 |  1456445 |     6310    518 |       10 |       24
577.42/577.67	c  574s |      21 |  1582624 |  1461445 |     6310    519 |       10 |       24
579.42/579.69	c  576s |      21 |  1588447 |  1466745 |     6310    520 |       10 |       24
581.52/581.73	c  578s |      21 |  1593633 |  1471445 |     6310    522 |       10 |       24
583.51/583.77	c  581s |      21 |  1598528 |  1475845 |     6310    523 |       10 |       24
585.51/585.78	c  583s |      21 |  1602877 |  1479645 |     6310    524 |       10 |       24
587.61/587.80	c  585s |      21 |  1607658 |  1483745 |     6942    525 |       10 |       24
589.61/589.85	c  587s |      21 |  1612990 |  1487945 |     6942    526 |       10 |       24
591.62/591.87	c  589s |      21 |  1617585 |  1492045 |     6942    527 |       10 |       24
593.71/593.91	c  591s |      21 |  1621660 |  1495845 |     6942    528 |       10 |       24
595.72/595.95	c  593s |      21 |  1626581 |  1500445 |     6942    530 |       10 |       24
595.82/596.03	c  593s |      22 |  1626779 |  1500622 |     6942    530 |       10 |       24
597.82/598.04	c  595s |      22 |  1634800 |  1508422 |     6942    532 |       10 |       24
599.92/600.13	c  597s |      22 |  1640891 |  1514322 |     6942    534 |       10 |       24
601.92/602.16	c  599s |      22 |  1646974 |  1520222 |     6942    535 |       10 |       24
603.91/604.16	c  601s |      22 |  1653270 |  1526422 |     6942    537 |       10 |       24
605.92/606.17	c  603s |      22 |  1660446 |  1533422 |     6942    539 |       10 |       24
607.91/608.19	c  605s |      22 |  1666518 |  1539322 |     6942    540 |       10 |       24
610.01/610.21	c  607s |      22 |  1672824 |  1545422 |     6942    542 |       10 |       24
612.01/612.23	c  609s |      22 |  1678358 |  1550722 |     6942    544 |       10 |       24
614.01/614.25	c  611s |      22 |  1684675 |  1556722 |     6942    545 |       10 |       24
616.01/616.26	c  613s |      22 |  1690988 |  1562822 |     6942    547 |       10 |       24
618.01/618.30	c  615s |      22 |  1697621 |  1569122 |     6942    549 |       10 |       24
620.11/620.31	c  617s |      22 |  1703757 |  1574922 |     6942    550 |       10 |       24
622.11/622.33	c  619s |      22 |  1710080 |  1580922 |     6942    552 |       10 |       24
624.10/624.35	c  621s |      22 |  1715473 |  1586022 |     6942    553 |       10 |       24
626.10/626.38	c  623s |      22 |  1721943 |  1592122 |     6942    555 |       10 |       24
628.10/628.39	c  625s |      22 |  1727713 |  1597522 |     6942    557 |       10 |       24
630.21/630.42	c  627s |      22 |  1734216 |  1603722 |     6942    558 |       10 |       24
632.20/632.44	c  629s |      22 |  1740514 |  1609722 |     6942    560 |       10 |       24
634.20/634.44	c  631s |      22 |  1746254 |  1615022 |     6942    561 |       10 |       24
636.20/636.45	c  633s |      22 |  1752589 |  1621122 |     6942    563 |       10 |       24
638.20/638.46	c  635s |      22 |  1758609 |  1626822 |     6942    565 |       10 |       24
640.20/640.48	c  637s |      22 |  1765118 |  1633122 |     6942    566 |       10 |       24
642.20/642.48	c  639s |      22 |  1770381 |  1638322 |     6942    568 |       10 |       24
644.19/644.49	c  641s |      22 |  1777159 |  1644922 |     6942    570 |       10 |       24
646.29/646.52	c  643s |      22 |  1783325 |  1650822 |     6942    571 |       10 |       24
648.29/648.54	c  645s |      22 |  1789660 |  1656922 |     6942    573 |       10 |       24
650.29/650.56	c  647s |      22 |  1795960 |  1662922 |     6942    575 |       10 |       24
652.29/652.58	c  649s |      22 |  1801883 |  1668622 |     6942    576 |       10 |       24
654.39/654.61	c  651s |      22 |  1807495 |  1674022 |     6942    578 |       10 |       24
656.39/656.62	c  653s |      22 |  1813280 |  1679222 |     6942    579 |       10 |       24
658.38/658.65	c  655s |      22 |  1819710 |  1685422 |     6942    581 |       10 |       24
660.38/660.66	c  657s |      22 |  1825728 |  1691122 |     6942    583 |       10 |       24
662.38/662.67	c  659s |      22 |  1831061 |  1696222 |     6942    584 |       10 |       24
664.38/664.69	c  661s |      22 |  1836976 |  1701922 |     6942    586 |       10 |       24
666.38/666.69	c  663s |      22 |  1841936 |  1706622 |     6942    587 |       10 |       24
668.48/668.70	c  665s |      22 |  1847220 |  1711622 |     6942    588 |       10 |       24
670.48/670.70	c  667s |      22 |  1852441 |  1716722 |     6942    590 |       10 |       24
672.48/672.70	c  669s |      22 |  1858137 |  1722122 |     6942    591 |       10 |       24
674.47/674.71	c  671s |      22 |  1862864 |  1726522 |     6942    592 |       10 |       24
676.47/676.73	c  674s |      22 |  1868786 |  1732022 |     6942    594 |       10 |       24
678.48/678.73	c  676s |      22 |  1874152 |  1737122 |     6942    595 |       10 |       24
680.47/680.74	c  678s |      22 |  1879491 |  1742222 |     6942    597 |       10 |       24
682.47/682.75	c  680s |      22 |  1885114 |  1747522 |     6942    598 |       10 |       24
684.47/684.78	c  682s |      22 |  1890583 |  1752722 |     6942    600 |       10 |       24
686.46/686.79	c  684s |      22 |  1896298 |  1758222 |     6942    601 |       10 |       24
688.56/688.81	c  686s |      22 |  1901674 |  1763222 |     6942    602 |       10 |       24
690.57/690.82	c  688s |      22 |  1906472 |  1767822 |     6942    604 |       10 |       24
692.56/692.83	c  690s |      22 |  1913062 |  1774122 |     6942    605 |       10 |       24
694.56/694.85	c  692s |      22 |  1918115 |  1778922 |     6942    607 |       10 |       24
696.56/696.88	c  694s |      22 |  1924212 |  1784522 |     6942    608 |       10 |       24
698.66/698.91	c  696s |      22 |  1928973 |  1789022 |     6942    610 |       10 |       24
700.66/700.95	c  698s |      22 |  1933986 |  1793722 |     6942    611 |       10 |       24
702.66/702.96	c  700s |      22 |  1939667 |  1799122 |     6942    612 |       10 |       24
704.76/705.00	c  702s |      22 |  1945162 |  1804422 |     6942    614 |       10 |       24
706.76/707.03	c  704s |      22 |  1950827 |  1809722 |     6942    615 |       10 |       24
708.76/709.04	c  706s |      22 |  1956302 |  1814722 |     6942    617 |       10 |       24
710.76/711.06	c  708s |      22 |  1961431 |  1819622 |     6942    618 |       10 |       24
712.86/713.10	c  710s |      22 |  1966961 |  1824822 |     6942    619 |       10 |       24
714.87/715.13	c  712s |      22 |  1972132 |  1829622 |     6942    621 |       10 |       24
716.86/717.16	c  714s |      22 |  1977300 |  1834322 |     6942    622 |       10 |       24
718.86/719.18	c  716s |      22 |  1982563 |  1839222 |     6942    623 |       10 |       24
720.96/721.20	c  718s |      22 |  1987301 |  1843622 |     6942    625 |       10 |       24
722.96/723.24	c  720s |      22 |  1993239 |  1849322 |     6942    626 |       10 |       24
724.96/725.26	c  722s |      22 |  1998429 |  1854222 |     6942    628 |       10 |       24
726.96/727.26	c  724s |      22 |  2004385 |  1860022 |     6942    629 |       10 |       24
728.96/729.29	c  726s |      22 |  2009842 |  1865322 |     6942    631 |       10 |       24
731.05/731.31	c  728s |      22 |  2015647 |  1870822 |     6942    632 |       10 |       24
733.05/733.34	c  730s |      22 |  2020985 |  1875922 |     6942    634 |       10 |       24
735.05/735.35	c  732s |      22 |  2027044 |  1881722 |     6942    635 |       10 |       24
737.05/737.38	c  734s |      22 |  2033110 |  1887522 |     6942    637 |       10 |       24
739.15/739.44	c  736s |      22 |  2038898 |  1893022 |     6942    638 |       10 |       24
741.16/741.44	c  738s |      22 |  2044443 |  1898122 |     6942    640 |       10 |       24
743.15/743.44	c  740s |      22 |  2050059 |  1903322 |     6942    641 |       10 |       24
745.15/745.47	c  742s |      22 |  2055365 |  1908222 |     6942    643 |       10 |       24
747.15/747.48	c  744s |      22 |  2061129 |  1913622 |     6942    644 |       10 |       24
749.15/749.49	c  746s |      22 |  2066709 |  1918622 |     6942    645 |       10 |       24
751.15/751.49	c  748s |      22 |  2072243 |  1923922 |     6942    647 |       10 |       24
753.25/753.54	c  750s |      22 |  2077749 |  1929122 |     6942    648 |       10 |       24
755.24/755.55	c  752s |      22 |  2082854 |  1933622 |     6942    650 |       10 |       24
757.24/757.58	c  754s |      22 |  2088338 |  1938522 |     6942    651 |       10 |       24
759.34/759.60	c  756s |      22 |  2093510 |  1943222 |     6942    652 |       10 |       24
761.34/761.62	c  758s |      22 |  2098585 |  1948022 |     6942    654 |       10 |       24
763.34/763.65	c  760s |      22 |  2103274 |  1952522 |     6942    655 |       10 |       24
765.34/765.68	c  762s |      22 |  2109180 |  1958222 |     6942    656 |       10 |       24
767.44/767.70	c  764s |      22 |  2115301 |  1964122 |     6942    658 |       10 |       24
769.44/769.78	c  767s |      22 |  2121184 |  1969822 |     6942    660 |       10 |       24
771.54/771.81	c  769s |      22 |  2127330 |  1975722 |     6942    661 |       10 |       24
773.53/773.81	c  771s |      22 |  2133393 |  1981522 |     6942    663 |       10 |       24
775.53/775.82	c  773s |      22 |  2139343 |  1987322 |     6942    664 |       10 |       24
777.54/777.86	c  775s |      22 |  2144873 |  1992522 |     6942    666 |       10 |       24
779.53/779.87	c  777s |      22 |  2150641 |  1998122 |     6942    667 |       10 |       24
781.63/781.91	c  779s |      22 |  2156571 |  2003822 |     6942    669 |       10 |       24
783.63/783.93	c  781s |      22 |  2162502 |  2009522 |     6942    671 |       10 |       24
785.63/785.95	c  783s |      22 |  2168839 |  2015722 |     6942    672 |       10 |       24
787.63/787.96	c  785s |      22 |  2174969 |  2021522 |     6942    674 |       10 |       24
789.64/789.96	c  787s |      22 |  2181577 |  2027722 |     6942    676 |       10 |       24
791.63/791.97	c  789s |      22 |  2187828 |  2033522 |     6942    677 |       10 |       24
793.62/793.98	c  791s |      22 |  2193719 |  2038922 |     6942    679 |       10 |       24
795.62/796.00	c  793s |      22 |  2199051 |  2043922 |     6942    680 |       10 |       24
797.72/798.00	c  795s |      22 |  2204271 |  2049022 |     6942    682 |       10 |       24
799.72/800.02	c  797s |      22 |  2211051 |  2055522 |     6942    683 |       10 |       24
801.73/802.03	c  799s |      22 |  2216412 |  2060622 |     6942    685 |       10 |       24
803.72/804.05	c  801s |      22 |  2221836 |  2065722 |     6942    686 |       10 |       24
805.72/806.09	c  803s |      22 |  2227067 |  2070722 |     6942    688 |       10 |       24
807.82/808.10	c  805s |      22 |  2232666 |  2076022 |     6942    689 |       10 |       24
809.82/810.11	c  807s |      22 |  2238052 |  2081122 |     6942    690 |       10 |       24
811.82/812.14	c  809s |      22 |  2243260 |  2086022 |     6942    692 |       10 |       24
813.82/814.16	c  811s |      22 |  2249349 |  2091722 |     6942    693 |       10 |       24
815.82/816.16	c  813s |      22 |  2254998 |  2097022 |     6942    695 |       10 |       24
817.82/818.19	c  815s |      22 |  2260698 |  2102522 |     6942    696 |       10 |       24
819.92/820.21	c  817s |      22 |  2266638 |  2108122 |     6942    698 |       10 |       24
821.92/822.21	c  819s |      22 |  2272767 |  2114022 |     6942    699 |       10 |       24
823.91/824.23	c  821s |      22 |  2278501 |  2119622 |     6942    701 |       10 |       24
825.92/826.26	c  823s |      22 |  2284317 |  2125222 |     6942    703 |       10 |       24
827.91/828.29	c  825s |      22 |  2290540 |  2131222 |     6942    704 |       10 |       24
830.01/830.30	c  827s |      22 |  2296850 |  2137222 |     6942    706 |       10 |       24
832.01/832.31	c  829s |      22 |  2303235 |  2143222 |     6942    708 |       10 |       24
834.01/834.31	c  831s |      22 |  2308741 |  2148322 |     6942    709 |       10 |       24
836.01/836.33	c  833s |      22 |  2314483 |  2153722 |     6942    710 |       10 |       24
838.02/838.35	c  835s |      22 |  2320374 |  2159422 |     6942    712 |       10 |       24
840.01/840.37	c  837s |      22 |  2325675 |  2164322 |     6942    713 |       10 |       24
842.11/842.40	c  839s |      22 |  2330959 |  2169322 |     6942    715 |       10 |       24
844.10/844.43	c  841s |      22 |  2337417 |  2175522 |     6942    716 |       10 |       24
846.10/846.47	c  843s |      22 |  2343480 |  2181422 |     6942    718 |       10 |       24
848.10/848.47	c  845s |      22 |  2349445 |  2186922 |     6942    720 |       10 |       24
850.11/850.48	c  847s |      22 |  2354749 |  2192022 |     6942    721 |       10 |       24
852.10/852.49	c  849s |      22 |  2361542 |  2198522 |     6942    723 |       10 |       24
854.20/854.51	c  851s |      22 |  2367646 |  2204022 |     6942    724 |       10 |       24
856.19/856.53	c  853s |      22 |  2373000 |  2209222 |     6942    726 |       10 |       24
858.19/858.56	c  855s |      22 |  2378442 |  2214522 |     6942    727 |       10 |       24
860.19/860.59	c  857s |      22 |  2384191 |  2220122 |     6942    729 |       10 |       24
862.29/862.62	c  859s |      22 |  2389830 |  2225522 |     6942    730 |       10 |       24
864.30/864.65	c  861s |      22 |  2395336 |  2230922 |     7637    732 |       10 |       24
866.29/866.67	c  863s |      22 |  2400661 |  2236022 |     7637    733 |       10 |       24
868.29/868.68	c  865s |      22 |  2406185 |  2241322 |     7637    734 |       10 |       24
870.29/870.69	c  867s |      22 |  2411682 |  2246522 |     7637    735 |       10 |       24
872.09/872.46	c  869s |      23 |  2416384 |  2251038 |     7637    737 |       10 |       24
874.08/874.46	c  871s |      23 |  2421482 |  2255538 |     7637    738 |       10 |       24
876.18/876.50	c  873s |      23 |  2427207 |  2260238 |     7637    739 |       10 |       24
878.18/878.52	c  875s |      23 |  2433674 |  2266138 |     7637    740 |       10 |       24
880.18/880.55	c  877s |      23 |  2438482 |  2270738 |     7637    741 |       10 |       24
882.18/882.55	c  879s |      23 |  2443630 |  2275538 |     7637    742 |       10 |       24
884.18/884.57	c  881s |      23 |  2448933 |  2280538 |     7637    744 |       10 |       24
886.28/886.62	c  883s |      23 |  2454513 |  2285638 |     7637    745 |       10 |       24
888.28/888.65	c  885s |      23 |  2458944 |  2289738 |     7637    746 |       10 |       24
890.38/890.70	c  887s |      23 |  2465043 |  2295138 |     7637    747 |       10 |       24
892.38/892.72	c  889s |      23 |  2470214 |  2299838 |     7637    748 |       10 |       24
894.37/894.72	c  891s |      23 |  2474793 |  2304138 |     7637    749 |       10 |       24
896.37/896.74	c  894s |      23 |  2480245 |  2309138 |     7637    751 |       10 |       24
898.38/898.74	c  896s |      23 |  2485095 |  2313238 |     7637    752 |       10 |       24
900.37/900.76	c  898s |      23 |  2490799 |  2318138 |     7637    753 |       10 |       24
902.37/902.78	c  900s |      23 |  2495698 |  2322538 |     7637    754 |       10 |       24
904.47/904.80	c  902s |      23 |  2503322 |  2329838 |     7637    756 |       10 |       24
906.47/906.84	c  904s |      23 |  2509732 |  2335738 |     7637    757 |       10 |       24
908.47/908.84	c  906s |      23 |  2516041 |  2341638 |     7637    758 |       10 |       24
910.48/910.86	c  908s |      23 |  2520944 |  2346238 |     7637    760 |       10 |       24
912.57/912.90	c  910s |      23 |  2526550 |  2351638 |     7637    761 |       10 |       24
914.57/914.92	c  912s |      23 |  2530989 |  2355838 |     7637    762 |       10 |       24
916.57/916.99	c  914s |      23 |  2535108 |  2359538 |     7637    763 |       10 |       24
918.67/919.06	c  916s |      23 |  2537325 |  2361538 |     7637    763 |       10 |       24
920.77/921.10	c  918s |      23 |  2539575 |  2363538 |     7637    764 |       10 |       24
922.87/923.21	c  920s |      23 |  2542205 |  2365838 |     7637    764 |       10 |       24
924.88/925.24	c  922s |      23 |  2544850 |  2368238 |     7637    765 |       10 |       24
926.87/927.28	c  924s |      23 |  2547952 |  2371138 |     7637    766 |       10 |       24
928.87/929.29	c  926s |      23 |  2551174 |  2373838 |     7637    766 |       10 |       24
930.97/931.30	c  928s |      23 |  2555009 |  2377138 |     7637    767 |       10 |       24
932.97/933.30	c  930s |      23 |  2559346 |  2380938 |     7637    768 |       10 |       24
934.97/935.33	c  932s |      23 |  2564741 |  2385338 |     7637    769 |       10 |       24
936.97/937.37	c  934s |      23 |  2570058 |  2390438 |     7637    770 |       10 |       24
939.07/939.42	c  936s |      23 |  2574474 |  2394538 |     7637    771 |       10 |       24
941.07/941.44	c  938s |      23 |  2578032 |  2397838 |     7637    772 |       10 |       24
943.07/943.48	c  940s |      23 |  2580957 |  2400638 |     7637    773 |       10 |       24
945.17/945.51	c  942s |      23 |  2584615 |  2404138 |     7637    774 |       10 |       24
947.16/947.53	c  944s |      23 |  2589449 |  2408638 |     7637    775 |       10 |       24
949.16/949.57	c  946s |      23 |  2595794 |  2414338 |     7637    776 |       10 |       24
951.27/951.63	c  948s |      23 |  2599946 |  2418338 |     7637    777 |       10 |       24
953.26/953.66	c  950s |      23 |  2604777 |  2422938 |     7637    778 |       10 |       24
955.26/955.67	c  952s |      23 |  2609448 |  2427338 |     7637    779 |       10 |       24
957.26/957.69	c  954s |      23 |  2613237 |  2430638 |     7637    780 |       10 |       24
959.36/959.71	c  956s |      23 |  2617782 |  2434738 |     7637    781 |       10 |       24
961.36/961.77	c  959s |      23 |  2622367 |  2438638 |     7637    782 |       10 |       24
963.37/963.78	c  961s |      23 |  2626433 |  2441738 |     7637    783 |       10 |       24
965.36/965.79	c  963s |      23 |  2630329 |  2445038 |     7637    783 |       10 |       24
967.46/967.83	c  965s |      23 |  2634198 |  2448438 |     7637    784 |       10 |       24
969.46/969.85	c  967s |      23 |  2638238 |  2452038 |     7637    785 |       10 |       24
971.46/971.88	c  969s |      23 |  2642495 |  2455838 |     7637    786 |       10 |       24
973.46/973.88	c  971s |      23 |  2646716 |  2459438 |     7637    787 |       10 |       24
975.56/975.91	c  973s |      23 |  2650511 |  2462838 |     7637    788 |       10 |       24
977.56/977.91	c  975s |      23 |  2653862 |  2465738 |     7637    788 |       10 |       24
979.56/979.96	c  977s |      23 |  2657786 |  2469138 |     7637    789 |       10 |       24
981.56/981.99	c  979s |      23 |  2661946 |  2473038 |     7637    790 |       10 |       24
983.66/984.07	c  981s |      23 |  2665098 |  2476038 |     7637    791 |       10 |       24
985.66/986.07	c  983s |      23 |  2667871 |  2478638 |     7637    792 |       10 |       24
987.75/988.11	c  985s |      23 |  2671183 |  2481638 |     7637    792 |       10 |       24
989.76/990.15	c  987s |      23 |  2675755 |  2485838 |     7637    793 |       10 |       24
991.75/992.18	c  989s |      23 |  2679614 |  2489138 |     7637    794 |       10 |       24
993.85/994.20	c  991s |      23 |  2683238 |  2492038 |     7637    795 |       10 |       24
995.85/996.22	c  993s |      23 |  2686215 |  2494738 |     7637    795 |       10 |       24
997.85/998.25	c  995s |      23 |  2691381 |  2499638 |     7637    797 |       10 |       24
999.85/1000.27	c  997s |      23 |  2695786 |  2503138 |     7637    798 |       10 |       24
1001.95/1002.35	c  999s |      23 |  2699338 |  2506038 |     7637    798 |       10 |       24
1003.96/1004.37	c 1001s |      23 |  2704604 |  2510838 |     7637    799 |       10 |       24
1006.05/1006.44	c 1003s |      23 |  2709193 |  2515038 |     7637    800 |       10 |       24
1008.05/1008.47	c 1005s |      23 |  2713040 |  2518338 |     7637    801 |       10 |       24
1010.15/1010.50	c 1007s |      23 |  2716962 |  2521738 |     7637    802 |       10 |       24
1012.15/1012.52	c 1009s |      23 |  2720622 |  2524738 |     7637    803 |       10 |       24
1014.15/1014.54	c 1011s |      23 |  2726513 |  2530338 |     7637    804 |       10 |       24
1016.15/1016.58	c 1013s |      23 |  2731207 |  2534738 |     7637    805 |       10 |       24
1018.25/1018.61	c 1015s |      23 |  2735651 |  2538538 |     7637    806 |       10 |       24
1020.25/1020.63	c 1017s |      23 |  2740096 |  2542438 |     7637    807 |       10 |       24
1022.25/1022.65	c 1019s |      23 |  2744846 |  2546438 |     7637    808 |       10 |       24
1024.25/1024.66	c 1021s |      23 |  2748504 |  2549638 |     7637    809 |       10 |       24
1026.26/1026.68	c 1023s |      23 |  2752438 |  2552638 |     7637    809 |       10 |       24
1028.35/1028.70	c 1025s |      23 |  2756863 |  2556438 |     7637    810 |       10 |       24
1030.36/1030.73	c 1027s |      23 |  2761490 |  2560338 |     7637    811 |       10 |       24
1032.35/1032.78	c 1030s |      23 |  2766618 |  2565038 |     7637    812 |       10 |       24
1034.45/1034.82	c 1032s |      23 |  2770221 |  2568038 |     7637    813 |       10 |       24
1036.45/1036.83	c 1034s |      23 |  2773777 |  2571138 |     7637    814 |       10 |       24
1038.45/1038.86	c 1036s |      23 |  2777630 |  2574538 |     7637    815 |       10 |       24
1040.55/1040.90	c 1038s |      23 |  2781984 |  2578538 |     7637    816 |       10 |       24
1042.56/1042.92	c 1040s |      23 |  2785949 |  2581838 |     7637    817 |       10 |       24
1044.55/1044.92	c 1042s |      23 |  2790545 |  2586138 |     7637    818 |       10 |       24
1046.55/1046.94	c 1044s |      23 |  2794169 |  2589638 |     7637    818 |       10 |       24
1048.55/1048.95	c 1046s |      23 |  2800115 |  2595038 |     7637    820 |       10 |       24
1050.55/1050.97	c 1048s |      23 |  2804713 |  2598938 |     7637    821 |       10 |       24
1052.65/1053.03	c 1050s |      23 |  2808986 |  2602638 |     7637    822 |       10 |       24
1054.66/1055.09	c 1052s |      23 |  2812726 |  2605938 |     7637    822 |       10 |       24
1056.75/1057.11	c 1054s |      23 |  2816355 |  2609438 |     7637    823 |       10 |       24
1058.75/1059.14	c 1056s |      23 |  2820791 |  2613638 |     7637    824 |       10 |       24
1060.85/1061.20	c 1058s |      23 |  2824983 |  2617338 |     7637    825 |       10 |       24
1062.85/1063.22	c 1060s |      23 |  2829257 |  2621438 |     7637    826 |       10 |       24
1064.85/1065.24	c 1062s |      23 |  2834349 |  2626038 |     7637    827 |       10 |       24
1066.85/1067.26	c 1064s |      23 |  2839182 |  2630538 |     7637    828 |       10 |       24
1068.85/1069.28	c 1066s |      23 |  2844305 |  2634938 |     7637    829 |       10 |       24
1070.85/1071.29	c 1068s |      23 |  2849185 |  2639038 |     7637    830 |       10 |       24
1072.95/1073.37	c 1070s |      23 |  2851960 |  2641638 |     7637    831 |       10 |       24
1075.05/1075.42	c 1072s |      23 |  2854204 |  2643638 |     7637    832 |       10 |       24
1077.15/1077.51	c 1074s |      23 |  2856415 |  2645738 |     7637    832 |       10 |       24
1079.15/1079.54	c 1076s |      23 |  2859089 |  2648238 |     7637    833 |       10 |       24
1081.14/1081.54	c 1078s |      23 |  2862708 |  2651638 |     7637    833 |       10 |       24
1083.25/1083.62	c 1080s |      23 |  2866062 |  2654638 |     7637    834 |       10 |       24
1085.24/1085.64	c 1082s |      23 |  2869431 |  2657638 |     7637    835 |       10 |       24
1087.24/1087.67	c 1084s |      23 |  2872407 |  2660438 |     7637    836 |       10 |       24
1089.34/1089.71	c 1086s |      23 |  2876295 |  2663938 |     7637    836 |       10 |       24
1091.34/1091.76	c 1089s |      23 |  2880050 |  2667238 |     7637    837 |       10 |       24
1093.44/1093.81	c 1091s |      23 |  2883871 |  2670738 |     7637    838 |       10 |       24
1095.44/1095.85	c 1093s |      23 |  2887952 |  2674138 |     7637    839 |       10 |       24
1097.45/1097.87	c 1095s |      23 |  2891288 |  2676938 |     7637    840 |       10 |       24
1099.54/1099.96	c 1097s |      23 |  2894988 |  2680038 |     7637    840 |       10 |       24
1101.54/1101.99	c 1099s |      23 |  2898173 |  2682838 |     7637    841 |       10 |       24
1103.64/1104.02	c 1101s |      23 |  2901398 |  2685738 |     7637    842 |       10 |       24
1105.64/1106.03	c 1103s |      23 |  2905121 |  2689038 |     7637    843 |       10 |       24
1107.64/1108.05	c 1105s |      23 |  2909469 |  2692838 |     7637    843 |       10 |       24
1109.65/1110.05	c 1107s |      23 |  2912941 |  2696038 |     7637    844 |       10 |       24
1111.64/1112.09	c 1109s |      23 |  2917644 |  2700138 |     7637    845 |       10 |       24
1113.74/1114.13	c 1111s |      23 |  2921789 |  2703838 |     7637    846 |       10 |       24
1115.74/1116.17	c 1113s |      23 |  2925665 |  2707238 |     7637    847 |       10 |       24
1117.84/1118.23	c 1115s |      23 |  2929986 |  2711038 |     7637    848 |       10 |       24
1119.84/1120.23	c 1117s |      23 |  2934048 |  2714738 |     7637    849 |       10 |       24
1121.83/1122.24	c 1119s |      23 |  2938817 |  2719138 |     7637    850 |       10 |       24
1123.84/1124.25	c 1121s |      23 |  2943556 |  2723638 |     7637    851 |       10 |       24
1125.83/1126.26	c 1123s |      23 |  2948358 |  2728138 |     7637    852 |       10 |       24
1127.83/1128.29	c 1125s |      23 |  2952708 |  2732238 |     7637    853 |       10 |       24
1129.83/1130.29	c 1127s |      23 |  2956186 |  2735438 |     7637    854 |       10 |       24
1131.93/1132.38	c 1129s |      23 |  2959155 |  2738038 |     7637    854 |       10 |       24
1134.03/1134.43	c 1131s |      23 |  2962773 |  2741238 |     7637    855 |       10 |       24
1136.04/1136.46	c 1133s |      23 |  2966511 |  2744538 |     7637    856 |       10 |       24
1138.03/1138.48	c 1135s |      23 |  2969875 |  2747438 |     7637    857 |       10 |       24
1140.13/1140.53	c 1137s |      23 |  2973677 |  2750738 |     7637    857 |       10 |       24
1142.13/1142.55	c 1139s |      23 |  2976663 |  2753538 |     7637    858 |       10 |       24
1144.23/1144.60	c 1141s |      23 |  2980563 |  2757338 |     7637    859 |       10 |       24
1146.23/1146.61	c 1143s |      23 |  2984979 |  2761638 |     7637    860 |       10 |       24
1148.23/1148.67	c 1145s |      23 |  2988684 |  2765138 |     7637    861 |       10 |       24
1150.34/1150.74	c 1148s |      23 |  2991704 |  2768038 |     7637    862 |       10 |       24
1152.43/1152.81	c 1150s |      23 |  2995252 |  2771438 |     7637    863 |       10 |       24
1154.43/1154.89	c 1152s |      23 |  2999456 |  2775438 |     7637    864 |       10 |       24
1156.53/1156.92	c 1154s |      23 |  3002722 |  2778538 |     7637    864 |       10 |       24
1158.53/1158.96	c 1156s |      23 |  3006501 |  2782138 |     7637    865 |       10 |       24
1160.53/1160.97	c 1158s |      23 |  3011200 |  2786638 |     7637    866 |       10 |       24
1162.53/1162.97	c 1160s |      23 |  3015352 |  2790638 |     7637    867 |       10 |       24
1164.53/1164.99	c 1162s |      23 |  3019471 |  2794438 |     7637    868 |       10 |       24
1166.63/1167.01	c 1164s |      23 |  3023433 |  2797938 |     7637    869 |       10 |       24
1168.63/1169.04	c 1166s |      23 |  3027102 |  2801338 |     7637    870 |       10 |       24
1170.63/1171.04	c 1168s |      23 |  3030466 |  2804638 |     7637    871 |       10 |       24
1172.63/1173.08	c 1170s |      23 |  3033635 |  2807638 |     7637    871 |       10 |       24
1174.73/1175.10	c 1172s |      23 |  3037462 |  2811338 |     7637    872 |       10 |       24
1176.73/1177.12	c 1174s |      23 |  3042109 |  2815638 |     7637    873 |       10 |       24
1178.72/1179.19	c 1176s |      23 |  3045572 |  2818938 |     7637    874 |       10 |       24
1180.82/1181.27	c 1178s |      23 |  3048891 |  2822138 |     7637    875 |       10 |       24
1182.82/1183.29	c 1180s |      23 |  3052604 |  2825738 |     7637    876 |       10 |       24
1184.92/1185.30	c 1182s |      23 |  3058963 |  2831938 |     7637    877 |       10 |       24
1186.92/1187.31	c 1184s |      23 |  3063506 |  2836038 |     7637    878 |       10 |       24
1188.92/1189.33	c 1186s |      23 |  3068046 |  2840338 |     7637    879 |       10 |       24
1190.93/1191.37	c 1188s |      23 |  3071923 |  2843738 |     7637    880 |       10 |       24
1192.92/1193.39	c 1190s |      23 |  3073974 |  2845538 |     7637    881 |       10 |       24
1195.02/1195.42	c 1192s |      23 |  3078745 |  2849838 |     7637    882 |       10 |       24
1197.02/1197.46	c 1194s |      23 |  3083363 |  2854038 |     7637    883 |       10 |       24
1199.02/1199.46	c 1196s |      23 |  3088571 |  2858638 |     7637    884 |       10 |       24
1201.12/1201.50	c 1198s |      23 |  3093282 |  2863038 |     7637    885 |       10 |       24
1203.13/1203.52	c 1200s |      23 |  3098495 |  2867638 |     7637    886 |       10 |       24
1205.12/1205.54	c 1202s |      23 |  3104707 |  2873438 |     7637    887 |       10 |       24
1207.12/1207.54	c 1204s |      23 |  3110584 |  2879038 |     7637    889 |       10 |       24
1209.12/1209.56	c 1206s |      23 |  3117370 |  2885438 |     7637    890 |       10 |       24
1211.22/1211.61	c 1208s |      23 |  3123492 |  2891238 |     7637    892 |       10 |       24
1213.22/1213.65	c 1210s |      23 |  3129419 |  2896638 |     7637    893 |       10 |       24
1215.23/1215.65	c 1212s |      23 |  3134605 |  2901638 |     7637    894 |       10 |       24
1217.23/1217.67	c 1214s |      23 |  3140940 |  2907738 |     7637    895 |       10 |       24
1219.22/1219.67	c 1216s |      23 |  3146817 |  2913138 |     7637    897 |       10 |       24
1221.32/1221.70	c 1218s |      23 |  3152750 |  2918738 |     7637    898 |       10 |       24
1223.32/1223.72	c 1220s |      23 |  3158493 |  2924238 |     7637    899 |       10 |       24
1225.32/1225.73	c 1222s |      23 |  3164095 |  2929638 |     7637    901 |       10 |       24
1227.33/1227.74	c 1225s |      23 |  3170560 |  2935738 |     7637    902 |       10 |       24
1229.32/1229.77	c 1227s |      23 |  3176891 |  2941838 |     7637    904 |       10 |       24
1231.32/1231.79	c 1229s |      23 |  3182505 |  2947238 |     7637    905 |       10 |       24
1233.42/1233.81	c 1231s |      23 |  3188530 |  2952938 |     7637    906 |       10 |       24
1235.42/1235.85	c 1233s |      23 |  3194890 |  2959038 |     7637    908 |       10 |       24
1237.42/1237.88	c 1235s |      23 |  3200762 |  2964638 |     7637    909 |       10 |       24
1239.52/1239.91	c 1237s |      23 |  3206855 |  2970438 |     7637    911 |       10 |       24
1241.53/1241.91	c 1239s |      23 |  3213178 |  2976438 |     7637    912 |       10 |       24
1243.52/1243.92	c 1241s |      23 |  3219231 |  2982038 |     7637    913 |       10 |       24
1245.52/1245.95	c 1243s |      23 |  3224613 |  2987138 |     7637    915 |       10 |       24
1247.52/1247.97	c 1245s |      23 |  3230746 |  2993038 |     7637    916 |       10 |       24
1249.52/1249.99	c 1247s |      23 |  3236097 |  2998038 |     7637    917 |       10 |       24
1251.52/1251.99	c 1249s |      23 |  3241679 |  3003338 |     7637    919 |       10 |       24
1253.62/1254.02	c 1251s |      23 |  3247619 |  3008738 |     7637    920 |       10 |       24
1255.61/1256.03	c 1253s |      23 |  3253533 |  3014338 |     7637    921 |       10 |       24
1257.61/1258.06	c 1255s |      23 |  3259509 |  3019938 |     7637    923 |       10 |       24
1259.61/1260.07	c 1257s |      23 |  3265195 |  3025438 |     7637    924 |       10 |       24
1261.61/1262.07	c 1259s |      23 |  3270743 |  3030738 |     7637    925 |       10 |       24
1263.62/1264.08	c 1261s |      23 |  3276295 |  3036038 |     7637    926 |       10 |       24
1265.72/1266.10	c 1263s |      23 |  3282465 |  3041838 |     7637    928 |       10 |       24
1267.71/1268.11	c 1265s |      23 |  3288437 |  3047438 |     7637    929 |       10 |       24
1269.71/1270.13	c 1267s |      23 |  3293903 |  3052738 |     7637    930 |       10 |       24
1271.71/1272.13	c 1269s |      23 |  3299178 |  3057838 |     7637    932 |       10 |       24
1273.71/1274.15	c 1271s |      23 |  3305460 |  3063738 |     7637    933 |       10 |       24
1275.81/1276.21	c 1273s |      23 |  3311440 |  3069438 |     7637    934 |       10 |       24
1277.81/1278.22	c 1275s |      23 |  3317575 |  3075338 |     7637    936 |       10 |       24
1279.81/1280.24	c 1277s |      23 |  3323764 |  3081038 |     7637    937 |       10 |       24
1281.82/1282.24	c 1279s |      23 |  3328814 |  3085738 |     7637    938 |       10 |       24
1283.82/1284.25	c 1281s |      23 |  3335173 |  3091738 |     7637    940 |       10 |       24
1285.81/1286.28	c 1283s |      23 |  3341449 |  3097738 |     7637    941 |       10 |       24
1287.82/1288.29	c 1285s |      23 |  3346947 |  3102938 |     7637    943 |       10 |       24
1289.92/1290.31	c 1287s |      23 |  3353402 |  3109038 |     7637    944 |       10 |       24
1291.91/1292.33	c 1289s |      23 |  3359396 |  3114738 |     7637    945 |       10 |       24
1293.91/1294.34	c 1291s |      23 |  3364427 |  3119538 |     7637    946 |       10 |       24
1295.91/1296.35	c 1293s |      23 |  3370175 |  3124938 |     7637    948 |       10 |       24
1297.91/1298.38	c 1295s |      23 |  3375977 |  3130538 |     7637    949 |       10 |       24
1299.92/1300.39	c 1297s |      23 |  3381787 |  3136138 |     7637    951 |       10 |       24
1301.91/1302.40	c 1299s |      23 |  3388138 |  3142238 |     7637    952 |       10 |       24
1304.01/1304.44	c 1301s |      23 |  3394283 |  3148038 |     7637    953 |       10 |       24
1306.01/1306.46	c 1303s |      23 |  3399871 |  3153238 |     7637    955 |       10 |       24
1308.01/1308.47	c 1305s |      23 |  3406020 |  3159138 |     7637    956 |       10 |       24
1310.11/1310.50	c 1307s |      23 |  3412244 |  3165138 |     7637    957 |       10 |       24
1312.11/1312.53	c 1309s |      23 |  3417990 |  3170738 |     7637    959 |       10 |       24
1314.12/1314.57	c 1311s |      23 |  3423942 |  3176438 |     7637    960 |       10 |       24
1316.11/1316.58	c 1313s |      23 |  3429283 |  3181438 |     7637    961 |       10 |       24
1318.21/1318.61	c 1315s |      23 |  3435402 |  3187238 |     7637    963 |       10 |       24
1320.21/1320.63	c 1317s |      23 |  3441796 |  3193238 |     7637    964 |       10 |       24
1322.21/1322.65	c 1319s |      23 |  3447628 |  3198738 |     7637    966 |       10 |       24
1324.21/1324.67	c 1321s |      23 |  3453600 |  3204538 |     7637    967 |       10 |       24
1326.21/1326.68	c 1323s |      23 |  3459387 |  3210138 |     7637    968 |       10 |       24
1328.21/1328.68	c 1325s |      23 |  3465402 |  3215838 |     7637    970 |       10 |       24
1330.31/1330.70	c 1327s |      23 |  3471955 |  3222138 |     7637    971 |       10 |       24
1332.31/1332.70	c 1329s |      23 |  3478348 |  3228138 |     7637    973 |       10 |       24
1334.31/1334.71	c 1331s |      23 |  3484533 |  3234038 |     7637    974 |       10 |       24
1336.31/1336.75	c 1334s |      23 |  3490474 |  3239638 |     7637    975 |       10 |       24
1338.31/1338.76	c 1336s |      23 |  3495945 |  3244738 |     7637    977 |       10 |       24
1340.31/1340.77	c 1338s |      23 |  3501798 |  3250138 |     7637    978 |       10 |       24
1342.40/1342.81	c 1340s |      23 |  3507920 |  3255938 |     7637    979 |       10 |       24
1344.40/1344.81	c 1342s |      23 |  3513479 |  3261238 |     7637    981 |       10 |       24
1346.40/1346.82	c 1344s |      23 |  3520113 |  3267538 |     7637    982 |       10 |       24
1348.40/1348.83	c 1346s |      23 |  3525803 |  3272838 |     7637    983 |       10 |       24
1350.41/1350.84	c 1348s |      23 |  3531352 |  3278238 |     7637    985 |       10 |       24
1352.40/1352.85	c 1350s |      23 |  3537348 |  3283838 |     7637    986 |       10 |       24
1354.40/1354.88	c 1352s |      23 |  3543031 |  3288938 |     7637    987 |       10 |       24
1356.40/1356.89	c 1354s |      23 |  3549231 |  3294638 |     7637    989 |       10 |       24
1358.50/1358.90	c 1356s |      23 |  3555175 |  3299938 |     7637    990 |       10 |       24
1360.50/1360.93	c 1358s |      23 |  3560381 |  3304838 |     7637    991 |       10 |       24
1362.50/1362.93	c 1360s |      23 |  3565250 |  3309538 |     7637    992 |       10 |       24
1364.50/1364.94	c 1362s |      23 |  3570663 |  3314738 |     7637    994 |       10 |       24
1366.50/1366.96	c 1364s |      23 |  3575536 |  3319438 |     7637    995 |       10 |       24
1368.50/1368.97	c 1366s |      23 |  3581450 |  3325138 |     7637    996 |       10 |       24
1370.50/1370.98	c 1368s |      23 |  3586640 |  3330138 |     7637    997 |       10 |       24
1372.60/1373.01	c 1370s |      23 |  3592331 |  3335638 |     7637    999 |       10 |       24
1374.60/1375.03	c 1372s |      23 |  3597669 |  3340638 |     7637   1000 |       10 |       24
1376.60/1377.04	c 1374s |      23 |  3602744 |  3345038 |     8401   1001 |       10 |       24
1378.60/1379.05	c 1376s |      23 |  3607323 |  3349338 |     8401   1002 |       10 |       24
1380.60/1381.08	c 1378s |      23 |  3611270 |  3352938 |     8401   1003 |       10 |       24
1382.60/1383.08	c 1380s |      23 |  3615719 |  3356738 |     8401   1003 |       10 |       24
1384.70/1385.14	c 1382s |      23 |  3620107 |  3360538 |     8401   1004 |       10 |       24
1386.70/1387.14	c 1384s |      23 |  3624765 |  3364738 |     8401   1005 |       10 |       24
1388.69/1389.17	c 1386s |      23 |  3629275 |  3368738 |     8401   1006 |       10 |       24
1390.79/1391.23	c 1388s |      23 |  3633890 |  3372638 |     8401   1007 |       10 |       24
1392.79/1393.25	c 1390s |      23 |  3638438 |  3376338 |     8401   1008 |       10 |       24
1392.99/1393.48	c 1390s |      24 |  3638884 |  3376662 |     8401   1008 |       10 |       24
1394.99/1395.49	c 1392s |      24 |  3646027 |  3383462 |     8401   1009 |       10 |       24
1396.99/1397.49	c 1394s |      24 |  3651070 |  3388262 |     8401   1011 |       10 |       24
1399.09/1399.51	c 1396s |      24 |  3655802 |  3392662 |     8401   1012 |       10 |       24
1401.10/1401.52	c 1398s |      24 |  3661401 |  3397862 |     8401   1013 |       10 |       24
1403.09/1403.56	c 1400s |      24 |  3666728 |  3402862 |     8401   1014 |       10 |       24
1405.09/1405.57	c 1402s |      24 |  3672358 |  3408162 |     8401   1015 |       10 |       24
1407.09/1407.57	c 1404s |      24 |  3678620 |  3414262 |     8401   1016 |       10 |       24
1409.19/1409.61	c 1406s |      24 |  3683428 |  3418962 |     8401   1017 |       10 |       24
1411.19/1411.62	c 1408s |      24 |  3688377 |  3423762 |     8401   1019 |       10 |       24
1413.19/1413.65	c 1410s |      24 |  3693576 |  3428562 |     8401   1020 |       10 |       24
1415.19/1415.67	c 1412s |      24 |  3698907 |  3433462 |     8401   1021 |       10 |       24
1417.19/1417.68	c 1414s |      24 |  3704804 |  3439262 |     8401   1022 |       10 |       24
1419.29/1419.71	c 1416s |      24 |  3709368 |  3443762 |     8401   1023 |       10 |       24
1421.29/1421.71	c 1418s |      24 |  3714781 |  3449062 |     8401   1024 |       10 |       24
1423.29/1423.72	c 1420s |      24 |  3719451 |  3453562 |     8401   1025 |       10 |       24
1425.29/1425.74	c 1423s |      24 |  3724844 |  3458862 |     8401   1026 |       10 |       24
1427.29/1427.76	c 1425s |      24 |  3729766 |  3463662 |     8401   1028 |       10 |       24
1429.29/1429.77	c 1427s |      24 |  3734799 |  3468562 |     8401   1029 |       10 |       24
1431.39/1431.81	c 1429s |      24 |  3740492 |  3474062 |     8401   1030 |       10 |       24
1433.39/1433.82	c 1431s |      24 |  3746044 |  3479462 |     8401   1031 |       10 |       24
1435.39/1435.82	c 1433s |      24 |  3751657 |  3484962 |     8401   1032 |       10 |       24
1437.40/1437.83	c 1435s |      24 |  3756919 |  3490062 |     8401   1034 |       10 |       24
1439.39/1439.85	c 1437s |      24 |  3762061 |  3495062 |     8401   1035 |       10 |       24
1441.39/1441.87	c 1439s |      24 |  3767399 |  3500262 |     8401   1036 |       10 |       24
1443.39/1443.87	c 1441s |      24 |  3772544 |  3505062 |     8401   1037 |       10 |       24
1445.49/1445.90	c 1443s |      24 |  3778847 |  3511062 |     8401   1038 |       10 |       24
1447.49/1447.92	c 1445s |      24 |  3783990 |  3515962 |     8401   1039 |       10 |       24
1449.49/1449.94	c 1447s |      24 |  3789084 |  3520862 |     8401   1040 |       10 |       24
1451.49/1451.96	c 1449s |      24 |  3793668 |  3525262 |     8401   1041 |       10 |       24
1453.49/1453.99	c 1451s |      24 |  3798328 |  3529662 |     8401   1042 |       10 |       24
1455.59/1456.01	c 1453s |      24 |  3804239 |  3535162 |     8401   1044 |       10 |       24
1457.59/1458.01	c 1455s |      24 |  3809193 |  3539862 |     8401   1045 |       10 |       24
1459.59/1460.05	c 1457s |      24 |  3815188 |  3545662 |     8401   1046 |       10 |       24
1461.59/1462.06	c 1459s |      24 |  3820134 |  3550462 |     8401   1047 |       10 |       24
1463.58/1464.08	c 1461s |      24 |  3825788 |  3555862 |     8401   1048 |       10 |       24
1465.68/1466.11	c 1463s |      24 |  3830737 |  3560662 |     8401   1049 |       10 |       24
1467.68/1468.12	c 1465s |      24 |  3836767 |  3566562 |     8401   1051 |       10 |       24
1469.68/1470.16	c 1467s |      24 |  3841780 |  3571362 |     8401   1052 |       10 |       24
1471.68/1472.16	c 1469s |      24 |  3846121 |  3575562 |     8401   1053 |       10 |       24
1473.69/1474.19	c 1471s |      24 |  3851787 |  3581062 |     8401   1054 |       10 |       24
1475.79/1476.22	c 1473s |      24 |  3857958 |  3587062 |     8401   1055 |       10 |       24
1477.78/1478.22	c 1475s |      24 |  3863133 |  3591962 |     8401   1056 |       10 |       24
1479.78/1480.24	c 1477s |      24 |  3867978 |  3596562 |     8401   1057 |       10 |       24
1481.78/1482.27	c 1479s |      24 |  3873647 |  3601862 |     8401   1059 |       10 |       24
1483.78/1484.29	c 1481s |      24 |  3879189 |  3607062 |     8401   1060 |       10 |       24
1485.88/1486.30	c 1483s |      24 |  3885282 |  3612862 |     8401   1061 |       10 |       24
1487.88/1488.32	c 1485s |      24 |  3889814 |  3617262 |     8401   1062 |       10 |       24
1489.88/1490.33	c 1487s |      24 |  3894051 |  3621362 |     8401   1063 |       10 |       24
1491.88/1492.33	c 1489s |      24 |  3898412 |  3625662 |     8401   1064 |       10 |       24
1493.88/1494.37	c 1491s |      24 |  3903262 |  3630362 |     8401   1065 |       10 |       24
1495.88/1496.38	c 1493s |      24 |  3907360 |  3634362 |     8401   1066 |       10 |       24
1497.88/1498.39	c 1495s |      24 |  3912913 |  3639662 |     8401   1067 |       10 |       24
1499.98/1500.41	c 1497s |      24 |  3918055 |  3644662 |     8401   1068 |       10 |       24
1501.97/1502.41	c 1499s |      24 |  3923981 |  3650462 |     8401   1070 |       10 |       24
1503.97/1504.42	c 1501s |      24 |  3929661 |  3655662 |     8401   1071 |       10 |       24
1505.97/1506.45	c 1503s |      24 |  3935383 |  3661162 |     8401   1072 |       10 |       24
1507.97/1508.45	c 1505s |      24 |  3939328 |  3664962 |     8401   1073 |       10 |       24
1510.07/1510.52	c 1507s |      24 |  3944215 |  3669662 |     8401   1074 |       10 |       24
1512.08/1512.52	c 1509s |      24 |  3948675 |  3673862 |     8401   1075 |       10 |       24
1514.07/1514.55	c 1511s |      24 |  3953500 |  3678562 |     8401   1076 |       10 |       24
1516.07/1516.57	c 1513s |      24 |  3958172 |  3682962 |     8401   1077 |       10 |       24
1518.07/1518.57	c 1515s |      24 |  3963000 |  3687462 |     8401   1078 |       10 |       24
1520.17/1520.60	c 1517s |      24 |  3968325 |  3692562 |     8401   1079 |       10 |       24
1522.17/1522.63	c 1519s |      24 |  3973402 |  3697462 |     8401   1080 |       10 |       24
1524.18/1524.65	c 1521s |      24 |  3978206 |  3702062 |     8401   1081 |       10 |       24
1526.27/1526.72	c 1523s |      24 |  3982941 |  3706562 |     8401   1082 |       10 |       24
1528.27/1528.76	c 1526s |      24 |  3989124 |  3712462 |     8401   1084 |       10 |       24
1530.37/1530.80	c 1528s |      24 |  3992736 |  3715962 |     8401   1084 |       10 |       24
1532.37/1532.83	c 1530s |      24 |  3997688 |  3720662 |     8401   1085 |       10 |       24
1534.37/1534.88	c 1532s |      24 |  4001801 |  3724662 |     8401   1086 |       10 |       24
1536.47/1536.91	c 1534s |      24 |  4006897 |  3729562 |     8401   1087 |       10 |       24
1538.48/1538.97	c 1536s |      24 |  4012117 |  3734562 |     8401   1089 |       10 |       24
1540.57/1541.01	c 1538s |      24 |  4016727 |  3739062 |     8401   1090 |       10 |       24
1542.57/1543.03	c 1540s |      24 |  4022708 |  3744762 |     8401   1091 |       10 |       24
1544.57/1545.08	c 1542s |      24 |  4027033 |  3748962 |     8401   1092 |       10 |       24
1546.67/1547.12	c 1544s |      24 |  4031755 |  3753462 |     8401   1093 |       10 |       24
1548.67/1549.14	c 1546s |      24 |  4035931 |  3757462 |     8401   1094 |       10 |       24
1550.67/1551.14	c 1548s |      24 |  4039807 |  3761162 |     8401   1095 |       10 |       24
1552.67/1553.18	c 1550s |      24 |  4044296 |  3765462 |     8401   1095 |       10 |       24
1554.67/1555.19	c 1552s |      24 |  4049588 |  3770362 |     8401   1097 |       10 |       24
1556.77/1557.23	c 1554s |      24 |  4054873 |  3775562 |     8401   1098 |       10 |       24
1558.77/1559.25	c 1556s |      24 |  4060109 |  3780662 |     8401   1099 |       10 |       24
1560.76/1561.28	c 1558s |      24 |  4064847 |  3785262 |     8401   1100 |       10 |       24
1562.86/1563.31	c 1560s |      24 |  4069901 |  3790062 |     8401   1101 |       10 |       24
1564.87/1565.33	c 1562s |      24 |  4074346 |  3794362 |     8401   1102 |       10 |       24
1566.86/1567.36	c 1564s |      24 |  4079197 |  3798962 |     8401   1103 |       10 |       24
1568.86/1569.39	c 1566s |      24 |  4084509 |  3804062 |     8401   1104 |       10 |       24
1570.96/1571.40	c 1568s |      24 |  4089615 |  3808962 |     8401   1105 |       10 |       24
1572.96/1573.42	c 1570s |      24 |  4093769 |  3812962 |     8401   1106 |       10 |       24
1574.96/1575.42	c 1572s |      24 |  4098601 |  3817462 |     8401   1107 |       10 |       24
1576.97/1577.44	c 1574s |      24 |  4103861 |  3822562 |     8401   1108 |       10 |       24
1578.96/1579.47	c 1576s |      24 |  4107916 |  3826462 |     8401   1109 |       10 |       24
1580.96/1581.48	c 1578s |      24 |  4112335 |  3830662 |     8401   1110 |       10 |       24
1582.96/1583.48	c 1580s |      24 |  4117833 |  3835762 |     8401   1111 |       10 |       24
1585.06/1585.51	c 1582s |      24 |  4121889 |  3839662 |     8401   1112 |       10 |       24
1587.06/1587.54	c 1584s |      24 |  4125540 |  3843162 |     8401   1113 |       10 |       24
1589.07/1589.58	c 1586s |      24 |  4129574 |  3847062 |     8401   1114 |       10 |       24
1591.16/1591.60	c 1588s |      24 |  4134451 |  3851762 |     8401   1115 |       10 |       24
1593.16/1593.61	c 1590s |      24 |  4138867 |  3856062 |     8401   1116 |       10 |       24
1595.16/1595.63	c 1592s |      24 |  4145844 |  3862362 |     8401   1117 |       10 |       24
1597.16/1597.65	c 1594s |      24 |  4150701 |  3867062 |     8401   1118 |       10 |       24
1599.16/1599.66	c 1596s |      24 |  4156033 |  3872062 |     8401   1119 |       10 |       24
1601.16/1601.68	c 1598s |      24 |  4161429 |  3877262 |     8401   1121 |       10 |       24
1603.26/1603.71	c 1600s |      24 |  4167320 |  3882762 |     8401   1122 |       10 |       24
1605.26/1605.73	c 1602s |      24 |  4172879 |  3888162 |     8401   1123 |       10 |       24
1607.26/1607.73	c 1604s |      24 |  4177825 |  3892862 |     8401   1124 |       10 |       24
1609.26/1609.75	c 1607s |      24 |  4182481 |  3897062 |     8401   1125 |       10 |       24
1611.27/1611.79	c 1609s |      24 |  4187002 |  3901262 |     8401   1126 |       10 |       24
1613.27/1613.80	c 1611s |      24 |  4191566 |  3905562 |     8401   1127 |       10 |       24
1615.36/1615.81	c 1613s |      24 |  4198155 |  3911762 |     8401   1128 |       10 |       24
1617.36/1617.85	c 1615s |      24 |  4203874 |  3917362 |     8401   1130 |       10 |       24
1619.36/1619.89	c 1617s |      24 |  4208532 |  3921762 |     8401   1131 |       10 |       24
1621.36/1621.89	c 1619s |      24 |  4214182 |  3927162 |     8401   1132 |       10 |       24
1623.36/1623.89	c 1621s |      24 |  4219109 |  3931762 |     8401   1133 |       10 |       24
1625.47/1625.93	c 1623s |      24 |  4224108 |  3936462 |     8401   1134 |       10 |       24
1627.46/1627.93	c 1625s |      24 |  4227967 |  3940162 |     8401   1135 |       10 |       24
1629.46/1629.97	c 1627s |      24 |  4231479 |  3943562 |     8401   1136 |       10 |       24
1631.46/1631.98	c 1629s |      24 |  4236893 |  3948762 |     8401   1137 |       10 |       24
1633.56/1634.01	c 1631s |      24 |  4241440 |  3953162 |     8401   1138 |       10 |       24
1635.56/1636.03	c 1633s |      24 |  4245900 |  3957362 |     8401   1139 |       10 |       24
1637.57/1638.05	c 1635s |      24 |  4251764 |  3962662 |     8401   1140 |       10 |       24
1639.56/1640.06	c 1637s |      24 |  4255908 |  3966362 |     8401   1141 |       10 |       24
1641.56/1642.06	c 1639s |      24 |  4260143 |  3970262 |     8401   1142 |       10 |       24
1643.56/1644.08	c 1641s |      24 |  4265165 |  3974862 |     8401   1143 |       10 |       24
1645.66/1646.11	c 1643s |      24 |  4270121 |  3979262 |     8401   1144 |       10 |       24
1647.66/1648.13	c 1645s |      24 |  4274513 |  3983262 |     8401   1145 |       10 |       24
1649.66/1650.14	c 1647s |      24 |  4279877 |  3987962 |     8401   1146 |       10 |       24
1651.66/1652.14	c 1649s |      24 |  4284314 |  3991962 |     8401   1147 |       10 |       24
1653.66/1654.17	c 1651s |      24 |  4290548 |  3997262 |     8401   1148 |       10 |       24
1655.65/1656.19	c 1653s |      24 |  4296095 |  4002562 |     8401   1149 |       10 |       24
1657.75/1658.23	c 1655s |      24 |  4301358 |  4007162 |     8401   1150 |       10 |       24
1659.75/1660.24	c 1657s |      24 |  4306644 |  4012062 |     8401   1151 |       10 |       24
1661.76/1662.27	c 1659s |      24 |  4312351 |  4016762 |     8401   1152 |       10 |       24
1663.75/1664.30	c 1661s |      24 |  4317476 |  4021562 |     8401   1153 |       10 |       24
1665.85/1666.32	c 1663s |      24 |  4322022 |  4025762 |     8401   1154 |       10 |       24
1667.85/1668.33	c 1665s |      24 |  4326613 |  4030162 |     8401   1155 |       10 |       24
1669.85/1670.37	c 1667s |      24 |  4331305 |  4034462 |     8401   1156 |       10 |       24
1671.95/1672.40	c 1669s |      24 |  4335849 |  4038662 |     8401   1157 |       10 |       24
1673.95/1674.43	c 1671s |      24 |  4341112 |  4043462 |     8401   1158 |       10 |       24
1675.96/1676.45	c 1673s |      24 |  4346709 |  4048762 |     8401   1159 |       10 |       24
1677.95/1678.46	c 1675s |      24 |  4352252 |  4053762 |     8401   1160 |       10 |       24
1679.95/1680.47	c 1677s |      24 |  4357178 |  4058262 |     8401   1161 |       10 |       24
1681.95/1682.47	c 1679s |      24 |  4362331 |  4063062 |     8401   1163 |       10 |       24
1684.05/1684.53	c 1681s |      24 |  4367060 |  4067262 |     8401   1163 |       10 |       24
1686.05/1686.55	c 1683s |      24 |  4372291 |  4071362 |     8401   1164 |       10 |       24
1688.05/1688.58	c 1685s |      24 |  4377880 |  4076362 |     8401   1166 |       10 |       24
1690.15/1690.61	c 1687s |      24 |  4381953 |  4080262 |     8401   1166 |       10 |       24
1692.15/1692.62	c 1689s |      24 |  4386389 |  4084462 |     8401   1167 |       10 |       24
1694.15/1694.63	c 1691s |      24 |  4391657 |  4089462 |     8401   1168 |       10 |       24
1696.15/1696.67	c 1693s |      24 |  4396027 |  4093562 |     8401   1169 |       10 |       24
1698.15/1698.69	c 1695s |      24 |  4400667 |  4097862 |     8401   1170 |       10 |       24
1700.25/1700.72	c 1697s |      24 |  4405406 |  4102062 |     8401   1171 |       10 |       24
1702.25/1702.73	c 1699s |      24 |  4411533 |  4107862 |     8401   1173 |       10 |       24
1704.24/1704.73	c 1702s |      24 |  4417698 |  4113962 |     8401   1174 |       10 |       24
1706.24/1706.76	c 1704s |      24 |  4421961 |  4118162 |     8401   1175 |       10 |       24
1708.25/1708.79	c 1706s |      24 |  4426940 |  4123062 |     8401   1176 |       10 |       24
1710.25/1710.79	c 1708s |      24 |  4433341 |  4128962 |     8401   1177 |       10 |       24
1712.36/1712.82	c 1710s |      24 |  4438167 |  4133162 |     8401   1178 |       10 |       24
1714.35/1714.87	c 1712s |      24 |  4442097 |  4136762 |     8401   1179 |       10 |       24
1716.35/1716.88	c 1714s |      24 |  4445917 |  4140362 |     8401   1180 |       10 |       24
1718.45/1718.91	c 1716s |      24 |  4449918 |  4144162 |     8401   1181 |       10 |       24
1720.45/1720.93	c 1718s |      24 |  4453732 |  4147662 |     8401   1182 |       10 |       24
1722.45/1722.93	c 1720s |      24 |  4459731 |  4153262 |     8401   1183 |       10 |       24
1724.46/1724.98	c 1722s |      24 |  4464859 |  4158162 |     8401   1184 |       10 |       24
1726.55/1727.01	c 1724s |      24 |  4468838 |  4161662 |     8401   1185 |       10 |       24
1728.55/1729.01	c 1726s |      24 |  4472705 |  4165362 |     8401   1186 |       10 |       24
1730.55/1731.02	c 1728s |      24 |  4477398 |  4169862 |     8401   1187 |       10 |       24
1732.55/1733.03	c 1730s |      24 |  4481800 |  4173862 |     8401   1188 |       10 |       24
1734.55/1735.04	c 1732s |      24 |  4486219 |  4178062 |     8401   1188 |       10 |       24
1736.55/1737.05	c 1734s |      24 |  4491488 |  4182862 |     8401   1190 |       10 |       24
1738.55/1739.09	c 1736s |      24 |  4496681 |  4187562 |     8401   1191 |       10 |       24
1740.65/1741.14	c 1738s |      24 |  4501846 |  4192362 |     8401   1192 |       10 |       24
1742.64/1743.15	c 1740s |      24 |  4506392 |  4196662 |     8401   1193 |       10 |       24
1744.64/1745.18	c 1742s |      24 |  4510738 |  4200862 |     8401   1194 |       10 |       24
1746.74/1747.20	c 1744s |      24 |  4516933 |  4206762 |     8401   1195 |       10 |       24
1748.74/1749.21	c 1746s |      24 |  4521427 |  4210562 |     8401   1196 |       10 |       24
1750.75/1751.23	c 1748s |      24 |  4525811 |  4214662 |     8401   1197 |       10 |       24
1752.74/1753.27	c 1750s |      24 |  4529617 |  4218262 |     8401   1197 |       10 |       24
1754.74/1755.29	c 1752s |      24 |  4533310 |  4221762 |     8401   1198 |       10 |       24
1756.84/1757.30	c 1754s |      24 |  4536735 |  4225062 |     8401   1199 |       10 |       24
1758.84/1759.33	c 1756s |      24 |  4540135 |  4228362 |     8401   1200 |       10 |       24
1760.84/1761.34	c 1758s |      24 |  4544022 |  4232062 |     8401   1201 |       10 |       24
1762.94/1763.42	c 1760s |      24 |  4548102 |  4236062 |     8401   1202 |       10 |       24
1764.94/1765.43	c 1762s |      24 |  4553119 |  4240862 |     8401   1203 |       10 |       24
1766.93/1767.47	c 1764s |      24 |  4558298 |  4245762 |     8401   1204 |       10 |       24
1769.03/1769.53	c 1766s |      24 |  4563119 |  4250262 |     8401   1205 |       10 |       24
1771.03/1771.56	c 1768s |      24 |  4568302 |  4254462 |     8401   1206 |       10 |       24
1773.03/1773.59	c 1770s |      24 |  4572491 |  4258062 |     8401   1206 |       10 |       24
1775.13/1775.60	c 1772s |      24 |  4576517 |  4261662 |     8401   1207 |       10 |       24
1777.14/1777.61	c 1774s |      24 |  4580389 |  4265162 |     8401   1208 |       10 |       24
1779.13/1779.63	c 1776s |      24 |  4585059 |  4269162 |     8401   1209 |       10 |       24
1781.13/1781.66	c 1778s |      24 |  4588663 |  4272562 |     8401   1210 |       10 |       24
1783.13/1783.67	c 1780s |      24 |  4591926 |  4275762 |     8401   1210 |       10 |       24
1785.23/1785.70	c 1782s |      24 |  4596186 |  4279862 |     8401   1211 |       10 |       24
1787.23/1787.73	c 1784s |      24 |  4600570 |  4283762 |     8401   1212 |       10 |       24
1789.24/1789.75	c 1787s |      24 |  4604820 |  4287762 |     8401   1213 |       10 |       24
1791.34/1791.83	c 1789s |      24 |  4608746 |  4291562 |     8401   1214 |       10 |       24
1793.34/1793.87	c 1791s |      24 |  4613458 |  4295762 |     8401   1215 |       10 |       24
1795.34/1795.87	c 1793s |      24 |  4617998 |  4299762 |     8401   1216 |       10 |       24
1797.34/1797.88	c 1795s |      24 |  4621259 |  4302862 |     8401   1217 |       10 |       24
1799.44/1799.90	c 1797s |      24 |  4625866 |  4307062 |     8401   1217 |       10 |       24

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

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

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


[startup+0 s]
/proc/loadavg: 2.41 2.34 2.19 3/179 6599
/proc/meminfo: memFree=29501324/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 2863 0 0 0 0 0 0 0 20 0 4 0 107399664 784789504 3225 33554432000 4194304 16246674 140735980408608 140735980408032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 192111 3232 441 2943 0 189005 0
[pid=6599/tid=6600] ppid=6596 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 802615296 3294 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 806809600 3311 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107399664 811003904 3326 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.41 2.34 2.19 3/179 6599
/proc/meminfo: memFree=29501324/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 22132 0 0 0 6 3 0 0 20 0 4 0 107399664 1247350784 22482 33554432000 4194304 16246674 140735980408608 140735980390528 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 304529 22496 759 2943 0 301423 0
[pid=6599/tid=6600] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 22503 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 22507 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 22509 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200561 s]
/proc/loadavg: 2.41 2.34 2.19 3/179 6599
/proc/meminfo: memFree=29501324/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 40970 0 0 0 13 5 0 0 20 0 4 0 107399664 1247350784 41319 33554432000 4194304 16246674 140735980408608 140735980390528 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 304529 41326 759 2943 0 301423 0
[pid=6599/tid=6600] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 41331 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 41336 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 41344 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300498 s]
/proc/loadavg: 2.41 2.34 2.19 3/179 6599
/proc/meminfo: memFree=29501324/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 59264 0 0 0 21 8 0 0 20 0 4 0 107399664 1247350784 59613 33554432000 4194304 16246674 140735980408608 140735980390528 13192110 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 304529 59620 759 2943 0 301423 0
[pid=6599/tid=6600] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 59626 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 59628 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 59632 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700388 s]
/proc/loadavg: 2.41 2.34 2.19 3/179 6599
/proc/meminfo: memFree=29501324/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 117064 0 0 0 53 16 0 0 20 0 4 0 107399664 1247350784 117413 33554432000 4194304 16246674 140735980408608 140735980390528 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 304529 117422 766 2943 0 301423 0
[pid=6599/tid=6600] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 117430 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 117436 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107399664 1247350784 117442 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.41 2.34 2.19 3/183 6603
/proc/meminfo: memFree=28791924/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 245984 0 0 0 117 32 0 0 20 0 4 0 107399664 1249447936 246311 33554432000 4194304 16246674 140735980408608 140735980390528 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 305041 246316 799 2943 0 301935 0
[pid=6599/tid=6600] ppid=6596 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1249447936 246318 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1249447936 246320 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107399664 1249447936 246323 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10037 s]
/proc/loadavg: 2.41 2.34 2.19 3/183 6603
/proc/meminfo: memFree=28515280/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1302084 CPUtime=3.09 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 266404 0 0 0 274 35 0 0 20 0 4 0 107399664 1333334016 266730 33554432000 4194304 16246674 140735980408608 140735980390528 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 325521 266730 852 2943 0 322415 0
[pid=6599/tid=6600] ppid=6596 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1333334016 266730 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1333334016 266730 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1333334016 266730 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1302084

[startup+6.30039 s]
/proc/loadavg: 2.38 2.33 2.19 3/183 6603
/proc/meminfo: memFree=28428944/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 267899 0 0 0 594 35 0 0 20 0 4 0 107399664 1338576896 268225 33554432000 4194304 16246674 140735980408608 140735980390528 5808200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 326801 268225 855 2943 0 323695 0
[pid=6599/tid=6600] ppid=6596 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1338576896 268225 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1338576896 268225 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1338576896 268225 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.35 2.33 2.19 3/183 6603
/proc/meminfo: memFree=28425644/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 268667 0 0 0 1234 35 0 0 20 0 4 0 107399664 1341722624 268993 33554432000 4194304 16246674 140735980408608 140735980390528 5823538 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 327569 268993 855 2943 0 324463 0
[pid=6599/tid=6600] ppid=6596 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1341722624 268993 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1341722624 268993 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1341722624 268993 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.27 2.31 2.18 3/183 6603
/proc/meminfo: memFree=28422112/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 269435 0 0 0 2513 35 0 0 20 0 4 0 107399664 1344868352 269761 33554432000 4194304 16246674 140735980408608 140735980391608 5546023 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 328337 269761 855 2943 0 325231 0
[pid=6599/tid=6600] ppid=6596 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1344868352 269761 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1344868352 269761 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1344868352 269761 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.24 2.30 2.18 3/183 6603
/proc/meminfo: memFree=28418988/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1317444 CPUtime=51.09 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 270280 0 0 0 5073 36 0 0 20 0 4 0 107399664 1349062656 270606 33554432000 4194304 16246674 140735980408608 140735980390528 5546233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 329361 270606 855 2943 0 326255 0
[pid=6599/tid=6600] ppid=6596 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1349062656 270606 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1349062656 270606 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1349062656 270606 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1317444

[startup+102.3 s]
/proc/loadavg: 2.21 2.28 2.18 4/183 6604
/proc/meminfo: memFree=28417668/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 270459 0 0 0 10192 36 0 0 20 0 4 0 107399664 1349062656 270785 33554432000 4194304 16246674 140735980408608 140735980390528 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 329361 270785 855 2943 0 326255 0
[pid=6599/tid=6600] ppid=6596 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1349062656 270785 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1349062656 270785 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1349062656 270785 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 6685
/proc/meminfo: memFree=28376292/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1335876 CPUtime=1361.9 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 275456 0 0 0 136142 48 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 140735980390528 5672222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 333969 275652 856 2943 0 330863 0
[pid=6599/tid=6600] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 6686
/proc/meminfo: memFree=28375800/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1335876 CPUtime=1421.89 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 275456 0 0 0 142141 48 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 140735980390528 6843977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 333969 275652 856 2943 0 330863 0
[pid=6599/tid=6600] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 6688
/proc/meminfo: memFree=28375552/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1335876 CPUtime=1481.88 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 275456 0 0 0 148139 49 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 140735980391608 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 333969 275652 856 2943 0 330863 0
[pid=6599/tid=6600] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 6689
/proc/meminfo: memFree=28375632/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1335876 CPUtime=1541.88 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 275456 0 0 0 154139 49 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 140735980390528 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 333969 275652 856 2943 0 330863 0
[pid=6599/tid=6600] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 6690
/proc/meminfo: memFree=28375956/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1335876 CPUtime=1601.86 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 275456 0 0 0 160137 49 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 140735980390528 5754712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 333969 275652 856 2943 0 330863 0
[pid=6599/tid=6600] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.09 2.16 2.17 3/183 6691
/proc/meminfo: memFree=28376136/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1335876 CPUtime=1661.85 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 275456 0 0 0 166135 50 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 140735980390528 5722291 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 333969 275652 856 2943 0 330863 0
[pid=6599/tid=6600] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.09 2.15 2.16 3/183 6692
/proc/meminfo: memFree=28376108/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1335876 CPUtime=1721.85 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 275456 0 0 0 172134 51 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 140735980390528 5545984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 333969 275652 856 2943 0 330863 0
[pid=6599/tid=6600] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.24 2.17 2.17 3/184 6697
/proc/meminfo: memFree=28375580/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1335876 CPUtime=1781.83 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 275456 0 0 0 178132 51 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 140735980390528 5673540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 333969 275652 856 2943 0 330863 0
[pid=6599/tid=6600] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.17 2.17 4/183 6697
/proc/meminfo: memFree=28375836/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1335876 CPUtime=1800.04 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 275456 0 0 0 179952 52 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 140735980390528 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 333969 275652 856 2943 0 330863 0
[pid=6599/tid=6600] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1335876

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

[startup+1800.5 s]
/proc/loadavg: 2.25 2.17 2.17 4/183 6697
/proc/meminfo: memFree=28375836/32872528 swapFree=16252/1391864
[pid=6599] ppid=6596 vsize=1335876 CPUtime=1800.04 cores=1,3,5,7
/proc/6599/stat : 6599 (toysat) R 6596 6599 5783 0 -1 4202496 275456 0 0 0 179952 52 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 140735980390528 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6599/statm: 333969 275652 856 2943 0 330863 0
[pid=6599/tid=6600] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6600/stat : 6600 (toysat) S 6596 6599 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774558973168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6599/tid=6601] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6601/stat : 6601 (toysat) S 6596 6599 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774476135664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6599/tid=6602] ppid=6596 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6599/task/6602/stat : 6602 (toysat) S 6596 6599 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107399664 1367937024 275652 33554432000 4194304 16246674 140735980408608 139774465662128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1335876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.53
CPU system time (s): 0.52092
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.52092
maximum resident set size= 1102608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275456
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= 403
involuntary context switches= 1972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47732 second user time and 7.04593 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 01:11:05
IDJOB=4080198
IDBENCH=47985
IDSOLVER=2542
FILE ID=node119/4080198-1465254665
RUNJOBID= node119-1465252213-5800
PBS_JOBID= 19843259
Free space on /tmp= 71724 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=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080198-1465254665/watcher-4080198-1465254665 -o /tmp/evaluation-result-4080198-1465254665/solver-4080198-1465254665 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080198-1465254665.opb

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

MD5SUM BENCH= 747af0da1666dabab7e7b60330c37a87
RANDOM SEED=978165585

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29502060 kB
Buffers:           50468 kB
Cached:           150724 kB
SwapCached:          856 kB
Active:          1186260 kB
Inactive:          90592 kB
Active(anon):    1076396 kB
Inactive(anon):     1640 kB
Active(file):     109864 kB
Inactive(file):    88952 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100136 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2519468 kB
Mapped:            10428 kB
Shmem:                 0 kB
Slab:             568320 kB
SReclaimable:      12408 kB
SUnreclaim:       555912 kB
KernelStack:        1520 kB
PageTables:         8884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2610640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1433600 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= 71708 MiB
End job on node119 at 2016-06-07 01:41:06