Trace number 4106139

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb
MD5SUM6d677c4de75200a225209ed048e7b96e
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.134978
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 variables135
Total number of constraints11
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

Solver Data 

0.00/0.00	c 2016-06-18T18:11:57+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-4106139-1466266317.opb"]
0.00/0.01	c use --random-gen="2764195813 889890729 3850978975 2013624602 3422657302 90234013 1129376295 3355148350 3004143458 527307890 397683307 2973624470 631192666 1596348913 3252339580 2830203206 4114824730 802909926 561800334 4077328086 2874461056 2281312761 2127470637 4179818713 3958321612 1072683546 1164446487 1703694645 3497988974 3746121710 684135568 2161995019 3092914676 3508604380 2660491054 1233093567 1692934826 156348342 2355413439 1875599476 3138741737 3515660674 2095446881 877367288 3487901980 2657398377 694247141 645390193 2397633210 1097990783 1054862079 3759477206 1714718087 3859726307 4189817219 3598124605 2541803394 2001358185 489644108 4253003506 4070007042 2944977740 2202676523 2025435814 1051050828 2429998518 4145632455 188807076 1308113306 1856187505 674276730 2687092889 4264899370 2870433502 2518213853 428361551 3945247663 1055482705 3140694859 1036822039 3531876592 1648382801 1976429999 2941853434 3479872758 3733331988 893112380 3982891734 2894828888 1825886049 3447128466 2988520168 4141572563 1856211372 2020816601 3255924687 2218461662 3225091675 346437067 1928926474 4166516498 1019340972 3125619334 880905068 3277433974 1696506105 1363772876 516072958 2957010393 3884988449 3816562403 415334722 1899762662 4292124034 3669757525 642910159 3810497022 778238131 3955005015 965735732 1595543429 4051402171 709292207 659437132 3625767807 356953534 976100423 245438206 2795091340 2883026611 2994258327 908354881 3830737390 4016148538 153649058 354910470 3955564193 1107555330 3978965333 2677065790 482072976 1694439082 3730431909 2384047971 1249795313 1804204029 1271630598 1192049176 2357385748 3892792470 2982445317 2774155711 2723404684 2902081555 177966593 1117848987 346573087 103788483 3514324016 2567738168 3873057307 3514701700 4155727928 900641953 1566645153 2037042032 378022286 391103066 846564743 2404137379 3370201286 4080332734 764098981 1847343321 1639414866 3003766052 1581097871 646344147 1066631866 608174984 1687927226 1128400075 4280287910 4213813757 885610384 3487966764 2590850694 1235803617 387000788 2678723986 135154502 3737870473 351832592 3080326809 3272381071 3274395553 1056700844 1567809129 4146986722 1903776200 3812943039 2664328510 2008017292 2218777487 406382492 1165879204 638730535 1687464092 1817204360 2794409043 2348124172 4235134206 3123681040 796793547 1968769186 2278317225 2291230664 2206619756 1756551127 534280015 2092423308 3858787498 2582274695 1330862139 3341153506 2572739494 3560419332 3035708785 653102442 876153431 218777525 95631178 334757060 651209148 1212688241 4043549712 3886603959 4212363169 1940259875 3814405329 1612665906 3704194833 1353122793 2094103954 2958983241 3560202489 4052865579 2534278637 3906719633 1307757310 783067973 3957306163 2382750767 106627747 3092416427 1871053017 255 362436" option to reproduce the execution
0.00/0.01	c #vars 135
0.00/0.01	c #constraints 11
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      590      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      115 |      100 |      590      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      278 |      250 |      649      0 |        0 |        0
0.08/0.15	c  0.1s |       3 |      526 |      475 |      714      0 |        0 |        0
0.18/0.25	c  0.2s |       4 |      902 |      813 |      786      0 |        0 |        0
0.39/0.45	c  0.4s |       5 |     1529 |     1320 |      865      1 |        0 |        0
0.78/0.84	c  0.8s |       6 |     2372 |     2081 |     1048      2 |        0 |        0
1.29/1.31	c  1.3s |       7 |     3586 |     3223 |     1153      4 |        0 |        0
1.78/1.83	c  1.8s |       8 |     5459 |     4936 |     1269      7 |        0 |        0
2.09/2.13	c  2.1s |       8 |     6954 |     6300 |     1269      8 |        0 |        0
2.09/2.13	c #cpu_time = 2.103s
2.09/2.13	c #wall_clock_time = 2.108s
2.09/2.13	c #decision = 6954
2.09/2.13	c #random_decision = 30
2.09/2.13	c #conflict = 6300
2.09/2.13	c #restart = 8
2.09/2.13	o 383
2.09/2.13	c BCD2: updating upper bound: 511 -> 382
2.09/2.13	c BCD2: 0 <= obj <= 382
2.09/2.13	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
2.09/2.13	c BCD2: #sat=1 #unsat=1 bias=1/2
2.09/2.13	c Solving starts ...
2.09/2.13	c ============================[ Search Statistics ]============================
2.09/2.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.09/2.13	c       |         |          |          |    Limit     GC | Var      | Constra 
2.09/2.13	c =============================================================================
2.09/2.13	c  0.0s |       0 |        0 |        0 |     1269      0 |        0 |        0
2.09/2.14	c  0.0s |       0 |        7 |        0 |     1269      1 |        0 |        0
2.09/2.14	c #cpu_time = 0.007s
2.09/2.14	c #wall_clock_time = 0.007s
2.09/2.14	c #decision = 7
2.09/2.14	c #random_decision = 0
2.09/2.14	c #conflict = 0
2.09/2.14	c #restart = 0
2.09/2.14	c BCD2: found a new core of size 8: cost of the new core is >=2
2.09/2.14	c lower bound updated to 2
2.09/2.14	c BCD2: 2 <= obj <= 382
2.09/2.14	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
2.09/2.14	c BCD2: #sat=1 #unsat=2 bias=2/3
2.09/2.14	c Solving starts ...
2.09/2.14	c ============================[ Search Statistics ]============================
2.09/2.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.09/2.14	c       |         |          |          |    Limit     GC | Var      | Constra 
2.09/2.14	c =============================================================================
2.09/2.14	c  0.0s |       0 |        0 |        0 |     1269      0 |        0 |        0
2.09/2.16	c  0.0s |       1 |      172 |      100 |     1269      0 |        0 |        0
2.30/2.31	c  0.2s |       2 |      382 |      250 |     1269      0 |        0 |        0
2.30/2.37	c  0.2s |       3 |      673 |      475 |     1269      0 |        0 |        0
2.48/2.50	c  0.4s |       4 |     1062 |      813 |     1269      1 |        0 |        0
2.48/2.59	c  0.4s |       5 |     1627 |     1320 |     1396      1 |        0 |        0
2.78/2.87	c  0.7s |       6 |     2505 |     2081 |     1396      2 |        0 |        0
3.08/3.18	c  1.0s |       7 |     3758 |     3223 |     1396      4 |        0 |        0
3.59/3.61	c  1.5s |       8 |     5694 |     4936 |     1396      5 |        0 |        0
4.69/4.75	c  2.6s |       9 |     8419 |     7506 |     1536      8 |        0 |        0
5.99/6.00	c  3.9s |      10 |    12482 |    11361 |     1690     12 |        0 |        0
7.89/7.90	c  5.8s |      11 |    18539 |    17144 |     1690     18 |        0 |        0
9.90/9.93	c  7.8s |      11 |    27191 |    25644 |     1860     26 |        0 |        0
9.90/9.98	c  7.8s |      12 |    27371 |    25819 |     1860     27 |        0 |        0
11.89/11.98	c  9.8s |      12 |    34800 |    32919 |     2047     33 |        0 |        0
13.39/13.46	c 11.3s |      13 |    40850 |    38832 |     2047     39 |        0 |        0
15.40/15.49	c 13.3s |      13 |    47939 |    45532 |     2047     44 |        0 |        0
17.49/17.54	c 15.4s |      13 |    53811 |    51232 |     2047     49 |        0 |        0
19.49/19.55	c 17.4s |      13 |    61177 |    58332 |     2252     54 |        0 |        0
19.49/19.56	c 17.4s |      14 |    61195 |    58352 |     2252     54 |        0 |        0
21.59/21.60	c 19.5s |      14 |    68561 |    65552 |     2252     60 |        0 |        0
23.59/23.62	c 21.5s |      14 |    75174 |    72052 |     2252     65 |        0 |        0
25.59/25.63	c 23.5s |      14 |    82111 |    78852 |     2252     70 |        0 |        0
27.59/27.64	c 25.5s |      14 |    88568 |    85152 |     2478     74 |        0 |        0
28.38/28.44	c 26.3s |      15 |    91099 |    87632 |     2478     76 |        0 |        0
30.38/30.45	c 28.3s |      15 |    95476 |    91532 |     2478     79 |        0 |        0
32.38/32.48	c 30.3s |      15 |   100273 |    95932 |     2478     82 |        0 |        0
34.48/34.51	c 32.4s |      15 |   104455 |    99332 |     2478     84 |        0 |        0
36.48/36.53	c 34.4s |      15 |   108646 |   103232 |     2478     87 |        0 |        0
38.49/38.56	c 36.4s |      15 |   114242 |   108732 |     2478     91 |        0 |        0
40.48/40.58	c 38.4s |      15 |   120027 |   114132 |     2478     95 |        0 |        0
42.58/42.67	c 40.5s |      15 |   125281 |   118432 |     2478     98 |        0 |        0
44.68/44.73	c 42.6s |      15 |   128291 |   120632 |     2478     99 |        0 |        0
46.68/46.79	c 44.7s |      15 |   131063 |   123132 |     2478    101 |        0 |        0
48.78/48.85	c 46.7s |      15 |   135158 |   126932 |     2726    103 |        0 |        0
50.78/50.88	c 48.7s |      15 |   138906 |   130032 |     2726    105 |        0 |        0
51.48/51.56	c 49.4s |      16 |   140878 |   131552 |     2726    106 |        0 |        0
53.48/53.56	c 51.4s |      16 |   147012 |   137352 |     2726    110 |        0 |        0
55.48/55.57	c 53.4s |      16 |   152738 |   142952 |     2726    114 |        0 |        0
57.48/57.59	c 55.4s |      16 |   158992 |   149052 |     2726    118 |        0 |        0
59.58/59.61	c 57.5s |      16 |   165815 |   155452 |     2726    122 |        0 |        0
61.58/61.63	c 59.5s |      16 |   173548 |   163052 |     2726    127 |        0 |        0
63.57/63.64	c 61.5s |      16 |   179237 |   168052 |     2726    130 |        0 |        0
65.57/65.64	c 63.5s |      16 |   184584 |   172752 |     2726    134 |        0 |        0
67.57/67.67	c 65.5s |      16 |   189659 |   177652 |     2726    137 |        0 |        0
69.67/69.70	c 67.6s |      16 |   195367 |   183152 |     2726    140 |        0 |        0
71.67/71.71	c 69.6s |      16 |   201129 |   188852 |     2726    144 |        0 |        0
73.69/73.73	c 71.6s |      16 |   206352 |   193652 |     2999    147 |        0 |        0
75.28/75.31	c 73.2s |      17 |   210713 |   197432 |     2999    149 |        0 |        0
77.28/77.33	c 75.2s |      17 |   219211 |   205632 |     2999    154 |        0 |        0
79.28/79.35	c 77.2s |      17 |   225912 |   212132 |     2999    158 |        0 |        0
81.27/81.37	c 79.2s |      17 |   231878 |   217932 |     2999    162 |        0 |        0
83.27/83.39	c 81.2s |      17 |   236234 |   222132 |     2999    164 |        0 |        0
85.37/85.41	c 83.3s |      17 |   242695 |   228432 |     2999    168 |        0 |        0
87.37/87.42	c 85.3s |      17 |   248829 |   234432 |     2999    171 |        0 |        0
89.37/89.42	c 87.3s |      17 |   255354 |   240732 |     2999    175 |        0 |        0
91.38/91.46	c 89.3s |      17 |   262205 |   247332 |     2999    179 |        0 |        0
93.37/93.47	c 91.3s |      17 |   268915 |   253832 |     2999    183 |        0 |        0
95.47/95.51	c 93.4s |      17 |   275744 |   260432 |     2999    187 |        0 |        0
97.47/97.54	c 95.4s |      17 |   282087 |   266532 |     2999    190 |        0 |        0
99.47/99.57	c 97.4s |      17 |   288485 |   272732 |     2999    194 |        0 |        0
101.47/101.57	c 99.4s |      17 |   294601 |   278532 |     2999    197 |        0 |        0
103.48/103.58	c  101s |      17 |   300811 |   284332 |     2999    201 |        0 |        0
105.48/105.58	c  103s |      17 |   306481 |   289832 |     3299    204 |        0 |        0
107.58/107.60	c  105s |      17 |   312928 |   296132 |     3299    207 |        0 |        0
107.58/107.63	c  105s |      18 |   313047 |   296252 |     3299    207 |        0 |        0
109.58/109.63	c  107s |      18 |   320390 |   303452 |     3299    211 |        0 |        0
111.57/111.64	c  109s |      18 |   327374 |   310252 |     3299    215 |        0 |        0
113.57/113.66	c  111s |      18 |   334416 |   317152 |     3299    219 |        0 |        0
115.58/115.67	c  113s |      18 |   341349 |   323952 |     3299    223 |        0 |        0
117.57/117.69	c  115s |      18 |   348407 |   330852 |     3299    227 |        0 |        0
119.67/119.71	c  117s |      18 |   355229 |   337552 |     3299    231 |        0 |        0
121.67/121.72	c  119s |      18 |   361714 |   343952 |     3299    235 |        0 |        0
123.67/123.73	c  121s |      18 |   368853 |   350952 |     3299    239 |        0 |        0
125.67/125.73	c  123s |      18 |   375781 |   357752 |     3299    243 |        0 |        0
127.68/127.74	c  125s |      18 |   382616 |   364452 |     3299    247 |        0 |        0
129.67/129.77	c  127s |      18 |   389549 |   371252 |     3299    251 |        0 |        0
131.77/131.80	c  129s |      18 |   396371 |   377952 |     3299    255 |        0 |        0
133.77/133.80	c  131s |      18 |   403058 |   384452 |     3299    258 |        0 |        0
135.77/135.83	c  133s |      18 |   410091 |   391252 |     3299    262 |        0 |        0
137.77/137.84	c  135s |      18 |   417039 |   398052 |     3299    266 |        0 |        0
139.77/139.87	c  137s |      18 |   423678 |   404552 |     3299    270 |        0 |        0
141.87/141.95	c  139s |      18 |   429901 |   410652 |     3299    274 |        0 |        0
143.86/143.98	c  141s |      18 |   435476 |   415452 |     3299    276 |        0 |        0
145.96/146.00	c  143s |      18 |   441360 |   421152 |     3299    279 |        0 |        0
147.96/148.02	c  145s |      18 |   446670 |   426452 |     3299    282 |        0 |        0
149.96/150.02	c  147s |      18 |   452326 |   432052 |     3299    285 |        0 |        0
151.96/152.06	c  149s |      18 |   458449 |   438152 |     3629    288 |        0 |        0
153.97/154.09	c  151s |      18 |   464112 |   443552 |     3629    291 |        0 |        0
154.36/154.44	c  152s |      19 |   465069 |   444482 |     3629    291 |        0 |        0
156.36/156.46	c  154s |      19 |   472778 |   451982 |     3629    295 |        0 |        0
158.37/158.47	c  156s |      19 |   479269 |   458382 |     3629    298 |        0 |        0
160.36/160.48	c  158s |      19 |   485551 |   464582 |     3629    301 |        0 |        0
162.36/162.49	c  160s |      19 |   492321 |   471182 |     3629    304 |        0 |        0
164.46/164.52	c  162s |      19 |   499007 |   477682 |     3629    307 |        0 |        0
166.47/166.54	c  164s |      19 |   505033 |   483582 |     3629    310 |        0 |        0
168.47/168.57	c  166s |      19 |   511003 |   489382 |     3629    313 |        0 |        0
170.47/170.59	c  168s |      19 |   517310 |   495582 |     3629    316 |        0 |        0
172.57/172.60	c  170s |      19 |   523652 |   501882 |     3629    319 |        0 |        0
174.56/174.63	c  172s |      19 |   529481 |   507582 |     3629    322 |        0 |        0
176.56/176.66	c  174s |      19 |   535204 |   513182 |     3629    325 |        0 |        0
178.56/178.69	c  176s |      19 |   540391 |   518282 |     3629    328 |        0 |        0
180.66/180.71	c  178s |      19 |   545248 |   523082 |     3629    330 |        0 |        0
182.67/182.75	c  180s |      19 |   550721 |   528382 |     3629    333 |        0 |        0
184.66/184.78	c  182s |      19 |   557435 |   534782 |     3629    336 |        0 |        0
186.76/186.81	c  184s |      19 |   563386 |   540682 |     3629    339 |        0 |        0
188.76/188.84	c  186s |      19 |   569266 |   546482 |     3629    341 |        0 |        0
190.76/190.87	c  188s |      19 |   575229 |   552382 |     3629    344 |        0 |        0
192.76/192.89	c  190s |      19 |   581071 |   558082 |     3629    347 |        0 |        0
194.86/194.91	c  192s |      19 |   586858 |   563782 |     3629    350 |        0 |        0
196.86/196.93	c  194s |      19 |   592678 |   569482 |     3629    353 |        0 |        0
198.85/198.95	c  196s |      19 |   597635 |   574382 |     3629    355 |        0 |        0
200.85/200.95	c  198s |      19 |   603862 |   580382 |     3629    358 |        0 |        0
202.85/202.96	c  200s |      19 |   609566 |   585882 |     3629    361 |        0 |        0
204.85/205.00	c  202s |      19 |   614934 |   591182 |     3629    363 |        0 |        0
206.95/207.01	c  204s |      19 |   620562 |   596582 |     3629    366 |        0 |        0
208.96/209.02	c  206s |      19 |   626124 |   601982 |     3629    369 |        0 |        0
210.95/211.02	c  208s |      19 |   631608 |   607382 |     3629    372 |        0 |        0
212.95/213.04	c  210s |      19 |   636865 |   612582 |     3629    374 |        0 |        0
214.95/215.04	c  212s |      19 |   642434 |   617982 |     3629    377 |        0 |        0
216.95/217.08	c  214s |      19 |   648002 |   623382 |     3629    379 |        0 |        0
219.05/219.10	c  216s |      19 |   653773 |   629082 |     3629    382 |        0 |        0
221.05/221.12	c  218s |      19 |   659850 |   634982 |     3629    385 |        0 |        0
223.05/223.13	c  220s |      19 |   666293 |   641182 |     3629    388 |        0 |        0
225.04/225.14	c  223s |      19 |   672593 |   647382 |     3629    391 |        0 |        0
227.05/227.16	c  225s |      19 |   679370 |   653982 |     3629    395 |        0 |        0
229.05/229.18	c  227s |      19 |   684843 |   659282 |     3992    397 |        0 |        0
231.05/231.19	c  229s |      19 |   690203 |   664482 |     3992    399 |        0 |        0
231.94/232.07	c  229s |      20 |   692628 |   666827 |     3992    400 |        0 |        0
234.04/234.16	c  232s |      20 |   695076 |   669127 |     3992    401 |        0 |        0
236.14/236.20	c  234s |      20 |   700069 |   673827 |     3992    403 |        0 |        0
238.14/238.20	c  236s |      20 |   704123 |   677727 |     3992    405 |        0 |        0
240.14/240.21	c  238s |      20 |   708936 |   682427 |     3992    407 |        0 |        0
242.14/242.22	c  240s |      20 |   713434 |   686527 |     3992    409 |        0 |        0
244.15/244.23	c  242s |      20 |   717277 |   690127 |     3992    411 |        0 |        0
246.14/246.24	c  244s |      20 |   722090 |   694727 |     3992    413 |        0 |        0
248.14/248.25	c  246s |      20 |   726817 |   699327 |     3992    415 |        0 |        0
250.14/250.29	c  248s |      20 |   731838 |   704227 |     3992    417 |        0 |        0
252.23/252.31	c  250s |      20 |   736243 |   708327 |     3992    419 |        0 |        0
254.23/254.33	c  252s |      20 |   739939 |   711927 |     3992    421 |        0 |        0
256.24/256.37	c  254s |      20 |   744147 |   716027 |     3992    422 |        0 |        0
258.23/258.37	c  256s |      20 |   748353 |   720027 |     3992    424 |        0 |        0
260.33/260.40	c  258s |      20 |   752304 |   723827 |     3992    426 |        0 |        0
262.33/262.41	c  260s |      20 |   755911 |   727027 |     3992    427 |        0 |        0
264.33/264.45	c  262s |      20 |   759863 |   730727 |     3992    429 |        0 |        0
266.33/266.48	c  264s |      20 |   764284 |   735027 |     3992    431 |        0 |        0
268.33/268.48	c  266s |      20 |   768049 |   738527 |     3992    433 |        0 |        0
270.43/270.51	c  268s |      20 |   772830 |   743127 |     3992    435 |        0 |        0
272.42/272.51	c  270s |      20 |   777225 |   747327 |     3992    436 |        0 |        0
274.43/274.53	c  272s |      20 |   781639 |   751627 |     3992    438 |        0 |        0
276.43/276.56	c  274s |      20 |   786243 |   756127 |     3992    440 |        0 |        0
278.53/278.60	c  276s |      20 |   790812 |   760627 |     3992    442 |        0 |        0
280.53/280.60	c  278s |      20 |   795182 |   764827 |     3992    444 |        0 |        0
282.52/282.61	c  280s |      20 |   798657 |   768127 |     3992    446 |        0 |        0
284.52/284.64	c  282s |      20 |   802684 |   771927 |     3992    448 |        0 |        0
286.52/286.66	c  284s |      20 |   807344 |   776327 |     3992    450 |        0 |        0
288.52/288.68	c  286s |      20 |   811084 |   779827 |     3992    451 |        0 |        0
290.62/290.72	c  288s |      20 |   815324 |   783927 |     3992    453 |        0 |        0
292.62/292.72	c  290s |      20 |   819656 |   788027 |     3992    455 |        0 |        0
294.61/294.77	c  292s |      20 |   823474 |   791627 |     3992    456 |        0 |        0
296.71/296.81	c  294s |      20 |   827122 |   795027 |     3992    458 |        0 |        0
298.71/298.85	c  296s |      20 |   831616 |   799327 |     3992    460 |        0 |        0
300.71/300.87	c  298s |      20 |   836770 |   804327 |     3992    462 |        0 |        0
302.81/302.90	c  300s |      20 |   842292 |   809727 |     3992    465 |        0 |        0
304.81/304.93	c  302s |      20 |   847918 |   815127 |     3992    467 |        0 |        0
306.81/306.94	c  304s |      20 |   851442 |   818527 |     3992    469 |        0 |        0
308.81/308.97	c  306s |      20 |   856698 |   823627 |     3992    471 |        0 |        0
310.80/310.98	c  308s |      20 |   862455 |   829227 |     3992    473 |        0 |        0
312.80/312.99	c  310s |      20 |   868145 |   834727 |     3992    476 |        0 |        0
314.80/314.99	c  312s |      20 |   873331 |   839827 |     3992    478 |        0 |        0
316.90/317.01	c  314s |      20 |   878232 |   844227 |     3992    480 |        0 |        0
318.91/319.07	c  316s |      20 |   883058 |   848827 |     3992    482 |        0 |        0
320.99/321.10	c  318s |      20 |   888137 |   853727 |     3992    484 |        0 |        0
323.00/323.13	c  320s |      20 |   893444 |   858827 |     3992    487 |        0 |        0
325.00/325.15	c  323s |      20 |   897664 |   862927 |     3992    489 |        0 |        0
327.00/327.17	c  325s |      20 |   902043 |   866927 |     3992    490 |        0 |        0
329.10/329.20	c  327s |      20 |   906983 |   871627 |     3992    492 |        0 |        0
331.10/331.22	c  329s |      20 |   912169 |   876627 |     3992    495 |        0 |        0
333.10/333.23	c  331s |      20 |   916853 |   881127 |     3992    497 |        0 |        0
335.09/335.28	c  333s |      20 |   922076 |   886127 |     3992    499 |        0 |        0
337.09/337.29	c  335s |      20 |   926157 |   890027 |     3992    501 |        0 |        0
339.09/339.30	c  337s |      20 |   931356 |   895127 |     3992    503 |        0 |        0
341.18/341.30	c  339s |      20 |   936941 |   900527 |     3992    505 |        0 |        0
343.19/343.36	c  341s |      20 |   941887 |   905227 |     3992    508 |        0 |        0
345.18/345.36	c  343s |      20 |   945959 |   909127 |     3992    509 |        0 |        0
347.28/347.44	c  345s |      20 |   948886 |   911927 |     3992    511 |        0 |        0
349.28/349.46	c  347s |      20 |   953812 |   916727 |     3992    513 |        0 |        0
351.28/351.46	c  349s |      20 |   958189 |   920827 |     3992    515 |        0 |        0
353.28/353.46	c  351s |      20 |   962495 |   924927 |     3992    516 |        0 |        0
355.28/355.47	c  353s |      20 |   966484 |   928727 |     3992    518 |        0 |        0
357.28/357.50	c  355s |      20 |   971734 |   933827 |     3992    520 |        0 |        0
359.38/359.56	c  357s |      20 |   976002 |   937827 |     3992    522 |        0 |        0
361.38/361.58	c  359s |      20 |   980314 |   942027 |     3992    524 |        0 |        0
363.48/363.61	c  361s |      20 |   984858 |   946427 |     3992    526 |        0 |        0
365.48/365.66	c  363s |      20 |   988979 |   950227 |     3992    528 |        0 |        0
367.58/367.76	c  365s |      20 |   993107 |   954127 |     3992    530 |        0 |        0
369.58/369.77	c  367s |      20 |   997148 |   957927 |     3992    531 |        0 |        0
371.57/371.77	c  369s |      20 |  1001861 |   962527 |     3992    533 |        0 |        0
373.57/373.77	c  371s |      20 |  1006376 |   966927 |     3992    535 |        0 |        0
375.67/375.82	c  373s |      20 |  1011368 |   971827 |     3992    538 |        0 |        0
377.67/377.86	c  375s |      20 |  1016410 |   976727 |     3992    540 |        0 |        0
379.67/379.86	c  377s |      20 |  1021175 |   981327 |     3992    542 |        0 |        0
381.77/381.90	c  379s |      20 |  1025113 |   984927 |     3992    543 |        0 |        0
383.77/383.93	c  381s |      20 |  1029439 |   989127 |     4392    545 |        0 |        0
385.76/385.96	c  383s |      20 |  1033353 |   992927 |     4392    547 |        0 |        0
387.86/388.02	c  385s |      20 |  1037090 |   996527 |     4392    548 |        0 |        0
389.86/390.04	c  387s |      20 |  1040881 |  1000227 |     4392    550 |        0 |        0
389.86/390.09	c  387s |      21 |  1041011 |  1000345 |     4392    550 |        0 |        0
391.96/392.10	c  389s |      21 |  1048504 |  1007645 |     4392    553 |        0 |        0
393.96/394.12	c  391s |      21 |  1054679 |  1013645 |     4392    555 |        0 |        0
395.96/396.14	c  394s |      21 |  1059914 |  1018745 |     4392    557 |        0 |        0
397.96/398.16	c  396s |      21 |  1065505 |  1024245 |     4392    560 |        0 |        0
399.96/400.18	c  398s |      21 |  1071772 |  1030345 |     4392    562 |        0 |        0
402.05/402.20	c  400s |      21 |  1077568 |  1036045 |     4392    565 |        0 |        0
404.05/404.22	c  402s |      21 |  1083574 |  1041945 |     4392    567 |        0 |        0
406.05/406.24	c  404s |      21 |  1089358 |  1047645 |     4392    569 |        0 |        0
408.06/408.25	c  406s |      21 |  1094823 |  1053045 |     4392    572 |        0 |        0
410.05/410.27	c  408s |      21 |  1100809 |  1058945 |     4392    574 |        0 |        0
412.04/412.28	c  410s |      21 |  1106526 |  1064545 |     4392    576 |        0 |        0
414.05/414.28	c  412s |      21 |  1112323 |  1070245 |     4392    579 |        0 |        0
416.05/416.29	c  414s |      21 |  1118113 |  1075945 |     4392    581 |        0 |        0
418.15/418.30	c  416s |      21 |  1124015 |  1081745 |     4392    583 |        0 |        0
420.15/420.32	c  418s |      21 |  1130234 |  1087845 |     4392    586 |        0 |        0
422.14/422.33	c  420s |      21 |  1135820 |  1093345 |     4392    588 |        0 |        0
424.14/424.33	c  422s |      21 |  1141698 |  1099145 |     4392    591 |        0 |        0
426.14/426.34	c  424s |      21 |  1147265 |  1104645 |     4392    593 |        0 |        0
428.14/428.36	c  426s |      21 |  1153251 |  1110545 |     4392    595 |        0 |        0
430.14/430.38	c  428s |      21 |  1159759 |  1116945 |     4392    598 |        0 |        0
432.15/432.39	c  430s |      21 |  1165989 |  1123045 |     4392    601 |        0 |        0
434.14/434.39	c  432s |      21 |  1171871 |  1128845 |     4392    603 |        0 |        0
436.14/436.40	c  434s |      21 |  1177604 |  1134545 |     4392    605 |        0 |        0
438.23/438.41	c  436s |      21 |  1183465 |  1140245 |     4392    608 |        0 |        0
440.23/440.43	c  438s |      21 |  1189307 |  1145945 |     4392    610 |        0 |        0
442.23/442.46	c  440s |      21 |  1195120 |  1151645 |     4392    612 |        0 |        0
444.24/444.46	c  442s |      21 |  1201129 |  1157545 |     4392    615 |        0 |        0
446.24/446.49	c  444s |      21 |  1206965 |  1163245 |     4392    617 |        0 |        0
448.34/448.50	c  446s |      21 |  1212540 |  1168745 |     4392    619 |        0 |        0
450.33/450.54	c  448s |      21 |  1218352 |  1174445 |     4392    622 |        0 |        0
452.33/452.55	c  450s |      21 |  1224156 |  1180145 |     4392    624 |        0 |        0
454.33/454.57	c  452s |      21 |  1229926 |  1185845 |     4392    627 |        0 |        0
456.33/456.59	c  454s |      21 |  1235659 |  1191445 |     4392    629 |        0 |        0
458.33/458.60	c  456s |      21 |  1241431 |  1197145 |     4392    631 |        0 |        0
460.43/460.60	c  458s |      21 |  1247239 |  1202845 |     4392    634 |        0 |        0
462.42/462.61	c  460s |      21 |  1252827 |  1208345 |     4392    636 |        0 |        0
464.42/464.62	c  462s |      21 |  1258712 |  1214145 |     4392    638 |        0 |        0
466.42/466.64	c  464s |      21 |  1264594 |  1219945 |     4392    641 |        0 |        0
468.42/468.68	c  466s |      21 |  1270464 |  1225745 |     4392    643 |        0 |        0
470.42/470.69	c  468s |      21 |  1276449 |  1231645 |     4392    646 |        0 |        0
472.51/472.71	c  470s |      21 |  1282173 |  1237245 |     4392    648 |        0 |        0
474.51/474.74	c  472s |      21 |  1288230 |  1243145 |     4392    650 |        0 |        0
476.51/476.76	c  474s |      21 |  1293753 |  1248645 |     4392    653 |        0 |        0
478.51/478.77	c  476s |      21 |  1299869 |  1254645 |     4392    655 |        0 |        0
480.52/480.80	c  478s |      21 |  1305874 |  1260545 |     4392    658 |        0 |        0
482.61/482.82	c  480s |      21 |  1311840 |  1266445 |     4392    660 |        0 |        0
484.61/484.83	c  482s |      21 |  1317544 |  1272045 |     4392    662 |        0 |        0
486.61/486.87	c  484s |      21 |  1323089 |  1277545 |     4392    665 |        0 |        0
488.61/488.89	c  486s |      21 |  1329081 |  1283445 |     4392    667 |        0 |        0
490.61/490.89	c  488s |      21 |  1334996 |  1289245 |     4392    669 |        0 |        0
492.71/492.92	c  490s |      21 |  1340919 |  1295045 |     4392    672 |        0 |        0
494.70/494.94	c  492s |      21 |  1346826 |  1300845 |     4392    674 |        0 |        0
496.70/496.95	c  494s |      21 |  1352048 |  1306045 |     4392    676 |        0 |        0
498.70/498.96	c  496s |      21 |  1357923 |  1311845 |     4392    679 |        0 |        0
500.70/500.97	c  498s |      21 |  1363731 |  1317545 |     4392    681 |        0 |        0
502.80/503.01	c  500s |      21 |  1369862 |  1323545 |     4392    684 |        0 |        0
504.80/505.02	c  502s |      21 |  1375482 |  1329045 |     4392    686 |        0 |        0
506.80/507.02	c  504s |      21 |  1380972 |  1334445 |     4392    688 |        0 |        0
508.79/509.03	c  506s |      21 |  1386491 |  1339845 |     4392    690 |        0 |        0
510.79/511.05	c  508s |      21 |  1391787 |  1345045 |     4392    692 |        0 |        0
512.79/513.07	c  510s |      21 |  1397707 |  1350745 |     4392    695 |        0 |        0
514.79/515.09	c  512s |      21 |  1403505 |  1356445 |     4392    697 |        0 |        0
516.80/517.10	c  514s |      21 |  1408701 |  1361545 |     4392    699 |        0 |        0
518.89/519.12	c  516s |      21 |  1414510 |  1367145 |     4392    702 |        0 |        0
520.89/521.13	c  518s |      21 |  1419998 |  1372545 |     4392    704 |        0 |        0
522.88/523.15	c  521s |      21 |  1425522 |  1377945 |     4392    706 |        0 |        0
524.88/525.19	c  523s |      21 |  1430982 |  1383145 |     4392    708 |        0 |        0
526.98/527.22	c  525s |      21 |  1436790 |  1388845 |     4392    711 |        0 |        0
528.99/529.22	c  527s |      21 |  1442223 |  1394145 |     4392    713 |        0 |        0
530.98/531.24	c  529s |      21 |  1447747 |  1399545 |     4392    715 |        0 |        0
532.98/533.25	c  531s |      21 |  1453409 |  1405145 |     4392    717 |        0 |        0
534.98/535.28	c  533s |      21 |  1459594 |  1411245 |     4392    720 |        0 |        0
537.09/537.31	c  535s |      21 |  1465691 |  1417245 |     4392    722 |        0 |        0
539.09/539.34	c  537s |      21 |  1471383 |  1422845 |     4392    725 |        0 |        0
541.08/541.36	c  539s |      21 |  1477363 |  1428745 |     4392    727 |        0 |        0
543.08/543.38	c  541s |      21 |  1482857 |  1434145 |     4392    729 |        0 |        0
545.08/545.39	c  543s |      21 |  1488999 |  1440145 |     4392    732 |        0 |        0
547.18/547.44	c  545s |      21 |  1494820 |  1445845 |     4392    734 |        0 |        0
549.18/549.45	c  547s |      21 |  1500604 |  1451545 |     4392    737 |        0 |        0
551.17/551.47	c  549s |      21 |  1506738 |  1457545 |     4392    739 |        0 |        0
553.27/553.50	c  551s |      21 |  1512539 |  1463245 |     4392    741 |        0 |        0
555.28/555.52	c  553s |      21 |  1518477 |  1469045 |     4392    744 |        0 |        0
557.27/557.56	c  555s |      21 |  1523729 |  1474245 |     4392    746 |        0 |        0
559.27/559.57	c  557s |      21 |  1529639 |  1479945 |     4392    748 |        0 |        0
561.26/561.58	c  559s |      21 |  1535653 |  1485845 |     4832    751 |        0 |        0
563.36/563.60	c  561s |      21 |  1541116 |  1491245 |     4832    753 |        0 |        0
565.36/565.60	c  563s |      21 |  1546250 |  1496345 |     4832    755 |        0 |        0
566.76/567.04	c  564s |      22 |  1550569 |  1500622 |     4832    756 |        0 |        0
568.76/569.07	c  566s |      22 |  1554628 |  1504422 |     4832    758 |        0 |        0
570.86/571.10	c  568s |      22 |  1559630 |  1509022 |     4832    759 |        0 |        0
572.86/573.12	c  570s |      22 |  1566378 |  1515522 |     4832    762 |        0 |        0
574.86/575.12	c  572s |      22 |  1571994 |  1520822 |     4832    764 |        0 |        0
576.86/577.14	c  575s |      22 |  1577696 |  1526322 |     4832    766 |        0 |        0
578.86/579.18	c  577s |      22 |  1583586 |  1531822 |     4832    768 |        0 |        0
580.95/581.21	c  579s |      22 |  1589280 |  1537222 |     4832    770 |        0 |        0
582.95/583.22	c  581s |      22 |  1594876 |  1542522 |     4832    772 |        0 |        0
584.96/585.23	c  583s |      22 |  1599968 |  1547422 |     4832    774 |        0 |        0
586.95/587.24	c  585s |      22 |  1604297 |  1551522 |     4832    776 |        0 |        0
588.95/589.29	c  587s |      22 |  1607985 |  1555022 |     4832    777 |        0 |        0
591.05/591.30	c  589s |      22 |  1612752 |  1559622 |     4832    779 |        0 |        0
593.04/593.37	c  591s |      22 |  1617521 |  1564122 |     4832    780 |        0 |        0
595.04/595.38	c  593s |      22 |  1622586 |  1568922 |     4832    782 |        0 |        0
597.15/597.42	c  595s |      22 |  1626429 |  1572622 |     4832    784 |        0 |        0
599.14/599.44	c  597s |      22 |  1630194 |  1575722 |     4832    785 |        0 |        0
601.15/601.44	c  599s |      22 |  1633597 |  1578922 |     4832    786 |        0 |        0
603.15/603.48	c  601s |      22 |  1637340 |  1582422 |     4832    787 |        0 |        0
605.25/605.52	c  603s |      22 |  1641428 |  1586322 |     4832    789 |        0 |        0
607.24/607.54	c  605s |      22 |  1646557 |  1591222 |     4832    791 |        0 |        0
609.25/609.57	c  607s |      22 |  1651048 |  1595422 |     4832    792 |        0 |        0
611.24/611.60	c  609s |      22 |  1655858 |  1599922 |     4832    794 |        0 |        0
613.34/613.67	c  611s |      22 |  1659360 |  1603322 |     4832    795 |        0 |        0
615.34/615.69	c  613s |      22 |  1663191 |  1606822 |     4832    797 |        0 |        0
617.44/617.72	c  615s |      22 |  1667128 |  1610522 |     4832    798 |        0 |        0
619.44/619.75	c  617s |      22 |  1671427 |  1614622 |     4832    800 |        0 |        0
621.53/621.81	c  619s |      22 |  1675369 |  1618322 |     4832    801 |        0 |        0
623.54/623.85	c  621s |      22 |  1679005 |  1621622 |     4832    802 |        0 |        0
625.53/625.89	c  623s |      22 |  1683696 |  1626122 |     4832    804 |        0 |        0
627.53/627.89	c  625s |      22 |  1688627 |  1630922 |     4832    806 |        0 |        0
629.63/629.93	c  627s |      22 |  1693400 |  1635422 |     4832    808 |        0 |        0
631.62/631.96	c  629s |      22 |  1698500 |  1640322 |     4832    810 |        0 |        0
633.62/633.99	c  631s |      22 |  1703744 |  1645422 |     4832    812 |        0 |        0
635.63/635.99	c  633s |      22 |  1708753 |  1650322 |     4832    813 |        0 |        0
637.73/638.02	c  635s |      22 |  1713784 |  1655222 |     4832    815 |        0 |        0
639.72/640.04	c  637s |      22 |  1718600 |  1659922 |     4832    817 |        0 |        0
641.72/642.06	c  639s |      22 |  1723641 |  1664822 |     4832    819 |        0 |        0
643.82/644.10	c  641s |      22 |  1728552 |  1669522 |     4832    821 |        0 |        0
645.82/646.11	c  643s |      22 |  1733243 |  1674122 |     4832    823 |        0 |        0
647.82/648.13	c  645s |      22 |  1737590 |  1678322 |     4832    824 |        0 |        0
649.82/650.15	c  648s |      22 |  1741212 |  1681822 |     4832    825 |        0 |        0
651.91/652.20	c  650s |      22 |  1744397 |  1684922 |     4832    827 |        0 |        0
653.91/654.22	c  652s |      22 |  1749300 |  1689722 |     4832    828 |        0 |        0
655.91/656.26	c  654s |      22 |  1752974 |  1693322 |     4832    830 |        0 |        0
657.91/658.27	c  656s |      22 |  1758316 |  1698522 |     4832    832 |        0 |        0
660.01/660.31	c  658s |      22 |  1763110 |  1703022 |     4832    834 |        0 |        0
662.02/662.32	c  660s |      22 |  1768294 |  1708022 |     4832    835 |        0 |        0
664.01/664.35	c  662s |      22 |  1771794 |  1711422 |     4832    837 |        0 |        0
666.01/666.36	c  664s |      22 |  1776657 |  1716122 |     4832    839 |        0 |        0
668.01/668.37	c  666s |      22 |  1781478 |  1720722 |     4832    840 |        0 |        0
670.11/670.41	c  668s |      22 |  1785861 |  1724922 |     4832    842 |        0 |        0
672.10/672.41	c  670s |      22 |  1790243 |  1729122 |     4832    844 |        0 |        0
674.11/674.43	c  672s |      22 |  1795507 |  1734222 |     4832    846 |        0 |        0
676.10/676.47	c  674s |      22 |  1800651 |  1739222 |     4832    847 |        0 |        0
678.10/678.47	c  676s |      22 |  1804807 |  1743222 |     4832    849 |        0 |        0
680.20/680.51	c  678s |      22 |  1808638 |  1746922 |     4832    850 |        0 |        0
682.20/682.53	c  680s |      22 |  1813335 |  1751422 |     4832    852 |        0 |        0
684.20/684.56	c  682s |      22 |  1817588 |  1755522 |     4832    854 |        0 |        0
686.21/686.56	c  684s |      22 |  1822560 |  1760322 |     4832    855 |        0 |        0
688.31/688.60	c  686s |      22 |  1827008 |  1764522 |     4832    857 |        0 |        0
690.30/690.63	c  688s |      22 |  1830899 |  1768322 |     4832    859 |        0 |        0
692.30/692.63	c  690s |      22 |  1836558 |  1773822 |     4832    861 |        0 |        0
694.30/694.63	c  692s |      22 |  1840966 |  1778122 |     4832    862 |        0 |        0
696.30/696.65	c  694s |      22 |  1845646 |  1782522 |     4832    864 |        0 |        0
698.40/698.73	c  696s |      22 |  1849394 |  1786022 |     4832    865 |        0 |        0
700.40/700.76	c  698s |      22 |  1852355 |  1788922 |     4832    866 |        0 |        0
702.39/702.79	c  700s |      22 |  1855602 |  1792122 |     4832    868 |        0 |        0
704.49/704.84	c  702s |      22 |  1858044 |  1794522 |     4832    869 |        0 |        0
706.49/706.86	c  704s |      22 |  1860229 |  1796622 |     4832    869 |        0 |        0
708.59/708.92	c  706s |      22 |  1862890 |  1799222 |     4832    870 |        0 |        0
710.59/710.95	c  708s |      22 |  1866013 |  1802222 |     4832    871 |        0 |        0
712.60/712.98	c  710s |      22 |  1868352 |  1804522 |     4832    872 |        0 |        0
714.70/715.07	c  712s |      22 |  1870539 |  1806622 |     4832    873 |        0 |        0
716.79/717.11	c  714s |      22 |  1872927 |  1808822 |     4832    874 |        0 |        0
718.79/719.16	c  717s |      22 |  1875936 |  1811722 |     4832    875 |        0 |        0
720.79/721.17	c  719s |      22 |  1878647 |  1814322 |     4832    876 |        0 |        0
722.88/723.29	c  721s |      22 |  1882174 |  1817722 |     4832    877 |        0 |        0
724.98/725.32	c  723s |      22 |  1887292 |  1822622 |     4832    879 |        0 |        0
726.98/727.32	c  725s |      22 |  1891673 |  1826722 |     4832    881 |        0 |        0
728.99/729.35	c  727s |      22 |  1895856 |  1830822 |     4832    882 |        0 |        0
731.08/731.43	c  729s |      22 |  1900016 |  1834822 |     4832    884 |        0 |        0
733.17/733.51	c  731s |      22 |  1902496 |  1837222 |     4832    885 |        0 |        0
735.17/735.53	c  733s |      22 |  1906894 |  1841422 |     4832    886 |        0 |        0
737.17/737.56	c  735s |      22 |  1911027 |  1845322 |     4832    888 |        0 |        0
739.17/739.57	c  737s |      22 |  1914727 |  1848922 |     4832    889 |        0 |        0
741.18/741.57	c  739s |      22 |  1917447 |  1851522 |     4832    890 |        0 |        0
743.28/743.61	c  741s |      22 |  1919931 |  1853922 |     4832    891 |        0 |        0
745.27/745.63	c  743s |      22 |  1922397 |  1856322 |     4832    892 |        0 |        0
747.27/747.66	c  745s |      22 |  1925734 |  1859422 |     4832    893 |        0 |        0
749.27/749.68	c  747s |      22 |  1930310 |  1863822 |     4832    895 |        0 |        0
751.37/751.70	c  749s |      22 |  1934898 |  1868222 |     4832    897 |        0 |        0
753.37/753.70	c  751s |      22 |  1939151 |  1872322 |     4832    898 |        0 |        0
755.38/755.72	c  753s |      22 |  1944273 |  1877322 |     4832    900 |        0 |        0
757.37/757.74	c  755s |      22 |  1948883 |  1881822 |     4832    902 |        0 |        0
759.37/759.74	c  757s |      22 |  1953583 |  1886322 |     4832    903 |        0 |        0
761.36/761.75	c  759s |      22 |  1958874 |  1891322 |     4832    905 |        0 |        0
763.36/763.78	c  761s |      22 |  1963538 |  1895822 |     4832    907 |        0 |        0
765.46/765.80	c  763s |      22 |  1968617 |  1900722 |     4832    909 |        0 |        0
767.47/767.80	c  765s |      22 |  1973246 |  1905222 |     4832    911 |        0 |        0
769.46/769.84	c  767s |      22 |  1978267 |  1910022 |     4832    913 |        0 |        0
771.46/771.86	c  769s |      22 |  1982799 |  1914422 |     4832    914 |        0 |        0
773.56/773.90	c  771s |      22 |  1987196 |  1918622 |     4832    916 |        0 |        0
775.56/775.97	c  773s |      22 |  1990810 |  1922022 |     4832    917 |        0 |        0
777.66/778.01	c  775s |      22 |  1994863 |  1925822 |     4832    919 |        0 |        0
779.66/780.01	c  777s |      22 |  1999049 |  1929922 |     4832    920 |        0 |        0
781.65/782.02	c  779s |      22 |  2003787 |  1934522 |     4832    922 |        0 |        0
783.65/784.03	c  781s |      22 |  2008208 |  1938822 |     4832    924 |        0 |        0
785.65/786.07	c  783s |      22 |  2012871 |  1943322 |     4832    925 |        0 |        0
787.75/788.12	c  785s |      22 |  2016928 |  1947222 |     4832    927 |        0 |        0
789.75/790.14	c  788s |      22 |  2022466 |  1952622 |     4832    929 |        0 |        0
791.75/792.15	c  790s |      22 |  2028106 |  1958122 |     4832    931 |        0 |        0
793.74/794.17	c  792s |      22 |  2033312 |  1963022 |     4832    933 |        0 |        0
795.74/796.19	c  794s |      22 |  2038756 |  1968222 |     4832    935 |        0 |        0
797.84/798.22	c  796s |      22 |  2043315 |  1972522 |     4832    936 |        0 |        0
799.84/800.25	c  798s |      22 |  2047653 |  1976622 |     4832    938 |        0 |        0
801.84/802.25	c  800s |      22 |  2052854 |  1981622 |     4832    940 |        0 |        0
803.84/804.27	c  802s |      22 |  2057844 |  1986322 |     4832    942 |        0 |        0
805.84/806.29	c  804s |      22 |  2062318 |  1990622 |     4832    943 |        0 |        0
807.94/808.33	c  806s |      22 |  2066699 |  1994722 |     4832    945 |        0 |        0
809.94/810.39	c  808s |      22 |  2071281 |  1998922 |     4832    947 |        0 |        0
811.93/812.39	c  810s |      22 |  2075356 |  2002822 |     4832    948 |        0 |        0
814.03/814.42	c  812s |      22 |  2079995 |  2007222 |     4832    950 |        0 |        0
816.03/816.43	c  814s |      22 |  2085696 |  2012422 |     4832    952 |        0 |        0
818.04/818.46	c  816s |      22 |  2090677 |  2017222 |     4832    954 |        0 |        0
820.03/820.48	c  818s |      22 |  2095119 |  2021322 |     4832    955 |        0 |        0
822.14/822.50	c  820s |      22 |  2098073 |  2024122 |     4832    956 |        0 |        0
824.13/824.55	c  822s |      22 |  2102023 |  2027922 |     4832    958 |        0 |        0
826.13/826.55	c  824s |      22 |  2105032 |  2030722 |     4832    959 |        0 |        0
828.13/828.55	c  826s |      22 |  2110301 |  2035722 |     4832    961 |        0 |        0
830.14/830.58	c  828s |      22 |  2115210 |  2040422 |     4832    962 |        0 |        0
832.23/832.63	c  830s |      22 |  2120080 |  2045022 |     4832    964 |        0 |        0
834.33/834.71	c  832s |      22 |  2124157 |  2048822 |     4832    966 |        0 |        0
836.33/836.73	c  834s |      22 |  2129937 |  2054322 |     4832    968 |        0 |        0
838.33/838.74	c  836s |      22 |  2134240 |  2058122 |     4832    969 |        0 |        0
840.33/840.75	c  838s |      22 |  2138208 |  2061922 |     4832    971 |        0 |        0
842.42/842.87	c  840s |      22 |  2141551 |  2065122 |     4832    972 |        0 |        0
844.53/844.90	c  842s |      22 |  2145857 |  2069122 |     4832    973 |        0 |        0
846.52/846.94	c  844s |      22 |  2150517 |  2073522 |     4832    975 |        0 |        0
848.52/848.95	c  846s |      22 |  2154492 |  2077322 |     4832    976 |        0 |        0
850.52/850.99	c  848s |      22 |  2158724 |  2081322 |     4832    978 |        0 |        0
852.61/853.01	c  850s |      22 |  2162681 |  2084922 |     4832    979 |        0 |        0
854.61/855.08	c  852s |      22 |  2166289 |  2088122 |     4832    981 |        0 |        0
856.62/857.08	c  854s |      22 |  2169712 |  2091322 |     4832    982 |        0 |        0
858.72/859.12	c  856s |      22 |  2173115 |  2094622 |     4832    983 |        0 |        0
860.71/861.13	c  858s |      22 |  2178262 |  2099422 |     4832    985 |        0 |        0
862.71/863.15	c  861s |      22 |  2182572 |  2103522 |     4832    986 |        0 |        0
864.71/865.15	c  863s |      22 |  2187274 |  2108022 |     4832    988 |        0 |        0
866.71/867.16	c  865s |      22 |  2192057 |  2112522 |     4832    990 |        0 |        0
868.71/869.19	c  867s |      22 |  2196395 |  2116622 |     4832    991 |        0 |        0
870.81/871.24	c  869s |      22 |  2200783 |  2120722 |     4832    993 |        0 |        0
872.81/873.29	c  871s |      22 |  2205426 |  2125122 |     4832    995 |        0 |        0
874.81/875.29	c  873s |      22 |  2209957 |  2129522 |     4832    996 |        0 |        0
876.90/877.32	c  875s |      22 |  2214937 |  2134322 |     4832    998 |        0 |        0
878.90/879.32	c  877s |      22 |  2219582 |  2138822 |     4832   1000 |        0 |        0
880.90/881.36	c  879s |      22 |  2223266 |  2142422 |     4832   1001 |        0 |        0
882.92/883.38	c  881s |      22 |  2226485 |  2145522 |     4832   1003 |        0 |        0
885.01/885.41	c  883s |      22 |  2230550 |  2149422 |     4832   1004 |        0 |        0
887.01/887.42	c  885s |      22 |  2233613 |  2152222 |     4832   1005 |        0 |        0
889.01/889.47	c  887s |      22 |  2237274 |  2155722 |     4832   1006 |        0 |        0
891.01/891.48	c  889s |      22 |  2240593 |  2158922 |     4832   1008 |        0 |        0
893.01/893.49	c  891s |      22 |  2245078 |  2163222 |     4832   1009 |        0 |        0
895.12/895.51	c  893s |      22 |  2251559 |  2169422 |     4832   1012 |        0 |        0
897.11/897.53	c  895s |      22 |  2256974 |  2174422 |     4832   1014 |        0 |        0
899.11/899.56	c  897s |      22 |  2261295 |  2178322 |     4832   1015 |        0 |        0
901.21/901.60	c  899s |      22 |  2265805 |  2182422 |     4832   1017 |        0 |        0
903.21/903.60	c  901s |      22 |  2270106 |  2186222 |     4832   1018 |        0 |        0
905.21/905.66	c  903s |      22 |  2274965 |  2190822 |     4832   1020 |        0 |        0
907.31/907.70	c  905s |      22 |  2279546 |  2195122 |     4832   1021 |        0 |        0
909.21/909.70	c  907s |      22 |  2283839 |  2199022 |     4832   1023 |        0 |        0
911.31/911.75	c  909s |      22 |  2287977 |  2202822 |     4832   1024 |        0 |        0
913.31/913.76	c  911s |      22 |  2292410 |  2206822 |     4832   1026 |        0 |        0
915.41/915.80	c  913s |      22 |  2296334 |  2210522 |     4832   1027 |        0 |        0
917.41/917.83	c  915s |      22 |  2301757 |  2215822 |     4832   1029 |        0 |        0
919.41/919.87	c  917s |      22 |  2306701 |  2220622 |     4832   1031 |        0 |        0
921.41/921.88	c  919s |      22 |  2310744 |  2224522 |     4832   1033 |        0 |        0
923.40/923.89	c  921s |      22 |  2315719 |  2229322 |     5316   1034 |        0 |        0
925.50/925.92	c  923s |      22 |  2320437 |  2233922 |     5316   1036 |        0 |        0
927.50/927.94	c  925s |      22 |  2324950 |  2238222 |     5316   1037 |        0 |        0
929.50/929.94	c  927s |      22 |  2329793 |  2242922 |     5316   1039 |        0 |        0
931.60/932.00	c  929s |      22 |  2333852 |  2246822 |     5316   1040 |        0 |        0
933.61/934.04	c  931s |      22 |  2338212 |  2251022 |     5316   1042 |        0 |        0
933.61/934.05	c  931s |      23 |  2338227 |  2251038 |     5316   1042 |        0 |        0
935.60/936.06	c  933s |      23 |  2344673 |  2257138 |     5316   1044 |        0 |        0
937.60/938.07	c  935s |      23 |  2349575 |  2261838 |     5316   1046 |        0 |        0
939.60/940.09	c  937s |      23 |  2354759 |  2266838 |     5316   1047 |        0 |        0
941.70/942.11	c  939s |      23 |  2359866 |  2271838 |     5316   1049 |        0 |        0
943.70/944.13	c  941s |      23 |  2365361 |  2277238 |     5316   1051 |        0 |        0
945.70/946.16	c  944s |      23 |  2370361 |  2282038 |     5316   1053 |        0 |        0
947.70/948.19	c  946s |      23 |  2375902 |  2287338 |     5316   1055 |        0 |        0
949.80/950.20	c  948s |      23 |  2381296 |  2292438 |     5316   1056 |        0 |        0
951.80/952.23	c  950s |      23 |  2386840 |  2297738 |     5316   1058 |        0 |        0
953.79/954.24	c  952s |      23 |  2391024 |  2301738 |     5316   1060 |        0 |        0
955.79/956.26	c  954s |      23 |  2396071 |  2306338 |     5316   1061 |        0 |        0
957.80/958.26	c  956s |      23 |  2400893 |  2310938 |     5316   1063 |        0 |        0
959.79/960.28	c  958s |      23 |  2406139 |  2316038 |     5316   1065 |        0 |        0
961.79/962.29	c  960s |      23 |  2411288 |  2320938 |     5316   1066 |        0 |        0
963.79/964.29	c  962s |      23 |  2416697 |  2326238 |     5316   1068 |        0 |        0
965.89/966.31	c  964s |      23 |  2421897 |  2331338 |     5316   1070 |        0 |        0
967.90/968.32	c  966s |      23 |  2427219 |  2336538 |     5316   1072 |        0 |        0
969.91/970.38	c  968s |      23 |  2432443 |  2341638 |     5316   1074 |        0 |        0
972.01/972.41	c  970s |      23 |  2437785 |  2346838 |     5316   1075 |        0 |        0
974.00/974.44	c  972s |      23 |  2442672 |  2351638 |     5316   1077 |        0 |        0
976.00/976.46	c  974s |      23 |  2447260 |  2356138 |     5316   1079 |        0 |        0
978.00/978.48	c  976s |      23 |  2452218 |  2360938 |     5316   1080 |        0 |        0
980.10/980.50	c  978s |      23 |  2457667 |  2366138 |     5316   1082 |        0 |        0
982.10/982.51	c  980s |      23 |  2462608 |  2370938 |     5316   1084 |        0 |        0
984.10/984.55	c  982s |      23 |  2467593 |  2375838 |     5316   1085 |        0 |        0
986.09/986.56	c  984s |      23 |  2472601 |  2380738 |     5316   1087 |        0 |        0
988.09/988.57	c  986s |      23 |  2477151 |  2385238 |     5316   1089 |        0 |        0
990.19/990.62	c  988s |      23 |  2482536 |  2390438 |     5316   1091 |        0 |        0
992.19/992.63	c  990s |      23 |  2487674 |  2395438 |     5316   1092 |        0 |        0
994.19/994.66	c  992s |      23 |  2493069 |  2400638 |     5316   1094 |        0 |        0
996.20/996.69	c  994s |      23 |  2497817 |  2405138 |     5316   1096 |        0 |        0
998.29/998.71	c  996s |      23 |  2502765 |  2409938 |     5316   1097 |        0 |        0
1000.29/1000.74	c  998s |      23 |  2507746 |  2414838 |     5316   1099 |        0 |        0
1002.29/1002.74	c 1000s |      23 |  2512968 |  2419938 |     5316   1101 |        0 |        0
1004.29/1004.78	c 1002s |      23 |  2518436 |  2425238 |     5316   1103 |        0 |        0
1006.39/1006.80	c 1004s |      23 |  2523690 |  2430338 |     5316   1104 |        0 |        0
1008.39/1008.85	c 1006s |      23 |  2529057 |  2435538 |     5316   1106 |        0 |        0
1010.39/1010.87	c 1008s |      23 |  2533827 |  2439938 |     5316   1108 |        0 |        0
1012.49/1012.90	c 1010s |      23 |  2538961 |  2444938 |     5316   1110 |        0 |        0
1014.49/1014.94	c 1012s |      23 |  2543447 |  2449338 |     5316   1111 |        0 |        0
1016.49/1016.95	c 1014s |      23 |  2548544 |  2454138 |     5316   1113 |        0 |        0
1018.49/1018.96	c 1016s |      23 |  2553214 |  2458638 |     5316   1114 |        0 |        0
1020.49/1020.99	c 1018s |      23 |  2557857 |  2463238 |     5316   1116 |        0 |        0
1022.49/1022.99	c 1020s |      23 |  2562782 |  2468038 |     5316   1118 |        0 |        0
1024.59/1025.02	c 1022s |      23 |  2567894 |  2473038 |     5316   1119 |        0 |        0
1026.59/1027.06	c 1024s |      23 |  2573005 |  2478038 |     5316   1121 |        0 |        0
1028.59/1029.08	c 1026s |      23 |  2577963 |  2482838 |     5316   1123 |        0 |        0
1030.69/1031.10	c 1028s |      23 |  2583116 |  2487638 |     5316   1124 |        0 |        0
1032.69/1033.12	c 1030s |      23 |  2588553 |  2492938 |     5316   1126 |        0 |        0
1034.69/1035.16	c 1033s |      23 |  2594077 |  2498238 |     5316   1128 |        0 |        0
1036.69/1037.16	c 1035s |      23 |  2598831 |  2502838 |     5316   1130 |        0 |        0
1038.69/1039.18	c 1037s |      23 |  2604165 |  2508038 |     5316   1132 |        0 |        0
1040.78/1041.20	c 1039s |      23 |  2609588 |  2513238 |     5316   1133 |        0 |        0
1042.78/1043.21	c 1041s |      23 |  2614054 |  2517638 |     5316   1135 |        0 |        0
1044.78/1045.23	c 1043s |      23 |  2619161 |  2522638 |     5316   1137 |        0 |        0
1046.79/1047.24	c 1045s |      23 |  2624620 |  2527938 |     5316   1138 |        0 |        0
1048.78/1049.28	c 1047s |      23 |  2629727 |  2532838 |     5316   1140 |        0 |        0
1050.88/1051.31	c 1049s |      23 |  2634705 |  2537638 |     5316   1142 |        0 |        0
1052.88/1053.36	c 1051s |      23 |  2639687 |  2542538 |     5316   1144 |        0 |        0
1054.88/1055.38	c 1053s |      23 |  2644575 |  2547238 |     5316   1145 |        0 |        0
1056.98/1057.41	c 1055s |      23 |  2649610 |  2552138 |     5316   1147 |        0 |        0
1058.99/1059.43	c 1057s |      23 |  2654667 |  2557038 |     5316   1149 |        0 |        0
1060.98/1061.46	c 1059s |      23 |  2659511 |  2561738 |     5316   1150 |        0 |        0
1062.98/1063.49	c 1061s |      23 |  2664219 |  2566238 |     5316   1152 |        0 |        0
1065.08/1065.53	c 1063s |      23 |  2668941 |  2570738 |     5316   1153 |        0 |        0
1067.08/1067.57	c 1065s |      23 |  2673545 |  2575238 |     5316   1155 |        0 |        0
1069.18/1069.63	c 1067s |      23 |  2678290 |  2579838 |     5316   1157 |        0 |        0
1071.18/1071.64	c 1069s |      23 |  2683127 |  2584538 |     5316   1158 |        0 |        0
1073.18/1073.65	c 1071s |      23 |  2687679 |  2588938 |     5316   1160 |        0 |        0
1075.17/1075.69	c 1073s |      23 |  2692431 |  2593338 |     5316   1161 |        0 |        0
1077.27/1077.72	c 1075s |      23 |  2697808 |  2598338 |     5316   1163 |        0 |        0
1079.27/1079.73	c 1077s |      23 |  2702567 |  2602838 |     5316   1165 |        0 |        0
1081.27/1081.75	c 1079s |      23 |  2707614 |  2607738 |     5316   1166 |        0 |        0
1083.27/1083.77	c 1081s |      23 |  2712496 |  2612538 |     5316   1168 |        0 |        0
1085.38/1085.82	c 1083s |      23 |  2717329 |  2617138 |     5316   1170 |        0 |        0
1087.37/1087.83	c 1085s |      23 |  2722030 |  2621638 |     5316   1171 |        0 |        0
1089.37/1089.85	c 1087s |      23 |  2726412 |  2625838 |     5316   1173 |        0 |        0
1091.37/1091.85	c 1089s |      23 |  2731663 |  2630838 |     5316   1174 |        0 |        0
1093.37/1093.86	c 1091s |      23 |  2736446 |  2635438 |     5316   1176 |        0 |        0
1095.37/1095.88	c 1093s |      23 |  2741368 |  2640138 |     5316   1178 |        0 |        0
1097.38/1097.89	c 1095s |      23 |  2745970 |  2644638 |     5316   1179 |        0 |        0
1099.47/1099.93	c 1097s |      23 |  2750582 |  2649138 |     5316   1181 |        0 |        0
1101.47/1101.97	c 1099s |      23 |  2755554 |  2653938 |     5316   1182 |        0 |        0
1103.47/1103.98	c 1101s |      23 |  2759964 |  2658238 |     5316   1184 |        0 |        0
1105.57/1106.00	c 1103s |      23 |  2764809 |  2662938 |     5316   1185 |        0 |        0
1107.58/1108.04	c 1105s |      23 |  2769842 |  2667838 |     5316   1187 |        0 |        0
1109.58/1110.05	c 1107s |      23 |  2774770 |  2672438 |     5316   1189 |        0 |        0
1111.58/1112.08	c 1109s |      23 |  2779387 |  2676938 |     5316   1190 |        0 |        0
1113.58/1114.08	c 1111s |      23 |  2783964 |  2681438 |     5316   1192 |        0 |        0
1115.68/1116.12	c 1113s |      23 |  2788791 |  2686038 |     5316   1194 |        0 |        0
1117.68/1118.14	c 1115s |      23 |  2793824 |  2690938 |     5316   1195 |        0 |        0
1119.67/1120.14	c 1118s |      23 |  2798813 |  2695738 |     5316   1197 |        0 |        0
1121.68/1122.17	c 1120s |      23 |  2803788 |  2700538 |     5316   1199 |        0 |        0
1123.78/1124.20	c 1122s |      23 |  2809024 |  2705538 |     5316   1200 |        0 |        0
1125.77/1126.21	c 1124s |      23 |  2813938 |  2710238 |     5316   1202 |        0 |        0
1127.77/1128.25	c 1126s |      23 |  2818773 |  2714838 |     5316   1204 |        0 |        0
1129.77/1130.27	c 1128s |      23 |  2823934 |  2719738 |     5316   1205 |        0 |        0
1131.87/1132.30	c 1130s |      23 |  2828900 |  2724538 |     5316   1207 |        0 |        0
1133.87/1134.32	c 1132s |      23 |  2833996 |  2729338 |     5316   1209 |        0 |        0
1135.88/1136.36	c 1134s |      23 |  2838871 |  2734038 |     5316   1210 |        0 |        0
1137.87/1138.36	c 1136s |      23 |  2843975 |  2738938 |     5316   1212 |        0 |        0
1139.87/1140.39	c 1138s |      23 |  2848709 |  2743438 |     5316   1214 |        0 |        0
1141.97/1142.43	c 1140s |      23 |  2853628 |  2748138 |     5316   1215 |        0 |        0
1143.97/1144.45	c 1142s |      23 |  2858430 |  2752838 |     5316   1217 |        0 |        0
1146.07/1146.52	c 1144s |      23 |  2863495 |  2757738 |     5316   1219 |        0 |        0
1148.07/1148.53	c 1146s |      23 |  2868332 |  2762238 |     5316   1220 |        0 |        0
1150.07/1150.53	c 1148s |      23 |  2873411 |  2767038 |     5316   1222 |        0 |        0
1152.06/1152.58	c 1150s |      23 |  2878617 |  2772038 |     5316   1224 |        0 |        0
1154.16/1154.62	c 1152s |      23 |  2883840 |  2776938 |     5316   1225 |        0 |        0
1156.16/1156.65	c 1154s |      23 |  2888475 |  2781038 |     5316   1227 |        0 |        0
1158.16/1158.68	c 1156s |      23 |  2893837 |  2786138 |     5316   1228 |        0 |        0
1160.17/1160.69	c 1158s |      23 |  2898867 |  2791038 |     5316   1230 |        0 |        0
1162.16/1162.70	c 1160s |      23 |  2903120 |  2794938 |     5316   1232 |        0 |        0
1164.26/1164.72	c 1162s |      23 |  2908304 |  2799938 |     5316   1233 |        0 |        0
1166.26/1166.73	c 1164s |      23 |  2912821 |  2804238 |     5316   1235 |        0 |        0
1168.26/1168.77	c 1166s |      23 |  2917820 |  2809038 |     5316   1236 |        0 |        0
1170.26/1170.77	c 1168s |      23 |  2922174 |  2813238 |     5316   1238 |        0 |        0
1172.36/1172.84	c 1170s |      23 |  2926636 |  2817538 |     5316   1239 |        0 |        0
1174.37/1174.84	c 1172s |      23 |  2931477 |  2822238 |     5316   1241 |        0 |        0
1176.36/1176.87	c 1174s |      23 |  2936418 |  2826938 |     5316   1243 |        0 |        0
1178.36/1178.89	c 1176s |      23 |  2941322 |  2831638 |     5316   1244 |        0 |        0
1180.36/1180.89	c 1178s |      23 |  2945943 |  2836038 |     5316   1246 |        0 |        0
1182.46/1182.90	c 1180s |      23 |  2950450 |  2840438 |     5316   1247 |        0 |        0
1184.46/1184.90	c 1182s |      23 |  2955542 |  2845438 |     5316   1249 |        0 |        0
1186.46/1186.91	c 1184s |      23 |  2960215 |  2849938 |     5316   1251 |        0 |        0
1188.47/1188.94	c 1186s |      23 |  2965422 |  2855038 |     5316   1252 |        0 |        0
1190.47/1190.95	c 1188s |      23 |  2970470 |  2859838 |     5316   1254 |        0 |        0
1192.46/1192.96	c 1190s |      23 |  2975309 |  2864438 |     5316   1256 |        0 |        0
1194.46/1194.99	c 1192s |      23 |  2980075 |  2869038 |     5316   1257 |        0 |        0
1196.56/1197.00	c 1194s |      23 |  2984883 |  2873638 |     5316   1259 |        0 |        0
1198.57/1199.03	c 1196s |      23 |  2989874 |  2878438 |     5316   1261 |        0 |        0
1200.56/1201.06	c 1198s |      23 |  2995015 |  2883338 |     5316   1262 |        0 |        0
1202.56/1203.09	c 1200s |      23 |  2999454 |  2887538 |     5316   1264 |        0 |        0
1204.66/1205.10	c 1202s |      23 |  3004309 |  2892038 |     5316   1265 |        0 |        0
1206.66/1207.13	c 1204s |      23 |  3009106 |  2896538 |     5316   1267 |        0 |        0
1208.66/1209.15	c 1207s |      23 |  3013846 |  2901038 |     5316   1268 |        0 |        0
1210.67/1211.16	c 1209s |      23 |  3018847 |  2905838 |     5316   1270 |        0 |        0
1212.76/1213.20	c 1211s |      23 |  3023607 |  2910438 |     5316   1272 |        0 |        0
1214.76/1215.23	c 1213s |      23 |  3028421 |  2915138 |     5316   1273 |        0 |        0
1216.76/1217.26	c 1215s |      23 |  3032954 |  2919538 |     5316   1275 |        0 |        0
1218.76/1219.27	c 1217s |      23 |  3037711 |  2924138 |     5316   1277 |        0 |        0
1220.86/1221.30	c 1219s |      23 |  3042097 |  2928438 |     5316   1278 |        0 |        0
1222.86/1223.33	c 1221s |      23 |  3046904 |  2932938 |     5316   1280 |        0 |        0
1224.85/1225.35	c 1223s |      23 |  3051700 |  2937338 |     5316   1281 |        0 |        0
1226.85/1227.38	c 1225s |      23 |  3056100 |  2941538 |     5316   1283 |        0 |        0
1228.95/1229.41	c 1227s |      23 |  3061803 |  2947038 |     5316   1285 |        0 |        0
1230.95/1231.44	c 1229s |      23 |  3066408 |  2951538 |     5316   1286 |        0 |        0
1232.95/1233.46	c 1231s |      23 |  3071786 |  2956838 |     5316   1288 |        0 |        0
1234.96/1235.46	c 1233s |      23 |  3076753 |  2961638 |     5316   1290 |        0 |        0
1237.06/1237.51	c 1235s |      23 |  3081617 |  2966438 |     5316   1291 |        0 |        0
1239.05/1239.51	c 1237s |      23 |  3085797 |  2970538 |     5316   1293 |        0 |        0
1241.05/1241.53	c 1239s |      23 |  3090399 |  2975038 |     5316   1294 |        0 |        0
1243.05/1243.55	c 1241s |      23 |  3094892 |  2979438 |     5316   1296 |        0 |        0
1245.05/1245.56	c 1243s |      23 |  3099791 |  2984238 |     5316   1297 |        0 |        0
1247.06/1247.58	c 1245s |      23 |  3105054 |  2989338 |     5316   1299 |        0 |        0
1249.05/1249.58	c 1247s |      23 |  3109844 |  2993938 |     5316   1301 |        0 |        0
1251.15/1251.61	c 1249s |      23 |  3114103 |  2998038 |     5316   1302 |        0 |        0
1253.15/1253.64	c 1251s |      23 |  3119594 |  3003338 |     5316   1304 |        0 |        0
1255.15/1255.67	c 1253s |      23 |  3124965 |  3008538 |     5316   1306 |        0 |        0
1257.15/1257.69	c 1255s |      23 |  3129769 |  3013138 |     5316   1308 |        0 |        0
1259.25/1259.71	c 1257s |      23 |  3134718 |  3017938 |     5316   1309 |        0 |        0
1261.25/1261.72	c 1259s |      23 |  3139513 |  3022538 |     5316   1311 |        0 |        0
1263.25/1263.76	c 1261s |      23 |  3144231 |  3027138 |     5316   1312 |        0 |        0
1265.35/1265.80	c 1263s |      23 |  3149060 |  3031838 |     5316   1314 |        0 |        0
1267.35/1267.81	c 1265s |      23 |  3154257 |  3036738 |     5316   1316 |        0 |        0
1269.35/1269.82	c 1267s |      23 |  3159119 |  3041438 |     5316   1317 |        0 |        0
1271.35/1271.85	c 1269s |      23 |  3163958 |  3046138 |     5316   1319 |        0 |        0
1273.36/1273.88	c 1271s |      23 |  3169020 |  3050838 |     5316   1321 |        0 |        0
1275.45/1275.91	c 1273s |      23 |  3174012 |  3055638 |     5316   1322 |        0 |        0
1277.45/1277.92	c 1275s |      23 |  3178885 |  3060338 |     5316   1324 |        0 |        0
1279.45/1279.98	c 1277s |      23 |  3183517 |  3064738 |     5316   1326 |        0 |        0
1281.45/1282.00	c 1279s |      23 |  3188653 |  3069738 |     5316   1327 |        0 |        0
1283.55/1284.00	c 1281s |      23 |  3193484 |  3074338 |     5316   1329 |        0 |        0
1285.56/1286.02	c 1283s |      23 |  3198392 |  3079038 |     5316   1330 |        0 |        0
1287.55/1288.04	c 1285s |      23 |  3203461 |  3083838 |     5316   1332 |        0 |        0
1289.55/1290.07	c 1287s |      23 |  3208204 |  3088338 |     5316   1334 |        0 |        0
1291.65/1292.10	c 1289s |      23 |  3212685 |  3092738 |     5316   1335 |        0 |        0
1293.65/1294.11	c 1291s |      23 |  3217206 |  3097138 |     5316   1337 |        0 |        0
1295.65/1296.13	c 1293s |      23 |  3222323 |  3102038 |     5316   1339 |        0 |        0
1297.65/1298.15	c 1296s |      23 |  3227360 |  3106838 |     5316   1340 |        0 |        0
1299.64/1300.16	c 1298s |      23 |  3231984 |  3111338 |     5316   1342 |        0 |        0
1301.64/1302.16	c 1300s |      23 |  3236927 |  3116138 |     5316   1343 |        0 |        0
1303.64/1304.17	c 1302s |      23 |  3241962 |  3120938 |     5316   1345 |        0 |        0
1305.64/1306.18	c 1304s |      23 |  3246745 |  3125538 |     5316   1347 |        0 |        0
1307.64/1308.18	c 1306s |      23 |  3251723 |  3130338 |     5316   1348 |        0 |        0
1309.65/1310.20	c 1308s |      23 |  3256809 |  3135138 |     5316   1350 |        0 |        0
1311.74/1312.22	c 1310s |      23 |  3261265 |  3139438 |     5316   1352 |        0 |        0
1313.74/1314.24	c 1312s |      23 |  3266014 |  3143938 |     5316   1353 |        0 |        0
1315.74/1316.25	c 1314s |      23 |  3270939 |  3148638 |     5316   1355 |        0 |        0
1317.74/1318.26	c 1316s |      23 |  3275859 |  3153338 |     5316   1356 |        0 |        0
1319.74/1320.30	c 1318s |      23 |  3280872 |  3158238 |     5316   1358 |        0 |        0
1321.74/1322.30	c 1320s |      23 |  3285490 |  3162738 |     5316   1360 |        0 |        0
1323.84/1324.32	c 1322s |      23 |  3290126 |  3167238 |     5316   1361 |        0 |        0
1325.84/1326.33	c 1324s |      23 |  3295406 |  3172338 |     5316   1363 |        0 |        0
1327.84/1328.37	c 1326s |      23 |  3300311 |  3177038 |     5316   1365 |        0 |        0
1329.94/1330.41	c 1328s |      23 |  3305230 |  3181838 |     5316   1366 |        0 |        0
1331.93/1332.44	c 1330s |      23 |  3310395 |  3186738 |     5316   1368 |        0 |        0
1333.94/1334.47	c 1332s |      23 |  3315120 |  3191338 |     5316   1370 |        0 |        0
1335.93/1336.47	c 1334s |      23 |  3320045 |  3196138 |     5316   1371 |        0 |        0
1338.04/1338.51	c 1336s |      23 |  3324747 |  3200738 |     5316   1373 |        0 |        0
1340.04/1340.54	c 1338s |      23 |  3329964 |  3205738 |     5316   1375 |        0 |        0
1342.04/1342.58	c 1340s |      23 |  3334982 |  3210438 |     5316   1376 |        0 |        0
1344.14/1344.60	c 1342s |      23 |  3339930 |  3215238 |     5316   1378 |        0 |        0
1346.14/1346.65	c 1344s |      23 |  3344539 |  3219738 |     5316   1380 |        0 |        0
1348.15/1348.68	c 1346s |      23 |  3349138 |  3224238 |     5316   1381 |        0 |        0
1350.24/1350.70	c 1348s |      23 |  3354046 |  3228938 |     5316   1383 |        0 |        0
1352.24/1352.71	c 1350s |      23 |  3358577 |  3233238 |     5316   1384 |        0 |        0
1354.24/1354.74	c 1352s |      23 |  3363420 |  3237938 |     5316   1386 |        0 |        0
1356.24/1356.74	c 1354s |      23 |  3368140 |  3242438 |     5316   1387 |        0 |        0
1358.24/1358.76	c 1356s |      23 |  3373055 |  3247138 |     5316   1389 |        0 |        0
1360.24/1360.77	c 1358s |      23 |  3378006 |  3251938 |     5316   1391 |        0 |        0
1362.24/1362.77	c 1360s |      23 |  3382813 |  3256638 |     5316   1392 |        0 |        0
1364.33/1364.82	c 1362s |      23 |  3387721 |  3261338 |     5316   1394 |        0 |        0
1366.33/1366.83	c 1364s |      23 |  3392726 |  3266138 |     5316   1396 |        0 |        0
1368.33/1368.83	c 1366s |      23 |  3397594 |  3270838 |     5316   1397 |        0 |        0
1370.33/1370.85	c 1368s |      23 |  3402722 |  3275738 |     5316   1399 |        0 |        0
1372.34/1372.86	c 1370s |      23 |  3407565 |  3280438 |     5316   1401 |        0 |        0
1374.33/1374.88	c 1372s |      23 |  3412141 |  3284838 |     5316   1402 |        0 |        0
1376.43/1376.92	c 1374s |      23 |  3417225 |  3289838 |     5316   1404 |        0 |        0
1378.43/1378.94	c 1376s |      23 |  3421445 |  3293938 |     5316   1405 |        0 |        0
1380.43/1380.94	c 1378s |      23 |  3426418 |  3298738 |     5316   1407 |        0 |        0
1382.43/1382.97	c 1380s |      23 |  3431356 |  3303538 |     5316   1409 |        0 |        0
1384.44/1384.98	c 1382s |      23 |  3436146 |  3308138 |     5316   1410 |        0 |        0
1386.53/1387.01	c 1384s |      23 |  3441018 |  3312738 |     5316   1412 |        0 |        0
1388.53/1389.07	c 1386s |      23 |  3445894 |  3317338 |     5316   1414 |        0 |        0
1390.63/1391.10	c 1388s |      23 |  3450449 |  3321738 |     5316   1415 |        0 |        0
1392.63/1393.11	c 1390s |      23 |  3455345 |  3326438 |     5316   1417 |        0 |        0
1394.63/1395.14	c 1393s |      23 |  3460272 |  3331138 |     5316   1418 |        0 |        0
1396.63/1397.15	c 1395s |      23 |  3464913 |  3335638 |     5316   1420 |        0 |        0
1398.63/1399.19	c 1397s |      23 |  3469939 |  3340438 |     5316   1422 |        0 |        0
1400.73/1401.20	c 1399s |      23 |  3474694 |  3344938 |     5316   1423 |        0 |        0
1402.73/1403.23	c 1401s |      23 |  3479704 |  3349738 |     5848   1425 |        0 |        0
1404.73/1405.25	c 1403s |      23 |  3484338 |  3354038 |     5848   1426 |        0 |        0
1406.83/1407.30	c 1405s |      23 |  3488998 |  3358538 |     5848   1427 |        0 |        0
1408.83/1409.32	c 1407s |      23 |  3493569 |  3362938 |     5848   1429 |        0 |        0
1410.84/1411.36	c 1409s |      23 |  3497754 |  3366938 |     5848   1430 |        0 |        0
1412.93/1413.40	c 1411s |      23 |  3502050 |  3370938 |     5848   1431 |        0 |        0
1414.93/1415.42	c 1413s |      23 |  3506913 |  3375538 |     5848   1433 |        0 |        0
1415.43/1415.95	c 1413s |      24 |  3508148 |  3376662 |     5848   1433 |        0 |        0
1417.43/1417.99	c 1415s |      24 |  3513561 |  3381862 |     5848   1435 |        0 |        0
1419.52/1420.00	c 1417s |      24 |  3518020 |  3385962 |     5848   1436 |        0 |        0
1421.52/1422.04	c 1419s |      24 |  3522049 |  3389862 |     5848   1437 |        0 |        0
1423.52/1424.06	c 1421s |      24 |  3526474 |  3394062 |     5848   1439 |        0 |        0
1425.62/1426.10	c 1423s |      24 |  3530776 |  3398262 |     5848   1440 |        0 |        0
1427.62/1428.14	c 1425s |      24 |  3535372 |  3402762 |     5848   1441 |        0 |        0
1429.63/1430.17	c 1428s |      24 |  3540298 |  3407562 |     5848   1443 |        0 |        0
1431.62/1432.17	c 1430s |      24 |  3544175 |  3411162 |     5848   1444 |        0 |        0
1433.72/1434.23	c 1432s |      24 |  3548382 |  3415162 |     5848   1445 |        0 |        0
1435.72/1436.26	c 1434s |      24 |  3552208 |  3418862 |     5848   1447 |        0 |        0
1437.82/1438.33	c 1436s |      24 |  3556472 |  3422962 |     5848   1448 |        0 |        0
1439.82/1440.39	c 1438s |      24 |  3560949 |  3427262 |     5848   1449 |        0 |        0
1441.92/1442.41	c 1440s |      24 |  3565507 |  3431562 |     5848   1451 |        0 |        0
1443.93/1444.42	c 1442s |      24 |  3569403 |  3435162 |     5848   1452 |        0 |        0
1445.92/1446.45	c 1444s |      24 |  3573662 |  3439262 |     5848   1453 |        0 |        0
1448.02/1448.50	c 1446s |      24 |  3577124 |  3442562 |     5848   1454 |        0 |        0
1450.02/1450.56	c 1448s |      24 |  3580748 |  3446062 |     5848   1455 |        0 |        0
1452.02/1452.58	c 1450s |      24 |  3584553 |  3449762 |     5848   1456 |        0 |        0
1454.02/1454.58	c 1452s |      24 |  3588517 |  3453462 |     5848   1458 |        0 |        0
1456.12/1456.60	c 1454s |      24 |  3591719 |  3456462 |     5848   1459 |        0 |        0
1458.12/1458.63	c 1456s |      24 |  3594848 |  3459462 |     5848   1460 |        0 |        0
1460.12/1460.63	c 1458s |      24 |  3599540 |  3463962 |     5848   1461 |        0 |        0
1462.11/1462.68	c 1460s |      24 |  3603994 |  3468262 |     5848   1462 |        0 |        0
1464.21/1464.74	c 1462s |      24 |  3608411 |  3472462 |     5848   1464 |        0 |        0
1466.21/1466.77	c 1464s |      24 |  3612594 |  3476462 |     5848   1465 |        0 |        0
1468.21/1468.78	c 1466s |      24 |  3617336 |  3481062 |     5848   1466 |        0 |        0
1470.32/1470.82	c 1468s |      24 |  3621777 |  3485062 |     5848   1468 |        0 |        0
1472.32/1472.86	c 1470s |      24 |  3626155 |  3489162 |     5848   1469 |        0 |        0
1474.32/1474.86	c 1472s |      24 |  3630567 |  3493462 |     5848   1470 |        0 |        0
1476.32/1476.89	c 1474s |      24 |  3634411 |  3497162 |     5848   1472 |        0 |        0
1478.42/1478.94	c 1476s |      24 |  3638519 |  3501162 |     5848   1473 |        0 |        0
1480.42/1480.95	c 1478s |      24 |  3642505 |  3505062 |     5848   1474 |        0 |        0
1482.52/1483.01	c 1480s |      24 |  3646717 |  3509162 |     5848   1475 |        0 |        0
1484.52/1485.02	c 1482s |      24 |  3650433 |  3512762 |     5848   1476 |        0 |        0
1486.52/1487.03	c 1484s |      24 |  3653856 |  3516062 |     5848   1478 |        0 |        0
1488.52/1489.07	c 1486s |      24 |  3657764 |  3519662 |     5848   1479 |        0 |        0
1490.51/1491.09	c 1488s |      24 |  3661599 |  3523362 |     5848   1480 |        0 |        0
1492.61/1493.12	c 1490s |      24 |  3665624 |  3527262 |     5848   1481 |        0 |        0
1494.61/1495.15	c 1493s |      24 |  3670732 |  3532062 |     5848   1483 |        0 |        0
1496.62/1497.17	c 1495s |      24 |  3675565 |  3536762 |     5848   1484 |        0 |        0
1498.71/1499.24	c 1497s |      24 |  3679985 |  3540962 |     5848   1485 |        0 |        0
1500.71/1501.25	c 1499s |      24 |  3683723 |  3544562 |     5848   1487 |        0 |        0
1502.71/1503.27	c 1501s |      24 |  3687479 |  3548162 |     5848   1488 |        0 |        0
1504.71/1505.29	c 1503s |      24 |  3691761 |  3552362 |     5848   1489 |        0 |        0
1506.81/1507.34	c 1505s |      24 |  3696608 |  3556862 |     5848   1490 |        0 |        0
1508.82/1509.37	c 1507s |      24 |  3699743 |  3559762 |     5848   1491 |        0 |        0
1510.82/1511.40	c 1509s |      24 |  3703911 |  3563762 |     5848   1493 |        0 |        0
1512.92/1513.42	c 1511s |      24 |  3708180 |  3567962 |     5848   1494 |        0 |        0
1514.91/1515.44	c 1513s |      24 |  3711844 |  3571562 |     5848   1495 |        0 |        0
1516.91/1517.46	c 1515s |      24 |  3714574 |  3574162 |     5848   1496 |        0 |        0
1519.01/1519.50	c 1517s |      24 |  3718905 |  3578362 |     5848   1497 |        0 |        0
1521.01/1521.52	c 1519s |      24 |  3723331 |  3582662 |     5848   1499 |        0 |        0
1523.02/1523.60	c 1521s |      24 |  3727651 |  3586862 |     5848   1500 |        0 |        0
1525.11/1525.63	c 1523s |      24 |  3731290 |  3590362 |     5848   1501 |        0 |        0
1527.21/1527.71	c 1525s |      24 |  3734986 |  3593862 |     5848   1502 |        0 |        0
1529.21/1529.72	c 1527s |      24 |  3738390 |  3597062 |     5848   1503 |        0 |        0
1531.21/1531.75	c 1529s |      24 |  3742335 |  3600862 |     5848   1505 |        0 |        0
1533.21/1533.78	c 1531s |      24 |  3745644 |  3604062 |     5848   1506 |        0 |        0
1535.31/1535.82	c 1533s |      24 |  3748937 |  3607262 |     5848   1507 |        0 |        0
1537.31/1537.84	c 1535s |      24 |  3753317 |  3611462 |     5848   1508 |        0 |        0
1539.30/1539.84	c 1537s |      24 |  3757260 |  3615262 |     5848   1509 |        0 |        0
1541.40/1541.96	c 1539s |      24 |  3760945 |  3618762 |     5848   1510 |        0 |        0
1543.50/1544.01	c 1541s |      24 |  3764997 |  3622662 |     5848   1511 |        0 |        0
1545.51/1546.03	c 1543s |      24 |  3769156 |  3626662 |     5848   1513 |        0 |        0
1547.51/1548.04	c 1545s |      24 |  3772433 |  3629762 |     5848   1514 |        0 |        0
1549.52/1550.06	c 1547s |      24 |  3776298 |  3633462 |     5848   1515 |        0 |        0
1551.51/1552.08	c 1549s |      24 |  3780187 |  3637162 |     5848   1516 |        0 |        0
1553.51/1554.08	c 1551s |      24 |  3785047 |  3641662 |     5848   1518 |        0 |        0
1555.61/1556.13	c 1553s |      24 |  3789172 |  3645662 |     5848   1519 |        0 |        0
1557.60/1558.15	c 1556s |      24 |  3793800 |  3650162 |     5848   1520 |        0 |        0
1559.60/1560.19	c 1558s |      24 |  3797541 |  3653762 |     5848   1521 |        0 |        0
1561.70/1562.22	c 1560s |      24 |  3801086 |  3657162 |     5848   1522 |        0 |        0
1563.71/1564.25	c 1562s |      24 |  3804414 |  3660262 |     5848   1523 |        0 |        0
1565.70/1566.29	c 1564s |      24 |  3807414 |  3663162 |     5848   1524 |        0 |        0
1567.80/1568.30	c 1566s |      24 |  3811253 |  3666862 |     5848   1526 |        0 |        0
1569.80/1570.32	c 1568s |      24 |  3815686 |  3671062 |     5848   1527 |        0 |        0
1571.81/1572.34	c 1570s |      24 |  3819679 |  3674862 |     5848   1528 |        0 |        0
1573.81/1574.35	c 1572s |      24 |  3824561 |  3679562 |     5848   1530 |        0 |        0
1575.81/1576.39	c 1574s |      24 |  3828623 |  3683462 |     5848   1531 |        0 |        0
1577.91/1578.43	c 1576s |      24 |  3832428 |  3687162 |     5848   1532 |        0 |        0
1579.90/1580.43	c 1578s |      24 |  3835874 |  3690462 |     5848   1533 |        0 |        0
1581.90/1582.44	c 1580s |      24 |  3839776 |  3694162 |     5848   1534 |        0 |        0
1583.90/1584.44	c 1582s |      24 |  3843752 |  3698062 |     5848   1535 |        0 |        0
1585.90/1586.45	c 1584s |      24 |  3848121 |  3702262 |     5848   1537 |        0 |        0
1587.91/1588.46	c 1586s |      24 |  3852210 |  3706262 |     5848   1538 |        0 |        0
1589.90/1590.47	c 1588s |      24 |  3856147 |  3710162 |     5848   1539 |        0 |        0
1592.00/1592.51	c 1590s |      24 |  3859947 |  3713862 |     5848   1541 |        0 |        0
1594.00/1594.53	c 1592s |      24 |  3863625 |  3717362 |     5848   1542 |        0 |        0
1596.00/1596.56	c 1594s |      24 |  3868359 |  3721862 |     5848   1543 |        0 |        0
1598.00/1598.59	c 1596s |      24 |  3872452 |  3725862 |     5848   1544 |        0 |        0
1600.00/1600.60	c 1598s |      24 |  3876098 |  3729262 |     5848   1545 |        0 |        0
1602.10/1602.63	c 1600s |      24 |  3881103 |  3734062 |     5848   1547 |        0 |        0
1604.10/1604.67	c 1602s |      24 |  3885239 |  3737962 |     5848   1548 |        0 |        0
1606.10/1606.69	c 1604s |      24 |  3890572 |  3743162 |     5848   1550 |        0 |        0
1608.20/1608.71	c 1606s |      24 |  3895024 |  3747462 |     5848   1551 |        0 |        0
1610.20/1610.74	c 1608s |      24 |  3899407 |  3751662 |     5848   1553 |        0 |        0
1612.20/1612.79	c 1610s |      24 |  3903973 |  3756062 |     5848   1554 |        0 |        0
1614.30/1614.83	c 1612s |      24 |  3908013 |  3760062 |     5848   1555 |        0 |        0
1616.29/1616.85	c 1614s |      24 |  3911074 |  3763062 |     5848   1556 |        0 |        0
1618.29/1618.88	c 1616s |      24 |  3915509 |  3767262 |     5848   1557 |        0 |        0
1620.39/1620.91	c 1618s |      24 |  3919302 |  3770862 |     5848   1559 |        0 |        0
1622.39/1622.92	c 1620s |      24 |  3924141 |  3775662 |     5848   1560 |        0 |        0
1624.39/1624.94	c 1622s |      24 |  3929705 |  3781162 |     5848   1562 |        0 |        0
1626.40/1626.94	c 1624s |      24 |  3934922 |  3786262 |     5848   1564 |        0 |        0
1628.39/1628.97	c 1626s |      24 |  3940513 |  3791762 |     5848   1565 |        0 |        0
1630.39/1630.98	c 1628s |      24 |  3946021 |  3797162 |     5848   1567 |        0 |        0
1632.39/1632.99	c 1630s |      24 |  3950630 |  3801662 |     5848   1568 |        0 |        0
1634.49/1635.03	c 1632s |      24 |  3955707 |  3806662 |     5848   1570 |        0 |        0
1636.49/1637.06	c 1634s |      24 |  3960681 |  3811562 |     5848   1572 |        0 |        0
1638.49/1639.06	c 1636s |      24 |  3965307 |  3816162 |     5848   1573 |        0 |        0
1640.49/1641.09	c 1638s |      24 |  3969746 |  3820562 |     5848   1574 |        0 |        0
1642.59/1643.12	c 1640s |      24 |  3975056 |  3825762 |     5848   1576 |        0 |        0
1644.59/1645.12	c 1642s |      24 |  3979892 |  3830462 |     5848   1578 |        1 |        9
1646.59/1647.16	c 1645s |      24 |  3985504 |  3835862 |     5848   1579 |        1 |        9
1648.59/1649.19	c 1647s |      24 |  3989855 |  3840062 |     5848   1581 |        1 |        9
1650.70/1651.22	c 1649s |      24 |  3994576 |  3844662 |     5848   1582 |        1 |        9
1652.69/1653.23	c 1651s |      24 |  3998856 |  3848762 |     5848   1583 |        1 |        9
1654.69/1655.23	c 1653s |      24 |  4003075 |  3852762 |     5848   1585 |        1 |        9
1656.69/1657.25	c 1655s |      24 |  4006816 |  3856362 |     5848   1586 |        1 |        9
1658.69/1659.26	c 1657s |      24 |  4011413 |  3860762 |     5848   1587 |        1 |        9
1660.79/1661.30	c 1659s |      24 |  4015569 |  3864762 |     5848   1589 |        1 |        9
1662.79/1663.39	c 1661s |      24 |  4019751 |  3868762 |     5848   1590 |        1 |        9
1664.89/1665.43	c 1663s |      24 |  4024078 |  3872762 |     5848   1591 |        1 |        9
1666.89/1667.49	c 1665s |      24 |  4028353 |  3876862 |     5848   1592 |        1 |        9
1668.99/1669.52	c 1667s |      24 |  4033284 |  3881562 |     5848   1594 |        1 |        9
1670.99/1671.54	c 1669s |      24 |  4037415 |  3885462 |     5848   1595 |        1 |        9
1672.98/1673.60	c 1671s |      24 |  4041390 |  3889362 |     5848   1596 |        1 |        9
1675.08/1675.66	c 1673s |      24 |  4045767 |  3893662 |     5848   1598 |        1 |        9
1677.09/1677.67	c 1675s |      24 |  4050348 |  3898062 |     5848   1599 |        1 |        9
1679.08/1679.70	c 1677s |      24 |  4054010 |  3901562 |     5848   1600 |        1 |        9
1681.18/1681.72	c 1679s |      24 |  4058012 |  3905462 |     5848   1601 |        1 |        9
1683.18/1683.77	c 1681s |      24 |  4062695 |  3909762 |     5848   1603 |        1 |        9
1685.18/1685.79	c 1683s |      24 |  4066567 |  3913362 |     5848   1604 |        1 |        9
1687.28/1687.83	c 1685s |      24 |  4070129 |  3916862 |     5848   1605 |        1 |        9
1689.28/1689.85	c 1687s |      24 |  4073700 |  3920362 |     5848   1606 |        1 |        9
1691.29/1691.90	c 1689s |      24 |  4077274 |  3923862 |     5848   1607 |        1 |        9
1693.39/1693.92	c 1691s |      24 |  4080533 |  3927062 |     5848   1608 |        1 |        9
1695.39/1695.95	c 1693s |      24 |  4083899 |  3930362 |     5848   1609 |        1 |        9
1697.39/1697.99	c 1695s |      24 |  4087407 |  3933762 |     5848   1610 |        1 |        9
1699.49/1700.05	c 1697s |      24 |  4091026 |  3937262 |     5848   1612 |        1 |        9
1701.49/1702.07	c 1699s |      24 |  4094596 |  3940762 |     5848   1613 |        1 |        9
1703.49/1704.08	c 1701s |      24 |  4098065 |  3944162 |     5848   1614 |        1 |        9
1705.59/1706.12	c 1703s |      24 |  4101600 |  3947562 |     5848   1615 |        1 |        9
1707.58/1708.14	c 1705s |      24 |  4104873 |  3950762 |     5848   1616 |        1 |        9
1709.58/1710.18	c 1708s |      24 |  4108844 |  3954662 |     5848   1617 |        1 |        9
1711.68/1712.22	c 1710s |      24 |  4112208 |  3957962 |     5848   1618 |        1 |        9
1713.68/1714.23	c 1712s |      24 |  4115580 |  3961262 |     5848   1619 |        1 |        9
1715.68/1716.27	c 1714s |      24 |  4119175 |  3964762 |     5848   1620 |        1 |        9
1717.68/1718.30	c 1716s |      24 |  4122768 |  3968262 |     5848   1621 |        1 |        9
1719.78/1720.38	c 1718s |      24 |  4126352 |  3971762 |     5848   1623 |        1 |        9
1721.87/1722.42	c 1720s |      24 |  4129877 |  3975262 |     5848   1624 |        1 |        9
1723.87/1724.43	c 1722s |      24 |  4133489 |  3978762 |     5848   1625 |        1 |        9
1725.87/1726.45	c 1724s |      24 |  4136877 |  3982062 |     5848   1626 |        1 |        9
1727.88/1728.49	c 1726s |      24 |  4140272 |  3985362 |     5848   1627 |        1 |        9
1729.98/1730.51	c 1728s |      24 |  4143321 |  3988362 |     5848   1628 |        1 |        9
1731.99/1732.53	c 1730s |      24 |  4146489 |  3991462 |     5848   1629 |        1 |        9
1733.98/1734.55	c 1732s |      24 |  4149353 |  3994262 |     5848   1630 |        1 |        9
1735.98/1736.58	c 1734s |      24 |  4152537 |  3997362 |     5848   1631 |        1 |        9
1738.08/1738.63	c 1736s |      24 |  4155838 |  4000562 |     5848   1632 |        1 |        9
1740.08/1740.65	c 1738s |      24 |  4158793 |  4003462 |     5848   1633 |        1 |        9
1742.08/1742.68	c 1740s |      24 |  4162396 |  4006962 |     5848   1634 |        1 |        9
1744.18/1744.72	c 1742s |      24 |  4167631 |  4012062 |     5848   1635 |        1 |        9
1746.18/1746.77	c 1744s |      24 |  4172379 |  4016662 |     5848   1637 |        1 |        9
1748.28/1748.81	c 1746s |      24 |  4177091 |  4021262 |     5848   1638 |        1 |        9
1750.28/1750.81	c 1748s |      24 |  4181811 |  4025862 |     5848   1640 |        1 |        9
1752.28/1752.85	c 1750s |      24 |  4186649 |  4030562 |     5848   1641 |        1 |        9
1754.28/1754.89	c 1752s |      24 |  4190913 |  4034662 |     5848   1643 |        1 |        9
1756.38/1756.91	c 1754s |      24 |  4195613 |  4039162 |     5848   1644 |        1 |        9
1758.38/1758.92	c 1756s |      24 |  4199876 |  4043162 |     5848   1646 |        1 |        9
1760.37/1760.93	c 1758s |      24 |  4204382 |  4047362 |     5848   1647 |        1 |        9
1762.37/1762.97	c 1760s |      24 |  4209094 |  4051862 |     5848   1648 |        1 |        9
1764.47/1765.00	c 1762s |      24 |  4213581 |  4056062 |     5848   1650 |        1 |        9
1766.47/1767.03	c 1764s |      24 |  4217862 |  4060162 |     5848   1651 |        1 |        9
1768.47/1769.04	c 1766s |      24 |  4221737 |  4063862 |     5848   1652 |        1 |        9
1770.48/1771.07	c 1768s |      24 |  4226297 |  4068262 |     5848   1654 |        1 |        9
1772.47/1773.08	c 1770s |      24 |  4231022 |  4072862 |     5848   1655 |        1 |        9
1774.57/1775.10	c 1772s |      24 |  4235409 |  4077162 |     5848   1657 |        1 |        9
1776.57/1777.13	c 1774s |      24 |  4240440 |  4082062 |     5848   1658 |        1 |        9
1778.57/1779.14	c 1777s |      24 |  4245255 |  4086662 |     5848   1660 |        1 |        9
1780.57/1781.16	c 1779s |      24 |  4250022 |  4091162 |     5848   1661 |        1 |        9
1782.57/1783.18	c 1781s |      24 |  4254389 |  4095362 |     5848   1662 |        1 |        9
1784.67/1785.20	c 1783s |      24 |  4258346 |  4099162 |     5848   1664 |        1 |        9
1786.67/1787.20	c 1785s |      24 |  4262013 |  4102662 |     5848   1665 |        1 |        9
1788.66/1789.22	c 1787s |      24 |  4266273 |  4106762 |     5848   1666 |        1 |        9
1790.66/1791.24	c 1789s |      24 |  4269512 |  4109862 |     5848   1667 |        1 |        9
1792.66/1793.28	c 1791s |      24 |  4273314 |  4113462 |     5848   1668 |        1 |        9
1794.67/1795.29	c 1793s |      24 |  4276426 |  4116462 |     5848   1669 |        1 |        9
1796.76/1797.33	c 1795s |      24 |  4280033 |  4119962 |     5848   1670 |        1 |        9
1798.76/1799.39	c 1797s |      24 |  4283643 |  4123262 |     5848   1671 |        1 |        9

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

pid=8750
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.04 2.10 2.08 3/179 8753
/proc/meminfo: memFree=30203952/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=501180 CPUtime=0 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 1827 0 0 0 0 0 0 0 20 0 4 0 28681790 513208320 2188 33554432000 4194304 16246674 140737456857536 140737456856960 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 125807 2200 441 2943 0 122701 0
[pid=8753/tid=8754] ppid=8750 vsize=544188 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 557248512 2357 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=548284 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 561442816 2374 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=552380 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28681790 565637120 2392 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.04 2.10 2.08 3/179 8753
/proc/meminfo: memFree=30203952/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 21489 0 0 0 6 2 0 0 20 0 4 0 28681790 1247350784 21838 33554432000 4194304 16246674 140737456857536 140737456856960 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 304529 21849 760 2943 0 301423 0
[pid=8753/tid=8754] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 21857 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 21867 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 21875 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.04 2.10 2.08 3/179 8753
/proc/meminfo: memFree=30203952/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 38382 0 0 0 14 4 0 0 20 0 4 0 28681790 1247350784 38731 33554432000 4194304 16246674 140737456857536 140737456856960 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 304529 38735 760 2943 0 301423 0
[pid=8753/tid=8754] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 38738 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 38744 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 38749 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300496 s]
/proc/loadavg: 2.04 2.10 2.08 3/179 8753
/proc/meminfo: memFree=30203952/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 56287 0 0 0 22 7 0 0 20 0 4 0 28681790 1247350784 56637 33554432000 4194304 16246674 140737456857536 140737456856960 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 304529 56643 767 2943 0 301423 0
[pid=8753/tid=8754] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 56649 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 56655 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 56665 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 2.04 2.10 2.08 3/179 8753
/proc/meminfo: memFree=30203952/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 129851 0 0 0 51 18 0 0 20 0 4 0 28681790 1247350784 130200 33554432000 4194304 16246674 140737456857536 140737456856960 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 304529 130213 767 2943 0 301423 0
[pid=8753/tid=8754] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 130220 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 130228 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28681790 1247350784 130235 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 8757
/proc/meminfo: memFree=29381744/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1220164 CPUtime=1.48 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 246067 0 0 0 114 34 0 0 20 0 4 0 28681790 1249447936 246393 33554432000 4194304 16246674 140737456857536 140737456856848 5711688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 305041 246393 834 2943 0 301935 0
[pid=8753/tid=8754] ppid=8750 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1249447936 246393 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1249447936 246393 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1249447936 246393 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1220164

[startup+3.10041 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 8757
/proc/meminfo: memFree=29219560/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1304132 CPUtime=3.08 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 266922 0 0 0 271 37 0 0 20 0 4 0 28681790 1335431168 267248 33554432000 4194304 16246674 140737456857536 140737456839424 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 326033 267248 852 2943 0 322927 0
[pid=8753/tid=8754] ppid=8750 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1335431168 267248 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1335431168 267248 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1335431168 267248 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1304132

[startup+6.30042 s]
/proc/loadavg: 2.04 2.09 2.08 3/183 8757
/proc/meminfo: memFree=29132160/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 267871 0 0 0 590 39 0 0 20 0 4 0 28681790 1338576896 268197 33554432000 4194304 16246674 140737456857536 140737456839424 5712760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 326801 268197 853 2943 0 323695 0
[pid=8753/tid=8754] ppid=8750 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1338576896 268197 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1338576896 268197 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1338576896 268197 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 8757
/proc/meminfo: memFree=29126944/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 269179 0 0 0 1230 39 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 140737456839424 5553621 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 328081 269505 853 2943 0 324975 0
[pid=8753/tid=8754] ppid=8750 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 8757
/proc/meminfo: memFree=29127352/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 269179 0 0 0 2510 39 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 140737456839424 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 328081 269505 853 2943 0 324975 0
[pid=8753/tid=8754] ppid=8750 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.07 2.09 2.09 3/183 8758
/proc/meminfo: memFree=29126832/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 269179 0 0 0 5069 39 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 140737456839424 5589615 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 328081 269505 853 2943 0 324975 0
[pid=8753/tid=8754] ppid=8750 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1343819776 269505 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.08 2.09 2.09 3/183 8759
/proc/meminfo: memFree=29124624/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 269691 0 0 0 10188 40 0 0 20 0 4 0 28681790 1345916928 270017 33554432000 4194304 16246674 140737456857536 140737456839424 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 328593 270017 853 2943 0 325487 0
[pid=8753/tid=8754] ppid=8750 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1345916928 270017 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1345916928 270017 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1345916928 270017 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1321540

[startup+1302.3 s]
/proc/loadavg: 2.32 2.20 2.12 3/183 8887
/proc/meminfo: memFree=29097224/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1321540 CPUtime=1301.84 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 271893 0 0 0 130125 59 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 140737456839424 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 330385 271814 855 2943 0 327279 0
[pid=8753/tid=8754] ppid=8750 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.24 2.20 2.12 3/183 8888
/proc/meminfo: memFree=29091780/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1321540 CPUtime=1361.84 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 271893 0 0 0 136124 60 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 140737456839424 5827984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 330385 271814 855 2943 0 327279 0
[pid=8753/tid=8754] ppid=8750 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.20 2.20 2.12 3/183 8889
/proc/meminfo: memFree=29092184/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1321540 CPUtime=1421.83 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 271893 0 0 0 142122 61 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 140737456839424 5827656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 330385 271814 855 2943 0 327279 0
[pid=8753/tid=8754] ppid=8750 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1353256960 271814 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.31 2.22 2.13 3/183 8890
/proc/meminfo: memFree=29090120/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1323588 CPUtime=1481.82 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 272405 0 0 0 148120 62 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 140737456839424 13774504 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 330897 272326 855 2943 0 327791 0
[pid=8753/tid=8754] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1323588

[startup+1542.31 s]
/proc/loadavg: 2.28 2.23 2.13 3/183 8891
/proc/meminfo: memFree=29089516/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1323588 CPUtime=1541.81 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 272405 0 0 0 154118 63 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 140737456839424 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 330897 272326 855 2943 0 327791 0
[pid=8753/tid=8754] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1323588

[startup+1602.3 s]
/proc/loadavg: 2.16 2.20 2.13 3/183 8893
/proc/meminfo: memFree=29089672/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1323588 CPUtime=1601.8 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 272405 0 0 0 160115 65 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 140737456839424 5600267 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 330897 272326 855 2943 0 327791 0
[pid=8753/tid=8754] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1323588

[startup+1662.3 s]
/proc/loadavg: 2.16 2.19 2.13 3/183 8894
/proc/meminfo: memFree=29089924/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1323588 CPUtime=1661.79 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 272405 0 0 0 166113 66 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 140737456839424 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 330897 272326 855 2943 0 327791 0
[pid=8753/tid=8754] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 2.22 2.20 2.13 3/184 8898
/proc/meminfo: memFree=29089604/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1323588 CPUtime=1721.77 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 272405 0 0 0 172110 67 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 140737456839424 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 330897 272326 855 2943 0 327791 0
[pid=8753/tid=8754] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1323588

[startup+1782.3 s]
/proc/loadavg: 2.33 2.25 2.15 3/183 8899
/proc/meminfo: memFree=29089608/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1323588 CPUtime=1781.77 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 272405 0 0 0 178109 68 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 140737456839424 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 330897 272326 855 2943 0 327791 0
[pid=8753/tid=8754] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.32 2.25 2.15 3/183 8899
/proc/meminfo: memFree=29089856/32872528 swapFree=526336/559040
[pid=8753] ppid=8750 vsize=1323588 CPUtime=1800.07 cores=1,3,5,7
/proc/8753/stat : 8753 (toysat) R 8750 8753 28898 0 -1 4202496 272405 0 0 0 179938 69 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 140737456839424 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8753/statm: 330897 272326 855 2943 0 327791 0
[pid=8753/tid=8754] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (toysat) S 8750 8753 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885415476464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=8753/tid=8755] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (toysat) S 8750 8753 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885404986608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=8753/tid=8756] ppid=8750 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (toysat) S 8750 8753 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28681790 1355354112 272326 33554432000 4194304 16246674 140737456857536 139885394513072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 8753 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.39
CPU system time (s): 0.690894
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.690894
maximum resident set size= 1089304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272405
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= 421
involuntary context switches= 2282

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78782 second user time and 9.30559 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 18:11:57
IDJOB=4106139
IDBENCH=47949
IDSOLVER=2542
FILE ID=node106/4106139-1466266317
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106139-1466266317/watcher-4106139-1466266317 -o /tmp/evaluation-result-4106139-1466266317/solver-4106139-1466266317 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106139-1466266317.opb

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

MD5SUM BENCH= 6d677c4de75200a225209ed048e7b96e
RANDOM SEED=2004701242

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30204744 kB
Buffers:           85348 kB
Cached:           195656 kB
SwapCached:         1736 kB
Active:          1174292 kB
Inactive:         185788 kB
Active(anon):    1077348 kB
Inactive(anon):     4000 kB
Active(file):      96944 kB
Inactive(file):   181788 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16440 kB
Writeback:            32 kB
AnonPages:       1639584 kB
Mapped:            10480 kB
Shmem:                 0 kB
Slab:             613304 kB
SReclaimable:      56576 kB
SUnreclaim:       556728 kB
KernelStack:        1488 kB
PageTables:         7488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1784216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    798720 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= 71668 MiB
End job on node106 at 2016-06-18 18:41:57