Trace number 4106097

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=163-P2=41-P3=157-P4=223-P5=67-P6=191-P7=17-P8=37-B.opb
MD5SUM870560ebbd959d9c8bd54c4fcdba3455
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.130979
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 variables192
Total number of constraints17
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 constraints17
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)512
Sum of products size (including duplicates)1024
Number of different products512
Sum of products size1024

Solver Data 

0.00/0.00	c 2016-06-18T17:57:35+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-4106097-1466265455.opb"]
0.00/0.01	c use --random-gen="2067245721 3596269733 3144713763 2846384415 1854667754 1606191826 4265657491 1158206267 3010229602 2916192521 600630382 2097825976 921232875 1137208228 3546544700 4001111147 540174776 71231254 2573218303 1440094112 2486763881 3727527644 2872308281 3297756129 3440505338 2435426389 750627390 1909290801 3212476295 1175534749 3347246506 2236495238 1914584027 2169273299 3480326468 3366979442 1871753577 1334462341 3233672122 2255046894 3861356116 3107780799 1227372705 1731671316 3492739698 4078863888 3871960530 1892252815 3971783836 277721009 369502461 3425036687 1569280417 1079485285 2566675848 572632647 3111682217 1723557196 2179153744 275969189 1971673674 4096804970 4030646649 884298300 2499936456 1031551633 415403399 2151878608 2603743179 5016858 3996758878 1473990416 4221490362 322691566 4093289046 2684473790 2572214691 3552209583 446639089 1751972548 3744416181 2856283552 60919391 2408972552 1830021297 3757417629 787255557 2087976508 3613550858 1340880196 820948787 3571103907 1744469643 320721312 2006886624 2130537151 3794383963 1268030940 886481493 2992650256 1454965327 732194308 1793237128 1668271572 1777364925 1383685978 413766170 3362303007 15678860 799626416 1748374322 2659942925 2636636139 1634558406 1135262884 2940527192 1690801530 1795640824 3236606883 2447987817 3462960781 4231787167 782471567 282277798 2358449300 140189371 3522461180 4238987398 3812884437 1537176410 1960247003 2338139012 4126061995 3039623901 4161303184 1691737063 1589821981 4279172358 3137736552 1367483797 2354455440 2955482208 2348613746 489435505 841814897 2530907663 1285683211 209699835 3751420887 3293700524 1284979111 3911451572 3530739549 2364476250 212584779 3535790781 3968952393 2566758154 3693666757 1649286544 908984199 2957448982 774373886 688063203 564848722 3572098581 2361462881 2348276728 263867943 2237889670 2051123880 1051893054 339936138 574216264 13069324 1510023304 786272667 983534407 392617254 946544098 3105475647 604402125 286673195 2888257916 4293441680 3786312867 1693431799 349027210 2157476615 200086200 903863339 1663661992 542585276 2593557531 4043813423 2050495983 2294460023 1480609871 4109161217 591620762 292805182 2414506997 2033565322 1447317814 990515881 2993500128 1202532711 3684661896 1623754497 2100026823 537053898 4266891028 2708922465 4111573132 1411386923 997379562 3559661903 2403172676 725709573 2706268516 3785336031 2538694584 3571704617 210421615 3934927349 1749960408 3839568799 1598039859 680809498 471949363 375935054 4196117365 3441668294 3937745624 2190511625 3899698498 3093576469 1543503822 3965970835 2415798447 1211162101 3328423200 198699093 2188422593 1320981222 3286393060 3001034728 3084287306 1512455435 1501153843 1067759270 2765659467 3532946625 1320744217 1786547667 1841980065 255 362436" option to reproduce the execution
0.00/0.01	c #vars 192
0.00/0.01	c #constraints 17
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      755      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      113 |      100 |      755      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      280 |      250 |      831      0 |        0 |        0
0.09/0.14	c  0.1s |       3 |      534 |      475 |      915      0 |        0 |        0
0.19/0.23	c  0.2s |       4 |      974 |      813 |     1007      0 |        0 |        0
0.79/0.89	c  0.9s |       5 |     1671 |     1320 |     1108      0 |        0 |        0
1.29/1.35	c  1.3s |       6 |     2780 |     2081 |     1341      1 |        0 |        0
1.79/1.81	c  1.8s |       7 |     4080 |     3223 |     1476      3 |        0 |        0
2.09/2.16	c  2.1s |       8 |     5962 |     4936 |     1624      4 |        0 |        0
2.79/2.88	c  2.8s |       9 |     8657 |     7506 |     1787      7 |        0 |        0
2.99/3.07	c  3.0s |       9 |     9788 |     8455 |     1787      8 |        0 |        0
2.99/3.07	c #cpu_time = 3.031s
2.99/3.07	c #wall_clock_time = 3.039s
2.99/3.07	c #decision = 9788
2.99/3.07	c #random_decision = 37
2.99/3.07	c #conflict = 8455
2.99/3.07	c #restart = 9
2.99/3.07	o 175
2.99/3.07	c BCD2: updating upper bound: 255 -> 174
2.99/3.07	c BCD2: 0 <= obj <= 174
2.99/3.07	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
2.99/3.07	c BCD2: #sat=1 #unsat=1 bias=1/2
2.99/3.07	c Solving starts ...
2.99/3.07	c ============================[ Search Statistics ]============================
2.99/3.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.99/3.07	c       |         |          |          |    Limit     GC | Var      | Constra 
2.99/3.07	c =============================================================================
2.99/3.07	c  0.0s |       0 |        0 |        0 |     1787      0 |        0 |        0
2.99/3.07	c  0.0s |       0 |        6 |        0 |     1787      0 |        0 |        0
2.99/3.07	c #cpu_time = 0.004s
2.99/3.07	c #wall_clock_time = 0.004s
2.99/3.07	c #decision = 6
2.99/3.07	c #random_decision = 0
2.99/3.07	c #conflict = 0
2.99/3.07	c #restart = 0
2.99/3.07	c BCD2: found a new core of size 7: cost of the new core is >=2
2.99/3.07	c lower bound updated to 2
2.99/3.07	c BCD2: 2 <= obj <= 174
2.99/3.07	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
2.99/3.07	c BCD2: #sat=1 #unsat=2 bias=2/3
2.99/3.07	c Solving starts ...
2.99/3.07	c ============================[ Search Statistics ]============================
2.99/3.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.99/3.07	c       |         |          |          |    Limit     GC | Var      | Constra 
2.99/3.07	c =============================================================================
2.99/3.07	c  0.0s |       0 |        0 |        0 |     1787      0 |        0 |        0
3.09/3.12	c  0.0s |       1 |      187 |      100 |     1787      0 |        0 |        0
3.19/3.24	c  0.2s |       2 |      398 |      250 |     1787      0 |        0 |        0
3.29/3.39	c  0.3s |       3 |      804 |      475 |     1787      0 |        0 |        0
3.39/3.46	c  0.4s |       4 |     1271 |      813 |     1787      1 |        0 |        0
3.49/3.58	c  0.5s |       5 |     1837 |     1320 |     1787      1 |        0 |        0
3.79/3.85	c  0.8s |       6 |     2843 |     2081 |     1787      2 |        0 |        0
4.09/4.17	c  1.1s |       7 |     4105 |     3223 |     1966      2 |        0 |        0
4.59/4.67	c  1.6s |       8 |     6075 |     4936 |     1966      4 |        0 |        0
5.39/5.45	c  2.4s |       9 |     8901 |     7506 |     1966      6 |        0 |        0
6.29/6.35	c  3.3s |      10 |    12936 |    11361 |     2163      9 |        0 |        0
8.29/8.37	c  5.3s |      10 |    17828 |    15161 |     2163     12 |        0 |        0
8.99/9.03	c  6.0s |      11 |    20004 |    17144 |     2163     13 |        0 |        0
11.00/11.03	c  8.0s |      11 |    28097 |    24644 |     2380     18 |        0 |        0
11.29/11.36	c  8.3s |      12 |    29276 |    25819 |     2380     19 |        0 |        0
13.30/13.37	c 10.3s |      12 |    34304 |    30519 |     2618     22 |        0 |        0
15.29/15.39	c 12.3s |      12 |    39696 |    35619 |     2618     25 |        0 |        0
16.60/16.66	c 13.6s |      13 |    43075 |    38832 |     2618     27 |        0 |        0
18.59/18.69	c 15.6s |      13 |    50748 |    45932 |     2618     32 |        0 |        0
20.69/20.70	c 17.6s |      13 |    58051 |    52732 |     2880     37 |        0 |        0
22.39/22.43	c 19.4s |      14 |    63863 |    58352 |     2880     40 |        0 |        0
24.39/24.46	c 21.4s |      14 |    69118 |    63052 |     2880     43 |        0 |        0
26.40/26.47	c 23.4s |      14 |    75552 |    69252 |     2880     47 |        0 |        0
28.49/28.50	c 25.4s |      14 |    82724 |    76052 |     2880     51 |        0 |        0
30.49/30.51	c 27.4s |      14 |    89918 |    82952 |     3169     55 |        0 |        0
32.09/32.13	c 29.1s |      15 |    94753 |    87632 |     3169     57 |        0 |        0
34.09/34.16	c 31.1s |      15 |   100310 |    92432 |     3169     60 |        0 |        0
36.09/36.20	c 33.1s |      15 |   106311 |    97432 |     3169     63 |        0 |        0
38.19/38.22	c 35.1s |      15 |   111346 |   101532 |     3169     65 |        0 |        0
40.19/40.26	c 37.2s |      15 |   115597 |   104232 |     3169     67 |        0 |        0
42.19/42.27	c 39.2s |      15 |   120001 |   107532 |     3169     68 |        0 |        0
44.19/44.28	c 41.2s |      15 |   125678 |   112932 |     3169     71 |        0 |        0
46.19/46.30	c 43.2s |      15 |   132405 |   119432 |     3169     75 |        0 |        0
48.28/48.33	c 45.3s |      15 |   136137 |   122732 |     3486     76 |        0 |        0
50.28/50.33	c 47.3s |      15 |   141371 |   127532 |     3486     79 |        0 |        0
51.48/51.51	c 48.4s |      16 |   145616 |   131552 |     3486     81 |        0 |        0
53.48/53.51	c 50.4s |      16 |   154577 |   139752 |     3486     85 |        0 |        0
55.48/55.53	c 52.5s |      16 |   162484 |   147252 |     3486     89 |        0 |        0
57.48/57.53	c 54.5s |      16 |   169789 |   154252 |     3486     92 |        0 |        0
59.49/59.54	c 56.5s |      16 |   177328 |   161552 |     3486     96 |        0 |        0
61.48/61.54	c 58.5s |      16 |   185205 |   169152 |     3486     99 |        0 |        0
63.48/63.56	c 60.5s |      16 |   193257 |   176952 |     3486    103 |        0 |        0
65.48/65.59	c 62.5s |      16 |   199798 |   183252 |     3486    106 |        0 |        0
67.58/67.60	c 64.5s |      16 |   206562 |   189752 |     3835    110 |        0 |        0
69.58/69.62	c 66.6s |      17 |   214559 |   197432 |     3835    113 |        0 |        0
71.59/71.63	c 68.6s |      17 |   220451 |   202332 |     3835    115 |        0 |        0
73.58/73.66	c 70.6s |      17 |   225118 |   206732 |     3835    118 |        0 |        0
75.58/75.66	c 72.6s |      17 |   229579 |   211032 |     3835    120 |        0 |        0
77.68/77.73	c 74.7s |      17 |   236877 |   218232 |     3835    123 |        0 |        0
79.68/79.77	c 76.7s |      17 |   241972 |   222832 |     3835    125 |        0 |        0
81.78/81.80	c 78.7s |      17 |   245964 |   226532 |     3835    127 |        0 |        0
83.78/83.80	c 80.7s |      17 |   250888 |   230832 |     3835    129 |        0 |        0
85.78/85.82	c 82.8s |      17 |   257703 |   236932 |     3835    131 |        0 |        0
87.78/87.84	c 84.8s |      17 |   263085 |   241632 |     3835    134 |        0 |        0
89.78/89.85	c 86.8s |      17 |   270077 |   248032 |     3835    136 |        0 |        0
91.78/91.88	c 88.8s |      17 |   276648 |   254132 |     3835    139 |        0 |        0
93.77/93.90	c 90.8s |      17 |   282894 |   260132 |     3835    142 |        0 |        0
95.87/95.90	c 92.8s |      17 |   289121 |   265932 |     3835    145 |        0 |        0
97.88/97.92	c 94.9s |      17 |   296009 |   272232 |     3835    147 |        0 |        0
99.87/99.93	c 96.9s |      17 |   303775 |   279332 |     3835    151 |        0 |        0
101.87/101.93	c 98.9s |      17 |   310881 |   285932 |     4219    154 |        0 |        0
103.87/103.93	c  100s |      17 |   318379 |   293032 |     4219    157 |        0 |        0
104.77/104.89	c  101s |      18 |   321893 |   296252 |     4219    158 |        0 |        0
106.78/106.90	c  103s |      18 |   330556 |   304552 |     4219    162 |        0 |        0
108.88/108.91	c  105s |      18 |   339153 |   312852 |     4219    165 |        0 |        0
110.87/110.94	c  107s |      18 |   345696 |   319252 |     4219    168 |        0 |        0
112.87/112.98	c  109s |      18 |   352165 |   325552 |     4219    171 |        0 |        0
114.87/114.99	c  111s |      18 |   359053 |   332152 |     4219    173 |        0 |        0
116.97/117.00	c  113s |      18 |   366349 |   339152 |     4219    176 |        0 |        0
118.97/119.02	c  115s |      18 |   373059 |   345452 |     4219    179 |        0 |        0
120.98/121.04	c  117s |      18 |   379788 |   351852 |     4219    182 |        0 |        0
122.98/123.06	c  119s |      18 |   386832 |   358552 |     4219    184 |        0 |        0
124.98/125.06	c  121s |      18 |   393157 |   364552 |     4219    187 |        0 |        0
126.98/127.06	c  123s |      18 |   399437 |   370452 |     4219    190 |        0 |        0
128.98/129.06	c  125s |      18 |   405590 |   376352 |     4219    192 |        0 |        0
130.98/131.08	c  128s |      18 |   412576 |   382852 |     4219    195 |        0 |        0
132.97/133.09	c  130s |      18 |   418837 |   388452 |     4219    197 |        0 |        0
135.07/135.11	c  132s |      18 |   424904 |   394252 |     4219    200 |        0 |        0
137.07/137.14	c  134s |      18 |   431311 |   400452 |     4219    202 |        0 |        0
139.07/139.16	c  136s |      18 |   437379 |   406252 |     4219    205 |        0 |        0
141.07/141.19	c  138s |      18 |   443321 |   411652 |     4219    207 |        0 |        0
143.17/143.22	c  140s |      18 |   450001 |   418052 |     4219    210 |        0 |        0
145.18/145.23	c  142s |      18 |   456413 |   424052 |     4219    212 |        0 |        0
147.17/147.24	c  144s |      18 |   464200 |   431552 |     4219    215 |        0 |        0
149.17/149.24	c  146s |      18 |   470528 |   437152 |     4641    218 |        0 |        0
151.17/151.27	c  148s |      18 |   475942 |   442052 |     4641    219 |        0 |        0
152.17/152.25	c  149s |      19 |   478571 |   444482 |     4641    220 |        0 |        0
154.17/154.26	c  151s |      19 |   485331 |   451082 |     4641    223 |        0 |        0
156.18/156.27	c  153s |      19 |   491023 |   456482 |     4641    225 |        0 |        0
158.17/158.28	c  155s |      19 |   496066 |   461082 |     4641    227 |        0 |        0
160.27/160.30	c  157s |      19 |   501336 |   466082 |     4641    229 |        0 |        0
162.27/162.32	c  159s |      19 |   505788 |   470182 |     4641    231 |        0 |        0
164.27/164.34	c  161s |      19 |   511463 |   475382 |     4641    233 |        0 |        0
166.27/166.35	c  163s |      19 |   516664 |   480282 |     4641    235 |        0 |        0
168.27/168.36	c  165s |      19 |   522170 |   485582 |     4641    237 |        0 |        0
170.27/170.36	c  167s |      19 |   527924 |   491182 |     4641    239 |        0 |        0
172.27/172.36	c  169s |      19 |   533037 |   496082 |     4641    241 |        0 |        0
174.27/174.39	c  171s |      19 |   538226 |   500782 |     4641    243 |        0 |        0
176.36/176.41	c  173s |      19 |   543303 |   505482 |     4641    245 |        0 |        0
178.36/178.45	c  175s |      19 |   549044 |   510882 |     4641    247 |        0 |        0
180.37/180.49	c  177s |      19 |   553950 |   515282 |     4641    249 |        0 |        0
182.46/182.54	c  179s |      19 |   559421 |   520382 |     4641    251 |        0 |        0
184.46/184.58	c  181s |      19 |   564499 |   525082 |     4641    253 |        0 |        0
186.56/186.60	c  183s |      19 |   569519 |   529782 |     4641    255 |        0 |        0
188.56/188.62	c  185s |      19 |   574741 |   534582 |     4641    256 |        0 |        0
190.56/190.63	c  187s |      19 |   579797 |   539282 |     4641    258 |        0 |        0
192.57/192.66	c  189s |      19 |   584486 |   543682 |     4641    260 |        0 |        0
194.56/194.70	c  191s |      19 |   588911 |   547882 |     4641    262 |        0 |        0
196.66/196.73	c  193s |      19 |   592674 |   551382 |     4641    263 |        0 |        0
198.66/198.73	c  195s |      19 |   597780 |   556182 |     4641    265 |        0 |        0
200.66/200.75	c  197s |      19 |   602563 |   560582 |     4641    267 |        0 |        0
202.66/202.78	c  199s |      19 |   607052 |   564682 |     4641    268 |        0 |        0
204.76/204.81	c  201s |      19 |   611100 |   568082 |     4641    270 |        0 |        0
206.77/206.87	c  203s |      19 |   615116 |   571382 |     4641    271 |        0 |        0
208.76/208.89	c  205s |      19 |   619344 |   575182 |     4641    273 |        0 |        0
210.86/210.93	c  207s |      19 |   626112 |   580782 |     4641    275 |        0 |        0
212.86/212.95	c  209s |      19 |   632980 |   587382 |     4641    277 |        0 |        0
214.96/215.01	c  211s |      19 |   639167 |   593482 |     4641    280 |        0 |        0
216.96/217.04	c  213s |      19 |   645163 |   599382 |     4641    282 |        0 |        0
218.96/219.04	c  215s |      19 |   651021 |   605082 |     4641    284 |        0 |        0
220.96/221.05	c  217s |      19 |   658552 |   612082 |     4641    287 |        0 |        0
222.96/223.06	c  219s |      19 |   665599 |   618482 |     4641    289 |        0 |        0
224.96/225.06	c  221s |      19 |   672414 |   624682 |     4641    292 |        0 |        0
226.96/227.08	c  224s |      19 |   678980 |   630682 |     4641    294 |        0 |        0
228.96/229.09	c  226s |      19 |   685628 |   636882 |     4641    296 |        0 |        0
230.96/231.10	c  228s |      19 |   691878 |   642482 |     4641    298 |        0 |        0
233.05/233.14	c  230s |      19 |   697875 |   647882 |     4641    300 |        0 |        0
235.05/235.16	c  232s |      19 |   703893 |   653382 |     4641    303 |        0 |        0
237.05/237.17	c  234s |      19 |   708967 |   658282 |     5106    304 |        0 |        0
239.05/239.19	c  236s |      19 |   715035 |   663882 |     5106    306 |        0 |        0
240.35/240.49	c  237s |      20 |   718180 |   666827 |     5106    307 |        0 |        0
242.45/242.50	c  239s |      20 |   725575 |   673627 |     5106    310 |        0 |        0
244.45/244.52	c  241s |      20 |   730625 |   678427 |     5106    311 |        0 |        0
246.46/246.55	c  243s |      20 |   736779 |   684127 |     5106    314 |        0 |        0
248.45/248.56	c  245s |      20 |   743138 |   689927 |     5106    316 |        0 |        0
250.45/250.57	c  247s |      20 |   748775 |   695327 |     5106    318 |        0 |        0
252.55/252.60	c  249s |      20 |   754730 |   700927 |     5106    320 |        0 |        0
254.55/254.64	c  251s |      20 |   760259 |   706227 |     5106    322 |        0 |        0
256.55/256.64	c  253s |      20 |   766160 |   711727 |     5106    324 |        0 |        0
258.55/258.66	c  255s |      20 |   772345 |   717527 |     5106    326 |        0 |        0
260.55/260.67	c  257s |      20 |   778605 |   723427 |     5106    328 |        0 |        0
262.55/262.69	c  259s |      20 |   784674 |   729027 |     5106    330 |        0 |        0
264.55/264.69	c  261s |      20 |   790426 |   734627 |     5106    332 |        0 |        0
266.65/266.73	c  263s |      20 |   796746 |   740627 |     5106    334 |        0 |        0
268.65/268.77	c  265s |      20 |   802909 |   746527 |     5106    336 |        0 |        0
270.66/270.79	c  267s |      20 |   808844 |   752127 |     5106    338 |        0 |        0
272.76/272.82	c  269s |      20 |   815088 |   758127 |     5106    340 |        0 |        0
274.75/274.85	c  271s |      20 |   820749 |   763427 |     5106    342 |        0 |        0
276.75/276.87	c  273s |      20 |   826830 |   769227 |     5106    344 |        0 |        0
278.75/278.87	c  275s |      20 |   832835 |   774627 |     5106    346 |        0 |        0
280.85/280.90	c  277s |      20 |   838895 |   780127 |     5106    348 |        0 |        0
282.85/282.91	c  279s |      20 |   844721 |   785527 |     5106    350 |        0 |        0
284.86/284.93	c  281s |      20 |   850510 |   791027 |     5106    352 |        0 |        0
286.85/286.96	c  283s |      20 |   856753 |   796727 |     5106    354 |        0 |        0
288.85/288.97	c  285s |      20 |   862780 |   802327 |     5106    356 |        0 |        0
290.85/290.99	c  287s |      20 |   868934 |   807727 |     5106    358 |        0 |        0
292.85/292.99	c  289s |      20 |   875362 |   813027 |     5106    360 |        0 |        0
294.95/295.01	c  291s |      20 |   881388 |   818527 |     5106    362 |        0 |        0
296.95/297.03	c  293s |      20 |   886840 |   823527 |     5106    364 |        0 |        0
298.95/299.04	c  295s |      20 |   893030 |   829127 |     5106    366 |        0 |        0
300.95/301.05	c  297s |      20 |   899626 |   834827 |     5106    368 |        0 |        0
302.95/303.06	c  299s |      20 |   905156 |   840127 |     5106    370 |        0 |        0
304.95/305.09	c  302s |      20 |   911221 |   845927 |     5106    372 |        0 |        0
307.05/307.12	c  304s |      20 |   916615 |   851127 |     5106    374 |        0 |        0
309.05/309.14	c  306s |      20 |   922640 |   856827 |     5106    376 |        0 |        0
311.04/311.17	c  308s |      20 |   928317 |   862127 |     5106    378 |        0 |        0
313.14/313.20	c  310s |      20 |   934943 |   868427 |     5106    380 |        0 |        0
315.14/315.21	c  312s |      20 |   940781 |   873827 |     5106    382 |        0 |        0
317.14/317.21	c  314s |      20 |   946588 |   879327 |     5106    384 |        0 |        0
319.14/319.22	c  316s |      20 |   952240 |   884627 |     5106    386 |        0 |        0
321.15/321.23	c  318s |      20 |   958201 |   889827 |     5106    388 |        0 |        0
323.14/323.26	c  320s |      20 |   963905 |   894727 |     5106    390 |        0 |        0
325.14/325.27	c  322s |      20 |   969887 |   900227 |     5106    392 |        0 |        0
327.14/327.27	c  324s |      20 |   975740 |   905827 |     5106    394 |        0 |        0
329.24/329.30	c  326s |      20 |   981513 |   911327 |     5106    396 |        0 |        0
331.24/331.32	c  328s |      20 |   987451 |   917027 |     5106    398 |        0 |        0
333.25/333.33	c  330s |      20 |   993119 |   922427 |     5106    400 |        0 |        0
335.24/335.34	c  332s |      20 |   999218 |   928227 |     5106    402 |        0 |        0
337.24/337.37	c  334s |      20 |  1004885 |   933727 |     5106    404 |        0 |        0
339.24/339.38	c  336s |      20 |  1010991 |   939427 |     5106    406 |        0 |        0
341.34/341.41	c  338s |      20 |  1016505 |   944627 |     5106    408 |        0 |        0
343.34/343.44	c  340s |      20 |  1022136 |   949927 |     5106    410 |        0 |        0
345.35/345.45	c  342s |      20 |  1028115 |   955427 |     5106    412 |        0 |        0
347.34/347.45	c  344s |      20 |  1033945 |   960827 |     5106    413 |        0 |        0
349.34/349.45	c  346s |      20 |  1040443 |   966927 |     5106    416 |        0 |        0
351.34/351.46	c  348s |      20 |  1046915 |   972627 |     5106    418 |        0 |        0
353.44/353.50	c  350s |      20 |  1053185 |   977727 |     5106    420 |        0 |        0
355.44/355.54	c  352s |      20 |  1058820 |   983027 |     5106    422 |        0 |        0
357.44/357.55	c  354s |      20 |  1064937 |   988427 |     5617    423 |        0 |        0
359.44/359.56	c  356s |      20 |  1070874 |   993727 |     5617    425 |        0 |        0
361.44/361.57	c  358s |      20 |  1076430 |   998727 |     5617    427 |        0 |        0
362.14/362.24	c  359s |      21 |  1078228 |  1000345 |     5617    427 |        0 |        0
364.14/364.25	c  361s |      21 |  1084576 |  1006345 |     5617    429 |        0 |        0
366.13/366.27	c  363s |      21 |  1090829 |  1012045 |     5617    431 |        0 |        0
368.13/368.28	c  365s |      21 |  1097288 |  1018045 |     5617    433 |        0 |        0
370.23/370.30	c  367s |      21 |  1104022 |  1024145 |     5617    435 |        0 |        0
372.23/372.32	c  369s |      21 |  1110686 |  1030245 |     5617    437 |        0 |        0
374.23/374.35	c  371s |      21 |  1116907 |  1035845 |     5617    439 |        0 |        0
376.24/376.36	c  373s |      21 |  1122713 |  1041045 |     5617    441 |        0 |        0
378.23/378.38	c  375s |      21 |  1126619 |  1044645 |     5617    442 |        0 |        0
380.33/380.40	c  377s |      21 |  1131425 |  1048945 |     5617    443 |        0 |        0
382.33/382.43	c  379s |      21 |  1137070 |  1054145 |     5617    445 |        0 |        0
384.33/384.44	c  381s |      21 |  1142847 |  1058945 |     5617    447 |        0 |        0
386.33/386.45	c  383s |      21 |  1147457 |  1063345 |     5617    448 |        0 |        0
388.34/388.47	c  385s |      21 |  1152034 |  1067445 |     5617    450 |        0 |        0
390.33/390.48	c  387s |      21 |  1156612 |  1071345 |     5617    451 |        0 |        0
392.43/392.56	c  389s |      21 |  1161371 |  1075745 |     5617    453 |        0 |        0
394.43/394.57	c  391s |      21 |  1165918 |  1080045 |     5617    454 |        0 |        0
396.43/396.59	c  393s |      21 |  1170157 |  1084145 |     5617    455 |        0 |        0
398.53/398.61	c  395s |      21 |  1174940 |  1088645 |     5617    457 |        0 |        0
400.53/400.67	c  397s |      21 |  1179590 |  1093045 |     5617    458 |        0 |        0
402.63/402.72	c  399s |      21 |  1184316 |  1097445 |     5617    460 |        0 |        0
404.63/404.74	c  401s |      21 |  1189221 |  1101745 |     5617    461 |        0 |        0
406.63/406.75	c  403s |      21 |  1193363 |  1105345 |     5617    463 |        0 |        0
408.63/408.75	c  405s |      21 |  1197903 |  1109545 |     5617    464 |        0 |        0
410.63/410.78	c  407s |      21 |  1203154 |  1114245 |     5617    466 |        0 |        0
412.73/412.80	c  409s |      21 |  1209569 |  1119645 |     5617    467 |        0 |        0
414.73/414.82	c  411s |      21 |  1214131 |  1123945 |     5617    469 |        0 |        0
416.73/416.88	c  413s |      21 |  1220675 |  1129445 |     5617    471 |        0 |        0
418.73/418.88	c  415s |      21 |  1226331 |  1134545 |     5617    473 |        0 |        0
420.73/420.89	c  417s |      21 |  1233410 |  1140945 |     5617    475 |        0 |        0
422.82/422.91	c  419s |      21 |  1238695 |  1146045 |     5617    476 |        0 |        0
424.82/424.93	c  421s |      21 |  1243325 |  1150445 |     5617    478 |        0 |        0
426.83/426.95	c  423s |      21 |  1248459 |  1155045 |     5617    480 |        0 |        0
428.82/428.97	c  425s |      21 |  1254095 |  1160345 |     5617    481 |        0 |        0
430.82/430.99	c  427s |      21 |  1257892 |  1164045 |     5617    483 |        0 |        0
432.92/433.03	c  429s |      21 |  1263721 |  1169145 |     5617    484 |        0 |        0
434.92/435.06	c  431s |      21 |  1269996 |  1174845 |     5617    486 |        0 |        0
436.92/437.06	c  433s |      21 |  1276401 |  1180645 |     5617    488 |        0 |        0
438.93/439.06	c  435s |      21 |  1282852 |  1186545 |     5617    490 |        0 |        0
440.92/441.10	c  438s |      21 |  1289471 |  1192445 |     5617    492 |        0 |        0
443.02/443.11	c  440s |      21 |  1295400 |  1197945 |     5617    494 |        0 |        0
445.02/445.12	c  442s |      21 |  1302151 |  1204145 |     5617    496 |        0 |        0
447.02/447.13	c  444s |      21 |  1307042 |  1208545 |     5617    498 |        0 |        0
449.02/449.14	c  446s |      21 |  1313294 |  1214245 |     5617    500 |        0 |        0
451.02/451.16	c  448s |      21 |  1319361 |  1219745 |     5617    502 |        0 |        0
453.02/453.18	c  450s |      21 |  1325340 |  1224945 |     5617    503 |        0 |        0
455.12/455.21	c  452s |      21 |  1331448 |  1230545 |     5617    505 |        0 |        0
457.12/457.23	c  454s |      21 |  1337521 |  1235545 |     5617    507 |        0 |        0
459.12/459.23	c  456s |      21 |  1343369 |  1240945 |     5617    509 |        0 |        0
461.12/461.24	c  458s |      21 |  1349371 |  1246045 |     5617    511 |        0 |        0
463.13/463.27	c  460s |      21 |  1356586 |  1252445 |     5617    513 |        0 |        0
465.12/465.30	c  462s |      21 |  1362320 |  1257045 |     5617    514 |        0 |        0
467.22/467.33	c  464s |      21 |  1367053 |  1261445 |     5617    516 |        0 |        0
469.22/469.35	c  466s |      21 |  1372087 |  1266245 |     5617    517 |        0 |        0
471.22/471.38	c  468s |      21 |  1378660 |  1272445 |     5617    520 |        0 |        0
473.22/473.39	c  470s |      21 |  1383908 |  1277345 |     5617    521 |        0 |        0
475.23/475.39	c  472s |      21 |  1388851 |  1281845 |     5617    523 |        0 |        0
477.22/477.39	c  474s |      21 |  1394449 |  1286945 |     5617    524 |        0 |        0
479.32/479.40	c  476s |      21 |  1399765 |  1292045 |     5617    526 |        0 |        0
481.32/481.43	c  478s |      21 |  1405305 |  1297345 |     5617    528 |        0 |        0
483.32/483.45	c  480s |      21 |  1410536 |  1302045 |     5617    530 |        0 |        0
485.32/485.46	c  482s |      21 |  1415861 |  1306845 |     5617    531 |        0 |        0
487.33/487.49	c  484s |      21 |  1421886 |  1312345 |     5617    533 |        0 |        0
489.43/489.54	c  486s |      21 |  1427371 |  1317345 |     5617    535 |        0 |        0
491.42/491.57	c  488s |      21 |  1432519 |  1321845 |     5617    536 |        0 |        0
493.42/493.57	c  490s |      21 |  1438209 |  1327145 |     5617    538 |        0 |        0
495.52/495.60	c  492s |      21 |  1444731 |  1333145 |     5617    540 |        0 |        0
497.52/497.60	c  494s |      21 |  1450569 |  1338645 |     5617    542 |        0 |        0
499.52/499.61	c  496s |      21 |  1457543 |  1345145 |     5617    544 |        0 |        0
501.52/501.62	c  498s |      21 |  1463486 |  1350545 |     5617    546 |        0 |        0
503.52/503.64	c  500s |      21 |  1468618 |  1355445 |     5617    548 |        0 |        0
505.52/505.66	c  502s |      21 |  1474385 |  1360845 |     5617    550 |        0 |        0
507.52/507.69	c  504s |      21 |  1480902 |  1366545 |     5617    552 |        0 |        0
509.52/509.69	c  506s |      21 |  1486950 |  1372245 |     5617    554 |        0 |        0
511.52/511.69	c  508s |      21 |  1492768 |  1377545 |     5617    555 |        0 |        0
513.62/513.73	c  510s |      21 |  1499807 |  1384045 |     5617    558 |        0 |        0
515.62/515.74	c  512s |      21 |  1506806 |  1390545 |     5617    560 |        0 |        0
517.62/517.75	c  514s |      21 |  1513463 |  1396445 |     5617    562 |        0 |        0
519.62/519.77	c  516s |      21 |  1520365 |  1402545 |     5617    564 |        0 |        0
521.61/521.79	c  518s |      21 |  1527003 |  1408645 |     5617    566 |        0 |        0
523.71/523.83	c  520s |      21 |  1533184 |  1414145 |     5617    568 |        0 |        0
525.72/525.89	c  522s |      21 |  1538345 |  1419145 |     5617    570 |        0 |        0
527.81/527.90	c  524s |      21 |  1543076 |  1423745 |     5617    571 |        0 |        0
529.81/529.91	c  526s |      21 |  1548315 |  1428145 |     5617    573 |        0 |        0
531.81/531.93	c  528s |      21 |  1554963 |  1434345 |     5617    575 |        0 |        0
533.81/533.95	c  530s |      21 |  1561182 |  1440145 |     5617    577 |        0 |        0
535.81/535.98	c  532s |      21 |  1565844 |  1444645 |     5617    578 |        0 |        0
537.82/538.00	c  534s |      21 |  1570344 |  1449045 |     5617    580 |        0 |        0
539.91/540.00	c  536s |      21 |  1574820 |  1453345 |     5617    581 |        0 |        0
541.91/542.03	c  538s |      21 |  1580137 |  1458345 |     5617    583 |        0 |        0
543.91/544.03	c  540s |      21 |  1584673 |  1462745 |     5617    584 |        0 |        0
545.91/546.05	c  542s |      21 |  1590736 |  1468645 |     5617    586 |        0 |        0
547.91/548.06	c  544s |      21 |  1597754 |  1475245 |     5617    589 |        0 |        0
550.02/550.12	c  547s |      21 |  1603747 |  1480745 |     5617    591 |        0 |        0
552.01/552.15	c  549s |      21 |  1609943 |  1486645 |     6179    592 |        0 |        0
554.01/554.17	c  551s |      21 |  1616993 |  1493245 |     6179    594 |        0 |        0
556.01/556.18	c  553s |      21 |  1623879 |  1499745 |     6179    596 |        0 |        0
556.41/556.54	c  553s |      22 |  1624763 |  1500622 |     6179    597 |        0 |        0
558.41/558.55	c  555s |      22 |  1628848 |  1504422 |     6179    598 |        0 |        0
560.51/560.62	c  557s |      22 |  1632616 |  1507922 |     6179    599 |        0 |        0
562.51/562.69	c  559s |      22 |  1636613 |  1511722 |     6179    600 |        0 |        0
564.61/564.73	c  561s |      22 |  1640464 |  1515422 |     6179    601 |        0 |        0
566.60/566.77	c  563s |      22 |  1642793 |  1517422 |     6179    602 |        0 |        0
568.71/568.82	c  565s |      22 |  1646188 |  1520622 |     6179    602 |        0 |        0
570.70/570.83	c  567s |      22 |  1651389 |  1525622 |     6179    604 |        0 |        0
572.70/572.83	c  569s |      22 |  1656103 |  1530222 |     6179    605 |        0 |        0
574.70/574.85	c  571s |      22 |  1660791 |  1534422 |     6179    607 |        0 |        0
576.70/576.85	c  573s |      22 |  1665585 |  1538922 |     6179    608 |        0 |        0
578.80/578.90	c  575s |      22 |  1670491 |  1543522 |     6179    609 |        0 |        0
580.81/580.91	c  577s |      22 |  1674918 |  1547722 |     6179    611 |        0 |        0
582.80/582.95	c  579s |      22 |  1679889 |  1552222 |     6179    612 |        0 |        0
584.80/584.96	c  581s |      22 |  1684331 |  1556322 |     6179    613 |        0 |        0
586.90/587.07	c  584s |      22 |  1689464 |  1561122 |     6179    615 |        0 |        0
589.00/589.10	c  586s |      22 |  1694327 |  1565622 |     6179    616 |        0 |        0
591.00/591.13	c  588s |      22 |  1699376 |  1570422 |     6179    617 |        0 |        0
593.00/593.14	c  590s |      22 |  1703540 |  1574322 |     6179    618 |        0 |        0
595.01/595.14	c  592s |      22 |  1708022 |  1578522 |     6179    620 |        0 |        0
597.00/597.17	c  594s |      22 |  1712966 |  1583122 |     6179    621 |        0 |        0
599.00/599.19	c  596s |      22 |  1717055 |  1586922 |     6179    622 |        0 |        0
601.10/601.20	c  598s |      22 |  1721223 |  1590722 |     6179    623 |        0 |        0
603.10/603.24	c  600s |      22 |  1725633 |  1594722 |     6179    625 |        0 |        0
605.10/605.26	c  602s |      22 |  1730540 |  1599322 |     6179    626 |        0 |        0
607.10/607.28	c  604s |      22 |  1735764 |  1604222 |     6179    627 |        0 |        0
609.10/609.29	c  606s |      22 |  1739507 |  1607822 |     6179    628 |        0 |        0
611.20/611.34	c  608s |      22 |  1744302 |  1612522 |     6179    630 |        0 |        0
613.19/613.38	c  610s |      22 |  1748895 |  1616622 |     6179    631 |        0 |        0
615.29/615.41	c  612s |      22 |  1753672 |  1621222 |     6179    632 |        0 |        0
617.29/617.43	c  614s |      22 |  1758377 |  1625622 |     6179    634 |        0 |        0
619.39/619.54	c  616s |      22 |  1762867 |  1629922 |     6179    635 |        0 |        0
621.40/621.56	c  618s |      22 |  1767356 |  1634022 |     6179    636 |        0 |        0
623.39/623.57	c  620s |      22 |  1772734 |  1639122 |     6179    638 |        0 |        0
625.39/625.57	c  622s |      22 |  1778378 |  1644622 |     6179    639 |        0 |        0
627.49/627.62	c  624s |      22 |  1782905 |  1648922 |     6179    641 |        0 |        0
629.49/629.67	c  626s |      22 |  1788209 |  1654022 |     6179    642 |        0 |        0
631.59/631.70	c  628s |      22 |  1793055 |  1658422 |     6179    644 |        0 |        0
633.60/633.71	c  630s |      22 |  1798775 |  1663722 |     6179    645 |        0 |        0
635.60/635.72	c  632s |      22 |  1804068 |  1668822 |     6179    647 |        0 |        0
637.60/637.74	c  634s |      22 |  1809602 |  1674022 |     6179    648 |        0 |        0
639.60/639.76	c  636s |      22 |  1815647 |  1679822 |     6179    650 |        0 |        0
641.60/641.78	c  638s |      22 |  1821628 |  1685422 |     6179    652 |        0 |        0
643.60/643.79	c  640s |      22 |  1826760 |  1690322 |     6179    653 |        0 |        0
645.70/645.84	c  642s |      22 |  1831829 |  1695122 |     6179    655 |        0 |        0
647.70/647.84	c  644s |      22 |  1836047 |  1698922 |     6179    656 |        0 |        0
649.70/649.84	c  646s |      22 |  1841336 |  1703922 |     6179    657 |        0 |        0
651.69/651.85	c  648s |      22 |  1847326 |  1709622 |     6179    659 |        0 |        0
653.69/653.88	c  650s |      22 |  1853000 |  1715022 |     6179    660 |        0 |        0
655.69/655.89	c  652s |      22 |  1859089 |  1720722 |     6179    662 |        0 |        0
657.80/657.91	c  654s |      22 |  1864755 |  1726122 |     6179    664 |        0 |        0
659.79/659.94	c  656s |      22 |  1870521 |  1731622 |     6179    665 |        0 |        0
661.79/661.94	c  658s |      22 |  1876157 |  1736722 |     6179    667 |        0 |        0
663.79/663.95	c  660s |      22 |  1881859 |  1742022 |     6179    668 |        0 |        0
665.79/665.95	c  662s |      22 |  1887286 |  1747222 |     6179    670 |        0 |        0
667.79/667.98	c  664s |      22 |  1892988 |  1752722 |     6179    672 |        0 |        0
669.90/670.01	c  666s |      22 |  1897357 |  1756922 |     6179    673 |        0 |        0
671.89/672.02	c  668s |      22 |  1900427 |  1759822 |     6179    674 |        0 |        0
673.89/674.04	c  670s |      22 |  1906672 |  1765522 |     6179    675 |        0 |        0
675.89/676.08	c  673s |      22 |  1911473 |  1770022 |     6179    677 |        0 |        0
677.99/678.10	c  675s |      22 |  1917072 |  1775422 |     6179    678 |        0 |        0
679.99/680.15	c  677s |      22 |  1922602 |  1780422 |     6179    680 |        0 |        0
682.00/682.17	c  679s |      22 |  1927626 |  1785022 |     6179    681 |        0 |        0
683.99/684.17	c  681s |      22 |  1933057 |  1790222 |     6179    683 |        0 |        0
686.09/686.24	c  683s |      22 |  1939017 |  1795722 |     6179    685 |        0 |        0
688.09/688.24	c  685s |      22 |  1944854 |  1801022 |     6179    686 |        0 |        0
690.09/690.24	c  687s |      22 |  1950540 |  1806322 |     6179    688 |        0 |        0
692.09/692.25	c  689s |      22 |  1956237 |  1811622 |     6179    689 |        0 |        0
694.09/694.26	c  691s |      22 |  1961945 |  1817022 |     6179    691 |        0 |        0
696.19/696.37	c  693s |      22 |  1967480 |  1822022 |     6179    692 |        0 |        0
698.18/698.37	c  695s |      22 |  1971988 |  1826222 |     6179    694 |        0 |        0
700.18/700.39	c  697s |      22 |  1976995 |  1831022 |     6179    695 |        0 |        0
702.28/702.41	c  699s |      22 |  1981534 |  1835222 |     6179    696 |        0 |        0
704.28/704.42	c  701s |      22 |  1985756 |  1839122 |     6179    697 |        0 |        0
706.28/706.44	c  703s |      22 |  1990887 |  1843822 |     6179    699 |        0 |        0
708.29/708.45	c  705s |      22 |  1995024 |  1847722 |     6179    700 |        0 |        0
710.28/710.45	c  707s |      22 |  2000037 |  1852422 |     6179    701 |        0 |        0
712.28/712.48	c  709s |      22 |  2004924 |  1857122 |     6179    703 |        0 |        0
714.38/714.55	c  711s |      22 |  2009761 |  1861722 |     6179    704 |        0 |        0
716.38/716.56	c  713s |      22 |  2013603 |  1865322 |     6179    705 |        0 |        0
718.38/718.59	c  715s |      22 |  2018412 |  1869722 |     6179    707 |        0 |        0
720.49/720.62	c  717s |      22 |  2022213 |  1873122 |     6179    708 |        0 |        0
722.48/722.67	c  719s |      22 |  2027326 |  1877922 |     6179    709 |        0 |        0
724.48/724.68	c  721s |      22 |  2032518 |  1882822 |     6179    710 |        0 |        0
726.48/726.68	c  723s |      22 |  2037433 |  1887422 |     6179    712 |        0 |        0
728.58/728.75	c  725s |      22 |  2042775 |  1892622 |     6179    713 |        0 |        0
730.58/730.77	c  727s |      22 |  2047397 |  1897122 |     6179    715 |        0 |        0
732.58/732.77	c  729s |      22 |  2052728 |  1902322 |     6179    716 |        0 |        0
734.58/734.78	c  731s |      22 |  2057214 |  1906722 |     6179    718 |        0 |        0
736.68/736.80	c  733s |      22 |  2062783 |  1911922 |     6179    719 |        0 |        0
738.68/738.81	c  735s |      22 |  2067926 |  1916922 |     6179    721 |        0 |        0
740.68/740.81	c  737s |      22 |  2073289 |  1921822 |     6179    722 |        0 |        0
742.68/742.83	c  739s |      22 |  2078302 |  1926422 |     6179    723 |        0 |        0
744.77/744.90	c  741s |      22 |  2082900 |  1930622 |     6179    725 |        0 |        0
746.88/747.01	c  743s |      22 |  2085967 |  1933522 |     6179    726 |        0 |        0
748.87/749.06	c  745s |      22 |  2090050 |  1937222 |     6179    727 |        0 |        0
750.87/751.08	c  748s |      22 |  2094189 |  1941122 |     6179    728 |        0 |        0
752.87/753.09	c  750s |      22 |  2098077 |  1944822 |     6179    729 |        0 |        0
754.97/755.10	c  752s |      22 |  2101773 |  1948322 |     6179    730 |        0 |        0
756.97/757.14	c  754s |      22 |  2106116 |  1952122 |     6179    731 |        0 |        0
758.98/759.17	c  756s |      22 |  2110495 |  1956222 |     6179    732 |        0 |        0
760.97/761.18	c  758s |      22 |  2115131 |  1960722 |     6179    734 |        0 |        0
763.07/763.25	c  760s |      22 |  2119868 |  1965122 |     6179    735 |        0 |        0
765.17/765.30	c  762s |      22 |  2124089 |  1969022 |     6179    736 |        0 |        0
767.17/767.31	c  764s |      22 |  2128849 |  1973322 |     6179    737 |        0 |        0
769.17/769.33	c  766s |      22 |  2133873 |  1978122 |     6179    739 |        0 |        0
771.18/771.34	c  768s |      22 |  2138365 |  1982322 |     6179    740 |        0 |        0
773.18/773.37	c  770s |      22 |  2142758 |  1986422 |     6179    741 |        0 |        0
775.18/775.37	c  772s |      22 |  2148147 |  1991622 |     6179    743 |        0 |        0
777.18/777.38	c  774s |      22 |  2152240 |  1995522 |     6179    744 |        0 |        0
779.28/779.40	c  776s |      22 |  2156341 |  1999422 |     6179    745 |        0 |        0
781.28/781.43	c  778s |      22 |  2161087 |  2003822 |     6179    747 |        0 |        0
783.28/783.45	c  780s |      22 |  2166473 |  2008722 |     6179    748 |        0 |        0
785.28/785.47	c  782s |      22 |  2170520 |  2012522 |     6179    749 |        0 |        0
787.27/787.47	c  784s |      22 |  2174160 |  2015622 |     6179    750 |        0 |        0
789.27/789.49	c  786s |      22 |  2178405 |  2019622 |     6179    751 |        0 |        0
791.37/791.56	c  788s |      22 |  2182148 |  2023122 |     6179    752 |        0 |        0
793.37/793.58	c  790s |      22 |  2186144 |  2026922 |     6179    753 |        0 |        0
795.37/795.59	c  792s |      22 |  2190888 |  2031422 |     6179    755 |        0 |        0
797.48/797.61	c  794s |      22 |  2195443 |  2035722 |     6179    756 |        0 |        0
799.47/799.63	c  796s |      22 |  2200752 |  2040622 |     6179    758 |        0 |        0
801.47/801.67	c  798s |      22 |  2204637 |  2044422 |     6179    759 |        0 |        0
803.57/803.71	c  800s |      22 |  2209465 |  2048922 |     6179    760 |        0 |        0
805.57/805.72	c  802s |      22 |  2213805 |  2053122 |     6179    761 |        0 |        0
807.57/807.75	c  804s |      22 |  2218476 |  2057222 |     6179    763 |        0 |        0
809.58/809.76	c  806s |      22 |  2222799 |  2061322 |     6179    764 |        0 |        0
811.57/811.79	c  808s |      22 |  2228781 |  2066622 |     6179    765 |        0 |        0
813.67/813.83	c  810s |      22 |  2233982 |  2071322 |     6179    767 |        0 |        0
815.67/815.87	c  812s |      22 |  2238822 |  2075922 |     6179    768 |        0 |        0
817.77/817.90	c  814s |      22 |  2243705 |  2080622 |     6179    770 |        0 |        0
819.77/819.95	c  816s |      22 |  2248556 |  2085222 |     6179    771 |        0 |        0
821.77/821.98	c  818s |      22 |  2253405 |  2089522 |     6179    772 |        0 |        0
823.77/824.00	c  820s |      22 |  2258850 |  2094722 |     6179    774 |        0 |        0
825.87/826.03	c  822s |      22 |  2263087 |  2098222 |     6179    775 |        0 |        0
827.87/828.04	c  824s |      22 |  2267166 |  2102122 |     6179    776 |        0 |        0
829.86/830.05	c  826s |      22 |  2271950 |  2106722 |     6179    777 |        0 |        0
831.86/832.06	c  828s |      22 |  2276306 |  2110922 |     6179    779 |        0 |        0
833.86/834.08	c  831s |      22 |  2279542 |  2113922 |     6179    779 |        0 |        0
835.97/836.17	c  833s |      22 |  2283756 |  2117622 |     6179    781 |        0 |        0
837.96/838.20	c  835s |      22 |  2287433 |  2120922 |     6179    782 |        0 |        0
840.06/840.22	c  837s |      22 |  2292284 |  2125322 |     6179    783 |        0 |        0
842.06/842.24	c  839s |      22 |  2297712 |  2130422 |     6179    784 |        0 |        0
844.06/844.25	c  841s |      22 |  2303642 |  2135922 |     6179    786 |        0 |        0
846.06/846.27	c  843s |      22 |  2309565 |  2141422 |     6179    788 |        0 |        0
848.07/848.28	c  845s |      22 |  2315355 |  2146722 |     6179    789 |        0 |        0
850.06/850.28	c  847s |      22 |  2321070 |  2152022 |     6179    791 |        0 |        0
852.06/852.29	c  849s |      22 |  2326982 |  2157322 |     6179    792 |        0 |        0
854.16/854.30	c  851s |      22 |  2332776 |  2162822 |     6179    794 |        0 |        0
856.16/856.32	c  853s |      22 |  2338646 |  2168322 |     6179    796 |        0 |        0
858.16/858.34	c  855s |      22 |  2344726 |  2174022 |     6179    797 |        0 |        0
860.17/860.37	c  857s |      22 |  2350332 |  2179222 |     6179    799 |        0 |        0
862.26/862.41	c  859s |      22 |  2355926 |  2184622 |     6179    801 |        0 |        0
864.26/864.44	c  861s |      22 |  2361759 |  2190122 |     6179    802 |        0 |        0
866.26/866.45	c  863s |      22 |  2365012 |  2193122 |     6179    803 |        0 |        0
868.26/868.47	c  865s |      22 |  2368797 |  2196722 |     6179    804 |        0 |        0
870.35/870.50	c  867s |      22 |  2372391 |  2200122 |     6179    805 |        0 |        0
872.35/872.52	c  869s |      22 |  2375780 |  2203322 |     6179    806 |        0 |        0
874.36/874.57	c  871s |      22 |  2379023 |  2206322 |     6179    807 |        0 |        0
876.45/876.67	c  873s |      22 |  2383671 |  2210622 |     6179    808 |        0 |        0
878.55/878.70	c  875s |      22 |  2388256 |  2214922 |     6179    810 |        0 |        0
880.55/880.71	c  877s |      22 |  2393080 |  2219322 |     6179    811 |        0 |        0
882.55/882.72	c  879s |      22 |  2398067 |  2223922 |     6179    812 |        0 |        0
884.55/884.79	c  881s |      22 |  2403437 |  2228822 |     6797    814 |        0 |        0
886.56/886.79	c  883s |      22 |  2408067 |  2233022 |     6797    815 |        0 |        0
888.66/888.86	c  885s |      22 |  2411948 |  2236722 |     6797    816 |        0 |        0
890.65/890.89	c  887s |      22 |  2414428 |  2239122 |     6797    816 |        0 |        0
892.75/892.93	c  889s |      22 |  2419027 |  2243222 |     6797    817 |        0 |        0
894.75/894.96	c  891s |      22 |  2423514 |  2247522 |     6797    819 |        0 |        0
896.25/896.48	c  893s |      23 |  2427211 |  2251038 |     6797    820 |        0 |        0
898.25/898.49	c  895s |      23 |  2433930 |  2257338 |     6797    821 |        0 |        0
900.35/900.51	c  897s |      23 |  2441158 |  2264138 |     6797    823 |        0 |        0
902.35/902.52	c  899s |      23 |  2446980 |  2269638 |     6797    825 |        0 |        0
904.35/904.54	c  901s |      23 |  2452837 |  2275038 |     6797    826 |        0 |        0
906.36/906.56	c  903s |      23 |  2457064 |  2279038 |     6797    827 |        0 |        0
908.35/908.59	c  905s |      23 |  2462857 |  2284338 |     6797    829 |        0 |        0
910.45/910.64	c  907s |      23 |  2468643 |  2289638 |     6797    831 |        0 |        0
912.45/912.65	c  909s |      23 |  2475265 |  2295738 |     6797    832 |        0 |        0
914.56/914.70	c  911s |      23 |  2481575 |  2301338 |     6797    834 |        0 |        0
916.56/916.73	c  913s |      23 |  2486251 |  2305738 |     6797    835 |        0 |        0
918.55/918.77	c  915s |      23 |  2492081 |  2311238 |     6797    837 |        0 |        0
920.56/920.78	c  917s |      23 |  2497813 |  2316638 |     6797    838 |        0 |        0
922.65/922.81	c  919s |      23 |  2503657 |  2322138 |     6797    840 |        0 |        0
924.65/924.81	c  921s |      23 |  2509823 |  2327638 |     6797    841 |        0 |        0
926.65/926.82	c  923s |      23 |  2515666 |  2332938 |     6797    843 |        0 |        0
928.65/928.86	c  925s |      23 |  2521351 |  2337838 |     6797    844 |        0 |        0
930.65/930.87	c  927s |      23 |  2525971 |  2342238 |     6797    846 |        0 |        0
932.66/932.89	c  929s |      23 |  2530922 |  2346938 |     6797    847 |        0 |        0
934.75/934.90	c  931s |      23 |  2537970 |  2353438 |     6797    849 |        0 |        0
936.75/936.93	c  933s |      23 |  2543318 |  2358438 |     6797    850 |        0 |        0
938.75/938.93	c  935s |      23 |  2548241 |  2363138 |     6797    852 |        0 |        0
940.75/940.96	c  937s |      23 |  2553054 |  2367838 |     6797    853 |        0 |        0
942.75/942.96	c  939s |      23 |  2558323 |  2372938 |     6797    854 |        0 |        0
944.76/944.98	c  941s |      23 |  2564154 |  2378538 |     6797    856 |        0 |        0
946.75/946.98	c  943s |      23 |  2570540 |  2384738 |     6797    858 |        0 |        0
948.85/949.00	c  945s |      23 |  2576251 |  2390138 |     6797    859 |        0 |        0
950.85/951.03	c  947s |      23 |  2582013 |  2395638 |     6797    861 |        0 |        0
952.85/953.03	c  949s |      23 |  2587458 |  2400938 |     6797    862 |        0 |        0
954.85/955.07	c  951s |      23 |  2593298 |  2406438 |     6797    864 |        0 |        0
956.85/957.09	c  954s |      23 |  2598779 |  2411638 |     6797    865 |        0 |        0
958.95/959.10	c  956s |      23 |  2604252 |  2416738 |     6797    867 |        0 |        0
960.95/961.15	c  958s |      23 |  2609797 |  2422038 |     6797    868 |        0 |        0
962.94/963.15	c  960s |      23 |  2615122 |  2427238 |     6797    870 |        0 |        0
964.95/965.17	c  962s |      23 |  2620441 |  2432338 |     6797    871 |        0 |        0
967.05/967.24	c  964s |      23 |  2626106 |  2437838 |     6797    873 |        0 |        0
969.05/969.25	c  966s |      23 |  2631480 |  2442938 |     6797    874 |        0 |        0
971.05/971.26	c  968s |      23 |  2636816 |  2447938 |     6797    875 |        0 |        0
973.05/973.26	c  970s |      23 |  2642500 |  2453438 |     6797    877 |        0 |        0
975.05/975.28	c  972s |      23 |  2647353 |  2458238 |     6797    878 |        0 |        0
977.04/977.29	c  974s |      23 |  2652485 |  2463238 |     6797    880 |        0 |        0
979.14/979.31	c  976s |      23 |  2657959 |  2468538 |     6797    881 |        0 |        0
981.15/981.32	c  978s |      23 |  2663015 |  2473538 |     6797    882 |        0 |        0
983.14/983.32	c  980s |      23 |  2668828 |  2479238 |     6797    884 |        0 |        0
985.14/985.39	c  982s |      23 |  2674105 |  2484438 |     6797    886 |        0 |        0
987.24/987.41	c  984s |      23 |  2679930 |  2490038 |     6797    887 |        0 |        0
989.24/989.43	c  986s |      23 |  2685036 |  2494938 |     6797    888 |        0 |        0
991.24/991.46	c  988s |      23 |  2690425 |  2500238 |     6797    890 |        0 |        0
993.25/993.47	c  990s |      23 |  2695919 |  2505538 |     6797    891 |        0 |        0
995.24/995.48	c  992s |      23 |  2701322 |  2510838 |     6797    893 |        0 |        0
997.34/997.51	c  994s |      23 |  2706565 |  2516038 |     6797    894 |        0 |        0
999.34/999.52	c  996s |      23 |  2712088 |  2521438 |     6797    896 |        0 |        0
1001.34/1001.56	c  998s |      23 |  2717537 |  2526738 |     6797    897 |        0 |        0
1003.44/1003.60	c 1000s |      23 |  2721902 |  2531038 |     6797    899 |        0 |        0
1005.44/1005.62	c 1002s |      23 |  2726254 |  2535238 |     6797    900 |        0 |        0
1007.44/1007.67	c 1004s |      23 |  2731906 |  2540738 |     6797    901 |        0 |        0
1009.44/1009.68	c 1006s |      23 |  2736751 |  2545438 |     6797    903 |        0 |        0
1011.54/1011.72	c 1008s |      23 |  2742527 |  2550838 |     6797    904 |        0 |        0
1013.53/1013.72	c 1010s |      23 |  2747805 |  2555538 |     6797    905 |        0 |        0
1015.53/1015.74	c 1012s |      23 |  2754819 |  2562338 |     6797    907 |        0 |        0
1017.53/1017.77	c 1014s |      23 |  2759909 |  2567138 |     6797    909 |        0 |        0
1019.54/1019.77	c 1016s |      23 |  2764719 |  2571338 |     6797    910 |        0 |        0
1021.63/1021.81	c 1018s |      23 |  2768898 |  2575038 |     6797    911 |        0 |        0
1023.63/1023.83	c 1020s |      23 |  2773129 |  2579038 |     6797    912 |        0 |        0
1025.63/1025.85	c 1022s |      23 |  2778061 |  2583338 |     6797    913 |        0 |        0
1027.63/1027.87	c 1024s |      23 |  2782710 |  2587538 |     6797    914 |        0 |        0
1029.63/1029.89	c 1026s |      23 |  2788560 |  2592838 |     6797    916 |        0 |        0
1031.64/1031.89	c 1028s |      23 |  2793618 |  2597638 |     6797    917 |        0 |        0
1033.63/1033.89	c 1030s |      23 |  2799518 |  2602938 |     6797    919 |        0 |        0
1035.73/1035.92	c 1032s |      23 |  2805260 |  2608338 |     6797    920 |        0 |        0
1037.73/1037.93	c 1034s |      23 |  2811441 |  2614038 |     6797    922 |        0 |        0
1039.73/1039.95	c 1036s |      23 |  2816760 |  2619038 |     6797    923 |        0 |        0
1041.73/1041.99	c 1038s |      23 |  2822954 |  2624838 |     6797    925 |        0 |        0
1043.73/1044.00	c 1040s |      23 |  2828779 |  2630238 |     6797    927 |        0 |        0
1045.83/1046.03	c 1042s |      23 |  2834073 |  2635138 |     6797    928 |        0 |        0
1047.83/1048.03	c 1044s |      23 |  2839109 |  2640038 |     6797    930 |        0 |        0
1049.83/1050.05	c 1046s |      23 |  2845032 |  2645638 |     6797    931 |        0 |        0
1051.83/1052.08	c 1049s |      23 |  2850745 |  2650938 |     6797    933 |        0 |        0
1053.83/1054.09	c 1051s |      23 |  2856953 |  2656738 |     6797    934 |        0 |        0
1055.93/1056.12	c 1053s |      23 |  2863477 |  2662738 |     6797    936 |        0 |        0
1057.93/1058.15	c 1055s |      23 |  2869431 |  2668338 |     6797    938 |        0 |        0
1059.92/1060.16	c 1057s |      23 |  2875396 |  2673538 |     6797    939 |        0 |        0
1061.93/1062.16	c 1059s |      23 |  2881842 |  2679338 |     6797    941 |        0 |        0
1063.93/1064.18	c 1061s |      23 |  2888964 |  2685838 |     6797    943 |        0 |        0
1066.03/1066.21	c 1063s |      23 |  2895059 |  2691538 |     6797    944 |        0 |        0
1068.04/1068.21	c 1065s |      23 |  2901571 |  2697638 |     6797    946 |        0 |        0
1070.03/1070.25	c 1067s |      23 |  2907683 |  2703038 |     6797    947 |        0 |        0
1072.03/1072.28	c 1069s |      23 |  2914093 |  2708938 |     6797    949 |        0 |        0
1074.13/1074.31	c 1071s |      23 |  2920149 |  2714638 |     6797    950 |        0 |        0
1076.13/1076.31	c 1073s |      23 |  2926131 |  2720438 |     6797    952 |        0 |        0
1078.13/1078.35	c 1075s |      23 |  2930659 |  2724838 |     6797    953 |        0 |        0
1080.14/1080.38	c 1077s |      23 |  2935740 |  2729538 |     6797    955 |        0 |        0
1082.13/1082.39	c 1079s |      23 |  2940097 |  2733638 |     6797    956 |        0 |        0
1084.23/1084.43	c 1081s |      23 |  2946371 |  2739338 |     6797    957 |        0 |        0
1086.23/1086.43	c 1083s |      23 |  2952181 |  2744538 |     6797    959 |        0 |        0
1088.23/1088.44	c 1085s |      23 |  2957074 |  2748938 |     6797    960 |        0 |        0
1090.23/1090.49	c 1087s |      23 |  2961659 |  2753138 |     6797    961 |        0 |        0
1092.33/1092.51	c 1089s |      23 |  2966882 |  2757738 |     6797    962 |        0 |        0
1094.33/1094.52	c 1091s |      23 |  2971711 |  2761938 |     6797    963 |        0 |        0
1096.33/1096.53	c 1093s |      23 |  2977580 |  2767638 |     6797    965 |        0 |        0
1098.33/1098.55	c 1095s |      23 |  2983038 |  2773038 |     6797    966 |        0 |        0
1100.33/1100.55	c 1097s |      23 |  2987510 |  2777438 |     6797    968 |        0 |        0
1102.33/1102.57	c 1099s |      23 |  2993280 |  2783138 |     6797    969 |        0 |        0
1104.43/1104.63	c 1101s |      23 |  2997631 |  2787438 |     6797    970 |        0 |        0
1106.43/1106.64	c 1103s |      23 |  3001522 |  2791238 |     6797    971 |        0 |        0
1108.42/1108.69	c 1105s |      23 |  3005514 |  2795138 |     6797    973 |        0 |        0
1110.42/1110.69	c 1107s |      23 |  3010126 |  2799638 |     6797    974 |        0 |        0
1112.52/1112.72	c 1109s |      23 |  3014352 |  2803738 |     6797    975 |        0 |        0
1114.52/1114.75	c 1111s |      23 |  3017828 |  2807138 |     6797    976 |        0 |        0
1116.52/1116.78	c 1113s |      23 |  3022753 |  2811638 |     6797    977 |        0 |        0
1118.63/1118.80	c 1115s |      23 |  3027759 |  2816438 |     6797    978 |        0 |        0
1120.62/1120.81	c 1117s |      23 |  3034078 |  2822338 |     6797    980 |        0 |        0
1122.62/1122.83	c 1119s |      23 |  3039113 |  2826938 |     6797    981 |        0 |        0
1124.62/1124.88	c 1121s |      23 |  3044179 |  2831438 |     6797    983 |        0 |        0
1126.72/1126.90	c 1123s |      23 |  3049353 |  2836238 |     6797    984 |        0 |        0
1128.72/1128.93	c 1125s |      23 |  3053613 |  2840338 |     6797    985 |        0 |        0
1130.73/1130.94	c 1127s |      23 |  3058294 |  2844738 |     6797    986 |        0 |        0
1132.72/1132.96	c 1129s |      23 |  3064113 |  2849938 |     6797    988 |        0 |        0
1134.72/1134.96	c 1131s |      23 |  3069018 |  2854038 |     6797    989 |        0 |        0
1136.71/1136.99	c 1133s |      23 |  3073958 |  2858038 |     6797    990 |        0 |        0
1138.81/1139.00	c 1135s |      23 |  3079471 |  2862638 |     6797    991 |        0 |        0
1140.81/1141.01	c 1137s |      23 |  3084369 |  2866938 |     6797    992 |        0 |        0
1142.82/1143.02	c 1139s |      23 |  3089237 |  2871638 |     6797    994 |        0 |        0
1144.81/1145.04	c 1141s |      23 |  3092722 |  2875038 |     6797    995 |        0 |        0
1146.81/1147.07	c 1143s |      23 |  3098391 |  2880238 |     6797    996 |        0 |        0
1148.81/1149.08	c 1146s |      23 |  3103949 |  2885638 |     6797    997 |        0 |        0
1150.91/1151.11	c 1148s |      23 |  3108209 |  2889438 |     6797    998 |        0 |        0
1152.91/1153.16	c 1150s |      23 |  3111580 |  2892638 |     6797    999 |        0 |        0
1154.92/1155.16	c 1152s |      23 |  3116259 |  2896938 |     6797   1001 |        0 |        0
1156.91/1157.18	c 1154s |      23 |  3120578 |  2901038 |     6797   1002 |        0 |        0
1159.00/1159.20	c 1156s |      23 |  3125660 |  2905538 |     6797   1003 |        0 |        0
1161.00/1161.20	c 1158s |      23 |  3130333 |  2909738 |     6797   1004 |        0 |        0
1163.00/1163.23	c 1160s |      23 |  3135480 |  2914338 |     6797   1005 |        0 |        0
1165.00/1165.24	c 1162s |      23 |  3140353 |  2918538 |     6797   1007 |        0 |        0
1167.01/1167.27	c 1164s |      23 |  3144863 |  2922538 |     6797   1008 |        0 |        0
1169.00/1169.28	c 1166s |      23 |  3150209 |  2926838 |     6797   1009 |        0 |        0
1171.10/1171.32	c 1168s |      23 |  3154996 |  2930938 |     6797   1010 |        0 |        0
1173.10/1173.37	c 1170s |      23 |  3160623 |  2935738 |     6797   1011 |        0 |        0
1175.10/1175.38	c 1172s |      23 |  3164598 |  2939238 |     6797   1012 |        0 |        0
1177.09/1177.39	c 1174s |      23 |  3168793 |  2943238 |     6797   1013 |        0 |        0
1179.19/1179.41	c 1176s |      23 |  3174301 |  2948238 |     6797   1015 |        0 |        0
1181.20/1181.43	c 1178s |      23 |  3179784 |  2952938 |     6797   1016 |        0 |        0
1183.19/1183.47	c 1180s |      23 |  3184599 |  2957438 |     6797   1017 |        0 |        0
1185.29/1185.51	c 1182s |      23 |  3189900 |  2962438 |     6797   1019 |        0 |        0
1187.29/1187.53	c 1184s |      23 |  3194925 |  2966838 |     6797   1020 |        0 |        0
1189.29/1189.57	c 1186s |      23 |  3200648 |  2971338 |     6797   1021 |        0 |        0
1191.28/1191.59	c 1188s |      23 |  3205224 |  2975638 |     6797   1022 |        0 |        0
1193.39/1193.64	c 1190s |      23 |  3209475 |  2979738 |     6797   1023 |        0 |        0
1195.38/1195.67	c 1192s |      23 |  3215435 |  2985238 |     6797   1025 |        0 |        0
1197.48/1197.70	c 1194s |      23 |  3220935 |  2989738 |     6797   1026 |        0 |        0
1199.48/1199.77	c 1196s |      23 |  3226384 |  2994738 |     6797   1028 |        0 |        0
1201.48/1201.79	c 1198s |      23 |  3231620 |  2999738 |     6797   1029 |        0 |        0
1203.58/1203.80	c 1200s |      23 |  3237400 |  3004938 |     6797   1030 |        0 |        0
1205.57/1205.84	c 1202s |      23 |  3242267 |  3009038 |     6797   1031 |        0 |        0
1207.58/1207.86	c 1204s |      23 |  3247604 |  3014138 |     6797   1033 |        0 |        0
1209.57/1209.86	c 1206s |      23 |  3253388 |  3019738 |     6797   1034 |        0 |        0
1211.58/1211.87	c 1208s |      23 |  3259116 |  3025038 |     6797   1036 |        0 |        0
1213.58/1213.89	c 1210s |      23 |  3264419 |  3030038 |     6797   1037 |        0 |        0
1215.67/1215.91	c 1212s |      23 |  3270760 |  3036038 |     6797   1039 |        0 |        0
1217.67/1217.92	c 1214s |      23 |  3276781 |  3041638 |     6797   1040 |        0 |        0
1219.68/1219.96	c 1216s |      23 |  3282627 |  3046938 |     6797   1042 |        0 |        0
1221.67/1221.96	c 1218s |      23 |  3288803 |  3052938 |     6797   1043 |        0 |        0
1223.67/1223.97	c 1220s |      23 |  3294265 |  3058138 |     6797   1045 |        0 |        0
1225.77/1226.00	c 1222s |      23 |  3299380 |  3063138 |     6797   1046 |        0 |        0
1227.77/1228.02	c 1224s |      23 |  3304162 |  3067838 |     6797   1048 |        0 |        0
1229.77/1230.04	c 1226s |      23 |  3309251 |  3072738 |     6797   1049 |        0 |        0
1231.77/1232.06	c 1228s |      23 |  3314505 |  3077938 |     6797   1050 |        0 |        0
1233.76/1234.06	c 1230s |      23 |  3319050 |  3082438 |     6797   1052 |        0 |        0
1235.76/1236.09	c 1233s |      23 |  3324194 |  3087438 |     6797   1053 |        0 |        0
1237.86/1238.12	c 1235s |      23 |  3330018 |  3092838 |     6797   1054 |        0 |        0
1239.86/1240.13	c 1237s |      23 |  3335209 |  3097938 |     6797   1056 |        0 |        0
1241.86/1242.13	c 1239s |      23 |  3340236 |  3102738 |     6797   1057 |        0 |        0
1243.86/1244.16	c 1241s |      23 |  3346129 |  3107938 |     6797   1059 |        0 |        0
1245.85/1246.17	c 1243s |      23 |  3351279 |  3112938 |     6797   1060 |        0 |        0
1247.85/1248.17	c 1245s |      23 |  3356835 |  3118238 |     6797   1061 |        0 |        0
1249.85/1250.19	c 1247s |      23 |  3362545 |  3123138 |     6797   1063 |        0 |        0
1251.95/1252.22	c 1249s |      23 |  3367924 |  3128038 |     6797   1064 |        0 |        0
1253.95/1254.23	c 1251s |      23 |  3372751 |  3132738 |     6797   1065 |        0 |        0
1255.95/1256.24	c 1253s |      23 |  3378409 |  3138238 |     6797   1067 |        0 |        0
1257.94/1258.25	c 1255s |      23 |  3384082 |  3143238 |     6797   1068 |        0 |        0
1259.94/1260.27	c 1257s |      23 |  3390362 |  3149238 |     6797   1070 |        0 |        0
1262.04/1262.30	c 1259s |      23 |  3395794 |  3154638 |     6797   1071 |        0 |        0
1264.04/1264.30	c 1261s |      23 |  3400461 |  3159238 |     6797   1073 |        0 |        0
1266.03/1266.33	c 1263s |      23 |  3405123 |  3163838 |     6797   1074 |        0 |        0
1268.04/1268.37	c 1265s |      23 |  3409789 |  3168438 |     6797   1075 |        0 |        0
1270.13/1270.47	c 1267s |      23 |  3414655 |  3173238 |     6797   1077 |        0 |        0
1272.23/1272.59	c 1269s |      23 |  3419283 |  3177838 |     6797   1078 |        0 |        0
1274.33/1274.60	c 1271s |      23 |  3423426 |  3181938 |     6797   1079 |        0 |        0
1276.33/1276.61	c 1273s |      23 |  3427705 |  3186138 |     6797   1080 |        0 |        0
1278.33/1278.65	c 1275s |      23 |  3432227 |  3190638 |     6797   1081 |        0 |        0
1280.43/1280.71	c 1277s |      23 |  3436801 |  3195138 |     6797   1083 |        0 |        0
1282.44/1282.72	c 1279s |      23 |  3441168 |  3199338 |     6797   1084 |        0 |        0
1284.43/1284.73	c 1281s |      23 |  3445516 |  3203438 |     6797   1085 |        0 |        0
1286.43/1286.77	c 1283s |      23 |  3450065 |  3207838 |     6797   1086 |        0 |        0
1288.53/1288.86	c 1285s |      23 |  3455809 |  3213338 |     6797   1088 |        0 |        0
1290.53/1290.87	c 1287s |      23 |  3462001 |  3219438 |     6797   1089 |        0 |        0
1292.63/1292.90	c 1289s |      23 |  3466750 |  3224138 |     6797   1090 |        0 |        0
1294.63/1294.95	c 1291s |      23 |  3471221 |  3228538 |     6797   1092 |        0 |        0
1296.63/1296.98	c 1293s |      23 |  3475297 |  3232538 |     6797   1093 |        0 |        0
1298.72/1299.00	c 1295s |      23 |  3479743 |  3236938 |     6797   1094 |        0 |        0
1300.72/1301.00	c 1297s |      23 |  3484795 |  3241938 |     6797   1095 |        0 |        0
1302.72/1303.02	c 1299s |      23 |  3489551 |  3246638 |     6797   1097 |        0 |        0
1304.72/1305.04	c 1301s |      23 |  3494114 |  3251138 |     6797   1098 |        0 |        0
1306.72/1307.06	c 1303s |      23 |  3498550 |  3255538 |     6797   1099 |        0 |        0
1308.72/1309.10	c 1306s |      23 |  3502895 |  3259838 |     6797   1100 |        0 |        0
1310.82/1311.14	c 1308s |      23 |  3507413 |  3264338 |     6797   1102 |        0 |        0
1312.82/1313.16	c 1310s |      23 |  3512386 |  3269238 |     6797   1103 |        0 |        0
1314.92/1315.21	c 1312s |      23 |  3517861 |  3274538 |     6797   1104 |        0 |        0
1316.91/1317.21	c 1314s |      23 |  3521895 |  3278538 |     6797   1105 |        0 |        0
1318.91/1319.25	c 1316s |      23 |  3527621 |  3284038 |     6797   1107 |        0 |        0
1320.92/1321.25	c 1318s |      23 |  3532978 |  3289338 |     6797   1108 |        0 |        0
1322.91/1323.29	c 1320s |      23 |  3537497 |  3293738 |     6797   1110 |        0 |        0
1325.01/1325.30	c 1322s |      23 |  3542128 |  3298338 |     6797   1111 |        0 |        0
1327.01/1327.34	c 1324s |      23 |  3546741 |  3302938 |     6797   1112 |        0 |        0
1329.01/1329.37	c 1326s |      23 |  3550767 |  3306938 |     6797   1113 |        0 |        0
1331.00/1331.38	c 1328s |      23 |  3554915 |  3311038 |     6797   1114 |        0 |        0
1333.10/1333.46	c 1330s |      23 |  3559088 |  3315138 |     6797   1115 |        0 |        0
1335.11/1335.48	c 1332s |      23 |  3563997 |  3319938 |     6797   1117 |        0 |        0
1337.10/1337.49	c 1334s |      23 |  3570585 |  3326438 |     6797   1119 |        0 |        0
1339.20/1339.51	c 1336s |      23 |  3575520 |  3331338 |     6797   1120 |        0 |        0
1341.20/1341.53	c 1338s |      23 |  3580671 |  3336438 |     6797   1121 |        0 |        0
1343.20/1343.54	c 1340s |      23 |  3585447 |  3341138 |     6797   1123 |        0 |        0
1345.20/1345.54	c 1342s |      23 |  3590100 |  3345738 |     7477   1124 |        0 |        0
1347.30/1347.65	c 1344s |      23 |  3594282 |  3349838 |     7477   1125 |        0 |        0
1349.29/1349.67	c 1346s |      23 |  3599385 |  3354838 |     7477   1126 |        0 |        0
1351.39/1351.71	c 1348s |      23 |  3603877 |  3359238 |     7477   1127 |        0 |        0
1353.39/1353.71	c 1350s |      23 |  3609516 |  3364638 |     7477   1128 |        0 |        0
1355.40/1355.71	c 1352s |      23 |  3614480 |  3369538 |     7477   1130 |        0 |        0
1357.39/1357.74	c 1354s |      23 |  3618300 |  3373338 |     7477   1131 |        0 |        0
1358.99/1359.30	c 1356s |      24 |  3621633 |  3376662 |     7477   1131 |        0 |        0
1360.99/1361.33	c 1358s |      24 |  3626246 |  3380762 |     7477   1132 |        0 |        0
1362.99/1363.39	c 1360s |      24 |  3630720 |  3384962 |     7477   1134 |        0 |        0
1365.09/1365.42	c 1362s |      24 |  3634658 |  3388462 |     7477   1134 |        0 |        0
1367.09/1367.44	c 1364s |      24 |  3638626 |  3392262 |     7477   1135 |        0 |        0
1369.09/1369.46	c 1366s |      24 |  3643228 |  3396762 |     7477   1136 |        0 |        0
1371.19/1371.51	c 1368s |      24 |  3648065 |  3401362 |     7477   1138 |        0 |        0
1373.19/1373.57	c 1370s |      24 |  3652000 |  3404962 |     7477   1139 |        0 |        0
1375.29/1375.62	c 1372s |      24 |  3656370 |  3409062 |     7477   1140 |        0 |        0
1377.28/1377.63	c 1374s |      24 |  3662224 |  3412862 |     7477   1141 |        0 |        0
1379.28/1379.68	c 1376s |      24 |  3666718 |  3415862 |     7477   1141 |        0 |        0
1381.29/1381.68	c 1378s |      24 |  3671666 |  3420162 |     7477   1142 |        0 |        0
1383.28/1383.69	c 1380s |      24 |  3676845 |  3423562 |     7477   1143 |        0 |        0
1385.38/1385.72	c 1382s |      24 |  3681449 |  3426962 |     7477   1144 |        0 |        0
1387.38/1387.77	c 1384s |      24 |  3685377 |  3430462 |     7477   1145 |        0 |        0
1389.48/1389.80	c 1386s |      24 |  3690599 |  3433962 |     7477   1146 |        0 |        0
1391.47/1391.81	c 1388s |      24 |  3696167 |  3437662 |     7477   1147 |        0 |        0
1393.48/1393.83	c 1390s |      24 |  3699956 |  3440162 |     7477   1147 |        0 |        0
1395.47/1395.87	c 1392s |      24 |  3706031 |  3445662 |     7477   1149 |        0 |        0
1397.47/1397.88	c 1394s |      24 |  3710720 |  3450062 |     7477   1150 |        0 |        0
1399.47/1399.89	c 1396s |      24 |  3714990 |  3453962 |     7477   1151 |        0 |        0
1401.57/1401.90	c 1398s |      24 |  3717921 |  3456562 |     7477   1152 |        0 |        0
1403.57/1403.96	c 1400s |      24 |  3723197 |  3461262 |     7477   1153 |        0 |        0
1405.57/1405.96	c 1402s |      24 |  3728923 |  3466662 |     7477   1154 |        0 |        0
1407.67/1408.02	c 1404s |      24 |  3732874 |  3470062 |     7477   1155 |        0 |        0
1409.66/1410.02	c 1406s |      24 |  3736867 |  3473562 |     7477   1156 |        0 |        0
1411.66/1412.05	c 1408s |      24 |  3742756 |  3479062 |     7477   1157 |        0 |        0
1413.76/1414.10	c 1411s |      24 |  3746954 |  3483062 |     7477   1158 |        0 |        0
1415.76/1416.15	c 1413s |      24 |  3750445 |  3486362 |     7477   1159 |        0 |        0
1417.76/1418.15	c 1415s |      24 |  3754429 |  3490262 |     7477   1160 |        0 |        0
1419.77/1420.18	c 1417s |      24 |  3758372 |  3494162 |     7477   1161 |        0 |        0
1421.76/1422.19	c 1419s |      24 |  3762500 |  3498262 |     7477   1162 |        0 |        0
1423.86/1424.23	c 1421s |      24 |  3766457 |  3502162 |     7477   1163 |        0 |        0
1425.85/1426.25	c 1423s |      24 |  3771015 |  3506362 |     7477   1164 |        0 |        0
1427.85/1428.27	c 1425s |      24 |  3776584 |  3511362 |     7477   1165 |        0 |        0
1429.95/1430.30	c 1427s |      24 |  3781076 |  3515262 |     7477   1166 |        0 |        0
1431.96/1432.31	c 1429s |      24 |  3784987 |  3518762 |     7477   1167 |        0 |        0
1433.95/1434.32	c 1431s |      24 |  3788692 |  3522262 |     7477   1168 |        0 |        0
1435.95/1436.37	c 1433s |      24 |  3792293 |  3525662 |     7477   1169 |        0 |        0
1437.95/1438.39	c 1435s |      24 |  3795456 |  3528762 |     7477   1170 |        0 |        0
1440.05/1440.40	c 1437s |      24 |  3799347 |  3532562 |     7477   1171 |        0 |        0
1442.05/1442.49	c 1439s |      24 |  3802738 |  3535862 |     7477   1172 |        0 |        0
1444.15/1444.56	c 1441s |      24 |  3806446 |  3539462 |     7477   1172 |        0 |        0
1446.25/1446.61	c 1443s |      24 |  3811940 |  3544162 |     7477   1174 |        0 |        0
1448.24/1448.62	c 1445s |      24 |  3816699 |  3548262 |     7477   1175 |        0 |        0
1450.24/1450.64	c 1447s |      24 |  3822246 |  3552862 |     7477   1176 |        0 |        0
1452.24/1452.66	c 1449s |      24 |  3827766 |  3557962 |     7477   1177 |        0 |        0
1454.24/1454.68	c 1451s |      24 |  3832591 |  3562462 |     7477   1178 |        0 |        0
1456.24/1456.69	c 1453s |      24 |  3836902 |  3566362 |     7477   1179 |        0 |        0
1458.35/1458.76	c 1455s |      24 |  3840989 |  3569962 |     7477   1180 |        0 |        0
1460.34/1460.77	c 1457s |      24 |  3844826 |  3573562 |     7477   1181 |        0 |        0
1462.34/1462.78	c 1459s |      24 |  3849992 |  3578462 |     7477   1182 |        0 |        0
1464.44/1464.81	c 1461s |      24 |  3855854 |  3583562 |     7477   1183 |        0 |        0
1466.44/1466.82	c 1463s |      24 |  3861144 |  3588262 |     7477   1185 |        0 |        0
1468.44/1468.83	c 1465s |      24 |  3867701 |  3594262 |     7477   1186 |        0 |        0
1470.45/1470.85	c 1467s |      24 |  3872894 |  3598562 |     7477   1187 |        0 |        0
1472.44/1472.90	c 1469s |      24 |  3878156 |  3603262 |     7477   1188 |        0 |        0
1474.54/1474.92	c 1471s |      24 |  3882877 |  3607562 |     7477   1189 |        0 |        0
1476.53/1476.92	c 1473s |      24 |  3887096 |  3611262 |     7477   1190 |        0 |        0
1478.53/1478.94	c 1475s |      24 |  3892048 |  3615762 |     7477   1191 |        0 |        0
1480.53/1480.95	c 1477s |      24 |  3897641 |  3620662 |     7477   1193 |        0 |        0
1482.54/1482.95	c 1479s |      24 |  3902123 |  3624862 |     7477   1194 |        0 |        0
1484.53/1484.96	c 1481s |      24 |  3905076 |  3627762 |     7477   1194 |        0 |        0
1486.53/1486.96	c 1483s |      24 |  3908918 |  3631462 |     7477   1195 |        0 |        0
1488.53/1488.99	c 1485s |      24 |  3913728 |  3635862 |     7477   1197 |        0 |        0
1490.63/1491.05	c 1487s |      24 |  3918376 |  3639962 |     7477   1198 |        0 |        0
1492.63/1493.07	c 1489s |      24 |  3923988 |  3645262 |     7477   1199 |        0 |        0
1494.63/1495.08	c 1492s |      24 |  3929523 |  3650462 |     7477   1200 |        0 |        0
1496.73/1497.11	c 1494s |      24 |  3935131 |  3655762 |     7477   1201 |        0 |        0
1498.72/1499.16	c 1496s |      24 |  3940557 |  3660762 |     7477   1203 |        0 |        0
1500.82/1501.20	c 1498s |      24 |  3944506 |  3664462 |     7477   1204 |        0 |        0
1502.82/1503.23	c 1500s |      24 |  3949554 |  3669162 |     7477   1205 |        0 |        0
1504.82/1505.23	c 1502s |      24 |  3953551 |  3672962 |     7477   1206 |        0 |        0
1506.81/1507.24	c 1504s |      24 |  3956839 |  3676162 |     7477   1207 |        0 |        0
1508.82/1509.27	c 1506s |      24 |  3960632 |  3679862 |     7477   1208 |        0 |        0
1510.81/1511.29	c 1508s |      24 |  3964580 |  3683762 |     7477   1209 |        0 |        0
1512.91/1513.36	c 1510s |      24 |  3968892 |  3687762 |     7477   1210 |        0 |        0
1515.01/1515.45	c 1512s |      24 |  3973332 |  3691962 |     7477   1211 |        0 |        0
1517.01/1517.47	c 1514s |      24 |  3978782 |  3697162 |     7477   1212 |        0 |        0
1519.11/1519.52	c 1516s |      24 |  3982814 |  3701062 |     7477   1213 |        0 |        0
1521.11/1521.53	c 1518s |      24 |  3986943 |  3704962 |     7477   1214 |        0 |        0
1523.11/1523.53	c 1520s |      24 |  3992455 |  3709962 |     7477   1215 |        0 |        0
1525.10/1525.58	c 1522s |      24 |  3997786 |  3714862 |     7477   1216 |        0 |        0
1527.10/1527.59	c 1524s |      24 |  4001809 |  3718762 |     7477   1217 |        0 |        0
1529.20/1529.64	c 1526s |      24 |  4005584 |  3722462 |     7477   1218 |        0 |        0
1531.20/1531.66	c 1528s |      24 |  4009452 |  3726262 |     7477   1219 |        0 |        0
1533.20/1533.69	c 1530s |      24 |  4015066 |  3731462 |     7477   1221 |        0 |        0
1535.21/1535.69	c 1532s |      24 |  4020084 |  3735962 |     7477   1222 |        0 |        0
1537.30/1537.73	c 1534s |      24 |  4024658 |  3740362 |     7477   1223 |        0 |        0
1539.30/1539.76	c 1536s |      24 |  4029253 |  3744662 |     7477   1224 |        0 |        0
1541.29/1541.78	c 1538s |      24 |  4033816 |  3748462 |     7477   1225 |        0 |        0
1543.39/1543.80	c 1540s |      24 |  4039316 |  3753162 |     7477   1226 |        0 |        0
1545.39/1545.82	c 1542s |      24 |  4043951 |  3757662 |     7477   1227 |        0 |        0
1547.40/1547.87	c 1544s |      24 |  4047855 |  3761362 |     7477   1228 |        0 |        0
1549.39/1549.90	c 1546s |      24 |  4052646 |  3765562 |     7477   1229 |        0 |        0
1551.49/1551.92	c 1548s |      24 |  4058541 |  3770962 |     7477   1230 |        0 |        0
1553.49/1553.98	c 1550s |      24 |  4063210 |  3775162 |     7477   1232 |        0 |        0
1555.58/1556.03	c 1552s |      24 |  4067910 |  3779162 |     7477   1233 |        0 |        0
1557.58/1558.04	c 1554s |      24 |  4073500 |  3784162 |     7477   1234 |        0 |        0
1559.58/1560.07	c 1557s |      24 |  4078657 |  3788862 |     7477   1235 |        0 |        0
1561.59/1562.09	c 1559s |      24 |  4083269 |  3793362 |     7477   1236 |        0 |        0
1563.68/1564.10	c 1561s |      24 |  4087952 |  3797662 |     7477   1237 |        0 |        0
1565.68/1566.15	c 1563s |      24 |  4092264 |  3801662 |     7477   1238 |        0 |        0
1567.68/1568.19	c 1565s |      24 |  4097382 |  3806562 |     7477   1239 |        0 |        0
1569.78/1570.25	c 1567s |      24 |  4101625 |  3810362 |     7477   1240 |        0 |        0
1571.88/1572.30	c 1569s |      24 |  4105588 |  3813962 |     7477   1241 |        0 |        0
1573.88/1574.34	c 1571s |      24 |  4109627 |  3817862 |     7477   1242 |        0 |        0
1575.88/1576.40	c 1573s |      24 |  4113213 |  3821062 |     7477   1243 |        0 |        0
1577.97/1578.44	c 1575s |      24 |  4117854 |  3825362 |     7477   1244 |        0 |        0
1579.97/1580.48	c 1577s |      24 |  4121345 |  3828662 |     7477   1245 |        0 |        0
1581.97/1582.48	c 1579s |      24 |  4126363 |  3833362 |     7477   1246 |        0 |        0
1584.07/1584.50	c 1581s |      24 |  4132317 |  3838662 |     7477   1247 |        0 |        0
1586.07/1586.56	c 1583s |      24 |  4137284 |  3843262 |     7477   1249 |        0 |        0
1588.08/1588.57	c 1585s |      24 |  4142329 |  3847562 |     7477   1250 |        0 |        0
1590.18/1590.62	c 1587s |      24 |  4147349 |  3851962 |     7477   1251 |        0 |        0
1592.17/1592.64	c 1589s |      24 |  4151583 |  3855862 |     7477   1252 |        0 |        0
1594.17/1594.65	c 1591s |      24 |  4157021 |  3860662 |     7477   1253 |        0 |        0
1596.17/1596.65	c 1593s |      24 |  4162243 |  3865362 |     7477   1254 |        0 |        0
1598.17/1598.67	c 1595s |      24 |  4166936 |  3869762 |     7477   1255 |        0 |        0
1600.27/1600.70	c 1597s |      24 |  4171761 |  3874062 |     7477   1256 |        0 |        0
1602.28/1602.75	c 1599s |      24 |  4175869 |  3877662 |     7477   1257 |        0 |        0
1604.27/1604.76	c 1601s |      24 |  4181279 |  3882662 |     7477   1259 |        0 |        0
1606.26/1606.78	c 1603s |      24 |  4185981 |  3886662 |     7477   1260 |        0 |        0
1608.26/1608.79	c 1605s |      24 |  4190109 |  3890362 |     7477   1260 |        0 |        0
1610.36/1610.80	c 1607s |      24 |  4196226 |  3895962 |     7477   1262 |        0 |        0
1612.36/1612.84	c 1609s |      24 |  4200916 |  3900462 |     7477   1263 |        0 |        0
1614.37/1614.86	c 1611s |      24 |  4205330 |  3904762 |     7477   1264 |        0 |        0
1616.36/1616.89	c 1613s |      24 |  4209885 |  3909062 |     7477   1265 |        0 |        0
1618.46/1618.92	c 1615s |      24 |  4213903 |  3912962 |     7477   1266 |        0 |        0
1620.46/1620.94	c 1617s |      24 |  4218908 |  3917662 |     7477   1267 |        0 |        0
1622.46/1622.96	c 1619s |      24 |  4223143 |  3921462 |     7477   1268 |        0 |        0
1624.46/1624.97	c 1621s |      24 |  4227959 |  3926062 |     7477   1269 |        0 |        0
1626.46/1626.97	c 1623s |      24 |  4233278 |  3930762 |     7477   1271 |        1 |        8
1628.55/1629.00	c 1625s |      24 |  4238687 |  3935762 |     7477   1272 |        1 |        8
1630.55/1631.01	c 1627s |      24 |  4242598 |  3939462 |     7477   1273 |        1 |        8
1632.55/1633.04	c 1629s |      24 |  4249187 |  3945862 |     7477   1274 |        1 |        8
1634.55/1635.04	c 1631s |      24 |  4254281 |  3950862 |     7477   1276 |        1 |        8
1636.54/1637.07	c 1634s |      24 |  4259987 |  3956262 |     7477   1277 |        1 |        8
1638.55/1639.10	c 1636s |      24 |  4265447 |  3961362 |     7477   1278 |        1 |        8
1640.64/1641.11	c 1638s |      24 |  4270770 |  3966462 |     7477   1280 |        1 |        8
1642.64/1643.13	c 1640s |      24 |  4275820 |  3971262 |     7477   1281 |        1 |        8
1644.64/1645.15	c 1642s |      24 |  4281409 |  3976662 |     7477   1282 |        1 |        8
1646.63/1647.15	c 1644s |      24 |  4286636 |  3981562 |     7477   1283 |        1 |        8
1648.63/1649.17	c 1646s |      24 |  4292026 |  3986562 |     7477   1285 |        1 |        8
1650.64/1651.17	c 1648s |      24 |  4297671 |  3991862 |     7477   1286 |        1 |        8
1652.73/1653.20	c 1650s |      24 |  4303766 |  3997762 |     7477   1287 |        1 |        8
1654.73/1655.21	c 1652s |      24 |  4308905 |  4002762 |     7477   1289 |        1 |        8
1656.73/1657.22	c 1654s |      24 |  4314490 |  4008162 |     7477   1290 |        1 |        8
1658.72/1659.22	c 1656s |      24 |  4320198 |  4013662 |     7477   1291 |        1 |        8
1660.72/1661.24	c 1658s |      24 |  4325352 |  4018662 |     7477   1293 |        1 |        8
1662.73/1663.26	c 1660s |      24 |  4330528 |  4023562 |     7477   1294 |        1 |        8
1664.82/1665.30	c 1662s |      24 |  4335686 |  4028362 |     7477   1295 |        1 |        8
1666.82/1667.30	c 1664s |      24 |  4340323 |  4032862 |     7477   1296 |        1 |        8
1668.82/1669.32	c 1666s |      24 |  4345293 |  4037562 |     7477   1297 |        1 |        8
1670.82/1671.34	c 1668s |      24 |  4350630 |  4042562 |     7477   1299 |        1 |        8
1672.82/1673.37	c 1670s |      24 |  4356078 |  4047562 |     7477   1300 |        1 |        8
1674.83/1675.38	c 1672s |      24 |  4361547 |  4052762 |     7477   1301 |        1 |        8
1676.81/1677.39	c 1674s |      24 |  4366978 |  4057862 |     7477   1302 |        1 |        8
1678.91/1679.41	c 1676s |      24 |  4371948 |  4062662 |     7477   1303 |        1 |        8
1680.92/1681.41	c 1678s |      24 |  4377360 |  4067862 |     7477   1305 |        1 |        8
1682.92/1683.43	c 1680s |      24 |  4382831 |  4073162 |     7477   1306 |        1 |        8
1684.92/1685.43	c 1682s |      24 |  4388263 |  4078362 |     7477   1307 |        1 |        8
1686.92/1687.45	c 1684s |      24 |  4393226 |  4083162 |     7477   1309 |        1 |        8
1688.92/1689.48	c 1686s |      24 |  4398898 |  4088562 |     7477   1310 |        1 |        8
1691.02/1691.51	c 1688s |      24 |  4404417 |  4093962 |     7477   1311 |        1 |        8
1693.01/1693.55	c 1690s |      24 |  4409547 |  4098962 |     7477   1313 |        1 |        8
1695.01/1695.57	c 1692s |      24 |  4414973 |  4104162 |     7477   1314 |        1 |        8
1697.01/1697.57	c 1694s |      24 |  4420583 |  4109462 |     7477   1315 |        1 |        8
1699.02/1699.59	c 1696s |      24 |  4425683 |  4114162 |     7477   1316 |        1 |        8
1701.11/1701.60	c 1698s |      24 |  4430962 |  4119162 |     7477   1318 |        1 |        8
1703.11/1703.62	c 1700s |      24 |  4435427 |  4123462 |     7477   1319 |        1 |        8
1705.11/1705.64	c 1702s |      24 |  4441750 |  4129562 |     7477   1320 |        1 |        8
1707.10/1707.64	c 1704s |      24 |  4446196 |  4133862 |     7477   1321 |        1 |        8
1709.10/1709.67	c 1706s |      24 |  4451446 |  4138862 |     7477   1322 |        1 |        8
1711.11/1711.70	c 1708s |      24 |  4456981 |  4144162 |     7477   1324 |        1 |        8
1713.20/1713.71	c 1710s |      24 |  4462657 |  4149662 |     7477   1325 |        1 |        8
1715.20/1715.74	c 1712s |      24 |  4467993 |  4154762 |     7477   1326 |        1 |        8
1717.19/1717.77	c 1714s |      24 |  4472508 |  4159162 |     7477   1328 |        1 |        8
1719.29/1719.80	c 1716s |      24 |  4477847 |  4164262 |     7477   1329 |        1 |        8
1721.29/1721.82	c 1718s |      24 |  4483327 |  4169462 |     7477   1330 |        1 |        8
1723.30/1723.83	c 1720s |      24 |  4488271 |  4174162 |     7477   1331 |        1 |        8
1725.29/1725.87	c 1722s |      24 |  4493252 |  4178962 |     7477   1332 |        1 |        8
1727.29/1727.89	c 1724s |      24 |  4498268 |  4183662 |     7477   1334 |        1 |        8
1729.39/1729.90	c 1726s |      24 |  4503258 |  4188362 |     7477   1335 |        1 |        8
1731.38/1731.95	c 1728s |      24 |  4508560 |  4193262 |     7477   1336 |        1 |        8
1733.38/1733.99	c 1730s |      24 |  4513344 |  4197862 |     7477   1337 |        1 |        8
1735.48/1736.04	c 1732s |      24 |  4518686 |  4202962 |     7477   1338 |        1 |        8
1737.59/1738.15	c 1735s |      24 |  4523274 |  4207362 |     7477   1340 |        1 |        8
1739.58/1740.17	c 1737s |      24 |  4528702 |  4212462 |     7477   1341 |        1 |        8
1741.58/1742.18	c 1739s |      24 |  4533743 |  4217162 |     7477   1342 |        1 |        8
1743.58/1744.19	c 1741s |      24 |  4538859 |  4222062 |     7477   1343 |        1 |        8
1745.57/1746.19	c 1743s |      24 |  4544269 |  4227162 |     7477   1344 |        1 |        8
1747.67/1748.20	c 1745s |      24 |  4549673 |  4232262 |     7477   1346 |        1 |        8
1749.68/1750.23	c 1747s |      24 |  4555400 |  4237762 |     7477   1347 |        1 |        8
1751.67/1752.24	c 1749s |      24 |  4560437 |  4242462 |     7477   1348 |        1 |        8
1753.67/1754.25	c 1751s |      24 |  4564981 |  4246762 |     7477   1349 |        1 |        8
1755.67/1756.27	c 1753s |      24 |  4570689 |  4252162 |     7477   1351 |        1 |        8
1757.77/1758.31	c 1755s |      24 |  4576228 |  4257462 |     7477   1352 |        1 |        8
1759.77/1760.34	c 1757s |      24 |  4580783 |  4261862 |     7477   1353 |        1 |        8
1761.78/1762.38	c 1759s |      24 |  4585967 |  4266662 |     7477   1354 |        1 |        8
1763.77/1764.39	c 1761s |      24 |  4590794 |  4271062 |     7477   1355 |        1 |        8
1765.86/1766.43	c 1763s |      24 |  4595495 |  4275562 |     7477   1356 |        1 |        8
1767.86/1768.45	c 1765s |      24 |  4600244 |  4280162 |     7477   1358 |        1 |        8
1769.86/1770.47	c 1767s |      24 |  4605106 |  4284862 |     7477   1359 |        1 |        8
1771.86/1772.49	c 1769s |      24 |  4610157 |  4289562 |     7477   1360 |        1 |        8
1773.96/1774.52	c 1771s |      24 |  4615139 |  4294262 |     7477   1361 |        1 |        8
1775.97/1776.56	c 1773s |      24 |  4620053 |  4298962 |     7477   1362 |        1 |        8
1777.96/1778.56	c 1775s |      24 |  4624580 |  4303262 |     7477   1363 |        1 |        8
1780.06/1780.60	c 1777s |      24 |  4629659 |  4307962 |     7477   1365 |        1 |        8
1782.06/1782.62	c 1779s |      24 |  4634762 |  4312762 |     7477   1366 |        1 |        8
1784.05/1784.64	c 1781s |      24 |  4639964 |  4317462 |     7477   1367 |        1 |        8
1786.05/1786.66	c 1783s |      24 |  4644978 |  4322162 |     7477   1368 |        1 |        8
1788.06/1788.70	c 1785s |      24 |  4649757 |  4326662 |     7477   1369 |        1 |        8
1790.15/1790.72	c 1787s |      24 |  4654854 |  4331462 |     7477   1370 |        1 |        8
1792.15/1792.75	c 1789s |      24 |  4659930 |  4336262 |     7477   1372 |        1 |        8
1794.15/1794.77	c 1791s |      24 |  4665381 |  4341462 |     7477   1373 |        1 |        8
1796.15/1796.77	c 1793s |      24 |  4669857 |  4345662 |     7477   1374 |        1 |        8
1798.15/1798.79	c 1795s |      24 |  4675229 |  4350862 |     7477   1375 |        1 |        8

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.02 2.01 3/179 27036
/proc/meminfo: memFree=29404716/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 2694 0 0 0 0 0 0 0 20 0 4 0 28592118 739700736 3055 33554432000 4194304 16246674 140736542735568 140736542734992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 181103 3063 441 2943 0 177997 0
[pid=27036/tid=27037] ppid=27033 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 757526528 3123 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 761720832 3138 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 765915136 3155 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100215 s]
/proc/loadavg: 2.16 2.02 2.01 3/179 27036
/proc/meminfo: memFree=29404716/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 21642 0 0 0 6 3 0 0 20 0 4 0 28592118 1247350784 21990 33554432000 4194304 16246674 140736542735568 140736542734992 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 304529 21994 758 2943 0 301423 0
[pid=27036/tid=27037] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 22001 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 22007 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 22011 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200501 s]
/proc/loadavg: 2.16 2.02 2.01 3/179 27036
/proc/meminfo: memFree=29404716/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 40055 0 0 0 13 6 0 0 20 0 4 0 28592118 1247350784 40403 33554432000 4194304 16246674 140736542735568 140736542734992 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 304529 40411 758 2943 0 301423 0
[pid=27036/tid=27037] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 40416 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 40423 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 40430 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300469 s]
/proc/loadavg: 2.16 2.02 2.01 3/179 27036
/proc/meminfo: memFree=29404716/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 57201 0 0 0 21 8 0 0 20 0 4 0 28592118 1247350784 57549 33554432000 4194304 16246674 140736542735568 140736542734992 6010789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 304529 57559 758 2943 0 301423 0
[pid=27036/tid=27037] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 57565 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 57570 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 57576 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70039 s]
/proc/loadavg: 2.16 2.02 2.01 3/179 27036
/proc/meminfo: memFree=29404716/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 103437 0 0 0 55 14 0 0 20 0 4 0 28592118 1247350784 103785 33554432000 4194304 16246674 140736542735568 140736542717440 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 304529 103790 758 2943 0 301423 0
[pid=27036/tid=27037] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 103793 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 103796 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 103798 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50034 s]
/proc/loadavg: 2.15 2.01 2.01 3/183 27040
/proc/meminfo: memFree=28778452/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 226050 0 0 0 118 31 0 0 20 0 4 0 28592118 1247350784 226399 33554432000 4194304 16246674 140736542735568 140736542717440 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 304529 226408 765 2943 0 301423 0
[pid=27036/tid=27037] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 226414 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 226417 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1247350784 226424 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.15 2.01 2.01 3/183 27040
/proc/meminfo: memFree=28420084/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1302084 CPUtime=3.09 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 266455 0 0 0 273 36 0 0 20 0 4 0 28592118 1333334016 266780 33554432000 4194304 16246674 140736542735568 140736542717440 12474947 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 325521 266780 850 2943 0 322415 0
[pid=27036/tid=27037] ppid=27033 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1333334016 266780 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1333334016 266780 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1333334016 266780 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1302084

[startup+6.30041 s]
/proc/loadavg: 2.15 2.01 2.01 3/183 27040
/proc/meminfo: memFree=28330968/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 268181 0 0 0 592 37 0 0 20 0 4 0 28592118 1340674048 268506 33554432000 4194304 16246674 140736542735568 140736542718568 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 327313 268506 851 2943 0 324207 0
[pid=27036/tid=27037] ppid=27033 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1340674048 268506 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1340674048 268506 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1340674048 268506 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.20 2.03 2.01 3/183 27040
/proc/meminfo: memFree=28330116/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 268409 0 0 0 1232 37 0 0 20 0 4 0 28592118 1340674048 268734 33554432000 4194304 16246674 140736542735568 140736542717440 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 327313 268734 851 2943 0 324207 0
[pid=27036/tid=27037] ppid=27033 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1340674048 268734 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1340674048 268734 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1340674048 268734 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.17 2.03 2.01 3/183 27040
/proc/meminfo: memFree=28329780/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 268554 0 0 0 2512 37 0 0 20 0 4 0 28592118 1341722624 268879 33554432000 4194304 16246674 140736542735568 140736542717440 5717604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 327569 268879 853 2943 0 324463 0
[pid=27036/tid=27037] ppid=27033 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1341722624 268879 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1341722624 268879 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1341722624 268879 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.26 2.06 2.02 3/183 27040
/proc/meminfo: memFree=28326564/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 269436 0 0 0 5071 37 0 0 20 0 4 0 28592118 1344868352 269761 33554432000 4194304 16246674 140736542735568 140736542718568 5673957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 328337 269761 854 2943 0 325231 0
[pid=27036/tid=27037] ppid=27033 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1344868352 269761 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1344868352 269761 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1344868352 269761 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/183 27041
/proc/meminfo: memFree=28323640/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 269948 0 0 0 10191 37 0 0 20 0 4 0 28592118 1346965504 270273 33554432000 4194304 16246674 140736542735568 140736542717440 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 328849 270273 854 2943 0 325743 0
[pid=27036/tid=27037] ppid=27033 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1346965504 270273 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1346965504 270273 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1346965504 270273 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1329732

[startup+1302.3 s]
/proc/loadavg: 2.16 2.15 2.09 4/183 27094
/proc/meminfo: memFree=28293540/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1329732 CPUtime=1302.02 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 273659 0 0 0 130155 47 0 0 20 0 4 0 28592118 1361645568 274114 33554432000 4194304 16246674 140736542735568 140736542717440 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 332433 274114 855 2943 0 329327 0
[pid=27036/tid=27037] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/184 27098
/proc/meminfo: memFree=28293436/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1329732 CPUtime=1361.99 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 273699 0 0 0 136151 48 0 0 20 0 4 0 28592118 1361645568 274114 33554432000 4194304 16246674 140736542735568 140736542717440 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 332433 274114 855 2943 0 329327 0
[pid=27036/tid=27037] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.09 2.13 2.09 3/183 27099
/proc/meminfo: memFree=28293644/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1329732 CPUtime=1421.97 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 273732 0 0 0 142149 48 0 0 20 0 4 0 28592118 1361645568 274114 33554432000 4194304 16246674 140736542735568 140736542734664 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 332433 274114 855 2943 0 329327 0
[pid=27036/tid=27037] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1329732

[startup+1482.3 s]
/proc/loadavg: 2.15 2.13 2.09 4/183 27198
/proc/meminfo: memFree=28313016/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1329732 CPUtime=1481.93 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 273770 0 0 0 148144 49 0 0 20 0 4 0 28592118 1361645568 274114 33554432000 4194304 16246674 140736542735568 140736542717440 6009712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 332433 274114 855 2943 0 329327 0
[pid=27036/tid=27037] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1329732

[startup+1542.31 s]
/proc/loadavg: 2.20 2.15 2.10 4/183 27200
/proc/meminfo: memFree=28306056/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1329732 CPUtime=1541.9 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 273811 0 0 0 154141 49 0 0 20 0 4 0 28592118 1361645568 274114 33554432000 4194304 16246674 140736542735568 140736542717440 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 332433 274114 855 2943 0 329327 0
[pid=27036/tid=27037] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1329732

[startup+1602.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/183 27201
/proc/meminfo: memFree=28305024/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1329732 CPUtime=1601.87 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 273851 0 0 0 160137 50 0 0 20 0 4 0 28592118 1361645568 274114 33554432000 4194304 16246674 140736542735568 140736542717440 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 332433 274114 855 2943 0 329327 0
[pid=27036/tid=27037] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1329732

[startup+1662.3 s]
/proc/loadavg: 2.19 2.15 2.10 4/183 27202
/proc/meminfo: memFree=28304924/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1329732 CPUtime=1661.82 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 273894 0 0 0 166132 50 0 0 20 0 4 0 28592118 1361645568 274114 33554432000 4194304 16246674 140736542735568 140736542717440 13760276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 332433 274114 855 2943 0 329327 0
[pid=27036/tid=27037] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1329732

[startup+1722.3 s]
/proc/loadavg: 2.33 2.19 2.11 3/183 27203
/proc/meminfo: memFree=28296216/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1329732 CPUtime=1721.79 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 273938 0 0 0 172128 51 0 0 20 0 4 0 28592118 1361645568 274114 33554432000 4194304 16246674 140736542735568 140736542718568 12461349 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 332433 274114 855 2943 0 329327 0
[pid=27036/tid=27037] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1329732

[startup+1782.3 s]
/proc/loadavg: 2.17 2.16 2.10 3/183 27204
/proc/meminfo: memFree=28295972/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1329732 CPUtime=1781.76 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 273979 0 0 0 178125 51 0 0 20 0 4 0 28592118 1361645568 274114 33554432000 4194304 16246674 140736542735568 140736542717440 12483168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 332433 274114 855 2943 0 329327 0
[pid=27036/tid=27037] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1329732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.17 2.10 3/183 27204
/proc/meminfo: memFree=28296380/32872528 swapFree=1191052/1305516
[pid=27036] ppid=27033 vsize=1329732 CPUtime=1800.05 cores=0,2,4,6
/proc/27036/stat : 27036 (toysat) R 27033 27036 26736 0 -1 4202496 273980 0 0 0 179954 51 0 0 20 0 4 0 28592118 1361645568 274114 33554432000 4194304 16246674 140736542735568 140736542717440 5677795 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27036/statm: 332433 274114 855 2943 0 329327 0
[pid=27036/tid=27037] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27037/stat : 27037 (toysat) S 27033 27036 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892513287408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27036/tid=27038] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27038/stat : 27038 (toysat) S 27033 27036 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892502797552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27036/tid=27039] ppid=27033 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/27036/task/27039/stat : 27039 (toysat) S 27033 27036 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28592119 1361645568 274114 33554432000 4194304 16246674 140736542735568 139892386426032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1329732

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 27036 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.07
CPU user time (s): 1799.55
CPU system time (s): 0.516921
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.516921
maximum resident set size= 1096456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273980
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= 461
involuntary context switches= 1897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5683 second user time and 6.95994 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 17:57:35
IDJOB=4106097
IDBENCH=47931
IDSOLVER=2542
FILE ID=node127/4106097-1466265455
RUNJOBID= node127-1466265123-26752
PBS_JOBID= 19918231
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=149-P1=163-P2=41-P3=157-P4=223-P5=67-P6=191-P7=17-P8=37-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106097-1466265455/watcher-4106097-1466265455 -o /tmp/evaluation-result-4106097-1466265455/solver-4106097-1466265455 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106097-1466265455.opb

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

MD5SUM BENCH= 870560ebbd959d9c8bd54c4fcdba3455
RANDOM SEED=513916531

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29405632 kB
Buffers:           80652 kB
Cached:           258016 kB
SwapCached:          516 kB
Active:          1172576 kB
Inactive:         250420 kB
Active(anon):    1084648 kB
Inactive(anon):     2184 kB
Active(file):      87928 kB
Inactive(file):   248236 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2389924 kB
Mapped:            10536 kB
Shmem:                 0 kB
Slab:             603764 kB
SReclaimable:      47908 kB
SUnreclaim:       555856 kB
KernelStack:        1472 kB
PageTables:         8892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2533672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node127 at 2016-06-18 18:27:36