Trace number 4106340

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=19-P2=137-P3=191-P4=223-B.opb
MD5SUM9b762ab9d310cdc754a8481e0a3342a1
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.071988
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 variables96
Total number of constraints9
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 constraints9
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)256
Sum of products size (including duplicates)512
Number of different products256
Sum of products size512

Solver Data 

0.00/0.00	c 2016-06-18T19:12:58+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-4106340-1466269978.opb"]
0.00/0.01	c use --random-gen="2007315232 1956215697 494823326 505114975 1087304855 2686507984 2469537455 261013846 801624629 108168075 3568755857 3464228738 882411998 4276563349 4182265405 1644235180 2254698573 2522410199 1311178894 1157711991 1827065315 1608915692 3746343438 3687111872 3468853408 1781574114 3956497957 306149493 3351850983 3432559041 2937846637 3982778472 3598625799 587733074 69210665 3837846072 1631195506 3623066425 3138608203 2529252666 3204475952 3648866009 1217475973 3693177168 3766841448 2654887333 494135911 2571591619 1748451575 4138457127 2904989620 1521450178 283509114 1704666248 3325648833 1033966098 645266690 3083071896 321320681 357588195 1579314713 558656198 1203715940 1660666344 2261463745 3725496572 3126033330 59071080 890018711 137579900 2054867292 2446898578 1736703844 4220881589 2908014886 3426717812 77141712 3513800359 1107890912 931262376 2302154476 1086873926 1624465156 3949906070 3905564015 3755875167 2753210222 2905441824 2900601001 1569193102 2959230842 4020456887 3723811922 3875029605 2151951328 3492812512 467581791 2913392156 765257758 706121335 2049628162 2866697395 2228425546 1627903240 1600524959 2198892670 3293855995 2217400852 96855558 809282382 513617984 3974370673 2886223740 3202473438 2694123475 2128280309 20155642 1641781281 903034564 235272086 1488072534 2559297625 1112625939 218584873 4117382231 684251531 3998714653 2138516934 3792694127 2150781543 503344532 1680571911 2272675663 2970692237 2484291011 4257422720 2166707627 2125720101 3448000862 3598475214 1829347267 4255800897 2463547096 2331405810 2201800881 3078267182 1243848723 2320769244 2180227153 2110550826 3318443327 45081123 3489402833 3880779318 2154037120 1264314786 2843289100 3460171185 4171293563 3205548973 3990713522 49009942 936944273 1899130509 1581428869 2715442461 2349963836 838581147 1262388080 3270675323 3250398118 3776016038 3381388639 56766096 3857989985 3240730619 3467247354 1787298446 4152952538 845860189 1259034746 1523133038 69969451 658915679 697579107 1632992127 3156474390 2459003339 2871685747 316200230 2980340447 398139094 820718522 1423375540 1355453476 3249881665 1004649278 1294621064 2808963670 893286351 1082013490 1235240163 1424053263 242872923 3932168361 2875535444 961475072 2874377738 1471635610 2788280574 1868797402 3606465807 4192920252 4176838065 2269865800 2986605122 2659824887 2479790080 3025449202 324602135 1436269013 1182122827 3786846557 131616069 2274482920 262482045 3235674811 2257485801 2009254729 835444892 1067933131 4187468608 3446399033 2726994391 54010189 2585912941 700779573 4201221604 4171240872 3463445837 937621453 135221914 3861229585 1486428051 211028988 3861350782 1924384365 1912793594 2458078901 3161915288 2671691200 4174045663 655233652 3894092886 1044585110 3905661561 255 362436" option to reproduce the execution
0.00/0.01	c #vars 96
0.00/0.01	c #constraints 9
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      377      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      111 |      100 |      377      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      273 |      250 |      415      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      556 |      475 |      457      0 |        0 |        0
0.29/0.31	c  0.3s |       4 |     1033 |      813 |      503      1 |        0 |        0
0.39/0.42	c  0.4s |       4 |     1567 |     1244 |      554      2 |        0 |        0
0.39/0.42	c #cpu_time = 0.402s
0.39/0.42	c #wall_clock_time = 0.404s
0.39/0.42	c #decision = 1567
0.39/0.42	c #random_decision = 7
0.39/0.42	c #conflict = 1244
0.39/0.42	c #restart = 4
0.39/0.42	o 253
0.39/0.42	c BCD2: updating upper bound: 255 -> 252
0.39/0.42	c BCD2: 0 <= obj <= 252
0.39/0.42	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
0.39/0.42	c BCD2: #sat=1 #unsat=1 bias=1/2
0.39/0.42	c Solving starts ...
0.39/0.42	c ============================[ Search Statistics ]============================
0.39/0.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.42	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.42	c =============================================================================
0.39/0.42	c  0.0s |       0 |        0 |        0 |      554      0 |        0 |        0
0.39/0.43	c  0.0s |       0 |        6 |        0 |      554      1 |        0 |        0
0.39/0.43	c #cpu_time = 0.006s
0.39/0.43	c #wall_clock_time = 0.006s
0.39/0.43	c #decision = 6
0.39/0.43	c #random_decision = 0
0.39/0.43	c #conflict = 0
0.39/0.43	c #restart = 0
0.39/0.43	c BCD2: found a new core of size 7: cost of the new core is >=2
0.39/0.43	c lower bound updated to 2
0.39/0.43	c BCD2: 2 <= obj <= 252
0.39/0.43	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
0.39/0.43	c BCD2: #sat=1 #unsat=2 bias=2/3
0.39/0.43	c Solving starts ...
0.39/0.43	c ============================[ Search Statistics ]============================
0.39/0.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.43	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.43	c =============================================================================
0.39/0.43	c  0.0s |       0 |        0 |        0 |      554      0 |        0 |        0
0.48/0.56	c  0.1s |       1 |      156 |      100 |      610      0 |        0 |        0
0.58/0.60	c  0.2s |       2 |      328 |      250 |      610      0 |        0 |        0
0.69/0.72	c  0.3s |       3 |      628 |      475 |      610      0 |        0 |        0
0.69/0.88	c  0.5s |       4 |     1087 |      813 |      610      1 |        0 |        0
0.99/1.01	c  0.6s |       5 |     1731 |     1320 |      671      2 |        0 |        0
1.30/1.31	c  0.9s |       6 |     2895 |     2081 |      739      4 |        0 |        0
1.49/1.54	c  1.1s |       7 |     4200 |     3223 |      739      6 |        0 |        0
1.89/1.99	c  1.6s |       8 |     6038 |     4936 |      813      9 |        0 |        0
2.39/2.45	c  2.0s |       9 |     8748 |     7506 |      895     14 |        0 |        0
3.28/3.31	c  2.9s |      10 |    12838 |    11361 |      985     21 |        0 |        0
4.49/4.56	c  4.1s |      11 |    18724 |    17144 |     1084     30 |        0 |        0
6.48/6.57	c  6.1s |      11 |    26697 |    24744 |     1193     41 |        0 |        0
6.89/6.95	c  6.5s |      12 |    27831 |    25819 |     1193     42 |        0 |        0
8.90/8.95	c  8.5s |      12 |    37453 |    35219 |     1193     55 |        0 |        0
9.69/9.75	c  9.3s |      13 |    41105 |    38832 |     1313     60 |        0 |        0
11.69/11.75	c 11.3s |      13 |    49236 |    46332 |     1313     69 |        0 |        0
13.69/13.75	c 13.3s |      13 |    57374 |    53932 |     1313     79 |        0 |        0
14.99/15.02	c 14.6s |      14 |    62120 |    58352 |     1445     84 |        0 |        0
16.99/17.05	c 16.6s |      14 |    70508 |    66152 |     1445     93 |        0 |        0
18.99/19.05	c 18.6s |      14 |    78934 |    74052 |     1445    102 |        0 |        0
21.00/21.06	c 20.6s |      14 |    87196 |    81852 |     1445    112 |        0 |        0
22.49/22.50	c 22.1s |      15 |    93344 |    87632 |     1590    118 |        0 |        0
24.49/24.50	c 24.1s |      15 |    99897 |    93832 |     1590    125 |        0 |        0
26.49/26.55	c 26.1s |      15 |   107412 |   101032 |     1590    133 |        0 |        0
28.49/28.56	c 28.1s |      15 |   114541 |   107932 |     1590    141 |        0 |        0
30.49/30.57	c 30.1s |      15 |   121806 |   114932 |     1590    149 |        0 |        0
32.49/32.58	c 32.2s |      15 |   128385 |   121232 |     1590    156 |        0 |        0
34.59/34.60	c 34.2s |      15 |   135492 |   128032 |     1590    163 |        0 |        0
35.39/35.45	c 35.0s |      16 |   139071 |   131552 |     1750    167 |        0 |        0
37.38/37.47	c 37.0s |      16 |   147154 |   139252 |     1750    175 |        0 |        0
39.39/39.49	c 39.1s |      16 |   155132 |   146752 |     1750    182 |        0 |        0
41.38/41.49	c 41.1s |      16 |   163050 |   154152 |     1750    190 |        0 |        0
43.48/43.51	c 43.1s |      16 |   171639 |   162252 |     1750    198 |        0 |        0
45.48/45.53	c 45.1s |      16 |   180030 |   169952 |     1750    206 |        0 |        0
47.49/47.55	c 47.1s |      16 |   189380 |   178852 |     1750    215 |        0 |        0
49.48/49.55	c 49.1s |      16 |   198614 |   187852 |     1750    224 |        0 |        0
51.48/51.55	c 51.1s |      16 |   207785 |   196752 |     1926    233 |        0 |        0
51.68/51.70	c 51.3s |      17 |   208487 |   197432 |     1926    233 |        0 |        0
53.68/53.71	c 53.3s |      17 |   216949 |   205632 |     1926    241 |        0 |        0
55.68/55.72	c 55.3s |      17 |   224356 |   212932 |     1926    247 |        0 |        0
57.68/57.74	c 57.3s |      17 |   232046 |   220432 |     1926    254 |        0 |        0
59.68/59.76	c 59.3s |      17 |   240383 |   228632 |     1926    262 |        0 |        0
61.69/61.77	c 61.3s |      17 |   248446 |   236632 |     1926    269 |        0 |        0
63.68/63.78	c 63.3s |      17 |   256694 |   244732 |     1926    276 |        0 |        0
65.68/65.79	c 65.4s |      17 |   264631 |   252532 |     1926    284 |        0 |        0
67.68/67.79	c 67.4s |      17 |   272842 |   260432 |     1926    291 |        0 |        0
69.78/69.81	c 69.4s |      17 |   280559 |   268032 |     1926    298 |        0 |        0
71.78/71.83	c 71.4s |      17 |   288403 |   275532 |     1926    305 |        0 |        0
73.78/73.85	c 73.4s |      17 |   295582 |   282332 |     1926    311 |        0 |        0
75.78/75.86	c 75.4s |      17 |   303027 |   289432 |     1926    318 |        0 |        0
77.68/77.78	c 77.4s |      18 |   310035 |   296252 |     2119    324 |        0 |        0
79.78/79.82	c 79.4s |      18 |   317147 |   302852 |     2119    329 |        0 |        0
81.78/81.85	c 81.4s |      18 |   323800 |   308952 |     2119    334 |        0 |        0
83.78/83.85	c 83.4s |      18 |   330708 |   315452 |     2119    339 |        0 |        0
85.78/85.88	c 85.4s |      18 |   337498 |   321752 |     2119    345 |        0 |        0
87.87/87.91	c 87.5s |      18 |   343831 |   327652 |     2119    350 |        0 |        0
89.87/89.92	c 89.5s |      18 |   350526 |   333952 |     2119    355 |        0 |        0
91.87/91.92	c 91.5s |      18 |   357989 |   341052 |     2119    361 |        0 |        0
93.87/93.94	c 93.5s |      18 |   364219 |   347052 |     2119    366 |        0 |        0
95.88/95.96	c 95.5s |      18 |   371919 |   354352 |     2119    372 |        0 |        0
97.87/97.97	c 97.5s |      18 |   378679 |   360752 |     2119    377 |        0 |        0
99.87/99.97	c 99.5s |      18 |   385405 |   367052 |     2119    382 |        0 |        0
101.87/101.98	c  101s |      18 |   393006 |   374252 |     2119    388 |        0 |        0
103.87/103.99	c  103s |      18 |   400563 |   381252 |     2119    394 |        0 |        0
105.97/106.00	c  105s |      18 |   409594 |   389652 |     2119    401 |        0 |        0
107.98/108.01	c  107s |      18 |   418363 |   397852 |     2119    408 |        0 |        0
109.98/110.01	c  109s |      18 |   427618 |   406552 |     2119    415 |        0 |        0
111.98/112.03	c  111s |      18 |   436972 |   415452 |     2119    423 |        0 |        0
113.98/114.05	c  113s |      18 |   445560 |   423452 |     2119    430 |        0 |        0
115.98/116.06	c  115s |      18 |   453185 |   430752 |     2119    436 |        0 |        0
117.98/118.08	c  117s |      18 |   462073 |   439052 |     2119    443 |        0 |        0
119.58/119.61	c  119s |      19 |   468069 |   444482 |     2331    447 |        0 |        0
121.58/121.61	c  121s |      19 |   476490 |   452682 |     2331    453 |        0 |        0
123.58/123.63	c  123s |      19 |   485116 |   461182 |     2331    460 |        0 |        0
125.58/125.64	c  125s |      19 |   493821 |   469782 |     2331    466 |        0 |        0
127.57/127.65	c  127s |      19 |   501730 |   477582 |     2331    472 |        0 |        0
129.57/129.67	c  129s |      19 |   510056 |   485582 |     2331    478 |        0 |        0
131.57/131.68	c  131s |      19 |   517822 |   493282 |     2331    484 |        0 |        0
133.67/133.70	c  133s |      19 |   525852 |   501182 |     2331    490 |        0 |        0
135.67/135.71	c  135s |      19 |   533745 |   508882 |     2331    496 |        0 |        0
137.68/137.73	c  137s |      19 |   541834 |   516782 |     2331    502 |        0 |        0
139.67/139.75	c  139s |      19 |   550347 |   524982 |     2331    509 |        0 |        0
141.67/141.77	c  141s |      19 |   558719 |   532982 |     2331    515 |        0 |        0
143.67/143.77	c  143s |      19 |   566872 |   540982 |     2331    521 |        0 |        0
145.67/145.78	c  145s |      19 |   574500 |   548482 |     2331    527 |        0 |        0
147.77/147.80	c  147s |      19 |   583127 |   556982 |     2331    533 |        0 |        0
149.78/149.81	c  149s |      19 |   591225 |   564882 |     2331    539 |        0 |        0
151.77/151.83	c  151s |      19 |   598761 |   572082 |     2331    545 |        0 |        0
153.77/153.83	c  153s |      19 |   606769 |   579882 |     2331    551 |        0 |        0
155.77/155.85	c  155s |      19 |   613779 |   586782 |     2331    556 |        0 |        0
157.77/157.87	c  157s |      19 |   620465 |   593382 |     2331    561 |        0 |        0
159.77/159.88	c  159s |      19 |   628398 |   601182 |     2331    567 |        0 |        0
161.78/161.89	c  161s |      19 |   636156 |   608882 |     2331    573 |        0 |        0
163.77/163.89	c  163s |      19 |   643388 |   615982 |     2331    579 |        0 |        0
165.87/165.92	c  165s |      19 |   650387 |   622782 |     2331    584 |        0 |        0
167.87/167.93	c  167s |      19 |   658889 |   631082 |     2331    591 |        0 |        0
169.87/169.95	c  169s |      19 |   666430 |   638482 |     2331    596 |        0 |        0
171.86/171.95	c  171s |      19 |   673325 |   645182 |     2331    602 |        0 |        0
173.87/173.96	c  173s |      19 |   681013 |   652682 |     2331    607 |        0 |        0
175.86/175.96	c  175s |      19 |   688551 |   659982 |     2331    613 |        0 |        0
177.86/177.98	c  177s |      19 |   695280 |   666482 |     2565    618 |        0 |        0
178.06/178.10	c  177s |      20 |   695632 |   666827 |     2565    618 |        0 |        0
180.06/180.12	c  179s |      20 |   701881 |   672627 |     2565    622 |        0 |        0
182.06/182.15	c  181s |      20 |   708910 |   679127 |     2565    627 |        0 |        0
184.06/184.15	c  183s |      20 |   716501 |   686227 |     2565    632 |        0 |        0
186.07/186.15	c  185s |      20 |   723941 |   692927 |     2565    636 |        0 |        0
188.06/188.16	c  187s |      20 |   730418 |   698927 |     2565    641 |        0 |        0
190.06/190.18	c  189s |      20 |   736559 |   704627 |     2565    645 |        0 |        0
192.16/192.22	c  191s |      20 |   743460 |   711227 |     2565    649 |        0 |        0
194.16/194.23	c  193s |      20 |   751034 |   718427 |     2565    654 |        0 |        0
196.16/196.24	c  195s |      20 |   758085 |   725127 |     2565    659 |        0 |        0
198.17/198.24	c  197s |      20 |   765309 |   732027 |     2565    664 |        0 |        0
200.16/200.26	c  199s |      20 |   771060 |   737327 |     2565    668 |        0 |        0
202.16/202.27	c  201s |      20 |   778833 |   744727 |     2565    673 |        0 |        0
204.16/204.27	c  203s |      20 |   786377 |   751927 |     2565    678 |        0 |        0
206.16/206.29	c  205s |      20 |   793570 |   758627 |     2565    683 |        0 |        0
208.26/208.34	c  207s |      20 |   801235 |   765827 |     2565    688 |        0 |        0
210.26/210.34	c  209s |      20 |   807563 |   771827 |     2565    692 |        0 |        0
212.26/212.35	c  211s |      20 |   815299 |   779127 |     2565    697 |        0 |        0
214.25/214.36	c  213s |      20 |   822924 |   786227 |     2565    702 |        0 |        0
216.25/216.38	c  215s |      20 |   830033 |   793027 |     2565    707 |        0 |        0
218.35/218.41	c  217s |      20 |   837904 |   800627 |     2565    712 |        0 |        0
220.35/220.43	c  220s |      20 |   845428 |   807727 |     2565    717 |        0 |        0
222.36/222.46	c  222s |      20 |   852508 |   814527 |     2565    722 |        0 |        0
224.35/224.47	c  224s |      20 |   860142 |   821927 |     2565    727 |        0 |        0
226.45/226.50	c  226s |      20 |   867827 |   829427 |     2565    733 |        0 |        0
228.45/228.52	c  228s |      20 |   875638 |   836927 |     2565    738 |        0 |        0
230.45/230.53	c  230s |      20 |   882608 |   843627 |     2565    743 |        0 |        0
232.44/232.55	c  232s |      20 |   890316 |   850827 |     2565    748 |        0 |        0
234.46/234.57	c  234s |      20 |   898373 |   858627 |     2565    753 |        0 |        0
236.45/236.59	c  236s |      20 |   905892 |   865627 |     2565    758 |        0 |        0
238.55/238.60	c  238s |      20 |   913483 |   872827 |     2565    763 |        0 |        0
240.55/240.61	c  240s |      20 |   921420 |   880227 |     2565    769 |        0 |        0
242.55/242.62	c  242s |      20 |   929038 |   887227 |     2565    774 |        0 |        0
244.54/244.64	c  244s |      20 |   936782 |   894327 |     2565    779 |        0 |        0
246.55/246.67	c  246s |      20 |   944586 |   901127 |     2565    784 |        0 |        0
248.65/248.70	c  248s |      20 |   953378 |   909427 |     2565    789 |        0 |        0
250.64/250.73	c  250s |      20 |   961688 |   917427 |     2565    795 |        0 |        0
252.64/252.76	c  252s |      20 |   968950 |   924227 |     2565    800 |        0 |        0
254.64/254.76	c  254s |      20 |   975156 |   929927 |     2565    804 |        0 |        0
256.64/256.77	c  256s |      20 |   982455 |   936927 |     2565    809 |        0 |        0
258.65/258.78	c  258s |      20 |   990124 |   944127 |     2565    814 |        0 |        0
260.64/260.80	c  260s |      20 |   998005 |   951627 |     2565    819 |        0 |        0
262.74/262.82	c  262s |      20 |  1005834 |   958927 |     2565    824 |        0 |        0
264.74/264.83	c  264s |      20 |  1013632 |   966227 |     2565    829 |        0 |        0
266.74/266.85	c  266s |      20 |  1021303 |   973227 |     2565    834 |        0 |        0
268.74/268.87	c  268s |      20 |  1029159 |   980527 |     2565    840 |        0 |        0
270.84/270.90	c  270s |      20 |  1035888 |   987027 |     2565    844 |        0 |        0
272.84/272.90	c  272s |      20 |  1042268 |   992827 |     2822    848 |        0 |        0
274.84/274.93	c  274s |      20 |  1047253 |   997427 |     2822    851 |        0 |        0
276.04/276.19	c  275s |      21 |  1050453 |  1000345 |     2822    853 |        0 |        0
278.13/278.20	c  277s |      21 |  1059203 |  1008845 |     2822    859 |        0 |        0
280.13/280.22	c  279s |      21 |  1066899 |  1016445 |     2822    863 |        0 |        0
282.13/282.22	c  281s |      21 |  1075033 |  1024445 |     2822    869 |        0 |        0
284.13/284.24	c  283s |      21 |  1082534 |  1031745 |     2822    873 |        0 |        0
286.14/286.25	c  285s |      21 |  1089628 |  1038645 |     2822    878 |        0 |        0
288.13/288.26	c  287s |      21 |  1095843 |  1044445 |     2822    882 |        0 |        0
290.13/290.28	c  289s |      21 |  1101791 |  1050145 |     2822    885 |        0 |        0
292.13/292.28	c  291s |      21 |  1107649 |  1055745 |     2822    889 |        0 |        0
294.13/294.29	c  293s |      21 |  1114119 |  1061945 |     2822    893 |        0 |        0
296.22/296.31	c  295s |      21 |  1120822 |  1068445 |     2822    897 |        0 |        0
298.23/298.32	c  297s |      21 |  1127345 |  1074845 |     2822    901 |        0 |        0
300.22/300.35	c  299s |      21 |  1134862 |  1082045 |     2822    906 |        0 |        0
302.22/302.35	c  301s |      21 |  1142571 |  1089645 |     2822    911 |        0 |        0
304.22/304.37	c  303s |      21 |  1149863 |  1096645 |     2822    915 |        0 |        0
306.22/306.39	c  305s |      21 |  1156538 |  1103145 |     2822    920 |        0 |        0
308.22/308.39	c  307s |      21 |  1163125 |  1109545 |     2822    924 |        0 |        0
310.33/310.41	c  309s |      21 |  1170681 |  1116945 |     2822    929 |        0 |        0
312.32/312.44	c  312s |      21 |  1179204 |  1125345 |     2822    934 |        0 |        0
314.31/314.46	c  314s |      21 |  1187412 |  1133345 |     2822    939 |        0 |        0
316.31/316.46	c  316s |      21 |  1194454 |  1140245 |     2822    944 |        0 |        0
318.31/318.48	c  318s |      21 |  1200697 |  1146245 |     2822    948 |        0 |        0
320.42/320.50	c  320s |      21 |  1208350 |  1153745 |     2822    952 |        0 |        0
322.43/322.51	c  322s |      21 |  1215835 |  1161145 |     2822    957 |        0 |        0
324.42/324.52	c  324s |      21 |  1222972 |  1168145 |     2822    962 |        0 |        0
326.42/326.54	c  326s |      21 |  1231009 |  1176045 |     2822    967 |        0 |        0
328.41/328.55	c  328s |      21 |  1238708 |  1183645 |     2822    972 |        0 |        0
330.41/330.56	c  330s |      21 |  1246067 |  1190845 |     2822    976 |        0 |        0
332.41/332.59	c  332s |      21 |  1253931 |  1198545 |     2822    981 |        0 |        0
334.52/334.61	c  334s |      21 |  1262151 |  1206645 |     2822    987 |        0 |        0
336.51/336.63	c  336s |      21 |  1270174 |  1214545 |     2822    992 |        0 |        0
338.51/338.64	c  338s |      21 |  1276137 |  1220245 |     2822    995 |        0 |        0
340.51/340.66	c  340s |      21 |  1283096 |  1227045 |     2822   1000 |        0 |        0
342.51/342.68	c  342s |      21 |  1289782 |  1233545 |     2822   1004 |        0 |        0
344.60/344.70	c  344s |      21 |  1296472 |  1239945 |     2822   1008 |        0 |        0
346.61/346.72	c  346s |      21 |  1303014 |  1246245 |     2822   1012 |        0 |        0
348.60/348.73	c  348s |      21 |  1309358 |  1252345 |     2822   1016 |        0 |        0
350.60/350.75	c  350s |      21 |  1315253 |  1258145 |     2822   1020 |        0 |        0
352.60/352.79	c  352s |      21 |  1322474 |  1264945 |     2822   1025 |        0 |        0
354.70/354.81	c  354s |      21 |  1328904 |  1271145 |     2822   1029 |        0 |        0
356.70/356.83	c  356s |      21 |  1335525 |  1277645 |     2822   1033 |        0 |        0
358.70/358.83	c  358s |      21 |  1341866 |  1283845 |     2822   1037 |        0 |        0
360.70/360.85	c  360s |      21 |  1348979 |  1290745 |     2822   1041 |        0 |        0
362.70/362.87	c  362s |      21 |  1356329 |  1297845 |     2822   1046 |        0 |        0
364.69/364.88	c  364s |      21 |  1363510 |  1304745 |     2822   1050 |        0 |        0
366.69/366.88	c  366s |      21 |  1370969 |  1311945 |     2822   1055 |        0 |        0
368.69/368.88	c  368s |      21 |  1378113 |  1318845 |     2822   1060 |        0 |        0
370.70/370.88	c  370s |      21 |  1385644 |  1325945 |     2822   1064 |        0 |        0
372.79/372.90	c  372s |      21 |  1393371 |  1333345 |     2822   1069 |        0 |        0
374.79/374.92	c  374s |      21 |  1400468 |  1340145 |     2822   1074 |        0 |        0
376.79/376.94	c  376s |      21 |  1408150 |  1347545 |     2822   1078 |        0 |        0
378.79/378.95	c  378s |      21 |  1416068 |  1355045 |     2822   1083 |        0 |        0
380.79/380.96	c  380s |      21 |  1422970 |  1361745 |     2822   1088 |        0 |        0
382.79/382.96	c  382s |      21 |  1430640 |  1369045 |     2822   1092 |        0 |        0
384.78/384.97	c  384s |      21 |  1438066 |  1376045 |     2822   1097 |        0 |        0
386.78/386.97	c  386s |      21 |  1445499 |  1383045 |     2822   1101 |        0 |        0
388.78/388.98	c  388s |      21 |  1452846 |  1389945 |     2822   1106 |        0 |        0
390.78/390.99	c  390s |      21 |  1460279 |  1397045 |     2822   1111 |        0 |        0
392.78/393.00	c  392s |      21 |  1467644 |  1404045 |     2822   1115 |        0 |        0
394.88/395.02	c  394s |      21 |  1474816 |  1410845 |     2822   1120 |        0 |        0
396.87/397.02	c  396s |      21 |  1482351 |  1417945 |     2822   1124 |        0 |        0
398.87/399.03	c  398s |      21 |  1489839 |  1424645 |     2822   1129 |        0 |        0
400.87/401.04	c  400s |      21 |  1497081 |  1431445 |     2822   1133 |        0 |        0
402.87/403.06	c  402s |      21 |  1504149 |  1438145 |     2822   1137 |        0 |        0
404.87/405.08	c  404s |      21 |  1510983 |  1444545 |     2822   1141 |        0 |        0
406.87/407.09	c  406s |      21 |  1518195 |  1451245 |     2822   1146 |        0 |        0
408.97/409.11	c  408s |      21 |  1525686 |  1458345 |     2822   1150 |        0 |        0
410.97/411.11	c  410s |      21 |  1532786 |  1465145 |     2822   1155 |        0 |        0
412.97/413.13	c  412s |      21 |  1540138 |  1471945 |     2822   1159 |        0 |        0
414.96/415.16	c  414s |      21 |  1547434 |  1478845 |     2822   1164 |        0 |        0
416.97/417.18	c  416s |      21 |  1554586 |  1485345 |     2822   1168 |        0 |        0
418.96/419.19	c  418s |      21 |  1560892 |  1491245 |     3105   1172 |        0 |        0
421.06/421.20	c  420s |      21 |  1567251 |  1497345 |     3105   1175 |        0 |        0
422.06/422.28	c  421s |      22 |  1570749 |  1500622 |     3105   1177 |        0 |        0
424.17/424.30	c  423s |      22 |  1577181 |  1506322 |     3105   1181 |        0 |        0
426.17/426.31	c  425s |      22 |  1584093 |  1512822 |     3105   1184 |        0 |        0
428.17/428.32	c  427s |      22 |  1591073 |  1519622 |     3105   1188 |        0 |        0
430.17/430.32	c  429s |      22 |  1597575 |  1525722 |     3105   1192 |        0 |        0
432.17/432.33	c  431s |      22 |  1604986 |  1532922 |     3105   1196 |        0 |        0
434.16/434.33	c  433s |      22 |  1611568 |  1539122 |     3105   1200 |        0 |        0
436.16/436.35	c  435s |      22 |  1616952 |  1544022 |     3105   1203 |        0 |        0
438.16/438.36	c  437s |      22 |  1624077 |  1550422 |     3105   1206 |        0 |        0
440.16/440.36	c  439s |      22 |  1630949 |  1556922 |     3105   1210 |        0 |        0
442.17/442.39	c  441s |      22 |  1637512 |  1563222 |     3105   1214 |        0 |        0
444.26/444.40	c  443s |      22 |  1644340 |  1569622 |     3105   1218 |        0 |        0
446.26/446.43	c  446s |      22 |  1651037 |  1575722 |     3105   1221 |        0 |        0
448.26/448.47	c  448s |      22 |  1659049 |  1582622 |     3105   1225 |        0 |        0
450.26/450.47	c  450s |      22 |  1666194 |  1589222 |     3105   1229 |        0 |        0
452.36/452.50	c  452s |      22 |  1672104 |  1594122 |     3105   1232 |        0 |        0
454.36/454.51	c  454s |      22 |  1677475 |  1598522 |     3105   1235 |        0 |        0
456.35/456.52	c  456s |      22 |  1683102 |  1603922 |     3105   1238 |        0 |        0
458.35/458.55	c  458s |      22 |  1688218 |  1608722 |     3105   1241 |        0 |        0
460.35/460.57	c  460s |      22 |  1693782 |  1613922 |     3105   1244 |        0 |        0
462.35/462.59	c  462s |      22 |  1700353 |  1620022 |     3105   1248 |        0 |        0
464.45/464.61	c  464s |      22 |  1706281 |  1625722 |     3105   1251 |        0 |        0
466.45/466.65	c  466s |      22 |  1712600 |  1631522 |     3105   1254 |        0 |        0
468.45/468.65	c  468s |      22 |  1718634 |  1637222 |     3105   1258 |        0 |        0
470.45/470.66	c  470s |      22 |  1724972 |  1643122 |     3105   1261 |        0 |        0
472.45/472.68	c  472s |      22 |  1732003 |  1649422 |     3105   1265 |        0 |        0
474.54/474.72	c  474s |      22 |  1738420 |  1655422 |     3105   1268 |        0 |        0
476.54/476.74	c  476s |      22 |  1744439 |  1661022 |     3105   1272 |        0 |        0
478.55/478.77	c  478s |      22 |  1750873 |  1667222 |     3105   1275 |        0 |        0
480.54/480.79	c  480s |      22 |  1757051 |  1672822 |     3105   1279 |        0 |        0
482.64/482.83	c  482s |      22 |  1762328 |  1677822 |     3105   1282 |        0 |        0
484.64/484.83	c  484s |      22 |  1769206 |  1684022 |     3105   1285 |        0 |        0
486.64/486.85	c  486s |      22 |  1775829 |  1690222 |     3105   1289 |        0 |        0
488.64/488.87	c  488s |      22 |  1782404 |  1696122 |     3105   1293 |        0 |        0
490.64/490.87	c  490s |      22 |  1788491 |  1702022 |     3105   1296 |        0 |        0
492.64/492.87	c  492s |      22 |  1794687 |  1707922 |     3105   1300 |        0 |        0
494.73/494.90	c  494s |      22 |  1802717 |  1715022 |     3105   1304 |        0 |        0
496.73/496.91	c  496s |      22 |  1810008 |  1721822 |     3105   1308 |        0 |        0
498.73/498.92	c  498s |      22 |  1817190 |  1728622 |     3105   1312 |        0 |        0
500.73/500.93	c  500s |      22 |  1824425 |  1735622 |     3105   1316 |        0 |        0
502.74/502.94	c  502s |      22 |  1831779 |  1742722 |     3105   1320 |        0 |        0
504.73/504.94	c  504s |      22 |  1838554 |  1749022 |     3105   1324 |        0 |        0
506.73/506.97	c  506s |      22 |  1844195 |  1754422 |     3105   1327 |        0 |        0
508.73/508.99	c  508s |      22 |  1850220 |  1760022 |     3105   1331 |        0 |        0
510.73/511.00	c  510s |      22 |  1856826 |  1766322 |     3105   1334 |        0 |        0
512.82/513.01	c  512s |      22 |  1862414 |  1771522 |     3105   1337 |        0 |        0
514.83/515.02	c  514s |      22 |  1867425 |  1776422 |     3105   1340 |        0 |        0
516.82/517.02	c  516s |      22 |  1874109 |  1782722 |     3105   1344 |        0 |        0
518.82/519.03	c  518s |      22 |  1881211 |  1788822 |     3105   1348 |        0 |        0
520.82/521.05	c  520s |      22 |  1887584 |  1794922 |     3105   1351 |        0 |        0
522.82/523.10	c  522s |      22 |  1893908 |  1801022 |     3105   1355 |        0 |        0
524.92/525.12	c  524s |      22 |  1898851 |  1805822 |     3105   1358 |        0 |        0
526.92/527.14	c  526s |      22 |  1904698 |  1811422 |     3105   1361 |        0 |        0
528.92/529.16	c  528s |      22 |  1910551 |  1816822 |     3105   1364 |        0 |        0
530.92/531.17	c  530s |      22 |  1916893 |  1823022 |     3105   1368 |        0 |        0
532.92/533.18	c  532s |      22 |  1922914 |  1828922 |     3105   1371 |        0 |        0
535.01/535.20	c  534s |      22 |  1928837 |  1834622 |     3105   1375 |        0 |        0
537.01/537.23	c  536s |      22 |  1935031 |  1840322 |     3105   1378 |        0 |        0
539.02/539.26	c  538s |      22 |  1940954 |  1845922 |     3105   1382 |        0 |        0
541.01/541.27	c  540s |      22 |  1948038 |  1852522 |     3105   1385 |        0 |        0
543.01/543.27	c  542s |      22 |  1954704 |  1858822 |     3105   1389 |        0 |        0
545.01/545.29	c  544s |      22 |  1961958 |  1865622 |     3105   1393 |        0 |        0
547.11/547.30	c  546s |      22 |  1968813 |  1871822 |     3105   1397 |        0 |        0
549.11/549.33	c  548s |      22 |  1976518 |  1879022 |     3105   1401 |        0 |        0
551.11/551.35	c  550s |      22 |  1983021 |  1885122 |     3105   1405 |        0 |        0
553.11/553.35	c  552s |      22 |  1990065 |  1891722 |     3105   1409 |        0 |        0
555.11/555.36	c  554s |      22 |  1996327 |  1897722 |     3105   1412 |        0 |        0
557.11/557.37	c  556s |      22 |  2002703 |  1903822 |     3105   1416 |        0 |        0
559.11/559.39	c  558s |      22 |  2009263 |  1909922 |     3105   1420 |        0 |        0
561.21/561.42	c  560s |      22 |  2016020 |  1916122 |     3105   1423 |        0 |        0
563.22/563.44	c  563s |      22 |  2023169 |  1923022 |     3105   1427 |        0 |        0
565.21/565.45	c  565s |      22 |  2029730 |  1929122 |     3105   1431 |        0 |        0
567.20/567.45	c  567s |      22 |  2035704 |  1934722 |     3105   1434 |        0 |        0
569.20/569.48	c  569s |      22 |  2042684 |  1941222 |     3105   1438 |        0 |        0
571.30/571.51	c  571s |      22 |  2049750 |  1947722 |     3105   1442 |        0 |        0
573.30/573.52	c  573s |      22 |  2055417 |  1953222 |     3105   1445 |        0 |        0
575.31/575.54	c  575s |      22 |  2062908 |  1960322 |     3105   1450 |        0 |        0
577.30/577.55	c  577s |      22 |  2070858 |  1967822 |     3105   1454 |        0 |        0
579.30/579.55	c  579s |      22 |  2078679 |  1975222 |     3105   1458 |        0 |        0
581.30/581.57	c  581s |      22 |  2086363 |  1982122 |     3105   1462 |        0 |        0
583.30/583.58	c  583s |      22 |  2095233 |  1990522 |     3105   1467 |        0 |        0
585.29/585.59	c  585s |      22 |  2104380 |  1999122 |     3105   1473 |        0 |        0
587.40/587.61	c  587s |      22 |  2113429 |  2007822 |     3105   1478 |        0 |        0
589.39/589.62	c  589s |      22 |  2122216 |  2016222 |     3105   1483 |        0 |        0
591.39/591.65	c  591s |      22 |  2131146 |  2024622 |     3105   1488 |        0 |        0
593.39/593.65	c  593s |      22 |  2140346 |  2033322 |     3105   1493 |        0 |        0
595.38/595.66	c  595s |      22 |  2149010 |  2041422 |     3105   1498 |        0 |        0
597.48/597.71	c  597s |      22 |  2155649 |  2047822 |     3105   1502 |        0 |        0
599.49/599.72	c  599s |      22 |  2162065 |  2053922 |     3105   1505 |        0 |        0
601.48/601.75	c  601s |      22 |  2169499 |  2061222 |     3105   1509 |        0 |        0
603.48/603.76	c  603s |      22 |  2176748 |  2068222 |     3105   1514 |        0 |        0
605.48/605.76	c  605s |      22 |  2184174 |  2075122 |     3105   1518 |        0 |        0
607.48/607.77	c  607s |      22 |  2192107 |  2082422 |     3105   1522 |        0 |        0
609.48/609.79	c  609s |      22 |  2201170 |  2091022 |     3105   1527 |        0 |        0
611.48/611.79	c  611s |      22 |  2210292 |  2099622 |     3105   1532 |        0 |        0
613.57/613.82	c  613s |      22 |  2219596 |  2108322 |     3105   1537 |        0 |        0
615.57/615.82	c  615s |      22 |  2228631 |  2116922 |     3105   1543 |        0 |        0
617.57/617.82	c  617s |      22 |  2237675 |  2125522 |     3105   1548 |        0 |        0
619.57/619.84	c  619s |      22 |  2245863 |  2133122 |     3105   1552 |        0 |        0
621.57/621.87	c  621s |      22 |  2252894 |  2139922 |     3105   1556 |        0 |        0
623.58/623.87	c  623s |      22 |  2260321 |  2147022 |     3105   1560 |        0 |        0
625.57/625.88	c  625s |      22 |  2267828 |  2154322 |     3105   1565 |        0 |        0
627.57/627.88	c  627s |      22 |  2274203 |  2160322 |     3105   1568 |        0 |        0
629.67/629.91	c  629s |      22 |  2282165 |  2167922 |     3105   1573 |        0 |        0
631.66/631.92	c  631s |      22 |  2290327 |  2175422 |     3105   1577 |        0 |        0
633.67/633.94	c  633s |      22 |  2297860 |  2182622 |     3105   1582 |        0 |        0
635.68/635.97	c  635s |      22 |  2305528 |  2189822 |     3105   1586 |        0 |        0
637.67/637.97	c  637s |      22 |  2313030 |  2196922 |     3105   1590 |        0 |        0
639.67/639.97	c  639s |      22 |  2321180 |  2204822 |     3105   1595 |        0 |        0
641.67/641.97	c  641s |      22 |  2329515 |  2212922 |     3105   1600 |        0 |        0
643.67/643.98	c  643s |      22 |  2337236 |  2220222 |     3105   1604 |        0 |        0
645.76/646.00	c  645s |      22 |  2345623 |  2228322 |     3105   1609 |        0 |        0
647.77/648.01	c  647s |      22 |  2353730 |  2235922 |     3416   1613 |        0 |        0
649.76/650.01	c  649s |      22 |  2361145 |  2242822 |     3416   1617 |        0 |        0
651.76/652.01	c  651s |      22 |  2369038 |  2250322 |     3416   1621 |        0 |        0
651.96/652.20	c  651s |      23 |  2369766 |  2251038 |     3416   1621 |        0 |        0
653.96/654.24	c  653s |      23 |  2377715 |  2258538 |     3416   1625 |        0 |        0
655.96/656.24	c  655s |      23 |  2385264 |  2265338 |     3416   1629 |        0 |        0
657.96/658.28	c  657s |      23 |  2392731 |  2272138 |     3416   1633 |        0 |        0
659.96/660.29	c  659s |      23 |  2399690 |  2278738 |     3416   1637 |        0 |        0
661.96/662.30	c  661s |      23 |  2406906 |  2285638 |     3416   1640 |        0 |        0
664.05/664.34	c  663s |      23 |  2413375 |  2291738 |     3416   1644 |        0 |        0
666.05/666.37	c  665s |      23 |  2420345 |  2298238 |     3416   1647 |        0 |        0
668.05/668.39	c  667s |      23 |  2426847 |  2304338 |     3416   1651 |        0 |        0
670.15/670.40	c  669s |      23 |  2433788 |  2310638 |     3416   1654 |        0 |        0
672.15/672.42	c  671s |      23 |  2440523 |  2317038 |     3416   1657 |        0 |        0
674.15/674.42	c  673s |      23 |  2447438 |  2323338 |     3416   1661 |        0 |        0
676.15/676.45	c  676s |      23 |  2454515 |  2330038 |     3416   1665 |        0 |        0
678.14/678.45	c  678s |      23 |  2461515 |  2336338 |     3416   1668 |        0 |        0
680.14/680.48	c  680s |      23 |  2468714 |  2343138 |     3416   1672 |        0 |        0
682.14/682.49	c  682s |      23 |  2475856 |  2349738 |     3416   1675 |        0 |        0
684.24/684.53	c  684s |      23 |  2482918 |  2356438 |     3416   1679 |        0 |        0
686.25/686.54	c  686s |      23 |  2489666 |  2363038 |     3416   1683 |        0 |        0
688.24/688.55	c  688s |      23 |  2496645 |  2369638 |     3416   1686 |        0 |        0
690.24/690.56	c  690s |      23 |  2504048 |  2376638 |     3416   1690 |        0 |        0
692.24/692.58	c  692s |      23 |  2510900 |  2383138 |     3416   1694 |        0 |        0
694.23/694.58	c  694s |      23 |  2517753 |  2389538 |     3416   1697 |        0 |        0
696.33/696.60	c  696s |      23 |  2524830 |  2395938 |     3416   1701 |        0 |        0
698.34/698.62	c  698s |      23 |  2531511 |  2402238 |     3416   1704 |        0 |        0
700.33/700.64	c  700s |      23 |  2538365 |  2408738 |     3416   1707 |        0 |        0
702.33/702.66	c  702s |      23 |  2544952 |  2414938 |     3416   1711 |        0 |        0
704.33/704.68	c  704s |      23 |  2551861 |  2421338 |     3416   1714 |        0 |        0
706.34/706.69	c  706s |      23 |  2558709 |  2427938 |     3416   1718 |        0 |        0
708.44/708.71	c  708s |      23 |  2565441 |  2434238 |     3416   1721 |        0 |        0
710.44/710.74	c  710s |      23 |  2572235 |  2440638 |     3416   1725 |        0 |        0
712.44/712.76	c  712s |      23 |  2579221 |  2446938 |     3416   1728 |        0 |        0
714.43/714.78	c  714s |      23 |  2586838 |  2454238 |     3416   1732 |        0 |        0
716.53/716.81	c  716s |      23 |  2593698 |  2460538 |     3416   1736 |        0 |        0
718.53/718.84	c  718s |      23 |  2600177 |  2466838 |     3416   1739 |        0 |        0
720.53/720.87	c  720s |      23 |  2607220 |  2473438 |     3416   1743 |        0 |        0
722.54/722.88	c  722s |      23 |  2614279 |  2479938 |     3416   1746 |        0 |        0
724.62/724.91	c  724s |      23 |  2620811 |  2486238 |     3416   1750 |        0 |        0
726.62/726.91	c  726s |      23 |  2627121 |  2492238 |     3416   1753 |        0 |        0
728.62/728.92	c  728s |      23 |  2633961 |  2498938 |     3416   1757 |        0 |        0
730.62/730.92	c  730s |      23 |  2640693 |  2505138 |     3416   1760 |        0 |        0
732.62/732.93	c  732s |      23 |  2647431 |  2511538 |     3416   1763 |        0 |        0
734.63/734.95	c  734s |      23 |  2654160 |  2517738 |     3416   1767 |        0 |        0
736.62/736.97	c  736s |      23 |  2660519 |  2523738 |     3416   1770 |        0 |        0
738.72/739.01	c  738s |      23 |  2667002 |  2529738 |     3416   1773 |        0 |        0
740.72/741.01	c  740s |      23 |  2673437 |  2535938 |     3416   1777 |        0 |        0
742.72/743.02	c  742s |      23 |  2680436 |  2542638 |     3416   1780 |        0 |        0
744.72/745.03	c  744s |      23 |  2687452 |  2549238 |     3416   1784 |        0 |        0
746.72/747.04	c  746s |      23 |  2694400 |  2555638 |     3416   1787 |        0 |        0
748.72/749.05	c  748s |      23 |  2701348 |  2561838 |     3416   1791 |        0 |        0
750.72/751.07	c  750s |      23 |  2708725 |  2568638 |     3416   1794 |        0 |        0
752.72/753.09	c  752s |      23 |  2715901 |  2575438 |     3416   1798 |        0 |        0
754.81/755.11	c  754s |      23 |  2722892 |  2582038 |     3416   1802 |        0 |        0
756.81/757.12	c  756s |      23 |  2729643 |  2588438 |     3416   1805 |        0 |        0
758.81/759.12	c  758s |      23 |  2736416 |  2594838 |     3416   1809 |        0 |        0
760.81/761.14	c  760s |      23 |  2743107 |  2601038 |     3416   1812 |        0 |        0
762.81/763.15	c  762s |      23 |  2749574 |  2607238 |     3416   1815 |        0 |        0
764.80/765.17	c  764s |      23 |  2756025 |  2613438 |     3416   1819 |        0 |        0
766.90/767.21	c  766s |      23 |  2762722 |  2619838 |     3416   1822 |        0 |        0
768.90/769.21	c  768s |      23 |  2769366 |  2626038 |     3416   1826 |        0 |        0
770.91/771.24	c  770s |      23 |  2776316 |  2632438 |     3416   1829 |        0 |        0
772.90/773.25	c  772s |      23 |  2782691 |  2638338 |     3416   1832 |        0 |        0
774.90/775.26	c  774s |      23 |  2789447 |  2644638 |     3416   1836 |        0 |        0
776.89/777.29	c  776s |      23 |  2796362 |  2651138 |     3416   1839 |        0 |        0
778.99/779.32	c  778s |      23 |  2803146 |  2657338 |     3416   1843 |        0 |        0
780.99/781.32	c  780s |      23 |  2809766 |  2663538 |     3416   1846 |        0 |        0
783.00/783.33	c  782s |      23 |  2816347 |  2669838 |     3416   1849 |        0 |        0
784.98/785.34	c  784s |      23 |  2823107 |  2676238 |     3416   1853 |        0 |        0
786.98/787.36	c  786s |      23 |  2830206 |  2683038 |     3416   1857 |        0 |        0
788.98/789.38	c  788s |      23 |  2837347 |  2689838 |     3416   1860 |        0 |        0
791.08/791.40	c  790s |      23 |  2843854 |  2695938 |     3416   1864 |        0 |        0
793.08/793.42	c  792s |      23 |  2850719 |  2702438 |     3416   1867 |        0 |        0
795.08/795.44	c  795s |      23 |  2857710 |  2708938 |     3416   1871 |        0 |        0
797.08/797.46	c  797s |      23 |  2864446 |  2715238 |     3416   1874 |        0 |        0
799.08/799.46	c  799s |      23 |  2871346 |  2721738 |     3416   1878 |        0 |        0
801.09/801.48	c  801s |      23 |  2877895 |  2727938 |     3416   1881 |        0 |        0
803.19/803.50	c  803s |      23 |  2884573 |  2734138 |     3416   1884 |        0 |        0
805.18/805.53	c  805s |      23 |  2891176 |  2740238 |     3416   1888 |        0 |        0
807.19/807.56	c  807s |      23 |  2897910 |  2746538 |     3416   1891 |        0 |        0
809.18/809.58	c  809s |      23 |  2904735 |  2752838 |     3416   1895 |        0 |        0
811.28/811.61	c  811s |      23 |  2911375 |  2759038 |     3416   1898 |        0 |        0
813.28/813.63	c  813s |      23 |  2918086 |  2765338 |     3416   1901 |        0 |        0
815.28/815.66	c  815s |      23 |  2923594 |  2770738 |     3416   1904 |        0 |        0
817.28/817.68	c  817s |      23 |  2929884 |  2776738 |     3416   1908 |        0 |        0
819.38/819.70	c  819s |      23 |  2938132 |  2784838 |     3416   1912 |        0 |        0
821.38/821.72	c  821s |      23 |  2946193 |  2792738 |     3416   1916 |        0 |        0
823.38/823.73	c  823s |      23 |  2953958 |  2800338 |     3416   1921 |        0 |        0
825.37/825.76	c  825s |      23 |  2961674 |  2807938 |     3416   1925 |        0 |        0
827.37/827.77	c  827s |      23 |  2968952 |  2814938 |     3416   1928 |        0 |        0
829.37/829.78	c  829s |      23 |  2975999 |  2821938 |     3416   1932 |        0 |        0
831.38/831.79	c  831s |      23 |  2983737 |  2829538 |     3416   1936 |        0 |        0
833.47/833.81	c  833s |      23 |  2991467 |  2837138 |     3416   1941 |        0 |        0
835.47/835.82	c  835s |      23 |  2999116 |  2844638 |     3416   1945 |        0 |        0
837.47/837.82	c  837s |      23 |  3007088 |  2852438 |     3416   1949 |        0 |        0
839.47/839.85	c  839s |      23 |  3014066 |  2859138 |     3416   1953 |        0 |        0
841.47/841.86	c  841s |      23 |  3020431 |  2865238 |     3416   1956 |        0 |        0
843.48/843.88	c  843s |      23 |  3027239 |  2871838 |     3416   1959 |        0 |        0
845.57/845.90	c  845s |      23 |  3033388 |  2877838 |     3416   1963 |        0 |        0
847.57/847.92	c  847s |      23 |  3039464 |  2883638 |     3416   1966 |        0 |        0
849.57/849.94	c  849s |      23 |  3047111 |  2891138 |     3416   1970 |        0 |        0
851.57/851.96	c  851s |      23 |  3055070 |  2898938 |     3416   1974 |        0 |        0
853.57/853.97	c  853s |      23 |  3062822 |  2906538 |     3416   1978 |        0 |        0
855.57/855.98	c  855s |      23 |  3068499 |  2912038 |     3416   1981 |        0 |        0
857.67/858.02	c  857s |      23 |  3074519 |  2917838 |     3416   1984 |        0 |        0
859.67/860.05	c  859s |      23 |  3080466 |  2923638 |     3416   1988 |        0 |        0
861.67/862.07	c  861s |      23 |  3087977 |  2930838 |     3416   1992 |        0 |        0
863.67/864.08	c  863s |      23 |  3095522 |  2938138 |     3416   1996 |        0 |        0
865.77/866.10	c  865s |      23 |  3102918 |  2945338 |     3416   1999 |        0 |        0
867.77/868.10	c  867s |      23 |  3110178 |  2952138 |     3416   2003 |        0 |        0
869.77/870.13	c  869s |      23 |  3117656 |  2959338 |     3416   2007 |        0 |        0
871.77/872.13	c  871s |      23 |  3125006 |  2966138 |     3416   2011 |        0 |        0
873.76/874.13	c  873s |      23 |  3132516 |  2973338 |     3416   2015 |        0 |        0
875.76/876.15	c  875s |      23 |  3139639 |  2980038 |     3416   2018 |        0 |        0
877.76/878.17	c  877s |      23 |  3146966 |  2987038 |     3416   2022 |        0 |        0
879.77/880.18	c  879s |      23 |  3154216 |  2994038 |     3416   2026 |        0 |        0
881.76/882.19	c  881s |      23 |  3161459 |  3000938 |     3416   2030 |        0 |        0
883.86/884.20	c  883s |      23 |  3168516 |  3007738 |     3416   2033 |        0 |        0
885.86/886.22	c  885s |      23 |  3175948 |  3014938 |     3416   2037 |        0 |        0
887.86/888.22	c  887s |      23 |  3182577 |  3021338 |     3416   2041 |        0 |        0
889.86/890.23	c  889s |      23 |  3189452 |  3028038 |     3416   2044 |        0 |        0
891.87/892.26	c  891s |      23 |  3196460 |  3034738 |     3416   2048 |        0 |        0
893.86/894.27	c  893s |      23 |  3204313 |  3042338 |     3416   2052 |        0 |        0
895.86/896.28	c  895s |      23 |  3211104 |  3048938 |     3416   2056 |        0 |        0
897.86/898.28	c  897s |      23 |  3218273 |  3055938 |     3416   2060 |        0 |        0
899.96/900.30	c  899s |      23 |  3225982 |  3063438 |     3416   2064 |        0 |        0
901.96/902.32	c  901s |      23 |  3233341 |  3070338 |     3416   2067 |        0 |        0
903.96/904.34	c  903s |      23 |  3240368 |  3076938 |     3416   2071 |        0 |        0
905.96/906.34	c  905s |      23 |  3247052 |  3083238 |     3416   2074 |        0 |        0
907.96/908.37	c  907s |      23 |  3253727 |  3089638 |     3416   2078 |        0 |        0
909.95/910.39	c  909s |      23 |  3260246 |  3095738 |     3416   2081 |        0 |        0
912.06/912.43	c  911s |      23 |  3266434 |  3101538 |     3416   2085 |        0 |        0
914.06/914.46	c  914s |      23 |  3273238 |  3107938 |     3416   2088 |        0 |        0
916.06/916.49	c  916s |      23 |  3279613 |  3113838 |     3416   2091 |        0 |        0
918.15/918.50	c  918s |      23 |  3286401 |  3120238 |     3416   2095 |        0 |        0
920.15/920.53	c  920s |      23 |  3293243 |  3126738 |     3416   2098 |        0 |        0
922.15/922.55	c  922s |      23 |  3300180 |  3133538 |     3416   2102 |        0 |        0
924.15/924.57	c  924s |      23 |  3307313 |  3140438 |     3416   2106 |        0 |        0
926.15/926.57	c  926s |      23 |  3314583 |  3147338 |     3416   2109 |        0 |        0
928.16/928.59	c  928s |      23 |  3322017 |  3154438 |     3416   2113 |        0 |        0
930.26/930.62	c  930s |      23 |  3328715 |  3161038 |     3416   2117 |        0 |        0
932.26/932.64	c  932s |      23 |  3335828 |  3167838 |     3416   2121 |        0 |        0
934.26/934.65	c  934s |      23 |  3342726 |  3174538 |     3416   2124 |        0 |        0
936.26/936.66	c  936s |      23 |  3349875 |  3181338 |     3416   2128 |        0 |        0
938.26/938.67	c  938s |      23 |  3356459 |  3187738 |     3416   2131 |        0 |        0
940.26/940.68	c  940s |      23 |  3363467 |  3194338 |     3416   2135 |        0 |        0
942.26/942.69	c  942s |      23 |  3370833 |  3201338 |     3416   2139 |        0 |        0
944.26/944.69	c  944s |      23 |  3378115 |  3208338 |     3416   2143 |        0 |        0
946.36/946.71	c  946s |      23 |  3385381 |  3215338 |     3416   2146 |        0 |        0
948.36/948.74	c  948s |      23 |  3392259 |  3221938 |     3416   2150 |        0 |        0
950.36/950.76	c  950s |      23 |  3399591 |  3228938 |     3416   2154 |        0 |        0
952.36/952.76	c  952s |      23 |  3406511 |  3235438 |     3416   2157 |        0 |        0
954.36/954.78	c  954s |      23 |  3414136 |  3242538 |     3416   2161 |        0 |        0
956.45/956.82	c  956s |      23 |  3421271 |  3249238 |     3416   2165 |        0 |        0
958.46/958.84	c  958s |      23 |  3428230 |  3255938 |     3416   2169 |        0 |        0
960.46/960.84	c  960s |      23 |  3434750 |  3262338 |     3416   2172 |        0 |        0
962.45/962.85	c  962s |      23 |  3441301 |  3268738 |     3416   2176 |        0 |        0
964.46/964.88	c  964s |      23 |  3448193 |  3275438 |     3416   2179 |        0 |        0
966.55/966.90	c  966s |      23 |  3454881 |  3281938 |     3416   2183 |        0 |        0
968.55/968.91	c  968s |      23 |  3461867 |  3288438 |     3416   2186 |        0 |        0
970.55/970.92	c  970s |      23 |  3467932 |  3294138 |     3416   2189 |        0 |        0
972.55/972.92	c  972s |      23 |  3474875 |  3300938 |     3416   2193 |        0 |        0
974.55/974.95	c  974s |      23 |  3481735 |  3307538 |     3416   2197 |        0 |        0
976.56/976.97	c  976s |      23 |  3489109 |  3314638 |     3416   2201 |        0 |        0
978.55/978.97	c  978s |      23 |  3496055 |  3321338 |     3416   2204 |        0 |        0
980.55/980.98	c  980s |      23 |  3502993 |  3327838 |     3416   2208 |        0 |        0
982.55/983.00	c  982s |      23 |  3510120 |  3334638 |     3416   2211 |        0 |        0
984.65/985.01	c  984s |      23 |  3516369 |  3340638 |     3416   2215 |        0 |        0
986.65/987.02	c  986s |      23 |  3523438 |  3347538 |     3416   2219 |        0 |        0
988.65/989.03	c  988s |      23 |  3530571 |  3354238 |     3758   2222 |        0 |        0
990.65/991.06	c  990s |      23 |  3537246 |  3360738 |     3758   2225 |        0 |        0
992.65/993.08	c  992s |      23 |  3544464 |  3367638 |     3758   2229 |        0 |        0
994.75/995.11	c  994s |      23 |  3551486 |  3374338 |     3758   2232 |        0 |        0
995.45/995.81	c  995s |      24 |  3553875 |  3376662 |     3758   2233 |        0 |        0
997.45/997.83	c  997s |      24 |  3560876 |  3383362 |     3758   2237 |        0 |        0
999.45/999.84	c  999s |      24 |  3568402 |  3390662 |     3758   2240 |        1 |        8
1001.44/1001.85	c 1001s |      24 |  3575418 |  3397362 |     3758   2243 |        1 |        8
1003.44/1003.85	c 1003s |      24 |  3582850 |  3404462 |     3758   2247 |        1 |        8
1005.44/1005.87	c 1005s |      24 |  3590389 |  3411762 |     3758   2251 |        1 |        8
1007.45/1007.88	c 1007s |      24 |  3597813 |  3418862 |     3758   2254 |        1 |        8
1009.44/1009.89	c 1009s |      24 |  3605193 |  3425862 |     3758   2258 |        1 |        8
1011.44/1011.90	c 1011s |      24 |  3612585 |  3432962 |     3758   2261 |        1 |        8
1013.54/1013.92	c 1013s |      24 |  3619871 |  3439862 |     3758   2265 |        1 |        8
1015.54/1015.93	c 1015s |      24 |  3626662 |  3446362 |     3758   2268 |        1 |        8
1017.54/1017.95	c 1017s |      24 |  3633931 |  3453062 |     3758   2271 |        1 |        8
1019.55/1019.97	c 1019s |      24 |  3640866 |  3459762 |     3758   2274 |        1 |        8
1021.54/1021.98	c 1021s |      24 |  3647969 |  3466462 |     3758   2278 |        1 |        8
1023.54/1023.98	c 1023s |      24 |  3655432 |  3473662 |     3758   2281 |        1 |        8
1025.64/1026.00	c 1025s |      24 |  3662697 |  3480562 |     3758   2285 |        1 |        8
1027.64/1028.02	c 1027s |      24 |  3670082 |  3487562 |     3758   2288 |        1 |        8
1029.64/1030.06	c 1029s |      24 |  3676817 |  3493962 |     3758   2292 |        1 |        8
1031.64/1032.07	c 1031s |      24 |  3684430 |  3500962 |     3758   2295 |        1 |        8
1033.64/1034.08	c 1033s |      24 |  3691929 |  3508162 |     3758   2299 |        1 |        8
1035.64/1036.09	c 1035s |      24 |  3699354 |  3515162 |     3758   2302 |        1 |        8
1037.74/1038.11	c 1037s |      24 |  3705951 |  3521562 |     3758   2305 |        1 |        8
1039.74/1040.12	c 1039s |      24 |  3712796 |  3528062 |     3758   2308 |        1 |        8
1041.73/1042.14	c 1041s |      24 |  3719869 |  3534562 |     3758   2312 |        1 |        8
1043.74/1044.14	c 1043s |      24 |  3726670 |  3541062 |     3758   2315 |        1 |        8
1045.73/1046.15	c 1045s |      24 |  3732995 |  3547262 |     3758   2318 |        1 |        8
1047.73/1048.16	c 1047s |      24 |  3740141 |  3554162 |     3758   2321 |        1 |        8
1049.73/1050.18	c 1049s |      24 |  3747234 |  3561062 |     3758   2325 |        1 |        8
1051.73/1052.20	c 1051s |      24 |  3754515 |  3568062 |     3758   2328 |        1 |        8
1053.83/1054.24	c 1053s |      24 |  3761766 |  3574862 |     3758   2332 |        1 |        8
1055.84/1056.26	c 1055s |      24 |  3768669 |  3581462 |     3758   2335 |        1 |        8
1057.84/1058.27	c 1057s |      24 |  3775760 |  3588262 |     3758   2338 |        1 |        8
1059.94/1060.30	c 1059s |      24 |  3782708 |  3594962 |     3758   2342 |        1 |        8
1061.94/1062.32	c 1061s |      24 |  3789943 |  3601862 |     3758   2345 |        1 |        8
1063.94/1064.35	c 1063s |      24 |  3797248 |  3608562 |     3758   2349 |        1 |        8
1065.94/1066.38	c 1065s |      24 |  3804508 |  3615362 |     3758   2352 |        1 |        8
1067.95/1068.39	c 1067s |      24 |  3811185 |  3621762 |     3758   2355 |        1 |        8
1070.04/1070.42	c 1069s |      24 |  3818211 |  3628562 |     3758   2358 |        1 |        8
1072.04/1072.42	c 1071s |      24 |  3824550 |  3634662 |     3758   2362 |        1 |        8
1074.04/1074.45	c 1074s |      24 |  3831635 |  3641462 |     3758   2365 |        1 |        8
1076.04/1076.46	c 1076s |      24 |  3838739 |  3647962 |     3758   2368 |        1 |        8
1078.04/1078.48	c 1078s |      24 |  3846528 |  3655362 |     3758   2372 |        1 |        8
1080.04/1080.49	c 1080s |      24 |  3853351 |  3661862 |     3758   2375 |        1 |        8
1082.03/1082.49	c 1082s |      24 |  3860918 |  3669162 |     3758   2379 |        1 |        8
1084.13/1084.53	c 1084s |      24 |  3868351 |  3676262 |     3758   2382 |        1 |        8
1086.13/1086.55	c 1086s |      24 |  3875541 |  3682962 |     3758   2386 |        1 |        8
1088.13/1088.58	c 1088s |      24 |  3882077 |  3689162 |     3758   2389 |        1 |        8
1090.13/1090.58	c 1090s |      24 |  3889027 |  3695662 |     3758   2392 |        1 |        8
1092.14/1092.59	c 1092s |      24 |  3895051 |  3701362 |     3758   2395 |        1 |        8
1094.13/1094.60	c 1094s |      24 |  3901493 |  3707462 |     3758   2398 |        1 |        8
1096.23/1096.63	c 1096s |      24 |  3908691 |  3714262 |     3758   2401 |        1 |        8
1098.23/1098.63	c 1098s |      24 |  3915958 |  3721162 |     3758   2405 |        1 |        8
1100.23/1100.65	c 1100s |      24 |  3922985 |  3727862 |     3758   2408 |        1 |        8
1102.23/1102.66	c 1102s |      24 |  3929861 |  3734462 |     3758   2411 |        1 |        8
1104.33/1104.70	c 1104s |      24 |  3936598 |  3740962 |     3758   2414 |        1 |        8
1106.33/1106.71	c 1106s |      24 |  3943074 |  3747162 |     3758   2418 |        1 |        8
1108.33/1108.73	c 1108s |      24 |  3950251 |  3754062 |     3758   2421 |        1 |        8
1110.33/1110.75	c 1110s |      24 |  3957141 |  3760562 |     3758   2424 |        1 |        8
1112.33/1112.75	c 1112s |      24 |  3964201 |  3767362 |     3758   2428 |        1 |        8
1114.33/1114.76	c 1114s |      24 |  3971723 |  3774662 |     3758   2431 |        1 |        8
1116.33/1116.77	c 1116s |      24 |  3979419 |  3781862 |     3758   2435 |        1 |        8
1118.33/1118.79	c 1118s |      24 |  3986654 |  3788762 |     3758   2438 |        1 |        8
1120.42/1120.82	c 1120s |      24 |  3993485 |  3794862 |     3758   2441 |        1 |        8
1122.42/1122.82	c 1122s |      24 |  4000399 |  3801262 |     3758   2445 |        1 |        8
1124.42/1124.84	c 1124s |      24 |  4007645 |  3808262 |     3758   2448 |        1 |        8
1126.42/1126.85	c 1126s |      24 |  4015033 |  3815362 |     3758   2452 |        1 |        8
1128.43/1128.85	c 1128s |      24 |  4022453 |  3822462 |     3758   2455 |        1 |        8
1130.42/1130.88	c 1130s |      24 |  4029637 |  3829362 |     3758   2459 |        1 |        8
1132.42/1132.88	c 1132s |      24 |  4036905 |  3836162 |     3758   2462 |        1 |        8
1134.52/1134.90	c 1134s |      24 |  4044028 |  3842962 |     3758   2465 |        1 |        8
1136.52/1136.91	c 1136s |      24 |  4051293 |  3849862 |     3758   2469 |        1 |        8
1138.52/1138.92	c 1138s |      24 |  4058649 |  3856962 |     3758   2472 |        1 |        8
1140.53/1140.95	c 1140s |      24 |  4066095 |  3863962 |     3758   2476 |        1 |        8
1142.52/1142.97	c 1142s |      24 |  4073327 |  3870762 |     3758   2479 |        1 |        8
1144.62/1145.00	c 1144s |      24 |  4080787 |  3877762 |     3758   2483 |        1 |        8
1146.62/1147.03	c 1146s |      24 |  4087831 |  3884462 |     3758   2486 |        1 |        8
1148.63/1149.04	c 1148s |      24 |  4094813 |  3891062 |     3758   2489 |        1 |        8
1150.63/1151.04	c 1150s |      24 |  4101537 |  3897562 |     3758   2492 |        1 |        8
1152.63/1153.04	c 1152s |      24 |  4108150 |  3903962 |     3758   2496 |        1 |        8
1154.63/1155.05	c 1154s |      24 |  4115115 |  3910662 |     3758   2499 |        1 |        8
1156.63/1157.05	c 1156s |      24 |  4122004 |  3917362 |     3758   2502 |        1 |        8
1158.62/1159.08	c 1158s |      24 |  4128903 |  3924062 |     3758   2506 |        1 |        8
1160.72/1161.10	c 1160s |      24 |  4135692 |  3930662 |     3758   2509 |        1 |        8
1162.72/1163.10	c 1162s |      24 |  4142624 |  3937362 |     3758   2512 |        1 |        8
1164.73/1165.10	c 1164s |      24 |  4149529 |  3944062 |     3758   2516 |        1 |        8
1166.72/1167.11	c 1166s |      24 |  4156542 |  3950862 |     3758   2519 |        1 |        8
1168.72/1169.13	c 1168s |      24 |  4163424 |  3957162 |     3758   2522 |        1 |        8
1170.72/1171.15	c 1170s |      24 |  4170282 |  3963662 |     3758   2525 |        1 |        8
1172.72/1173.18	c 1172s |      24 |  4177447 |  3970562 |     3758   2529 |        1 |        8
1174.82/1175.20	c 1174s |      24 |  4184566 |  3977462 |     3758   2532 |        1 |        8
1176.83/1177.21	c 1176s |      24 |  4191988 |  3984662 |     3758   2536 |        1 |        8
1178.82/1179.23	c 1178s |      24 |  4199265 |  3991662 |     3758   2539 |        1 |        8
1180.82/1181.23	c 1180s |      24 |  4206273 |  3998462 |     3758   2543 |        1 |        8
1182.82/1183.25	c 1182s |      24 |  4212441 |  4004362 |     3758   2546 |        1 |        8
1184.82/1185.26	c 1184s |      24 |  4219627 |  4010762 |     3758   2549 |        1 |        8
1186.82/1187.27	c 1186s |      24 |  4226441 |  4017162 |     3758   2552 |        1 |        8
1188.82/1189.29	c 1188s |      24 |  4233130 |  4023262 |     3758   2555 |        1 |        8
1190.92/1191.30	c 1190s |      24 |  4239407 |  4029362 |     3758   2558 |        1 |        8
1192.92/1193.31	c 1192s |      24 |  4246159 |  4035962 |     3758   2561 |        1 |        8
1194.92/1195.32	c 1194s |      24 |  4252465 |  4041962 |     3758   2564 |        1 |        8
1196.92/1197.33	c 1196s |      24 |  4259006 |  4048162 |     3758   2567 |        1 |        8
1198.92/1199.35	c 1198s |      24 |  4265665 |  4054462 |     3758   2571 |        1 |        8
1200.92/1201.40	c 1200s |      24 |  4272111 |  4060462 |     3758   2574 |        1 |        8
1203.02/1203.40	c 1202s |      24 |  4279009 |  4067162 |     3758   2577 |        1 |        8
1205.01/1205.44	c 1205s |      24 |  4285424 |  4073262 |     3758   2580 |        1 |        8
1207.01/1207.44	c 1207s |      24 |  4292319 |  4079562 |     3758   2583 |        1 |        8
1209.01/1209.45	c 1209s |      24 |  4299430 |  4086362 |     3758   2586 |        1 |        8
1211.01/1211.47	c 1211s |      24 |  4306358 |  4093062 |     3758   2590 |        1 |        8
1213.02/1213.48	c 1213s |      24 |  4313637 |  4100062 |     3758   2593 |        1 |        8
1215.01/1215.49	c 1215s |      24 |  4321074 |  4107262 |     3758   2597 |        1 |        8
1217.11/1217.50	c 1217s |      24 |  4328097 |  4113962 |     3758   2600 |        1 |        8
1219.11/1219.51	c 1219s |      24 |  4334953 |  4120462 |     3758   2603 |        1 |        8
1221.11/1221.53	c 1221s |      24 |  4341890 |  4127062 |     3758   2607 |        1 |        8
1223.11/1223.55	c 1223s |      24 |  4349471 |  4134262 |     3758   2610 |        1 |        8
1225.12/1225.58	c 1225s |      24 |  4357620 |  4142062 |     3758   2614 |        1 |        8
1227.11/1227.59	c 1227s |      24 |  4364619 |  4148762 |     3758   2617 |        1 |        8
1229.21/1229.62	c 1229s |      24 |  4371959 |  4155562 |     3758   2621 |        1 |        8
1231.21/1231.63	c 1231s |      24 |  4379105 |  4162462 |     3758   2624 |        1 |        8
1233.21/1233.64	c 1233s |      24 |  4386361 |  4169362 |     3758   2628 |        1 |        8
1235.21/1235.67	c 1235s |      24 |  4393923 |  4176562 |     3758   2631 |        1 |        8
1237.21/1237.68	c 1237s |      24 |  4401196 |  4183462 |     3758   2635 |        1 |        8
1239.21/1239.69	c 1239s |      24 |  4407992 |  4189862 |     3758   2638 |        1 |        8
1241.31/1241.70	c 1241s |      24 |  4415304 |  4196762 |     3758   2641 |        1 |        8
1243.31/1243.71	c 1243s |      24 |  4422738 |  4203762 |     3758   2645 |        1 |        8
1245.30/1245.73	c 1245s |      24 |  4430329 |  4210962 |     3758   2648 |        1 |        8
1247.30/1247.74	c 1247s |      24 |  4437895 |  4218062 |     3758   2652 |        1 |        8
1249.31/1249.75	c 1249s |      24 |  4444819 |  4224462 |     3758   2655 |        1 |        8
1251.30/1251.78	c 1251s |      24 |  4452105 |  4231162 |     3758   2658 |        1 |        8
1253.40/1253.81	c 1253s |      24 |  4459287 |  4237362 |     3758   2662 |        1 |        8
1255.40/1255.81	c 1255s |      24 |  4466001 |  4243462 |     3758   2665 |        1 |        8
1257.40/1257.84	c 1257s |      24 |  4473102 |  4250162 |     3758   2668 |        1 |        8
1259.40/1259.86	c 1259s |      24 |  4479677 |  4256362 |     3758   2671 |        1 |        8
1261.41/1261.87	c 1261s |      24 |  4486929 |  4263162 |     3758   2674 |        1 |        8
1263.40/1263.89	c 1263s |      24 |  4494038 |  4269862 |     3758   2678 |        1 |        8
1265.50/1265.90	c 1265s |      24 |  4501178 |  4276662 |     3758   2681 |        1 |        8
1267.50/1267.94	c 1267s |      24 |  4508539 |  4283662 |     3758   2685 |        1 |        8
1269.50/1269.94	c 1269s |      24 |  4515482 |  4290062 |     3758   2688 |        1 |        8
1271.50/1271.94	c 1271s |      24 |  4522818 |  4297162 |     3758   2691 |        1 |        8
1273.50/1273.95	c 1273s |      24 |  4529659 |  4303662 |     3758   2695 |        1 |        8
1275.51/1275.96	c 1275s |      24 |  4535829 |  4309662 |     3758   2698 |        1 |        8
1277.51/1277.98	c 1277s |      24 |  4542481 |  4315962 |     3758   2701 |        1 |        8
1279.61/1280.00	c 1279s |      24 |  4549066 |  4322062 |     3758   2704 |        1 |        8
1281.61/1282.02	c 1281s |      24 |  4556176 |  4328862 |     3758   2707 |        1 |        8
1283.61/1284.02	c 1283s |      24 |  4562773 |  4334862 |     3758   2710 |        1 |        8
1285.61/1286.04	c 1285s |      24 |  4569457 |  4341062 |     3758   2713 |        1 |        8
1287.61/1288.04	c 1287s |      24 |  4576365 |  4347662 |     3758   2717 |        1 |        8
1289.61/1290.05	c 1289s |      24 |  4583378 |  4354462 |     3758   2720 |        1 |        8
1291.60/1292.05	c 1291s |      24 |  4590486 |  4361262 |     3758   2723 |        1 |        8
1293.60/1294.08	c 1293s |      24 |  4597110 |  4367662 |     3758   2727 |        1 |        8
1295.61/1296.08	c 1295s |      24 |  4603911 |  4374062 |     3758   2730 |        1 |        8
1297.71/1298.11	c 1297s |      24 |  4610420 |  4380362 |     3758   2733 |        1 |        8
1299.70/1300.12	c 1299s |      24 |  4617144 |  4386862 |     3758   2736 |        1 |        8
1301.70/1302.15	c 1301s |      24 |  4623811 |  4393162 |     3758   2739 |        1 |        8
1303.70/1304.16	c 1303s |      24 |  4631232 |  4400262 |     3758   2743 |        1 |        8
1305.70/1306.18	c 1305s |      24 |  4638418 |  4407062 |     3758   2746 |        1 |        8
1307.70/1308.19	c 1307s |      24 |  4645136 |  4413562 |     3758   2750 |        1 |        8
1309.70/1310.19	c 1309s |      24 |  4652426 |  4420362 |     3758   2753 |        1 |        8
1311.80/1312.22	c 1311s |      24 |  4659438 |  4427062 |     3758   2756 |        1 |        8
1313.80/1314.23	c 1313s |      24 |  4666589 |  4433962 |     3758   2760 |        1 |        8
1315.80/1316.24	c 1315s |      24 |  4673700 |  4440762 |     3758   2763 |        1 |        8
1317.79/1318.24	c 1317s |      24 |  4680537 |  4447262 |     3758   2767 |        1 |        8
1319.80/1320.24	c 1319s |      24 |  4688088 |  4454362 |     3758   2770 |        1 |        8
1321.80/1322.25	c 1321s |      24 |  4695237 |  4460862 |     3758   2773 |        1 |        8
1323.79/1324.27	c 1323s |      24 |  4702182 |  4467562 |     3758   2777 |        1 |        8
1325.79/1326.27	c 1325s |      24 |  4709061 |  4474062 |     3758   2780 |        1 |        8
1327.79/1328.29	c 1327s |      24 |  4715693 |  4480362 |     3758   2783 |        1 |        8
1329.89/1330.30	c 1329s |      24 |  4722489 |  4486862 |     3758   2786 |        1 |        8
1331.90/1332.31	c 1331s |      24 |  4729438 |  4493362 |     3758   2790 |        1 |        8
1333.89/1334.33	c 1333s |      24 |  4736079 |  4499562 |     3758   2793 |        1 |        8
1335.89/1336.35	c 1335s |      24 |  4743097 |  4506262 |     3758   2796 |        1 |        8
1337.89/1338.37	c 1337s |      24 |  4750071 |  4512862 |     3758   2799 |        1 |        8
1339.99/1340.40	c 1339s |      24 |  4756790 |  4519362 |     3758   2803 |        1 |        8
1341.99/1342.40	c 1341s |      24 |  4763793 |  4526062 |     3758   2806 |        1 |        8
1344.00/1344.41	c 1343s |      24 |  4771110 |  4532962 |     3758   2809 |        1 |        8
1345.99/1346.41	c 1345s |      24 |  4778633 |  4540062 |     3758   2813 |        1 |        8
1347.99/1348.44	c 1348s |      24 |  4785626 |  4546662 |     3758   2816 |        1 |        8
1349.99/1350.46	c 1350s |      24 |  4792114 |  4552962 |     3758   2819 |        1 |        8
1351.99/1352.47	c 1352s |      24 |  4798598 |  4559162 |     3758   2823 |        1 |        8
1354.09/1354.52	c 1354s |      24 |  4806179 |  4566362 |     3758   2826 |        1 |        8
1356.09/1356.56	c 1356s |      24 |  4813377 |  4573162 |     3758   2830 |        1 |        8
1358.09/1358.57	c 1358s |      24 |  4820500 |  4579962 |     3758   2833 |        1 |        8
1360.09/1360.59	c 1360s |      24 |  4827659 |  4586762 |     3758   2836 |        1 |        8
1362.18/1362.61	c 1362s |      24 |  4834354 |  4593162 |     3758   2840 |        1 |        8
1364.18/1364.63	c 1364s |      24 |  4841287 |  4599762 |     3758   2843 |        1 |        8
1366.18/1366.65	c 1366s |      24 |  4848318 |  4606162 |     3758   2846 |        1 |        8
1368.19/1368.66	c 1368s |      24 |  4854861 |  4612462 |     3758   2849 |        1 |        8
1370.19/1370.66	c 1370s |      24 |  4861783 |  4619162 |     3758   2853 |        1 |        8
1372.19/1372.67	c 1372s |      24 |  4869273 |  4626362 |     3758   2856 |        1 |        8
1374.29/1374.70	c 1374s |      24 |  4876312 |  4632862 |     3758   2859 |        1 |        8
1376.29/1376.71	c 1376s |      24 |  4883333 |  4639662 |     3758   2863 |        1 |        8
1378.29/1378.73	c 1378s |      24 |  4891080 |  4647062 |     3758   2867 |        1 |        8
1380.30/1380.76	c 1380s |      24 |  4897789 |  4653462 |     3758   2870 |        1 |        8
1382.29/1382.77	c 1382s |      24 |  4905458 |  4660762 |     3758   2873 |        1 |        8
1384.29/1384.78	c 1384s |      24 |  4913082 |  4668062 |     3758   2877 |        1 |        8
1386.39/1386.81	c 1386s |      24 |  4920240 |  4674862 |     3758   2880 |        1 |        8
1388.39/1388.82	c 1388s |      24 |  4927477 |  4681662 |     3758   2884 |        1 |        8
1390.39/1390.84	c 1390s |      24 |  4934687 |  4688462 |     3758   2887 |        1 |        8
1392.39/1392.85	c 1392s |      24 |  4941653 |  4694962 |     3758   2891 |        1 |        8
1394.39/1394.87	c 1394s |      24 |  4948846 |  4701762 |     3758   2894 |        1 |        8
1396.38/1396.88	c 1396s |      24 |  4955882 |  4708462 |     3758   2897 |        1 |        8
1398.38/1398.89	c 1398s |      24 |  4962816 |  4714862 |     3758   2900 |        1 |        8
1400.38/1400.89	c 1400s |      24 |  4969844 |  4721362 |     3758   2904 |        1 |        8
1402.48/1402.90	c 1402s |      24 |  4976801 |  4727562 |     3758   2907 |        1 |        8
1404.49/1404.91	c 1404s |      24 |  4983162 |  4733762 |     3758   2910 |        1 |        8
1406.48/1406.91	c 1406s |      24 |  4989283 |  4739562 |     3758   2913 |        1 |        8
1408.48/1408.93	c 1408s |      24 |  4995263 |  4745262 |     3758   2916 |        1 |        8
1410.48/1410.96	c 1410s |      24 |  5001918 |  4751562 |     3758   2919 |        1 |        8
1412.48/1412.97	c 1412s |      24 |  5008619 |  4757562 |     3758   2922 |        1 |        8
1414.58/1415.01	c 1414s |      24 |  5015267 |  4763862 |     3758   2925 |        1 |        8
1416.58/1417.02	c 1416s |      24 |  5022206 |  4770462 |     3758   2928 |        1 |        8
1418.58/1419.03	c 1418s |      24 |  5029526 |  4777462 |     3758   2932 |        1 |        8
1420.58/1421.04	c 1420s |      24 |  5036684 |  4784362 |     3758   2935 |        1 |        8
1422.58/1423.05	c 1422s |      24 |  5044079 |  4791462 |     3758   2939 |        1 |        8
1424.58/1425.08	c 1424s |      24 |  5051179 |  4798262 |     3758   2942 |        1 |        8
1426.58/1427.09	c 1426s |      24 |  5058441 |  4805162 |     3758   2946 |        1 |        8
1428.68/1429.12	c 1428s |      24 |  5065777 |  4812162 |     3758   2949 |        1 |        8
1430.67/1431.14	c 1430s |      24 |  5072494 |  4818662 |     3758   2952 |        1 |        8
1432.67/1433.14	c 1432s |      24 |  5079003 |  4824962 |     3758   2956 |        1 |        8
1434.67/1435.15	c 1434s |      24 |  5085940 |  4831562 |     3758   2959 |        1 |        8
1436.67/1437.16	c 1436s |      24 |  5092825 |  4837962 |     3758   2962 |        1 |        8
1438.67/1439.18	c 1438s |      24 |  5099902 |  4844662 |     3758   2965 |        1 |        8
1440.79/1441.21	c 1440s |      24 |  5107146 |  4851362 |     3758   2969 |        1 |        8
1442.78/1443.24	c 1442s |      24 |  5113770 |  4857762 |     3758   2972 |        1 |        8
1444.78/1445.26	c 1444s |      24 |  5120578 |  4864362 |     3758   2975 |        1 |        8
1446.78/1447.27	c 1446s |      24 |  5127366 |  4870962 |     3758   2979 |        1 |        8
1448.78/1449.27	c 1448s |      24 |  5133545 |  4876962 |     3758   2982 |        1 |        8
1450.78/1451.27	c 1450s |      24 |  5140513 |  4883462 |     3758   2985 |        1 |        8
1452.89/1453.30	c 1452s |      24 |  5147058 |  4889462 |     3758   2988 |        1 |        8
1454.88/1455.31	c 1454s |      24 |  5153658 |  4895562 |     3758   2991 |        1 |        8
1456.88/1457.33	c 1456s |      24 |  5160492 |  4901962 |     3758   2994 |        1 |        8
1458.88/1459.34	c 1458s |      24 |  5167051 |  4908062 |     3758   2997 |        1 |        8
1460.88/1461.34	c 1460s |      24 |  5173868 |  4914562 |     3758   3000 |        1 |        8
1462.88/1463.34	c 1462s |      24 |  5180747 |  4920962 |     3758   3004 |        1 |        8
1464.88/1465.35	c 1464s |      24 |  5187731 |  4927562 |     3758   3007 |        1 |        8
1466.88/1467.35	c 1466s |      24 |  5194687 |  4934062 |     3758   3010 |        1 |        8
1468.88/1469.38	c 1468s |      24 |  5201428 |  4940462 |     3758   3013 |        1 |        8
1470.88/1471.38	c 1470s |      24 |  5208054 |  4946662 |     3758   3017 |        1 |        8
1472.98/1473.41	c 1472s |      24 |  5214578 |  4952762 |     3758   3020 |        1 |        8
1474.97/1475.44	c 1475s |      24 |  5221142 |  4958962 |     3758   3023 |        1 |        8
1476.98/1477.45	c 1477s |      24 |  5227786 |  4964862 |     3758   3026 |        1 |        8
1478.97/1479.47	c 1479s |      24 |  5235016 |  4971862 |     3758   3029 |        1 |        8
1480.97/1481.48	c 1481s |      24 |  5241851 |  4978462 |     3758   3032 |        1 |        8
1483.07/1483.51	c 1483s |      24 |  5249277 |  4985662 |     3758   3036 |        1 |        8
1485.07/1485.51	c 1485s |      24 |  5256367 |  4992362 |     3758   3039 |        1 |        8
1487.07/1487.51	c 1487s |      24 |  5263014 |  4998662 |     3758   3043 |        1 |        8
1489.08/1489.53	c 1489s |      24 |  5270720 |  5005962 |     3758   3046 |        1 |        8
1491.07/1491.53	c 1491s |      24 |  5277693 |  5012662 |     3758   3050 |        1 |        8
1493.07/1493.55	c 1493s |      24 |  5284538 |  5019262 |     3758   3053 |        1 |        8
1495.07/1495.57	c 1495s |      24 |  5291240 |  5025662 |     3758   3056 |        1 |        8
1497.07/1497.59	c 1497s |      24 |  5297203 |  5031262 |     4134   3059 |        1 |        8
1499.17/1499.62	c 1499s |      24 |  5303753 |  5037462 |     4134   3061 |        1 |        8
1501.17/1501.64	c 1501s |      24 |  5310579 |  5043862 |     4134   3064 |        1 |        8
1503.17/1503.65	c 1503s |      24 |  5317091 |  5050162 |     4134   3067 |        1 |        8
1505.17/1505.67	c 1505s |      24 |  5323686 |  5056562 |     4134   3070 |        1 |        8
1507.26/1507.70	c 1507s |      24 |  5330102 |  5062762 |     4134   3073 |        1 |        8
1507.87/1508.36	c 1507s |      25 |  5332540 |  5065098 |     4134   3074 |        1 |        8
1509.86/1510.39	c 1509s |      25 |  5339891 |  5072198 |     4134   3077 |        1 |        8
1511.96/1512.41	c 1511s |      25 |  5347179 |  5079198 |     4134   3081 |        1 |        8
1513.96/1514.42	c 1513s |      25 |  5354656 |  5086498 |     4134   3084 |        1 |        8
1515.96/1516.45	c 1516s |      25 |  5362128 |  5093798 |     4134   3087 |        1 |        8
1517.96/1518.45	c 1518s |      25 |  5369108 |  5100698 |     4134   3091 |        1 |        8
1519.98/1520.46	c 1520s |      25 |  5376574 |  5107898 |     4134   3094 |        1 |        8
1521.97/1522.48	c 1522s |      25 |  5383989 |  5115098 |     4134   3097 |        1 |        8
1524.07/1524.51	c 1524s |      25 |  5391160 |  5122198 |     4134   3101 |        1 |        8
1526.07/1526.52	c 1526s |      25 |  5396993 |  5127698 |     4134   3103 |        1 |        8
1528.07/1528.54	c 1528s |      25 |  5401539 |  5132198 |     4134   3105 |        1 |        8
1530.07/1530.56	c 1530s |      25 |  5405585 |  5136198 |     4134   3107 |        1 |        8
1532.07/1532.57	c 1532s |      25 |  5410203 |  5140698 |     4134   3109 |        1 |        8
1534.07/1534.58	c 1534s |      25 |  5415915 |  5146198 |     4134   3112 |        1 |        8
1536.17/1536.60	c 1536s |      25 |  5423761 |  5153898 |     4134   3115 |        1 |        8
1538.17/1538.63	c 1538s |      25 |  5430977 |  5160998 |     4134   3118 |        1 |        8
1540.16/1540.65	c 1540s |      25 |  5437789 |  5167598 |     4134   3121 |        1 |        8
1542.16/1542.66	c 1542s |      25 |  5444264 |  5173998 |     4134   3124 |        1 |        8
1544.17/1544.68	c 1544s |      25 |  5451505 |  5180898 |     4134   3128 |        1 |        8
1546.27/1546.71	c 1546s |      25 |  5458200 |  5187498 |     4134   3131 |        1 |        8
1548.26/1548.74	c 1548s |      25 |  5464482 |  5193598 |     4134   3133 |        1 |        8
1550.26/1550.76	c 1550s |      25 |  5471140 |  5200098 |     4134   3136 |        1 |        8
1552.26/1552.76	c 1552s |      25 |  5478168 |  5206998 |     4134   3140 |        1 |        8
1554.26/1554.77	c 1554s |      25 |  5484794 |  5213498 |     4134   3143 |        1 |        8
1556.27/1556.77	c 1556s |      25 |  5490843 |  5219398 |     4134   3145 |        1 |        8
1558.26/1558.80	c 1558s |      25 |  5497016 |  5225398 |     4134   3148 |        1 |        8
1560.36/1560.82	c 1560s |      25 |  5502827 |  5231098 |     4134   3151 |        1 |        8
1562.36/1562.83	c 1562s |      25 |  5509021 |  5237198 |     4134   3154 |        1 |        8
1564.36/1564.86	c 1564s |      25 |  5515323 |  5243198 |     4134   3157 |        1 |        8
1566.35/1566.87	c 1566s |      25 |  5521506 |  5249198 |     4134   3159 |        1 |        8
1568.45/1568.91	c 1568s |      25 |  5527383 |  5254898 |     4134   3162 |        1 |        8
1570.46/1570.92	c 1570s |      25 |  5532959 |  5259898 |     4134   3165 |        1 |        8
1572.45/1572.92	c 1572s |      25 |  5538859 |  5265198 |     4134   3167 |        1 |        8
1574.45/1574.96	c 1574s |      25 |  5544839 |  5270698 |     4134   3170 |        1 |        8
1576.45/1576.96	c 1576s |      25 |  5551799 |  5277398 |     4134   3173 |        1 |        8
1578.45/1578.98	c 1578s |      25 |  5559178 |  5284598 |     4134   3176 |        1 |        8
1580.55/1581.01	c 1580s |      25 |  5566221 |  5291498 |     4134   3179 |        1 |        8
1582.56/1583.01	c 1582s |      25 |  5572421 |  5297298 |     4134   3182 |        1 |        8
1584.55/1585.03	c 1584s |      25 |  5579527 |  5304198 |     4134   3185 |        1 |        8
1586.55/1587.06	c 1586s |      25 |  5586693 |  5311198 |     4134   3188 |        1 |        8
1588.55/1589.06	c 1588s |      25 |  5593183 |  5317598 |     4134   3191 |        1 |        8
1590.65/1591.10	c 1590s |      25 |  5599332 |  5323498 |     4134   3194 |        1 |        8
1592.65/1593.10	c 1592s |      25 |  5605497 |  5329298 |     4134   3197 |        1 |        8
1594.66/1595.13	c 1594s |      25 |  5610564 |  5334098 |     4134   3199 |        1 |        8
1596.65/1597.13	c 1596s |      25 |  5616301 |  5339598 |     4134   3202 |        1 |        8
1598.65/1599.16	c 1598s |      25 |  5623227 |  5346298 |     4134   3205 |        1 |        8
1600.75/1601.21	c 1600s |      25 |  5630500 |  5353298 |     4134   3208 |        1 |        8
1602.75/1603.22	c 1602s |      25 |  5636758 |  5359198 |     4134   3211 |        1 |        8
1604.75/1605.23	c 1604s |      25 |  5642964 |  5365298 |     4134   3214 |        1 |        8
1606.75/1607.24	c 1606s |      25 |  5649283 |  5371498 |     4134   3217 |        1 |        8
1608.75/1609.25	c 1608s |      25 |  5655864 |  5377998 |     4134   3220 |        1 |        8
1610.75/1611.27	c 1610s |      25 |  5662622 |  5384498 |     4134   3223 |        1 |        8
1612.76/1613.27	c 1612s |      25 |  5669798 |  5391598 |     4134   3226 |        1 |        8
1614.76/1615.28	c 1614s |      25 |  5677037 |  5398698 |     4134   3229 |        1 |        8
1616.76/1617.29	c 1616s |      25 |  5683912 |  5405298 |     4134   3232 |        1 |        8
1618.86/1619.32	c 1618s |      25 |  5690570 |  5411898 |     4134   3235 |        1 |        8
1620.85/1621.34	c 1620s |      25 |  5697589 |  5418798 |     4134   3238 |        1 |        8
1622.85/1623.35	c 1622s |      25 |  5704283 |  5425298 |     4134   3241 |        1 |        8
1624.85/1625.36	c 1624s |      25 |  5711243 |  5431998 |     4134   3244 |        1 |        8
1626.85/1627.37	c 1626s |      25 |  5718823 |  5439398 |     4134   3248 |        1 |        8
1628.86/1629.38	c 1628s |      25 |  5725797 |  5446198 |     4134   3251 |        1 |        8
1630.85/1631.39	c 1630s |      25 |  5732585 |  5452798 |     4134   3254 |        1 |        8
1632.95/1633.40	c 1632s |      25 |  5740005 |  5459898 |     4134   3257 |        1 |        8
1634.95/1635.41	c 1634s |      25 |  5746614 |  5466398 |     4134   3260 |        1 |        8
1636.95/1637.41	c 1636s |      25 |  5754190 |  5473798 |     4134   3264 |        1 |        8
1638.95/1639.42	c 1638s |      25 |  5761341 |  5480698 |     4134   3267 |        1 |        8
1640.96/1641.44	c 1641s |      25 |  5768713 |  5487898 |     4134   3270 |        1 |        8
1642.95/1643.46	c 1643s |      25 |  5774995 |  5493998 |     4134   3273 |        1 |        8
1644.95/1645.46	c 1645s |      25 |  5781810 |  5500598 |     4134   3276 |        1 |        8
1646.95/1647.48	c 1647s |      25 |  5787674 |  5506198 |     4134   3279 |        1 |        8
1648.95/1649.48	c 1649s |      25 |  5794844 |  5513198 |     4134   3282 |        1 |        8
1651.05/1651.51	c 1651s |      25 |  5800872 |  5519098 |     4134   3285 |        1 |        8
1653.05/1653.53	c 1653s |      25 |  5806780 |  5524898 |     4134   3288 |        1 |        8
1655.05/1655.56	c 1655s |      25 |  5812957 |  5530898 |     4134   3290 |        1 |        8
1657.05/1657.57	c 1657s |      25 |  5819541 |  5537298 |     4134   3293 |        1 |        8
1659.05/1659.58	c 1659s |      25 |  5826679 |  5544298 |     4134   3297 |        1 |        8
1661.05/1661.58	c 1661s |      25 |  5833818 |  5551298 |     4134   3300 |        1 |        8
1663.15/1663.62	c 1663s |      25 |  5840926 |  5558298 |     4134   3303 |        1 |        8
1665.15/1665.64	c 1665s |      25 |  5847347 |  5564598 |     4134   3306 |        1 |        8
1667.14/1667.66	c 1667s |      25 |  5854560 |  5571698 |     4134   3309 |        1 |        8
1669.14/1669.67	c 1669s |      25 |  5861042 |  5578098 |     4134   3312 |        1 |        8
1671.14/1671.69	c 1671s |      25 |  5867884 |  5584798 |     4134   3315 |        1 |        8
1673.14/1673.69	c 1673s |      25 |  5875149 |  5591798 |     4134   3319 |        1 |        8
1675.24/1675.71	c 1675s |      25 |  5883408 |  5599598 |     4134   3322 |        1 |        8
1677.25/1677.71	c 1677s |      25 |  5889359 |  5605298 |     4134   3325 |        1 |        8
1679.24/1679.71	c 1679s |      25 |  5895595 |  5611398 |     4134   3328 |        1 |        8
1681.24/1681.73	c 1681s |      25 |  5902468 |  5618198 |     4134   3331 |        1 |        8
1683.24/1683.74	c 1683s |      25 |  5909943 |  5625398 |     4134   3334 |        1 |        8
1685.24/1685.77	c 1685s |      25 |  5917101 |  5632398 |     4134   3338 |        1 |        8
1687.24/1687.79	c 1687s |      25 |  5924299 |  5639498 |     4134   3341 |        1 |        8
1689.25/1689.80	c 1689s |      25 |  5931247 |  5646298 |     4134   3344 |        1 |        8
1691.24/1691.80	c 1691s |      25 |  5938574 |  5653498 |     4134   3347 |        1 |        8
1693.34/1693.83	c 1693s |      25 |  5945468 |  5660298 |     4134   3350 |        1 |        8
1695.34/1695.83	c 1695s |      25 |  5952151 |  5666798 |     4134   3353 |        1 |        8
1697.34/1697.84	c 1697s |      25 |  5958685 |  5673198 |     4134   3356 |        1 |        8
1699.34/1699.87	c 1699s |      25 |  5965447 |  5679798 |     4134   3360 |        1 |        8
1701.34/1701.87	c 1701s |      25 |  5971862 |  5686098 |     4134   3363 |        1 |        8
1703.34/1703.89	c 1703s |      25 |  5978492 |  5692598 |     4134   3366 |        1 |        8
1705.44/1705.90	c 1705s |      25 |  5985656 |  5699298 |     4134   3369 |        1 |        8
1707.44/1707.93	c 1707s |      25 |  5992089 |  5705598 |     4134   3372 |        1 |        8
1709.44/1709.94	c 1709s |      25 |  5998876 |  5712298 |     4134   3375 |        1 |        8
1711.43/1711.96	c 1711s |      25 |  6006188 |  5719298 |     4134   3378 |        1 |        8
1713.44/1713.99	c 1713s |      25 |  6013537 |  5726498 |     4134   3381 |        1 |        8
1715.53/1716.02	c 1715s |      25 |  6020500 |  5733298 |     4134   3385 |        1 |        8
1717.53/1718.02	c 1717s |      25 |  6027592 |  5740298 |     4134   3388 |        1 |        8
1719.53/1720.04	c 1719s |      25 |  6034191 |  5746798 |     4134   3391 |        1 |        8
1721.53/1722.07	c 1721s |      25 |  6040484 |  5752998 |     4134   3394 |        1 |        8
1723.63/1724.10	c 1723s |      25 |  6046659 |  5758998 |     4134   3397 |        1 |        8
1725.65/1726.10	c 1725s |      25 |  6052847 |  5764998 |     4134   3399 |        1 |        8
1727.64/1728.11	c 1727s |      25 |  6058495 |  5770498 |     4134   3402 |        1 |        8
1729.64/1730.13	c 1729s |      25 |  6065093 |  5776698 |     4134   3405 |        1 |        8
1731.64/1732.14	c 1731s |      25 |  6072316 |  5783798 |     4134   3408 |        1 |        8
1733.64/1734.15	c 1733s |      25 |  6078749 |  5790098 |     4134   3411 |        1 |        8
1735.64/1736.16	c 1735s |      25 |  6085934 |  5797198 |     4134   3414 |        1 |        8
1737.64/1738.18	c 1737s |      25 |  6092624 |  5803698 |     4134   3417 |        1 |        8
1739.74/1740.22	c 1739s |      25 |  6099680 |  5810598 |     4134   3421 |        1 |        8
1741.74/1742.24	c 1741s |      25 |  6106105 |  5816698 |     4134   3423 |        1 |        8
1743.74/1744.26	c 1743s |      25 |  6112213 |  5822698 |     4134   3426 |        1 |        8
1745.83/1746.33	c 1745s |      25 |  6118236 |  5828598 |     4134   3429 |        1 |        8
1747.83/1748.34	c 1747s |      25 |  6124634 |  5834898 |     4134   3432 |        1 |        8
1749.84/1750.36	c 1749s |      25 |  6130842 |  5840898 |     4134   3435 |        1 |        8
1751.83/1752.40	c 1751s |      25 |  6136921 |  5846898 |     4134   3438 |        1 |        8
1753.93/1754.42	c 1753s |      25 |  6141578 |  5851298 |     4134   3440 |        1 |        8
1755.93/1756.44	c 1756s |      25 |  6146805 |  5856298 |     4134   3442 |        1 |        8
1757.93/1758.46	c 1758s |      25 |  6154289 |  5863698 |     4134   3445 |        1 |        8
1759.93/1760.48	c 1760s |      25 |  6161353 |  5870398 |     4134   3448 |        1 |        8
1762.03/1762.50	c 1762s |      25 |  6168010 |  5876898 |     4134   3451 |        1 |        8
1764.04/1764.53	c 1764s |      25 |  6175245 |  5883998 |     4134   3455 |        1 |        8
1766.03/1766.55	c 1766s |      25 |  6182160 |  5890798 |     4134   3458 |        1 |        8
1768.03/1768.58	c 1768s |      25 |  6189037 |  5897598 |     4134   3461 |        1 |        8
1770.03/1770.59	c 1770s |      25 |  6195844 |  5904198 |     4134   3464 |        1 |        8
1772.03/1772.59	c 1772s |      25 |  6201812 |  5910098 |     4134   3467 |        1 |        8
1774.13/1774.60	c 1774s |      25 |  6207841 |  5915898 |     4134   3469 |        1 |        8
1776.13/1776.62	c 1776s |      25 |  6214456 |  5922398 |     4134   3472 |        1 |        8
1778.13/1778.65	c 1778s |      25 |  6221022 |  5928798 |     4134   3475 |        1 |        8
1780.13/1780.67	c 1780s |      25 |  6227472 |  5934998 |     4134   3478 |        1 |        8
1782.13/1782.69	c 1782s |      25 |  6233545 |  5940898 |     4134   3481 |        1 |        8
1784.23/1784.70	c 1784s |      25 |  6239617 |  5946798 |     4134   3484 |        1 |        8
1786.23/1786.72	c 1786s |      25 |  6245398 |  5952398 |     4134   3486 |        1 |        8
1788.23/1788.73	c 1788s |      25 |  6250820 |  5957598 |     4134   3489 |        1 |        8
1790.22/1790.74	c 1790s |      25 |  6256407 |  5963098 |     4134   3491 |        1 |        8
1792.22/1792.76	c 1792s |      25 |  6261986 |  5968598 |     4134   3494 |        1 |        8
1794.22/1794.79	c 1794s |      25 |  6267574 |  5974098 |     4134   3497 |        1 |        8
1796.32/1796.83	c 1796s |      25 |  6273559 |  5979798 |     4134   3499 |        1 |        8
1798.32/1798.85	c 1798s |      25 |  6279195 |  5984998 |     4134   3502 |        1 |        8

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106340-1466269978/watcher-4106340-1466269978 -o /tmp/evaluation-result-4106340-1466269978/solver-4106340-1466269978 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106340-1466269978.opb 

pid=14494
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.21 2.18 2.15 3/179 14497
/proc/meminfo: memFree=30077548/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 2597 0 0 0 0 0 0 0 20 0 4 0 29047049 713486336 2958 33554432000 4194304 16246674 140736819336528 140736819335952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 174959 2968 441 2943 0 171853 0
[pid=14497/tid=14498] ppid=14494 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 731312128 3026 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 735506432 3042 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 740749312 3059 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100147 s]
/proc/loadavg: 2.21 2.18 2.15 3/179 14497
/proc/meminfo: memFree=30077548/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 21080 0 0 0 6 3 0 0 20 0 4 0 29047049 1247350784 21429 33554432000 4194304 16246674 140736819336528 140736819335952 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 304529 21436 758 2943 0 301423 0
[pid=14497/tid=14498] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 21440 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 21448 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 21457 33554432000 4194304 16246674 140736819336528 140190752435376 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.200388 s]
/proc/loadavg: 2.21 2.18 2.15 3/179 14497
/proc/meminfo: memFree=30077548/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 37259 0 0 0 14 5 0 0 20 0 4 0 29047049 1247350784 37608 33554432000 4194304 16246674 140736819336528 140736819318400 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 304529 37612 765 2943 0 301423 0
[pid=14497/tid=14498] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 37615 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 37618 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 37623 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 2.21 2.18 2.15 3/179 14497
/proc/meminfo: memFree=30077548/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 54186 0 0 0 21 8 0 0 20 0 4 0 29047049 1247350784 54535 33554432000 4194304 16246674 140736819336528 140736819318400 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 304529 54544 765 2943 0 301423 0
[pid=14497/tid=14498] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 54548 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 54555 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 54564 33554432000 4194304 16246674 140736819336528 140190752435376 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.700387 s]
/proc/loadavg: 2.21 2.18 2.15 3/179 14497
/proc/meminfo: memFree=30077548/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 123119 0 0 0 51 18 0 0 20 0 4 0 29047049 1247350784 123468 33554432000 4194304 16246674 140736819336528 140736819318400 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 304529 123478 793 2943 0 301423 0
[pid=14497/tid=14498] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 123486 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 123493 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1247350784 123497 33554432000 4194304 16246674 140736819336528 140190752435376 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.50044 s]
/proc/loadavg: 2.21 2.18 2.15 3/183 14501
/proc/meminfo: memFree=29093612/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 245876 0 0 0 114 35 0 0 20 0 4 0 29047049 1249447936 246202 33554432000 4194304 16246674 140736819336528 140736819319528 5661115 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 305041 246202 850 2943 0 301935 0
[pid=14497/tid=14498] ppid=14494 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1249447936 246202 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1249447936 246202 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1249447936 246202 33554432000 4194304 16246674 140736819336528 140190752435376 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.10042 s]
/proc/loadavg: 2.21 2.18 2.15 3/183 14501
/proc/meminfo: memFree=29009044/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 267500 0 0 0 271 38 0 0 20 0 4 0 29047049 1337528320 267826 33554432000 4194304 16246674 140736819336528 140736819319528 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 326545 267826 850 2943 0 323439 0
[pid=14497/tid=14498] ppid=14494 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1337528320 267826 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1337528320 267826 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1337528320 267826 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.19 2.18 2.15 3/183 14501
/proc/meminfo: memFree=29005956/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 267703 0 0 0 590 38 0 0 20 0 4 0 29047049 1338576896 268029 33554432000 4194304 16246674 140736819336528 140736819318400 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 326801 268029 850 2943 0 323695 0
[pid=14497/tid=14498] ppid=14494 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1338576896 268029 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1338576896 268029 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1338576896 268029 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.18 2.17 2.15 4/183 14501
/proc/meminfo: memFree=29003276/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 268408 0 0 0 1230 39 0 0 20 0 4 0 29047049 1340674048 268734 33554432000 4194304 16246674 140736819336528 140736819318400 5712698 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 327313 268734 850 2943 0 324207 0
[pid=14497/tid=14498] ppid=14494 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1340674048 268734 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1340674048 268734 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1340674048 268734 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5073 s]
/proc/loadavg: 2.20 2.18 2.15 4/183 14501
/proc/meminfo: memFree=29001964/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1311300 CPUtime=25.49 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 268876 0 0 0 2510 39 0 0 20 0 4 0 29047049 1342771200 269202 33554432000 4194304 16246674 140736819336528 140736819319528 5823234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 327825 269202 850 2943 0 324719 0
[pid=14497/tid=14498] ppid=14494 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1342771200 269202 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1342771200 269202 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1342771200 269202 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 2.26 2.20 2.16 3/183 14501
/proc/meminfo: memFree=29001964/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 268923 0 0 0 5069 39 0 0 20 0 4 0 29047049 1342771200 269249 33554432000 4194304 16246674 140736819336528 140736819319528 5823194 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 327825 269249 853 2943 0 324719 0
[pid=14497/tid=14498] ppid=14494 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1342771200 269249 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1342771200 269249 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1342771200 269249 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.21 2.19 2.16 4/183 14502
/proc/meminfo: memFree=29001432/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1311300 CPUtime=102.27 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 268923 0 0 0 10188 39 0 0 20 0 4 0 29047049 1342771200 269249 33554432000 4194304 16246674 140736819336528 140736819319528 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 327825 269249 853 2943 0 324719 0
[pid=14497/tid=14498] ppid=14494 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1342771200 269249 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1342771200 269249 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1342771200 269249 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1311300


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

/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1318468

[startup+1302.3 s]
/proc/loadavg: 2.14 2.14 2.12 3/183 14678
/proc/meminfo: memFree=29001348/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1318468 CPUtime=1301.9 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 271098 0 0 0 130139 51 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140736819319528 5711092 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 329617 271299 855 2943 0 326511 0
[pid=14497/tid=14498] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.05 2.11 2.11 4/183 14679
/proc/meminfo: memFree=29001372/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1318468 CPUtime=1361.88 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 271098 0 0 0 136137 51 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140736819319528 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 329617 271299 855 2943 0 326511 0
[pid=14497/tid=14498] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.16 2.13 2.12 3/183 14681
/proc/meminfo: memFree=29001016/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1318468 CPUtime=1421.88 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 271098 0 0 0 142136 52 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140736819318400 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 329617 271299 855 2943 0 326511 0
[pid=14497/tid=14498] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.13 2.12 2.11 3/183 14682
/proc/meminfo: memFree=29000792/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1318468 CPUtime=1481.87 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 271098 0 0 0 148134 53 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140736819318400 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 329617 271299 855 2943 0 326511 0
[pid=14497/tid=14498] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1318468

[startup+1542.3 s]
/proc/loadavg: 2.13 2.11 2.10 4/183 14683
/proc/meminfo: memFree=29001120/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1318468 CPUtime=1541.87 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 271098 0 0 0 154133 54 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140736819318400 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 329617 271299 855 2943 0 326511 0
[pid=14497/tid=14498] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.09 2.10 2.10 3/183 14684
/proc/meminfo: memFree=29001376/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1318468 CPUtime=1601.85 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 271098 0 0 0 160131 54 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140736819319528 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 329617 271299 855 2943 0 326511 0
[pid=14497/tid=14498] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1318468

[startup+1662.31 s]
/proc/loadavg: 2.08 2.10 2.09 3/184 14688
/proc/meminfo: memFree=29001636/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1318468 CPUtime=1661.85 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 271098 0 0 0 166130 55 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140736819318400 5664792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 329617 271299 855 2943 0 326511 0
[pid=14497/tid=14498] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190752435376 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) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.07 2.09 2.09 4/183 14690
/proc/meminfo: memFree=28999168/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1318468 CPUtime=1721.83 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 271098 0 0 0 172128 55 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140736819318400 5677795 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 329617 271299 855 2943 0 326511 0
[pid=14497/tid=14498] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1350111232 271299 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/183 14691
/proc/meminfo: memFree=28993832/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1323588 CPUtime=1781.83 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 272378 0 0 0 178127 56 0 0 20 0 4 0 29047049 1355354112 272579 33554432000 4194304 16246674 140736819336528 140736819319528 12477712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 330897 272579 855 2943 0 327791 0
[pid=14497/tid=14498] ppid=14494 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1355354112 272579 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1355354112 272579 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1355354112 272579 33554432000 4194304 16246674 140736819336528 140190752435376 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) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 14692
/proc/meminfo: memFree=28994020/32872528 swapFree=681964/737152
[pid=14497] ppid=14494 vsize=1323588 CPUtime=1800.02 cores=1,3,5,7
/proc/14497/stat : 14497 (toysat) R 14494 14497 13233 0 -1 4202496 272378 0 0 0 179946 56 0 0 20 0 4 0 29047049 1355354112 272579 33554432000 4194304 16246674 140736819336528 140736819318400 5722912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 330897 272579 855 2943 0 327791 0
[pid=14497/tid=14498] ppid=14494 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14498/stat : 14498 (toysat) S 14494 14497 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29047049 1355354112 272579 33554432000 4194304 16246674 140736819336528 140190883491056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14497/tid=14499] ppid=14494 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14499/stat : 14499 (toysat) S 14494 14497 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29047049 1355354112 272579 33554432000 4194304 16246674 140736819336528 140190873001200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14497/tid=14500] ppid=14494 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14500/stat : 14500 (toysat) S 14494 14497 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29047049 1355354112 272579 33554432000 4194304 16246674 140736819336528 140190752435376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1323588

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.47
CPU system time (s): 0.566913
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.566913
maximum resident set size= 1090316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272378
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= 394
involuntary context switches= 2141

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3361 second user time and 16.7834 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 19:12:58
IDJOB=4106340
IDBENCH=48024
IDSOLVER=2542
FILE ID=node112/4106340-1466269978
RUNJOBID= node112-1466264161-13250
PBS_JOBID= 19918218
Free space on /tmp= 71696 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=149-P1=19-P2=137-P3=191-P4=223-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106340-1466269978/watcher-4106340-1466269978 -o /tmp/evaluation-result-4106340-1466269978/solver-4106340-1466269978 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106340-1466269978.opb

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

MD5SUM BENCH= 9b762ab9d310cdc754a8481e0a3342a1
RANDOM SEED=206315391

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30078440 kB
Buffers:           66380 kB
Cached:           155760 kB
SwapCached:         2028 kB
Active:          1191896 kB
Inactive:         130412 kB
Active(anon):    1100052 kB
Inactive(anon):     2096 kB
Active(file):      91844 kB
Inactive(file):   128316 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       1936248 kB
Mapped:            10424 kB
Shmem:                 0 kB
Slab:             601972 kB
SReclaimable:      45812 kB
SUnreclaim:       556160 kB
KernelStack:        1520 kB
PageTables:         8064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1979800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1247232 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= 71680 MiB
End job on node112 at 2016-06-18 19:42:59