Trace number 4080203

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb
MD5SUM0f5232be892543458d8a9fd6fc4fb56e
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.141978
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 variables162
Total number of constraints13
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 constraints13
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)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Solver Data 

0.00/0.00	c 2016-06-07T01:15:11+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-4080203-1465254911.opb"]
0.00/0.01	c use --random-gen="3358473246 3148851232 1843950039 2524770449 4017507633 3012090683 3235863261 367133599 2339725933 261045410 3535843383 3204225755 569916145 1683633476 2539585820 1812108773 603138352 1230330207 234719254 2490488035 3685198246 418455103 885918177 103727712 3276267748 1778260188 567272531 3954693093 4230325255 3840184024 2864316711 499217689 1534100595 3036846943 1757123128 3979610917 2592288229 4119595471 671137301 1863382137 4073730263 3560769456 2916241815 1259152168 1186845414 1899811812 729897559 380767586 1286087766 1068706976 3758346815 3657520261 3167007537 1183546735 601715902 3788932825 1418912753 820682206 3834142989 4042408667 636932695 1926103775 2679189179 3335105955 1396080588 2341735686 1495289338 521600672 633820110 2732754762 226464969 4050008820 3538706139 1543998411 1806609595 802484699 104422517 1457089993 969414659 2479496979 1591188329 4038523463 2272553239 1160413721 3469053339 3689496612 2769810880 2123396915 1706778478 2763001201 3782855721 489849686 2348051542 1410049644 3478572910 1003718347 1462050421 187761171 2113404246 231499617 3050519946 4164355136 601359560 3637698264 3725884483 2486107152 4203637286 3697863679 1292568974 3441294000 4134854280 2639638861 258464422 1222462078 3097609386 807696222 2508073205 2373609597 1535994912 1974286762 2003837455 1067705017 3239151026 2420695548 3766072548 762551559 746563992 3735816180 2083080 1905037960 2464144033 530085288 3472229852 2562448948 2719677696 2433371640 3556808523 761847597 672617551 3955182036 281433271 2276730269 3428890943 1326956000 1213112295 2280704635 1989540575 2604180982 1800794410 2491544355 637963253 3018504001 2915412980 4284874146 1772770418 2806658347 241373580 469376714 1023473155 1478190717 2102352971 776253854 120814812 2598796263 2010493709 363516276 2565857300 1796589766 2113968864 4205258790 402933433 3595238198 176999973 213170011 3582451526 647232724 2594536715 2446400388 1544841711 597330978 1969260045 1629361853 2962259240 1729856723 3762090238 2230504564 2955254825 3766494814 640310752 1776960403 2699351902 3017703425 3603250407 1080261527 604912626 2101801465 1666190076 1377784025 1981810990 690950809 2953131090 1014915504 2806223080 2213484953 1743772244 3645995433 555484631 2139424529 1008483366 2491320073 4220637880 3104950158 262199565 1204540741 2558407808 1430945785 704572225 1391476728 545991931 1585759411 1700866458 2562319060 1097542597 1185116914 49295424 3273114901 3033799921 3818280187 3003450952 3425584799 562271145 2928958854 4162211542 2424477114 3469632246 2667675331 3831672159 2787496591 1205992905 2783890441 2549052017 1621464876 2637815348 3429681120 1208191388 2470803177 634756858 3584626609 592386187 2312780777 3939095897 3390032363 2979464701 2732576030 1908740527 1290577528 255 362436" option to reproduce the execution
0.00/0.01	c #vars 162
0.00/0.01	c #constraints 13
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      708      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      142 |      100 |      708      0 |        0 |        0
0.09/0.10	c  0.1s |       2 |      355 |      250 |      779      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |      663 |      475 |      857      0 |        0 |        0
0.19/0.25	c  0.2s |       4 |     1070 |      813 |      943      0 |        0 |        0
0.58/0.62	c  0.6s |       5 |     1657 |     1320 |     1038      0 |        0 |        0
0.79/0.83	c  0.8s |       6 |     2462 |     2081 |     1257      2 |        0 |        0
1.49/1.52	c  1.5s |       7 |     3742 |     3223 |     1383      3 |        0 |        0
1.89/1.97	c  1.9s |       7 |     5452 |     4746 |     1383      5 |        0 |        0
1.89/1.97	c #cpu_time = 1.944s
1.89/1.97	c #wall_clock_time = 1.944s
1.89/1.97	c #decision = 5452
1.89/1.97	c #random_decision = 17
1.89/1.97	c #conflict = 4746
1.89/1.97	c #restart = 7
1.89/1.97	o 375
1.89/1.97	c BCD2: updating upper bound: 511 -> 374
1.89/1.97	c BCD2: 0 <= obj <= 374
1.89/1.97	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
1.89/1.97	c BCD2: #sat=1 #unsat=1 bias=1/2
1.89/1.97	c Solving starts ...
1.89/1.97	c ============================[ Search Statistics ]============================
1.89/1.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.97	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.97	c =============================================================================
1.89/1.97	c  0.0s |       0 |        0 |        0 |     1383      0 |        0 |        0
1.89/1.97	c  0.0s |       0 |        7 |        0 |     1383      0 |        0 |        0
1.89/1.97	c #cpu_time = 0.004s
1.89/1.97	c #wall_clock_time = 0.004s
1.89/1.97	c #decision = 7
1.89/1.97	c #random_decision = 0
1.89/1.97	c #conflict = 0
1.89/1.97	c #restart = 0
1.89/1.97	c BCD2: found a new core of size 8: cost of the new core is >=2
1.89/1.97	c lower bound updated to 2
1.89/1.97	c BCD2: 2 <= obj <= 374
1.89/1.97	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
1.89/1.97	c BCD2: #sat=1 #unsat=2 bias=2/3
1.89/1.97	c Solving starts ...
1.89/1.97	c ============================[ Search Statistics ]============================
1.89/1.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.97	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.97	c =============================================================================
1.89/1.97	c  0.0s |       0 |        0 |        0 |     1383      0 |        0 |        0
1.99/2.00	c  0.0s |       1 |      180 |      100 |     1383      0 |        0 |        0
1.99/2.09	c  0.1s |       2 |      385 |      250 |     1522      0 |        0 |        0
2.20/2.30	c  0.3s |       3 |      687 |      475 |     1522      0 |        0 |        0
2.39/2.40	c  0.4s |       4 |     1118 |      813 |     1522      1 |        0 |        0
2.49/2.57	c  0.6s |       5 |     1700 |     1320 |     1522      1 |        0 |        0
2.69/2.75	c  0.8s |       6 |     2580 |     2081 |     1522      2 |        0 |        0
2.99/3.06	c  1.1s |       7 |     3819 |     3223 |     1675      3 |        0 |        0
3.88/3.94	c  2.0s |       8 |     6016 |     4936 |     1675      5 |        0 |        0
4.40/4.50	c  2.5s |       9 |     8718 |     7506 |     1843      8 |        0 |        0
6.19/6.25	c  4.3s |      10 |    13194 |    11361 |     1843     11 |        0 |        0
8.19/8.25	c  6.3s |      10 |    17636 |    15461 |     2028     14 |        0 |        0
8.80/8.88	c  6.9s |      11 |    19365 |    17144 |     2028     15 |        0 |        0
10.89/10.93	c  9.0s |      11 |    25172 |    22544 |     2231     20 |        0 |        0
11.79/11.86	c  9.9s |      12 |    28596 |    25819 |     2231     22 |        0 |        0
13.79/13.88	c 11.9s |      12 |    36436 |    33219 |     2231     28 |        0 |        0
15.49/15.57	c 13.6s |      13 |    42348 |    38832 |     2455     31 |        0 |        0
17.49/17.58	c 15.6s |      13 |    50173 |    46432 |     2455     37 |        0 |        0
19.59/19.60	c 17.6s |      13 |    57394 |    53532 |     2701     42 |        0 |        0
20.89/20.95	c 19.0s |      14 |    62273 |    58352 |     2701     46 |        0 |        0
22.89/22.95	c 21.0s |      14 |    68481 |    64152 |     2701     49 |        0 |        0
24.89/24.97	c 23.0s |      14 |    74044 |    69152 |     2701     52 |        0 |        0
26.98/27.00	c 25.0s |      14 |    78418 |    72652 |     2701     54 |        0 |        0
28.98/29.03	c 27.1s |      14 |    83602 |    77452 |     2701     57 |        0 |        0
30.98/31.05	c 29.1s |      14 |    87666 |    81052 |     2701     60 |        0 |        0
32.99/33.06	c 31.1s |      14 |    93868 |    87152 |     2972     63 |        0 |        0
33.18/33.21	c 31.2s |      15 |    94352 |    87632 |     2972     63 |        0 |        0
35.18/35.24	c 33.3s |      15 |   100812 |    93832 |     2972     67 |        0 |        0
37.18/37.25	c 35.3s |      15 |   108117 |   101032 |     2972     72 |        0 |        0
39.19/39.26	c 37.3s |      15 |   115353 |   108132 |     2972     77 |        0 |        0
41.19/41.26	c 39.3s |      15 |   122267 |   114932 |     2972     81 |        0 |        0
43.19/43.27	c 41.3s |      15 |   128635 |   121232 |     2972     85 |        0 |        0
45.19/45.28	c 43.3s |      15 |   135305 |   127632 |     3270     89 |        0 |        0
46.39/46.41	c 44.4s |      16 |   139342 |   131552 |     3270     91 |        0 |        0
48.39/48.42	c 46.4s |      16 |   144544 |   136152 |     3270     93 |        0 |        0
50.38/50.43	c 48.5s |      16 |   148787 |   140052 |     3270     96 |        0 |        0
52.38/52.43	c 50.5s |      16 |   154614 |   145652 |     3270     99 |        0 |        0
54.38/54.45	c 52.5s |      16 |   160196 |   151052 |     3270    101 |        0 |        0
56.38/56.46	c 54.5s |      16 |   165805 |   156452 |     3270    104 |        0 |        0
58.39/58.48	c 56.5s |      16 |   171869 |   162352 |     3270    107 |        0 |        0
60.38/60.49	c 58.5s |      16 |   177671 |   167952 |     3270    110 |        0 |        0
62.48/62.52	c 60.5s |      16 |   183452 |   173552 |     3270    113 |        0 |        0
64.48/64.57	c 62.6s |      16 |   188764 |   178752 |     3270    116 |        0 |        0
66.48/66.58	c 64.6s |      16 |   194118 |   183952 |     3270    119 |        0 |        0
68.48/68.59	c 66.6s |      16 |   199664 |   189352 |     3270    122 |        0 |        0
70.58/70.60	c 68.6s |      16 |   205070 |   194652 |     3598    124 |        0 |        0
71.68/71.71	c 69.7s |      17 |   207923 |   197432 |     3598    126 |        0 |        0
73.68/73.74	c 71.8s |      17 |   214169 |   203332 |     3598    128 |        0 |        0
75.68/75.74	c 73.8s |      17 |   220167 |   209032 |     3598    131 |        0 |        0
77.68/77.79	c 75.8s |      17 |   226686 |   215332 |     3598    134 |        0 |        0
79.78/79.82	c 77.8s |      17 |   232770 |   221132 |     3598    137 |        0 |        0
81.78/81.82	c 79.8s |      17 |   239184 |   227232 |     3598    140 |        0 |        0
83.78/83.83	c 81.9s |      17 |   245380 |   233232 |     3598    143 |        0 |        0
85.78/85.83	c 83.9s |      17 |   251513 |   239132 |     3598    146 |        0 |        0
87.78/87.85	c 85.9s |      17 |   257245 |   244532 |     3598    149 |        0 |        0
89.78/89.86	c 87.9s |      17 |   263684 |   250632 |     3598    151 |        0 |        0
91.77/91.87	c 89.9s |      17 |   270702 |   257532 |     3598    155 |        0 |        0
93.77/93.89	c 91.9s |      17 |   276761 |   263432 |     3598    158 |        0 |        0
95.87/95.93	c 94.0s |      17 |   281931 |   268432 |     3598    160 |        0 |        0
97.88/97.95	c 96.0s |      17 |   288064 |   274332 |     3598    163 |        0 |        0
99.87/99.96	c 98.0s |      17 |   293903 |   279932 |     3598    166 |        0 |        0
101.87/101.96	c 100.0s |      17 |   299244 |   284932 |     3598    168 |        0 |        0
103.97/104.01	c  102s |      17 |   305177 |   290632 |     3958    171 |        0 |        0
105.97/106.04	c  104s |      17 |   310559 |   295832 |     3958    173 |        0 |        0
106.07/106.18	c  104s |      18 |   310991 |   296252 |     3958    173 |        0 |        0
108.07/108.19	c  106s |      18 |   317373 |   302252 |     3958    176 |        0 |        0
110.08/110.19	c  108s |      18 |   323223 |   307752 |     3958    178 |        0 |        0
112.07/112.20	c  110s |      18 |   328876 |   313152 |     3958    181 |        0 |        0
114.17/114.22	c  112s |      18 |   334770 |   318552 |     3958    183 |        0 |        0
116.17/116.24	c  114s |      18 |   340134 |   323652 |     3958    185 |        0 |        0
118.17/118.28	c  116s |      18 |   344968 |   328252 |     3958    187 |        0 |        0
120.17/120.28	c  118s |      18 |   350239 |   333352 |     3958    190 |        0 |        0
122.17/122.29	c  120s |      18 |   355962 |   338852 |     3958    192 |        0 |        0
124.17/124.30	c  122s |      18 |   361250 |   343952 |     3958    194 |        0 |        0
126.26/126.31	c  124s |      18 |   365989 |   348452 |     3958    196 |        0 |        0
128.26/128.37	c  126s |      18 |   370891 |   353052 |     3958    198 |        0 |        0
130.36/130.42	c  128s |      18 |   375776 |   357752 |     3958    201 |        0 |        0
132.37/132.45	c  130s |      18 |   380740 |   362552 |     3958    203 |        0 |        0
134.37/134.46	c  132s |      18 |   385730 |   367252 |     3958    205 |        0 |        0
136.38/136.47	c  134s |      18 |   389863 |   371252 |     3958    207 |        0 |        0
138.37/138.47	c  136s |      18 |   394978 |   376152 |     3958    209 |        0 |        0
140.37/140.48	c  138s |      18 |   399819 |   380852 |     3958    211 |        0 |        0
142.37/142.48	c  140s |      18 |   405225 |   386152 |     3958    213 |        0 |        0
144.47/144.51	c  142s |      18 |   410675 |   391552 |     3958    216 |        0 |        0
146.47/146.52	c  144s |      18 |   416389 |   397152 |     3958    218 |        0 |        0
148.47/148.54	c  146s |      18 |   421527 |   402152 |     3958    221 |        0 |        0
150.47/150.58	c  148s |      18 |   427068 |   407352 |     3958    223 |        0 |        0
152.56/152.61	c  150s |      18 |   432227 |   412352 |     3958    225 |        0 |        0
154.56/154.63	c  152s |      18 |   437595 |   417452 |     3958    227 |        0 |        0
156.56/156.65	c  154s |      18 |   442955 |   422652 |     3958    230 |        0 |        0
158.56/158.66	c  156s |      18 |   448215 |   427652 |     3958    232 |        0 |        0
160.57/160.68	c  158s |      18 |   453761 |   433052 |     3958    235 |        0 |        0
162.56/162.68	c  160s |      18 |   459037 |   438252 |     4354    237 |        0 |        0
164.66/164.70	c  162s |      18 |   464518 |   443652 |     4354    239 |        0 |        0
164.97/165.02	c  163s |      19 |   465360 |   444482 |     4354    239 |        0 |        0
166.96/167.02	c  165s |      19 |   472394 |   451382 |     4354    242 |        0 |        0
168.96/169.04	c  167s |      19 |   478841 |   457682 |     4354    245 |        0 |        0
170.96/171.08	c  169s |      19 |   484964 |   463682 |     4354    247 |        0 |        0
172.96/173.09	c  171s |      19 |   490698 |   469282 |     4354    250 |        0 |        0
175.06/175.11	c  173s |      19 |   496110 |   474582 |     4354    252 |        0 |        0
177.06/177.13	c  175s |      19 |   501181 |   479582 |     4354    254 |        0 |        0
179.06/179.15	c  177s |      19 |   507488 |   485782 |     4354    257 |        0 |        0
181.06/181.17	c  179s |      19 |   513907 |   492082 |     4354    259 |        0 |        0
183.06/183.19	c  181s |      19 |   520287 |   498282 |     4354    262 |        0 |        0
185.16/185.21	c  183s |      19 |   526187 |   504082 |     4354    264 |        0 |        0
187.16/187.21	c  185s |      19 |   531829 |   509682 |     4354    267 |        0 |        0
189.17/189.23	c  187s |      19 |   538131 |   515882 |     4354    269 |        0 |        0
191.16/191.23	c  189s |      19 |   544087 |   521782 |     4354    272 |        0 |        0
193.16/193.26	c  191s |      19 |   550120 |   527682 |     4354    274 |        0 |        0
195.16/195.29	c  193s |      19 |   555664 |   533182 |     4354    277 |        0 |        0
197.26/197.31	c  195s |      19 |   561769 |   539182 |     4354    279 |        0 |        0
199.26/199.31	c  197s |      19 |   568009 |   545282 |     4354    282 |        0 |        0
201.27/201.34	c  199s |      19 |   574461 |   551582 |     4354    284 |        0 |        0
203.26/203.36	c  201s |      19 |   580091 |   557082 |     4354    287 |        0 |        0
205.26/205.39	c  203s |      19 |   585895 |   562782 |     4354    289 |        0 |        0
207.36/207.41	c  205s |      19 |   591919 |   568682 |     4354    292 |        0 |        0
209.36/209.43	c  207s |      19 |   597675 |   574382 |     4354    294 |        0 |        0
211.36/211.45	c  209s |      19 |   603392 |   579982 |     4354    296 |        0 |        0
213.36/213.47	c  211s |      19 |   608525 |   584982 |     4354    298 |        0 |        0
215.46/215.50	c  213s |      19 |   614195 |   590382 |     4354    301 |        0 |        0
217.46/217.51	c  215s |      19 |   619665 |   595682 |     4354    303 |        0 |        0
219.45/219.54	c  217s |      19 |   626668 |   602382 |     4354    306 |        0 |        0
221.45/221.57	c  219s |      19 |   632940 |   608382 |     4354    308 |        0 |        0
223.45/223.57	c  221s |      19 |   638973 |   614282 |     4354    311 |        0 |        0
225.46/225.60	c  223s |      19 |   645500 |   620582 |     4354    313 |        0 |        0
227.55/227.64	c  225s |      19 |   651296 |   626282 |     4354    316 |        0 |        0
229.55/229.66	c  227s |      19 |   657272 |   632082 |     4354    318 |        0 |        0
231.55/231.67	c  229s |      19 |   663402 |   638082 |     4354    321 |        0 |        0
233.55/233.69	c  231s |      19 |   669543 |   644082 |     4354    323 |        0 |        0
235.65/235.70	c  233s |      19 |   675352 |   649782 |     4354    326 |        0 |        0
237.66/237.71	c  235s |      19 |   681781 |   656082 |     4354    328 |        0 |        0
239.65/239.71	c  237s |      19 |   687480 |   661682 |     4790    330 |        0 |        0
241.45/241.58	c  239s |      20 |   692696 |   666827 |     4790    332 |        0 |        0
243.46/243.58	c  241s |      20 |   700259 |   673827 |     4790    335 |        0 |        0
245.55/245.66	c  243s |      20 |   704346 |   677627 |     4790    336 |        0 |        0
247.56/247.69	c  245s |      20 |   706499 |   678827 |     4790    337 |        0 |        0
249.66/249.74	c  247s |      20 |   711044 |   683127 |     4790    339 |        0 |        0
251.75/251.81	c  249s |      20 |   715712 |   687527 |     4790    340 |        0 |        0
253.75/253.81	c  251s |      20 |   719235 |   690927 |     4790    341 |        0 |        0
255.75/255.82	c  253s |      20 |   722999 |   694427 |     4790    343 |        0 |        0
257.85/257.91	c  255s |      20 |   727333 |   698227 |     4790    344 |        0 |        0
259.85/259.94	c  257s |      20 |   730373 |   700927 |     4790    345 |        0 |        0
261.86/261.94	c  259s |      20 |   735612 |   706027 |     4790    347 |        0 |        0
263.85/263.96	c  261s |      20 |   741319 |   711527 |     4790    349 |        0 |        0
265.95/266.00	c  264s |      20 |   746587 |   716627 |     4790    351 |        0 |        0
267.95/268.02	c  266s |      20 |   751249 |   721127 |     4790    353 |        0 |        0
269.95/270.03	c  268s |      20 |   756255 |   726027 |     4790    355 |        0 |        0
271.95/272.08	c  270s |      20 |   761022 |   730727 |     4790    356 |        0 |        0
274.05/274.10	c  272s |      20 |   765592 |   735127 |     4790    358 |        0 |        0
276.05/276.11	c  274s |      20 |   770762 |   740127 |     4790    360 |        0 |        0
278.05/278.12	c  276s |      20 |   777043 |   746227 |     4790    362 |        0 |        0
280.05/280.15	c  278s |      20 |   782186 |   751127 |     4790    364 |        0 |        0
282.05/282.19	c  280s |      20 |   786549 |   755327 |     4790    366 |        0 |        0
284.14/284.22	c  282s |      20 |   791454 |   759927 |     4790    367 |        0 |        0
286.14/286.27	c  284s |      20 |   795551 |   763827 |     4790    369 |        0 |        0
288.15/288.30	c  286s |      20 |   799878 |   768027 |     4790    370 |        0 |        0
290.24/290.32	c  288s |      20 |   804654 |   772427 |     4790    372 |        0 |        0
292.24/292.33	c  290s |      20 |   809581 |   776727 |     4790    374 |        0 |        0
294.24/294.35	c  292s |      20 |   815720 |   782427 |     4790    376 |        0 |        0
296.34/296.40	c  294s |      20 |   820662 |   787327 |     4790    378 |        0 |        0
298.34/298.42	c  296s |      20 |   824848 |   791427 |     4790    379 |        0 |        0
300.35/300.46	c  298s |      20 |   828873 |   795427 |     4790    381 |        0 |        0
302.45/302.52	c  300s |      20 |   833043 |   799527 |     4790    382 |        0 |        0
304.44/304.52	c  302s |      20 |   836940 |   803127 |     4790    383 |        0 |        0
306.45/306.53	c  304s |      20 |   839447 |   805027 |     4790    384 |        0 |        0
308.45/308.58	c  306s |      20 |   844172 |   809627 |     4790    386 |        0 |        0
310.45/310.58	c  308s |      20 |   849522 |   814827 |     4790    388 |        0 |        0
312.55/312.66	c  310s |      20 |   854319 |   819327 |     4790    390 |        0 |        0
314.55/314.67	c  312s |      20 |   859025 |   823927 |     4790    391 |        0 |        0
316.54/316.67	c  314s |      20 |   863894 |   828627 |     4790    393 |        0 |        0
318.54/318.68	c  316s |      20 |   867740 |   832027 |     4790    394 |        0 |        0
320.64/320.74	c  318s |      20 |   870434 |   834327 |     4790    395 |        0 |        0
322.64/322.75	c  320s |      20 |   875802 |   839327 |     4790    397 |        0 |        0
324.74/324.89	c  322s |      20 |   879318 |   842127 |     4790    398 |        0 |        0
326.84/326.92	c  324s |      20 |   884398 |   846927 |     4790    400 |        0 |        0
328.85/328.95	c  326s |      20 |   889682 |   851727 |     4790    402 |        0 |        0
330.84/330.98	c  329s |      20 |   894042 |   855927 |     4790    403 |        0 |        0
332.84/332.98	c  331s |      20 |   898635 |   860427 |     4790    405 |        0 |        0
334.94/335.01	c  333s |      20 |   903254 |   864827 |     4790    407 |        0 |        0
336.94/337.04	c  335s |      20 |   906179 |   867427 |     4790    407 |        0 |        0
338.94/339.05	c  337s |      20 |   909799 |   870927 |     4790    409 |        0 |        0
340.95/341.08	c  339s |      20 |   912561 |   873527 |     4790    410 |        0 |        0
343.04/343.19	c  341s |      20 |   914599 |   875427 |     4790    411 |        0 |        0
345.14/345.23	c  343s |      20 |   916974 |   876927 |     4790    411 |        0 |        0
347.14/347.24	c  345s |      20 |   921399 |   880327 |     4790    412 |        0 |        0
349.24/349.30	c  347s |      20 |   923712 |   882427 |     4790    413 |        0 |        0
351.24/351.30	c  349s |      20 |   925624 |   883727 |     4790    414 |        0 |        0
353.34/353.40	c  351s |      20 |   928336 |   885927 |     4790    414 |        0 |        0
355.34/355.43	c  353s |      20 |   930581 |   887627 |     4790    415 |        0 |        0
357.34/357.45	c  355s |      20 |   935432 |   892227 |     4790    417 |        0 |        0
359.34/359.47	c  357s |      20 |   940544 |   897127 |     4790    419 |        0 |        0
361.44/361.52	c  359s |      20 |   944584 |   900927 |     4790    420 |        0 |        0
363.53/363.60	c  361s |      20 |   949092 |   905227 |     4790    422 |        0 |        0
365.53/365.67	c  363s |      20 |   952913 |   908827 |     4790    423 |        0 |        0
367.53/367.69	c  365s |      20 |   956059 |   911827 |     4790    424 |        0 |        0
369.64/369.76	c  367s |      20 |   959937 |   915427 |     4790    426 |        0 |        0
371.63/371.78	c  369s |      20 |   964792 |   919727 |     4790    427 |        0 |        0
373.73/373.84	c  371s |      20 |   969211 |   923927 |     4790    429 |        0 |        0
375.73/375.86	c  373s |      20 |   973081 |   927627 |     4790    430 |        0 |        0
377.83/377.93	c  375s |      20 |   976280 |   930427 |     4790    431 |        0 |        0
379.83/379.94	c  377s |      20 |   981435 |   935427 |     4790    433 |        0 |        0
381.83/381.97	c  379s |      20 |   984728 |   938527 |     4790    434 |        0 |        0
383.84/383.97	c  381s |      20 |   988134 |   941727 |     4790    435 |        0 |        0
385.83/385.98	c  384s |      20 |   992977 |   946427 |     4790    437 |        0 |        0
387.93/388.00	c  386s |      20 |   997899 |   951227 |     4790    439 |        0 |        0
389.93/390.07	c  388s |      20 |  1001723 |   954927 |     4790    440 |        0 |        0
391.93/392.08	c  390s |      20 |  1005063 |   957727 |     4790    441 |        0 |        0
393.93/394.09	c  392s |      20 |  1010020 |   962527 |     4790    443 |        0 |        0
396.03/396.16	c  394s |      20 |  1014806 |   967127 |     4790    445 |        0 |        0
398.03/398.16	c  396s |      20 |  1019362 |   971527 |     4790    446 |        0 |        0
400.03/400.18	c  398s |      20 |  1023448 |   975427 |     4790    448 |        0 |        0
402.03/402.18	c  400s |      20 |  1026625 |   978227 |     4790    449 |        0 |        0
404.23/404.32	c  402s |      20 |  1031315 |   982727 |     4790    451 |        0 |        0
406.23/406.32	c  404s |      20 |  1036167 |   987327 |     4790    452 |        0 |        0
408.23/408.33	c  406s |      20 |  1039336 |   990327 |     5269    453 |        0 |        0
410.23/410.33	c  408s |      20 |  1043246 |   994127 |     5269    455 |        0 |        0
412.23/412.36	c  410s |      20 |  1046531 |   997327 |     5269    456 |        0 |        0
414.23/414.37	c  412s |      21 |  1049596 |  1000345 |     5269    457 |        0 |        0
416.23/416.39	c  414s |      21 |  1055855 |  1005945 |     5269    459 |        0 |        0
418.33/418.41	c  416s |      21 |  1061527 |  1011445 |     5269    461 |        0 |        0
420.33/420.44	c  418s |      21 |  1066916 |  1016645 |     5269    463 |        0 |        0
422.33/422.47	c  420s |      21 |  1072755 |  1021945 |     5269    464 |        0 |        0
424.32/424.48	c  422s |      21 |  1078530 |  1027145 |     5269    466 |        0 |        0
426.42/426.51	c  424s |      21 |  1083857 |  1032145 |     5269    468 |        0 |        0
428.42/428.52	c  426s |      21 |  1089347 |  1037245 |     5269    470 |        0 |        0
430.42/430.53	c  428s |      21 |  1094730 |  1042345 |     5269    472 |        0 |        0
432.42/432.56	c  430s |      21 |  1099910 |  1047245 |     5269    473 |        0 |        0
434.43/434.57	c  432s |      21 |  1105081 |  1051945 |     5269    475 |        0 |        0
436.52/436.60	c  434s |      21 |  1110195 |  1056645 |     5269    477 |        0 |        0
438.52/438.61	c  436s |      21 |  1115346 |  1061645 |     5269    479 |        0 |        0
440.52/440.65	c  438s |      21 |  1120883 |  1066945 |     5269    480 |        0 |        0
442.52/442.66	c  440s |      21 |  1125730 |  1071345 |     5269    482 |        0 |        0
444.52/444.68	c  442s |      21 |  1130957 |  1076145 |     5269    484 |        0 |        0
446.53/446.69	c  444s |      21 |  1135809 |  1080745 |     5269    485 |        0 |        0
448.52/448.69	c  446s |      21 |  1141042 |  1085645 |     5269    487 |        0 |        0
450.62/450.71	c  448s |      21 |  1146303 |  1090545 |     5269    489 |        0 |        0
452.62/452.74	c  450s |      21 |  1151417 |  1095445 |     5269    491 |        0 |        0
454.62/454.74	c  452s |      21 |  1156980 |  1100545 |     5269    492 |        0 |        0
456.62/456.77	c  454s |      21 |  1162392 |  1105345 |     5269    494 |        0 |        0
458.73/458.81	c  456s |      21 |  1167481 |  1110245 |     5269    496 |        0 |        0
460.72/460.86	c  458s |      21 |  1172733 |  1115245 |     5269    498 |        0 |        0
462.82/462.91	c  460s |      21 |  1178605 |  1120945 |     5269    500 |        0 |        0
464.82/464.95	c  462s |      21 |  1183973 |  1126145 |     5269    501 |        0 |        0
466.82/466.95	c  464s |      21 |  1189387 |  1131345 |     5269    503 |        0 |        0
468.82/468.95	c  466s |      21 |  1194234 |  1136045 |     5269    505 |        0 |        0
470.82/470.95	c  468s |      21 |  1198928 |  1140645 |     5269    507 |        0 |        0
472.82/472.98	c  471s |      21 |  1203811 |  1145345 |     5269    508 |        0 |        0
474.92/475.01	c  473s |      21 |  1209600 |  1150845 |     5269    510 |        0 |        0
476.92/477.04	c  475s |      21 |  1214407 |  1155545 |     5269    512 |        0 |        0
478.92/479.06	c  477s |      21 |  1222172 |  1162945 |     5269    514 |        0 |        0
480.91/481.08	c  479s |      21 |  1227957 |  1168645 |     5269    516 |        0 |        0
482.92/483.09	c  481s |      21 |  1233795 |  1174445 |     5269    518 |        0 |        0
484.91/485.09	c  483s |      21 |  1239317 |  1179845 |     5269    520 |        0 |        0
486.91/487.09	c  485s |      21 |  1244868 |  1185345 |     5269    522 |        0 |        0
489.01/489.12	c  487s |      21 |  1250674 |  1191045 |     5269    524 |        0 |        0
491.01/491.14	c  489s |      21 |  1256169 |  1196445 |     5269    526 |        0 |        0
493.01/493.16	c  491s |      21 |  1262093 |  1202245 |     5269    528 |        0 |        0
495.02/495.19	c  493s |      21 |  1267792 |  1207845 |     5269    530 |        0 |        0
497.01/497.19	c  495s |      21 |  1273040 |  1213045 |     5269    532 |        0 |        0
499.11/499.21	c  497s |      21 |  1278722 |  1218645 |     5269    533 |        0 |        0
501.11/501.23	c  499s |      21 |  1284243 |  1224045 |     5269    535 |        0 |        0
503.11/503.25	c  501s |      21 |  1289928 |  1229645 |     5269    537 |        0 |        0
505.11/505.27	c  503s |      21 |  1295848 |  1235445 |     5269    539 |        0 |        0
507.11/507.29	c  505s |      21 |  1301636 |  1241045 |     5269    541 |        0 |        0
509.11/509.29	c  507s |      21 |  1307000 |  1246345 |     5269    543 |        0 |        0
511.21/511.32	c  509s |      21 |  1312300 |  1251545 |     5269    545 |        0 |        0
513.21/513.33	c  511s |      21 |  1316986 |  1256145 |     5269    546 |        0 |        0
515.21/515.36	c  513s |      21 |  1321637 |  1260745 |     5269    548 |        0 |        0
517.31/517.42	c  515s |      21 |  1326109 |  1265145 |     5269    550 |        0 |        0
519.31/519.46	c  517s |      21 |  1331073 |  1270045 |     5269    551 |        0 |        0
521.32/521.49	c  519s |      21 |  1335417 |  1274345 |     5269    553 |        0 |        0
523.41/523.52	c  521s |      21 |  1340747 |  1279445 |     5269    554 |        0 |        0
525.41/525.56	c  523s |      21 |  1345895 |  1284545 |     5269    556 |        0 |        0
527.41/527.59	c  525s |      21 |  1351633 |  1290145 |     5269    558 |        0 |        0
529.51/529.60	c  527s |      21 |  1356676 |  1295145 |     5269    560 |        0 |        0
531.51/531.62	c  529s |      21 |  1362212 |  1300545 |     5269    562 |        0 |        0
533.52/533.64	c  531s |      21 |  1367499 |  1305745 |     5269    563 |        0 |        0
535.51/535.68	c  533s |      21 |  1372968 |  1311145 |     5269    565 |        0 |        0
537.51/537.69	c  535s |      21 |  1377648 |  1315545 |     5269    567 |        0 |        0
539.61/539.72	c  537s |      21 |  1381416 |  1319245 |     5269    568 |        0 |        0
541.61/541.74	c  539s |      21 |  1385009 |  1322745 |     5269    569 |        0 |        0
543.61/543.77	c  541s |      21 |  1389180 |  1326645 |     5269    571 |        0 |        0
545.71/545.82	c  543s |      21 |  1393935 |  1331145 |     5269    572 |        0 |        0
547.71/547.85	c  545s |      21 |  1398842 |  1335945 |     5269    574 |        0 |        0
549.71/549.89	c  547s |      21 |  1402984 |  1339945 |     5269    575 |        0 |        0
551.81/551.92	c  549s |      21 |  1407477 |  1344245 |     5269    577 |        0 |        0
553.81/553.93	c  551s |      21 |  1411805 |  1348445 |     5269    578 |        0 |        0
555.81/555.94	c  553s |      21 |  1417070 |  1353545 |     5269    580 |        0 |        0
557.81/557.96	c  555s |      21 |  1423078 |  1359445 |     5269    582 |        0 |        0
559.81/559.96	c  557s |      21 |  1428423 |  1364745 |     5269    584 |        0 |        0
561.81/561.97	c  559s |      21 |  1434149 |  1370345 |     5269    586 |        0 |        0
563.91/564.00	c  562s |      21 |  1439961 |  1376045 |     5269    588 |        0 |        0
565.91/566.03	c  564s |      21 |  1445260 |  1381245 |     5269    590 |        0 |        0
567.90/568.04	c  566s |      21 |  1450599 |  1386545 |     5269    591 |        0 |        0
569.90/570.05	c  568s |      21 |  1456429 |  1392245 |     5269    593 |        0 |        0
571.91/572.09	c  570s |      21 |  1461491 |  1397245 |     5269    595 |        0 |        0
573.90/574.09	c  572s |      21 |  1467289 |  1402945 |     5269    597 |        0 |        0
576.00/576.10	c  574s |      21 |  1472282 |  1407845 |     5269    599 |        0 |        0
578.00/578.12	c  576s |      21 |  1477611 |  1412945 |     5269    601 |        0 |        0
580.00/580.13	c  578s |      21 |  1482739 |  1417945 |     5269    602 |        0 |        0
582.00/582.16	c  580s |      21 |  1487990 |  1423045 |     5269    604 |        0 |        0
584.01/584.19	c  582s |      21 |  1492305 |  1427245 |     5269    606 |        0 |        0
586.10/586.23	c  584s |      21 |  1496872 |  1431645 |     5269    607 |        0 |        0
588.20/588.30	c  586s |      21 |  1501217 |  1435845 |     5269    609 |        0 |        0
590.20/590.34	c  588s |      21 |  1505732 |  1440145 |     5269    610 |        0 |        0
592.20/592.35	c  590s |      21 |  1510567 |  1444645 |     5269    612 |        0 |        0
594.20/594.35	c  592s |      21 |  1515058 |  1448945 |     5269    613 |        0 |        0
596.20/596.36	c  594s |      21 |  1519262 |  1453045 |     5269    614 |        0 |        0
598.20/598.36	c  596s |      21 |  1523673 |  1457245 |     5269    616 |        0 |        0
600.20/600.37	c  598s |      21 |  1527936 |  1461345 |     5269    617 |        0 |        0
602.20/602.38	c  600s |      21 |  1532689 |  1465945 |     5269    619 |        0 |        0
604.30/604.41	c  602s |      21 |  1538252 |  1471445 |     5269    621 |        0 |        0
606.30/606.47	c  604s |      21 |  1543218 |  1476345 |     5269    623 |        0 |        0
608.30/608.49	c  606s |      21 |  1548314 |  1481345 |     5269    624 |        0 |        0
610.40/610.52	c  608s |      21 |  1553709 |  1486645 |     5796    626 |        0 |        0
612.40/612.54	c  610s |      21 |  1558574 |  1491445 |     5796    627 |        0 |        0
614.39/614.56	c  612s |      21 |  1564010 |  1496745 |     5796    629 |        0 |        0
615.90/616.07	c  614s |      22 |  1567996 |  1500622 |     5796    630 |        0 |        0
617.89/618.08	c  616s |      22 |  1571684 |  1503922 |     5796    631 |        0 |        0
619.89/620.09	c  618s |      22 |  1575829 |  1507822 |     5796    633 |        0 |        0
621.99/622.13	c  620s |      22 |  1578972 |  1510822 |     5796    634 |        0 |        0
623.99/624.16	c  622s |      22 |  1582659 |  1514322 |     5796    635 |        0 |        0
625.99/626.17	c  624s |      22 |  1585891 |  1517522 |     5796    636 |        0 |        0
628.10/628.22	c  626s |      22 |  1589379 |  1520922 |     5796    637 |        0 |        0
630.09/630.27	c  628s |      22 |  1592361 |  1523822 |     5796    638 |        0 |        0
632.19/632.30	c  630s |      22 |  1595835 |  1527222 |     5796    639 |        0 |        0
634.19/634.32	c  632s |      22 |  1599492 |  1530522 |     5796    640 |        0 |        0
636.19/636.33	c  634s |      22 |  1603244 |  1534222 |     5796    641 |        0 |        0
638.19/638.36	c  636s |      22 |  1607791 |  1538622 |     5796    642 |        0 |        0
640.29/640.47	c  638s |      22 |  1612053 |  1542522 |     5796    644 |        0 |        0
642.30/642.47	c  640s |      22 |  1615900 |  1545922 |     5796    645 |        0 |        0
644.29/644.47	c  642s |      22 |  1619224 |  1549122 |     5796    646 |        0 |        0
646.39/646.52	c  644s |      22 |  1621919 |  1551722 |     5796    647 |        0 |        0
648.39/648.52	c  646s |      22 |  1624933 |  1554622 |     5796    647 |        0 |        0
650.39/650.53	c  648s |      22 |  1627378 |  1557022 |     5796    648 |        0 |        0
652.39/652.58	c  650s |      22 |  1629547 |  1559022 |     5796    649 |        0 |        0
654.49/654.61	c  652s |      22 |  1632732 |  1562122 |     5796    650 |        0 |        0
656.49/656.63	c  654s |      22 |  1635476 |  1564822 |     5796    651 |        0 |        0
658.49/658.66	c  656s |      22 |  1638350 |  1567522 |     5796    652 |        0 |        0
660.49/660.69	c  658s |      22 |  1641814 |  1570922 |     5796    653 |        0 |        0
662.59/662.72	c  660s |      22 |  1644837 |  1573822 |     5796    654 |        0 |        0
664.59/664.76	c  662s |      22 |  1648220 |  1577122 |     5796    655 |        0 |        0
666.59/666.76	c  664s |      22 |  1652481 |  1581322 |     5796    656 |        0 |        0
668.59/668.77	c  666s |      22 |  1655466 |  1584222 |     5796    657 |        0 |        0
670.69/670.80	c  668s |      22 |  1658857 |  1586822 |     5796    658 |        0 |        0
672.68/672.83	c  670s |      22 |  1661937 |  1589822 |     5796    659 |        0 |        0
674.68/674.88	c  672s |      22 |  1665308 |  1593122 |     5796    660 |        0 |        0
676.78/676.92	c  674s |      22 |  1669172 |  1596922 |     5796    661 |        0 |        0
678.78/678.95	c  676s |      22 |  1672423 |  1600122 |     5796    662 |        0 |        0
680.79/680.97	c  678s |      22 |  1676221 |  1603822 |     5796    663 |        0 |        0
682.88/683.00	c  681s |      22 |  1679775 |  1607322 |     5796    664 |        0 |        0
684.88/685.03	c  683s |      22 |  1683183 |  1610622 |     5796    665 |        0 |        0
686.88/687.08	c  685s |      22 |  1685402 |  1612822 |     5796    666 |        0 |        0
688.98/689.13	c  687s |      22 |  1688750 |  1616022 |     5796    667 |        0 |        0
691.08/691.22	c  689s |      22 |  1691784 |  1618922 |     5796    668 |        0 |        0
693.08/693.24	c  691s |      22 |  1694720 |  1621522 |     5796    669 |        0 |        0
695.09/695.30	c  693s |      22 |  1697989 |  1624722 |     5796    670 |        0 |        0
697.18/697.33	c  695s |      22 |  1701802 |  1628422 |     5796    671 |        0 |        0
699.18/699.33	c  697s |      22 |  1705824 |  1632322 |     5796    672 |        0 |        0
701.28/701.40	c  699s |      22 |  1709809 |  1636122 |     5796    673 |        0 |        0
703.28/703.45	c  701s |      22 |  1712008 |  1638222 |     5796    674 |        0 |        0
705.28/705.48	c  703s |      22 |  1714586 |  1640722 |     5796    675 |        0 |        0
707.28/707.49	c  705s |      22 |  1716946 |  1643022 |     5796    675 |        0 |        0
709.38/709.52	c  707s |      22 |  1720338 |  1646322 |     5796    676 |        0 |        0
711.38/711.52	c  709s |      22 |  1723216 |  1649122 |     5796    677 |        0 |        0
713.38/713.53	c  711s |      22 |  1726287 |  1652122 |     5796    678 |        0 |        0
715.38/715.57	c  713s |      22 |  1728725 |  1654522 |     5796    679 |        0 |        0
717.38/717.58	c  715s |      22 |  1731917 |  1657622 |     5796    680 |        0 |        0
719.47/719.62	c  717s |      22 |  1734785 |  1660422 |     5796    681 |        0 |        0
721.48/721.64	c  719s |      22 |  1739151 |  1664722 |     5796    682 |        0 |        0
723.47/723.65	c  721s |      22 |  1743663 |  1669122 |     5796    684 |        0 |        0
725.47/725.65	c  723s |      22 |  1746733 |  1671822 |     5796    684 |        0 |        0
727.57/727.70	c  725s |      22 |  1749366 |  1674322 |     5796    685 |        0 |        0
729.57/729.72	c  727s |      22 |  1752260 |  1677022 |     5796    686 |        0 |        0
731.57/731.78	c  729s |      22 |  1756255 |  1680522 |     5796    687 |        0 |        0
733.68/733.83	c  731s |      22 |  1759381 |  1683522 |     5796    688 |        0 |        0
735.67/735.87	c  733s |      22 |  1761966 |  1686022 |     5796    689 |        0 |        0
737.66/737.87	c  735s |      22 |  1765106 |  1689122 |     5796    690 |        0 |        0
739.77/739.91	c  737s |      22 |  1768409 |  1692322 |     5796    691 |        0 |        0
741.87/742.02	c  740s |      22 |  1771393 |  1695222 |     5796    692 |        0 |        0
743.87/744.05	c  742s |      22 |  1774275 |  1698022 |     5796    693 |        0 |        0
745.97/746.11	c  744s |      22 |  1777531 |  1701122 |     5796    694 |        0 |        0
747.98/748.11	c  746s |      22 |  1781124 |  1704622 |     5796    695 |        0 |        0
749.97/750.12	c  748s |      22 |  1784320 |  1707622 |     5796    696 |        0 |        0
751.97/752.15	c  750s |      22 |  1787431 |  1710522 |     5796    697 |        0 |        0
754.07/754.23	c  752s |      22 |  1790364 |  1713222 |     5796    697 |        0 |        0
756.17/756.36	c  754s |      22 |  1793839 |  1716622 |     5796    699 |        0 |        0
758.27/758.41	c  756s |      22 |  1796655 |  1719322 |     5796    699 |        0 |        0
760.27/760.44	c  758s |      22 |  1799974 |  1722422 |     5796    700 |        0 |        0
762.27/762.44	c  760s |      22 |  1803463 |  1725622 |     5796    701 |        0 |        0
764.27/764.49	c  762s |      22 |  1807245 |  1729322 |     5796    703 |        0 |        0
766.37/766.51	c  764s |      22 |  1811973 |  1733722 |     5796    704 |        0 |        0
768.36/768.51	c  766s |      22 |  1814675 |  1736322 |     5796    705 |        0 |        0
770.36/770.52	c  768s |      22 |  1817925 |  1739422 |     5796    706 |        0 |        0
772.46/772.60	c  770s |      22 |  1821123 |  1742422 |     5796    707 |        0 |        0
774.46/774.68	c  772s |      22 |  1823899 |  1745122 |     5796    708 |        0 |        0
776.47/776.68	c  774s |      22 |  1827406 |  1748522 |     5796    709 |        0 |        0
778.46/778.69	c  776s |      22 |  1830973 |  1751922 |     5796    710 |        0 |        0
780.56/780.72	c  778s |      22 |  1834041 |  1754722 |     5796    711 |        0 |        0
782.56/782.74	c  780s |      22 |  1836997 |  1757622 |     5796    711 |        0 |        0
784.56/784.79	c  782s |      22 |  1840603 |  1761122 |     5796    713 |        0 |        0
786.66/786.81	c  784s |      22 |  1843715 |  1764122 |     5796    714 |        0 |        0
788.66/788.85	c  786s |      22 |  1846670 |  1767022 |     5796    714 |        0 |        0
790.65/790.89	c  788s |      22 |  1849725 |  1770022 |     5796    715 |        0 |        0
792.75/792.90	c  790s |      22 |  1852454 |  1772722 |     5796    716 |        0 |        0
794.75/794.93	c  792s |      22 |  1854996 |  1775222 |     5796    717 |        0 |        0
796.74/796.98	c  795s |      22 |  1857138 |  1777322 |     5796    718 |        0 |        0
798.84/799.04	c  797s |      22 |  1860254 |  1780322 |     5796    719 |        0 |        0
800.84/801.07	c  799s |      22 |  1863506 |  1783422 |     5796    720 |        0 |        0
802.85/803.08	c  801s |      22 |  1866389 |  1786222 |     5796    720 |        0 |        0
804.84/805.10	c  803s |      22 |  1869633 |  1789422 |     5796    721 |        0 |        0
806.94/807.10	c  805s |      22 |  1873646 |  1793322 |     5796    723 |        0 |        0
808.94/809.10	c  807s |      22 |  1878280 |  1797822 |     5796    724 |        0 |        0
810.94/811.11	c  809s |      22 |  1881706 |  1800822 |     5796    725 |        0 |        0
812.94/813.15	c  811s |      22 |  1886347 |  1805222 |     5796    726 |        0 |        0
814.95/815.16	c  813s |      22 |  1891209 |  1809922 |     5796    728 |        0 |        0
817.04/817.20	c  815s |      22 |  1894153 |  1812622 |     5796    729 |        0 |        0
819.04/819.25	c  817s |      22 |  1897197 |  1815422 |     5796    730 |        0 |        0
821.04/821.25	c  819s |      22 |  1900525 |  1818422 |     5796    731 |        0 |        0
823.13/823.34	c  821s |      22 |  1903528 |  1821222 |     5796    732 |        0 |        0
825.23/825.46	c  823s |      22 |  1906097 |  1823622 |     5796    732 |        0 |        0
827.33/827.51	c  825s |      22 |  1908705 |  1826122 |     5796    733 |        0 |        0
829.43/829.61	c  827s |      22 |  1911782 |  1829122 |     5796    734 |        0 |        0
831.44/831.69	c  829s |      22 |  1914233 |  1831522 |     5796    735 |        0 |        0
833.43/833.69	c  831s |      22 |  1916992 |  1834222 |     5796    736 |        0 |        0
835.53/835.77	c  833s |      22 |  1920652 |  1837822 |     5796    737 |        0 |        0
837.53/837.79	c  835s |      22 |  1923188 |  1840322 |     5796    738 |        0 |        0
839.63/839.89	c  837s |      22 |  1925848 |  1842922 |     5796    738 |        0 |        0
841.73/841.97	c  839s |      22 |  1928608 |  1845622 |     5796    739 |        0 |        0
843.83/844.00	c  842s |      22 |  1931680 |  1848622 |     5796    740 |        0 |        0
845.83/846.09	c  844s |      22 |  1935236 |  1851822 |     5796    741 |        0 |        0
847.92/848.14	c  846s |      22 |  1937931 |  1854322 |     5796    742 |        0 |        0
849.92/850.15	c  848s |      22 |  1940703 |  1856922 |     5796    743 |        0 |        0
851.92/852.19	c  850s |      22 |  1945445 |  1861422 |     5796    744 |        0 |        0
854.02/854.20	c  852s |      22 |  1948913 |  1864522 |     5796    745 |        0 |        0
856.02/856.23	c  854s |      22 |  1952375 |  1867722 |     5796    746 |        0 |        0
858.01/858.27	c  856s |      22 |  1955740 |  1870922 |     5796    747 |        0 |        0
860.02/860.28	c  858s |      22 |  1958728 |  1873822 |     5796    748 |        0 |        0
862.22/862.40	c  860s |      22 |  1961488 |  1876422 |     5796    749 |        0 |        0
864.21/864.44	c  862s |      22 |  1964238 |  1879122 |     5796    750 |        0 |        0
866.21/866.49	c  864s |      22 |  1966393 |  1881122 |     5796    750 |        0 |        0
868.31/868.55	c  866s |      22 |  1969422 |  1884122 |     5796    751 |        0 |        0
870.31/870.56	c  868s |      22 |  1973002 |  1887222 |     5796    752 |        0 |        0
872.41/872.62	c  870s |      22 |  1976445 |  1890622 |     5796    753 |        0 |        0
874.51/874.71	c  872s |      22 |  1978948 |  1892922 |     5796    754 |        0 |        0
876.51/876.73	c  874s |      22 |  1982234 |  1895722 |     5796    755 |        0 |        0
878.51/878.75	c  876s |      22 |  1985578 |  1898822 |     5796    756 |        0 |        0
880.50/880.76	c  878s |      22 |  1989935 |  1903122 |     5796    757 |        0 |        0
882.50/882.78	c  880s |      22 |  1994358 |  1907522 |     5796    759 |        0 |        0
884.60/884.80	c  882s |      22 |  1998786 |  1911922 |     5796    760 |        0 |        0
886.60/886.81	c  884s |      22 |  2003378 |  1915822 |     5796    761 |        0 |        0
888.60/888.84	c  886s |      22 |  2007328 |  1919722 |     5796    763 |        0 |        0
890.60/890.85	c  888s |      22 |  2012399 |  1924222 |     5796    764 |        0 |        0
892.60/892.86	c  890s |      22 |  2016452 |  1927922 |     5796    765 |        0 |        0
894.60/894.88	c  892s |      22 |  2020436 |  1931822 |     5796    766 |        0 |        0
896.70/896.94	c  894s |      22 |  2024328 |  1935022 |     5796    767 |        0 |        0
898.70/898.96	c  896s |      22 |  2029877 |  1939222 |     5796    769 |        0 |        0
900.80/901.07	c  899s |      22 |  2033460 |  1941722 |     5796    770 |        0 |        0
902.90/903.11	c  901s |      22 |  2036561 |  1943922 |     5796    770 |        0 |        0
904.89/905.13	c  903s |      22 |  2040175 |  1946322 |     5796    771 |        0 |        0
906.89/907.16	c  905s |      22 |  2042790 |  1948522 |     5796    772 |        0 |        0
908.99/909.21	c  907s |      22 |  2046035 |  1951322 |     5796    773 |        0 |        0
910.99/911.25	c  909s |      22 |  2049936 |  1954922 |     5796    774 |        0 |        0
912.99/913.26	c  911s |      22 |  2053361 |  1958122 |     5796    775 |        0 |        0
914.99/915.28	c  913s |      22 |  2057758 |  1962122 |     5796    776 |        0 |        0
917.08/917.30	c  915s |      22 |  2062649 |  1966722 |     5796    777 |        0 |        0
919.08/919.31	c  917s |      22 |  2066942 |  1970922 |     5796    779 |        0 |        0
921.08/921.35	c  919s |      22 |  2071513 |  1975322 |     5796    780 |        0 |        0
923.08/923.39	c  921s |      22 |  2076300 |  1979822 |     5796    782 |        0 |        0
925.18/925.43	c  923s |      22 |  2081191 |  1984622 |     5796    783 |        0 |        0
927.19/927.44	c  925s |      22 |  2085941 |  1989122 |     5796    784 |        0 |        0
929.18/929.46	c  927s |      22 |  2089329 |  1992022 |     5796    785 |        0 |        0
931.18/931.48	c  929s |      22 |  2093725 |  1996222 |     5796    787 |        0 |        0
933.28/933.54	c  931s |      22 |  2096129 |  1998522 |     5796    787 |        0 |        0
935.28/935.59	c  933s |      22 |  2099640 |  2001822 |     5796    788 |        0 |        0
937.37/937.63	c  935s |      22 |  2103689 |  2005822 |     5796    790 |        0 |        0
939.37/939.65	c  937s |      22 |  2108023 |  2010122 |     5796    791 |        0 |        0
941.38/941.68	c  939s |      22 |  2111544 |  2013522 |     5796    792 |        0 |        0
943.47/943.73	c  941s |      22 |  2115339 |  2017222 |     5796    793 |        0 |        0
945.47/945.78	c  943s |      22 |  2119291 |  2021122 |     5796    795 |        0 |        0
947.57/947.80	c  945s |      22 |  2123550 |  2024922 |     5796    796 |        0 |        0
949.57/949.85	c  947s |      22 |  2126252 |  2027222 |     5796    796 |        0 |        0
951.57/951.87	c  949s |      22 |  2128474 |  2029422 |     5796    797 |        0 |        0
953.67/953.93	c  951s |      22 |  2130665 |  2031522 |     5796    798 |        0 |        0
955.67/955.95	c  953s |      22 |  2134606 |  2035122 |     5796    799 |        0 |        0
957.66/957.95	c  955s |      22 |  2136783 |  2037222 |     5796    800 |        0 |        0
959.76/960.01	c  958s |      22 |  2139628 |  2039922 |     5796    800 |        0 |        0
961.76/962.05	c  960s |      22 |  2142428 |  2042522 |     5796    801 |        0 |        0
963.76/964.08	c  962s |      22 |  2146172 |  2046022 |     5796    802 |        0 |        0
965.86/966.14	c  964s |      22 |  2149720 |  2049522 |     5796    803 |        0 |        0
967.96/968.22	c  966s |      22 |  2153104 |  2052722 |     5796    804 |        0 |        0
969.97/970.24	c  968s |      22 |  2156080 |  2055622 |     5796    805 |        0 |        0
971.96/972.29	c  970s |      22 |  2158930 |  2058422 |     5796    806 |        0 |        0
973.96/974.29	c  972s |      22 |  2162813 |  2062022 |     5796    807 |        0 |        0
976.06/976.30	c  974s |      22 |  2167299 |  2066422 |     5796    809 |        0 |        0
978.06/978.30	c  976s |      22 |  2172189 |  2071222 |     5796    810 |        0 |        0
980.06/980.34	c  978s |      22 |  2175640 |  2074622 |     5796    811 |        0 |        0
982.06/982.38	c  980s |      22 |  2178921 |  2077822 |     5796    812 |        0 |        0
984.16/984.40	c  982s |      22 |  2182373 |  2081222 |     5796    813 |        0 |        0
986.16/986.44	c  984s |      22 |  2185444 |  2084222 |     5796    814 |        0 |        0
988.25/988.54	c  986s |      22 |  2188664 |  2087322 |     5796    815 |        0 |        0
990.25/990.57	c  988s |      22 |  2192394 |  2090722 |     5796    816 |        0 |        0
992.35/992.66	c  990s |      22 |  2197273 |  2095422 |     5796    818 |        0 |        0
994.35/994.66	c  992s |      22 |  2202189 |  2099722 |     5796    819 |        0 |        0
996.36/996.67	c  994s |      22 |  2205637 |  2102722 |     5796    820 |        0 |        0
998.45/998.70	c  996s |      22 |  2209111 |  2106122 |     5796    821 |        0 |        0
1000.45/1000.74	c  998s |      22 |  2212029 |  2109022 |     5796    822 |        0 |        0
1002.45/1002.76	c 1000s |      22 |  2215034 |  2111922 |     5796    823 |        0 |        0
1004.45/1004.76	c 1002s |      22 |  2219177 |  2115922 |     5796    824 |        0 |        0
1006.55/1006.80	c 1004s |      22 |  2223412 |  2120122 |     5796    826 |        0 |        0
1008.55/1008.81	c 1006s |      22 |  2228887 |  2125522 |     5796    827 |        0 |        0
1010.54/1010.83	c 1008s |      22 |  2233272 |  2129722 |     5796    829 |        0 |        0
1012.54/1012.86	c 1010s |      22 |  2237105 |  2133422 |     5796    830 |        0 |        0
1014.64/1014.90	c 1012s |      22 |  2241176 |  2137322 |     5796    831 |        0 |        0
1016.64/1016.93	c 1014s |      22 |  2245676 |  2141422 |     5796    832 |        0 |        0
1018.64/1018.94	c 1016s |      22 |  2251095 |  2146522 |     5796    834 |        0 |        0
1020.64/1020.97	c 1018s |      22 |  2256006 |  2151322 |     5796    836 |        0 |        0
1022.63/1023.00	c 1021s |      22 |  2261220 |  2156022 |     5796    837 |        0 |        0
1024.73/1025.01	c 1023s |      22 |  2265861 |  2160222 |     5796    838 |        0 |        0
1026.73/1027.03	c 1025s |      22 |  2271478 |  2165722 |     5796    840 |        0 |        0
1028.73/1029.06	c 1027s |      22 |  2277100 |  2170822 |     5796    842 |        0 |        0
1030.73/1031.08	c 1029s |      22 |  2282702 |  2176222 |     5796    843 |        0 |        0
1032.83/1033.11	c 1031s |      22 |  2287988 |  2181022 |     5796    845 |        0 |        0
1034.83/1035.11	c 1033s |      22 |  2292598 |  2185222 |     5796    846 |        0 |        0
1036.83/1037.15	c 1035s |      22 |  2297034 |  2189222 |     5796    847 |        0 |        0
1038.83/1039.16	c 1037s |      22 |  2300849 |  2192822 |     5796    849 |        0 |        0
1040.93/1041.20	c 1039s |      22 |  2304488 |  2196322 |     5796    850 |        0 |        0
1042.93/1043.26	c 1041s |      22 |  2308224 |  2200022 |     5796    851 |        0 |        0
1044.93/1045.26	c 1043s |      22 |  2311880 |  2203622 |     5796    852 |        0 |        0
1046.93/1047.29	c 1045s |      22 |  2315220 |  2206922 |     5796    853 |        0 |        0
1049.02/1049.33	c 1047s |      22 |  2318047 |  2209722 |     5796    854 |        0 |        0
1051.02/1051.37	c 1049s |      22 |  2320758 |  2212322 |     5796    855 |        0 |        0
1053.12/1053.41	c 1051s |      22 |  2324206 |  2215722 |     5796    856 |        0 |        0
1055.12/1055.43	c 1053s |      22 |  2327857 |  2219322 |     5796    857 |        0 |        0
1057.22/1057.50	c 1055s |      22 |  2331325 |  2222722 |     5796    858 |        0 |        0
1059.22/1059.51	c 1057s |      22 |  2333847 |  2225222 |     5796    859 |        0 |        0
1061.22/1061.51	c 1059s |      22 |  2338520 |  2229322 |     5796    860 |        0 |        0
1063.22/1063.52	c 1061s |      22 |  2343076 |  2233722 |     6376    861 |        0 |        0
1065.22/1065.56	c 1063s |      22 |  2346615 |  2237222 |     6376    862 |        0 |        0
1067.22/1067.57	c 1065s |      22 |  2350992 |  2241522 |     6376    863 |        0 |        0
1069.22/1069.58	c 1067s |      22 |  2354772 |  2245122 |     6376    864 |        0 |        0
1071.32/1071.66	c 1069s |      22 |  2358357 |  2248422 |     6376    865 |        0 |        0
1073.12/1073.49	c 1071s |      23 |  2361031 |  2251038 |     6376    866 |        0 |        0
1075.12/1075.49	c 1073s |      23 |  2367859 |  2257438 |     6376    868 |        0 |        0
1077.22/1077.50	c 1075s |      23 |  2372879 |  2262338 |     6376    869 |        0 |        0
1079.22/1079.51	c 1077s |      23 |  2377963 |  2267238 |     6376    871 |        0 |        0
1081.22/1081.54	c 1079s |      23 |  2382886 |  2272038 |     6376    872 |        0 |        0
1083.23/1083.59	c 1081s |      23 |  2387490 |  2276538 |     6376    874 |        0 |        0
1085.32/1085.60	c 1083s |      23 |  2392898 |  2281638 |     6376    875 |        0 |        0
1087.32/1087.63	c 1085s |      23 |  2398070 |  2286538 |     6376    876 |        0 |        0
1089.32/1089.67	c 1087s |      23 |  2402949 |  2291238 |     6376    878 |        0 |        0
1091.32/1091.68	c 1089s |      23 |  2408379 |  2296438 |     6376    879 |        0 |        0
1093.31/1093.69	c 1091s |      23 |  2413582 |  2301438 |     6376    881 |        0 |        0
1095.42/1095.72	c 1093s |      23 |  2418957 |  2306638 |     6376    882 |        0 |        0
1097.41/1097.75	c 1095s |      23 |  2424282 |  2311738 |     6376    884 |        0 |        0
1099.41/1099.77	c 1097s |      23 |  2428904 |  2316138 |     6376    885 |        0 |        0
1101.51/1101.80	c 1099s |      23 |  2433515 |  2320538 |     6376    886 |        0 |        0
1103.51/1103.81	c 1101s |      23 |  2437820 |  2324638 |     6376    887 |        0 |        0
1105.51/1105.82	c 1103s |      23 |  2442669 |  2329138 |     6376    889 |        0 |        0
1107.51/1107.83	c 1105s |      23 |  2447662 |  2333938 |     6376    890 |        0 |        0
1109.51/1109.84	c 1107s |      23 |  2452572 |  2338738 |     6376    892 |        0 |        0
1111.51/1111.86	c 1109s |      23 |  2457803 |  2343838 |     6376    893 |        0 |        0
1113.50/1113.89	c 1111s |      23 |  2462659 |  2348538 |     6376    894 |        0 |        0
1115.60/1115.90	c 1113s |      23 |  2467746 |  2353438 |     6376    896 |        0 |        0
1117.60/1117.93	c 1115s |      23 |  2473066 |  2358638 |     6376    897 |        0 |        0
1119.60/1119.95	c 1117s |      23 |  2478074 |  2363538 |     6376    899 |        0 |        0
1121.60/1121.97	c 1119s |      23 |  2483379 |  2368638 |     6376    900 |        0 |        0
1123.60/1123.98	c 1122s |      23 |  2489030 |  2374138 |     6376    902 |        0 |        0
1125.60/1125.99	c 1124s |      23 |  2494662 |  2379638 |     6376    903 |        0 |        0
1127.69/1128.00	c 1126s |      23 |  2499936 |  2384738 |     6376    905 |        0 |        0
1129.69/1130.01	c 1128s |      23 |  2505166 |  2389838 |     6376    906 |        0 |        0
1131.70/1132.04	c 1130s |      23 |  2510340 |  2394838 |     6376    908 |        0 |        0
1133.69/1134.06	c 1132s |      23 |  2516202 |  2400538 |     6376    909 |        0 |        0
1135.69/1136.09	c 1134s |      23 |  2522237 |  2406338 |     6376    911 |        0 |        0
1137.79/1138.10	c 1136s |      23 |  2527134 |  2411038 |     6376    912 |        0 |        0
1139.79/1140.10	c 1138s |      23 |  2531626 |  2415338 |     6376    914 |        0 |        0
1141.79/1142.11	c 1140s |      23 |  2536231 |  2419738 |     6376    915 |        0 |        0
1143.79/1144.13	c 1142s |      23 |  2541847 |  2425138 |     6376    917 |        0 |        0
1145.78/1146.16	c 1144s |      23 |  2546648 |  2429838 |     6376    918 |        0 |        0
1147.78/1148.18	c 1146s |      23 |  2551590 |  2434638 |     6376    919 |        0 |        0
1149.88/1150.25	c 1148s |      23 |  2555752 |  2438738 |     6376    920 |        0 |        0
1151.88/1152.27	c 1150s |      23 |  2561111 |  2443938 |     6376    922 |        0 |        0
1153.88/1154.29	c 1152s |      23 |  2566099 |  2448838 |     6376    923 |        0 |        0
1155.98/1156.31	c 1154s |      23 |  2571361 |  2453738 |     6376    925 |        0 |        0
1157.98/1158.32	c 1156s |      23 |  2576197 |  2458438 |     6376    926 |        0 |        0
1159.98/1160.34	c 1158s |      23 |  2581138 |  2463138 |     6376    928 |        0 |        0
1161.98/1162.35	c 1160s |      23 |  2586061 |  2467938 |     6376    929 |        0 |        0
1163.98/1164.37	c 1162s |      23 |  2590834 |  2472538 |     6376    930 |        0 |        0
1165.97/1166.38	c 1164s |      23 |  2595877 |  2477438 |     6376    932 |        0 |        0
1167.97/1168.39	c 1166s |      23 |  2601073 |  2482338 |     6376    933 |        0 |        0
1170.07/1170.45	c 1168s |      23 |  2606199 |  2487338 |     6376    935 |        0 |        0
1172.07/1172.47	c 1170s |      23 |  2611288 |  2492238 |     6376    936 |        0 |        0
1174.17/1174.51	c 1172s |      23 |  2617117 |  2497838 |     6376    938 |        0 |        0
1176.17/1176.54	c 1174s |      23 |  2622806 |  2503338 |     6376    939 |        0 |        0
1178.16/1178.56	c 1176s |      23 |  2627970 |  2508338 |     6376    941 |        0 |        0
1180.26/1180.60	c 1178s |      23 |  2633285 |  2513538 |     6376    942 |        0 |        0
1182.27/1182.64	c 1180s |      23 |  2638186 |  2518238 |     6376    943 |        0 |        0
1184.26/1184.65	c 1182s |      23 |  2643161 |  2523038 |     6376    945 |        0 |        0
1186.36/1186.70	c 1184s |      23 |  2648464 |  2528138 |     6376    946 |        0 |        0
1188.36/1188.70	c 1186s |      23 |  2652928 |  2532438 |     6376    948 |        0 |        0
1190.36/1190.70	c 1188s |      23 |  2658347 |  2537638 |     6376    949 |        0 |        0
1192.36/1192.75	c 1190s |      23 |  2663518 |  2542738 |     6376    951 |        0 |        0
1194.36/1194.78	c 1192s |      23 |  2669070 |  2548138 |     6376    952 |        0 |        0
1196.46/1196.81	c 1194s |      23 |  2674083 |  2553038 |     6376    954 |        0 |        0
1198.45/1198.82	c 1196s |      23 |  2680031 |  2558838 |     6376    955 |        0 |        0
1200.45/1200.82	c 1198s |      23 |  2685464 |  2564038 |     6376    957 |        0 |        0
1202.45/1202.85	c 1200s |      23 |  2691115 |  2569538 |     6376    958 |        0 |        0
1204.45/1204.86	c 1202s |      23 |  2696253 |  2574538 |     6376    960 |        0 |        0
1206.47/1206.87	c 1204s |      23 |  2700976 |  2579138 |     6376    961 |        0 |        0
1208.45/1208.89	c 1206s |      23 |  2705973 |  2583938 |     6376    962 |        0 |        0
1210.55/1210.91	c 1208s |      23 |  2711084 |  2588838 |     6376    964 |        0 |        0
1212.55/1212.94	c 1210s |      23 |  2715620 |  2593238 |     6376    965 |        0 |        0
1214.55/1214.98	c 1213s |      23 |  2720667 |  2598038 |     6376    967 |        0 |        0
1216.55/1216.98	c 1215s |      23 |  2725775 |  2602938 |     6376    968 |        0 |        0
1218.55/1218.98	c 1217s |      23 |  2731177 |  2608238 |     6376    969 |        0 |        0
1220.65/1221.01	c 1219s |      23 |  2736628 |  2613538 |     6376    971 |        0 |        0
1222.65/1223.04	c 1221s |      23 |  2742256 |  2618938 |     6376    973 |        0 |        0
1224.65/1225.07	c 1223s |      23 |  2747783 |  2624338 |     6376    974 |        0 |        0
1226.74/1227.11	c 1225s |      23 |  2752678 |  2629138 |     6376    976 |        0 |        0
1228.74/1229.11	c 1227s |      23 |  2757920 |  2634238 |     6376    977 |        0 |        0
1230.74/1231.13	c 1229s |      23 |  2763365 |  2639438 |     6376    979 |        0 |        0
1232.75/1233.17	c 1231s |      23 |  2768864 |  2644738 |     6376    980 |        0 |        0
1234.84/1235.23	c 1233s |      23 |  2774214 |  2649838 |     6376    982 |        0 |        0
1236.84/1237.26	c 1235s |      23 |  2779067 |  2654538 |     6376    983 |        0 |        0
1238.83/1239.28	c 1237s |      23 |  2784907 |  2660138 |     6376    984 |        0 |        0
1240.93/1241.30	c 1239s |      23 |  2789704 |  2664838 |     6376    986 |        0 |        0
1242.93/1243.33	c 1241s |      23 |  2795756 |  2670738 |     6376    988 |        0 |        0
1244.94/1245.33	c 1243s |      23 |  2801159 |  2676038 |     6376    989 |        0 |        0
1246.93/1247.34	c 1245s |      23 |  2806358 |  2681138 |     6376    991 |        0 |        0
1248.93/1249.34	c 1247s |      23 |  2812084 |  2686738 |     6376    992 |        0 |        0
1250.93/1251.38	c 1249s |      23 |  2817460 |  2691938 |     6376    994 |        0 |        0
1252.93/1253.39	c 1251s |      23 |  2823105 |  2697438 |     6376    995 |        0 |        0
1255.03/1255.40	c 1253s |      23 |  2828380 |  2702538 |     6376    997 |        0 |        0
1257.03/1257.43	c 1255s |      23 |  2834038 |  2708038 |     6376    998 |        0 |        0
1259.03/1259.44	c 1257s |      23 |  2839155 |  2713038 |     6376   1000 |        0 |        0
1261.03/1261.46	c 1259s |      23 |  2844637 |  2718338 |     6376   1001 |        0 |        0
1263.03/1263.49	c 1261s |      23 |  2850058 |  2723638 |     6376   1003 |        0 |        0
1265.03/1265.50	c 1263s |      23 |  2855857 |  2729238 |     6376   1004 |        0 |        0
1267.13/1267.51	c 1265s |      23 |  2861310 |  2734438 |     6376   1006 |        0 |        0
1269.13/1269.57	c 1267s |      23 |  2866583 |  2739238 |     6376   1007 |        0 |        0
1271.12/1271.60	c 1269s |      23 |  2871018 |  2743138 |     6376   1009 |        0 |        0
1273.22/1273.61	c 1271s |      23 |  2875609 |  2747438 |     6376   1010 |        0 |        0
1275.22/1275.64	c 1273s |      23 |  2879614 |  2751238 |     6376   1011 |        0 |        0
1277.22/1277.68	c 1275s |      23 |  2883744 |  2755238 |     6376   1012 |        0 |        0
1279.32/1279.71	c 1277s |      23 |  2887870 |  2759238 |     6376   1013 |        0 |        0
1281.32/1281.78	c 1279s |      23 |  2892763 |  2763738 |     6376   1015 |        0 |        0
1283.42/1283.81	c 1281s |      23 |  2896891 |  2767538 |     6376   1016 |        0 |        0
1285.42/1285.85	c 1283s |      23 |  2901390 |  2771738 |     6376   1017 |        0 |        0
1287.41/1287.86	c 1285s |      23 |  2906147 |  2776038 |     6376   1018 |        0 |        0
1289.51/1289.90	c 1287s |      23 |  2910641 |  2780238 |     6376   1019 |        0 |        0
1291.51/1291.91	c 1289s |      23 |  2915575 |  2784838 |     6376   1021 |        0 |        0
1293.51/1293.94	c 1291s |      23 |  2920333 |  2789138 |     6376   1022 |        0 |        0
1295.52/1295.96	c 1293s |      23 |  2925130 |  2793338 |     6376   1023 |        0 |        0
1297.51/1298.00	c 1296s |      23 |  2929701 |  2797538 |     6376   1024 |        0 |        0
1299.61/1300.01	c 1298s |      23 |  2934203 |  2801838 |     6376   1026 |        0 |        0
1301.61/1302.01	c 1300s |      23 |  2939149 |  2806538 |     6376   1027 |        0 |        0
1303.60/1304.06	c 1302s |      23 |  2943646 |  2810838 |     6376   1028 |        0 |        0
1305.70/1306.10	c 1304s |      23 |  2948542 |  2815338 |     6376   1030 |        0 |        0
1307.70/1308.10	c 1306s |      23 |  2952921 |  2819438 |     6376   1031 |        0 |        0
1309.71/1310.10	c 1308s |      23 |  2957715 |  2823938 |     6376   1032 |        0 |        0
1311.70/1312.13	c 1310s |      23 |  2962194 |  2828238 |     6376   1033 |        0 |        0
1313.70/1314.16	c 1312s |      23 |  2967081 |  2832638 |     6376   1035 |        0 |        0
1315.70/1316.18	c 1314s |      23 |  2972084 |  2837038 |     6376   1036 |        0 |        0
1317.80/1318.22	c 1316s |      23 |  2976808 |  2841438 |     6376   1037 |        0 |        0
1319.80/1320.23	c 1318s |      23 |  2981506 |  2845838 |     6376   1038 |        0 |        0
1321.80/1322.23	c 1320s |      23 |  2986815 |  2850538 |     6376   1040 |        0 |        0
1323.79/1324.26	c 1322s |      23 |  2991497 |  2854638 |     6376   1041 |        0 |        0
1325.79/1326.28	c 1324s |      23 |  2996262 |  2858938 |     6376   1042 |        0 |        0
1327.89/1328.30	c 1326s |      23 |  3001109 |  2863338 |     6376   1043 |        0 |        0
1329.89/1330.31	c 1328s |      23 |  3005942 |  2867838 |     6376   1045 |        0 |        0
1331.89/1332.33	c 1330s |      23 |  3010706 |  2872338 |     6376   1046 |        0 |        0
1333.90/1334.33	c 1332s |      23 |  3015207 |  2876638 |     6376   1047 |        0 |        0
1335.89/1336.38	c 1334s |      23 |  3019557 |  2880738 |     6376   1049 |        0 |        0
1337.99/1338.41	c 1336s |      23 |  3025296 |  2886138 |     6376   1050 |        0 |        0
1339.99/1340.41	c 1338s |      23 |  3030115 |  2890738 |     6376   1051 |        0 |        0
1341.99/1342.43	c 1340s |      23 |  3034645 |  2895138 |     6376   1053 |        0 |        0
1343.98/1344.44	c 1342s |      23 |  3039878 |  2900138 |     6376   1054 |        0 |        0
1345.99/1346.45	c 1344s |      23 |  3044473 |  2904538 |     6376   1055 |        0 |        0
1347.98/1348.47	c 1346s |      23 |  3048777 |  2908638 |     6376   1057 |        0 |        0
1349.98/1350.47	c 1348s |      23 |  3053794 |  2913438 |     6376   1058 |        0 |        0
1352.08/1352.52	c 1350s |      23 |  3058367 |  2917738 |     6376   1059 |        0 |        0
1354.08/1354.56	c 1352s |      23 |  3062735 |  2921838 |     6376   1061 |        0 |        0
1356.08/1356.58	c 1354s |      23 |  3067979 |  2926738 |     6376   1062 |        0 |        0
1358.18/1358.64	c 1356s |      23 |  3072735 |  2931238 |     6376   1063 |        0 |        0
1360.17/1360.66	c 1358s |      23 |  3077538 |  2935738 |     6376   1065 |        0 |        0
1362.17/1362.68	c 1360s |      23 |  3082245 |  2940138 |     6376   1066 |        0 |        0
1364.27/1364.70	c 1362s |      23 |  3087212 |  2944838 |     6376   1067 |        0 |        0
1366.27/1366.71	c 1364s |      23 |  3091949 |  2949138 |     6376   1068 |        0 |        0
1368.27/1368.72	c 1366s |      23 |  3096706 |  2953538 |     6376   1070 |        0 |        0
1370.28/1370.75	c 1368s |      23 |  3101760 |  2958238 |     6376   1071 |        0 |        0
1372.27/1372.77	c 1370s |      23 |  3106637 |  2962838 |     6376   1072 |        0 |        0
1374.27/1374.77	c 1372s |      23 |  3111334 |  2967238 |     6376   1074 |        0 |        0
1376.37/1376.82	c 1374s |      23 |  3115840 |  2971538 |     6376   1075 |        0 |        0
1378.37/1378.87	c 1376s |      23 |  3120918 |  2976338 |     6376   1076 |        0 |        0
1380.47/1380.90	c 1378s |      23 |  3125490 |  2980738 |     6376   1078 |        0 |        0
1382.48/1382.90	c 1380s |      23 |  3130280 |  2985338 |     6376   1079 |        0 |        0
1384.48/1384.90	c 1382s |      23 |  3135164 |  2990038 |     6376   1080 |        0 |        0
1386.48/1386.93	c 1384s |      23 |  3139635 |  2994338 |     6376   1082 |        0 |        0
1388.47/1388.97	c 1386s |      23 |  3145497 |  2999938 |     6376   1083 |        0 |        0
1390.47/1390.98	c 1389s |      23 |  3150358 |  3004438 |     6376   1085 |        0 |        0
1392.47/1392.99	c 1391s |      23 |  3155387 |  3009038 |     6376   1086 |        0 |        0
1394.57/1395.03	c 1393s |      23 |  3160091 |  3013438 |     6376   1087 |        0 |        0
1396.58/1397.05	c 1395s |      23 |  3165383 |  3018538 |     6376   1089 |        0 |        0
1398.57/1399.07	c 1397s |      23 |  3170740 |  3023638 |     6376   1090 |        0 |        0
1400.67/1401.10	c 1399s |      23 |  3175662 |  3028238 |     6376   1091 |        0 |        0
1402.67/1403.15	c 1401s |      23 |  3180296 |  3032538 |     6376   1093 |        0 |        0
1404.67/1405.16	c 1403s |      23 |  3184938 |  3036738 |     6376   1094 |        0 |        0
1406.67/1407.19	c 1405s |      23 |  3189968 |  3041438 |     6376   1095 |        0 |        0
1408.78/1409.23	c 1407s |      23 |  3194692 |  3045838 |     6376   1097 |        0 |        0
1410.77/1411.26	c 1409s |      23 |  3200486 |  3051438 |     6376   1098 |        0 |        0
1412.87/1413.31	c 1411s |      23 |  3204997 |  3055638 |     6376   1099 |        0 |        0
1414.87/1415.31	c 1413s |      23 |  3210066 |  3060138 |     6376   1101 |        0 |        0
1416.87/1417.36	c 1415s |      23 |  3215474 |  3065338 |     6376   1102 |        0 |        0
1418.87/1419.36	c 1417s |      23 |  3219877 |  3069438 |     6376   1103 |        0 |        0
1420.88/1421.36	c 1419s |      23 |  3224993 |  3074238 |     6376   1105 |        0 |        0
1422.97/1423.42	c 1421s |      23 |  3229953 |  3078738 |     6376   1106 |        0 |        0
1424.97/1425.42	c 1423s |      23 |  3234674 |  3082938 |     6376   1107 |        0 |        0
1426.97/1427.43	c 1425s |      23 |  3239094 |  3087038 |     6376   1108 |        0 |        0
1428.97/1429.46	c 1427s |      23 |  3243491 |  3091238 |     6376   1110 |        0 |        0
1431.07/1431.52	c 1429s |      23 |  3248383 |  3095738 |     6376   1111 |        0 |        0
1433.07/1433.53	c 1431s |      23 |  3253478 |  3100338 |     6376   1112 |        0 |        0
1435.07/1435.57	c 1433s |      23 |  3258647 |  3105138 |     6376   1114 |        0 |        0
1437.17/1437.60	c 1435s |      23 |  3263265 |  3109338 |     6376   1115 |        0 |        0
1439.17/1439.64	c 1437s |      23 |  3267956 |  3113738 |     6376   1116 |        0 |        0
1441.17/1441.68	c 1439s |      23 |  3272512 |  3118038 |     6376   1118 |        0 |        0
1443.27/1443.71	c 1441s |      23 |  3276849 |  3122138 |     6376   1119 |        0 |        0
1445.26/1445.73	c 1443s |      23 |  3281079 |  3126038 |     6376   1120 |        0 |        0
1447.27/1447.77	c 1445s |      23 |  3286190 |  3130838 |     6376   1121 |        0 |        0
1449.26/1449.80	c 1447s |      23 |  3290694 |  3135138 |     6376   1122 |        0 |        0
1451.36/1451.82	c 1449s |      23 |  3295247 |  3139438 |     6376   1124 |        0 |        0
1453.36/1453.84	c 1451s |      23 |  3299582 |  3143638 |     6376   1125 |        0 |        0
1455.36/1455.84	c 1453s |      23 |  3304452 |  3148238 |     6376   1126 |        0 |        0
1457.36/1457.86	c 1455s |      23 |  3308728 |  3152338 |     6376   1127 |        0 |        0
1459.37/1459.88	c 1457s |      23 |  3313078 |  3156438 |     6376   1129 |        0 |        0
1461.36/1461.88	c 1459s |      23 |  3317487 |  3160438 |     6376   1130 |        0 |        0
1463.46/1463.91	c 1461s |      23 |  3322109 |  3164738 |     6376   1131 |        0 |        0
1465.46/1465.95	c 1463s |      23 |  3327055 |  3169338 |     6376   1132 |        0 |        0
1467.46/1467.97	c 1466s |      23 |  3331878 |  3173838 |     6376   1134 |        0 |        0
1469.56/1470.02	c 1468s |      23 |  3336308 |  3177838 |     6376   1135 |        0 |        0
1471.56/1472.07	c 1470s |      23 |  3340893 |  3182138 |     6376   1136 |        0 |        0
1473.66/1474.11	c 1472s |      23 |  3345154 |  3186238 |     6376   1137 |        0 |        0
1475.66/1476.11	c 1474s |      23 |  3349278 |  3190038 |     6376   1138 |        0 |        0
1477.66/1478.13	c 1476s |      23 |  3353673 |  3194038 |     6376   1140 |        0 |        0
1479.66/1480.16	c 1478s |      23 |  3358573 |  3198638 |     6376   1141 |        0 |        0
1481.66/1482.16	c 1480s |      23 |  3363189 |  3202938 |     6376   1142 |        0 |        0
1483.75/1484.22	c 1482s |      23 |  3367717 |  3207138 |     6376   1143 |        0 |        0
1485.76/1486.25	c 1484s |      23 |  3372211 |  3211338 |     6376   1145 |        0 |        0
1487.75/1488.26	c 1486s |      23 |  3377019 |  3215738 |     6376   1146 |        0 |        0
1489.75/1490.28	c 1488s |      23 |  3381994 |  3220338 |     6376   1147 |        0 |        0
1491.85/1492.30	c 1490s |      23 |  3386891 |  3224738 |     6376   1148 |        0 |        0
1493.85/1494.33	c 1492s |      23 |  3391762 |  3229238 |     6376   1150 |        0 |        0
1495.85/1496.37	c 1494s |      23 |  3396211 |  3233438 |     6376   1151 |        0 |        0
1497.86/1498.38	c 1496s |      23 |  3400742 |  3237538 |     6376   1152 |        0 |        0
1499.85/1500.39	c 1498s |      23 |  3405953 |  3242438 |     6376   1154 |        0 |        0
1501.95/1502.41	c 1500s |      23 |  3410836 |  3247038 |     6376   1155 |        0 |        0
1503.95/1504.46	c 1502s |      23 |  3415485 |  3251438 |     6376   1156 |        0 |        0
1505.96/1506.47	c 1504s |      23 |  3420542 |  3256138 |     6376   1158 |        0 |        0
1508.06/1508.50	c 1506s |      23 |  3424951 |  3260338 |     6376   1159 |        0 |        0
1510.06/1510.52	c 1508s |      23 |  3429414 |  3264338 |     6376   1160 |        0 |        0
1512.06/1512.53	c 1510s |      23 |  3434345 |  3268938 |     6376   1161 |        0 |        0
1514.06/1514.58	c 1512s |      23 |  3438616 |  3272938 |     6376   1162 |        0 |        0
1516.16/1516.61	c 1514s |      23 |  3443237 |  3277238 |     6376   1164 |        0 |        0
1518.16/1518.63	c 1516s |      23 |  3448266 |  3282038 |     6376   1165 |        0 |        0
1520.15/1520.66	c 1518s |      23 |  3453346 |  3286738 |     6376   1166 |        0 |        0
1522.15/1522.68	c 1520s |      23 |  3458872 |  3291838 |     6376   1168 |        0 |        0
1524.26/1524.71	c 1522s |      23 |  3463890 |  3296638 |     6376   1169 |        0 |        0
1526.25/1526.72	c 1524s |      23 |  3468549 |  3301038 |     6376   1171 |        0 |        0
1528.25/1528.73	c 1526s |      23 |  3473605 |  3306038 |     6376   1172 |        0 |        0
1530.25/1530.74	c 1528s |      23 |  3477963 |  3310338 |     6376   1173 |        0 |        0
1532.25/1532.78	c 1530s |      23 |  3482168 |  3314438 |     6376   1174 |        0 |        0
1534.35/1534.83	c 1532s |      23 |  3486622 |  3318738 |     6376   1176 |        0 |        0
1536.36/1536.85	c 1534s |      23 |  3491033 |  3323038 |     6376   1177 |        0 |        0
1538.35/1538.85	c 1536s |      23 |  3495740 |  3327438 |     6376   1178 |        0 |        0
1540.35/1540.88	c 1538s |      23 |  3500502 |  3332038 |     6376   1180 |        0 |        0
1542.45/1542.91	c 1540s |      23 |  3505147 |  3336538 |     6376   1181 |        0 |        0
1544.45/1544.93	c 1542s |      23 |  3509712 |  3340938 |     6376   1182 |        0 |        0
1546.45/1546.95	c 1544s |      23 |  3514059 |  3345038 |     6376   1183 |        0 |        0
1548.45/1548.96	c 1546s |      23 |  3518347 |  3348938 |     7014   1184 |        0 |        0
1550.45/1550.98	c 1549s |      23 |  3522879 |  3353338 |     7014   1185 |        0 |        0
1552.55/1553.03	c 1551s |      23 |  3527330 |  3357438 |     7014   1187 |        0 |        0
1554.55/1555.04	c 1553s |      23 |  3531886 |  3361838 |     7014   1188 |        0 |        0
1556.55/1557.09	c 1555s |      23 |  3536672 |  3366538 |     7014   1189 |        0 |        0
1558.65/1559.10	c 1557s |      23 |  3541052 |  3370738 |     7014   1190 |        0 |        0
1560.64/1561.12	c 1559s |      23 |  3545364 |  3374838 |     7014   1191 |        0 |        0
1561.44/1561.96	c 1559s |      24 |  3547296 |  3376662 |     7014   1192 |        0 |        0
1563.44/1563.97	c 1561s |      24 |  3553405 |  3382562 |     7014   1193 |        0 |        0
1565.44/1565.98	c 1564s |      24 |  3558835 |  3387862 |     7014   1195 |        0 |        0
1567.54/1568.01	c 1566s |      24 |  3563900 |  3392762 |     7014   1196 |        0 |        0
1569.54/1570.05	c 1568s |      24 |  3569056 |  3397462 |     7014   1197 |        0 |        0
1571.55/1572.05	c 1570s |      24 |  3573397 |  3401462 |     7014   1199 |        0 |        0
1573.54/1574.05	c 1572s |      24 |  3577047 |  3404862 |     7014   1199 |        0 |        0
1575.64/1576.11	c 1574s |      24 |  3580451 |  3408062 |     7014   1200 |        0 |        0
1577.64/1578.14	c 1576s |      24 |  3584987 |  3412462 |     7014   1201 |        0 |        0
1579.64/1580.16	c 1578s |      24 |  3589555 |  3416962 |     7014   1203 |        0 |        0
1581.64/1582.16	c 1580s |      24 |  3593898 |  3421262 |     7014   1204 |        0 |        0
1583.74/1584.22	c 1582s |      24 |  3598622 |  3425762 |     7014   1205 |        0 |        0
1585.74/1586.29	c 1584s |      24 |  3602566 |  3429162 |     7014   1206 |        0 |        0
1587.84/1588.34	c 1586s |      24 |  3607238 |  3433462 |     7014   1207 |        0 |        0
1589.84/1590.38	c 1588s |      24 |  3611276 |  3436962 |     7014   1208 |        0 |        0
1591.94/1592.40	c 1590s |      24 |  3616246 |  3441662 |     7014   1209 |        0 |        0
1593.94/1594.47	c 1592s |      24 |  3620983 |  3446062 |     7014   1211 |        0 |        0
1596.04/1596.52	c 1594s |      24 |  3625586 |  3450262 |     7014   1212 |        0 |        0
1598.05/1598.54	c 1596s |      24 |  3630125 |  3454462 |     7014   1213 |        0 |        0
1600.05/1600.58	c 1598s |      24 |  3634347 |  3458562 |     7014   1214 |        0 |        0
1602.14/1602.61	c 1600s |      24 |  3638273 |  3462162 |     7014   1215 |        0 |        0
1604.14/1604.65	c 1602s |      24 |  3642204 |  3465662 |     7014   1216 |        0 |        0
1606.24/1606.70	c 1604s |      24 |  3646662 |  3469562 |     7014   1217 |        0 |        0
1608.24/1608.76	c 1606s |      24 |  3650945 |  3473362 |     7014   1218 |        0 |        0
1610.34/1610.81	c 1608s |      24 |  3654984 |  3476862 |     7014   1219 |        0 |        0
1612.34/1612.87	c 1610s |      24 |  3658828 |  3480162 |     7014   1220 |        0 |        0
1614.45/1614.92	c 1612s |      24 |  3663052 |  3484062 |     7014   1221 |        0 |        0
1616.44/1616.95	c 1614s |      24 |  3666708 |  3487462 |     7014   1222 |        0 |        0
1618.54/1619.01	c 1617s |      24 |  3670998 |  3491462 |     7014   1223 |        0 |        0
1620.54/1621.06	c 1619s |      24 |  3675445 |  3495462 |     7014   1224 |        0 |        0
1622.54/1623.08	c 1621s |      24 |  3679382 |  3499362 |     7014   1225 |        0 |        0
1624.64/1625.12	c 1623s |      24 |  3684002 |  3503862 |     7014   1226 |        0 |        0
1626.64/1627.15	c 1625s |      24 |  3688436 |  3508262 |     7014   1227 |        0 |        0
1628.74/1629.21	c 1627s |      24 |  3692764 |  3512562 |     7014   1229 |        0 |        0
1630.74/1631.21	c 1629s |      24 |  3697830 |  3517562 |     7014   1230 |        0 |        0
1632.74/1633.26	c 1631s |      24 |  3702479 |  3522162 |     7014   1231 |        0 |        0
1634.84/1635.30	c 1633s |      24 |  3707201 |  3526862 |     7014   1232 |        0 |        0
1636.84/1637.33	c 1635s |      24 |  3711959 |  3531562 |     7014   1234 |        0 |        0
1638.84/1639.35	c 1637s |      24 |  3717353 |  3536862 |     7014   1235 |        0 |        0
1640.84/1641.37	c 1639s |      24 |  3722330 |  3541762 |     7014   1236 |        0 |        0
1642.94/1643.41	c 1641s |      24 |  3727108 |  3546462 |     7014   1238 |        0 |        0
1644.93/1645.41	c 1643s |      24 |  3731986 |  3551262 |     7014   1239 |        0 |        0
1646.93/1647.41	c 1645s |      24 |  3736605 |  3555762 |     7014   1240 |        0 |        0
1648.93/1649.43	c 1647s |      24 |  3741471 |  3560562 |     7014   1242 |        0 |        0
1650.93/1651.45	c 1649s |      24 |  3745950 |  3564962 |     7014   1243 |        0 |        0
1653.03/1653.50	c 1651s |      24 |  3750336 |  3569162 |     7014   1244 |        0 |        0
1655.04/1655.54	c 1653s |      24 |  3755441 |  3573862 |     7014   1245 |        0 |        0
1657.03/1657.56	c 1655s |      24 |  3759368 |  3577362 |     7014   1246 |        0 |        0
1659.03/1659.58	c 1657s |      24 |  3763146 |  3580862 |     7014   1247 |        0 |        0
1661.03/1661.59	c 1659s |      24 |  3767072 |  3584362 |     7014   1248 |        0 |        0
1663.13/1663.61	c 1661s |      24 |  3771011 |  3587962 |     7014   1249 |        0 |        0
1665.13/1665.64	c 1663s |      24 |  3775604 |  3592262 |     7014   1250 |        0 |        0
1667.14/1667.66	c 1665s |      24 |  3780087 |  3596362 |     7014   1251 |        0 |        0
1669.13/1669.68	c 1667s |      24 |  3784375 |  3600362 |     7014   1252 |        0 |        0
1671.23/1671.70	c 1669s |      24 |  3788281 |  3603962 |     7014   1253 |        0 |        0
1673.23/1673.72	c 1671s |      24 |  3792223 |  3607662 |     7014   1254 |        0 |        0
1675.23/1675.73	c 1673s |      24 |  3796390 |  3611562 |     7014   1255 |        0 |        0
1677.23/1677.77	c 1675s |      24 |  3800869 |  3615762 |     7014   1256 |        0 |        0
1679.23/1679.79	c 1677s |      24 |  3805051 |  3619462 |     7014   1257 |        0 |        0
1681.33/1681.80	c 1679s |      24 |  3808980 |  3622862 |     7014   1258 |        0 |        0
1683.33/1683.86	c 1681s |      24 |  3813256 |  3626862 |     7014   1259 |        0 |        0
1685.33/1685.88	c 1683s |      24 |  3817191 |  3630662 |     7014   1261 |        0 |        0
1687.33/1687.89	c 1685s |      24 |  3821325 |  3634662 |     7014   1262 |        0 |        0
1689.43/1689.93	c 1687s |      24 |  3825679 |  3638762 |     7014   1263 |        0 |        0
1691.43/1691.96	c 1689s |      24 |  3830142 |  3642862 |     7014   1264 |        0 |        0
1693.43/1693.96	c 1691s |      24 |  3834362 |  3646762 |     7014   1265 |        0 |        0
1695.43/1695.98	c 1694s |      24 |  3838384 |  3650262 |     7014   1266 |        0 |        0
1697.53/1698.05	c 1696s |      24 |  3842268 |  3653862 |     7014   1267 |        0 |        0
1699.52/1700.07	c 1698s |      24 |  3846306 |  3657462 |     7014   1268 |        0 |        0
1701.62/1702.11	c 1700s |      24 |  3850530 |  3661162 |     7014   1269 |        0 |        0
1703.62/1704.13	c 1702s |      24 |  3854646 |  3664862 |     7014   1270 |        0 |        0
1705.63/1706.14	c 1704s |      24 |  3858522 |  3668462 |     7014   1271 |        0 |        0
1707.62/1708.14	c 1706s |      24 |  3862350 |  3671862 |     7014   1272 |        0 |        0
1709.62/1710.18	c 1708s |      24 |  3866898 |  3676062 |     7014   1273 |        0 |        0
1711.62/1712.19	c 1710s |      24 |  3870879 |  3679562 |     7014   1274 |        0 |        0
1713.62/1714.19	c 1712s |      24 |  3874892 |  3683162 |     7014   1275 |        0 |        0
1715.72/1716.21	c 1714s |      24 |  3879014 |  3686862 |     7014   1276 |        0 |        0
1717.73/1718.23	c 1716s |      24 |  3883798 |  3691262 |     7014   1277 |        0 |        0
1719.72/1720.23	c 1718s |      24 |  3887786 |  3694862 |     7014   1278 |        0 |        0
1721.72/1722.25	c 1720s |      24 |  3891868 |  3698562 |     7014   1279 |        0 |        0
1723.72/1724.27	c 1722s |      24 |  3895161 |  3701462 |     7014   1280 |        0 |        0
1725.82/1726.31	c 1724s |      24 |  3899951 |  3705962 |     7014   1281 |        0 |        0
1727.82/1728.32	c 1726s |      24 |  3904948 |  3710362 |     7014   1282 |        0 |        0
1729.83/1730.34	c 1728s |      24 |  3910597 |  3715562 |     7014   1283 |        0 |        0
1731.82/1732.35	c 1730s |      24 |  3916344 |  3721062 |     7014   1285 |        0 |        0
1733.92/1734.40	c 1732s |      24 |  3921914 |  3726162 |     7014   1286 |        0 |        0
1735.92/1736.41	c 1734s |      24 |  3926976 |  3731062 |     7014   1288 |        0 |        0
1737.92/1738.46	c 1736s |      24 |  3932448 |  3736262 |     7014   1289 |        0 |        0
1739.91/1740.47	c 1738s |      24 |  3937978 |  3741262 |     7014   1290 |        0 |        0
1741.92/1742.47	c 1740s |      24 |  3943559 |  3746562 |     7014   1292 |        0 |        0
1743.91/1744.49	c 1742s |      24 |  3948743 |  3751262 |     7014   1293 |        0 |        0
1746.01/1746.51	c 1744s |      24 |  3954345 |  3756662 |     7014   1294 |        0 |        0
1748.01/1748.54	c 1746s |      24 |  3959419 |  3761562 |     7014   1296 |        0 |        0
1750.01/1750.56	c 1748s |      24 |  3964538 |  3766262 |     7014   1297 |        0 |        0
1752.01/1752.59	c 1750s |      24 |  3970040 |  3771562 |     7014   1298 |        0 |        0
1754.13/1754.61	c 1752s |      24 |  3975943 |  3777162 |     7014   1300 |        0 |        0
1756.12/1756.63	c 1754s |      24 |  3981575 |  3782462 |     7014   1301 |        0 |        0
1758.12/1758.65	c 1756s |      24 |  3986978 |  3787662 |     7014   1303 |        0 |        0
1760.12/1760.67	c 1758s |      24 |  3993385 |  3793862 |     7014   1304 |        0 |        0
1762.12/1762.68	c 1760s |      24 |  3998775 |  3799162 |     7014   1306 |        0 |        0
1764.22/1764.71	c 1762s |      24 |  4003732 |  3803862 |     7014   1307 |        0 |        0
1766.23/1766.72	c 1764s |      24 |  4008092 |  3807962 |     7014   1308 |        0 |        0
1768.22/1768.73	c 1766s |      24 |  4012186 |  3811862 |     7014   1309 |        0 |        0
1770.22/1770.74	c 1768s |      24 |  4016526 |  3816062 |     7014   1310 |        0 |        0
1772.22/1772.78	c 1770s |      24 |  4020839 |  3820162 |     7014   1311 |        0 |        0
1774.32/1774.80	c 1772s |      24 |  4025666 |  3824862 |     7014   1313 |        0 |        0
1776.32/1776.82	c 1774s |      24 |  4029975 |  3829062 |     7014   1314 |        0 |        0
1778.32/1778.84	c 1776s |      24 |  4033996 |  3832962 |     7014   1315 |        0 |        0
1780.32/1780.86	c 1778s |      24 |  4037657 |  3836462 |     7014   1316 |        0 |        0
1782.32/1782.87	c 1780s |      24 |  4041776 |  3840462 |     7014   1317 |        0 |        0
1784.42/1784.93	c 1782s |      24 |  4045567 |  3844062 |     7014   1318 |        0 |        0
1786.41/1786.98	c 1785s |      24 |  4049899 |  3848162 |     7014   1319 |        0 |        0
1788.41/1788.99	c 1787s |      24 |  4054035 |  3852062 |     7014   1320 |        0 |        0
1790.51/1791.01	c 1789s |      24 |  4058407 |  3856262 |     7014   1321 |        0 |        0
1792.52/1793.03	c 1791s |      24 |  4062688 |  3860462 |     7014   1322 |        0 |        0
1794.51/1795.05	c 1793s |      24 |  4067450 |  3865162 |     7014   1323 |        0 |        0
1796.61/1797.10	c 1795s |      24 |  4071949 |  3869562 |     7014   1325 |        0 |        0
1798.61/1799.11	c 1797s |      24 |  4077035 |  3874562 |     7014   1326 |        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-4080203-1465254911/watcher-4080203-1465254911 -o /tmp/evaluation-result-4080203-1465254911/solver-4080203-1465254911 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080203-1465254911.opb 

pid=6651
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.28 2.26 2.18 3/179 6654
/proc/meminfo: memFree=29480512/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=737860 CPUtime=0 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 2758 0 0 0 0 0 0 0 20 0 4 0 107424281 755568640 2608 33554432000 4194304 16246674 140733817893648 140733817893072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 185233 2617 442 2943 0 182127 0
[pid=6654/tid=6655] ppid=6651 vsize=755268 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 773394432 2677 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=760388 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 778637312 2693 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=764484 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107424282 782831616 2709 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.28 2.26 2.18 3/179 6654
/proc/meminfo: memFree=29480512/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 22663 0 0 0 6 3 0 0 20 0 4 0 107424281 1247350784 22501 33554432000 4194304 16246674 140733817893648 140733817893072 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 304529 22511 759 2943 0 301423 0
[pid=6654/tid=6655] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 22515 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 22518 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 22521 33554432000 4194304 16246674 140733817893648 140320707693744 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.200491 s]
/proc/loadavg: 2.28 2.26 2.18 3/179 6654
/proc/meminfo: memFree=29480512/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 41873 0 0 0 13 6 0 0 20 0 4 0 107424281 1247350784 41712 33554432000 4194304 16246674 140733817893648 140733817893072 13191638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 304529 41719 759 2943 0 301423 0
[pid=6654/tid=6655] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 41722 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 41724 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 41728 33554432000 4194304 16246674 140733817893648 140320707693744 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.30051 s]
/proc/loadavg: 2.28 2.26 2.18 3/179 6654
/proc/meminfo: memFree=29480512/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 59376 0 0 0 20 9 0 0 20 0 4 0 107424281 1247350784 59214 33554432000 4194304 16246674 140733817893648 140733817893072 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 304529 59222 759 2943 0 301423 0
[pid=6654/tid=6655] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 59226 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 59230 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 59233 33554432000 4194304 16246674 140733817893648 140320707693744 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.700424 s]
/proc/loadavg: 2.28 2.26 2.18 3/179 6654
/proc/meminfo: memFree=29480512/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 123942 0 0 0 50 18 0 0 20 0 4 0 107424281 1247350784 123780 33554432000 4194304 16246674 140733817893648 140733817893072 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 304529 123790 766 2943 0 301423 0
[pid=6654/tid=6655] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 123795 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 123802 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107424282 1247350784 123805 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.28 2.26 2.18 3/183 6658
/proc/meminfo: memFree=28722104/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 246208 0 0 0 113 36 0 0 20 0 4 0 107424281 1250496512 246023 33554432000 4194304 16246674 140733817893648 140733817892960 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 305297 246023 833 2943 0 302191 0
[pid=6654/tid=6655] ppid=6651 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1250496512 246023 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1250496512 246023 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1250496512 246023 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10041 s]
/proc/loadavg: 2.25 2.26 2.18 3/183 6658
/proc/meminfo: memFree=28497044/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 266625 0 0 0 271 38 0 0 20 0 4 0 107424281 1334382592 266440 33554432000 4194304 16246674 140733817893648 140733817875520 5711518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 325777 266440 851 2943 0 322671 0
[pid=6654/tid=6655] ppid=6651 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1334382592 266440 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1334382592 266440 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1334382592 266440 33554432000 4194304 16246674 140733817893648 140320707693744 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) 1303108

[startup+6.30036 s]
/proc/loadavg: 2.25 2.26 2.18 3/183 6658
/proc/meminfo: memFree=28410176/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 268156 0 0 0 590 39 0 0 20 0 4 0 107424281 1339625472 267971 33554432000 4194304 16246674 140733817893648 140733817876648 13781202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 327057 267971 852 2943 0 323951 0
[pid=6654/tid=6655] ppid=6651 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1339625472 267971 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1339625472 267971 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1339625472 267971 33554432000 4194304 16246674 140733817893648 140320707693744 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.29 2.27 2.19 3/183 6658
/proc/meminfo: memFree=28409352/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 268621 0 0 0 1230 39 0 0 20 0 4 0 107424281 1341722624 268436 33554432000 4194304 16246674 140733817893648 140733817875520 5723176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 327569 268436 854 2943 0 324463 0
[pid=6654/tid=6655] ppid=6651 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1341722624 268436 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1341722624 268436 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1341722624 268436 33554432000 4194304 16246674 140733817893648 140320707693744 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) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.48 2.31 2.20 4/183 6658
/proc/meminfo: memFree=28408648/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 268622 0 0 0 2510 39 0 0 20 0 4 0 107424281 1341722624 268437 33554432000 4194304 16246674 140733817893648 140733817875520 5600856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 327569 268437 854 2943 0 324463 0
[pid=6654/tid=6655] ppid=6651 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1341722624 268437 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1341722624 268437 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1341722624 268437 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.31 2.28 2.19 3/183 6658
/proc/meminfo: memFree=28401452/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 270206 0 0 0 5068 40 0 0 20 0 4 0 107424281 1348014080 270021 33554432000 4194304 16246674 140733817893648 140733817876648 5711964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 329105 270021 854 2943 0 325999 0
[pid=6654/tid=6655] ppid=6651 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1348014080 270021 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1348014080 270021 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1348014080 270021 33554432000 4194304 16246674 140733817893648 140320707693744 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) 1316420

[startup+102.301 s]
/proc/loadavg: 2.21 2.26 2.19 3/183 6659
/proc/meminfo: memFree=28403088/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1316420 CPUtime=102.28 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 270206 0 0 0 10188 40 0 0 20 0 4 0 107424281 1348014080 270021 33554432000 4194304 16246674 140733817893648 140733817875520 5808428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 329105 270021 854 2943 0 325999 0
[pid=6654/tid=6655] ppid=6651 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1348014080 270021 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1348014080 270021 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1348014080 270021 33554432000 4194304 16246674 140733817893648 140320707693744 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) 1316420


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

/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273349 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 6690
/proc/meminfo: memFree=28376188/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1328708 CPUtime=1361.87 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 273676 0 0 0 136139 48 0 0 20 0 4 0 107424281 1360596992 273350 33554432000 4194304 16246674 140733817893648 140733817875520 5712628 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 332177 273350 855 2943 0 329071 0
[pid=6654/tid=6655] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.07 2.16 2.17 3/183 6691
/proc/meminfo: memFree=28376136/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1328708 CPUtime=1421.87 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 273681 0 0 0 142138 49 0 0 20 0 4 0 107424281 1360596992 273350 33554432000 4194304 16246674 140733817893648 140733817875520 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 332177 273350 855 2943 0 329071 0
[pid=6654/tid=6655] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.08 2.14 2.16 3/183 6692
/proc/meminfo: memFree=28376108/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1328708 CPUtime=1481.86 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 273681 0 0 0 148137 49 0 0 20 0 4 0 107424281 1360596992 273350 33554432000 4194304 16246674 140733817893648 140733817875520 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 332177 273350 855 2943 0 329071 0
[pid=6654/tid=6655] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1328708

[startup+1542.31 s]
/proc/loadavg: 2.22 2.16 2.17 3/184 6697
/proc/meminfo: memFree=28375580/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1328708 CPUtime=1541.86 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 273681 0 0 0 154136 50 0 0 20 0 4 0 107424281 1360596992 273350 33554432000 4194304 16246674 140733817893648 140733817875520 5717604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 332177 273350 855 2943 0 329071 0
[pid=6654/tid=6655] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.18 2.16 2.17 3/183 6746
/proc/meminfo: memFree=28398944/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1328708 CPUtime=1601.84 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 273681 0 0 0 160133 51 0 0 20 0 4 0 107424281 1360596992 273350 33554432000 4194304 16246674 140733817893648 140733817875520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 332177 273350 855 2943 0 329071 0
[pid=6654/tid=6655] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 2.07 2.13 2.15 3/183 6747
/proc/meminfo: memFree=28398708/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1328708 CPUtime=1661.83 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 273681 0 0 0 166132 51 0 0 20 0 4 0 107424281 1360596992 273350 33554432000 4194304 16246674 140733817893648 140733817875520 5721384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 332177 273350 855 2943 0 329071 0
[pid=6654/tid=6655] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1328708

[startup+1722.3 s]
/proc/loadavg: 2.08 2.12 2.15 3/183 6748
/proc/meminfo: memFree=28388168/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1328708 CPUtime=1721.82 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 273681 0 0 0 172131 51 0 0 20 0 4 0 107424281 1360596992 273350 33554432000 4194304 16246674 140733817893648 140733817875520 5600452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 332177 273350 855 2943 0 329071 0
[pid=6654/tid=6655] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.15 2.12 2.15 4/183 6749
/proc/meminfo: memFree=28387744/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1328708 CPUtime=1781.82 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 273681 0 0 0 178130 52 0 0 20 0 4 0 107424281 1360596992 273350 33554432000 4194304 16246674 140733817893648 140733817875520 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 332177 273350 855 2943 0 329071 0
[pid=6654/tid=6655] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.12 2.14 3/183 6750
/proc/meminfo: memFree=28387616/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1328708 CPUtime=1800.01 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 273681 0 0 0 179949 52 0 0 20 0 4 0 107424281 1360596992 273350 33554432000 4194304 16246674 140733817893648 140733817876648 5822612 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 332177 273350 855 2943 0 329071 0
[pid=6654/tid=6655] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1328708

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.12 2.14 3/183 6750
/proc/meminfo: memFree=28387616/32872528 swapFree=16252/1391864
[pid=6654] ppid=6651 vsize=1328708 CPUtime=1800.01 cores=0,2,4,6
/proc/6654/stat : 6654 (toysat) R 6651 6654 5783 0 -1 4202496 273681 0 0 0 179949 52 0 0 20 0 4 0 107424281 1360596992 273350 33554432000 4194304 16246674 140733817893648 140733817876648 5822612 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6654/statm: 332177 273350 855 2943 0 329071 0
[pid=6654/tid=6655] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6655/stat : 6655 (toysat) S 6651 6654 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320728657136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6654/tid=6656] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6656/stat : 6656 (toysat) S 6651 6654 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320718167280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6654/tid=6657] ppid=6651 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/6654/task/6657/stat : 6657 (toysat) S 6651 6654 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107424282 1360596992 273350 33554432000 4194304 16246674 140733817893648 140320707693744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1328708

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.5
CPU system time (s): 0.52392
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.52392
maximum resident set size= 1093400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273681
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= 414
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.05078 second user time and 20.1309 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 01:15:11
IDJOB=4080203
IDBENCH=48012
IDSOLVER=2542
FILE ID=node119/4080203-1465254911
RUNJOBID= node119-1465252213-5799
PBS_JOBID= 19843259
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080203-1465254911/watcher-4080203-1465254911 -o /tmp/evaluation-result-4080203-1465254911/solver-4080203-1465254911 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080203-1465254911.opb

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

MD5SUM BENCH= 0f5232be892543458d8a9fd6fc4fb56e
RANDOM SEED=1642468401

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29481280 kB
Buffers:           50904 kB
Cached:           150624 kB
SwapCached:          856 kB
Active:          1202248 kB
Inactive:          91068 kB
Active(anon):    1092432 kB
Inactive(anon):     1640 kB
Active(file):     109816 kB
Inactive(file):    89428 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100136 kB
Dirty:             16312 kB
Writeback:            48 kB
AnonPages:       2485084 kB
Mapped:            10472 kB
Shmem:                 0 kB
Slab:             568408 kB
SReclaimable:      12416 kB
SUnreclaim:       555992 kB
KernelStack:        1504 kB
PageTables:         8968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2626000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1382400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node119 at 2016-06-07 01:45:12