Trace number 4105553

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
MD5SUM1d334f36842eecbe8db395477b7c6bcb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark67
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6340
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T13:42:59+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-4105553-1466250179.opb"]
0.00/0.01	c use --random-gen="3397130682 561026760 513251148 1873364999 4137921519 2491088096 2764614605 1670844998 4065375166 2138853371 1793457451 3896833547 3199782664 1855058150 2887661551 2741248872 3967873468 689998646 3192615640 7396319 3328044551 3759848634 350273697 2975500025 795817342 1493409425 4175767306 2807179167 3613059132 225771580 1206997308 1135938686 3547887080 2281359916 1485104506 143500049 2021200532 2898109656 3730936070 2510609880 2919154142 2289621480 1121161723 1306527088 9809002 1152247988 1931016326 3661694096 2267197069 4006592853 2721180866 1369969204 398246223 2997220601 1840574723 2111569225 175923219 1494046008 1682683602 1904431494 922988985 2844197892 3318235826 1734223982 3475697383 3494096377 2613151741 1355846651 2170199002 1371466234 623679953 350893463 2953890739 2444158203 1866016771 2567225079 4264264400 2704622742 2929074129 526361930 1118671716 4025983846 315550243 253974700 391338142 2510560094 2757989642 2712519078 2839381899 1231380417 3063110921 4141145229 2625464607 626404349 1647227440 4014413205 2680374129 816476037 1658438433 410448430 3257053573 514903633 945645582 3107064026 3410496920 2841575603 1618205833 3240379004 3608559001 1043475449 346470468 1644110291 1948835550 188344279 541528435 1352277025 3511954733 4205383089 4094813911 1022251822 2826020196 675796362 2782969643 1258224717 2437173127 408910268 2962015484 2460142039 1906718660 3832008594 3435961931 1558133291 4271804642 2621753588 2370516091 1079759408 1231633208 2589425543 1430734542 2273474911 90250445 3860788756 2404082463 4287085361 2423010353 3917287831 1985128 3590886423 3978916608 577516623 2296359826 121033732 3275746980 1771205192 522684933 2240632311 155769212 86722704 2202044493 2222181661 2243061921 3747598520 888330938 701859906 2058180396 3597663230 851951391 107228982 884715146 3926731434 630188528 2159580442 437709422 4027563890 2568537752 1577071950 483176739 2915673166 2392648033 2075467808 4226235890 1003065945 3041399041 2193901131 3285318849 1011779162 1137236548 1628608595 8031591 1378384555 1129470484 2726006390 492244063 214034095 3212716981 814341105 1378381486 1849792065 750330626 3565548323 2365176508 737081448 1512998910 3282620601 3311499954 1320743277 1762428231 4010054355 827360148 482872519 786098231 342316995 405355662 2547792763 2683589541 1977407417 914585308 3662250475 2578274510 3932957951 2413858522 3542136245 1332598057 3692334075 3596881382 131321280 481154325 428320290 1150864963 1851722255 2321135047 1708416583 2195638250 534972616 3485746908 3292967818 4217833406 1697227957 1231709804 3728606808 4043912083 2145945423 321105947 697407075 1549919103 426380216 1508658950 2689342737 2724516994 2876766405 3247605706 2948719050 4047690202 2787673403 3490726769 2701500364 255 362436" option to reproduce the execution
0.00/0.01	c #vars 198
0.00/0.01	c #constraints 16
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       71      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       79 |        0 |       71      0 |        0 |        0
0.00/0.02	c #cpu_time = 0.001s
0.00/0.02	c #wall_clock_time = 0.001s
0.00/0.02	c #decision = 79
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	o 3123
0.00/0.02	c BCD2: updating upper bound: 4080 -> 3122
0.00/0.02	c BCD2: 0 <= obj <= 3122
0.00/0.02	c BCD2: #cores=0, #unrelaxed=128, #relaxed=0, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       71      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      262 |      100 |       71      0 |        0 |        0
0.09/0.11	c  0.1s |       2 |      576 |      250 |       79      1 |        0 |        0
0.19/0.20	c  0.2s |       3 |      974 |      475 |       87      4 |        0 |        0
0.28/0.32	c  0.3s |       4 |     1497 |      813 |       96      7 |        0 |        0
0.49/0.50	c  0.5s |       5 |     2163 |     1320 |      106     11 |        0 |        0
0.69/0.79	c  0.8s |       6 |     3087 |     2081 |      129     17 |        0 |        0
1.19/1.21	c  1.2s |       7 |     4407 |     3223 |      142     25 |        0 |        0
1.68/1.70	c  1.7s |       8 |     6296 |     4936 |      157     36 |        0 |        0
2.29/2.36	c  2.3s |       9 |     9053 |     7506 |      173     53 |        0 |        0
3.29/3.31	c  3.3s |      10 |    13149 |    11361 |      191     76 |        0 |        0
4.68/4.72	c  4.7s |      11 |    19282 |    17144 |      211    109 |        0 |        0
6.69/6.75	c  6.7s |      11 |    27934 |    25444 |      211    155 |        0 |        0
6.78/6.84	c  6.8s |      12 |    28301 |    25819 |      233    156 |        0 |        0
8.79/8.86	c  8.8s |      12 |    36850 |    34019 |      233    199 |        0 |        0
9.99/10.02	c 10.0s |      13 |    41828 |    38832 |      257    223 |        0 |        0
11.98/12.04	c 12.0s |      13 |    50605 |    47232 |      257    264 |        0 |        0
13.98/14.05	c 14.0s |      13 |    58889 |    55432 |      257    303 |        0 |        0
14.68/14.77	c 14.7s |      14 |    61842 |    58352 |      283    317 |        0 |        0
16.68/16.78	c 16.8s |      14 |    69920 |    66152 |      283    353 |        0 |        0
18.79/18.81	c 18.8s |      14 |    78138 |    74152 |      283    389 |        0 |        0
20.78/20.82	c 20.8s |      14 |    86293 |    82152 |      283    425 |        0 |        0
22.09/22.18	c 22.2s |      15 |    91811 |    87632 |      312    450 |        0 |        0
24.09/24.19	c 24.2s |      15 |   100029 |    95632 |      312    484 |        0 |        0
26.19/26.20	c 26.2s |      15 |   108268 |   103832 |      312    519 |        0 |        0
28.19/28.21	c 28.2s |      15 |   116882 |   112432 |      312    556 |        0 |        0
30.19/30.23	c 30.2s |      15 |   124721 |   120232 |      312    589 |        0 |        0
32.19/32.25	c 32.2s |      15 |   132876 |   128332 |      312    623 |        0 |        0
32.99/33.04	c 33.0s |      16 |   136118 |   131552 |      344    637 |        0 |        0
34.99/35.04	c 35.0s |      16 |   143770 |   138952 |      344    666 |        0 |        0
36.99/37.04	c 37.0s |      16 |   151343 |   146452 |      344    696 |        0 |        0
38.99/39.05	c 39.0s |      16 |   159178 |   154252 |      344    727 |        0 |        0
40.99/41.06	c 41.0s |      16 |   166778 |   161752 |      344    757 |        0 |        0
42.99/43.09	c 43.1s |      16 |   174740 |   169652 |      344    789 |        0 |        0
44.98/45.09	c 45.1s |      16 |   182483 |   177352 |      344    820 |        0 |        0
47.08/47.10	c 47.1s |      16 |   190005 |   184852 |      344    850 |        0 |        0
49.08/49.11	c 49.1s |      16 |   197535 |   192352 |      344    880 |        0 |        0
50.38/50.46	c 50.4s |      17 |   202636 |   197432 |      379    900 |        0 |        0
52.38/52.46	c 52.4s |      17 |   210529 |   205132 |      379    929 |        0 |        0
54.38/54.46	c 54.4s |      17 |   218558 |   213132 |      379    959 |        0 |        0
56.38/56.47	c 56.5s |      17 |   226491 |   221032 |      379    988 |        0 |        0
58.39/58.48	c 58.5s |      17 |   234435 |   228932 |      379   1018 |        0 |        0
60.38/60.49	c 60.5s |      17 |   242472 |   236932 |      379   1048 |        0 |        0
62.48/62.52	c 62.5s |      17 |   250746 |   245132 |      379   1079 |        0 |        0
64.48/64.52	c 64.5s |      17 |   258597 |   252932 |      379   1109 |        0 |        0
66.48/66.53	c 66.5s |      17 |   266542 |   260832 |      379   1138 |        0 |        0
68.48/68.55	c 68.5s |      17 |   274600 |   268832 |      379   1168 |        0 |        0
70.48/70.56	c 70.5s |      17 |   282309 |   276532 |      379   1197 |        0 |        0
72.47/72.58	c 72.6s |      17 |   290254 |   284432 |      379   1227 |        0 |        0
74.57/74.60	c 74.6s |      17 |   297568 |   291732 |      379   1254 |        0 |        0
75.77/75.84	c 75.8s |      18 |   302100 |   296252 |      417   1270 |        0 |        0
77.77/77.86	c 77.8s |      18 |   309610 |   303552 |      417   1296 |        0 |        0
79.77/79.89	c 79.9s |      18 |   316724 |   310552 |      417   1320 |        0 |        0
81.87/81.90	c 81.9s |      18 |   323901 |   317652 |      417   1345 |        0 |        0
83.87/83.92	c 83.9s |      18 |   331056 |   324752 |      417   1369 |        0 |        0
85.88/85.95	c 85.9s |      18 |   338085 |   331752 |      417   1394 |        0 |        0
87.87/87.97	c 87.9s |      18 |   345209 |   338852 |      417   1419 |        0 |        0
89.87/89.97	c 90.0s |      18 |   353333 |   346952 |      417   1447 |        0 |        0
91.87/91.99	c 92.0s |      18 |   361254 |   354852 |      417   1475 |        0 |        0
93.97/94.00	c 94.0s |      18 |   369222 |   362752 |      417   1502 |        0 |        0
95.97/96.02	c 96.0s |      18 |   376885 |   370352 |      417   1528 |        0 |        0
97.98/98.02	c 98.0s |      18 |   384725 |   378152 |      417   1556 |        0 |        0
99.97/100.04	c  100s |      18 |   392072 |   385452 |      417   1581 |        0 |        0
101.97/102.05	c  102s |      18 |   399521 |   392852 |      417   1607 |        0 |        0
103.97/104.06	c  104s |      18 |   406937 |   400152 |      417   1633 |        0 |        0
105.97/106.07	c  106s |      18 |   414542 |   407652 |      417   1659 |        0 |        0
107.97/108.09	c  108s |      18 |   422168 |   415252 |      417   1685 |        0 |        0
110.07/110.11	c  110s |      18 |   429557 |   422552 |      417   1711 |        0 |        0
112.08/112.11	c  112s |      18 |   436616 |   429552 |      417   1735 |        0 |        0
114.07/114.13	c  114s |      18 |   443463 |   436352 |      417   1759 |        0 |        0
116.07/116.13	c  116s |      18 |   450393 |   443252 |      459   1783 |        0 |        0
116.47/116.50	c  116s |      19 |   451629 |   444482 |      459   1787 |        0 |        0
118.47/118.53	c  118s |      19 |   458798 |   451382 |      459   1810 |        0 |        0
120.47/120.54	c  120s |      19 |   465949 |   458482 |      459   1833 |        0 |        0
122.47/122.56	c  122s |      19 |   473190 |   465682 |      459   1856 |        0 |        0
124.47/124.56	c  124s |      19 |   480037 |   472482 |      459   1878 |        0 |        0
126.48/126.57	c  126s |      19 |   487154 |   479582 |      459   1901 |        0 |        0
128.47/128.59	c  128s |      19 |   494364 |   486782 |      459   1925 |        0 |        0
130.47/130.59	c  130s |      19 |   501864 |   494182 |      459   1949 |        0 |        0
132.57/132.60	c  132s |      19 |   508891 |   501082 |      459   1971 |        0 |        0
134.57/134.61	c  134s |      19 |   515770 |   507782 |      459   1993 |        0 |        0
136.57/136.63	c  136s |      19 |   522524 |   514482 |      459   2014 |        0 |        0
138.58/138.66	c  138s |      19 |   529275 |   521082 |      459   2036 |        0 |        0
140.57/140.68	c  140s |      19 |   535717 |   527482 |      459   2056 |        0 |        0
142.67/142.71	c  142s |      19 |   542236 |   533882 |      459   2077 |        0 |        0
144.67/144.72	c  144s |      19 |   548969 |   540482 |      459   2099 |        0 |        0
146.66/146.75	c  146s |      19 |   555956 |   547282 |      459   2121 |        0 |        0
148.66/148.75	c  148s |      19 |   562579 |   553782 |      459   2142 |        0 |        0
150.67/150.77	c  150s |      19 |   569331 |   560482 |      459   2164 |        0 |        0
152.66/152.78	c  152s |      19 |   576055 |   567082 |      459   2185 |        0 |        0
154.66/154.79	c  154s |      19 |   582759 |   573682 |      459   2207 |        0 |        0
156.76/156.80	c  156s |      19 |   589599 |   580282 |      459   2228 |        0 |        0
158.76/158.80	c  158s |      19 |   596495 |   586982 |      459   2251 |        0 |        0
160.76/160.80	c  160s |      19 |   603112 |   593482 |      459   2272 |        0 |        0
162.77/162.81	c  162s |      19 |   610321 |   600482 |      459   2295 |        0 |        0
164.76/164.82	c  164s |      19 |   617221 |   607282 |      459   2317 |        0 |        0
166.76/166.82	c  166s |      19 |   624610 |   614482 |      459   2341 |        0 |        0
168.76/168.82	c  168s |      19 |   631520 |   621182 |      459   2362 |        0 |        0
170.76/170.84	c  170s |      19 |   638432 |   627982 |      459   2384 |        0 |        0
172.76/172.85	c  172s |      19 |   644972 |   634382 |      459   2405 |        0 |        0
174.76/174.87	c  174s |      19 |   651631 |   640882 |      459   2427 |        0 |        0
176.76/176.89	c  176s |      19 |   658382 |   647582 |      459   2449 |        0 |        0
178.86/178.90	c  178s |      19 |   665733 |   654882 |      459   2472 |        0 |        0
180.86/180.93	c  180s |      19 |   672477 |   661582 |      459   2494 |        0 |        0
182.46/182.58	c  182s |      20 |   677798 |   666827 |      505   2510 |        0 |        0
184.46/184.59	c  184s |      20 |   684522 |   673227 |      505   2530 |        0 |        0
186.56/186.61	c  186s |      20 |   691265 |   679827 |      505   2549 |        0 |        0
188.56/188.62	c  188s |      20 |   697864 |   686327 |      505   2569 |        0 |        0
190.56/190.63	c  190s |      20 |   704359 |   692727 |      505   2589 |        0 |        0
192.57/192.66	c  192s |      20 |   710972 |   699227 |      505   2608 |        0 |        0
194.56/194.67	c  194s |      20 |   717900 |   706027 |      505   2629 |        0 |        0
196.66/196.70	c  196s |      20 |   724575 |   712527 |      505   2648 |        0 |        0
198.66/198.71	c  198s |      20 |   730908 |   718727 |      505   2667 |        0 |        0
200.66/200.73	c  200s |      20 |   737400 |   725127 |      505   2686 |        0 |        0
202.66/202.74	c  202s |      20 |   743703 |   731327 |      505   2705 |        0 |        0
204.67/204.76	c  204s |      20 |   750610 |   738027 |      505   2726 |        0 |        0
206.66/206.77	c  206s |      20 |   757333 |   744527 |      505   2745 |        0 |        0
208.66/208.79	c  208s |      20 |   763976 |   751027 |      505   2765 |        0 |        0
210.66/210.79	c  210s |      20 |   770756 |   757727 |      505   2785 |        0 |        0
212.66/212.79	c  212s |      20 |   777442 |   764327 |      505   2805 |        0 |        0
214.76/214.80	c  214s |      20 |   784476 |   771327 |      505   2827 |        0 |        0
216.76/216.81	c  216s |      20 |   791770 |   778527 |      505   2848 |        0 |        0
218.76/218.84	c  218s |      20 |   799384 |   786027 |      505   2871 |        0 |        0
220.76/220.86	c  220s |      20 |   806346 |   792827 |      505   2891 |        0 |        0
222.76/222.87	c  222s |      20 |   813071 |   799327 |      505   2911 |        0 |        0
224.86/224.90	c  224s |      20 |   819803 |   805927 |      505   2931 |        0 |        0
226.86/226.91	c  226s |      20 |   826216 |   812227 |      505   2950 |        0 |        0
228.86/228.91	c  228s |      20 |   832752 |   818627 |      505   2969 |        0 |        0
230.85/230.92	c  230s |      20 |   839223 |   825027 |      505   2989 |        0 |        0
232.85/232.94	c  232s |      20 |   845634 |   831327 |      505   3008 |        0 |        0
234.85/234.95	c  234s |      20 |   852233 |   837727 |      505   3027 |        0 |        0
236.85/236.96	c  236s |      20 |   858957 |   844327 |      505   3047 |        0 |        0
238.85/238.97	c  238s |      20 |   865693 |   850927 |      505   3067 |        0 |        0
240.86/240.98	c  240s |      20 |   871977 |   857127 |      505   3086 |        0 |        0
242.95/243.00	c  242s |      20 |   878269 |   863327 |      505   3105 |        0 |        0
244.95/245.01	c  244s |      20 |   884690 |   869627 |      505   3125 |        0 |        0
246.95/247.03	c  247s |      20 |   890933 |   875827 |      505   3144 |        0 |        0
248.95/249.05	c  249s |      20 |   897663 |   882427 |      505   3164 |        0 |        0
250.95/251.07	c  251s |      20 |   904498 |   889127 |      505   3184 |        0 |        0
252.96/253.09	c  253s |      20 |   911356 |   895727 |      505   3204 |        0 |        0
255.05/255.10	c  255s |      20 |   917902 |   902127 |      505   3224 |        0 |        0
257.05/257.13	c  257s |      20 |   924524 |   908627 |      505   3244 |        0 |        0
259.05/259.14	c  259s |      20 |   931253 |   915227 |      505   3264 |        0 |        0
261.05/261.16	c  261s |      20 |   938001 |   921827 |      505   3284 |        0 |        0
263.05/263.18	c  263s |      20 |   944847 |   928527 |      505   3304 |        0 |        0
265.05/265.19	c  265s |      20 |   951349 |   934927 |      505   3324 |        0 |        0
267.15/267.21	c  267s |      20 |   957810 |   941327 |      505   3343 |        0 |        0
269.15/269.23	c  269s |      20 |   965292 |   948727 |      505   3366 |        0 |        0
271.15/271.25	c  271s |      20 |   972444 |   955727 |      505   3387 |        0 |        0
273.15/273.26	c  273s |      20 |   979353 |   962527 |      505   3408 |        0 |        0
275.15/275.28	c  275s |      20 |   986293 |   969327 |      505   3428 |        0 |        0
277.15/277.30	c  277s |      20 |   993128 |   976127 |      505   3449 |        0 |        0
279.24/279.33	c  279s |      20 |  1000167 |   983027 |      505   3470 |        0 |        0
281.24/281.34	c  281s |      20 |  1006602 |   989327 |      505   3489 |        0 |        0
283.24/283.36	c  283s |      20 |  1012913 |   995527 |      556   3508 |        0 |        0
284.64/284.78	c  284s |      21 |  1017839 |  1000345 |      556   3521 |        0 |        0
286.64/286.78	c  286s |      21 |  1024741 |  1006945 |      556   3540 |        0 |        0
288.74/288.81	c  288s |      21 |  1031984 |  1013945 |      556   3559 |        0 |        0
290.74/290.81	c  290s |      21 |  1039071 |  1020945 |      556   3579 |        0 |        0
292.74/292.82	c  292s |      21 |  1046087 |  1027845 |      556   3598 |        0 |        0
294.75/294.84	c  294s |      21 |  1052794 |  1034445 |      556   3617 |        0 |        0
296.74/296.86	c  296s |      21 |  1059427 |  1040845 |      556   3635 |        0 |        0
298.74/298.88	c  298s |      21 |  1066192 |  1047345 |      556   3653 |        0 |        0
300.84/300.90	c  300s |      21 |  1073198 |  1054145 |      556   3672 |        0 |        0
302.84/302.91	c  302s |      21 |  1080274 |  1060945 |      556   3691 |        0 |        0
304.85/304.94	c  304s |      21 |  1087457 |  1067845 |      556   3711 |        0 |        0
306.85/306.94	c  306s |      21 |  1094271 |  1074445 |      556   3729 |        0 |        0
308.85/308.96	c  308s |      21 |  1101208 |  1081245 |      556   3748 |        0 |        0
310.84/310.98	c  310s |      21 |  1107951 |  1087845 |      556   3767 |        0 |        0
312.94/313.00	c  312s |      21 |  1114677 |  1094445 |      556   3786 |        0 |        0
314.94/315.01	c  314s |      21 |  1121333 |  1100945 |      556   3804 |        0 |        0
316.94/317.04	c  317s |      21 |  1127965 |  1107445 |      556   3822 |        0 |        0
318.95/319.06	c  319s |      21 |  1134796 |  1114245 |      556   3842 |        0 |        0
320.94/321.08	c  321s |      21 |  1141439 |  1120845 |      556   3860 |        0 |        0
323.04/323.10	c  323s |      21 |  1147986 |  1127345 |      556   3879 |        0 |        0
325.04/325.14	c  325s |      21 |  1154803 |  1134045 |      556   3898 |        0 |        0
327.04/327.15	c  327s |      21 |  1162110 |  1141045 |      556   3917 |        0 |        0
329.04/329.16	c  329s |      21 |  1169065 |  1147845 |      556   3936 |        0 |        0
331.05/331.18	c  331s |      21 |  1175994 |  1154545 |      556   3955 |        0 |        0
333.04/333.18	c  333s |      21 |  1182658 |  1161045 |      556   3973 |        0 |        0
335.04/335.19	c  335s |      21 |  1189441 |  1167645 |      556   3992 |        0 |        0
337.14/337.20	c  337s |      21 |  1196528 |  1174545 |      556   4011 |        0 |        0
339.14/339.20	c  339s |      21 |  1203267 |  1181145 |      556   4030 |        0 |        0
341.14/341.21	c  341s |      21 |  1210123 |  1187845 |      556   4049 |        0 |        0
343.14/343.23	c  343s |      21 |  1217152 |  1194645 |      556   4068 |        0 |        0
345.13/345.25	c  345s |      21 |  1224228 |  1201445 |      556   4087 |        0 |        0
347.13/347.26	c  347s |      21 |  1231143 |  1208245 |      556   4106 |        0 |        0
349.13/349.27	c  349s |      21 |  1237678 |  1214745 |      556   4125 |        0 |        0
351.23/351.30	c  351s |      21 |  1244345 |  1221345 |      556   4144 |        0 |        0
353.23/353.33	c  353s |      21 |  1250976 |  1227945 |      556   4162 |        0 |        0
355.24/355.35	c  355s |      21 |  1257890 |  1234845 |      556   4182 |        0 |        0
357.23/357.36	c  357s |      21 |  1264976 |  1241845 |      556   4202 |        0 |        0
359.23/359.37	c  359s |      21 |  1272076 |  1248745 |      556   4221 |        0 |        0
361.33/361.40	c  361s |      21 |  1278965 |  1255445 |      556   4240 |        0 |        0
363.33/363.41	c  363s |      21 |  1285827 |  1262145 |      556   4259 |        0 |        0
365.33/365.43	c  365s |      21 |  1292843 |  1269145 |      556   4279 |        0 |        0
367.34/367.45	c  367s |      21 |  1299876 |  1276045 |      556   4298 |        0 |        0
369.33/369.47	c  369s |      21 |  1306744 |  1282745 |      556   4317 |        0 |        0
371.33/371.49	c  371s |      21 |  1313976 |  1289945 |      556   4337 |        0 |        0
373.43/373.50	c  373s |      21 |  1320956 |  1296845 |      556   4357 |        0 |        0
375.43/375.52	c  375s |      21 |  1327765 |  1303545 |      556   4376 |        0 |        0
377.43/377.54	c  377s |      21 |  1334345 |  1310045 |      556   4394 |        0 |        0
379.43/379.56	c  379s |      21 |  1340758 |  1316345 |      556   4412 |        0 |        0
381.43/381.57	c  381s |      21 |  1347011 |  1322545 |      556   4429 |        0 |        0
383.52/383.60	c  383s |      21 |  1353384 |  1328845 |      556   4447 |        0 |        0
385.52/385.61	c  385s |      21 |  1360125 |  1335545 |      556   4466 |        0 |        0
387.52/387.63	c  387s |      21 |  1366630 |  1341945 |      556   4484 |        0 |        0
389.52/389.67	c  389s |      21 |  1372926 |  1348145 |      556   4502 |        0 |        0
391.53/391.67	c  391s |      21 |  1380095 |  1355245 |      556   4521 |        0 |        0
393.52/393.68	c  393s |      21 |  1386638 |  1361745 |      556   4540 |        0 |        0
395.52/395.69	c  395s |      21 |  1393303 |  1368345 |      556   4558 |        0 |        0
397.62/397.71	c  397s |      21 |  1399862 |  1374845 |      556   4576 |        0 |        0
399.63/399.73	c  399s |      21 |  1406444 |  1381345 |      556   4595 |        0 |        0
401.63/401.74	c  401s |      21 |  1412905 |  1387745 |      556   4613 |        0 |        0
403.64/403.77	c  403s |      21 |  1419263 |  1394045 |      556   4631 |        0 |        0
405.63/405.77	c  405s |      21 |  1425546 |  1400245 |      556   4648 |        0 |        0
407.63/407.79	c  407s |      21 |  1432002 |  1406645 |      556   4666 |        0 |        0
409.73/409.82	c  409s |      21 |  1438310 |  1412945 |      556   4684 |        0 |        0
411.73/411.84	c  411s |      21 |  1444691 |  1419245 |      556   4702 |        0 |        0
413.73/413.84	c  413s |      21 |  1451178 |  1425645 |      556   4720 |        0 |        0
415.73/415.85	c  415s |      21 |  1457799 |  1432145 |      556   4739 |        0 |        0
417.73/417.86	c  417s |      21 |  1464343 |  1438545 |      556   4757 |        0 |        0
419.73/419.89	c  419s |      21 |  1471224 |  1445245 |      556   4776 |        0 |        0
421.83/421.91	c  421s |      21 |  1478012 |  1451845 |      556   4794 |        0 |        0
423.82/423.92	c  423s |      21 |  1484611 |  1458345 |      556   4813 |        0 |        0
425.82/425.92	c  425s |      21 |  1491358 |  1464945 |      556   4832 |        0 |        0
427.83/427.92	c  427s |      21 |  1498112 |  1471545 |      556   4850 |        0 |        0
429.82/429.95	c  429s |      21 |  1505228 |  1478445 |      556   4869 |        0 |        0
431.82/431.96	c  431s |      21 |  1512063 |  1485145 |      556   4888 |        0 |        0
433.82/433.98	c  433s |      21 |  1518764 |  1491645 |      612   4906 |        0 |        0
435.92/436.01	c  435s |      21 |  1525435 |  1498245 |      612   4924 |        0 |        0
436.63/436.76	c  436s |      22 |  1527871 |  1500622 |      612   4930 |        0 |        0
438.62/438.79	c  438s |      22 |  1534525 |  1507022 |      612   4947 |        0 |        0
440.72/440.81	c  440s |      22 |  1541029 |  1513422 |      612   4963 |        0 |        0
442.72/442.82	c  442s |      22 |  1547804 |  1520022 |      612   4980 |        0 |        0
444.72/444.84	c  444s |      22 |  1554454 |  1526522 |      612   4997 |        0 |        0
446.72/446.87	c  446s |      22 |  1561171 |  1533122 |      612   5014 |        0 |        0
448.72/448.88	c  448s |      22 |  1567952 |  1539822 |      612   5032 |        0 |        0
450.72/450.89	c  450s |      22 |  1574709 |  1546422 |      612   5049 |        0 |        0
452.72/452.89	c  452s |      22 |  1581321 |  1552822 |      612   5066 |        0 |        0
454.82/454.92	c  454s |      22 |  1588407 |  1559822 |      612   5084 |        0 |        0
456.82/456.94	c  456s |      22 |  1595280 |  1566622 |      612   5102 |        0 |        0
458.82/458.95	c  458s |      22 |  1601973 |  1573222 |      612   5119 |        0 |        0
460.82/460.96	c  460s |      22 |  1608809 |  1580022 |      612   5137 |        0 |        0
462.81/462.99	c  462s |      22 |  1616651 |  1587822 |      612   5157 |        0 |        0
464.81/464.99	c  464s |      22 |  1624179 |  1595322 |      612   5177 |        0 |        0
466.91/467.02	c  467s |      22 |  1631579 |  1602622 |      612   5196 |        0 |        0
468.91/469.03	c  469s |      22 |  1638909 |  1609922 |      612   5215 |        0 |        0
470.91/471.04	c  471s |      22 |  1646021 |  1617022 |      612   5233 |        0 |        0
472.92/473.06	c  473s |      22 |  1652957 |  1623922 |      612   5251 |        0 |        0
474.91/475.06	c  475s |      22 |  1659716 |  1630622 |      612   5268 |        0 |        0
476.91/477.08	c  477s |      22 |  1666568 |  1637422 |      612   5286 |        0 |        0
478.91/479.09	c  479s |      22 |  1673320 |  1644122 |      612   5304 |        0 |        0
481.01/481.10	c  481s |      22 |  1680159 |  1650922 |      612   5321 |        0 |        0
483.01/483.10	c  483s |      22 |  1686713 |  1657422 |      612   5338 |        0 |        0
485.02/485.11	c  485s |      22 |  1693070 |  1663722 |      612   5355 |        0 |        0
487.01/487.11	c  487s |      22 |  1699497 |  1670022 |      612   5371 |        0 |        0
489.01/489.13	c  489s |      22 |  1706030 |  1676522 |      612   5388 |        0 |        0
491.01/491.15	c  491s |      22 |  1712268 |  1682722 |      612   5405 |        0 |        0
493.01/493.17	c  493s |      22 |  1718610 |  1689022 |      612   5421 |        0 |        0
495.11/495.20	c  495s |      22 |  1724977 |  1695222 |      612   5437 |        0 |        0
497.01/497.20	c  497s |      22 |  1731231 |  1701422 |      612   5454 |        0 |        0
499.12/499.20	c  499s |      22 |  1737552 |  1707722 |      612   5470 |        0 |        0
501.12/501.23	c  501s |      22 |  1744265 |  1714322 |      612   5487 |        0 |        0
503.12/503.24	c  503s |      22 |  1750966 |  1720922 |      612   5504 |        0 |        0
505.12/505.26	c  505s |      22 |  1757495 |  1727322 |      612   5521 |        0 |        0
507.12/507.28	c  507s |      22 |  1764184 |  1733822 |      612   5538 |        0 |        0
509.22/509.31	c  509s |      22 |  1770671 |  1740222 |      612   5555 |        0 |        0
511.21/511.32	c  511s |      22 |  1777222 |  1746722 |      612   5572 |        0 |        0
513.21/513.35	c  513s |      22 |  1783533 |  1752922 |      612   5588 |        0 |        0
515.21/515.38	c  515s |      22 |  1789822 |  1759122 |      612   5604 |        0 |        0
517.31/517.41	c  517s |      22 |  1796066 |  1765322 |      612   5620 |        0 |        0
519.31/519.44	c  519s |      22 |  1802174 |  1771322 |      612   5636 |        0 |        0
521.32/521.47	c  521s |      22 |  1808434 |  1777522 |      612   5652 |        0 |        0
523.31/523.47	c  523s |      22 |  1814463 |  1783522 |      612   5668 |        0 |        0
525.31/525.48	c  525s |      22 |  1820481 |  1789522 |      612   5684 |        0 |        0
527.41/527.50	c  527s |      22 |  1826550 |  1795522 |      612   5699 |        0 |        0
529.41/529.52	c  529s |      22 |  1832760 |  1801622 |      612   5715 |        0 |        0
531.41/531.52	c  531s |      22 |  1838937 |  1807722 |      612   5731 |        0 |        0
533.42/533.53	c  533s |      22 |  1845159 |  1813822 |      612   5747 |        0 |        0
535.41/535.56	c  535s |      22 |  1851206 |  1819822 |      612   5763 |        0 |        0
537.41/537.57	c  537s |      22 |  1857056 |  1825622 |      612   5778 |        0 |        0
539.41/539.58	c  539s |      22 |  1863112 |  1831622 |      612   5793 |        0 |        0
541.41/541.59	c  541s |      22 |  1869105 |  1837522 |      612   5809 |        0 |        0
543.42/543.59	c  543s |      22 |  1875198 |  1843522 |      612   5825 |        0 |        0
545.52/545.60	c  545s |      22 |  1881275 |  1849522 |      612   5840 |        0 |        0
547.51/547.62	c  547s |      22 |  1887356 |  1855522 |      612   5856 |        0 |        0
549.51/549.65	c  549s |      22 |  1893815 |  1861922 |      612   5873 |        0 |        0
551.51/551.65	c  551s |      22 |  1899797 |  1867822 |      612   5888 |        0 |        0
553.51/553.69	c  553s |      22 |  1905671 |  1873622 |      612   5903 |        0 |        0
555.61/555.72	c  555s |      22 |  1911695 |  1879622 |      612   5919 |        0 |        0
557.61/557.74	c  557s |      22 |  1917660 |  1885522 |      612   5935 |        0 |        0
559.61/559.75	c  559s |      22 |  1923517 |  1891322 |      612   5950 |        0 |        0
561.61/561.77	c  561s |      22 |  1929268 |  1897022 |      612   5965 |        0 |        0
563.61/563.78	c  563s |      22 |  1935110 |  1902822 |      612   5980 |        0 |        0
565.71/565.80	c  565s |      22 |  1941177 |  1908822 |      612   5996 |        0 |        0
567.70/567.81	c  567s |      22 |  1947239 |  1914822 |      612   6012 |        0 |        0
569.71/569.82	c  569s |      22 |  1954059 |  1921622 |      612   6030 |        0 |        0
571.70/571.84	c  571s |      22 |  1960870 |  1928422 |      612   6047 |        0 |        0
573.70/573.85	c  573s |      22 |  1967392 |  1934922 |      612   6064 |        0 |        0
575.70/575.86	c  575s |      22 |  1973701 |  1941222 |      612   6081 |        0 |        0
577.70/577.87	c  577s |      22 |  1980047 |  1947522 |      612   6098 |        0 |        0
579.71/579.87	c  579s |      22 |  1986269 |  1953722 |      612   6114 |        0 |        0
581.70/581.88	c  581s |      22 |  1992422 |  1959822 |      612   6130 |        0 |        0
583.80/583.90	c  583s |      22 |  1998481 |  1965822 |      612   6146 |        0 |        0
585.80/585.91	c  585s |      22 |  2004743 |  1972022 |      612   6162 |        0 |        0
587.80/587.93	c  587s |      22 |  2010893 |  1978122 |      612   6178 |        0 |        0
589.80/589.96	c  589s |      22 |  2017335 |  1984522 |      612   6195 |        0 |        0
591.80/591.96	c  591s |      22 |  2023639 |  1990822 |      612   6211 |        0 |        0
593.80/593.97	c  593s |      22 |  2029849 |  1997022 |      612   6227 |        0 |        0
595.80/595.98	c  595s |      22 |  2036183 |  2003322 |      612   6244 |        0 |        0
597.80/597.99	c  597s |      22 |  2042432 |  2009522 |      612   6260 |        0 |        0
599.89/600.01	c  599s |      22 |  2048470 |  2015522 |      612   6276 |        0 |        0
601.89/602.03	c  602s |      22 |  2054943 |  2021922 |      612   6293 |        0 |        0
603.90/604.05	c  604s |      22 |  2061140 |  2028022 |      612   6309 |        0 |        0
605.89/606.06	c  606s |      22 |  2067363 |  2034222 |      612   6325 |        0 |        0
607.89/608.08	c  608s |      22 |  2073503 |  2040322 |      612   6341 |        0 |        0
609.89/610.09	c  610s |      22 |  2079744 |  2046522 |      612   6358 |        0 |        0
611.99/612.10	c  612s |      22 |  2085786 |  2052522 |      612   6373 |        0 |        0
613.99/614.13	c  614s |      22 |  2091824 |  2058522 |      612   6389 |        0 |        0
616.00/616.15	c  616s |      22 |  2097790 |  2064422 |      612   6405 |        0 |        0
617.99/618.16	c  618s |      22 |  2103704 |  2070322 |      612   6420 |        0 |        0
619.99/620.18	c  620s |      22 |  2109550 |  2076122 |      612   6436 |        0 |        0
622.09/622.20	c  622s |      22 |  2115413 |  2081922 |      612   6451 |        0 |        0
624.09/624.21	c  624s |      22 |  2121352 |  2087822 |      612   6467 |        0 |        0
626.09/626.24	c  626s |      22 |  2127319 |  2093722 |      612   6482 |        0 |        0
628.09/628.24	c  628s |      22 |  2133255 |  2099622 |      612   6498 |        0 |        0
630.10/630.26	c  630s |      22 |  2139104 |  2105422 |      612   6513 |        0 |        0
632.09/632.28	c  632s |      22 |  2144793 |  2111022 |      612   6528 |        0 |        0
634.09/634.29	c  634s |      22 |  2150643 |  2116822 |      612   6544 |        0 |        0
636.09/636.29	c  636s |      22 |  2156597 |  2122722 |      612   6559 |        0 |        0
638.09/638.29	c  638s |      22 |  2163227 |  2129322 |      612   6576 |        0 |        0
640.10/640.30	c  640s |      22 |  2169936 |  2136022 |      612   6594 |        0 |        0
642.19/642.33	c  642s |      22 |  2176974 |  2143022 |      612   6612 |        0 |        0
644.19/644.34	c  644s |      22 |  2183591 |  2149622 |      612   6629 |        0 |        0
646.19/646.35	c  646s |      22 |  2190126 |  2156122 |      612   6646 |        0 |        0
648.19/648.36	c  648s |      22 |  2197164 |  2163122 |      612   6665 |        0 |        0
650.19/650.39	c  650s |      22 |  2204517 |  2170422 |      612   6683 |        0 |        0
652.30/652.41	c  652s |      22 |  2212148 |  2178022 |      612   6703 |        0 |        0
654.29/654.42	c  654s |      22 |  2219458 |  2185322 |      612   6722 |        0 |        0
656.29/656.45	c  656s |      22 |  2226594 |  2192422 |      612   6741 |        0 |        0
658.29/658.46	c  658s |      22 |  2233528 |  2199322 |      612   6759 |        0 |        0
660.29/660.47	c  660s |      22 |  2240739 |  2206522 |      612   6778 |        0 |        0
662.29/662.49	c  662s |      22 |  2247569 |  2213322 |      612   6795 |        0 |        0
664.39/664.51	c  664s |      22 |  2254305 |  2220022 |      612   6813 |        0 |        0
666.39/666.51	c  666s |      22 |  2261006 |  2226622 |      612   6830 |        0 |        0
668.39/668.51	c  668s |      22 |  2267551 |  2233122 |      612   6847 |        0 |        0
670.38/670.53	c  670s |      22 |  2274194 |  2239722 |      674   6863 |        0 |        0
672.38/672.54	c  672s |      22 |  2280674 |  2246122 |      674   6879 |        0 |        0
673.98/674.10	c  674s |      23 |  2285623 |  2251038 |      674   6891 |        0 |        0
675.98/676.11	c  676s |      23 |  2292138 |  2257338 |      674   6906 |        0 |        0
677.98/678.12	c  678s |      23 |  2298663 |  2263838 |      674   6922 |        0 |        0
679.98/680.15	c  680s |      23 |  2305142 |  2270238 |      674   6937 |        0 |        0
681.99/682.18	c  682s |      23 |  2311649 |  2276638 |      674   6953 |        0 |        0
683.98/684.20	c  684s |      23 |  2317845 |  2282738 |      674   6967 |        0 |        0
686.08/686.22	c  686s |      23 |  2324101 |  2288938 |      674   6983 |        0 |        0
688.08/688.23	c  688s |      23 |  2330188 |  2294938 |      674   6997 |        0 |        0
690.08/690.25	c  690s |      23 |  2336519 |  2301138 |      674   7012 |        0 |        0
692.08/692.27	c  692s |      23 |  2342686 |  2307238 |      674   7027 |        0 |        0
694.09/694.27	c  694s |      23 |  2348762 |  2313238 |      674   7041 |        0 |        0
696.08/696.28	c  696s |      23 |  2354837 |  2319238 |      674   7056 |        0 |        0
698.08/698.29	c  698s |      23 |  2360805 |  2325138 |      674   7070 |        0 |        0
700.08/700.29	c  700s |      23 |  2366755 |  2331038 |      674   7085 |        0 |        0
702.18/702.33	c  702s |      23 |  2372944 |  2337138 |      674   7100 |        0 |        0
704.18/704.33	c  704s |      23 |  2379220 |  2343338 |      674   7115 |        0 |        0
706.19/706.36	c  706s |      23 |  2385422 |  2349438 |      674   7129 |        0 |        0
708.18/708.39	c  708s |      23 |  2391378 |  2355338 |      674   7144 |        0 |        0
710.28/710.41	c  710s |      23 |  2397811 |  2361738 |      674   7159 |        0 |        0
712.28/712.42	c  712s |      23 |  2403944 |  2367838 |      674   7174 |        0 |        0
714.28/714.43	c  714s |      23 |  2410164 |  2374038 |      674   7189 |        0 |        0
716.28/716.46	c  716s |      23 |  2416482 |  2380338 |      674   7205 |        0 |        0
718.28/718.48	c  718s |      23 |  2422804 |  2386638 |      674   7220 |        0 |        0
720.28/720.48	c  720s |      23 |  2429225 |  2393038 |      674   7236 |        0 |        0
722.28/722.49	c  722s |      23 |  2435634 |  2399438 |      674   7251 |        0 |        0
724.37/724.52	c  724s |      23 |  2441975 |  2405738 |      674   7266 |        0 |        0
726.37/726.54	c  726s |      23 |  2448200 |  2411938 |      674   7281 |        0 |        0
728.37/728.56	c  728s |      23 |  2454720 |  2418438 |      674   7297 |        0 |        0
730.38/730.59	c  730s |      23 |  2461047 |  2424738 |      674   7312 |        0 |        0
732.36/732.59	c  732s |      23 |  2467453 |  2431138 |      674   7328 |        0 |        0
734.36/734.59	c  734s |      23 |  2473870 |  2437538 |      674   7344 |        0 |        0
736.46/736.62	c  736s |      23 |  2480678 |  2444338 |      674   7360 |        0 |        0
738.46/738.63	c  738s |      23 |  2487283 |  2450838 |      674   7376 |        0 |        0
740.46/740.63	c  740s |      23 |  2493603 |  2457038 |      674   7391 |        0 |        0
742.47/742.64	c  742s |      23 |  2499882 |  2463238 |      674   7406 |        0 |        0
744.46/744.65	c  744s |      23 |  2506159 |  2469438 |      674   7421 |        0 |        0
746.46/746.66	c  746s |      23 |  2512396 |  2475638 |      674   7436 |        0 |        0
748.46/748.66	c  748s |      23 |  2518917 |  2482138 |      674   7452 |        0 |        0
750.46/750.67	c  750s |      23 |  2525534 |  2488738 |      674   7468 |        0 |        0
752.46/752.67	c  752s |      23 |  2531785 |  2494938 |      674   7483 |        0 |        0
754.46/754.68	c  754s |      23 |  2538211 |  2501338 |      674   7498 |        0 |        0
756.46/756.68	c  756s |      23 |  2544338 |  2507438 |      674   7513 |        0 |        0
758.56/758.71	c  758s |      23 |  2550666 |  2513738 |      674   7529 |        0 |        0
760.56/760.75	c  760s |      23 |  2557178 |  2520238 |      674   7545 |        0 |        0
762.55/762.77	c  762s |      23 |  2563502 |  2526538 |      674   7560 |        0 |        0
764.65/764.80	c  764s |      23 |  2569913 |  2532938 |      674   7575 |        0 |        0
766.66/766.81	c  766s |      23 |  2576079 |  2539038 |      674   7590 |        0 |        0
768.65/768.84	c  768s |      23 |  2582472 |  2545338 |      674   7606 |        0 |        0
770.65/770.87	c  770s |      23 |  2588814 |  2551638 |      674   7621 |        0 |        0
772.64/772.88	c  772s |      23 |  2595353 |  2558138 |      674   7637 |        0 |        0
774.65/774.89	c  774s |      23 |  2601603 |  2564338 |      674   7652 |        0 |        0
776.75/776.90	c  776s |      23 |  2607547 |  2570238 |      674   7666 |        0 |        0
778.76/778.91	c  778s |      23 |  2613814 |  2576438 |      674   7681 |        0 |        0
780.75/780.93	c  780s |      23 |  2620258 |  2582838 |      674   7697 |        0 |        0
782.75/782.95	c  782s |      23 |  2626486 |  2589038 |      674   7712 |        0 |        0
784.75/784.96	c  784s |      23 |  2632569 |  2595038 |      674   7726 |        0 |        0
786.75/786.97	c  786s |      23 |  2638786 |  2601238 |      674   7741 |        0 |        0
788.85/789.00	c  788s |      23 |  2645013 |  2607438 |      674   7757 |        0 |        0
790.85/791.02	c  791s |      23 |  2651137 |  2613538 |      674   7771 |        0 |        0
792.84/793.05	c  793s |      23 |  2657447 |  2619838 |      674   7787 |        0 |        0
794.84/795.05	c  795s |      23 |  2663796 |  2626138 |      674   7802 |        0 |        0
796.84/797.05	c  797s |      23 |  2669629 |  2631938 |      674   7816 |        0 |        0
798.84/799.07	c  799s |      23 |  2675782 |  2638038 |      674   7831 |        0 |        0
800.84/801.08	c  801s |      23 |  2681702 |  2643938 |      674   7846 |        0 |        0
802.84/803.10	c  803s |      23 |  2687635 |  2649838 |      674   7860 |        0 |        0
804.93/805.12	c  805s |      23 |  2693669 |  2655838 |      674   7875 |        0 |        0
806.93/807.13	c  807s |      23 |  2700095 |  2662238 |      674   7890 |        0 |        0
808.93/809.15	c  809s |      23 |  2706312 |  2668438 |      674   7906 |        0 |        0
810.93/811.15	c  811s |      23 |  2712355 |  2674438 |      674   7920 |        0 |        0
812.93/813.19	c  813s |      23 |  2718376 |  2680438 |      674   7935 |        0 |        0
814.94/815.19	c  815s |      23 |  2725385 |  2687238 |      674   7951 |        0 |        0
817.03/817.22	c  817s |      23 |  2732221 |  2694038 |      674   7968 |        0 |        0
819.03/819.25	c  819s |      23 |  2739089 |  2700838 |      674   7984 |        0 |        0
821.03/821.25	c  821s |      23 |  2746006 |  2707738 |      674   8001 |        0 |        0
823.02/823.25	c  823s |      23 |  2753025 |  2714738 |      674   8018 |        0 |        0
825.02/825.28	c  825s |      23 |  2760355 |  2722038 |      674   8035 |        0 |        0
827.03/827.29	c  827s |      23 |  2768094 |  2729738 |      674   8054 |        0 |        0
829.12/829.31	c  829s |      23 |  2775439 |  2737038 |      674   8071 |        0 |        0
831.12/831.32	c  831s |      23 |  2782562 |  2744138 |      674   8089 |        0 |        0
833.12/833.34	c  833s |      23 |  2789558 |  2751038 |      674   8105 |        0 |        0
835.12/835.36	c  835s |      23 |  2796520 |  2757838 |      674   8122 |        0 |        0
837.11/837.37	c  837s |      23 |  2803127 |  2764338 |      674   8137 |        0 |        0
839.12/839.40	c  839s |      23 |  2810001 |  2771138 |      674   8154 |        0 |        0
841.22/841.42	c  841s |      23 |  2816653 |  2777738 |      674   8170 |        0 |        0
843.22/843.42	c  843s |      23 |  2823199 |  2784238 |      674   8185 |        0 |        0
845.22/845.44	c  845s |      23 |  2830413 |  2791238 |      674   8202 |        0 |        0
847.22/847.48	c  847s |      23 |  2837373 |  2798038 |      674   8219 |        0 |        0
849.22/849.49	c  849s |      23 |  2844447 |  2804838 |      674   8235 |        0 |        0
851.32/851.51	c  851s |      23 |  2851146 |  2811338 |      674   8251 |        0 |        0
853.31/853.54	c  853s |      23 |  2858191 |  2818338 |      674   8268 |        0 |        0
855.31/855.55	c  855s |      23 |  2865106 |  2825238 |      674   8284 |        0 |        0
857.31/857.56	c  857s |      23 |  2871855 |  2831938 |      674   8300 |        0 |        0
859.31/859.58	c  859s |      23 |  2878552 |  2838538 |      674   8316 |        0 |        0
861.31/861.58	c  861s |      23 |  2884884 |  2844838 |      674   8332 |        0 |        0
863.42/863.61	c  863s |      23 |  2891696 |  2851638 |      674   8348 |        0 |        0
865.41/865.62	c  865s |      23 |  2898518 |  2858438 |      674   8364 |        0 |        0
867.41/867.64	c  867s |      23 |  2904770 |  2864638 |      674   8380 |        0 |        0
869.41/869.67	c  869s |      23 |  2911219 |  2871038 |      674   8395 |        0 |        0
871.41/871.69	c  871s |      23 |  2917746 |  2877538 |      674   8411 |        0 |        0
873.41/873.69	c  873s |      23 |  2923967 |  2883738 |      674   8426 |        0 |        0
875.41/875.70	c  875s |      23 |  2931023 |  2890738 |      674   8443 |        0 |        0
877.50/877.71	c  877s |      23 |  2937987 |  2897638 |      674   8460 |        0 |        0
879.50/879.73	c  879s |      23 |  2944674 |  2904238 |      674   8476 |        0 |        0
881.50/881.74	c  881s |      23 |  2951404 |  2910938 |      674   8492 |        0 |        0
883.50/883.77	c  883s |      23 |  2958413 |  2917938 |      674   8509 |        0 |        0
885.50/885.77	c  885s |      23 |  2965174 |  2924638 |      674   8525 |        0 |        0
887.50/887.80	c  887s |      23 |  2972024 |  2931438 |      674   8541 |        0 |        0
889.60/889.81	c  889s |      23 |  2978609 |  2937938 |      674   8557 |        0 |        0
891.60/891.82	c  891s |      23 |  2985076 |  2944338 |      674   8573 |        0 |        0
893.59/893.84	c  893s |      23 |  2991616 |  2950838 |      674   8588 |        0 |        0
895.59/895.85	c  895s |      23 |  2998277 |  2957438 |      674   8604 |        0 |        0
897.59/897.88	c  897s |      23 |  3004841 |  2963938 |      674   8620 |        0 |        0
899.60/899.89	c  899s |      23 |  3011383 |  2970438 |      674   8636 |        0 |        0
901.69/901.91	c  901s |      23 |  3017926 |  2976938 |      674   8652 |        0 |        0
903.68/903.95	c  903s |      23 |  3024427 |  2983338 |      674   8668 |        0 |        0
905.68/905.97	c  905s |      23 |  3031013 |  2989838 |      674   8683 |        0 |        0
907.68/907.98	c  907s |      23 |  3037470 |  2996238 |      674   8699 |        0 |        0
909.68/909.99	c  909s |      23 |  3044302 |  3003038 |      674   8715 |        0 |        0
911.69/912.00	c  911s |      23 |  3051216 |  3009938 |      674   8732 |        0 |        0
913.78/914.02	c  913s |      23 |  3057749 |  3016438 |      674   8748 |        0 |        0
915.78/916.04	c  916s |      23 |  3064276 |  3022938 |      674   8764 |        0 |        0
917.78/918.06	c  918s |      23 |  3070505 |  3029138 |      674   8779 |        0 |        0
919.78/920.07	c  920s |      23 |  3076932 |  3035538 |      674   8794 |        0 |        0
921.78/922.09	c  922s |      23 |  3084699 |  3043238 |      674   8813 |        0 |        0
923.78/924.10	c  924s |      23 |  3092026 |  3050538 |      674   8830 |        0 |        0
925.87/926.10	c  926s |      23 |  3099160 |  3057638 |      674   8847 |        0 |        0
927.87/928.12	c  928s |      23 |  3106234 |  3064638 |      674   8864 |        0 |        0
929.87/930.15	c  930s |      23 |  3113256 |  3071638 |      674   8881 |        0 |        0
931.88/932.17	c  932s |      23 |  3120388 |  3078738 |      674   8898 |        0 |        0
933.88/934.18	c  934s |      23 |  3127290 |  3085638 |      674   8915 |        0 |        0
935.88/936.19	c  936s |      23 |  3134623 |  3092938 |      674   8933 |        0 |        0
937.97/938.21	c  938s |      23 |  3142439 |  3100738 |      674   8951 |        0 |        0
939.97/940.23	c  940s |      23 |  3149862 |  3108138 |      674   8969 |        0 |        0
941.97/942.24	c  942s |      23 |  3156880 |  3115138 |      674   8986 |        0 |        0
943.97/944.27	c  944s |      23 |  3164006 |  3122238 |      674   9003 |        0 |        0
945.97/946.28	c  946s |      23 |  3170940 |  3129138 |      674   9020 |        0 |        0
947.98/948.28	c  948s |      23 |  3177868 |  3136038 |      674   9037 |        0 |        0
949.97/950.29	c  950s |      23 |  3184975 |  3143138 |      674   9054 |        0 |        0
952.07/952.31	c  952s |      23 |  3191822 |  3149938 |      674   9070 |        0 |        0
954.06/954.32	c  954s |      23 |  3198648 |  3156738 |      674   9087 |        0 |        0
956.06/956.34	c  956s |      23 |  3205580 |  3163638 |      674   9104 |        0 |        0
958.06/958.37	c  958s |      23 |  3212041 |  3170038 |      674   9119 |        0 |        0
960.07/960.39	c  960s |      23 |  3218646 |  3176638 |      674   9135 |        0 |        0
962.16/962.42	c  962s |      23 |  3225179 |  3183138 |      674   9151 |        0 |        0
964.16/964.45	c  964s |      23 |  3231814 |  3189738 |      674   9167 |        0 |        0
966.16/966.47	c  966s |      23 |  3239229 |  3197138 |      674   9185 |        0 |        0
968.16/968.47	c  968s |      23 |  3246261 |  3204138 |      674   9201 |        0 |        0
970.16/970.47	c  970s |      23 |  3252998 |  3210838 |      674   9218 |        0 |        0
972.16/972.48	c  972s |      23 |  3259644 |  3217438 |      674   9234 |        0 |        0
974.15/974.49	c  974s |      23 |  3266559 |  3224238 |      674   9250 |        0 |        0
976.25/976.51	c  976s |      23 |  3273240 |  3230838 |      674   9266 |        0 |        0
978.25/978.52	c  978s |      23 |  3279715 |  3237238 |      674   9282 |        0 |        0
980.25/980.53	c  980s |      23 |  3286456 |  3243938 |      674   9298 |        0 |        0
982.25/982.55	c  982s |      23 |  3293469 |  3250838 |      674   9315 |        0 |        0
984.25/984.56	c  984s |      23 |  3300094 |  3257338 |      674   9330 |        0 |        0
986.24/986.57	c  986s |      23 |  3306495 |  3263638 |      674   9346 |        0 |        0
988.24/988.59	c  988s |      23 |  3312907 |  3269938 |      674   9361 |        0 |        0
990.34/990.61	c  990s |      23 |  3319422 |  3276338 |      674   9376 |        0 |        0
992.34/992.63	c  992s |      23 |  3325973 |  3282738 |      674   9392 |        0 |        0
994.34/994.64	c  994s |      23 |  3332322 |  3288938 |      674   9407 |        0 |        0
996.34/996.67	c  996s |      23 |  3339230 |  3295738 |      674   9424 |        0 |        0
998.34/998.69	c  998s |      23 |  3346030 |  3302438 |      674   9440 |        0 |        0
1000.44/1000.70	c 1000s |      23 |  3352705 |  3309038 |      674   9456 |        0 |        0
1002.43/1002.73	c 1002s |      23 |  3359496 |  3315738 |      674   9472 |        0 |        0
1004.44/1004.75	c 1004s |      23 |  3366304 |  3322438 |      674   9489 |        0 |        0
1006.44/1006.76	c 1006s |      23 |  3372966 |  3329038 |      674   9504 |        0 |        0
1008.45/1008.77	c 1008s |      23 |  3379491 |  3335438 |      674   9520 |        0 |        0
1010.44/1010.78	c 1010s |      23 |  3386051 |  3341838 |      674   9535 |        0 |        0
1012.43/1012.79	c 1012s |      23 |  3392477 |  3348138 |      674   9551 |        0 |        0
1014.43/1014.79	c 1014s |      23 |  3399020 |  3354538 |      742   9566 |        0 |        0
1016.53/1016.80	c 1016s |      23 |  3405354 |  3360838 |      742   9580 |        0 |        0
1018.53/1018.82	c 1018s |      23 |  3411745 |  3367138 |      742   9594 |        0 |        0
1020.54/1020.83	c 1020s |      23 |  3417976 |  3373338 |      742   9608 |        0 |        0
1021.53/1021.82	c 1021s |      24 |  3421316 |  3376662 |      742   9615 |        0 |        0
1023.53/1023.83	c 1023s |      24 |  3428212 |  3383262 |      742   9630 |        0 |        0
1025.53/1025.83	c 1025s |      24 |  3434974 |  3389862 |      742   9645 |        0 |        0
1027.53/1027.84	c 1027s |      24 |  3441847 |  3396662 |      742   9660 |        0 |        0
1029.53/1029.85	c 1029s |      24 |  3448769 |  3403562 |      742   9675 |        0 |        0
1031.54/1031.86	c 1031s |      24 |  3455533 |  3410262 |      742   9690 |        0 |        0
1033.52/1033.88	c 1033s |      24 |  3462333 |  3416962 |      742   9705 |        0 |        0
1035.62/1035.90	c 1035s |      24 |  3469184 |  3423562 |      742   9720 |        0 |        0
1037.62/1037.91	c 1037s |      24 |  3476014 |  3430262 |      742   9735 |        0 |        0
1039.62/1039.94	c 1039s |      24 |  3482730 |  3436762 |      742   9749 |        0 |        0
1041.62/1041.96	c 1041s |      24 |  3489432 |  3443262 |      742   9764 |        0 |        0
1043.63/1043.99	c 1043s |      24 |  3496161 |  3449862 |      742   9778 |        0 |        0
1045.72/1046.00	c 1045s |      24 |  3502975 |  3456562 |      742   9793 |        0 |        0
1047.72/1048.01	c 1047s |      24 |  3509674 |  3463162 |      742   9808 |        0 |        0
1049.72/1050.02	c 1050s |      24 |  3516800 |  3470262 |      742   9824 |        0 |        0
1051.72/1052.03	c 1052s |      24 |  3524034 |  3477462 |      742   9840 |        0 |        0
1053.71/1054.04	c 1054s |      24 |  3530978 |  3484362 |      742   9855 |        0 |        0
1055.72/1056.06	c 1056s |      24 |  3537941 |  3491262 |      742   9871 |        0 |        0
1057.71/1058.08	c 1058s |      24 |  3544716 |  3497962 |      742   9886 |        0 |        0
1059.81/1060.10	c 1060s |      24 |  3551526 |  3504662 |      742   9901 |        0 |        0
1061.81/1062.10	c 1062s |      24 |  3558266 |  3511362 |      742   9916 |        0 |        0
1063.81/1064.12	c 1064s |      24 |  3565016 |  3518062 |      742   9931 |        0 |        0
1065.81/1066.13	c 1066s |      24 |  3571999 |  3524862 |      742   9946 |        0 |        0
1067.81/1068.16	c 1068s |      24 |  3578997 |  3531762 |      742   9961 |        0 |        0
1069.81/1070.18	c 1070s |      24 |  3585679 |  3538362 |      742   9976 |        0 |        0
1071.91/1072.21	c 1072s |      24 |  3592383 |  3544962 |      742   9990 |        0 |        0
1073.90/1074.22	c 1074s |      24 |  3598954 |  3551462 |      742  10005 |        0 |        0
1075.90/1076.23	c 1076s |      24 |  3605335 |  3557762 |      742  10019 |        0 |        0
1077.90/1078.24	c 1078s |      24 |  3611821 |  3564162 |      742  10033 |        0 |        0
1079.91/1080.26	c 1080s |      24 |  3618549 |  3570762 |      742  10048 |        0 |        0
1081.90/1082.28	c 1082s |      24 |  3625798 |  3577862 |      742  10064 |        0 |        0
1083.89/1084.28	c 1084s |      24 |  3633608 |  3585562 |      742  10081 |        0 |        0
1085.89/1086.29	c 1086s |      24 |  3641656 |  3593462 |      742  10099 |        0 |        0
1087.99/1088.31	c 1088s |      24 |  3649209 |  3600962 |      742  10115 |        0 |        0
1089.99/1090.33	c 1090s |      24 |  3656822 |  3608462 |      742  10132 |        0 |        0
1092.00/1092.33	c 1092s |      24 |  3664125 |  3615662 |      742  10148 |        0 |        0
1093.99/1094.36	c 1094s |      24 |  3671440 |  3622762 |      742  10164 |        0 |        0
1095.99/1096.37	c 1096s |      24 |  3678817 |  3630062 |      742  10180 |        0 |        0
1097.99/1098.37	c 1098s |      24 |  3686019 |  3637162 |      742  10196 |        0 |        0
1099.99/1100.38	c 1100s |      24 |  3693183 |  3644262 |      742  10211 |        0 |        0
1101.99/1102.38	c 1102s |      24 |  3700341 |  3651362 |      742  10227 |        0 |        0
1104.09/1104.41	c 1104s |      24 |  3707196 |  3658162 |      742  10242 |        0 |        0
1106.09/1106.43	c 1106s |      24 |  3714167 |  3665062 |      742  10258 |        0 |        0
1108.09/1108.45	c 1108s |      24 |  3721029 |  3671862 |      742  10273 |        0 |        0
1110.09/1110.46	c 1110s |      24 |  3727705 |  3678462 |      742  10287 |        0 |        0
1112.09/1112.48	c 1112s |      24 |  3734614 |  3685262 |      742  10303 |        0 |        0
1114.18/1114.50	c 1114s |      24 |  3741833 |  3692362 |      742  10318 |        0 |        0
1116.08/1116.50	c 1116s |      24 |  3748894 |  3699262 |      742  10334 |        0 |        0
1118.18/1118.50	c 1118s |      24 |  3755462 |  3705762 |      742  10348 |        0 |        0
1120.18/1120.52	c 1120s |      24 |  3762458 |  3712662 |      742  10364 |        0 |        0
1122.18/1122.55	c 1122s |      24 |  3769116 |  3719262 |      742  10378 |        0 |        0
1124.18/1124.56	c 1124s |      24 |  3775285 |  3725362 |      742  10392 |        0 |        0
1126.18/1126.56	c 1126s |      24 |  3781918 |  3731962 |      742  10407 |        0 |        0
1128.18/1128.57	c 1128s |      24 |  3788466 |  3738462 |      742  10421 |        0 |        0
1130.18/1130.58	c 1130s |      24 |  3795282 |  3745162 |      742  10436 |        0 |        0
1132.17/1132.59	c 1132s |      24 |  3802050 |  3751862 |      742  10451 |        0 |        0
1134.27/1134.61	c 1134s |      24 |  3808898 |  3758662 |      742  10466 |        0 |        0
1136.27/1136.62	c 1136s |      24 |  3815464 |  3765162 |      742  10481 |        0 |        0
1138.28/1138.65	c 1138s |      24 |  3822042 |  3771662 |      742  10495 |        0 |        0
1140.27/1140.66	c 1140s |      24 |  3828606 |  3778162 |      742  10510 |        0 |        0
1142.27/1142.66	c 1142s |      24 |  3835246 |  3784762 |      742  10525 |        0 |        0
1144.26/1144.66	c 1144s |      24 |  3841811 |  3791262 |      742  10539 |        0 |        0
1146.26/1146.68	c 1146s |      24 |  3848445 |  3797862 |      742  10554 |        0 |        0
1148.27/1148.68	c 1148s |      24 |  3854856 |  3804262 |      742  10568 |        0 |        0
1150.28/1150.70	c 1150s |      24 |  3861882 |  3811262 |      742  10584 |        0 |        0
1152.37/1152.70	c 1152s |      24 |  3868562 |  3817862 |      742  10599 |        0 |        0
1154.37/1154.73	c 1154s |      24 |  3875220 |  3824462 |      742  10613 |        0 |        0
1156.37/1156.73	c 1156s |      24 |  3882058 |  3831262 |      742  10629 |        0 |        0
1158.37/1158.74	c 1158s |      24 |  3888431 |  3837562 |      742  10643 |        0 |        0
1160.37/1160.74	c 1160s |      24 |  3894505 |  3843562 |      742  10656 |        0 |        0
1162.37/1162.76	c 1162s |      24 |  3900586 |  3849562 |      742  10669 |        0 |        0
1164.36/1164.78	c 1164s |      24 |  3907051 |  3855962 |      742  10684 |        0 |        0
1166.36/1166.79	c 1166s |      24 |  3913411 |  3862262 |      742  10698 |        0 |        0
1168.46/1168.82	c 1168s |      24 |  3920074 |  3868862 |      742  10713 |        0 |        0
1170.46/1170.83	c 1170s |      24 |  3926339 |  3875062 |      742  10726 |        0 |        0
1172.46/1172.85	c 1172s |      24 |  3932626 |  3881262 |      742  10740 |        0 |        0
1174.46/1174.88	c 1174s |      24 |  3938593 |  3887162 |      742  10753 |        0 |        0
1176.46/1176.89	c 1176s |      24 |  3944553 |  3893062 |      742  10767 |        0 |        0
1178.46/1178.89	c 1178s |      24 |  3951527 |  3899962 |      742  10782 |        0 |        0
1180.55/1180.90	c 1180s |      24 |  3958590 |  3906962 |      742  10798 |        0 |        0
1182.55/1182.91	c 1182s |      24 |  3965677 |  3913962 |      742  10813 |        0 |        0
1184.55/1184.92	c 1184s |      24 |  3972702 |  3920862 |      742  10829 |        0 |        0
1186.56/1186.93	c 1186s |      24 |  3979283 |  3927362 |      742  10843 |        0 |        0
1188.55/1188.94	c 1188s |      24 |  3985849 |  3933862 |      742  10858 |        0 |        0
1190.55/1190.96	c 1190s |      24 |  3992123 |  3940062 |      742  10872 |        0 |        0
1192.54/1192.96	c 1192s |      24 |  3998380 |  3946262 |      742  10886 |        0 |        0
1194.64/1195.00	c 1194s |      24 |  4004792 |  3952562 |      742  10900 |        0 |        0
1196.64/1197.00	c 1196s |      24 |  4011180 |  3958862 |      742  10914 |        0 |        0
1198.65/1199.03	c 1199s |      24 |  4017504 |  3965062 |      742  10927 |        0 |        0
1200.64/1201.06	c 1201s |      24 |  4024076 |  3971462 |      742  10942 |        0 |        0
1202.64/1203.08	c 1203s |      24 |  4030480 |  3977762 |      742  10956 |        0 |        0
1204.74/1205.10	c 1205s |      24 |  4037070 |  3984262 |      742  10970 |        0 |        0
1206.74/1207.13	c 1207s |      24 |  4043544 |  3990662 |      742  10985 |        0 |        0
1208.74/1209.13	c 1209s |      24 |  4049748 |  3996762 |      742  10998 |        0 |        0
1210.74/1211.17	c 1211s |      24 |  4056190 |  4003062 |      742  11013 |        0 |        0
1212.73/1213.17	c 1213s |      24 |  4062288 |  4009062 |      742  11026 |        0 |        0
1214.73/1215.19	c 1215s |      24 |  4068363 |  4015062 |      742  11039 |        0 |        0
1216.73/1217.19	c 1217s |      24 |  4074255 |  4020862 |      742  11053 |        0 |        0
1218.83/1219.20	c 1219s |      24 |  4080650 |  4027162 |      742  11067 |        0 |        0
1220.83/1221.23	c 1221s |      24 |  4086825 |  4033262 |      742  11080 |        0 |        0
1222.83/1223.26	c 1223s |      24 |  4093018 |  4039362 |      742  11094 |        0 |        0
1224.82/1225.27	c 1225s |      24 |  4098602 |  4044862 |      742  11107 |        0 |        0
1226.82/1227.27	c 1227s |      24 |  4104375 |  4050562 |      742  11119 |        0 |        0
1228.82/1229.28	c 1229s |      24 |  4110258 |  4056362 |      742  11132 |        0 |        0
1230.82/1231.29	c 1231s |      24 |  4116266 |  4062262 |      742  11146 |        0 |        0
1232.92/1233.30	c 1233s |      24 |  4122358 |  4068262 |      742  11159 |        0 |        0
1234.92/1235.32	c 1235s |      24 |  4128522 |  4074362 |      742  11173 |        0 |        0
1236.92/1237.35	c 1237s |      24 |  4134555 |  4080362 |      742  11186 |        0 |        0
1238.92/1239.37	c 1239s |      24 |  4140845 |  4086562 |      742  11200 |        0 |        0
1240.92/1241.39	c 1241s |      24 |  4147306 |  4092962 |      742  11214 |        0 |        0
1243.02/1243.40	c 1243s |      24 |  4153620 |  4099162 |      742  11228 |        0 |        0
1245.01/1245.42	c 1245s |      24 |  4159824 |  4105262 |      742  11242 |        0 |        0
1247.02/1247.44	c 1247s |      24 |  4166333 |  4111662 |      742  11256 |        0 |        0
1249.01/1249.44	c 1249s |      24 |  4172731 |  4117962 |      742  11270 |        0 |        0
1251.01/1251.47	c 1251s |      24 |  4178832 |  4123962 |      742  11284 |        0 |        0
1253.01/1253.49	c 1253s |      24 |  4185047 |  4130062 |      742  11297 |        0 |        0
1255.01/1255.49	c 1255s |      24 |  4191784 |  4136762 |      742  11312 |        0 |        0
1257.11/1257.51	c 1257s |      24 |  4198528 |  4143462 |      742  11327 |        0 |        0
1259.11/1259.52	c 1259s |      24 |  4204774 |  4149662 |      742  11341 |        0 |        0
1261.11/1261.52	c 1261s |      24 |  4210941 |  4155762 |      742  11355 |        0 |        0
1263.10/1263.53	c 1263s |      24 |  4216813 |  4161562 |      742  11368 |        0 |        0
1265.10/1265.55	c 1265s |      24 |  4223172 |  4167862 |      742  11382 |        0 |        0
1267.10/1267.55	c 1267s |      24 |  4229589 |  4174262 |      742  11396 |        0 |        0
1269.11/1269.57	c 1269s |      24 |  4235758 |  4180362 |      742  11410 |        0 |        0
1271.10/1271.59	c 1271s |      24 |  4242313 |  4186862 |      742  11424 |        0 |        0
1273.20/1273.60	c 1273s |      24 |  4248647 |  4193162 |      742  11439 |        0 |        0
1275.20/1275.61	c 1275s |      24 |  4254971 |  4199462 |      742  11453 |        0 |        0
1277.20/1277.64	c 1277s |      24 |  4261288 |  4205762 |      742  11467 |        0 |        0
1279.20/1279.65	c 1279s |      24 |  4267321 |  4211762 |      742  11480 |        0 |        0
1281.20/1281.65	c 1281s |      24 |  4273342 |  4217762 |      742  11494 |        0 |        0
1283.19/1283.66	c 1283s |      24 |  4279798 |  4224162 |      742  11508 |        0 |        0
1285.19/1285.66	c 1285s |      24 |  4286473 |  4230762 |      742  11523 |        0 |        0
1287.19/1287.68	c 1287s |      24 |  4292626 |  4236862 |      742  11536 |        0 |        0
1289.19/1289.68	c 1289s |      24 |  4298826 |  4242962 |      742  11550 |        0 |        0
1291.29/1291.71	c 1291s |      24 |  4305099 |  4249162 |      742  11564 |        0 |        0
1293.29/1293.74	c 1293s |      24 |  4310892 |  4254862 |      742  11576 |        0 |        0
1295.29/1295.77	c 1295s |      24 |  4316890 |  4260762 |      742  11590 |        0 |        0
1297.28/1297.77	c 1297s |      24 |  4322961 |  4266762 |      742  11603 |        0 |        0
1299.28/1299.78	c 1299s |      24 |  4329136 |  4272862 |      742  11616 |        0 |        0
1301.28/1301.79	c 1301s |      24 |  4335203 |  4278862 |      742  11630 |        0 |        0
1303.38/1303.81	c 1303s |      24 |  4341211 |  4284762 |      742  11643 |        0 |        0
1305.39/1305.83	c 1305s |      24 |  4347424 |  4290862 |      742  11657 |        0 |        0
1307.38/1307.86	c 1307s |      24 |  4353301 |  4296662 |      742  11670 |        0 |        0
1309.48/1309.90	c 1309s |      24 |  4359181 |  4302462 |      742  11683 |        0 |        0
1311.48/1311.91	c 1311s |      24 |  4365898 |  4309062 |      742  11697 |        0 |        0
1313.48/1313.93	c 1313s |      24 |  4372165 |  4315262 |      742  11711 |        0 |        0
1315.48/1315.96	c 1315s |      24 |  4378293 |  4321262 |      742  11725 |        0 |        0
1317.48/1317.99	c 1317s |      24 |  4384567 |  4327462 |      742  11738 |        0 |        0
1319.58/1320.00	c 1319s |      24 |  4391031 |  4333862 |      742  11753 |        0 |        0
1321.57/1322.04	c 1322s |      24 |  4397333 |  4340062 |      742  11767 |        0 |        0
1323.57/1324.07	c 1324s |      24 |  4403405 |  4346062 |      742  11780 |        0 |        0
1325.67/1326.10	c 1326s |      24 |  4409398 |  4351962 |      742  11793 |        0 |        0
1327.67/1328.13	c 1328s |      24 |  4415827 |  4358262 |      742  11808 |        0 |        0
1329.67/1330.16	c 1330s |      24 |  4421872 |  4364162 |      742  11821 |        0 |        0
1331.68/1332.18	c 1332s |      24 |  4428075 |  4370262 |      742  11835 |        0 |        0
1333.67/1334.18	c 1334s |      24 |  4434682 |  4376762 |      742  11849 |        0 |        0
1335.77/1336.20	c 1336s |      24 |  4441031 |  4383062 |      742  11863 |        0 |        0
1337.77/1338.23	c 1338s |      24 |  4447460 |  4389362 |      742  11877 |        0 |        0
1339.77/1340.24	c 1340s |      24 |  4453962 |  4395662 |      742  11891 |        0 |        0
1341.77/1342.26	c 1342s |      24 |  4460291 |  4401862 |      742  11905 |        0 |        0
1343.77/1344.27	c 1344s |      24 |  4466577 |  4408062 |      742  11919 |        0 |        0
1345.86/1346.30	c 1346s |      24 |  4472866 |  4414262 |      742  11933 |        0 |        0
1347.86/1348.32	c 1348s |      24 |  4479139 |  4420462 |      742  11946 |        0 |        0
1349.86/1350.33	c 1350s |      24 |  4485320 |  4426562 |      742  11960 |        0 |        0
1351.86/1352.34	c 1352s |      24 |  4491611 |  4432762 |      742  11974 |        0 |        0
1353.86/1354.36	c 1354s |      24 |  4497812 |  4438862 |      742  11988 |        0 |        0
1355.86/1356.37	c 1356s |      24 |  4503559 |  4444562 |      742  12000 |        0 |        0
1357.86/1358.38	c 1358s |      24 |  4509642 |  4450562 |      742  12014 |        0 |        0
1359.86/1360.39	c 1360s |      24 |  4515596 |  4456462 |      742  12027 |        0 |        0
1361.96/1362.41	c 1362s |      24 |  4521878 |  4462562 |      742  12040 |        0 |        0
1363.95/1364.43	c 1364s |      24 |  4528194 |  4468762 |      742  12054 |        0 |        0
1365.95/1366.45	c 1366s |      24 |  4534680 |  4475162 |      742  12069 |        0 |        0
1367.96/1368.47	c 1368s |      24 |  4540839 |  4481262 |      742  12082 |        0 |        0
1369.95/1370.49	c 1370s |      24 |  4546790 |  4487162 |      742  12096 |        0 |        0
1372.05/1372.52	c 1372s |      24 |  4552647 |  4492962 |      742  12109 |        0 |        0
1374.05/1374.52	c 1374s |      24 |  4558687 |  4498962 |      742  12122 |        0 |        0
1376.05/1376.54	c 1376s |      24 |  4565204 |  4505362 |      742  12136 |        0 |        0
1378.05/1378.55	c 1378s |      24 |  4571524 |  4511662 |      742  12150 |        0 |        0
1380.05/1380.58	c 1380s |      24 |  4577862 |  4517962 |      742  12164 |        0 |        0
1382.05/1382.58	c 1382s |      24 |  4584024 |  4524062 |      742  12178 |        0 |        0
1384.05/1384.59	c 1384s |      24 |  4590153 |  4530062 |      742  12191 |        0 |        0
1386.15/1386.60	c 1386s |      24 |  4596335 |  4536162 |      742  12205 |        0 |        0
1388.15/1388.62	c 1388s |      24 |  4602480 |  4542162 |      742  12218 |        0 |        0
1390.15/1390.65	c 1390s |      24 |  4608683 |  4548262 |      742  12232 |        0 |        0
1392.15/1392.68	c 1392s |      24 |  4615051 |  4554562 |      742  12246 |        0 |        0
1394.15/1394.69	c 1394s |      24 |  4621248 |  4560662 |      742  12260 |        0 |        0
1396.24/1396.71	c 1396s |      24 |  4627501 |  4566862 |      742  12274 |        0 |        0
1398.24/1398.73	c 1398s |      24 |  4633760 |  4573062 |      742  12288 |        0 |        0
1400.24/1400.76	c 1400s |      24 |  4640071 |  4579262 |      742  12302 |        0 |        0
1402.24/1402.79	c 1402s |      24 |  4646470 |  4585562 |      742  12316 |        0 |        0
1404.35/1404.82	c 1404s |      24 |  4652658 |  4591662 |      742  12329 |        0 |        0
1406.34/1406.85	c 1406s |      24 |  4658949 |  4597862 |      742  12343 |        0 |        0
1408.34/1408.86	c 1408s |      24 |  4665122 |  4603962 |      742  12357 |        0 |        0
1410.34/1410.88	c 1410s |      24 |  4671418 |  4610162 |      742  12371 |        0 |        0
1412.34/1412.88	c 1412s |      24 |  4677946 |  4616662 |      742  12385 |        0 |        0
1414.34/1414.89	c 1414s |      24 |  4684017 |  4622662 |      742  12399 |        0 |        0
1416.45/1416.91	c 1416s |      24 |  4690191 |  4628762 |      742  12413 |        0 |        0
1418.44/1418.93	c 1418s |      24 |  4696436 |  4634962 |      742  12426 |        0 |        0
1420.44/1420.96	c 1420s |      24 |  4702477 |  4640962 |      742  12440 |        0 |        0
1422.44/1422.96	c 1422s |      24 |  4708512 |  4646962 |      742  12453 |        0 |        0
1424.44/1424.97	c 1424s |      24 |  4714644 |  4653062 |      742  12467 |        0 |        0
1426.44/1426.98	c 1426s |      24 |  4720495 |  4658862 |      742  12480 |        0 |        0
1428.45/1428.99	c 1428s |      24 |  4726140 |  4664462 |      742  12493 |        0 |        0
1430.54/1431.01	c 1430s |      24 |  4732325 |  4670562 |      742  12507 |        0 |        0
1432.54/1433.01	c 1432s |      24 |  4738300 |  4676462 |      742  12520 |        0 |        0
1434.54/1435.01	c 1434s |      24 |  4743949 |  4682062 |      742  12532 |        0 |        0
1436.54/1437.03	c 1437s |      24 |  4749796 |  4687862 |      742  12545 |        0 |        0
1438.55/1439.04	c 1439s |      24 |  4755913 |  4693962 |      742  12559 |        0 |        0
1440.55/1441.05	c 1441s |      24 |  4761974 |  4699962 |      742  12573 |        0 |        0
1442.54/1443.07	c 1443s |      24 |  4768234 |  4706162 |      742  12587 |        0 |        0
1444.54/1445.08	c 1445s |      24 |  4775184 |  4713062 |      742  12602 |        0 |        0
1446.64/1447.11	c 1447s |      24 |  4781747 |  4719562 |      742  12617 |        0 |        0
1448.64/1449.14	c 1449s |      24 |  4788196 |  4725962 |      742  12631 |        0 |        0
1450.64/1451.14	c 1451s |      24 |  4794426 |  4732162 |      742  12645 |        0 |        0
1452.65/1453.15	c 1453s |      24 |  4800667 |  4738362 |      742  12659 |        0 |        0
1454.64/1455.15	c 1455s |      24 |  4806890 |  4744562 |      742  12673 |        0 |        0
1456.64/1457.16	c 1457s |      24 |  4812932 |  4750562 |      742  12686 |        0 |        0
1458.64/1459.18	c 1459s |      24 |  4818768 |  4756362 |      742  12699 |        0 |        0
1460.64/1461.18	c 1461s |      24 |  4824609 |  4762162 |      742  12712 |        0 |        0
1462.74/1463.21	c 1463s |      24 |  4830668 |  4768162 |      742  12726 |        0 |        0
1464.75/1465.23	c 1465s |      24 |  4836516 |  4773962 |      742  12739 |        0 |        0
1466.74/1467.24	c 1467s |      24 |  4842368 |  4779762 |      742  12752 |        0 |        0
1468.74/1469.27	c 1469s |      24 |  4848113 |  4785462 |      742  12765 |        0 |        0
1470.74/1471.29	c 1471s |      24 |  4853970 |  4791262 |      742  12778 |        0 |        0
1472.84/1473.30	c 1473s |      24 |  4859656 |  4796862 |      742  12791 |        0 |        0
1474.84/1475.30	c 1475s |      24 |  4865190 |  4802362 |      742  12803 |        0 |        0
1476.85/1477.31	c 1477s |      24 |  4870962 |  4808062 |      742  12816 |        0 |        0
1478.84/1479.34	c 1479s |      24 |  4876723 |  4813762 |      742  12829 |        0 |        0
1480.84/1481.36	c 1481s |      24 |  4882317 |  4819262 |      742  12841 |        0 |        0
1482.84/1483.39	c 1483s |      24 |  4887958 |  4824862 |      742  12854 |        0 |        0
1484.94/1485.40	c 1485s |      24 |  4893414 |  4830262 |      742  12866 |        0 |        0
1486.94/1487.43	c 1487s |      24 |  4899383 |  4836162 |      742  12879 |        0 |        0
1488.94/1489.45	c 1489s |      24 |  4905388 |  4842062 |      742  12893 |        0 |        0
1490.93/1491.47	c 1491s |      24 |  4911049 |  4847662 |      742  12905 |        0 |        0
1492.93/1493.47	c 1493s |      24 |  4917525 |  4854062 |      742  12920 |        0 |        0
1494.93/1495.49	c 1495s |      24 |  4924138 |  4860562 |      742  12934 |        0 |        0
1497.03/1497.51	c 1497s |      24 |  4930813 |  4867062 |      742  12949 |        0 |        0
1499.03/1499.51	c 1499s |      24 |  4937331 |  4873462 |      742  12963 |        0 |        0
1501.04/1501.53	c 1501s |      24 |  4943957 |  4879862 |      742  12977 |        0 |        0
1503.03/1503.55	c 1503s |      24 |  4950260 |  4886062 |      742  12991 |        0 |        0
1505.03/1505.55	c 1505s |      24 |  4956453 |  4892162 |      742  13005 |        0 |        0
1507.03/1507.57	c 1507s |      24 |  4962855 |  4898462 |      742  13019 |        0 |        0
1509.13/1509.60	c 1509s |      24 |  4969079 |  4904562 |      742  13032 |        0 |        0
1511.13/1511.61	c 1511s |      24 |  4975295 |  4910662 |      742  13046 |        0 |        0
1513.14/1513.62	c 1513s |      24 |  4981513 |  4916762 |      742  13060 |        0 |        0
1515.13/1515.63	c 1515s |      24 |  4987703 |  4922762 |      742  13073 |        0 |        0
1517.13/1517.66	c 1517s |      24 |  4994436 |  4929362 |      742  13088 |        0 |        0
1519.13/1519.67	c 1519s |      24 |  5001007 |  4935762 |      742  13102 |        0 |        0
1521.13/1521.69	c 1521s |      24 |  5007281 |  4941862 |      742  13116 |        0 |        0
1523.23/1523.72	c 1523s |      24 |  5013462 |  4947962 |      742  13130 |        0 |        0
1525.23/1525.73	c 1525s |      24 |  5019404 |  4953862 |      742  13143 |        0 |        0
1527.23/1527.75	c 1527s |      24 |  5026967 |  4961362 |      742  13159 |        0 |        0
1529.23/1529.77	c 1529s |      24 |  5034130 |  4968462 |      742  13175 |        0 |        0
1531.23/1531.77	c 1531s |      24 |  5040995 |  4975262 |      742  13190 |        0 |        0
1533.32/1533.80	c 1533s |      24 |  5047878 |  4982062 |      742  13205 |        0 |        0
1535.32/1535.81	c 1535s |      24 |  5054770 |  4988862 |      742  13221 |        0 |        0
1537.33/1537.83	c 1537s |      24 |  5061855 |  4995862 |      742  13236 |        0 |        0
1539.32/1539.85	c 1539s |      24 |  5069038 |  5002962 |      742  13252 |        0 |        0
1541.32/1541.88	c 1541s |      24 |  5075739 |  5009562 |      742  13267 |        0 |        0
1543.32/1543.89	c 1543s |      24 |  5082603 |  5016362 |      742  13282 |        0 |        0
1545.42/1545.90	c 1545s |      24 |  5089551 |  5023262 |      742  13297 |        0 |        0
1547.42/1547.91	c 1547s |      24 |  5096325 |  5029962 |      817  13312 |        0 |        0
1549.43/1549.92	c 1549s |      24 |  5102985 |  5036562 |      817  13325 |        0 |        0
1551.42/1551.94	c 1551s |      24 |  5109893 |  5043362 |      817  13339 |        0 |        0
1553.42/1553.97	c 1553s |      24 |  5116710 |  5050062 |      817  13353 |        0 |        0
1555.42/1555.98	c 1555s |      24 |  5123217 |  5056462 |      817  13366 |        0 |        0
1557.42/1557.99	c 1557s |      24 |  5129600 |  5062762 |      817  13379 |        0 |        0
1558.23/1558.73	c 1558s |      25 |  5131953 |  5065098 |      817  13384 |        0 |        0
1560.22/1560.75	c 1560s |      25 |  5138925 |  5071698 |      817  13397 |        0 |        0
1562.22/1562.77	c 1562s |      25 |  5145523 |  5078198 |      817  13411 |        0 |        0
1564.22/1564.78	c 1564s |      25 |  5152031 |  5084598 |      817  13424 |        0 |        0
1566.33/1566.80	c 1566s |      25 |  5158595 |  5090898 |      817  13437 |        0 |        0
1568.33/1568.82	c 1568s |      25 |  5164812 |  5096998 |      817  13450 |        0 |        0
1570.33/1570.84	c 1570s |      25 |  5171189 |  5103198 |      817  13462 |        0 |        0
1572.33/1572.87	c 1572s |      25 |  5177591 |  5109498 |      817  13475 |        0 |        0
1574.32/1574.87	c 1574s |      25 |  5183815 |  5115598 |      817  13488 |        0 |        0
1576.32/1576.90	c 1576s |      25 |  5190189 |  5121798 |      817  13501 |        0 |        0
1578.42/1578.91	c 1578s |      25 |  5196834 |  5128298 |      817  13514 |        0 |        0
1580.42/1580.92	c 1580s |      25 |  5203343 |  5134598 |      817  13527 |        0 |        0
1582.43/1582.93	c 1582s |      25 |  5209868 |  5140998 |      817  13540 |        0 |        0
1584.42/1584.96	c 1584s |      25 |  5216289 |  5147298 |      817  13553 |        0 |        0
1586.42/1586.96	c 1586s |      25 |  5222463 |  5153398 |      817  13566 |        0 |        0
1588.42/1588.97	c 1588s |      25 |  5229023 |  5159898 |      817  13579 |        0 |        0
1590.42/1590.98	c 1590s |      25 |  5235868 |  5166598 |      817  13593 |        0 |        0
1592.52/1593.00	c 1592s |      25 |  5242199 |  5172798 |      817  13606 |        0 |        0
1594.53/1595.02	c 1595s |      25 |  5248687 |  5179198 |      817  13619 |        0 |        0
1596.52/1597.04	c 1597s |      25 |  5255387 |  5185798 |      817  13632 |        0 |        0
1598.52/1599.05	c 1599s |      25 |  5261540 |  5191898 |      817  13645 |        0 |        0
1600.52/1601.05	c 1601s |      25 |  5267721 |  5197998 |      817  13657 |        0 |        0
1602.52/1603.06	c 1603s |      25 |  5273917 |  5204098 |      817  13670 |        0 |        0
1604.52/1605.06	c 1605s |      25 |  5280083 |  5210198 |      817  13683 |        0 |        0
1606.52/1607.08	c 1607s |      25 |  5286357 |  5216398 |      817  13695 |        0 |        0
1608.62/1609.10	c 1609s |      25 |  5292584 |  5222498 |      817  13708 |        0 |        0
1610.62/1611.13	c 1611s |      25 |  5298894 |  5228698 |      817  13721 |        0 |        0
1612.61/1613.16	c 1613s |      25 |  5305578 |  5235198 |      817  13734 |        0 |        0
1614.61/1615.16	c 1615s |      25 |  5311784 |  5241298 |      817  13747 |        0 |        0
1616.62/1617.18	c 1617s |      25 |  5317891 |  5247298 |      817  13759 |        0 |        0
1618.61/1619.18	c 1619s |      25 |  5324875 |  5254198 |      817  13773 |        0 |        0
1620.71/1621.20	c 1621s |      25 |  5331582 |  5260798 |      817  13787 |        0 |        0
1622.71/1623.23	c 1623s |      25 |  5338171 |  5267198 |      817  13800 |        0 |        0
1624.71/1625.24	c 1625s |      25 |  5344424 |  5273298 |      817  13813 |        0 |        0
1626.71/1627.26	c 1627s |      25 |  5350950 |  5279698 |      817  13826 |        0 |        0
1628.72/1629.28	c 1629s |      25 |  5357673 |  5286298 |      817  13839 |        0 |        0
1630.71/1631.30	c 1631s |      25 |  5364169 |  5292698 |      817  13853 |        0 |        0
1632.81/1633.31	c 1633s |      25 |  5370590 |  5298998 |      817  13866 |        0 |        0
1634.81/1635.31	c 1635s |      25 |  5377113 |  5305398 |      817  13879 |        0 |        0
1636.81/1637.33	c 1637s |      25 |  5383698 |  5311898 |      817  13892 |        0 |        0
1638.81/1639.34	c 1639s |      25 |  5390045 |  5318098 |      817  13905 |        0 |        0
1640.82/1641.34	c 1641s |      25 |  5396376 |  5324398 |      817  13918 |        0 |        0
1642.81/1643.35	c 1643s |      25 |  5403502 |  5331398 |      817  13933 |        0 |        0
1644.81/1645.35	c 1645s |      25 |  5410403 |  5338198 |      817  13946 |        0 |        0
1646.81/1647.36	c 1647s |      25 |  5417007 |  5344698 |      817  13960 |        0 |        0
1648.81/1649.36	c 1649s |      25 |  5423432 |  5350998 |      817  13973 |        0 |        0
1650.81/1651.39	c 1651s |      25 |  5429909 |  5357298 |      817  13986 |        0 |        0
1652.91/1653.42	c 1653s |      25 |  5436266 |  5363498 |      817  13998 |        0 |        0
1654.91/1655.44	c 1655s |      25 |  5442491 |  5369598 |      817  14011 |        0 |        0
1656.90/1657.46	c 1657s |      25 |  5448682 |  5375698 |      817  14023 |        0 |        0
1658.90/1659.48	c 1659s |      25 |  5454778 |  5381698 |      817  14036 |        0 |        0
1661.00/1661.50	c 1661s |      25 |  5460964 |  5387798 |      817  14048 |        0 |        0
1663.00/1663.50	c 1663s |      25 |  5467489 |  5394298 |      817  14062 |        0 |        0
1665.01/1665.51	c 1665s |      25 |  5473438 |  5400198 |      817  14074 |        0 |        0
1667.00/1667.54	c 1667s |      25 |  5479670 |  5406398 |      817  14086 |        0 |        0
1669.00/1669.55	c 1669s |      25 |  5486293 |  5412998 |      817  14100 |        0 |        0
1671.01/1671.56	c 1671s |      25 |  5492472 |  5419098 |      817  14113 |        0 |        0
1673.01/1673.57	c 1673s |      25 |  5498993 |  5425598 |      817  14126 |        0 |        0
1675.11/1675.61	c 1675s |      25 |  5505435 |  5431898 |      817  14139 |        0 |        0
1677.12/1677.64	c 1677s |      25 |  5511686 |  5437998 |      817  14152 |        0 |        0
1679.11/1679.68	c 1679s |      25 |  5517794 |  5443998 |      817  14164 |        0 |        0
1681.11/1681.69	c 1681s |      25 |  5524422 |  5450498 |      817  14177 |        0 |        0
1683.11/1683.70	c 1683s |      25 |  5531855 |  5457798 |      817  14192 |        0 |        0
1685.21/1685.72	c 1685s |      25 |  5538618 |  5464498 |      817  14206 |        0 |        0
1687.21/1687.73	c 1687s |      25 |  5545512 |  5471298 |      817  14220 |        0 |        0
1689.21/1689.74	c 1689s |      25 |  5552557 |  5478198 |      817  14234 |        0 |        0
1691.21/1691.75	c 1691s |      25 |  5559176 |  5484698 |      817  14248 |        0 |        0
1693.20/1693.76	c 1693s |      25 |  5565523 |  5490998 |      817  14260 |        0 |        0
1695.20/1695.78	c 1695s |      25 |  5572236 |  5497598 |      817  14274 |        0 |        0
1697.20/1697.78	c 1697s |      25 |  5578691 |  5503898 |      817  14287 |        0 |        0
1699.30/1699.80	c 1699s |      25 |  5584995 |  5510098 |      817  14300 |        0 |        0
1701.31/1701.83	c 1701s |      25 |  5591168 |  5516198 |      817  14312 |        0 |        0
1703.30/1703.85	c 1703s |      25 |  5597574 |  5522498 |      817  14325 |        0 |        0
1705.30/1705.85	c 1705s |      25 |  5604169 |  5528898 |      817  14339 |        0 |        0
1707.30/1707.87	c 1707s |      25 |  5610589 |  5535198 |      817  14352 |        0 |        0
1709.30/1709.89	c 1709s |      25 |  5616944 |  5541498 |      817  14365 |        0 |        0
1711.40/1711.91	c 1711s |      25 |  5623089 |  5547598 |      817  14377 |        0 |        0
1713.41/1713.93	c 1713s |      25 |  5629332 |  5553798 |      817  14390 |        0 |        0
1715.40/1715.95	c 1715s |      25 |  5635471 |  5559898 |      817  14403 |        0 |        0
1717.40/1717.96	c 1717s |      25 |  5641752 |  5566098 |      817  14416 |        0 |        0
1719.40/1719.97	c 1719s |      25 |  5647959 |  5572198 |      817  14428 |        0 |        0
1721.40/1721.99	c 1721s |      25 |  5653943 |  5578098 |      817  14440 |        0 |        0
1723.50/1724.01	c 1723s |      25 |  5659995 |  5584098 |      817  14453 |        0 |        0
1725.51/1726.04	c 1726s |      25 |  5666472 |  5590498 |      817  14466 |        0 |        0
1727.50/1728.05	c 1728s |      25 |  5673303 |  5597198 |      817  14480 |        0 |        0
1729.50/1730.06	c 1730s |      25 |  5679632 |  5603398 |      817  14492 |        0 |        0
1731.50/1732.06	c 1732s |      25 |  5685752 |  5609398 |      817  14505 |        0 |        0
1733.50/1734.06	c 1734s |      25 |  5692133 |  5615698 |      817  14518 |        0 |        0
1735.50/1736.08	c 1736s |      25 |  5698299 |  5621798 |      817  14530 |        0 |        0
1737.50/1738.08	c 1738s |      25 |  5704270 |  5627698 |      817  14542 |        0 |        0
1739.60/1740.10	c 1740s |      25 |  5710606 |  5633898 |      817  14555 |        0 |        0
1741.60/1742.12	c 1742s |      25 |  5716678 |  5639898 |      817  14567 |        0 |        0
1743.59/1744.14	c 1744s |      25 |  5723235 |  5646298 |      817  14581 |        0 |        0
1745.59/1746.15	c 1746s |      25 |  5730312 |  5653298 |      817  14595 |        0 |        0
1747.59/1748.16	c 1748s |      25 |  5736743 |  5659698 |      817  14608 |        0 |        0
1749.60/1750.18	c 1750s |      25 |  5742963 |  5665798 |      817  14621 |        0 |        0
1751.59/1752.20	c 1752s |      25 |  5749163 |  5671898 |      817  14633 |        0 |        0
1753.69/1754.22	c 1754s |      25 |  5755258 |  5677898 |      817  14646 |        0 |        0
1755.69/1756.22	c 1756s |      25 |  5761393 |  5683998 |      817  14658 |        0 |        0
1757.69/1758.25	c 1758s |      25 |  5767473 |  5689998 |      817  14671 |        0 |        0
1759.69/1760.28	c 1760s |      25 |  5773338 |  5695798 |      817  14683 |        0 |        0
1761.70/1762.29	c 1762s |      25 |  5779117 |  5701498 |      817  14695 |        0 |        0
1763.79/1764.32	c 1764s |      25 |  5785309 |  5707598 |      817  14707 |        0 |        0
1765.79/1766.33	c 1766s |      25 |  5791582 |  5713798 |      817  14720 |        0 |        0
1767.79/1768.36	c 1768s |      25 |  5797858 |  5719998 |      817  14733 |        0 |        0
1769.79/1770.36	c 1770s |      25 |  5804017 |  5726098 |      817  14745 |        0 |        0
1771.79/1772.38	c 1772s |      25 |  5810031 |  5731998 |      817  14758 |        0 |        0
1773.79/1774.39	c 1774s |      25 |  5816062 |  5737998 |      817  14770 |        0 |        0
1775.89/1776.42	c 1776s |      25 |  5822094 |  5743998 |      817  14782 |        0 |        0
1777.89/1778.43	c 1778s |      25 |  5827830 |  5749698 |      817  14794 |        0 |        0
1779.89/1780.46	c 1780s |      25 |  5834233 |  5755998 |      817  14807 |        0 |        0
1781.89/1782.48	c 1782s |      25 |  5840604 |  5762298 |      817  14820 |        0 |        0
1783.99/1784.51	c 1784s |      25 |  5846781 |  5768398 |      817  14833 |        0 |        0
1786.00/1786.52	c 1786s |      25 |  5852860 |  5774398 |      817  14845 |        0 |        0
1787.99/1788.52	c 1788s |      25 |  5858715 |  5780198 |      817  14857 |        0 |        0
1789.99/1790.54	c 1790s |      25 |  5864849 |  5786298 |      817  14870 |        0 |        0
1791.99/1792.54	c 1792s |      25 |  5871177 |  5792598 |      817  14883 |        0 |        0
1793.99/1794.55	c 1794s |      25 |  5877248 |  5798598 |      817  14895 |        0 |        0
1795.99/1796.56	c 1796s |      25 |  5883584 |  5804898 |      817  14908 |        0 |        0
1798.00/1798.59	c 1798s |      25 |  5889907 |  5811098 |      817  14921 |        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-4105553-1466250179/watcher-4105553-1466250179 -o /tmp/evaluation-result-4105553-1466250179/solver-4105553-1466250179 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105553-1466250179.opb 

pid=23408
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.04 2.05 2.00 3/179 23411
/proc/meminfo: memFree=31077664/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 2660 0 0 0 0 0 0 0 20 0 4 0 27067798 731312128 3021 33554432000 4194304 16246674 140736235974480 140736235973904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 179055 3029 441 2943 0 175949 0
[pid=23411/tid=23412] ppid=23408 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 748089344 3088 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 753332224 3105 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27067798 757526528 3120 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 23411
/proc/meminfo: memFree=31077664/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 20315 0 0 0 6 3 0 0 20 0 4 0 27067798 1247350784 20663 33554432000 4194304 16246674 140736235974480 140736235973904 5601737 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 304529 20668 771 2943 0 301423 0
[pid=23411/tid=23412] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 20671 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 20673 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 20676 33554432000 4194304 16246674 140736235974480 140521521536176 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.200522 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 23411
/proc/meminfo: memFree=31077664/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 37496 0 0 0 14 5 0 0 20 0 4 0 27067798 1247350784 37845 33554432000 4194304 16246674 140736235974480 140736235973904 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 304529 37854 771 2943 0 301423 0
[pid=23411/tid=23412] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 37860 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 37867 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 37871 33554432000 4194304 16246674 140736235974480 140521521536176 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.30048 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 23411
/proc/meminfo: memFree=31077664/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 54775 0 0 0 21 7 0 0 20 0 4 0 27067798 1247350784 55123 33554432000 4194304 16246674 140736235974480 140736235973904 6843278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 304529 55131 771 2943 0 301423 0
[pid=23411/tid=23412] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 55137 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 55144 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 55148 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700402 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 23411
/proc/meminfo: memFree=31077664/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 125376 0 0 0 51 18 0 0 20 0 4 0 27067798 1247350784 125724 33554432000 4194304 16246674 140736235974480 140736235973904 6024617 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 304529 125729 772 2943 0 301423 0
[pid=23411/tid=23412] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 125732 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 125740 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27067798 1247350784 125749 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 23415
/proc/meminfo: memFree=30294244/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 245687 0 0 0 115 33 0 0 20 0 4 0 27067798 1248399360 246013 33554432000 4194304 16246674 140736235974480 140736235973792 13759520 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 304785 246013 835 2943 0 301679 0
[pid=23411/tid=23412] ppid=23408 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1248399360 246013 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1248399360 246013 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1248399360 246013 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10039 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 23415
/proc/meminfo: memFree=30093488/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1305156 CPUtime=3.08 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 267310 0 0 0 272 36 0 0 20 0 4 0 27067798 1336479744 267636 33554432000 4194304 16246674 140736235974480 140736235956352 5710488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 326289 267636 835 2943 0 323183 0
[pid=23411/tid=23412] ppid=23408 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1336479744 267636 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1336479744 267636 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1336479744 267636 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1305156

[startup+6.30041 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 23415
/proc/meminfo: memFree=30006420/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 267531 0 0 0 592 36 0 0 20 0 4 0 27067798 1337528320 267857 33554432000 4194304 16246674 140736235974480 140736235956352 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 326545 267857 835 2943 0 323439 0
[pid=23411/tid=23412] ppid=23408 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1337528320 267857 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1337528320 267857 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1337528320 267857 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 23415
/proc/meminfo: memFree=30005580/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 267533 0 0 0 1232 36 0 0 20 0 4 0 27067798 1337528320 267859 33554432000 4194304 16246674 140736235974480 140736235956352 12474947 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 326545 267859 835 2943 0 323439 0
[pid=23411/tid=23412] ppid=23408 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1337528320 267859 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1337528320 267859 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1337528320 267859 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 23415
/proc/meminfo: memFree=29814520/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 267533 0 0 0 2512 37 0 0 20 0 4 0 27067798 1337528320 267859 33554432000 4194304 16246674 140736235974480 140736235956352 5822472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 326545 267859 835 2943 0 323439 0
[pid=23411/tid=23412] ppid=23408 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1337528320 267859 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1337528320 267859 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1337528320 267859 33554432000 4194304 16246674 140736235974480 140521521536176 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) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 23415
/proc/meminfo: memFree=29776976/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 267630 0 0 0 5071 37 0 0 20 0 4 0 27067798 1338576896 267956 33554432000 4194304 16246674 140736235974480 140736235956352 6836425 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 326801 267956 835 2943 0 323695 0
[pid=23411/tid=23412] ppid=23408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1338576896 267956 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1338576896 267956 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1338576896 267956 33554432000 4194304 16246674 140736235974480 140521521536176 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) 1307204

[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/182 23416
/proc/meminfo: memFree=29526040/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 267635 0 0 0 10190 37 0 0 20 0 4 0 27067798 1338576896 267961 33554432000 4194304 16246674 140736235974480 140736235956352 5711576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 326801 267961 835 2943 0 323695 0
[pid=23411/tid=23412] ppid=23408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1338576896 267961 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1338576896 267961 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1338576896 267961 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 23469
/proc/meminfo: memFree=29475308/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1308228 CPUtime=1301.88 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 268454 0 0 0 130140 48 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140736235956352 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 327057 268653 837 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23471
/proc/meminfo: memFree=29475212/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1308228 CPUtime=1361.86 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 268494 0 0 0 136137 49 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140736235956352 12483218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 327057 268653 837 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23472
/proc/meminfo: memFree=29475440/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1308228 CPUtime=1421.85 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 268500 0 0 0 142136 49 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140736235956352 12415747 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 327057 268653 837 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23473
/proc/meminfo: memFree=29475320/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1308228 CPUtime=1481.84 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 268500 0 0 0 148134 50 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140736235956352 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 327057 268653 837 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 23474
/proc/meminfo: memFree=29475568/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1308228 CPUtime=1541.83 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 268500 0 0 0 154133 50 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140736235956352 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 327057 268653 837 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 23475
/proc/meminfo: memFree=29475696/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1308228 CPUtime=1601.82 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 268500 0 0 0 160131 51 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140736235956352 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 327057 268653 837 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 23480
/proc/meminfo: memFree=29474708/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1308228 CPUtime=1661.8 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 268500 0 0 0 166129 51 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140736235956352 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 327057 268653 837 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23481
/proc/meminfo: memFree=29474344/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1308228 CPUtime=1721.8 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 268500 0 0 0 172128 52 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140736235956352 5676613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 327057 268653 837 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 23482
/proc/meminfo: memFree=29471864/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1308228 CPUtime=1781.79 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 268500 0 0 0 178126 53 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140736235956352 6021616 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 327057 268653 837 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 23531
/proc/meminfo: memFree=29505348/32872528 swapFree=163656/177964
[pid=23411] ppid=23408 vsize=1308228 CPUtime=1800.09 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 20760 0 -1 4202496 268500 0 0 0 179956 53 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140736235956352 5600048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23411/statm: 327057 268653 837 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521610652912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521532009712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27067798 1339625472 268653 33554432000 4194304 16246674 140736235974480 140521521536176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1308228

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.57
CPU system time (s): 0.531919
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.531919
maximum resident set size= 1074612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268500
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= 442
involuntary context switches= 1959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6063 second user time and 6.95194 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 13:42:59
IDJOB=4105553
IDBENCH=2895
IDSOLVER=2542
FILE ID=node105/4105553-1466250179
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105553-1466250179/watcher-4105553-1466250179 -o /tmp/evaluation-result-4105553-1466250179/solver-4105553-1466250179 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105553-1466250179.opb

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

MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb
RANDOM SEED=1120591845

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31078308 kB
Buffers:          107620 kB
Cached:           196864 kB
SwapCached:         1676 kB
Active:           665580 kB
Inactive:         213452 kB
Active(anon):     572360 kB
Inactive(anon):     4412 kB
Active(file):      93220 kB
Inactive(file):   209040 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             34088 kB
Writeback:             0 kB
AnonPages:        753592 kB
Mapped:            10820 kB
Shmem:                 0 kB
Slab:             604224 kB
SReclaimable:      47716 kB
SUnreclaim:       556508 kB
KernelStack:        1488 kB
PageTables:         7012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1405468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 71716 MiB
End job on node105 at 2016-06-18 14:12:59