Trace number 4106352

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb
MD5SUM854cc656dc0682d745f606d1e6722452
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.094985
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 variables108
Total number of constraints9
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

Solver Data 

0.00/0.00	c 2016-06-18T19:15:41+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-4106352-1466270141.opb"]
0.00/0.01	c use --random-gen="339038918 468500189 650120492 3749373740 3153459402 1742210240 68493275 4116880409 788014640 554840740 3150599964 1673460546 138179843 1462027922 835291619 3679381302 4050394088 2496702327 1844819341 127283236 175256258 150689069 3763075577 3803376544 4055050709 2848902466 3127229715 2599706973 570430797 373454139 3531702526 3216332116 685960672 462910938 4016045208 1623842765 4041239100 2795316459 1274357054 1209181627 3235554628 934540488 3580039097 796089252 911560883 3414854603 1625761532 3378900336 2424995442 3550464877 4132683227 1933259591 2478292098 2480007004 1002510338 2111143032 3682937692 2661364420 1069485480 568967377 1794442949 1312805389 752782087 1415756640 3620212517 541401684 4249525999 3325414032 4112809251 3404447307 927056864 3756787097 3411319682 2386674122 3968556634 2944618005 410795986 378274648 4069749564 1774216679 3277718636 3512344763 3641338576 1207477457 2958778935 1551279728 3436200709 3503908965 1321529249 3681667757 2992828278 2346525508 1512084984 78276789 3887585193 890610908 2995245248 260342997 1592677688 1899390438 311793292 3654753526 2907174783 3972598676 971960340 1559769933 3808869252 413525241 4156365820 578344383 3532441720 3784650180 1966177153 239225196 3804140645 837009632 2675157797 3816321774 1424082820 1055963420 1691070236 272284976 1873689462 1920673113 1543171437 3538875622 1975597968 2997228313 3955843433 3992903861 437398427 2575248285 1385880314 1993152968 3506973640 3118155756 3946159238 1697285854 3549030596 185228537 2951048708 2916588180 2245535061 2008674473 3898267848 323510139 277529668 2738560349 2821024657 1987671024 1945573842 2110127925 258828545 62002358 2369325656 3751285410 2181863689 1435982696 2113214852 1125028809 3756113799 803872359 1974982171 588033550 590811686 4043561430 2212872923 4257454152 2388082283 333008346 2100061060 155397063 1046883846 2483916920 1876174803 1001038141 394048779 2876394566 2488174069 620965780 2802840632 464067004 129093236 1405622543 1700500265 2258786022 2503978996 907698007 3676115413 2882283543 2502079622 2478838749 3936647380 1492981921 3385502984 1626187939 3208177172 2419965921 2758246492 1364942563 865029204 3203750082 4165771506 4071839228 2751300976 1942655948 259721050 3797858684 517778859 387372455 137795320 1428394432 4220269960 208259733 2134945707 4120882505 1457283505 1623133762 802122798 1117203187 3358333997 3057279272 2982035943 205844981 796841378 1097972655 4014424260 1429999820 2529899635 443482465 2123276259 4116089566 1941758852 2948105030 16853483 171062220 3367840623 1787905697 3214605491 2492522727 1014336336 38729775 3846216384 2813996337 1040233027 2635808915 2877364221 2990280015 1091730357 3718837293 3067081366 1011693974 598930921 3259488138 1435123945 1004150684 255 362436" option to reproduce the execution
0.00/0.01	c #vars 108
0.00/0.01	c #constraints 9
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      472      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      141 |      100 |      472      0 |        0 |        0
0.09/0.12	c  0.1s |       2 |      347 |      250 |      520      0 |        0 |        0
0.19/0.29	c  0.3s |       3 |      617 |      475 |      572      0 |        0 |        0
0.29/0.38	c  0.4s |       4 |      973 |      813 |      630      1 |        0 |        0
0.49/0.52	c  0.5s |       5 |     1518 |     1320 |      693      2 |        0 |        0
0.69/0.72	c  0.7s |       5 |     2152 |     1865 |      763      2 |        0 |        0
0.69/0.72	c #cpu_time = 0.696s
0.69/0.72	c #wall_clock_time = 0.698s
0.69/0.72	c #decision = 2152
0.69/0.72	c #random_decision = 8
0.69/0.72	c #conflict = 1865
0.69/0.72	c #restart = 5
0.69/0.72	o 357
0.69/0.72	c BCD2: updating upper bound: 511 -> 356
0.69/0.72	c BCD2: 0 <= obj <= 356
0.69/0.72	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
0.69/0.72	c BCD2: #sat=1 #unsat=1 bias=1/2
0.69/0.72	c Solving starts ...
0.69/0.72	c ============================[ Search Statistics ]============================
0.69/0.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.72	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.72	c =============================================================================
0.69/0.72	c  0.0s |       0 |        0 |        0 |      763      0 |        0 |        0
0.69/0.73	c  0.0s |       0 |        7 |        0 |      763      1 |        0 |        0
0.69/0.73	c #cpu_time = 0.008s
0.69/0.73	c #wall_clock_time = 0.008s
0.69/0.73	c #decision = 7
0.69/0.73	c #random_decision = 0
0.69/0.73	c #conflict = 0
0.69/0.73	c #restart = 0
0.69/0.73	c BCD2: found a new core of size 8: cost of the new core is >=2
0.69/0.73	c lower bound updated to 2
0.69/0.73	c BCD2: 2 <= obj <= 356
0.69/0.73	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
0.69/0.73	c BCD2: #sat=1 #unsat=2 bias=2/3
0.69/0.73	c Solving starts ...
0.69/0.73	c ============================[ Search Statistics ]============================
0.69/0.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.73	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.73	c =============================================================================
0.69/0.73	c  0.0s |       0 |        0 |        0 |      763      0 |        0 |        0
0.79/0.83	c  0.1s |       1 |      186 |      100 |      763      0 |        0 |        0
0.89/0.93	c  0.2s |       2 |      424 |      250 |      840      0 |        0 |        0
0.89/0.99	c  0.3s |       3 |      680 |      475 |      840      0 |        0 |        0
1.20/1.21	c  0.5s |       4 |     1044 |      813 |      840      1 |        0 |        0
1.39/1.42	c  0.7s |       5 |     1665 |     1320 |      840      2 |        0 |        0
1.68/1.71	c  1.0s |       6 |     2717 |     2081 |      925      3 |        0 |        0
1.88/1.98	c  1.3s |       7 |     3970 |     3223 |     1018      5 |        0 |        0
2.69/2.79	c  2.1s |       8 |     5801 |     4936 |     1018      8 |        0 |        0
3.59/3.66	c  2.9s |       9 |     8637 |     7506 |     1120     12 |        0 |        0
4.99/5.02	c  4.3s |      10 |    12661 |    11361 |     1232     16 |        0 |        0
6.89/6.98	c  6.3s |      11 |    18826 |    17144 |     1356     23 |        0 |        0
8.98/9.01	c  8.3s |      11 |    25265 |    23144 |     1356     31 |        0 |        0
9.89/9.94	c  9.2s |      12 |    28000 |    25819 |     1492     33 |        0 |        0
11.89/11.95	c 11.2s |      12 |    35765 |    33319 |     1492     42 |        0 |        0
13.49/13.54	c 12.8s |      13 |    41361 |    38832 |     1642     48 |        0 |        0
15.50/15.56	c 14.8s |      13 |    46822 |    44032 |     1642     53 |        0 |        0
17.49/17.59	c 16.9s |      13 |    53422 |    50532 |     1642     59 |        0 |        0
19.49/19.60	c 18.9s |      13 |    60319 |    57332 |     1807     66 |        0 |        0
19.80/19.87	c 19.1s |      14 |    61348 |    58352 |     1807     67 |        0 |        0
21.79/21.88	c 21.2s |      14 |    68129 |    64852 |     1807     73 |        0 |        0
23.79/23.89	c 23.2s |      14 |    75652 |    72152 |     1807     80 |        0 |        0
25.89/25.90	c 25.2s |      14 |    82557 |    78852 |     1807     86 |        0 |        0
27.89/27.93	c 27.2s |      14 |    90042 |    86052 |     1988     92 |        0 |        0
28.29/28.37	c 27.6s |      15 |    91693 |    87632 |     1988     94 |        0 |        0
30.29/30.38	c 29.7s |      15 |    99049 |    94832 |     1988    100 |        0 |        0
32.39/32.40	c 31.7s |      15 |   106213 |   101832 |     1988    107 |        0 |        0
34.38/34.44	c 33.7s |      15 |   111106 |   106432 |     1988    110 |        0 |        0
36.39/36.45	c 35.7s |      15 |   118063 |   113232 |     1988    116 |        0 |        0
38.38/38.47	c 37.7s |      15 |   124737 |   119332 |     1988    121 |        0 |        0
40.38/40.48	c 39.8s |      15 |   130907 |   125232 |     1988    127 |        0 |        0
42.18/42.26	c 41.5s |      16 |   137573 |   131552 |     2187    132 |        0 |        0
44.18/44.26	c 43.5s |      16 |   145968 |   139652 |     2187    138 |        0 |        0
46.19/46.28	c 45.6s |      16 |   153642 |   147252 |     2187    144 |        0 |        0
48.18/48.29	c 47.6s |      16 |   161623 |   155152 |     2187    151 |        0 |        0
50.18/50.29	c 49.6s |      16 |   169025 |   162452 |     2187    157 |        0 |        0
52.28/52.31	c 51.6s |      16 |   176807 |   170052 |     2187    162 |        0 |        0
54.28/54.32	c 53.6s |      16 |   184455 |   177552 |     2187    168 |        0 |        0
56.28/56.34	c 55.6s |      16 |   191939 |   184952 |     2187    174 |        0 |        0
58.29/58.36	c 57.6s |      16 |   199398 |   192352 |     2187    180 |        0 |        0
59.68/59.77	c 59.0s |      17 |   204549 |   197432 |     2406    184 |        0 |        0
61.69/61.79	c 61.1s |      17 |   208847 |   201432 |     2406    187 |        0 |        0
63.79/63.88	c 63.2s |      17 |   212917 |   205232 |     2406    190 |        0 |        0
65.78/65.89	c 65.2s |      17 |   218535 |   210632 |     2406    193 |        0 |        0
67.88/67.91	c 67.2s |      17 |   223976 |   215932 |     2406    197 |        0 |        0
69.88/69.92	c 69.2s |      17 |   229266 |   220932 |     2406    201 |        0 |        0
71.88/71.93	c 71.2s |      17 |   234708 |   226132 |     2406    205 |        0 |        0
73.88/73.98	c 73.3s |      17 |   239804 |   230932 |     2406    208 |        0 |        0
75.98/76.02	c 75.3s |      17 |   245087 |   236032 |     2406    212 |        0 |        0
77.98/78.04	c 77.3s |      17 |   250674 |   241432 |     2406    216 |        0 |        0
79.97/80.05	c 79.3s |      17 |   256988 |   247432 |     2406    220 |        0 |        0
81.97/82.08	c 81.4s |      17 |   262999 |   253332 |     2406    224 |        0 |        0
83.97/84.09	c 83.4s |      17 |   268809 |   258932 |     2406    228 |        0 |        0
86.07/86.11	c 85.4s |      17 |   273692 |   263632 |     2406    232 |        0 |        0
88.08/88.12	c 87.4s |      17 |   279203 |   268932 |     2406    236 |        0 |        0
90.07/90.15	c 89.4s |      17 |   285567 |   275032 |     2406    240 |        0 |        0
92.07/92.18	c 91.4s |      17 |   290215 |   279432 |     2406    243 |        0 |        0
94.07/94.19	c 93.5s |      17 |   296302 |   285332 |     2406    247 |        0 |        0
96.18/96.23	c 95.5s |      17 |   301464 |   290332 |     2406    251 |        0 |        0
98.18/98.24	c 97.5s |      17 |   306458 |   295132 |     2647    254 |        0 |        0
98.68/98.73	c 98.0s |      18 |   307610 |   296252 |     2647    255 |        0 |        0
100.68/100.74	c  100s |      18 |   314192 |   302652 |     2647    260 |        0 |        0
102.68/102.75	c  102s |      18 |   321705 |   309952 |     2647    265 |        0 |        0
104.68/104.76	c  104s |      18 |   328820 |   316952 |     2647    270 |        0 |        0
106.68/106.79	c  106s |      18 |   335999 |   323952 |     2647    274 |        0 |        0
108.77/108.81	c  108s |      18 |   342675 |   330552 |     2647    279 |        0 |        0
110.77/110.82	c  110s |      18 |   349589 |   337352 |     2647    283 |        0 |        0
112.77/112.83	c  112s |      18 |   356659 |   344252 |     2647    288 |        0 |        0
114.77/114.85	c  114s |      18 |   363412 |   350852 |     2647    292 |        0 |        0
116.77/116.87	c  116s |      18 |   370439 |   357752 |     2647    297 |        0 |        0
118.78/118.89	c  118s |      18 |   377954 |   365052 |     2647    302 |        0 |        0
120.77/120.89	c  120s |      18 |   384668 |   371652 |     2647    306 |        0 |        0
122.87/122.90	c  122s |      18 |   391026 |   377952 |     2647    311 |        0 |        0
124.87/124.91	c  124s |      18 |   397604 |   384452 |     2647    315 |        0 |        0
126.87/126.91	c  126s |      18 |   404543 |   391252 |     2647    319 |        0 |        0
128.87/128.94	c  128s |      18 |   411265 |   397852 |     2647    324 |        0 |        0
130.87/130.95	c  130s |      18 |   418268 |   404752 |     2647    328 |        0 |        0
132.87/132.96	c  132s |      18 |   424919 |   411252 |     2647    333 |        0 |        0
134.87/134.98	c  134s |      18 |   431603 |   417852 |     2647    337 |        0 |        0
136.97/137.00	c  136s |      18 |   438265 |   424352 |     2647    342 |        0 |        0
138.96/139.02	c  138s |      18 |   445295 |   431252 |     2647    346 |        0 |        0
140.96/141.04	c  140s |      18 |   452128 |   437952 |     2647    351 |        0 |        0
142.86/142.91	c  142s |      19 |   458810 |   444482 |     2912    355 |        0 |        0
144.86/144.93	c  144s |      19 |   464456 |   449882 |     2912    358 |        0 |        0
146.86/146.96	c  146s |      19 |   471174 |   456382 |     2912    362 |        0 |        0
148.86/148.99	c  148s |      19 |   478119 |   463082 |     2912    366 |        0 |        0
150.96/151.02	c  150s |      19 |   483295 |   467982 |     2912    369 |        0 |        0
152.97/153.03	c  152s |      19 |   488567 |   473082 |     2912    372 |        0 |        0
154.96/155.06	c  154s |      19 |   493884 |   478282 |     2912    375 |        0 |        0
157.06/157.10	c  156s |      19 |   499494 |   483682 |     2912    379 |        0 |        0
159.06/159.12	c  158s |      19 |   504961 |   488782 |     2912    382 |        0 |        0
161.06/161.16	c  160s |      19 |   510348 |   494082 |     2912    385 |        0 |        0
163.07/163.16	c  162s |      19 |   516797 |   500282 |     2912    389 |        0 |        0
165.07/165.18	c  164s |      19 |   523187 |   506282 |     2912    393 |        0 |        0
167.06/167.20	c  166s |      19 |   528821 |   511782 |     2912    396 |        0 |        0
169.16/169.22	c  168s |      19 |   535979 |   518682 |     2912    400 |        0 |        0
171.16/171.24	c  170s |      19 |   541734 |   524182 |     2912    404 |        0 |        0
173.16/173.25	c  172s |      19 |   548404 |   530682 |     2912    408 |        0 |        0
175.16/175.26	c  174s |      19 |   554056 |   536182 |     2912    411 |        0 |        0
177.17/177.27	c  176s |      19 |   560524 |   542482 |     2912    415 |        0 |        0
179.16/179.28	c  178s |      19 |   565903 |   547582 |     2912    418 |        0 |        0
181.26/181.32	c  180s |      19 |   571662 |   553182 |     2912    422 |        0 |        0
183.26/183.32	c  182s |      19 |   578607 |   559882 |     2912    426 |        0 |        0
185.26/185.36	c  184s |      19 |   585189 |   566082 |     2912    429 |        0 |        0
187.26/187.36	c  186s |      19 |   591162 |   571882 |     2912    433 |        0 |        0
189.27/189.37	c  188s |      19 |   596205 |   576682 |     2912    436 |        0 |        0
191.37/191.41	c  190s |      19 |   601077 |   581282 |     2912    439 |        0 |        0
193.36/193.44	c  192s |      19 |   606753 |   586782 |     2912    442 |        0 |        0
195.36/195.49	c  194s |      19 |   613191 |   592982 |     2912    446 |        0 |        0
197.36/197.49	c  196s |      19 |   619904 |   599482 |     2912    450 |        0 |        0
199.46/199.51	c  198s |      19 |   625972 |   605382 |     2912    454 |        0 |        0
201.46/201.51	c  200s |      19 |   631646 |   610882 |     2912    457 |        0 |        0
203.46/203.54	c  202s |      19 |   637517 |   616582 |     2912    461 |        0 |        0
205.46/205.56	c  204s |      19 |   643655 |   622582 |     2912    464 |        0 |        0
207.45/207.58	c  206s |      19 |   649122 |   627882 |     2912    467 |        0 |        0
209.55/209.61	c  208s |      19 |   654976 |   633582 |     2912    471 |        0 |        0
211.55/211.65	c  210s |      19 |   660962 |   639182 |     2912    474 |        0 |        0
213.55/213.66	c  212s |      19 |   666806 |   644682 |     2912    478 |        0 |        0
215.56/215.66	c  214s |      19 |   671997 |   649482 |     2912    481 |        0 |        0
217.55/217.69	c  216s |      19 |   677679 |   654882 |     2912    484 |        0 |        0
219.65/219.70	c  218s |      19 |   683642 |   660582 |     3204    487 |        0 |        0
221.65/221.72	c  220s |      19 |   689622 |   666382 |     3204    491 |        0 |        0
221.75/221.88	c  221s |      20 |   690077 |   666827 |     3204    491 |        0 |        0
223.85/223.90	c  223s |      20 |   696147 |   672727 |     3204    495 |        0 |        0
225.85/225.91	c  225s |      20 |   703085 |   679527 |     3204    498 |        0 |        0
227.85/227.95	c  227s |      20 |   708850 |   685227 |     3204    501 |        0 |        0
229.86/229.95	c  229s |      20 |   715128 |   691327 |     3204    505 |        0 |        0
231.85/231.98	c  231s |      20 |   721482 |   697627 |     3204    509 |        0 |        0
233.95/234.01	c  233s |      20 |   728312 |   704327 |     3204    512 |        0 |        0
235.95/236.01	c  235s |      20 |   734913 |   710827 |     3204    516 |        0 |        0
237.95/238.05	c  237s |      20 |   741152 |   717027 |     3204    520 |        0 |        0
239.95/240.06	c  239s |      20 |   748240 |   723827 |     3204    523 |        0 |        0
241.95/242.09	c  241s |      20 |   754399 |   729927 |     3204    527 |        0 |        0
244.05/244.11	c  243s |      20 |   760828 |   736227 |     3204    530 |        0 |        0
246.05/246.12	c  245s |      20 |   767349 |   742627 |     3204    534 |        0 |        0
248.05/248.16	c  247s |      20 |   773767 |   748827 |     3204    538 |        0 |        0
250.05/250.17	c  249s |      20 |   780576 |   755427 |     3204    541 |        0 |        0
252.05/252.19	c  251s |      20 |   787638 |   762427 |     3204    545 |        0 |        0
254.06/254.19	c  253s |      20 |   794565 |   769227 |     3204    549 |        0 |        0
256.15/256.21	c  255s |      20 |   801694 |   776227 |     3204    553 |        0 |        0
258.15/258.23	c  257s |      20 |   808466 |   782927 |     3204    557 |        0 |        0
260.15/260.25	c  259s |      20 |   815449 |   789727 |     3204    561 |        0 |        0
262.15/262.28	c  261s |      20 |   822040 |   796227 |     3204    564 |        0 |        0
264.15/264.30	c  263s |      20 |   827880 |   802027 |     3204    568 |        0 |        0
266.26/266.31	c  265s |      20 |   834513 |   808527 |     3204    571 |        0 |        0
268.25/268.34	c  267s |      20 |   841093 |   815027 |     3204    575 |        0 |        0
270.25/270.36	c  269s |      20 |   847620 |   821427 |     3204    579 |        0 |        0
272.25/272.37	c  271s |      20 |   853408 |   827127 |     3204    582 |        0 |        0
274.35/274.41	c  273s |      20 |   859045 |   832727 |     3204    585 |        0 |        0
276.35/276.44	c  275s |      20 |   864890 |   838527 |     3204    588 |        0 |        0
278.36/278.46	c  277s |      20 |   871506 |   845027 |     3204    592 |        0 |        0
280.35/280.48	c  279s |      20 |   878362 |   851727 |     3204    596 |        0 |        0
282.45/282.50	c  281s |      20 |   884936 |   858227 |     3204    599 |        0 |        0
284.45/284.51	c  283s |      20 |   891256 |   864427 |     3204    603 |        0 |        0
286.45/286.55	c  285s |      20 |   897621 |   870527 |     3204    606 |        0 |        0
288.45/288.55	c  287s |      20 |   903525 |   876327 |     3204    610 |        0 |        0
290.46/290.58	c  289s |      20 |   910244 |   882927 |     3204    613 |        0 |        0
292.56/292.61	c  291s |      20 |   917146 |   889727 |     3204    617 |        0 |        0
294.55/294.62	c  293s |      20 |   924082 |   896527 |     3204    621 |        0 |        0
296.55/296.64	c  295s |      20 |   930717 |   903027 |     3204    625 |        0 |        0
298.55/298.65	c  297s |      20 |   937547 |   909727 |     3204    628 |        0 |        0
300.55/300.66	c  299s |      20 |   943896 |   915927 |     3204    632 |        0 |        0
302.55/302.67	c  301s |      20 |   950547 |   922427 |     3204    636 |        0 |        0
304.55/304.68	c  303s |      20 |   957143 |   928927 |     3204    639 |        0 |        0
306.65/306.71	c  305s |      20 |   964214 |   935827 |     3204    643 |        0 |        0
308.65/308.73	c  308s |      20 |   970560 |   942027 |     3204    647 |        0 |        0
310.65/310.74	c  310s |      20 |   977018 |   948327 |     3204    650 |        0 |        0
312.64/312.77	c  312s |      20 |   983708 |   954927 |     3204    654 |        0 |        0
314.65/314.78	c  314s |      20 |   990206 |   961327 |     3204    658 |        0 |        0
316.64/316.79	c  316s |      20 |   996616 |   967627 |     3204    661 |        0 |        0
318.64/318.79	c  318s |      20 |  1003221 |   974127 |     3204    665 |        0 |        0
320.64/320.80	c  320s |      20 |  1009465 |   980227 |     3204    669 |        0 |        0
322.74/322.80	c  322s |      20 |  1015894 |   986527 |     3204    672 |        0 |        0
324.74/324.81	c  324s |      20 |  1022078 |   992627 |     3525    675 |        0 |        0
326.75/326.84	c  326s |      20 |  1028417 |   998827 |     3525    679 |        0 |        0
327.24/327.36	c  326s |      21 |  1029973 |  1000345 |     3525    679 |        0 |        0
329.24/329.37	c  328s |      21 |  1033135 |  1003345 |     3525    681 |        0 |        0
331.34/331.40	c  330s |      21 |  1036880 |  1006945 |     3525    683 |        0 |        0
333.35/333.43	c  332s |      21 |  1041312 |  1011345 |     3525    685 |        0 |        0
335.34/335.43	c  334s |      21 |  1046192 |  1016145 |     3525    688 |        0 |        0
337.34/337.45	c  336s |      21 |  1051245 |  1021145 |     3525    690 |        0 |        0
339.34/339.46	c  338s |      21 |  1055679 |  1025545 |     3525    692 |        0 |        0
341.34/341.49	c  340s |      21 |  1060819 |  1030645 |     3525    695 |        0 |        0
343.44/343.50	c  342s |      21 |  1065859 |  1035645 |     3525    698 |        0 |        0
345.45/345.55	c  344s |      21 |  1070607 |  1040345 |     3525    700 |        0 |        0
347.44/347.57	c  346s |      21 |  1075178 |  1044845 |     3525    702 |        0 |        0
349.44/349.58	c  348s |      21 |  1079335 |  1048945 |     3525    705 |        0 |        0
351.54/351.62	c  350s |      21 |  1083134 |  1052645 |     3525    706 |        0 |        0
353.54/353.64	c  352s |      21 |  1086561 |  1056045 |     3525    708 |        0 |        0
355.54/355.67	c  354s |      21 |  1089998 |  1059445 |     3525    710 |        0 |        0
357.54/357.68	c  356s |      21 |  1094915 |  1063745 |     3525    712 |        0 |        0
359.53/359.69	c  358s |      21 |  1098980 |  1067445 |     3525    714 |        0 |        0
361.63/361.75	c  361s |      21 |  1102930 |  1070945 |     3525    716 |        0 |        0
363.63/363.78	c  363s |      21 |  1106067 |  1073645 |     3525    717 |        0 |        0
365.63/365.79	c  365s |      21 |  1109292 |  1076645 |     3525    719 |        0 |        0
367.73/367.84	c  367s |      21 |  1113004 |  1080145 |     3525    721 |        0 |        0
369.73/369.85	c  369s |      21 |  1116765 |  1083745 |     3525    723 |        0 |        0
371.74/371.88	c  371s |      21 |  1120121 |  1086845 |     3525    724 |        0 |        0
373.83/373.92	c  373s |      21 |  1123771 |  1090145 |     3525    726 |        0 |        0
375.83/375.93	c  375s |      21 |  1126558 |  1092845 |     3525    728 |        0 |        0
377.83/377.98	c  377s |      21 |  1130171 |  1096045 |     3525    729 |        0 |        0
379.93/380.00	c  379s |      21 |  1133163 |  1098645 |     3525    731 |        0 |        0
381.93/382.06	c  381s |      21 |  1136568 |  1101445 |     3525    732 |        0 |        0
383.94/384.09	c  383s |      21 |  1140648 |  1105445 |     3525    734 |        0 |        0
386.04/386.12	c  385s |      21 |  1145169 |  1109745 |     3525    736 |        0 |        0
388.03/388.16	c  387s |      21 |  1149694 |  1113545 |     3525    739 |        0 |        0
390.03/390.18	c  389s |      21 |  1153625 |  1117245 |     3525    740 |        0 |        0
392.03/392.20	c  391s |      21 |  1157008 |  1120445 |     3525    742 |        0 |        0
394.13/394.21	c  393s |      21 |  1159722 |  1122845 |     3525    743 |        0 |        0
396.13/396.25	c  395s |      21 |  1163324 |  1126245 |     3525    745 |        0 |        0
398.13/398.29	c  397s |      21 |  1166887 |  1129745 |     3525    747 |        0 |        0
400.23/400.33	c  399s |      21 |  1170904 |  1133645 |     3525    749 |        0 |        0
402.23/402.36	c  401s |      21 |  1175359 |  1137845 |     3525    751 |        0 |        0
404.33/404.40	c  403s |      21 |  1179231 |  1141545 |     3525    753 |        0 |        0
406.33/406.42	c  405s |      21 |  1182948 |  1145145 |     3525    755 |        0 |        0
408.32/408.43	c  407s |      21 |  1186554 |  1148645 |     3525    757 |        0 |        0
410.33/410.45	c  409s |      21 |  1189934 |  1151945 |     3525    759 |        0 |        0
412.32/412.47	c  411s |      21 |  1193829 |  1155545 |     3525    761 |        0 |        0
414.32/414.48	c  413s |      21 |  1197733 |  1159145 |     3525    763 |        0 |        0
416.42/416.51	c  415s |      21 |  1201835 |  1163145 |     3525    765 |        0 |        0
418.42/418.56	c  417s |      21 |  1205005 |  1166145 |     3525    766 |        0 |        0
420.52/420.60	c  419s |      21 |  1208733 |  1169745 |     3525    768 |        0 |        0
422.52/422.62	c  421s |      21 |  1212368 |  1173245 |     3525    770 |        0 |        0
424.53/424.62	c  423s |      21 |  1216505 |  1177245 |     3525    772 |        0 |        0
426.52/426.63	c  425s |      21 |  1221787 |  1182445 |     3525    775 |        0 |        0
428.52/428.63	c  427s |      21 |  1227105 |  1187645 |     3525    778 |        0 |        0
430.52/430.63	c  429s |      21 |  1230887 |  1190845 |     3525    779 |        0 |        0
432.52/432.64	c  431s |      21 |  1234468 |  1193945 |     3525    781 |        0 |        0
434.53/434.64	c  433s |      21 |  1238368 |  1197145 |     3525    783 |        0 |        0
436.52/436.68	c  435s |      21 |  1242744 |  1201345 |     3525    785 |        0 |        0
438.62/438.71	c  437s |      21 |  1247732 |  1206245 |     3525    787 |        0 |        0
440.62/440.73	c  439s |      21 |  1252932 |  1211245 |     3525    790 |        0 |        0
442.62/442.73	c  442s |      21 |  1258107 |  1216245 |     3525    793 |        0 |        0
444.62/444.75	c  444s |      21 |  1263370 |  1221345 |     3525    795 |        0 |        0
446.72/446.86	c  446s |      21 |  1268078 |  1225945 |     3525    798 |        0 |        0
448.72/448.90	c  448s |      21 |  1270471 |  1228245 |     3525    799 |        0 |        0
450.82/450.94	c  450s |      21 |  1273394 |  1230945 |     3525    800 |        0 |        0
452.92/453.01	c  452s |      21 |  1276320 |  1233645 |     3525    802 |        0 |        0
454.92/455.02	c  454s |      21 |  1279816 |  1236945 |     3525    804 |        0 |        0
456.92/457.06	c  456s |      21 |  1282493 |  1239545 |     3525    805 |        0 |        0
459.02/459.12	c  458s |      21 |  1285359 |  1242245 |     3525    806 |        0 |        0
461.02/461.14	c  460s |      21 |  1288032 |  1244845 |     3525    808 |        0 |        0
463.12/463.22	c  462s |      21 |  1291115 |  1247745 |     3525    809 |        0 |        0
465.12/465.25	c  464s |      21 |  1294161 |  1250645 |     3525    811 |        0 |        0
467.12/467.28	c  466s |      21 |  1297369 |  1253745 |     3525    812 |        0 |        0
469.21/469.33	c  468s |      21 |  1300755 |  1257045 |     3525    814 |        0 |        0
471.21/471.34	c  470s |      21 |  1304055 |  1259945 |     3525    816 |        0 |        0
473.21/473.37	c  472s |      21 |  1306469 |  1262245 |     3525    817 |        0 |        0
475.31/475.40	c  474s |      21 |  1309935 |  1265545 |     3525    819 |        0 |        0
477.21/477.40	c  476s |      21 |  1313754 |  1269245 |     3525    821 |        0 |        0
479.31/479.41	c  478s |      21 |  1317571 |  1272745 |     3525    822 |        0 |        0
481.31/481.44	c  480s |      21 |  1321109 |  1276145 |     3525    824 |        0 |        0
483.32/483.45	c  482s |      21 |  1324422 |  1279345 |     3525    826 |        0 |        0
485.42/485.50	c  484s |      21 |  1327615 |  1282445 |     3525    828 |        0 |        0
487.42/487.51	c  486s |      21 |  1331501 |  1286245 |     3525    830 |        0 |        0
489.43/489.55	c  488s |      21 |  1335602 |  1290245 |     3525    832 |        0 |        0
491.42/491.58	c  490s |      21 |  1339541 |  1294045 |     3525    834 |        0 |        0
493.52/493.62	c  492s |      21 |  1343565 |  1297945 |     3525    836 |        0 |        0
495.52/495.69	c  494s |      21 |  1346726 |  1300945 |     3525    837 |        0 |        0
497.62/497.71	c  496s |      21 |  1349680 |  1303745 |     3525    839 |        0 |        0
499.62/499.74	c  499s |      21 |  1353070 |  1307045 |     3525    841 |        0 |        0
501.62/501.79	c  501s |      21 |  1356924 |  1310745 |     3525    842 |        0 |        0
503.62/503.80	c  503s |      21 |  1360451 |  1314145 |     3525    844 |        0 |        0
505.72/505.84	c  505s |      21 |  1364632 |  1318145 |     3525    846 |        0 |        0
507.71/507.86	c  507s |      21 |  1368998 |  1322345 |     3525    849 |        0 |        0
509.71/509.88	c  509s |      21 |  1373170 |  1326445 |     3525    851 |        0 |        0
511.71/511.89	c  511s |      21 |  1377603 |  1330745 |     3525    853 |        0 |        0
513.81/513.90	c  513s |      21 |  1381820 |  1334845 |     3525    855 |        0 |        0
515.82/515.95	c  515s |      21 |  1385814 |  1338745 |     3525    857 |        0 |        0
517.91/518.01	c  517s |      21 |  1389253 |  1341745 |     3525    859 |        0 |        0
519.91/520.04	c  519s |      21 |  1392665 |  1344845 |     3525    860 |        0 |        0
521.91/522.07	c  521s |      21 |  1396461 |  1348545 |     3525    862 |        0 |        0
524.01/524.13	c  523s |      21 |  1401032 |  1352845 |     3525    865 |        0 |        0
526.01/526.19	c  525s |      21 |  1404306 |  1356045 |     3525    866 |        0 |        0
528.02/528.19	c  527s |      21 |  1407868 |  1359545 |     3525    868 |        0 |        0
530.12/530.26	c  529s |      21 |  1411755 |  1363245 |     3525    870 |        0 |        0
532.11/532.29	c  531s |      21 |  1416111 |  1367345 |     3525    872 |        0 |        0
534.21/534.32	c  533s |      21 |  1420420 |  1371245 |     3525    874 |        0 |        0
536.31/536.40	c  535s |      21 |  1424303 |  1375045 |     3525    876 |        0 |        0
538.31/538.41	c  537s |      21 |  1427413 |  1377945 |     3525    878 |        0 |        0
540.31/540.45	c  539s |      21 |  1430842 |  1381045 |     3525    880 |        0 |        0
542.31/542.49	c  541s |      21 |  1434643 |  1384645 |     3525    881 |        0 |        0
544.41/544.54	c  543s |      21 |  1438705 |  1388545 |     3525    883 |        0 |        0
546.41/546.57	c  545s |      21 |  1441558 |  1391145 |     3525    885 |        0 |        0
548.51/548.60	c  547s |      21 |  1445731 |  1395145 |     3525    887 |        0 |        0
550.51/550.65	c  549s |      21 |  1449058 |  1398345 |     3525    889 |        0 |        0
552.61/552.73	c  551s |      21 |  1451823 |  1400945 |     3525    890 |        0 |        0
554.61/554.73	c  554s |      21 |  1454605 |  1403645 |     3525    891 |        0 |        0
556.61/556.79	c  556s |      21 |  1458183 |  1407145 |     3525    893 |        0 |        0
558.71/558.83	c  558s |      21 |  1461606 |  1410345 |     3525    895 |        0 |        0
560.70/560.88	c  560s |      21 |  1465167 |  1413845 |     3525    897 |        0 |        0
562.80/562.90	c  562s |      21 |  1468912 |  1417545 |     3525    899 |        0 |        0
564.80/564.94	c  564s |      21 |  1472897 |  1421445 |     3525    901 |        0 |        0
566.80/566.97	c  566s |      21 |  1476557 |  1425045 |     3525    903 |        0 |        0
568.80/568.97	c  568s |      21 |  1480382 |  1428745 |     3525    905 |        0 |        0
570.91/571.01	c  570s |      21 |  1485294 |  1433545 |     3525    907 |        0 |        0
572.90/573.04	c  572s |      21 |  1490518 |  1438645 |     3525    910 |        0 |        0
574.90/575.07	c  574s |      21 |  1493567 |  1441245 |     3525    911 |        0 |        0
576.90/577.08	c  576s |      21 |  1496550 |  1444145 |     3525    913 |        0 |        0
578.90/579.09	c  578s |      21 |  1501173 |  1448645 |     3525    915 |        0 |        0
581.00/581.16	c  580s |      21 |  1505818 |  1453045 |     3525    918 |        0 |        0
583.01/583.19	c  582s |      21 |  1509211 |  1456245 |     3525    919 |        0 |        0
585.11/585.21	c  584s |      21 |  1513474 |  1460445 |     3525    921 |        0 |        0
587.10/587.23	c  586s |      21 |  1518733 |  1465545 |     3525    924 |        0 |        0
589.10/589.25	c  588s |      21 |  1523540 |  1470245 |     3525    927 |        0 |        0
591.20/591.30	c  590s |      21 |  1528583 |  1475145 |     3525    929 |        0 |        0
593.20/593.39	c  592s |      21 |  1533036 |  1479445 |     3525    931 |        0 |        0
595.30/595.43	c  594s |      21 |  1537021 |  1483245 |     3525    933 |        0 |        0
597.31/597.46	c  596s |      21 |  1540999 |  1487045 |     3525    935 |        0 |        0
599.30/599.50	c  598s |      21 |  1543869 |  1489545 |     3878    937 |        0 |        0
601.40/601.52	c  600s |      21 |  1546680 |  1492045 |     3878    938 |        0 |        0
603.40/603.59	c  602s |      21 |  1549129 |  1494445 |     3878    939 |        0 |        0
605.50/605.66	c  604s |      21 |  1552559 |  1497545 |     3878    940 |        0 |        0
607.50/607.68	c  606s |      22 |  1555757 |  1500622 |     3878    942 |        0 |        0
609.60/609.70	c  608s |      22 |  1562712 |  1507322 |     3878    945 |        0 |        0
611.60/611.72	c  610s |      22 |  1569335 |  1513822 |     3878    948 |        0 |        0
613.60/613.72	c  612s |      22 |  1575307 |  1519622 |     3878    951 |        0 |        0
615.59/615.74	c  615s |      22 |  1581215 |  1525422 |     3878    954 |        0 |        0
617.59/617.75	c  617s |      22 |  1587532 |  1531522 |     3878    956 |        0 |        0
619.59/619.76	c  619s |      22 |  1593625 |  1537522 |     3878    959 |        0 |        0
621.59/621.78	c  621s |      22 |  1599607 |  1543422 |     3878    962 |        0 |        0
623.60/623.78	c  623s |      22 |  1605271 |  1548922 |     3878    965 |        0 |        0
625.59/625.79	c  625s |      22 |  1610758 |  1554322 |     3878    967 |        0 |        0
627.69/627.81	c  627s |      22 |  1616389 |  1559822 |     3878    970 |        0 |        0
629.69/629.81	c  629s |      22 |  1621580 |  1564822 |     3878    972 |        0 |        0
631.69/631.82	c  631s |      22 |  1626909 |  1569922 |     3878    975 |        0 |        0
633.69/633.82	c  633s |      22 |  1632092 |  1575022 |     3878    977 |        0 |        0
635.70/635.84	c  635s |      22 |  1637525 |  1580322 |     3878    980 |        0 |        0
637.69/637.86	c  637s |      22 |  1642611 |  1585322 |     3878    982 |        0 |        0
639.79/639.91	c  639s |      22 |  1648501 |  1591122 |     3878    985 |        0 |        0
641.79/641.91	c  641s |      22 |  1654228 |  1596722 |     3878    987 |        0 |        0
643.79/643.94	c  643s |      22 |  1660490 |  1602822 |     3878    990 |        0 |        0
645.79/645.96	c  645s |      22 |  1666617 |  1608822 |     3878    993 |        0 |        0
647.79/648.00	c  647s |      22 |  1672931 |  1615022 |     3878    996 |        0 |        0
649.89/650.02	c  649s |      22 |  1679118 |  1621122 |     3878    999 |        0 |        0
651.89/652.02	c  651s |      22 |  1684942 |  1626822 |     3878   1002 |        0 |        0
653.89/654.03	c  653s |      22 |  1691041 |  1632722 |     3878   1004 |        0 |        0
655.89/656.05	c  655s |      22 |  1696508 |  1638122 |     3878   1007 |        0 |        0
657.89/658.06	c  657s |      22 |  1702859 |  1644322 |     3878   1010 |        0 |        0
659.89/660.06	c  659s |      22 |  1708811 |  1650122 |     3878   1013 |        0 |        0
661.88/662.08	c  661s |      22 |  1714880 |  1656122 |     3878   1015 |        0 |        0
663.98/664.10	c  663s |      22 |  1721283 |  1662422 |     3878   1018 |        0 |        0
665.98/666.12	c  665s |      22 |  1727468 |  1668522 |     3878   1021 |        0 |        0
667.98/668.12	c  667s |      22 |  1732888 |  1673822 |     3878   1024 |        0 |        0
669.98/670.15	c  669s |      22 |  1737945 |  1678822 |     3878   1026 |        0 |        0
671.99/672.17	c  671s |      22 |  1743410 |  1684022 |     3878   1029 |        0 |        0
674.08/674.21	c  673s |      22 |  1749004 |  1689522 |     3878   1031 |        0 |        0
676.08/676.22	c  675s |      22 |  1754364 |  1694822 |     3878   1034 |        0 |        0
678.08/678.24	c  677s |      22 |  1759974 |  1700322 |     3878   1036 |        0 |        0
680.09/680.24	c  679s |      22 |  1765263 |  1705522 |     3878   1039 |        0 |        0
682.09/682.26	c  681s |      22 |  1770992 |  1711222 |     3878   1042 |        0 |        0
684.10/684.29	c  683s |      22 |  1776363 |  1716422 |     3878   1044 |        0 |        0
686.19/686.30	c  685s |      22 |  1781759 |  1721722 |     3878   1047 |        0 |        0
688.19/688.31	c  687s |      22 |  1787548 |  1727422 |     3878   1049 |        0 |        0
690.19/690.34	c  689s |      22 |  1793339 |  1733022 |     3878   1052 |        0 |        0
692.19/692.36	c  691s |      22 |  1798965 |  1738622 |     3878   1054 |        0 |        0
694.19/694.38	c  693s |      22 |  1804620 |  1744222 |     3878   1057 |        0 |        0
696.29/696.41	c  695s |      22 |  1810084 |  1749622 |     3878   1060 |        0 |        0
698.29/698.45	c  697s |      22 |  1815644 |  1755122 |     3878   1062 |        0 |        0
700.28/700.46	c  699s |      22 |  1821287 |  1760622 |     3878   1065 |        0 |        0
702.29/702.48	c  701s |      22 |  1827279 |  1766322 |     3878   1068 |        0 |        0
704.28/704.49	c  703s |      22 |  1833343 |  1772222 |     3878   1070 |        0 |        0
706.28/706.49	c  705s |      22 |  1839299 |  1778022 |     3878   1073 |        0 |        0
708.39/708.52	c  707s |      22 |  1845182 |  1783722 |     3878   1076 |        0 |        0
710.38/710.54	c  709s |      22 |  1850726 |  1789222 |     3878   1078 |        0 |        0
712.37/712.56	c  711s |      22 |  1856904 |  1794922 |     3878   1081 |        0 |        0
714.37/714.59	c  713s |      22 |  1862565 |  1800522 |     3878   1084 |        0 |        0
716.47/716.61	c  715s |      22 |  1868331 |  1806222 |     3878   1086 |        0 |        0
718.47/718.62	c  717s |      22 |  1873777 |  1811522 |     3878   1089 |        0 |        0
720.48/720.66	c  719s |      22 |  1879351 |  1817022 |     3878   1092 |        0 |        0
722.47/722.68	c  721s |      22 |  1885293 |  1822822 |     3878   1094 |        0 |        0
724.57/724.71	c  723s |      22 |  1890856 |  1828322 |     3878   1097 |        0 |        0
726.57/726.74	c  726s |      22 |  1895890 |  1833322 |     3878   1099 |        0 |        0
728.57/728.77	c  728s |      22 |  1900466 |  1837822 |     3878   1101 |        0 |        0
730.57/730.77	c  730s |      22 |  1905293 |  1842422 |     3878   1104 |        0 |        0
732.66/732.80	c  732s |      22 |  1910747 |  1847422 |     3878   1106 |        0 |        0
734.67/734.83	c  734s |      22 |  1917011 |  1853422 |     3878   1109 |        0 |        0
736.66/736.83	c  736s |      22 |  1923054 |  1859322 |     3878   1111 |        0 |        0
738.66/738.83	c  738s |      22 |  1929138 |  1865222 |     3878   1114 |        0 |        0
740.66/740.85	c  740s |      22 |  1935171 |  1871122 |     3878   1117 |        0 |        0
742.65/742.86	c  742s |      22 |  1941219 |  1877022 |     3878   1120 |        0 |        0
744.66/744.88	c  744s |      22 |  1947203 |  1882922 |     3878   1123 |        0 |        0
746.65/746.89	c  746s |      22 |  1952930 |  1888622 |     3878   1125 |        0 |        0
748.75/748.91	c  748s |      22 |  1958846 |  1894422 |     3878   1128 |        0 |        0
750.75/750.92	c  750s |      22 |  1964513 |  1900022 |     3878   1131 |        0 |        0
752.75/752.95	c  752s |      22 |  1970868 |  1906022 |     3878   1134 |        0 |        0
754.74/754.95	c  754s |      22 |  1977142 |  1912222 |     3878   1136 |        0 |        0
756.75/756.96	c  756s |      22 |  1983375 |  1918322 |     3878   1139 |        0 |        0
758.74/759.00	c  758s |      22 |  1988569 |  1923422 |     3878   1142 |        0 |        0
760.84/761.00	c  760s |      22 |  1994448 |  1929222 |     3878   1144 |        0 |        0
762.84/763.01	c  762s |      22 |  2000224 |  1934922 |     3878   1147 |        0 |        0
764.84/765.03	c  764s |      22 |  2005497 |  1940122 |     3878   1150 |        0 |        0
766.84/767.06	c  766s |      22 |  2012138 |  1946422 |     3878   1153 |        0 |        0
768.84/769.07	c  768s |      22 |  2018328 |  1952522 |     3878   1155 |        0 |        0
770.94/771.11	c  770s |      22 |  2024022 |  1958022 |     3878   1158 |        0 |        0
772.93/773.13	c  772s |      22 |  2028506 |  1962422 |     3878   1160 |        0 |        0
774.93/775.16	c  774s |      22 |  2033112 |  1966922 |     3878   1162 |        0 |        0
776.93/777.19	c  776s |      22 |  2038582 |  1972122 |     3878   1165 |        0 |        0
779.03/779.21	c  778s |      22 |  2044083 |  1977522 |     3878   1167 |        0 |        0
781.04/781.24	c  780s |      22 |  2049365 |  1982722 |     3878   1170 |        0 |        0
783.04/783.25	c  782s |      22 |  2055357 |  1988522 |     3878   1172 |        0 |        0
785.04/785.27	c  784s |      22 |  2061374 |  1994422 |     3878   1175 |        0 |        0
787.14/787.30	c  786s |      22 |  2067094 |  2000022 |     3878   1178 |        0 |        0
789.14/789.31	c  788s |      22 |  2072332 |  2005022 |     3878   1180 |        0 |        0
791.13/791.31	c  790s |      22 |  2078631 |  2011222 |     3878   1183 |        0 |        0
793.13/793.32	c  792s |      22 |  2084600 |  2017122 |     3878   1186 |        0 |        0
795.14/795.34	c  794s |      22 |  2089870 |  2022222 |     3878   1188 |        0 |        0
797.13/797.36	c  796s |      22 |  2094385 |  2026622 |     3878   1191 |        0 |        0
799.13/799.36	c  798s |      22 |  2099632 |  2031522 |     3878   1193 |        0 |        0
801.13/801.38	c  800s |      22 |  2105614 |  2037422 |     3878   1196 |        0 |        0
803.23/803.41	c  802s |      22 |  2111824 |  2043522 |     3878   1198 |        0 |        0
805.23/805.42	c  804s |      22 |  2117130 |  2048422 |     3878   1201 |        0 |        0
807.23/807.46	c  806s |      22 |  2122898 |  2054022 |     3878   1203 |        0 |        0
809.23/809.48	c  808s |      22 |  2128564 |  2059622 |     3878   1206 |        0 |        0
811.22/811.49	c  810s |      22 |  2133739 |  2064722 |     3878   1209 |        0 |        0
813.22/813.49	c  812s |      22 |  2139318 |  2070122 |     3878   1211 |        0 |        0
815.22/815.49	c  814s |      22 |  2144689 |  2075422 |     3878   1214 |        0 |        0
817.32/817.52	c  816s |      22 |  2150605 |  2081122 |     3878   1216 |        0 |        0
819.33/819.53	c  818s |      22 |  2156083 |  2086522 |     3878   1219 |        0 |        0
821.31/821.53	c  820s |      22 |  2161662 |  2092022 |     3878   1221 |        0 |        0
823.31/823.57	c  822s |      22 |  2166932 |  2097122 |     3878   1224 |        0 |        0
825.31/825.58	c  824s |      22 |  2172804 |  2102922 |     3878   1227 |        0 |        0
827.31/827.59	c  826s |      22 |  2178382 |  2108422 |     3878   1229 |        0 |        0
829.41/829.61	c  828s |      22 |  2184547 |  2114022 |     3878   1232 |        0 |        0
831.41/831.63	c  830s |      22 |  2190413 |  2119822 |     3878   1234 |        0 |        0
833.41/833.64	c  832s |      22 |  2196309 |  2125522 |     3878   1237 |        0 |        0
835.41/835.65	c  834s |      22 |  2202382 |  2131522 |     3878   1240 |        0 |        0
837.40/837.68	c  836s |      22 |  2208455 |  2137522 |     3878   1243 |        0 |        0
839.40/839.68	c  838s |      22 |  2213866 |  2142822 |     3878   1245 |        0 |        0
841.50/841.72	c  840s |      22 |  2218974 |  2147822 |     3878   1248 |        0 |        0
843.51/843.74	c  843s |      22 |  2224251 |  2152922 |     3878   1250 |        0 |        0
845.50/845.77	c  845s |      22 |  2230099 |  2158622 |     3878   1253 |        0 |        0
847.60/847.81	c  847s |      22 |  2235865 |  2164322 |     3878   1255 |        0 |        0
849.60/849.83	c  849s |      22 |  2241292 |  2169622 |     3878   1258 |        0 |        0
851.59/851.84	c  851s |      22 |  2247326 |  2175422 |     3878   1261 |        0 |        0
853.59/853.85	c  853s |      22 |  2253322 |  2181222 |     3878   1263 |        0 |        0
855.60/855.90	c  855s |      22 |  2258730 |  2186522 |     3878   1266 |        0 |        0
857.69/857.90	c  857s |      22 |  2263390 |  2191122 |     3878   1268 |        0 |        0
859.69/859.90	c  859s |      22 |  2269029 |  2196522 |     3878   1271 |        0 |        0
861.69/861.91	c  861s |      22 |  2274506 |  2201922 |     3878   1273 |        0 |        0
863.69/863.98	c  863s |      22 |  2280131 |  2207422 |     3878   1276 |        0 |        0
865.69/865.98	c  865s |      22 |  2285831 |  2212922 |     3878   1278 |        0 |        0
867.70/868.00	c  867s |      22 |  2291291 |  2218322 |     3878   1281 |        0 |        0
869.79/870.01	c  869s |      22 |  2296813 |  2223722 |     3878   1284 |        0 |        0
871.78/872.03	c  871s |      22 |  2302554 |  2229222 |     3878   1286 |        0 |        0
873.78/874.06	c  873s |      22 |  2308112 |  2234722 |     4266   1289 |        0 |        0
875.78/876.08	c  875s |      22 |  2313468 |  2240022 |     4266   1291 |        0 |        0
877.78/878.09	c  877s |      22 |  2318930 |  2245422 |     4266   1293 |        0 |        0
879.79/880.10	c  879s |      22 |  2324411 |  2250822 |     4266   1296 |        0 |        0
879.89/880.17	c  879s |      23 |  2324627 |  2251038 |     4266   1296 |        0 |        0
881.88/882.19	c  881s |      23 |  2330777 |  2256738 |     4266   1298 |        0 |        0
883.97/884.22	c  883s |      23 |  2336472 |  2262238 |     4266   1300 |        0 |        0
885.97/886.25	c  885s |      23 |  2341957 |  2267438 |     4266   1303 |        0 |        0
887.97/888.26	c  887s |      23 |  2346733 |  2271938 |     4266   1305 |        0 |        0
889.97/890.27	c  889s |      23 |  2351473 |  2276438 |     4266   1307 |        0 |        0
891.98/892.28	c  891s |      23 |  2356715 |  2281438 |     4266   1309 |        0 |        0
893.97/894.28	c  893s |      23 |  2360983 |  2285538 |     4266   1311 |        0 |        0
896.07/896.33	c  895s |      23 |  2365710 |  2290138 |     4266   1313 |        0 |        0
898.07/898.33	c  897s |      23 |  2369697 |  2293838 |     4266   1314 |        0 |        0
900.07/900.35	c  899s |      23 |  2373518 |  2297438 |     4266   1316 |        0 |        0
902.07/902.39	c  901s |      23 |  2377674 |  2301338 |     4266   1317 |        0 |        0
904.07/904.40	c  903s |      23 |  2381763 |  2305138 |     4266   1319 |        0 |        0
906.07/906.40	c  905s |      23 |  2385239 |  2308338 |     4266   1320 |        0 |        0
908.17/908.40	c  907s |      23 |  2388936 |  2311638 |     4266   1322 |        0 |        0
910.17/910.42	c  909s |      23 |  2392721 |  2315238 |     4266   1323 |        0 |        0
912.16/912.45	c  911s |      23 |  2396965 |  2318938 |     4266   1325 |        0 |        0
914.16/914.47	c  913s |      23 |  2402504 |  2324238 |     4266   1327 |        0 |        0
916.17/916.49	c  915s |      23 |  2407747 |  2329238 |     4266   1330 |        0 |        0
918.16/918.49	c  917s |      23 |  2413085 |  2334338 |     4266   1332 |        0 |        0
920.26/920.50	c  919s |      23 |  2418498 |  2339538 |     4266   1334 |        0 |        0
922.25/922.53	c  921s |      23 |  2423359 |  2344238 |     4266   1336 |        0 |        0
924.25/924.54	c  923s |      23 |  2428233 |  2348938 |     4266   1338 |        0 |        0
926.25/926.55	c  925s |      23 |  2432303 |  2352838 |     4266   1340 |        0 |        0
928.26/928.57	c  927s |      23 |  2436417 |  2356738 |     4266   1342 |        0 |        0
930.36/930.66	c  929s |      23 |  2441504 |  2361538 |     4266   1344 |        0 |        0
932.35/932.69	c  931s |      23 |  2444746 |  2364438 |     4266   1345 |        0 |        0
934.45/934.73	c  934s |      23 |  2450348 |  2369938 |     4266   1347 |        0 |        0
936.45/936.74	c  936s |      23 |  2455858 |  2375238 |     4266   1350 |        0 |        0
938.45/938.78	c  938s |      23 |  2461866 |  2381038 |     4266   1352 |        0 |        0
940.45/940.79	c  940s |      23 |  2466968 |  2385838 |     4266   1354 |        0 |        0
942.55/942.85	c  942s |      23 |  2470745 |  2389438 |     4266   1356 |        0 |        0
944.65/944.91	c  944s |      23 |  2474344 |  2392938 |     4266   1357 |        0 |        0
946.64/946.92	c  946s |      23 |  2477842 |  2396338 |     4266   1359 |        0 |        0
948.64/948.94	c  948s |      23 |  2482637 |  2400938 |     4266   1361 |        0 |        0
950.64/950.98	c  950s |      23 |  2487952 |  2405838 |     4266   1363 |        0 |        0
952.64/952.99	c  952s |      23 |  2492356 |  2410138 |     4266   1365 |        0 |        0
954.74/955.05	c  954s |      23 |  2497045 |  2414538 |     4266   1367 |        0 |        0
956.74/957.07	c  956s |      23 |  2501919 |  2419038 |     4266   1369 |        0 |        0
958.74/959.07	c  958s |      23 |  2506556 |  2423438 |     4266   1371 |        0 |        0
960.74/961.09	c  960s |      23 |  2510708 |  2427338 |     4266   1372 |        0 |        0
962.83/963.10	c  962s |      23 |  2515547 |  2431638 |     4266   1374 |        0 |        0
964.83/965.10	c  964s |      23 |  2520204 |  2436138 |     4266   1376 |        0 |        0
966.83/967.17	c  966s |      23 |  2525702 |  2441338 |     4266   1378 |        0 |        0
968.84/969.20	c  968s |      23 |  2530479 |  2445638 |     4266   1380 |        0 |        0
970.93/971.22	c  970s |      23 |  2535509 |  2450538 |     4266   1382 |        0 |        0
972.93/973.24	c  972s |      23 |  2541060 |  2455838 |     4266   1385 |        0 |        0
974.93/975.28	c  974s |      23 |  2546060 |  2460638 |     4266   1387 |        0 |        0
976.93/977.29	c  976s |      23 |  2551214 |  2465438 |     4266   1389 |        0 |        0
979.03/979.31	c  978s |      23 |  2556812 |  2470938 |     4266   1391 |        0 |        0
981.03/981.34	c  980s |      23 |  2562471 |  2476238 |     4266   1393 |        0 |        0
983.02/983.37	c  982s |      23 |  2567797 |  2481338 |     4266   1396 |        0 |        0
985.02/985.39	c  984s |      23 |  2573750 |  2487038 |     4266   1398 |        0 |        0
987.13/987.40	c  986s |      23 |  2579452 |  2492538 |     4266   1401 |        0 |        0
989.13/989.41	c  988s |      23 |  2584493 |  2497338 |     4266   1403 |        0 |        0
991.12/991.42	c  990s |      23 |  2590474 |  2502838 |     4266   1405 |        0 |        0
993.13/993.45	c  992s |      23 |  2596843 |  2509038 |     4266   1408 |        0 |        0
995.12/995.46	c  994s |      23 |  2603754 |  2515738 |     4266   1411 |        0 |        0
997.22/997.50	c  996s |      23 |  2609812 |  2521438 |     4266   1413 |        0 |        0
999.22/999.52	c  998s |      23 |  2615770 |  2526938 |     4266   1416 |        0 |        0
1001.22/1001.54	c 1000s |      23 |  2622032 |  2532938 |     4266   1418 |        0 |        0
1003.22/1003.55	c 1002s |      23 |  2627575 |  2538238 |     4266   1421 |        0 |        0
1005.22/1005.56	c 1004s |      23 |  2633200 |  2543738 |     4266   1423 |        0 |        0
1007.21/1007.60	c 1006s |      23 |  2639186 |  2549538 |     4266   1426 |        0 |        0
1009.31/1009.61	c 1008s |      23 |  2644449 |  2554638 |     4266   1428 |        0 |        0
1011.31/1011.67	c 1010s |      23 |  2649557 |  2559538 |     4266   1430 |        0 |        0
1013.31/1013.70	c 1012s |      23 |  2653972 |  2563838 |     4266   1432 |        0 |        0
1015.41/1015.72	c 1014s |      23 |  2657891 |  2567638 |     4266   1433 |        0 |        0
1017.41/1017.72	c 1016s |      23 |  2661571 |  2571038 |     4266   1435 |        0 |        0
1019.41/1019.75	c 1019s |      23 |  2666241 |  2575538 |     4266   1437 |        0 |        0
1021.40/1021.78	c 1021s |      23 |  2671365 |  2580538 |     4266   1439 |        0 |        0
1023.40/1023.79	c 1023s |      23 |  2675362 |  2584438 |     4266   1441 |        0 |        0
1025.50/1025.81	c 1025s |      23 |  2680362 |  2589338 |     4266   1443 |        0 |        0
1027.50/1027.83	c 1027s |      23 |  2685124 |  2593938 |     4266   1445 |        0 |        0
1029.50/1029.90	c 1029s |      23 |  2689595 |  2598038 |     4266   1447 |        0 |        0
1031.60/1031.90	c 1031s |      23 |  2693438 |  2601738 |     4266   1448 |        0 |        0
1033.59/1033.93	c 1033s |      23 |  2697792 |  2605838 |     4266   1450 |        0 |        0
1035.59/1035.96	c 1035s |      23 |  2702025 |  2609938 |     4266   1452 |        0 |        0
1037.59/1037.99	c 1037s |      23 |  2706425 |  2614038 |     4266   1454 |        0 |        0
1039.69/1040.01	c 1039s |      23 |  2711657 |  2619038 |     4266   1456 |        0 |        0
1041.69/1042.02	c 1041s |      23 |  2716850 |  2623838 |     4266   1458 |        0 |        0
1043.70/1044.03	c 1043s |      23 |  2721014 |  2627638 |     4266   1460 |        0 |        0
1045.69/1046.05	c 1045s |      23 |  2726916 |  2633338 |     4266   1462 |        0 |        0
1047.69/1048.08	c 1047s |      23 |  2731559 |  2637838 |     4266   1464 |        0 |        0
1049.69/1050.10	c 1049s |      23 |  2735394 |  2641538 |     4266   1466 |        0 |        0
1051.78/1052.16	c 1051s |      23 |  2740046 |  2646038 |     4266   1468 |        0 |        0
1053.78/1054.17	c 1053s |      23 |  2744423 |  2649838 |     4266   1469 |        0 |        0
1055.79/1056.18	c 1055s |      23 |  2749807 |  2655138 |     4266   1471 |        0 |        0
1057.78/1058.18	c 1057s |      23 |  2754238 |  2659338 |     4266   1473 |        0 |        0
1059.78/1060.19	c 1059s |      23 |  2760528 |  2665438 |     4266   1476 |        0 |        0
1061.88/1062.21	c 1061s |      23 |  2765558 |  2670238 |     4266   1478 |        0 |        0
1063.88/1064.21	c 1063s |      23 |  2770395 |  2674938 |     4266   1480 |        0 |        0
1065.88/1066.23	c 1065s |      23 |  2774886 |  2679138 |     4266   1482 |        0 |        0
1067.89/1068.25	c 1067s |      23 |  2780650 |  2684738 |     4266   1484 |        0 |        0
1069.88/1070.26	c 1069s |      23 |  2785655 |  2689638 |     4266   1487 |        0 |        0
1071.88/1072.29	c 1071s |      23 |  2790557 |  2694438 |     4266   1489 |        0 |        0
1073.98/1074.32	c 1073s |      23 |  2795889 |  2699638 |     4266   1491 |        0 |        0
1075.98/1076.35	c 1075s |      23 |  2800538 |  2704138 |     4266   1493 |        0 |        0
1077.98/1078.39	c 1077s |      23 |  2804395 |  2707838 |     4266   1494 |        0 |        0
1079.98/1080.39	c 1079s |      23 |  2810321 |  2713538 |     4266   1497 |        0 |        0
1082.08/1082.40	c 1081s |      23 |  2815765 |  2718838 |     4266   1499 |        0 |        0
1084.07/1084.44	c 1083s |      23 |  2821306 |  2724238 |     4266   1502 |        0 |        0
1086.17/1086.56	c 1085s |      23 |  2826242 |  2728938 |     4266   1504 |        0 |        0
1088.17/1088.59	c 1087s |      23 |  2831327 |  2733838 |     4266   1506 |        0 |        0
1090.27/1090.60	c 1089s |      23 |  2836424 |  2738738 |     4266   1508 |        0 |        0
1092.27/1092.63	c 1091s |      23 |  2842567 |  2744738 |     4266   1511 |        0 |        0
1094.27/1094.67	c 1093s |      23 |  2847354 |  2749338 |     4266   1512 |        0 |        0
1096.37/1096.73	c 1096s |      23 |  2853004 |  2754838 |     4266   1515 |        0 |        0
1098.37/1098.74	c 1098s |      23 |  2857545 |  2759238 |     4266   1517 |        0 |        0
1100.37/1100.74	c 1100s |      23 |  2862233 |  2763538 |     4266   1519 |        0 |        0
1102.36/1102.75	c 1102s |      23 |  2867519 |  2768638 |     4266   1521 |        0 |        0
1104.36/1104.76	c 1104s |      23 |  2872864 |  2773838 |     4266   1523 |        0 |        0
1106.37/1106.76	c 1106s |      23 |  2878523 |  2779338 |     4266   1526 |        0 |        0
1108.36/1108.77	c 1108s |      23 |  2883597 |  2784238 |     4266   1528 |        0 |        0
1110.36/1110.79	c 1110s |      23 |  2888101 |  2788638 |     4266   1530 |        0 |        0
1112.46/1112.81	c 1112s |      23 |  2892613 |  2792938 |     4266   1531 |        0 |        0
1114.46/1114.81	c 1114s |      23 |  2896825 |  2797038 |     4266   1533 |        0 |        0
1116.46/1116.85	c 1116s |      23 |  2901906 |  2801938 |     4266   1535 |        0 |        0
1118.46/1118.87	c 1118s |      23 |  2907842 |  2807638 |     4266   1538 |        0 |        0
1120.45/1120.88	c 1120s |      23 |  2912978 |  2812538 |     4266   1540 |        0 |        0
1122.45/1122.88	c 1122s |      23 |  2917225 |  2816538 |     4266   1542 |        0 |        0
1124.55/1124.92	c 1124s |      23 |  2922400 |  2821538 |     4266   1544 |        0 |        0
1126.55/1126.94	c 1126s |      23 |  2927255 |  2826138 |     4266   1546 |        0 |        0
1128.55/1128.96	c 1128s |      23 |  2932245 |  2830938 |     4266   1548 |        0 |        0
1130.56/1130.97	c 1130s |      23 |  2937119 |  2835638 |     4266   1550 |        0 |        0
1132.55/1132.99	c 1132s |      23 |  2942115 |  2840438 |     4266   1552 |        0 |        0
1134.65/1135.02	c 1134s |      23 |  2946233 |  2844238 |     4266   1554 |        0 |        0
1136.65/1137.09	c 1136s |      23 |  2950280 |  2848038 |     4266   1555 |        0 |        0
1138.75/1139.11	c 1138s |      23 |  2954640 |  2852238 |     4266   1557 |        0 |        0
1140.84/1141.21	c 1140s |      23 |  2959039 |  2856438 |     4266   1559 |        0 |        0
1142.84/1143.23	c 1142s |      23 |  2963054 |  2860238 |     4266   1561 |        0 |        0
1144.85/1145.24	c 1144s |      23 |  2968747 |  2865538 |     4266   1563 |        0 |        0
1146.84/1147.26	c 1146s |      23 |  2974783 |  2871038 |     4266   1566 |        0 |        0
1148.84/1149.26	c 1148s |      23 |  2980578 |  2876638 |     4266   1568 |        0 |        0
1150.94/1151.31	c 1150s |      23 |  2986264 |  2881938 |     4266   1570 |        0 |        0
1152.94/1153.33	c 1152s |      23 |  2991738 |  2887138 |     4266   1573 |        0 |        0
1154.94/1155.34	c 1154s |      23 |  2997631 |  2892838 |     4266   1575 |        0 |        0
1156.95/1157.35	c 1156s |      23 |  3002904 |  2897938 |     4266   1577 |        0 |        0
1158.94/1159.37	c 1158s |      23 |  3007972 |  2902738 |     4266   1579 |        0 |        0
1160.93/1161.39	c 1160s |      23 |  3014209 |  2908838 |     4266   1582 |        0 |        0
1163.03/1163.41	c 1162s |      23 |  3020426 |  2914838 |     4266   1585 |        0 |        0
1165.03/1165.41	c 1164s |      23 |  3026685 |  2920838 |     4266   1587 |        0 |        0
1167.03/1167.43	c 1166s |      23 |  3032547 |  2926438 |     4266   1590 |        0 |        0
1169.04/1169.45	c 1168s |      23 |  3038489 |  2932238 |     4266   1592 |        0 |        0
1171.03/1171.47	c 1170s |      23 |  3044355 |  2937938 |     4266   1595 |        0 |        0
1173.13/1173.51	c 1172s |      23 |  3050270 |  2943638 |     4266   1597 |        0 |        0
1175.13/1175.51	c 1174s |      23 |  3055939 |  2949138 |     4266   1600 |        0 |        0
1177.14/1177.52	c 1176s |      23 |  3062113 |  2955038 |     4266   1602 |        0 |        0
1179.13/1179.56	c 1178s |      23 |  3068508 |  2961238 |     4266   1605 |        0 |        0
1181.13/1181.58	c 1180s |      23 |  3074741 |  2967338 |     4266   1608 |        0 |        0
1183.23/1183.61	c 1182s |      23 |  3081147 |  2973538 |     4266   1610 |        0 |        0
1185.23/1185.64	c 1184s |      23 |  3087469 |  2979638 |     4266   1613 |        0 |        0
1187.23/1187.66	c 1186s |      23 |  3093545 |  2985538 |     4266   1616 |        0 |        0
1189.23/1189.67	c 1188s |      23 |  3099786 |  2991538 |     4266   1618 |        0 |        0
1191.22/1191.68	c 1190s |      23 |  3105788 |  2997338 |     4266   1621 |        0 |        0
1193.32/1193.70	c 1192s |      23 |  3111746 |  3002738 |     4266   1623 |        0 |        0
1195.33/1195.75	c 1195s |      23 |  3117523 |  3008338 |     4266   1626 |        0 |        0
1197.32/1197.77	c 1197s |      23 |  3123692 |  3014238 |     4266   1628 |        0 |        0
1199.42/1199.80	c 1199s |      23 |  3129470 |  3019838 |     4266   1631 |        0 |        0
1201.41/1201.83	c 1201s |      23 |  3135619 |  3025838 |     4266   1633 |        0 |        0
1203.41/1203.86	c 1203s |      23 |  3141633 |  3031638 |     4266   1636 |        0 |        0
1205.41/1205.87	c 1205s |      23 |  3147453 |  3037338 |     4266   1638 |        0 |        0
1207.42/1207.89	c 1207s |      23 |  3153538 |  3043238 |     4266   1641 |        0 |        0
1209.41/1209.90	c 1209s |      23 |  3159661 |  3049238 |     4266   1643 |        0 |        0
1211.51/1211.92	c 1211s |      23 |  3165506 |  3054938 |     4266   1646 |        0 |        0
1213.51/1213.94	c 1213s |      23 |  3171452 |  3060738 |     4266   1648 |        0 |        0
1215.51/1215.96	c 1215s |      23 |  3177078 |  3066238 |     4266   1651 |        0 |        0
1217.51/1217.99	c 1217s |      23 |  3182612 |  3071638 |     4266   1653 |        0 |        0
1219.61/1220.01	c 1219s |      23 |  3188750 |  3077638 |     4266   1656 |        0 |        0
1221.60/1222.04	c 1221s |      23 |  3194934 |  3083638 |     4266   1658 |        0 |        0
1223.60/1224.06	c 1223s |      23 |  3201109 |  3089638 |     4266   1661 |        0 |        0
1225.70/1226.11	c 1225s |      23 |  3207127 |  3095438 |     4266   1664 |        0 |        0
1227.70/1228.14	c 1227s |      23 |  3213324 |  3101238 |     4266   1666 |        0 |        0
1229.70/1230.15	c 1229s |      23 |  3219220 |  3106938 |     4266   1669 |        0 |        0
1231.70/1232.17	c 1231s |      23 |  3225149 |  3112538 |     4266   1671 |        0 |        0
1233.80/1234.21	c 1233s |      23 |  3230971 |  3117938 |     4266   1673 |        0 |        0
1235.79/1236.22	c 1235s |      23 |  3236780 |  3123338 |     4266   1676 |        0 |        0
1237.79/1238.23	c 1237s |      23 |  3243179 |  3129538 |     4266   1678 |        0 |        0
1239.79/1240.24	c 1239s |      23 |  3249263 |  3135338 |     4266   1681 |        0 |        0
1241.79/1242.28	c 1241s |      23 |  3255389 |  3141238 |     4266   1684 |        0 |        0
1243.89/1244.31	c 1243s |      23 |  3261931 |  3147538 |     4266   1686 |        0 |        0
1245.89/1246.33	c 1245s |      23 |  3268069 |  3153338 |     4266   1689 |        0 |        0
1247.89/1248.35	c 1247s |      23 |  3274710 |  3159738 |     4266   1692 |        0 |        0
1249.89/1250.39	c 1249s |      23 |  3281669 |  3166438 |     4266   1695 |        0 |        0
1251.98/1252.41	c 1251s |      23 |  3287527 |  3172038 |     4266   1697 |        0 |        0
1253.98/1254.43	c 1253s |      23 |  3293203 |  3177538 |     4266   1699 |        0 |        0
1255.98/1256.45	c 1255s |      23 |  3299293 |  3183338 |     4266   1702 |        0 |        0
1257.99/1258.48	c 1257s |      23 |  3305384 |  3188938 |     4266   1704 |        0 |        0
1259.98/1260.49	c 1259s |      23 |  3311406 |  3194838 |     4266   1707 |        0 |        0
1262.07/1262.52	c 1261s |      23 |  3317849 |  3201038 |     4266   1710 |        0 |        0
1264.07/1264.52	c 1263s |      23 |  3323678 |  3206738 |     4266   1712 |        0 |        0
1266.07/1266.52	c 1265s |      23 |  3329730 |  3212538 |     4266   1715 |        0 |        0
1268.07/1268.53	c 1267s |      23 |  3335977 |  3218538 |     4266   1717 |        0 |        0
1270.08/1270.55	c 1269s |      23 |  3342220 |  3224538 |     4266   1720 |        0 |        0
1272.06/1272.57	c 1271s |      23 |  3348512 |  3230638 |     4266   1723 |        0 |        0
1274.16/1274.60	c 1273s |      23 |  3354904 |  3236638 |     4266   1725 |        0 |        0
1276.16/1276.64	c 1275s |      23 |  3361199 |  3242538 |     4266   1728 |        0 |        0
1278.16/1278.65	c 1277s |      23 |  3366107 |  3247238 |     4266   1730 |        0 |        0
1280.26/1280.70	c 1279s |      23 |  3370438 |  3251438 |     4266   1732 |        0 |        0
1282.27/1282.71	c 1281s |      23 |  3374536 |  3255438 |     4266   1733 |        0 |        0
1284.26/1284.71	c 1283s |      23 |  3379260 |  3260038 |     4266   1735 |        0 |        0
1286.26/1286.74	c 1286s |      23 |  3383532 |  3264138 |     4266   1737 |        0 |        0
1288.26/1288.79	c 1288s |      23 |  3387760 |  3268238 |     4266   1739 |        0 |        0
1290.36/1290.82	c 1290s |      23 |  3392737 |  3272838 |     4266   1741 |        0 |        0
1292.36/1292.87	c 1292s |      23 |  3397205 |  3277138 |     4266   1743 |        0 |        0
1294.47/1294.91	c 1294s |      23 |  3401828 |  3281538 |     4266   1745 |        0 |        0
1296.47/1296.93	c 1296s |      23 |  3407220 |  3286638 |     4266   1747 |        0 |        0
1298.46/1298.93	c 1298s |      23 |  3412784 |  3291938 |     4266   1749 |        0 |        0
1300.46/1300.94	c 1300s |      23 |  3418074 |  3296938 |     4266   1751 |        0 |        0
1302.46/1302.94	c 1302s |      23 |  3423837 |  3302238 |     4266   1754 |        0 |        0
1304.46/1304.95	c 1304s |      23 |  3429175 |  3307338 |     4266   1756 |        0 |        0
1306.46/1306.97	c 1306s |      23 |  3434440 |  3312238 |     4266   1758 |        0 |        0
1308.46/1308.99	c 1308s |      23 |  3437879 |  3315538 |     4266   1760 |        0 |        0
1310.56/1311.00	c 1310s |      23 |  3443525 |  3320938 |     4266   1762 |        0 |        0
1312.55/1313.02	c 1312s |      23 |  3447935 |  3325238 |     4266   1764 |        0 |        0
1314.55/1315.08	c 1314s |      23 |  3452302 |  3329438 |     4266   1766 |        0 |        0
1316.65/1317.14	c 1316s |      23 |  3456451 |  3333438 |     4266   1767 |        0 |        0
1318.65/1319.18	c 1318s |      23 |  3461620 |  3338438 |     4266   1770 |        0 |        0
1320.66/1321.18	c 1320s |      23 |  3467081 |  3343638 |     4266   1772 |        0 |        0
1322.75/1323.23	c 1322s |      23 |  3472501 |  3348538 |     4266   1774 |        0 |        0
1324.75/1325.28	c 1324s |      23 |  3478205 |  3353938 |     4693   1776 |        0 |        0
1326.85/1327.31	c 1326s |      23 |  3484102 |  3359638 |     4693   1778 |        0 |        0
1328.85/1329.31	c 1328s |      23 |  3489713 |  3365038 |     4693   1780 |        0 |        0
1330.85/1331.32	c 1330s |      23 |  3494953 |  3370138 |     4693   1782 |        0 |        0
1332.85/1333.36	c 1332s |      23 |  3500084 |  3374938 |     4693   1784 |        0 |        0
1333.54/1334.09	c 1333s |      24 |  3501871 |  3376662 |     4693   1785 |        0 |        0
1335.64/1336.10	c 1335s |      24 |  3508222 |  3382862 |     4693   1788 |        0 |        0
1337.64/1338.11	c 1337s |      24 |  3513655 |  3388262 |     4693   1790 |        0 |        0
1339.64/1340.12	c 1339s |      24 |  3518405 |  3392962 |     4693   1792 |        0 |        0
1341.65/1342.17	c 1341s |      24 |  3523523 |  3397962 |     4693   1794 |        0 |        0
1343.64/1344.18	c 1343s |      24 |  3528696 |  3403062 |     4693   1796 |        0 |        0
1345.64/1346.19	c 1345s |      24 |  3534805 |  3408962 |     4693   1798 |        0 |        0
1347.74/1348.22	c 1347s |      24 |  3540489 |  3414562 |     4693   1800 |        0 |        0
1349.74/1350.26	c 1349s |      24 |  3546059 |  3419962 |     4693   1802 |        0 |        0
1351.73/1352.29	c 1351s |      24 |  3551193 |  3424962 |     4693   1804 |        0 |        0
1353.84/1354.30	c 1353s |      24 |  3556758 |  3430462 |     4693   1806 |        0 |        0
1355.73/1356.30	c 1355s |      24 |  3562420 |  3436062 |     4693   1809 |        0 |        0
1357.83/1358.33	c 1357s |      24 |  3567260 |  3440862 |     4693   1811 |        0 |        0
1359.83/1360.34	c 1359s |      24 |  3571809 |  3445362 |     4693   1812 |        0 |        0
1361.83/1362.37	c 1361s |      24 |  3575761 |  3449262 |     4693   1814 |        0 |        0
1363.83/1364.39	c 1363s |      24 |  3581070 |  3454462 |     4693   1816 |        0 |        0
1365.93/1366.42	c 1365s |      24 |  3585924 |  3459262 |     4693   1818 |        0 |        0
1367.94/1368.42	c 1367s |      24 |  3590698 |  3463962 |     4693   1820 |        0 |        0
1369.93/1370.42	c 1369s |      24 |  3596624 |  3469562 |     4693   1822 |        0 |        0
1371.93/1372.43	c 1371s |      24 |  3601384 |  3474262 |     4693   1824 |        0 |        0
1373.93/1374.45	c 1373s |      24 |  3606360 |  3479162 |     4693   1826 |        0 |        0
1375.93/1376.46	c 1375s |      24 |  3611020 |  3483762 |     4693   1828 |        0 |        0
1377.93/1378.49	c 1377s |      24 |  3616694 |  3488962 |     4693   1830 |        0 |        0
1380.03/1380.52	c 1379s |      24 |  3622350 |  3494462 |     4693   1832 |        0 |        0
1382.03/1382.55	c 1381s |      24 |  3627681 |  3499762 |     4693   1834 |        0 |        0
1384.03/1384.55	c 1383s |      24 |  3632670 |  3504662 |     4693   1836 |        0 |        0
1386.03/1386.58	c 1385s |      24 |  3638029 |  3509862 |     4693   1838 |        0 |        0
1388.13/1388.61	c 1387s |      24 |  3643131 |  3514762 |     4693   1840 |        0 |        0
1390.12/1390.64	c 1389s |      24 |  3648128 |  3519662 |     4693   1842 |        0 |        0
1392.13/1392.67	c 1391s |      24 |  3653414 |  3524862 |     4693   1844 |        0 |        0
1394.12/1394.69	c 1393s |      24 |  3658146 |  3529562 |     4693   1846 |        0 |        0
1396.22/1396.76	c 1396s |      24 |  3663762 |  3534962 |     4693   1848 |        0 |        0
1398.22/1398.77	c 1398s |      24 |  3669011 |  3540062 |     4693   1850 |        0 |        0
1400.22/1400.78	c 1400s |      24 |  3673867 |  3544862 |     4693   1852 |        0 |        0
1402.23/1402.79	c 1402s |      24 |  3678791 |  3549662 |     4693   1854 |        0 |        0
1404.34/1404.82	c 1404s |      24 |  3683717 |  3554562 |     4693   1856 |        0 |        0
1406.33/1406.86	c 1406s |      24 |  3688375 |  3559162 |     4693   1858 |        0 |        0
1408.33/1408.87	c 1408s |      24 |  3693347 |  3564062 |     4693   1860 |        0 |        0
1410.33/1410.87	c 1410s |      24 |  3698143 |  3568762 |     4693   1861 |        0 |        0
1412.43/1412.91	c 1412s |      24 |  3703111 |  3573662 |     4693   1863 |        0 |        0
1414.43/1414.94	c 1414s |      24 |  3708527 |  3578962 |     4693   1866 |        0 |        0
1416.44/1416.97	c 1416s |      24 |  3713844 |  3584162 |     4693   1868 |        0 |        0
1418.53/1419.01	c 1418s |      24 |  3718769 |  3588962 |     4693   1869 |        0 |        0
1420.53/1421.07	c 1420s |      24 |  3724046 |  3594062 |     4693   1872 |        0 |        0
1422.52/1423.08	c 1422s |      24 |  3730633 |  3600462 |     4693   1874 |        0 |        0
1424.52/1425.09	c 1424s |      24 |  3736021 |  3605762 |     4693   1876 |        0 |        0
1426.52/1427.09	c 1426s |      24 |  3741330 |  3610962 |     4693   1878 |        0 |        0
1428.53/1429.09	c 1428s |      24 |  3746332 |  3615862 |     4693   1880 |        0 |        0
1430.63/1431.11	c 1430s |      24 |  3751322 |  3620762 |     4693   1882 |        0 |        0
1432.62/1433.13	c 1432s |      24 |  3756512 |  3625862 |     4693   1884 |        0 |        0
1434.62/1435.16	c 1434s |      24 |  3762612 |  3631662 |     4693   1886 |        0 |        0
1436.72/1437.20	c 1436s |      24 |  3767566 |  3636562 |     4693   1888 |        0 |        0
1438.72/1439.24	c 1438s |      24 |  3772634 |  3641562 |     4693   1890 |        0 |        0
1440.72/1441.27	c 1440s |      24 |  3777375 |  3646162 |     4693   1892 |        0 |        0
1442.73/1443.30	c 1442s |      24 |  3782410 |  3651062 |     4693   1894 |        0 |        0
1444.82/1445.30	c 1444s |      24 |  3787748 |  3656062 |     4693   1896 |        0 |        0
1446.82/1447.32	c 1446s |      24 |  3792726 |  3660962 |     4693   1898 |        0 |        0
1448.82/1449.35	c 1448s |      24 |  3797900 |  3666062 |     4693   1900 |        0 |        0
1450.82/1451.37	c 1450s |      24 |  3803033 |  3671062 |     4693   1902 |        0 |        0
1452.82/1453.39	c 1452s |      24 |  3808942 |  3676662 |     4693   1904 |        0 |        0
1454.83/1455.39	c 1454s |      24 |  3814079 |  3681762 |     4693   1906 |        0 |        0
1456.92/1457.42	c 1456s |      24 |  3819428 |  3687062 |     4693   1908 |        0 |        0
1458.92/1459.44	c 1458s |      24 |  3824609 |  3692162 |     4693   1911 |        0 |        0
1460.92/1461.44	c 1460s |      24 |  3829867 |  3697362 |     4693   1913 |        0 |        0
1462.92/1463.46	c 1462s |      24 |  3835445 |  3702862 |     4693   1915 |        0 |        0
1464.92/1465.49	c 1464s |      24 |  3840603 |  3707862 |     4693   1917 |        0 |        0
1467.02/1467.52	c 1466s |      24 |  3845782 |  3712862 |     4693   1919 |        0 |        0
1469.02/1469.57	c 1468s |      24 |  3850294 |  3717262 |     4693   1921 |        0 |        0
1471.02/1471.59	c 1470s |      24 |  3855212 |  3722062 |     4693   1922 |        0 |        0
1473.12/1473.64	c 1472s |      24 |  3860362 |  3727062 |     4693   1924 |        0 |        0
1475.11/1475.64	c 1474s |      24 |  3865677 |  3732262 |     4693   1926 |        0 |        0
1477.11/1477.65	c 1476s |      24 |  3870953 |  3737462 |     4693   1929 |        0 |        0
1479.12/1479.69	c 1478s |      24 |  3875907 |  3742362 |     4693   1931 |        0 |        0
1481.11/1481.70	c 1480s |      24 |  3881251 |  3747562 |     4693   1933 |        0 |        0
1483.21/1483.72	c 1482s |      24 |  3886529 |  3752662 |     4693   1935 |        0 |        0
1485.21/1485.74	c 1485s |      24 |  3891614 |  3757662 |     4693   1937 |        0 |        0
1487.21/1487.76	c 1487s |      24 |  3896374 |  3762362 |     4693   1939 |        0 |        0
1489.31/1489.80	c 1489s |      24 |  3901712 |  3767562 |     4693   1941 |        0 |        0
1491.31/1491.83	c 1491s |      24 |  3907033 |  3772762 |     4693   1943 |        0 |        0
1493.32/1493.87	c 1493s |      24 |  3912218 |  3777862 |     4693   1945 |        0 |        0
1495.41/1495.91	c 1495s |      24 |  3917383 |  3782962 |     4693   1947 |        0 |        0
1497.41/1497.95	c 1497s |      24 |  3921419 |  3786962 |     4693   1948 |        0 |        0
1499.41/1499.96	c 1499s |      24 |  3926125 |  3791562 |     4693   1950 |        0 |        0
1501.41/1501.97	c 1501s |      24 |  3931113 |  3796362 |     4693   1952 |        0 |        0
1503.41/1503.98	c 1503s |      24 |  3935712 |  3800862 |     4693   1954 |        0 |        0
1505.52/1506.01	c 1505s |      24 |  3940732 |  3805762 |     4693   1956 |        0 |        0
1507.51/1508.03	c 1507s |      24 |  3945234 |  3810162 |     4693   1958 |        0 |        0
1509.51/1510.06	c 1509s |      24 |  3949847 |  3814662 |     4693   1959 |        0 |        0
1511.51/1512.06	c 1511s |      24 |  3954458 |  3819162 |     4693   1961 |        0 |        0
1513.51/1514.08	c 1513s |      24 |  3958711 |  3823362 |     4693   1963 |        0 |        0
1515.61/1516.11	c 1515s |      24 |  3963491 |  3828062 |     4693   1965 |        0 |        0
1517.61/1518.15	c 1517s |      24 |  3968366 |  3832862 |     4693   1967 |        0 |        0
1519.61/1520.16	c 1519s |      24 |  3973328 |  3837762 |     4693   1969 |        0 |        0
1521.61/1522.18	c 1521s |      24 |  3978233 |  3842562 |     4693   1971 |        0 |        0
1523.71/1524.21	c 1523s |      24 |  3983363 |  3847562 |     4693   1973 |        0 |        0
1525.71/1526.21	c 1525s |      24 |  3988266 |  3852362 |     4693   1975 |        0 |        0
1527.71/1528.24	c 1527s |      24 |  3993045 |  3857062 |     4693   1976 |        0 |        0
1529.72/1530.27	c 1529s |      24 |  3998511 |  3862362 |     4693   1979 |        0 |        0
1531.71/1532.30	c 1531s |      24 |  4003848 |  3867562 |     4693   1981 |        0 |        0
1533.81/1534.32	c 1533s |      24 |  4008873 |  3872462 |     4693   1983 |        0 |        0
1535.81/1536.33	c 1535s |      24 |  4013982 |  3877462 |     4693   1985 |        0 |        0
1537.81/1538.34	c 1537s |      24 |  4019420 |  3882762 |     4693   1987 |        0 |        0
1539.81/1540.36	c 1539s |      24 |  4025743 |  3888962 |     4693   1989 |        0 |        0
1541.82/1542.37	c 1541s |      24 |  4030917 |  3894062 |     4693   1991 |        0 |        0
1543.91/1544.43	c 1543s |      24 |  4036175 |  3899262 |     4693   1993 |        0 |        0
1545.91/1546.43	c 1545s |      24 |  4041446 |  3904462 |     4693   1995 |        0 |        0
1547.91/1548.43	c 1547s |      24 |  4046547 |  3909462 |     4693   1997 |        0 |        0
1549.91/1550.46	c 1549s |      24 |  4051758 |  3914562 |     4693   1999 |        0 |        0
1552.01/1552.50	c 1551s |      24 |  4056720 |  3919462 |     4693   2001 |        0 |        0
1554.01/1554.51	c 1553s |      24 |  4062346 |  3924962 |     4693   2003 |        0 |        0
1556.01/1556.52	c 1555s |      24 |  4067899 |  3930462 |     4693   2006 |        0 |        0
1558.00/1558.53	c 1557s |      24 |  4072930 |  3935462 |     4693   2008 |        0 |        0
1560.00/1560.55	c 1559s |      24 |  4078015 |  3940462 |     4693   2010 |        0 |        0
1562.00/1562.56	c 1561s |      24 |  4083231 |  3945562 |     4693   2012 |        0 |        0
1564.00/1564.57	c 1563s |      24 |  4090052 |  3951962 |     4693   2014 |        0 |        0
1566.01/1566.59	c 1565s |      24 |  4095403 |  3957262 |     4693   2016 |        0 |        0
1568.11/1568.60	c 1567s |      24 |  4100880 |  3962662 |     4693   2018 |        0 |        0
1570.10/1570.61	c 1569s |      24 |  4105837 |  3967562 |     4693   2020 |        0 |        0
1572.10/1572.63	c 1571s |      24 |  4111182 |  3972762 |     4693   2022 |        0 |        0
1574.10/1574.69	c 1573s |      24 |  4116559 |  3978062 |     4693   2025 |        0 |        0
1576.20/1576.70	c 1575s |      24 |  4121883 |  3983262 |     4693   2027 |        0 |        0
1578.20/1578.71	c 1577s |      24 |  4127412 |  3988662 |     4693   2029 |        0 |        0
1580.21/1580.73	c 1580s |      24 |  4132691 |  3993762 |     4693   2031 |        0 |        0
1582.20/1582.76	c 1582s |      24 |  4137901 |  3998862 |     4693   2033 |        0 |        0
1584.20/1584.77	c 1584s |      24 |  4143212 |  4004062 |     4693   2035 |        0 |        0
1586.20/1586.78	c 1586s |      24 |  4149004 |  4009762 |     4693   2037 |        0 |        0
1588.20/1588.79	c 1588s |      24 |  4154893 |  4015562 |     4693   2039 |        0 |        0
1590.30/1590.80	c 1590s |      24 |  4160152 |  4020762 |     4693   2042 |        0 |        0
1592.31/1592.83	c 1592s |      24 |  4165272 |  4025762 |     4693   2044 |        0 |        0
1594.30/1594.85	c 1594s |      24 |  4170898 |  4031262 |     4693   2046 |        0 |        0
1596.30/1596.87	c 1596s |      24 |  4176608 |  4036862 |     4693   2048 |        0 |        0
1598.40/1598.91	c 1598s |      24 |  4181578 |  4041762 |     4693   2050 |        0 |        0
1600.40/1600.94	c 1600s |      24 |  4187081 |  4047162 |     4693   2052 |        0 |        0
1602.40/1602.96	c 1602s |      24 |  4192371 |  4052362 |     4693   2054 |        0 |        0
1604.40/1605.00	c 1604s |      24 |  4197160 |  4057062 |     4693   2056 |        0 |        0
1606.49/1607.02	c 1606s |      24 |  4203757 |  4063462 |     4693   2059 |        0 |        0
1608.49/1609.05	c 1608s |      24 |  4208907 |  4068562 |     4693   2061 |        0 |        0
1610.49/1611.06	c 1610s |      24 |  4214433 |  4073962 |     4693   2063 |        0 |        0
1612.49/1613.06	c 1612s |      24 |  4219672 |  4079162 |     4693   2065 |        0 |        0
1614.49/1615.07	c 1614s |      24 |  4225374 |  4084762 |     4693   2067 |        0 |        0
1616.50/1617.08	c 1616s |      24 |  4230643 |  4089962 |     4693   2069 |        0 |        0
1618.59/1619.11	c 1618s |      24 |  4236226 |  4095462 |     4693   2071 |        0 |        0
1620.59/1621.12	c 1620s |      24 |  4241240 |  4100462 |     4693   2073 |        0 |        0
1622.59/1623.13	c 1622s |      24 |  4246281 |  4105462 |     4693   2075 |        0 |        0
1624.59/1625.16	c 1624s |      24 |  4250919 |  4110062 |     4693   2077 |        0 |        0
1626.70/1627.20	c 1626s |      24 |  4256027 |  4115062 |     4693   2079 |        0 |        0
1628.70/1629.22	c 1628s |      24 |  4261262 |  4120162 |     4693   2081 |        0 |        0
1630.70/1631.22	c 1630s |      24 |  4266341 |  4125062 |     4693   2083 |        0 |        0
1632.70/1633.23	c 1632s |      24 |  4271545 |  4130062 |     4693   2085 |        0 |        0
1634.70/1635.24	c 1634s |      24 |  4276355 |  4134762 |     4693   2087 |        0 |        0
1636.70/1637.26	c 1636s |      24 |  4281704 |  4139962 |     4693   2089 |        0 |        0
1638.69/1639.28	c 1638s |      24 |  4286769 |  4144862 |     4693   2091 |        0 |        0
1640.70/1641.29	c 1640s |      24 |  4292219 |  4150162 |     4693   2093 |        0 |        0
1642.69/1643.29	c 1642s |      24 |  4297143 |  4154962 |     4693   2095 |        0 |        0
1644.69/1645.29	c 1644s |      24 |  4301865 |  4159562 |     4693   2097 |        0 |        0
1646.79/1647.30	c 1646s |      24 |  4306965 |  4164562 |     4693   2099 |        0 |        0
1648.79/1649.33	c 1648s |      24 |  4311320 |  4168862 |     4693   2101 |        0 |        0
1650.79/1651.37	c 1650s |      24 |  4315880 |  4173362 |     4693   2103 |        0 |        0
1652.90/1653.41	c 1652s |      24 |  4320914 |  4178262 |     4693   2104 |        0 |        0
1654.89/1655.43	c 1654s |      24 |  4325625 |  4182862 |     4693   2106 |        0 |        0
1656.89/1657.47	c 1656s |      24 |  4331147 |  4188262 |     4693   2108 |        0 |        0
1658.89/1659.48	c 1658s |      24 |  4336019 |  4193062 |     4693   2110 |        0 |        0
1660.99/1661.51	c 1660s |      24 |  4341327 |  4198262 |     4693   2112 |        0 |        0
1662.99/1663.56	c 1662s |      24 |  4346543 |  4203362 |     4693   2115 |        0 |        0
1665.00/1665.58	c 1664s |      24 |  4351442 |  4208162 |     4693   2116 |        0 |        0
1667.10/1667.63	c 1666s |      24 |  4356189 |  4212862 |     4693   2118 |        0 |        0
1669.09/1669.63	c 1668s |      24 |  4360966 |  4217562 |     4693   2120 |        0 |        0
1671.19/1671.70	c 1670s |      24 |  4365558 |  4222062 |     4693   2122 |        0 |        0
1673.19/1673.74	c 1673s |      24 |  4370325 |  4226762 |     4693   2124 |        0 |        0
1675.19/1675.77	c 1675s |      24 |  4375267 |  4231562 |     4693   2126 |        0 |        0
1677.19/1677.79	c 1677s |      24 |  4380555 |  4236762 |     4693   2128 |        0 |        0
1679.29/1679.82	c 1679s |      24 |  4385886 |  4241962 |     4693   2130 |        0 |        0
1681.28/1681.85	c 1681s |      24 |  4390458 |  4246462 |     4693   2132 |        0 |        0
1683.28/1683.87	c 1683s |      24 |  4395668 |  4251562 |     4693   2134 |        0 |        0
1685.38/1685.92	c 1685s |      24 |  4400497 |  4256262 |     4693   2136 |        0 |        0
1687.38/1687.94	c 1687s |      24 |  4405050 |  4260562 |     4693   2137 |        0 |        0
1689.38/1689.95	c 1689s |      24 |  4409290 |  4264562 |     4693   2139 |        0 |        0
1691.39/1691.98	c 1691s |      24 |  4413797 |  4268862 |     4693   2141 |        0 |        0
1693.38/1693.99	c 1693s |      24 |  4418008 |  4272862 |     4693   2142 |        0 |        0
1695.48/1696.01	c 1695s |      24 |  4422376 |  4276962 |     4693   2144 |        0 |        0
1697.48/1698.06	c 1697s |      24 |  4426279 |  4280462 |     4693   2146 |        0 |        0
1699.48/1700.07	c 1699s |      24 |  4431147 |  4285162 |     4693   2147 |        0 |        0
1701.48/1702.08	c 1701s |      24 |  4435859 |  4289762 |     4693   2149 |        0 |        0
1703.58/1704.12	c 1703s |      24 |  4440379 |  4294062 |     4693   2151 |        0 |        0
1705.59/1706.15	c 1705s |      24 |  4444661 |  4298062 |     4693   2153 |        0 |        0
1707.58/1708.15	c 1707s |      24 |  4448985 |  4302262 |     4693   2154 |        0 |        0
1709.58/1710.16	c 1709s |      24 |  4453253 |  4306362 |     4693   2156 |        0 |        0
1711.58/1712.17	c 1711s |      24 |  4457926 |  4310762 |     4693   2158 |        0 |        0
1713.68/1714.20	c 1713s |      24 |  4462505 |  4315162 |     4693   2159 |        0 |        0
1715.68/1716.22	c 1715s |      24 |  4466638 |  4319062 |     4693   2161 |        0 |        0
1717.68/1718.25	c 1717s |      24 |  4471164 |  4323362 |     4693   2163 |        0 |        0
1719.78/1720.30	c 1719s |      24 |  4475689 |  4327662 |     4693   2165 |        0 |        0
1721.78/1722.30	c 1721s |      24 |  4480158 |  4331962 |     4693   2166 |        0 |        0
1723.78/1724.37	c 1723s |      24 |  4484398 |  4335862 |     4693   2168 |        0 |        0
1725.78/1726.38	c 1725s |      24 |  4488571 |  4339762 |     4693   2169 |        0 |        0
1727.88/1728.40	c 1727s |      24 |  4493069 |  4343962 |     4693   2171 |        0 |        0
1729.88/1730.42	c 1729s |      24 |  4497269 |  4347862 |     4693   2173 |        0 |        0
1731.87/1732.43	c 1731s |      24 |  4501942 |  4352162 |     4693   2174 |        0 |        0
1733.87/1734.47	c 1733s |      24 |  4506681 |  4356562 |     4693   2176 |        0 |        0
1735.87/1736.49	c 1735s |      24 |  4511227 |  4360862 |     4693   2178 |        0 |        0
1737.97/1738.53	c 1737s |      24 |  4515840 |  4365262 |     4693   2180 |        0 |        0
1739.97/1740.58	c 1739s |      24 |  4520437 |  4369562 |     4693   2181 |        0 |        0
1741.98/1742.59	c 1741s |      24 |  4525002 |  4373962 |     4693   2183 |        0 |        0
1744.08/1744.62	c 1743s |      24 |  4529057 |  4377862 |     4693   2185 |        0 |        0
1746.07/1746.62	c 1745s |      24 |  4533520 |  4382162 |     4693   2186 |        0 |        0
1748.07/1748.66	c 1747s |      24 |  4537648 |  4386162 |     4693   2188 |        0 |        0
1750.07/1750.69	c 1749s |      24 |  4542275 |  4390262 |     4693   2190 |        0 |        0
1752.07/1752.69	c 1751s |      24 |  4546809 |  4394562 |     4693   2191 |        0 |        0
1754.17/1754.71	c 1753s |      24 |  4551118 |  4398662 |     4693   2193 |        0 |        0
1756.18/1756.77	c 1756s |      24 |  4555614 |  4402862 |     4693   2195 |        0 |        0
1758.17/1758.79	c 1758s |      24 |  4560152 |  4406862 |     4693   2196 |        0 |        0
1760.27/1760.83	c 1760s |      24 |  4564316 |  4410562 |     4693   2198 |        0 |        0
1762.27/1762.89	c 1762s |      24 |  4568730 |  4414762 |     4693   2200 |        0 |        0
1764.27/1764.89	c 1764s |      24 |  4573105 |  4418662 |     4693   2201 |        0 |        0
1766.37/1766.90	c 1766s |      24 |  4576838 |  4422162 |     4693   2202 |        0 |        0
1768.38/1768.93	c 1768s |      24 |  4581179 |  4425962 |     4693   2204 |        0 |        0
1770.37/1770.94	c 1770s |      24 |  4584957 |  4429562 |     4693   2205 |        0 |        0
1772.37/1772.94	c 1772s |      24 |  4588700 |  4433162 |     4693   2207 |        0 |        0
1774.37/1774.98	c 1774s |      24 |  4593665 |  4437862 |     4693   2209 |        0 |        0
1776.47/1777.01	c 1776s |      24 |  4598510 |  4442562 |     4693   2211 |        0 |        0
1778.47/1779.04	c 1778s |      24 |  4603254 |  4446962 |     4693   2212 |        0 |        0
1780.47/1781.08	c 1780s |      24 |  4607636 |  4451162 |     4693   2214 |        0 |        0
1782.47/1783.08	c 1782s |      24 |  4612204 |  4455562 |     4693   2216 |        0 |        0
1784.57/1785.12	c 1784s |      24 |  4616674 |  4459862 |     4693   2218 |        0 |        0
1786.57/1787.14	c 1786s |      24 |  4620447 |  4463362 |     4693   2219 |        0 |        0
1788.57/1789.17	c 1788s |      24 |  4624944 |  4467562 |     4693   2221 |        0 |        0
1790.56/1791.17	c 1790s |      24 |  4629489 |  4471662 |     4693   2222 |        0 |        0
1792.66/1793.20	c 1792s |      24 |  4634017 |  4475962 |     4693   2224 |        0 |        0
1794.67/1795.23	c 1794s |      24 |  4638162 |  4479862 |     4693   2226 |        0 |        0
1796.67/1797.24	c 1796s |      24 |  4642596 |  4483862 |     4693   2227 |        0 |        0
1798.67/1799.26	c 1798s |      24 |  4646695 |  4487762 |     4693   2229 |        0 |        0

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

pid=14643
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.02 2.15 2.15 3/179 14646
/proc/meminfo: memFree=30097492/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 2657 0 0 0 0 0 0 0 20 0 4 0 29063353 729214976 3017 33554432000 4194304 16246674 140733246163008 140733246162432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 178799 3026 441 2943 0 175693 0
[pid=14646/tid=14647] ppid=14643 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 748089344 3086 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 752283648 3103 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29063353 756477952 3121 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.02 2.15 2.15 3/179 14646
/proc/meminfo: memFree=30097492/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 21858 0 0 0 7 2 0 0 20 0 4 0 29063353 1247350784 22206 33554432000 4194304 16246674 140733246163008 140733246162432 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 304529 22209 758 2943 0 301423 0
[pid=14646/tid=14647] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 22213 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 22218 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 22224 33554432000 4194304 16246674 140733246163008 139935436754096 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.200554 s]
/proc/loadavg: 2.02 2.15 2.15 3/179 14646
/proc/meminfo: memFree=30097492/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 37745 0 0 0 14 5 0 0 20 0 4 0 29063353 1247350784 38093 33554432000 4194304 16246674 140733246163008 140733246144896 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 304529 38099 758 2943 0 301423 0
[pid=14646/tid=14647] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 38104 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 38108 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 38114 33554432000 4194304 16246674 140733246163008 139935436754096 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.300481 s]
/proc/loadavg: 2.02 2.15 2.15 3/179 14646
/proc/meminfo: memFree=30097492/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 53336 0 0 0 22 7 0 0 20 0 4 0 29063353 1247350784 53685 33554432000 4194304 16246674 140733246163008 140733246144896 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 304529 53698 758 2943 0 301423 0
[pid=14646/tid=14647] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 53708 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 53713 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 53718 33554432000 4194304 16246674 140733246163008 139935436754096 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.700391 s]
/proc/loadavg: 2.02 2.15 2.15 3/179 14646
/proc/meminfo: memFree=30097492/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 124920 0 0 0 52 17 0 0 20 0 4 0 29063353 1247350784 125268 33554432000 4194304 16246674 140733246163008 140733246144896 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 304529 125280 765 2943 0 301423 0
[pid=14646/tid=14647] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 125289 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 125297 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29063353 1247350784 125300 33554432000 4194304 16246674 140733246163008 139935436754096 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.5004 s]
/proc/loadavg: 2.02 2.15 2.15 3/183 14650
/proc/meminfo: memFree=29324768/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1220164 CPUtime=1.48 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 245971 0 0 0 114 34 0 0 20 0 4 0 29063353 1249447936 246296 33554432000 4194304 16246674 140733246163008 140733246162320 5712498 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 305041 246296 850 2943 0 301935 0
[pid=14646/tid=14647] ppid=14643 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1249447936 246296 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1249447936 246296 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1249447936 246296 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1220164

[startup+3.10042 s]
/proc/loadavg: 2.02 2.15 2.15 3/183 14650
/proc/meminfo: memFree=29112356/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1304132 CPUtime=3.09 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 266920 0 0 0 272 37 0 0 20 0 4 0 29063353 1335431168 267245 33554432000 4194304 16246674 140733246163008 140733246144896 5722916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 326033 267245 850 2943 0 322927 0
[pid=14646/tid=14647] ppid=14643 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1335431168 267245 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1335431168 267245 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1335431168 267245 33554432000 4194304 16246674 140733246163008 139935436754096 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) 1304132

[startup+6.30043 s]
/proc/loadavg: 2.02 2.15 2.15 3/183 14650
/proc/meminfo: memFree=29025592/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 267641 0 0 0 592 37 0 0 20 0 4 0 29063353 1337528320 267966 33554432000 4194304 16246674 140733246163008 140733246144896 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 326545 267966 852 2943 0 323439 0
[pid=14646/tid=14647] ppid=14643 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1337528320 267966 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1337528320 267966 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1337528320 267966 33554432000 4194304 16246674 140733246163008 139935436754096 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.01 2.14 2.15 3/183 14651
/proc/meminfo: memFree=29022332/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 268161 0 0 0 1231 38 0 0 20 0 4 0 29063353 1340674048 268486 33554432000 4194304 16246674 140733246163008 140733246144896 5711421 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 327313 268486 852 2943 0 324207 0
[pid=14646/tid=14647] ppid=14643 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1340674048 268486 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1340674048 268486 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1340674048 268486 33554432000 4194304 16246674 140733246163008 139935436754096 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.08 2.15 2.15 3/183 14651
/proc/meminfo: memFree=29020388/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1311300 CPUtime=25.49 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 268873 0 0 0 2511 38 0 0 20 0 4 0 29063353 1342771200 269198 33554432000 4194304 16246674 140733246163008 140733246144896 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 327825 269198 853 2943 0 324719 0
[pid=14646/tid=14647] ppid=14643 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1342771200 269198 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1342771200 269198 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1342771200 269198 33554432000 4194304 16246674 140733246163008 139935436754096 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) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.11 2.16 2.15 3/183 14651
/proc/meminfo: memFree=29015548/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 269946 0 0 0 5070 38 0 0 20 0 4 0 29063353 1346965504 270271 33554432000 4194304 16246674 140733246163008 140733246144896 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 328849 270271 853 2943 0 325743 0
[pid=14646/tid=14647] ppid=14643 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1346965504 270271 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1346965504 270271 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1346965504 270271 33554432000 4194304 16246674 140733246163008 139935436754096 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) 1315396

[startup+102.301 s]
/proc/loadavg: 2.17 2.16 2.15 3/183 14652
/proc/meminfo: memFree=29015224/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 269947 0 0 0 10189 39 0 0 20 0 4 0 29063353 1346965504 270272 33554432000 4194304 16246674 140733246163008 140733246146008 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 328849 270272 854 2943 0 325743 0
[pid=14646/tid=14647] ppid=14643 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1346965504 270272 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1346965504 270272 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1346965504 270272 33554432000 4194304 16246674 140733246163008 139935436754096 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/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271556 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1320516

[startup+1302.3 s]
/proc/loadavg: 2.07 2.11 2.11 3/183 14682
/proc/meminfo: memFree=29000808/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1320516 CPUtime=1301.86 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 271645 0 0 0 130138 48 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 140733246144896 5712672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 330129 271558 855 2943 0 327023 0
[pid=14646/tid=14647] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.06 2.10 2.10 3/183 14683
/proc/meminfo: memFree=29000732/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1320516 CPUtime=1361.83 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 271674 0 0 0 136135 48 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 140733246144896 5721976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 330129 271558 855 2943 0 327023 0
[pid=14646/tid=14647] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.12 2.11 2.10 3/183 14684
/proc/meminfo: memFree=29001496/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1320516 CPUtime=1421.83 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 271674 0 0 0 142134 49 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 140733246144896 5823131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 330129 271558 855 2943 0 327023 0
[pid=14646/tid=14647] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.10 2.10 2.10 3/184 14688
/proc/meminfo: memFree=29001632/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1320516 CPUtime=1481.81 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 271674 0 0 0 148132 49 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 140733246144896 5523404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 330129 271558 855 2943 0 327023 0
[pid=14646/tid=14647] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1352208384 271558 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.09 2.10 2.09 3/183 14690
/proc/meminfo: memFree=28999288/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1322564 CPUtime=1541.82 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 272186 0 0 0 154132 50 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 140733246144896 5599925 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 330641 272070 855 2943 0 327535 0
[pid=14646/tid=14647] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/183 14691
/proc/meminfo: memFree=28993956/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1322564 CPUtime=1601.8 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 272186 0 0 0 160130 50 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 140733246144896 5722224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 330641 272070 855 2943 0 327535 0
[pid=14646/tid=14647] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/183 14790
/proc/meminfo: memFree=29005016/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1322564 CPUtime=1661.79 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 272186 0 0 0 166128 51 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 140733246144896 6021324 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 330641 272070 855 2943 0 327535 0
[pid=14646/tid=14647] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/183 14791
/proc/meminfo: memFree=29004728/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1322564 CPUtime=1721.78 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 272186 0 0 0 172127 51 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 140733246144896 13808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 330641 272070 855 2943 0 327535 0
[pid=14646/tid=14647] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 14792
/proc/meminfo: memFree=29004492/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1322564 CPUtime=1781.77 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 272186 0 0 0 178126 51 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 140733246144896 5676080 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 330641 272070 855 2943 0 327535 0
[pid=14646/tid=14647] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.12 2.09 2.09 3/183 14792
/proc/meminfo: memFree=29003500/32872528 swapFree=681964/737152
[pid=14646] ppid=14643 vsize=1322564 CPUtime=1800.07 cores=0,2,4,6
/proc/14646/stat : 14646 (toysat) R 14643 14646 13233 0 -1 4202496 272186 0 0 0 179955 52 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 140733246144896 5545993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14646/statm: 330641 272070 855 2943 0 327535 0
[pid=14646/tid=14647] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14647/stat : 14647 (toysat) S 14643 14646 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935457717488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14646/tid=14648] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14648/stat : 14648 (toysat) S 14643 14646 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935447227632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14646/tid=14649] ppid=14643 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14646/task/14649/stat : 14649 (toysat) S 14643 14646 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29063353 1354305536 272070 33554432000 4194304 16246674 140733246163008 139935436754096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1322564

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.52092
maximum resident set size= 1088280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272186
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= 460
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4353 second user time and 17.5713 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 19:15:41
IDJOB=4106352
IDBENCH=48028
IDSOLVER=2542
FILE ID=node112/4106352-1466270141
RUNJOBID= node112-1466264161-13249
PBS_JOBID= 19918218
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106352-1466270141/watcher-4106352-1466270141 -o /tmp/evaluation-result-4106352-1466270141/solver-4106352-1466270141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106352-1466270141.opb

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

MD5SUM BENCH= 854cc656dc0682d745f606d1e6722452
RANDOM SEED=902679226

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30097756 kB
Buffers:           66760 kB
Cached:           156004 kB
SwapCached:         2028 kB
Active:          1172340 kB
Inactive:         130704 kB
Active(anon):    1080568 kB
Inactive(anon):     2096 kB
Active(file):      91772 kB
Inactive(file):   128608 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             16668 kB
Writeback:             0 kB
AnonPages:       1816548 kB
Mapped:            10544 kB
Shmem:                 0 kB
Slab:             602660 kB
SReclaimable:      46180 kB
SUnreclaim:       556480 kB
KernelStack:        1464 kB
PageTables:         7588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1960344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node112 at 2016-06-18 19:45:42