Trace number 4103909

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-pk1.opb
MD5SUM064c172c08e0726f78b89fe587697d96
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark57344
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50176
Optimality of the best value was proved NO
Number of variables985
Total number of constraints45
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 constraints45
Minimum length of a constraint60
Maximum length of a constraint115
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2150078462
Number of bits of the biggest sum of numbers32
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-18T10:44:49+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-4103909-1466239489.opb"]
0.00/0.01	c use --random-gen="379340642 133679829 263484861 2303262036 305148128 314917104 2881304985 1448849480 2038779275 4070201470 589776640 521215563 1146993177 460617052 861341416 3384016313 3160416285 767675891 3906375996 902265800 3545379760 249667763 1077922070 1880674523 3636149786 3339435304 1025868134 2305649116 3624200634 1115984367 305504506 3259901916 2706469199 2813399299 1780798450 3848912396 2714733820 1261209670 1789796453 80826350 976578505 2895010255 64251422 1377782709 3855979628 183031170 3948749284 3743442668 3201833064 368454738 224709236 1254744631 4177408733 1068981574 1406657434 346143474 3934040818 2561942224 2709319178 2262445806 3293468729 4206685668 510938545 548502673 2347573535 2667708502 2798772458 3929586873 2298301284 2457019038 4126229266 692923547 2569426526 2389484839 1724402256 2083127197 2398929322 95519771 2877808432 3325310172 2040494413 543203249 3005301068 3224508723 1967265835 3014707951 1786314273 1011830452 3675869846 1864526475 1526925555 2406092355 3787622697 1002850276 1673507593 2862838977 3842380064 1096873095 3251399862 10632010 3140458841 3032627009 1846416837 831291248 2869189114 2244065807 184727159 3799964108 2672788090 3238235936 2008834483 138917906 2095614827 2280260080 478243821 1649158946 291234716 1909604636 3388438081 1430024882 4201494446 912689598 773719135 355780682 2114599616 3956725061 345975265 2820904393 3938049194 677127993 3427106549 3828108029 1174310855 1704355131 164168325 1126005996 1028821190 3122319536 4268309554 1595008526 1653667280 3507842772 2144689974 1371078637 4047925108 2490227381 1188417244 4117381069 3199831769 1464594167 628415039 3451209957 669375460 1122714180 336479627 3831924122 3322683035 3618856970 152211344 2721969673 199750824 1530422129 2619125003 786790680 3136153482 2228988474 176526972 1947441671 2650255657 2483018048 4253804762 3489376474 2815686883 3612851943 2553465130 2489471196 2188746757 100147433 564895579 2769189662 1256916154 1835332121 2225962985 568536121 2137831572 471518355 1430776586 1915620334 1501548641 851295044 2140163880 1132828218 584798249 2075646007 4070378877 3147339426 3508632365 2160445905 3797790861 2140412349 3785700050 2164418051 3095341731 2676517636 3090118292 3599083316 2463986877 4271324224 3338311390 4136836408 2057930366 1023091516 2826597667 3069161081 1094404767 648104247 3628353456 1557448396 1557021576 2591358050 4208802825 3333158610 2160620388 346527389 1903834420 2371783824 1468649393 1035833316 4136544321 3877546804 4000427183 2169264070 3594177043 4280352645 2000116011 1774147713 841325387 697257088 1256072575 2844990588 1265083361 3159288875 490457858 3311769364 4224766195 1181559240 3455594266 3129521586 3871175672 3268696601 1631765932 2067485019 3150364119 1735012557 502437714 255313652 255 362436" option to reproduce the execution
0.00/0.02	c #vars 985
0.00/0.02	c #constraints 45
0.79/0.84	c BCD2: Hardening is enabled.
0.79/0.84	c BCD2: BiasedSearch is enabled.
0.79/0.84	c Solving starts ...
0.79/0.84	c ============================[ Search Statistics ]============================
0.79/0.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.84	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.84	c =============================================================================
0.79/0.85	c  0.0s |       0 |        0 |        0 |      348      0 |        0 |        0
0.79/0.90	c  0.1s |       1 |      883 |      100 |      348      0 |        0 |        0
0.89/0.93	c  0.1s |       2 |     1569 |      250 |      383      0 |        0 |        0
0.89/0.94	c  0.1s |       2 |     2254 |      262 |      422      0 |        0 |        0
0.89/0.94	c #cpu_time = 0.089s
0.89/0.94	c #wall_clock_time = 0.089s
0.89/0.94	c #decision = 2254
0.89/0.94	c #random_decision = 6
0.89/0.94	c #conflict = 262
0.89/0.94	c #restart = 2
0.89/0.94	o 1073741823
0.89/0.94	c BCD2: updating upper bound: 1073741823 -> 1073741822
0.89/0.94	c BCD2: 0 <= obj <= 1073741822
0.89/0.94	c BCD2: #cores=0, #unrelaxed=30, #relaxed=0, #hardened=0
0.89/0.94	c BCD2: #sat=1 #unsat=1 bias=1/2
0.89/0.94	c Solving starts ...
0.89/0.94	c ============================[ Search Statistics ]============================
0.89/0.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.94	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.94	c =============================================================================
0.89/0.94	c  0.0s |       0 |        0 |        0 |      422      0 |        0 |        0
0.89/0.99	c  0.0s |       1 |      153 |      100 |      422      0 |        0 |        0
0.99/1.06	c  0.1s |       2 |      366 |      250 |      465      0 |        0 |        0
1.09/1.17	c  0.2s |       3 |      651 |      475 |      465      1 |        0 |        0
1.29/1.35	c  0.4s |       4 |     1105 |      813 |      512      2 |        0 |        0
1.59/1.61	c  0.7s |       5 |     1685 |     1320 |      564      3 |        0 |        0
1.98/2.02	c  1.1s |       6 |     2534 |     2081 |      621      4 |        0 |        0
2.58/2.61	c  1.7s |       7 |     3759 |     3223 |      684      6 |        0 |        0
3.40/3.47	c  2.5s |       8 |     5596 |     4936 |      753      8 |        0 |        0
4.78/4.81	c  3.9s |       9 |     8308 |     7506 |      829     11 |        0 |        0
6.79/6.82	c  5.9s |       9 |    12272 |    11306 |      912     16 |        0 |        0
6.79/6.84	c  5.9s |      10 |    12328 |    11361 |      912     16 |        0 |        0
8.78/8.90	c  8.0s |      10 |    16408 |    15261 |      912     20 |        0 |        0
9.78/9.87	c  8.9s |      11 |    18328 |    17144 |     1004     22 |        0 |        0
11.88/11.91	c 11.0s |      11 |    22294 |    20944 |     1004     26 |        0 |        0
13.88/13.96	c 13.0s |      11 |    26297 |    24844 |     1004     30 |        0 |        0
14.39/14.45	c 13.5s |      12 |    27302 |    25819 |     1105     31 |        0 |        0
16.39/16.46	c 15.5s |      12 |    31575 |    29919 |     1105     35 |        0 |        0
18.49/18.50	c 17.6s |      12 |    35802 |    34119 |     1105     39 |        0 |        0
20.49/20.54	c 19.6s |      12 |    39867 |    38119 |     1105     43 |        0 |        0
20.89/20.93	c 20.0s |      13 |    40587 |    38832 |     1216     44 |        0 |        0
22.89/22.94	c 22.0s |      13 |    44737 |    42832 |     1216     48 |        0 |        0
24.89/24.96	c 24.0s |      13 |    48965 |    46932 |     1216     52 |        0 |        0
26.99/27.01	c 26.1s |      13 |    53304 |    51132 |     1216     55 |        0 |        0
28.99/29.02	c 28.1s |      13 |    57347 |    55032 |     1216     59 |        0 |        0
30.79/30.85	c 29.9s |      14 |    60775 |    58352 |     1338     62 |        0 |        0
32.79/32.89	c 32.0s |      14 |    64800 |    62152 |     1338     66 |        0 |        0
34.89/34.91	c 34.0s |      14 |    68985 |    66252 |     1338     69 |        0 |        0
36.89/36.92	c 36.0s |      14 |    72755 |    69952 |     1338     72 |        0 |        0
38.89/38.96	c 38.0s |      14 |    76724 |    73852 |     1338     76 |        0 |        0
40.89/40.97	c 40.0s |      14 |    80693 |    77752 |     1338     79 |        0 |        0
42.89/42.98	c 42.0s |      14 |    84705 |    81652 |     1338     83 |        0 |        0
44.99/45.03	c 44.1s |      14 |    89144 |    85952 |     1338     86 |        0 |        0
45.89/45.94	c 45.0s |      15 |    90847 |    87632 |     1472     88 |        0 |        0
47.88/47.98	c 47.0s |      15 |    94741 |    91432 |     1472     91 |        0 |        0
49.88/49.98	c 49.0s |      15 |    98508 |    95132 |     1472     94 |        0 |        0
51.89/51.98	c 51.0s |      15 |   102375 |    98932 |     1472     97 |        0 |        0
53.98/54.01	c 53.1s |      15 |   106221 |   102732 |     1472    100 |        0 |        0
55.98/56.01	c 55.1s |      15 |   109946 |   106432 |     1472    103 |        0 |        0
57.98/58.04	c 57.1s |      15 |   113781 |   110232 |     1472    106 |        0 |        0
59.98/60.04	c 59.1s |      15 |   117931 |   114332 |     1472    110 |        0 |        0
61.98/62.08	c 61.1s |      15 |   122083 |   118432 |     1472    113 |        0 |        0
63.99/64.09	c 63.2s |      15 |   126220 |   122532 |     1472    116 |        0 |        0
66.08/66.13	c 65.2s |      15 |   130281 |   126532 |     1472    120 |        0 |        0
68.08/68.18	c 67.2s |      15 |   134232 |   130432 |     1620    123 |        0 |        0
68.68/68.77	c 67.8s |      16 |   135365 |   131552 |     1620    124 |        0 |        0
70.78/70.82	c 69.9s |      16 |   139188 |   135252 |     1620    127 |        0 |        0
72.78/72.82	c 71.9s |      16 |   143035 |   139052 |     1620    129 |        0 |        0
74.78/74.87	c 73.9s |      16 |   147097 |   143052 |     1620    133 |        0 |        0
76.78/76.88	c 75.9s |      16 |   150962 |   146852 |     1620    136 |        0 |        0
78.78/78.88	c 77.9s |      16 |   154721 |   150552 |     1620    138 |        0 |        0
80.77/80.89	c 80.0s |      16 |   158473 |   154252 |     1620    141 |        0 |        0
82.87/82.94	c 82.0s |      16 |   162253 |   157952 |     1620    144 |        0 |        0
84.88/84.97	c 84.0s |      16 |   165901 |   161552 |     1620    147 |        0 |        0
86.97/87.02	c 86.1s |      16 |   169661 |   165252 |     1620    150 |        0 |        0
88.97/89.05	c 88.1s |      16 |   173418 |   168952 |     1620    153 |        0 |        0
90.97/91.07	c 90.1s |      16 |   177403 |   172852 |     1620    156 |        0 |        0
93.07/93.11	c 92.2s |      16 |   181276 |   176652 |     1620    159 |        0 |        0
95.07/95.18	c 94.2s |      16 |   185148 |   180452 |     1620    162 |        0 |        0
97.17/97.20	c 96.3s |      16 |   188909 |   184152 |     1620    164 |        0 |        0
99.18/99.21	c 98.3s |      16 |   192663 |   187852 |     1620    167 |        0 |        0
101.17/101.25	c  100s |      16 |   196440 |   191552 |     1620    170 |        0 |        0
103.27/103.30	c  102s |      16 |   200431 |   195452 |     1620    173 |        0 |        0
104.37/104.46	c  103s |      17 |   202445 |   197432 |     1783    175 |        0 |        0
106.37/106.49	c  105s |      17 |   206169 |   201032 |     1783    177 |        0 |        0
108.47/108.50	c  107s |      17 |   209724 |   204532 |     1783    180 |        0 |        0
110.47/110.53	c  109s |      17 |   213427 |   208132 |     1783    182 |        0 |        0
112.47/112.58	c  111s |      17 |   217085 |   211732 |     1783    185 |        0 |        0
114.47/114.59	c  113s |      17 |   220465 |   215032 |     1783    188 |        0 |        0
116.57/116.63	c  115s |      17 |   224123 |   218632 |     1783    190 |        0 |        0
118.57/118.69	c  117s |      17 |   227911 |   222332 |     1783    193 |        0 |        0
120.67/120.71	c  119s |      17 |   231459 |   225832 |     1783    195 |        0 |        0
122.67/122.73	c  121s |      17 |   235270 |   229532 |     1783    198 |        0 |        0
124.67/124.76	c  123s |      17 |   238881 |   233032 |     1783    201 |        0 |        0
126.67/126.76	c  125s |      17 |   242591 |   236632 |     1783    203 |        0 |        0
128.67/128.77	c  127s |      17 |   246277 |   240232 |     1783    206 |        0 |        0
130.77/130.80	c  129s |      17 |   249987 |   243832 |     1783    209 |        0 |        0
132.76/132.85	c  131s |      17 |   253844 |   247632 |     1783    211 |        0 |        0
134.77/134.88	c  133s |      17 |   257599 |   251332 |     1783    214 |        0 |        0
136.77/136.89	c  135s |      17 |   261225 |   254932 |     1783    217 |        0 |        0
138.88/138.92	c  137s |      17 |   264763 |   258432 |     1783    219 |        0 |        0
140.87/140.95	c  140s |      17 |   268402 |   262032 |     1783    222 |        0 |        0
142.97/143.00	c  142s |      17 |   271950 |   265532 |     1783    224 |        0 |        0
144.97/145.03	c  144s |      17 |   275386 |   268932 |     1783    227 |        0 |        0
146.97/147.07	c  146s |      17 |   278934 |   272432 |     1783    229 |        0 |        0
149.07/149.12	c  148s |      17 |   282609 |   276032 |     1783    232 |        0 |        0
151.07/151.13	c  150s |      17 |   286156 |   279532 |     1783    235 |        0 |        0
153.08/153.18	c  152s |      17 |   289823 |   283132 |     1783    237 |        0 |        0
155.17/155.20	c  154s |      17 |   293296 |   286532 |     1783    240 |        0 |        0
157.17/157.24	c  156s |      17 |   297068 |   290232 |     1783    242 |        0 |        0
159.17/159.28	c  158s |      17 |   300599 |   293732 |     1783    245 |        0 |        0
160.78/160.82	c  159s |      18 |   303158 |   296252 |     1962    247 |        0 |        0
162.77/162.85	c  161s |      18 |   306849 |   299852 |     1962    249 |        0 |        0
164.77/164.86	c  163s |      18 |   310401 |   303352 |     1962    251 |        0 |        0
166.77/166.88	c  165s |      18 |   314056 |   306952 |     1962    254 |        0 |        0
168.87/168.94	c  168s |      18 |   317713 |   310552 |     1962    256 |        0 |        0
170.87/170.98	c  170s |      18 |   321166 |   313952 |     1962    259 |        0 |        0
172.97/173.04	c  172s |      18 |   324617 |   317352 |     1962    261 |        0 |        0
174.97/175.10	c  174s |      18 |   328370 |   321052 |     1962    264 |        0 |        0
177.07/177.15	c  176s |      18 |   332287 |   324852 |     1962    266 |        0 |        0
179.07/179.17	c  178s |      18 |   335859 |   328352 |     1962    269 |        0 |        0
181.17/181.22	c  180s |      18 |   339533 |   331952 |     1962    271 |        0 |        0
183.17/183.28	c  182s |      18 |   343224 |   335552 |     1962    274 |        0 |        0
185.26/185.32	c  184s |      18 |   346813 |   339052 |     1962    276 |        0 |        0
187.27/187.33	c  186s |      18 |   350266 |   342452 |     1962    278 |        0 |        0
189.26/189.38	c  188s |      18 |   353626 |   345752 |     1962    281 |        0 |        0
191.36/191.43	c  190s |      18 |   357355 |   349352 |     1962    283 |        0 |        0
193.36/193.46	c  192s |      18 |   361027 |   352952 |     1962    285 |        0 |        0
195.36/195.48	c  194s |      18 |   364526 |   356352 |     1962    288 |        0 |        0
197.46/197.52	c  196s |      18 |   367976 |   359752 |     1962    290 |        0 |        0
199.46/199.53	c  198s |      18 |   371369 |   363052 |     1962    292 |        0 |        0
201.47/201.57	c  200s |      18 |   374737 |   366352 |     1962    295 |        0 |        0
203.56/203.60	c  202s |      18 |   378097 |   369652 |     1962    297 |        0 |        0
205.56/205.62	c  204s |      18 |   381483 |   372952 |     1962    299 |        0 |        0
207.56/207.63	c  206s |      18 |   384830 |   376252 |     1962    301 |        0 |        0
209.56/209.67	c  208s |      18 |   388087 |   379452 |     1962    304 |        0 |        0
211.66/211.71	c  210s |      18 |   391566 |   382852 |     1962    306 |        0 |        0
213.67/213.71	c  212s |      18 |   394929 |   386152 |     1962    308 |        0 |        0
215.66/215.71	c  214s |      18 |   398430 |   389552 |     1962    311 |        0 |        0
217.66/217.75	c  216s |      18 |   401811 |   392852 |     1962    313 |        0 |        0
219.66/219.78	c  218s |      18 |   405263 |   396252 |     1962    315 |        0 |        0
221.76/221.84	c  220s |      18 |   408606 |   399552 |     1962    317 |        0 |        0
223.76/223.86	c  222s |      18 |   411980 |   402852 |     1962    320 |        0 |        0
225.76/225.87	c  224s |      18 |   415416 |   406252 |     1962    322 |        0 |        0
227.86/227.91	c  226s |      18 |   418773 |   409552 |     1962    324 |        0 |        0
229.86/229.94	c  229s |      18 |   422123 |   412852 |     1962    327 |        0 |        0
231.86/231.97	c  231s |      18 |   425352 |   416052 |     1962    329 |        0 |        0
233.86/233.97	c  233s |      18 |   428482 |   419152 |     1962    331 |        0 |        0
235.86/235.99	c  235s |      18 |   431945 |   422552 |     1962    333 |        0 |        0
237.86/238.00	c  237s |      18 |   435293 |   425852 |     1962    335 |        0 |        0
239.96/240.02	c  239s |      18 |   438667 |   429152 |     1962    338 |        0 |        0
241.95/242.05	c  241s |      18 |   442121 |   432552 |     1962    340 |        0 |        0
243.95/244.06	c  243s |      18 |   445574 |   435952 |     1962    342 |        0 |        0
245.95/246.09	c  245s |      18 |   449167 |   439452 |     1962    345 |        0 |        0
248.05/248.10	c  247s |      18 |   452416 |   442652 |     2159    347 |        0 |        0
249.15/249.25	c  248s |      19 |   454297 |   444482 |     2159    348 |        0 |        0
251.25/251.30	c  250s |      19 |   457971 |   447982 |     2159    351 |        0 |        0
253.26/253.31	c  252s |      19 |   461559 |   451482 |     2159    353 |        0 |        0
255.25/255.34	c  254s |      19 |   465143 |   454982 |     2159    355 |        0 |        0
257.25/257.36	c  256s |      19 |   468600 |   458382 |     2159    357 |        0 |        0
259.25/259.38	c  258s |      19 |   472038 |   461782 |     2159    359 |        0 |        0
261.35/261.40	c  260s |      19 |   475605 |   465282 |     2159    362 |        0 |        0
263.35/263.45	c  262s |      19 |   479246 |   468882 |     2159    364 |        0 |        0
265.36/265.46	c  264s |      19 |   482880 |   472482 |     2159    366 |        0 |        0
267.35/267.49	c  266s |      19 |   486568 |   476082 |     2159    369 |        0 |        0
269.45/269.50	c  268s |      19 |   490324 |   479782 |     2159    371 |        0 |        0
271.45/271.53	c  270s |      19 |   493975 |   483382 |     2159    373 |        0 |        0
273.45/273.59	c  272s |      19 |   497637 |   486982 |     2159    376 |        0 |        0
275.55/275.61	c  274s |      19 |   501078 |   490382 |     2159    378 |        0 |        0
277.55/277.64	c  276s |      19 |   504945 |   494182 |     2159    380 |        0 |        0
279.55/279.69	c  278s |      19 |   508727 |   497882 |     2159    383 |        0 |        0
281.65/281.70	c  280s |      19 |   512482 |   501582 |     2159    385 |        0 |        0
283.65/283.72	c  282s |      19 |   516243 |   505282 |     2159    387 |        0 |        0
285.65/285.72	c  284s |      19 |   519782 |   508782 |     2159    390 |        0 |        0
287.65/287.75	c  286s |      19 |   523773 |   512682 |     2159    392 |        0 |        0
289.65/289.80	c  288s |      19 |   527752 |   516582 |     2159    395 |        0 |        0
291.75/291.84	c  290s |      19 |   531747 |   520482 |     2159    397 |        0 |        0
293.74/293.85	c  292s |      19 |   535507 |   524182 |     2159    399 |        0 |        0
295.84/295.90	c  294s |      19 |   539193 |   527782 |     2159    402 |        0 |        0
297.84/297.96	c  297s |      19 |   542841 |   531382 |     2159    404 |        0 |        0
299.84/299.99	c  299s |      19 |   546444 |   534882 |     2159    406 |        0 |        0
301.94/302.03	c  301s |      19 |   550117 |   538482 |     2159    409 |        0 |        0
303.94/304.06	c  303s |      19 |   553587 |   541882 |     2159    411 |        0 |        0
305.95/306.09	c  305s |      19 |   557283 |   545482 |     2159    413 |        0 |        0
308.04/308.11	c  307s |      19 |   560771 |   548882 |     2159    415 |        0 |        0
310.04/310.13	c  309s |      19 |   564257 |   552282 |     2159    417 |        0 |        0
312.04/312.19	c  311s |      19 |   567604 |   555582 |     2159    420 |        0 |        0
314.14/314.21	c  313s |      19 |   571475 |   559382 |     2159    422 |        0 |        0
316.14/316.24	c  315s |      19 |   575419 |   563282 |     2159    424 |        0 |        0
318.15/318.26	c  317s |      19 |   579337 |   567082 |     2159    427 |        0 |        0
320.14/320.29	c  319s |      19 |   583219 |   570882 |     2159    429 |        0 |        0
322.24/322.33	c  321s |      19 |   587019 |   574582 |     2159    432 |        0 |        0
324.24/324.36	c  323s |      19 |   590910 |   578382 |     2159    434 |        0 |        0
326.24/326.36	c  325s |      19 |   594493 |   581882 |     2159    436 |        0 |        0
328.24/328.37	c  327s |      19 |   597991 |   585282 |     2159    439 |        0 |        0
330.24/330.38	c  329s |      19 |   601585 |   588782 |     2159    441 |        0 |        0
332.24/332.40	c  331s |      19 |   605237 |   592382 |     2159    443 |        0 |        0
334.34/334.43	c  333s |      19 |   609004 |   596082 |     2159    446 |        0 |        0
336.34/336.45	c  335s |      19 |   612565 |   599582 |     2159    448 |        0 |        0
338.34/338.45	c  337s |      19 |   616136 |   603082 |     2159    450 |        0 |        0
340.44/340.50	c  339s |      19 |   619701 |   606582 |     2159    452 |        0 |        0
342.43/342.51	c  341s |      19 |   623482 |   610282 |     2159    455 |        0 |        0
344.45/344.54	c  343s |      19 |   627156 |   613882 |     2159    457 |        0 |        0
346.44/346.58	c  345s |      19 |   631025 |   617682 |     2159    459 |        0 |        0
348.44/348.58	c  347s |      19 |   634918 |   621482 |     2159    462 |        0 |        0
350.54/350.61	c  349s |      19 |   638707 |   625182 |     2159    464 |        0 |        0
352.54/352.68	c  351s |      19 |   642351 |   628782 |     2159    467 |        0 |        0
354.64/354.73	c  353s |      19 |   646463 |   632782 |     2159    469 |        0 |        0
356.65/356.74	c  355s |      19 |   650169 |   636382 |     2159    471 |        0 |        0
358.64/358.78	c  357s |      19 |   653828 |   639982 |     2159    474 |        0 |        0
360.74/360.82	c  359s |      19 |   657438 |   643482 |     2159    476 |        0 |        0
362.74/362.85	c  361s |      19 |   661039 |   646982 |     2159    478 |        0 |        0
364.74/364.88	c  363s |      19 |   664601 |   650482 |     2159    480 |        0 |        0
366.84/366.93	c  365s |      19 |   668294 |   654082 |     2159    483 |        0 |        0
368.84/368.96	c  368s |      19 |   671973 |   657682 |     2159    485 |        0 |        0
370.94/371.00	c  370s |      19 |   675554 |   661182 |     2159    487 |        0 |        0
372.94/373.03	c  372s |      19 |   679043 |   664582 |     2375    489 |        0 |        0
374.24/374.39	c  373s |      20 |   681341 |   666827 |     2375    491 |        0 |        0
376.34/376.42	c  375s |      20 |   685061 |   670427 |     2375    493 |        0 |        0
378.34/378.46	c  377s |      20 |   688748 |   674027 |     2375    495 |        0 |        0
380.44/380.50	c  379s |      20 |   692344 |   677527 |     2375    497 |        0 |        0
382.43/382.53	c  381s |      20 |   695912 |   681027 |     2375    499 |        0 |        0
384.43/384.57	c  383s |      20 |   699476 |   684527 |     2375    501 |        0 |        0
386.43/386.57	c  385s |      20 |   703034 |   688027 |     2375    503 |        0 |        0
388.54/388.65	c  387s |      20 |   706673 |   691627 |     2375    506 |        0 |        0
390.64/390.71	c  389s |      20 |   710324 |   695227 |     2375    508 |        0 |        0
392.63/392.75	c  391s |      20 |   714076 |   698927 |     2375    510 |        0 |        0
394.63/394.77	c  393s |      20 |   717756 |   702527 |     2375    512 |        0 |        0
396.73/396.82	c  395s |      20 |   721394 |   706127 |     2375    514 |        0 |        0
398.73/398.85	c  397s |      20 |   724929 |   709627 |     2375    516 |        0 |        0
400.73/400.85	c  399s |      20 |   728620 |   713227 |     2375    519 |        0 |        0
402.74/402.88	c  401s |      20 |   732179 |   716727 |     2375    521 |        0 |        0
404.73/404.89	c  403s |      20 |   735642 |   720127 |     2375    523 |        0 |        0
406.83/406.92	c  405s |      20 |   739344 |   723727 |     2375    525 |        0 |        0
408.83/408.96	c  408s |      20 |   742976 |   727227 |     2375    527 |        0 |        0
410.83/410.97	c  410s |      20 |   746471 |   730627 |     2375    529 |        0 |        0
412.93/413.00	c  412s |      20 |   750057 |   734127 |     2375    531 |        0 |        0
414.93/415.04	c  414s |      20 |   753946 |   737927 |     2375    533 |        0 |        0
416.93/417.05	c  416s |      20 |   757553 |   741427 |     2375    535 |        0 |        0
418.93/419.09	c  418s |      20 |   761128 |   744927 |     2375    538 |        0 |        0
421.03/421.12	c  420s |      20 |   764827 |   748527 |     2375    540 |        0 |        0
423.03/423.14	c  422s |      20 |   768507 |   752127 |     2375    542 |        0 |        0
425.03/425.19	c  424s |      20 |   772186 |   755727 |     2375    544 |        0 |        0
427.03/427.20	c  426s |      20 |   775643 |   759127 |     2375    546 |        0 |        0
429.13/429.24	c  428s |      20 |   779207 |   762627 |     2375    548 |        0 |        0
431.22/431.30	c  430s |      20 |   782895 |   766227 |     2375    550 |        0 |        0
433.22/433.34	c  432s |      20 |   786461 |   769727 |     2375    552 |        0 |        0
435.22/435.39	c  434s |      20 |   790031 |   773227 |     2375    555 |        0 |        0
437.32/437.44	c  436s |      20 |   793585 |   776727 |     2375    557 |        0 |        0
439.32/439.49	c  438s |      20 |   797058 |   780127 |     2375    559 |        0 |        0
441.42/441.53	c  440s |      20 |   800422 |   783427 |     2375    561 |        0 |        0
443.43/443.58	c  442s |      20 |   804102 |   787027 |     2375    563 |        0 |        0
445.52/445.62	c  444s |      20 |   807644 |   790527 |     2375    565 |        0 |        0
447.52/447.67	c  446s |      20 |   811119 |   793927 |     2375    567 |        0 |        0
449.62/449.70	c  448s |      20 |   814610 |   797327 |     2375    569 |        0 |        0
451.62/451.71	c  450s |      20 |   818008 |   800627 |     2375    571 |        0 |        0
453.62/453.75	c  452s |      20 |   821564 |   804127 |     2375    573 |        0 |        0
455.63/455.78	c  454s |      20 |   825049 |   807527 |     2375    575 |        0 |        0
457.62/457.79	c  456s |      20 |   828439 |   810827 |     2375    577 |        0 |        0
459.72/459.84	c  458s |      20 |   831832 |   814127 |     2375    579 |        0 |        0
461.72/461.86	c  460s |      20 |   835305 |   817527 |     2375    581 |        0 |        0
463.72/463.88	c  462s |      20 |   838562 |   820727 |     2375    583 |        0 |        0
465.82/465.91	c  464s |      20 |   841842 |   823927 |     2375    585 |        0 |        0
467.82/467.96	c  467s |      20 |   845525 |   827527 |     2375    587 |        0 |        0
469.82/469.97	c  469s |      20 |   849090 |   831027 |     2375    589 |        0 |        0
471.82/471.98	c  471s |      20 |   852548 |   834427 |     2375    591 |        0 |        0
473.92/474.04	c  473s |      20 |   855903 |   837727 |     2375    593 |        0 |        0
475.91/476.09	c  475s |      20 |   859491 |   841227 |     2375    595 |        0 |        0
478.01/478.13	c  477s |      20 |   862928 |   844627 |     2375    597 |        0 |        0
480.01/480.15	c  479s |      20 |   866270 |   847927 |     2375    599 |        0 |        0
482.02/482.19	c  481s |      20 |   869624 |   851227 |     2375    601 |        0 |        0
484.12/484.21	c  483s |      20 |   873009 |   854527 |     2375    603 |        0 |        0
486.11/486.24	c  485s |      20 |   876254 |   857727 |     2375    605 |        0 |        0
488.11/488.29	c  487s |      20 |   879644 |   861027 |     2375    607 |        0 |        0
490.21/490.36	c  489s |      20 |   883059 |   864327 |     2375    609 |        0 |        0
492.21/492.37	c  491s |      20 |   886335 |   867527 |     2375    611 |        0 |        0
494.31/494.42	c  493s |      20 |   889828 |   870927 |     2375    613 |        0 |        0
496.32/496.45	c  495s |      20 |   893213 |   874227 |     2375    615 |        0 |        0
498.42/498.51	c  497s |      20 |   896571 |   877527 |     2375    617 |        0 |        0
500.41/500.53	c  499s |      20 |   899826 |   880727 |     2375    619 |        0 |        0
502.41/502.56	c  501s |      20 |   903210 |   884027 |     2375    621 |        0 |        0
504.51/504.62	c  503s |      20 |   906478 |   887227 |     2375    623 |        0 |        0
506.51/506.63	c  505s |      20 |   909645 |   890327 |     2375    625 |        0 |        0
508.51/508.68	c  507s |      20 |   912915 |   893527 |     2375    627 |        0 |        0
510.62/510.73	c  509s |      20 |   916173 |   896727 |     2375    629 |        0 |        0
512.61/512.78	c  511s |      20 |   919646 |   900127 |     2375    631 |        0 |        0
514.61/514.78	c  513s |      20 |   923033 |   903427 |     2375    633 |        0 |        0
516.71/516.81	c  515s |      20 |   926483 |   906827 |     2375    635 |        0 |        0
518.71/518.83	c  517s |      20 |   929841 |   910127 |     2375    637 |        0 |        0
520.71/520.84	c  519s |      20 |   933019 |   913227 |     2375    639 |        0 |        0
522.71/522.86	c  521s |      20 |   936309 |   916427 |     2375    641 |        0 |        0
524.71/524.90	c  523s |      20 |   939593 |   919627 |     2375    642 |        0 |        0
526.81/526.94	c  526s |      20 |   943075 |   923027 |     2375    645 |        0 |        0
528.81/528.98	c  528s |      20 |   946433 |   926327 |     2375    647 |        0 |        0
530.91/531.02	c  530s |      20 |   949816 |   929627 |     2375    649 |        0 |        0
532.91/533.03	c  532s |      20 |   953812 |   933527 |     2375    651 |        0 |        0
534.91/535.06	c  534s |      20 |   957685 |   937327 |     2375    653 |        0 |        0
537.02/537.11	c  536s |      20 |   961631 |   941127 |     2375    655 |        0 |        0
539.01/539.14	c  538s |      20 |   965479 |   944927 |     2375    658 |        0 |        0
541.01/541.15	c  540s |      20 |   969353 |   948727 |     2375    660 |        0 |        0
543.01/543.19	c  542s |      20 |   973024 |   952327 |     2375    662 |        0 |        0
545.11/545.23	c  544s |      20 |   976680 |   955927 |     2375    664 |        0 |        0
547.11/547.27	c  546s |      20 |   980357 |   959527 |     2375    666 |        0 |        0
549.21/549.31	c  548s |      20 |   983921 |   963027 |     2375    669 |        0 |        0
551.22/551.36	c  550s |      20 |   987476 |   966527 |     2375    671 |        0 |        0
553.31/553.41	c  552s |      20 |   991234 |   970227 |     2375    673 |        0 |        0
555.31/555.43	c  554s |      20 |   994786 |   973727 |     2375    675 |        0 |        0
557.31/557.48	c  556s |      20 |   998474 |   977327 |     2375    677 |        0 |        0
559.41/559.52	c  558s |      20 |  1002034 |   980827 |     2375    679 |        0 |        0
561.41/561.52	c  560s |      20 |  1005698 |   984427 |     2375    681 |        0 |        0
563.41/563.58	c  562s |      20 |  1009374 |   988027 |     2375    684 |        0 |        0
565.51/565.62	c  564s |      20 |  1013053 |   991627 |     2375    686 |        0 |        0
567.51/567.63	c  566s |      20 |  1016626 |   995127 |     2613    688 |        0 |        0
569.61/569.70	c  568s |      20 |  1020206 |   998627 |     2613    690 |        0 |        0
570.61/570.71	c  569s |      21 |  1021947 |  1000345 |     2613    690 |        0 |        0
572.60/572.72	c  571s |      21 |  1025508 |  1003745 |     2613    692 |        0 |        0
574.60/574.74	c  573s |      21 |  1029192 |  1007345 |     2613    694 |        0 |        0
576.70/576.80	c  575s |      21 |  1032683 |  1010745 |     2613    696 |        0 |        0
578.71/578.87	c  577s |      21 |  1036269 |  1014245 |     2613    698 |        0 |        0
580.70/580.89	c  579s |      21 |  1039718 |  1017645 |     2613    700 |        0 |        0
582.80/582.91	c  581s |      21 |  1043070 |  1020945 |     2613    702 |        0 |        0
584.80/584.94	c  584s |      21 |  1046442 |  1024245 |     2613    704 |        0 |        0
586.80/586.97	c  586s |      21 |  1050082 |  1027845 |     2613    706 |        0 |        0
588.80/588.97	c  588s |      21 |  1053533 |  1031245 |     2613    708 |        0 |        0
590.91/591.02	c  590s |      21 |  1056772 |  1034445 |     2613    710 |        0 |        0
592.90/593.04	c  592s |      21 |  1060116 |  1037745 |     2613    711 |        0 |        0
594.90/595.08	c  594s |      21 |  1063467 |  1041045 |     2613    713 |        0 |        0
596.90/597.09	c  596s |      21 |  1066915 |  1044445 |     2613    715 |        0 |        0
599.00/599.12	c  598s |      21 |  1070367 |  1047845 |     2613    717 |        0 |        0
601.00/601.17	c  600s |      21 |  1073710 |  1051145 |     2613    719 |        0 |        0
603.10/603.21	c  602s |      21 |  1077172 |  1054545 |     2613    721 |        0 |        0
605.11/605.26	c  604s |      21 |  1080828 |  1058145 |     2613    723 |        0 |        0
607.20/607.30	c  606s |      21 |  1084307 |  1061545 |     2613    725 |        0 |        0
609.20/609.32	c  608s |      21 |  1087688 |  1064845 |     2613    727 |        0 |        0
611.20/611.36	c  610s |      21 |  1091262 |  1068345 |     2613    729 |        0 |        0
613.30/613.44	c  612s |      21 |  1094815 |  1071845 |     2613    731 |        0 |        0
615.30/615.44	c  614s |      21 |  1098277 |  1075245 |     2613    732 |        0 |        0
617.30/617.48	c  616s |      21 |  1101763 |  1078645 |     2613    734 |        0 |        0
619.29/619.49	c  618s |      21 |  1105103 |  1081945 |     2613    736 |        0 |        0
621.39/621.54	c  620s |      21 |  1108673 |  1085445 |     2613    738 |        0 |        0
623.39/623.54	c  622s |      21 |  1112124 |  1088845 |     2613    740 |        0 |        0
625.39/625.59	c  624s |      21 |  1115580 |  1092245 |     2613    742 |        0 |        0
627.49/627.62	c  626s |      21 |  1119360 |  1095945 |     2613    744 |        0 |        0
629.49/629.63	c  628s |      21 |  1122714 |  1099245 |     2613    746 |        0 |        0
631.50/631.65	c  630s |      21 |  1126186 |  1102645 |     2613    748 |        0 |        0
633.49/633.65	c  632s |      21 |  1129539 |  1105945 |     2613    750 |        0 |        0
635.49/635.69	c  634s |      21 |  1133334 |  1109645 |     2613    752 |        0 |        0
637.49/637.69	c  636s |      21 |  1136894 |  1113145 |     2613    754 |        0 |        0
639.59/639.71	c  638s |      21 |  1140476 |  1116645 |     2613    756 |        0 |        0
641.59/641.76	c  640s |      21 |  1144047 |  1120145 |     2613    758 |        0 |        0
643.59/643.77	c  642s |      21 |  1147678 |  1123745 |     2613    760 |        0 |        0
645.68/645.80	c  644s |      21 |  1151352 |  1127345 |     2613    762 |        0 |        0
647.68/647.86	c  646s |      21 |  1154804 |  1130745 |     2613    763 |        0 |        0
649.68/649.88	c  648s |      21 |  1158082 |  1133945 |     2613    765 |        0 |        0
651.78/651.91	c  650s |      21 |  1161516 |  1137345 |     2613    767 |        0 |        0
653.78/653.96	c  653s |      21 |  1164989 |  1140745 |     2613    769 |        0 |        0
655.79/655.98	c  655s |      21 |  1168444 |  1144145 |     2613    771 |        0 |        0
657.89/658.03	c  657s |      21 |  1172089 |  1147745 |     2613    773 |        0 |        0
659.88/660.06	c  659s |      21 |  1175787 |  1151345 |     2613    775 |        0 |        0
661.88/662.07	c  661s |      21 |  1179061 |  1154545 |     2613    777 |        0 |        0
663.88/664.09	c  663s |      21 |  1182535 |  1157945 |     2613    779 |        0 |        0
665.97/666.10	c  665s |      21 |  1186101 |  1161445 |     2613    781 |        0 |        0
667.97/668.11	c  667s |      21 |  1189776 |  1165045 |     2613    783 |        0 |        0
669.98/670.12	c  669s |      21 |  1193240 |  1168445 |     2613    785 |        0 |        0
671.97/672.18	c  671s |      21 |  1196796 |  1171945 |     2613    787 |        0 |        0
674.08/674.24	c  673s |      21 |  1200371 |  1175445 |     2613    789 |        0 |        0
676.08/676.28	c  675s |      21 |  1203822 |  1178845 |     2613    790 |        0 |        0
678.18/678.31	c  677s |      21 |  1207179 |  1182145 |     2613    792 |        0 |        0
680.18/680.36	c  679s |      21 |  1210532 |  1185445 |     2613    794 |        0 |        0
682.27/682.41	c  681s |      21 |  1213976 |  1188845 |     2613    796 |        0 |        0
684.28/684.45	c  683s |      21 |  1217315 |  1192145 |     2613    798 |        0 |        0
686.27/686.47	c  685s |      21 |  1220697 |  1195445 |     2613    800 |        0 |        0
688.37/688.51	c  687s |      21 |  1224153 |  1198845 |     2613    802 |        0 |        0
690.37/690.54	c  689s |      21 |  1227482 |  1202145 |     2613    803 |        0 |        0
692.37/692.58	c  691s |      21 |  1230820 |  1205445 |     2613    805 |        0 |        0
694.47/694.63	c  693s |      21 |  1234271 |  1208845 |     2613    807 |        0 |        0
696.47/696.68	c  695s |      21 |  1237506 |  1212045 |     2613    809 |        0 |        0
698.46/698.70	c  697s |      21 |  1240840 |  1215345 |     2613    811 |        0 |        0
700.56/700.76	c  699s |      21 |  1244181 |  1218645 |     2613    813 |        0 |        0
702.66/702.81	c  701s |      21 |  1247315 |  1221745 |     2613    814 |        0 |        0
704.66/704.83	c  703s |      21 |  1250691 |  1225045 |     2613    816 |        0 |        0
706.66/706.84	c  705s |      21 |  1254055 |  1228345 |     2613    818 |        0 |        0
708.66/708.87	c  707s |      21 |  1257323 |  1231545 |     2613    820 |        0 |        0
710.77/710.92	c  709s |      21 |  1260836 |  1234945 |     2613    822 |        0 |        0
712.76/712.96	c  712s |      21 |  1264150 |  1238145 |     2613    824 |        0 |        0
714.86/715.03	c  714s |      21 |  1267620 |  1241545 |     2613    826 |        0 |        0
716.96/717.11	c  716s |      21 |  1271210 |  1245045 |     2613    828 |        0 |        0
718.95/719.14	c  718s |      21 |  1274717 |  1248445 |     2613    829 |        0 |        0
720.95/721.16	c  720s |      21 |  1278020 |  1251645 |     2613    831 |        0 |        0
722.95/723.17	c  722s |      21 |  1281388 |  1254945 |     2613    833 |        0 |        0
724.96/725.18	c  724s |      21 |  1284636 |  1258145 |     2613    835 |        0 |        0
727.05/727.25	c  726s |      21 |  1287807 |  1261245 |     2613    837 |        0 |        0
729.05/729.28	c  728s |      21 |  1291044 |  1264445 |     2613    838 |        0 |        0
731.15/731.34	c  730s |      21 |  1294288 |  1267645 |     2613    840 |        0 |        0
733.15/733.39	c  732s |      21 |  1297584 |  1270845 |     2613    842 |        0 |        0
735.24/735.44	c  734s |      21 |  1300756 |  1273945 |     2613    844 |        0 |        0
737.34/737.50	c  736s |      21 |  1303995 |  1277145 |     2613    846 |        0 |        0
739.35/739.52	c  738s |      21 |  1307169 |  1280245 |     2613    847 |        0 |        0
741.34/741.52	c  740s |      21 |  1310431 |  1283445 |     2613    849 |        0 |        0
743.34/743.57	c  742s |      21 |  1313703 |  1286645 |     2613    851 |        0 |        0
745.34/745.58	c  744s |      21 |  1316739 |  1289645 |     2613    853 |        0 |        0
747.44/747.62	c  746s |      21 |  1319901 |  1292745 |     2613    854 |        0 |        0
749.44/749.63	c  748s |      21 |  1323667 |  1296445 |     2613    856 |        0 |        0
751.44/751.65	c  750s |      21 |  1327222 |  1299945 |     2613    858 |        0 |        0
753.43/753.68	c  752s |      21 |  1330810 |  1303445 |     2613    860 |        0 |        0
755.53/755.73	c  754s |      21 |  1334374 |  1306945 |     2613    862 |        0 |        0
757.53/757.73	c  756s |      21 |  1337707 |  1310245 |     2613    864 |        0 |        0
759.53/759.78	c  758s |      21 |  1341175 |  1313645 |     2613    866 |        0 |        0
761.63/761.80	c  760s |      21 |  1344841 |  1317245 |     2613    868 |        0 |        0
763.63/763.83	c  762s |      21 |  1348406 |  1320745 |     2613    870 |        0 |        0
765.63/765.86	c  764s |      21 |  1351765 |  1324045 |     2613    872 |        0 |        0
767.73/767.92	c  766s |      21 |  1355098 |  1327345 |     2613    874 |        0 |        0
769.73/769.98	c  769s |      21 |  1358554 |  1330745 |     2613    876 |        0 |        0
771.83/772.03	c  771s |      21 |  1362102 |  1334245 |     2613    878 |        0 |        0
773.83/774.03	c  773s |      21 |  1365563 |  1337645 |     2613    879 |        0 |        0
775.82/776.04	c  775s |      21 |  1369036 |  1341045 |     2613    881 |        0 |        0
777.83/778.08	c  777s |      21 |  1372498 |  1344445 |     2613    883 |        0 |        0
779.93/780.14	c  779s |      21 |  1375840 |  1347745 |     2613    885 |        0 |        0
781.92/782.16	c  781s |      21 |  1379090 |  1350945 |     2613    887 |        0 |        0
783.92/784.16	c  783s |      21 |  1382338 |  1354145 |     2613    889 |        0 |        0
786.02/786.22	c  785s |      21 |  1385681 |  1357445 |     2613    891 |        0 |        0
788.02/788.24	c  787s |      21 |  1388922 |  1360645 |     2613    892 |        0 |        0
790.02/790.24	c  789s |      21 |  1392169 |  1363845 |     2613    894 |        0 |        0
792.02/792.29	c  791s |      21 |  1395397 |  1367045 |     2613    896 |        0 |        0
794.12/794.35	c  793s |      21 |  1398632 |  1370245 |     2613    898 |        0 |        0
796.11/796.35	c  795s |      21 |  1401866 |  1373445 |     2613    899 |        0 |        0
798.11/798.36	c  797s |      21 |  1405226 |  1376745 |     2613    901 |        0 |        0
800.11/800.38	c  799s |      21 |  1408492 |  1379945 |     2613    903 |        0 |        0
802.11/802.40	c  801s |      21 |  1411945 |  1383345 |     2613    905 |        0 |        0
804.22/804.44	c  803s |      21 |  1415093 |  1386445 |     2613    907 |        0 |        0
806.21/806.45	c  805s |      21 |  1418219 |  1389545 |     2613    909 |        0 |        0
808.21/808.47	c  807s |      21 |  1421351 |  1392645 |     2613    910 |        0 |        0
810.31/810.52	c  809s |      21 |  1424383 |  1395645 |     2613    912 |        0 |        0
812.31/812.55	c  811s |      21 |  1427820 |  1399045 |     2613    914 |        0 |        0
814.31/814.59	c  813s |      21 |  1431161 |  1402345 |     2613    916 |        0 |        0
816.40/816.66	c  815s |      21 |  1434488 |  1405645 |     2613    918 |        0 |        0
818.41/818.69	c  817s |      21 |  1437844 |  1408945 |     2613    919 |        0 |        0
820.50/820.71	c  819s |      21 |  1441074 |  1412145 |     2613    921 |        0 |        0
822.50/822.72	c  821s |      21 |  1444517 |  1415545 |     2613    923 |        0 |        0
824.50/824.75	c  823s |      21 |  1448046 |  1419045 |     2613    925 |        0 |        0
826.50/826.76	c  825s |      21 |  1451483 |  1422445 |     2613    927 |        0 |        0
828.50/828.77	c  827s |      21 |  1454718 |  1425645 |     2613    929 |        0 |        0
830.50/830.77	c  829s |      21 |  1457956 |  1428845 |     2613    931 |        0 |        0
832.49/832.78	c  831s |      21 |  1461196 |  1432045 |     2613    932 |        0 |        0
834.49/834.79	c  833s |      21 |  1464432 |  1435245 |     2613    934 |        0 |        0
836.59/836.83	c  835s |      21 |  1467646 |  1438445 |     2613    936 |        0 |        0
838.59/838.83	c  837s |      21 |  1470666 |  1441445 |     2613    938 |        0 |        0
840.59/840.85	c  839s |      21 |  1473793 |  1444545 |     2613    939 |        0 |        0
842.60/842.85	c  841s |      21 |  1476922 |  1447645 |     2613    941 |        0 |        0
844.59/844.88	c  843s |      21 |  1480047 |  1450745 |     2613    943 |        0 |        0
846.59/846.88	c  845s |      21 |  1483378 |  1454045 |     2613    945 |        0 |        0
848.69/848.91	c  847s |      21 |  1486621 |  1457245 |     2613    946 |        0 |        0
850.69/850.95	c  850s |      21 |  1489953 |  1460545 |     2613    948 |        0 |        0
852.69/852.97	c  852s |      21 |  1493183 |  1463745 |     2613    950 |        0 |        0
854.69/854.97	c  854s |      21 |  1496442 |  1466945 |     2613    952 |        0 |        0
856.78/857.01	c  856s |      21 |  1499799 |  1470245 |     2613    954 |        0 |        0
858.78/859.04	c  858s |      21 |  1503142 |  1473545 |     2613    956 |        0 |        0
860.78/861.05	c  860s |      21 |  1506469 |  1476845 |     2613    957 |        0 |        0
862.78/863.10	c  862s |      21 |  1509724 |  1480045 |     2613    959 |        0 |        0
864.88/865.11	c  864s |      21 |  1513073 |  1483345 |     2613    961 |        0 |        0
866.89/867.13	c  866s |      21 |  1516420 |  1486645 |     2613    963 |        0 |        0
868.88/869.15	c  868s |      21 |  1519667 |  1489845 |     2875    965 |        0 |        0
870.88/871.19	c  870s |      21 |  1522997 |  1493145 |     2875    966 |        0 |        0
872.99/873.23	c  872s |      21 |  1526239 |  1496345 |     2875    968 |        0 |        0
874.99/875.25	c  874s |      21 |  1529361 |  1499445 |     2875    970 |        0 |        0
875.69/875.97	c  875s |      22 |  1530547 |  1500622 |     2875    970 |        0 |        0
877.68/878.00	c  877s |      22 |  1534161 |  1504122 |     2875    972 |        0 |        0
879.78/880.00	c  879s |      22 |  1537576 |  1507522 |     2875    974 |        0 |        0
881.78/882.03	c  881s |      22 |  1541045 |  1510922 |     2875    976 |        0 |        0
883.78/884.05	c  883s |      22 |  1544609 |  1514422 |     2875    978 |        0 |        0
885.78/886.08	c  885s |      22 |  1548043 |  1517822 |     2875    979 |        0 |        0
887.88/888.13	c  887s |      22 |  1551403 |  1521122 |     2875    981 |        0 |        0
889.89/890.14	c  889s |      22 |  1554540 |  1524222 |     2875    983 |        0 |        0
891.88/892.18	c  891s |      22 |  1557958 |  1527622 |     2875    984 |        0 |        0
893.98/894.21	c  893s |      22 |  1561303 |  1530922 |     2875    986 |        0 |        0
895.97/896.23	c  895s |      22 |  1564529 |  1534122 |     2875    988 |        0 |        0
897.97/898.26	c  897s |      22 |  1567966 |  1537522 |     2875    990 |        0 |        0
900.07/900.31	c  899s |      22 |  1571407 |  1540922 |     2875    991 |        0 |        0
902.08/902.32	c  901s |      22 |  1574653 |  1544122 |     2875    993 |        0 |        0
904.07/904.32	c  903s |      22 |  1578025 |  1547422 |     2875    995 |        0 |        0
906.07/906.33	c  905s |      22 |  1581280 |  1550622 |     2875    996 |        0 |        0
908.07/908.38	c  907s |      22 |  1584624 |  1553922 |     2875    998 |        0 |        0
910.06/910.38	c  909s |      22 |  1587775 |  1557022 |     2875   1000 |        0 |        0
912.06/912.38	c  911s |      22 |  1591024 |  1560222 |     2875   1001 |        0 |        0
914.07/914.39	c  913s |      22 |  1594269 |  1563422 |     2875   1003 |        0 |        0
916.16/916.40	c  915s |      22 |  1597532 |  1566622 |     2875   1005 |        0 |        0
918.16/918.44	c  917s |      22 |  1600668 |  1569722 |     2875   1006 |        0 |        0
920.16/920.45	c  919s |      22 |  1603798 |  1572822 |     2875   1008 |        0 |        0
922.26/922.52	c  921s |      22 |  1606930 |  1575922 |     2875   1010 |        0 |        0
924.26/924.54	c  923s |      22 |  1610056 |  1579022 |     2875   1011 |        0 |        0
926.35/926.60	c  925s |      22 |  1613109 |  1582022 |     2875   1013 |        0 |        0
928.36/928.62	c  927s |      22 |  1616244 |  1585122 |     2875   1014 |        0 |        0
930.45/930.70	c  929s |      22 |  1619388 |  1588222 |     2875   1016 |        0 |        0
932.45/932.74	c  931s |      22 |  1622523 |  1591322 |     2875   1018 |        0 |        0
934.45/934.78	c  933s |      22 |  1625679 |  1594422 |     2875   1019 |        0 |        0
936.55/936.81	c  935s |      22 |  1628728 |  1597422 |     2875   1021 |        0 |        0
938.55/938.88	c  937s |      22 |  1631870 |  1600522 |     2875   1023 |        0 |        0
940.65/940.95	c  940s |      22 |  1635038 |  1603622 |     2875   1024 |        0 |        0
942.65/942.98	c  942s |      22 |  1638200 |  1606722 |     2875   1026 |        0 |        0
944.74/945.03	c  944s |      22 |  1641663 |  1610122 |     2875   1028 |        0 |        0
946.74/947.07	c  946s |      22 |  1644924 |  1613322 |     2875   1029 |        0 |        0
948.84/949.12	c  948s |      22 |  1648081 |  1616422 |     2875   1031 |        0 |        0
950.84/951.18	c  950s |      22 |  1651309 |  1619622 |     2875   1032 |        0 |        0
952.94/953.22	c  952s |      22 |  1654456 |  1622722 |     2875   1034 |        0 |        0
954.93/955.27	c  954s |      22 |  1657850 |  1626022 |     2875   1036 |        0 |        0
957.04/957.33	c  956s |      22 |  1661228 |  1629322 |     2875   1038 |        0 |        0
959.03/959.33	c  958s |      22 |  1664442 |  1632422 |     2875   1039 |        0 |        0
961.03/961.38	c  960s |      22 |  1667578 |  1635522 |     2875   1041 |        0 |        0
963.03/963.38	c  962s |      22 |  1670816 |  1638722 |     2875   1042 |        0 |        0
965.03/965.39	c  964s |      22 |  1673946 |  1641822 |     2875   1044 |        0 |        0
967.13/967.42	c  966s |      22 |  1677288 |  1645122 |     2875   1046 |        0 |        0
969.14/969.43	c  968s |      22 |  1680614 |  1648422 |     2875   1048 |        0 |        0
971.13/971.43	c  970s |      22 |  1683839 |  1651622 |     2875   1049 |        0 |        0
973.13/973.49	c  972s |      22 |  1687082 |  1654822 |     2875   1051 |        0 |        0
975.22/975.50	c  974s |      22 |  1690115 |  1657822 |     2875   1052 |        0 |        0
977.22/977.54	c  976s |      22 |  1693554 |  1661222 |     2875   1054 |        0 |        0
979.22/979.57	c  978s |      22 |  1696790 |  1664422 |     2875   1056 |        0 |        0
981.32/981.63	c  980s |      22 |  1700026 |  1667622 |     2875   1058 |        0 |        0
983.33/983.68	c  982s |      22 |  1703284 |  1670822 |     2875   1059 |        0 |        0
985.42/985.72	c  984s |      22 |  1706525 |  1674022 |     2875   1061 |        0 |        0
987.42/987.78	c  986s |      22 |  1709756 |  1677222 |     2875   1063 |        0 |        0
989.52/989.81	c  988s |      22 |  1712812 |  1680222 |     2875   1064 |        0 |        0
991.52/991.83	c  990s |      22 |  1715855 |  1683222 |     2875   1066 |        0 |        0
993.62/993.90	c  992s |      22 |  1718999 |  1686322 |     2875   1067 |        0 |        0
995.61/995.96	c  995s |      22 |  1722259 |  1689522 |     2875   1069 |        0 |        0
997.72/998.01	c  997s |      22 |  1725313 |  1692522 |     2875   1071 |        0 |        0
999.71/1000.05	c  999s |      22 |  1728470 |  1695622 |     2875   1072 |        0 |        0
1001.71/1002.05	c 1001s |      22 |  1731320 |  1698422 |     2875   1074 |        0 |        0
1003.81/1004.14	c 1003s |      22 |  1734357 |  1701422 |     2875   1075 |        0 |        0
1005.81/1006.17	c 1005s |      22 |  1737418 |  1704422 |     2875   1077 |        0 |        0
1007.91/1008.23	c 1007s |      22 |  1740692 |  1707622 |     2875   1078 |        0 |        0
1009.91/1010.26	c 1009s |      22 |  1743837 |  1710722 |     2875   1080 |        0 |        0
1011.92/1012.29	c 1011s |      22 |  1746881 |  1713722 |     2875   1082 |        0 |        0
1014.01/1014.34	c 1013s |      22 |  1750143 |  1716922 |     2875   1083 |        0 |        0
1016.01/1016.35	c 1015s |      22 |  1753213 |  1719922 |     2875   1085 |        0 |        0
1018.11/1018.41	c 1017s |      22 |  1756264 |  1722922 |     2875   1086 |        0 |        0
1020.11/1020.41	c 1019s |      22 |  1759426 |  1726022 |     2875   1088 |        0 |        0
1022.10/1022.48	c 1021s |      22 |  1762594 |  1729122 |     2875   1090 |        0 |        0
1024.20/1024.54	c 1023s |      22 |  1765773 |  1732222 |     2875   1091 |        0 |        0
1026.21/1026.54	c 1025s |      22 |  1768723 |  1735122 |     2875   1093 |        0 |        0
1028.20/1028.58	c 1027s |      22 |  1771987 |  1738322 |     2875   1094 |        0 |        0
1030.30/1030.63	c 1029s |      22 |  1775235 |  1741522 |     2875   1096 |        0 |        0
1032.30/1032.64	c 1031s |      22 |  1778374 |  1744622 |     2875   1098 |        0 |        0
1034.30/1034.67	c 1033s |      22 |  1781614 |  1747822 |     2875   1099 |        0 |        0
1036.41/1036.72	c 1035s |      22 |  1784851 |  1751022 |     2875   1101 |        0 |        0
1038.41/1038.76	c 1037s |      22 |  1788202 |  1754322 |     2875   1103 |        0 |        0
1040.41/1040.79	c 1039s |      22 |  1791447 |  1757522 |     2875   1104 |        0 |        0
1042.51/1042.82	c 1041s |      22 |  1794575 |  1760622 |     2875   1106 |        0 |        0
1044.50/1044.84	c 1043s |      22 |  1797614 |  1763622 |     2875   1108 |        0 |        0
1046.50/1046.86	c 1045s |      22 |  1800773 |  1766722 |     2875   1109 |        0 |        0
1048.50/1048.88	c 1047s |      22 |  1803913 |  1769822 |     2875   1111 |        0 |        0
1050.60/1050.94	c 1050s |      22 |  1807071 |  1772922 |     2875   1113 |        0 |        0
1052.61/1052.95	c 1052s |      22 |  1810225 |  1776022 |     2875   1114 |        0 |        0
1054.70/1055.00	c 1054s |      22 |  1813274 |  1779022 |     2875   1116 |        0 |        0
1056.70/1057.07	c 1056s |      22 |  1816519 |  1782222 |     2875   1117 |        0 |        0
1058.80/1059.10	c 1058s |      22 |  1819684 |  1785322 |     2875   1119 |        0 |        0
1060.79/1061.13	c 1060s |      22 |  1822714 |  1788322 |     2875   1121 |        0 |        0
1062.79/1063.16	c 1062s |      22 |  1825766 |  1791322 |     2875   1122 |        0 |        0
1064.80/1065.16	c 1064s |      22 |  1828826 |  1794322 |     2875   1124 |        0 |        0
1066.79/1067.18	c 1066s |      22 |  1832097 |  1797522 |     2875   1125 |        0 |        0
1068.89/1069.20	c 1068s |      22 |  1834966 |  1800322 |     2875   1127 |        0 |        0
1070.89/1071.22	c 1070s |      22 |  1838026 |  1803322 |     2875   1128 |        0 |        0
1072.89/1073.24	c 1072s |      22 |  1840963 |  1806222 |     2875   1130 |        0 |        0
1074.88/1075.29	c 1074s |      22 |  1843928 |  1809122 |     2875   1131 |        0 |        0
1076.98/1077.30	c 1076s |      22 |  1847011 |  1812122 |     2875   1133 |        0 |        0
1078.99/1079.32	c 1078s |      22 |  1850184 |  1815222 |     2875   1135 |        0 |        0
1080.98/1081.34	c 1080s |      22 |  1853565 |  1818522 |     2875   1136 |        0 |        0
1082.98/1083.38	c 1082s |      22 |  1856715 |  1821622 |     2875   1138 |        0 |        0
1085.08/1085.42	c 1084s |      22 |  1859765 |  1824622 |     2875   1140 |        0 |        0
1087.08/1087.44	c 1086s |      22 |  1863233 |  1828022 |     2875   1141 |        0 |        0
1089.08/1089.45	c 1088s |      22 |  1866476 |  1831222 |     2875   1143 |        0 |        0
1091.18/1091.50	c 1090s |      22 |  1869758 |  1834422 |     2875   1145 |        0 |        0
1093.17/1093.51	c 1092s |      22 |  1873019 |  1837622 |     2875   1146 |        0 |        0
1095.17/1095.56	c 1094s |      22 |  1876263 |  1840822 |     2875   1148 |        0 |        0
1097.27/1097.60	c 1096s |      22 |  1879830 |  1844322 |     2875   1150 |        0 |        0
1099.27/1099.61	c 1098s |      22 |  1883085 |  1847522 |     2875   1151 |        0 |        0
1101.27/1101.64	c 1100s |      22 |  1886537 |  1850922 |     2875   1153 |        0 |        0
1103.28/1103.66	c 1102s |      22 |  1889802 |  1854122 |     2875   1155 |        0 |        0
1105.27/1105.70	c 1104s |      22 |  1892959 |  1857222 |     2875   1157 |        0 |        0
1107.37/1107.72	c 1106s |      22 |  1896117 |  1860322 |     2875   1158 |        0 |        0
1109.37/1109.77	c 1108s |      22 |  1899254 |  1863422 |     2875   1160 |        0 |        0
1111.47/1111.80	c 1110s |      22 |  1902515 |  1866622 |     2875   1161 |        0 |        0
1113.47/1113.83	c 1112s |      22 |  1905668 |  1869722 |     2875   1163 |        0 |        0
1115.47/1115.85	c 1114s |      22 |  1908825 |  1872822 |     2875   1165 |        0 |        0
1117.48/1117.90	c 1116s |      22 |  1911981 |  1875922 |     2875   1166 |        0 |        0
1119.57/1119.90	c 1118s |      22 |  1915139 |  1879022 |     2875   1168 |        0 |        0
1121.57/1121.92	c 1120s |      22 |  1918274 |  1882122 |     2875   1170 |        0 |        0
1123.57/1123.98	c 1123s |      22 |  1921620 |  1885422 |     2875   1171 |        0 |        0
1125.66/1126.02	c 1125s |      22 |  1924840 |  1888622 |     2875   1173 |        0 |        0
1127.66/1128.06	c 1127s |      22 |  1927859 |  1891622 |     2875   1175 |        0 |        0
1129.76/1130.12	c 1129s |      22 |  1930911 |  1894622 |     2875   1176 |        0 |        0
1131.77/1132.17	c 1131s |      22 |  1933731 |  1897422 |     2875   1178 |        0 |        0
1133.86/1134.20	c 1133s |      22 |  1936775 |  1900422 |     2875   1179 |        0 |        0
1135.86/1136.24	c 1135s |      22 |  1939716 |  1903322 |     2875   1181 |        0 |        0
1137.86/1138.29	c 1137s |      22 |  1942671 |  1906222 |     2875   1182 |        0 |        0
1139.96/1140.37	c 1139s |      22 |  1945608 |  1909122 |     2875   1184 |        0 |        0
1142.06/1142.43	c 1141s |      22 |  1948454 |  1911922 |     2875   1185 |        0 |        0
1144.06/1144.43	c 1143s |      22 |  1951604 |  1915022 |     2875   1187 |        0 |        0
1146.06/1146.46	c 1145s |      22 |  1954954 |  1918322 |     2875   1188 |        0 |        0
1148.05/1148.47	c 1147s |      22 |  1958111 |  1921422 |     2875   1190 |        0 |        0
1150.15/1150.51	c 1149s |      22 |  1961353 |  1924622 |     2875   1192 |        0 |        0
1152.15/1152.56	c 1151s |      22 |  1964716 |  1927922 |     2875   1193 |        0 |        0
1154.15/1154.57	c 1153s |      22 |  1967946 |  1931122 |     2875   1195 |        0 |        0
1156.25/1156.62	c 1155s |      22 |  1971092 |  1934222 |     2875   1197 |        0 |        0
1158.25/1158.68	c 1157s |      22 |  1974459 |  1937522 |     2875   1198 |        0 |        0
1160.35/1160.73	c 1159s |      22 |  1977507 |  1940522 |     2875   1200 |        0 |        0
1162.34/1162.77	c 1161s |      22 |  1980767 |  1943722 |     2875   1202 |        0 |        0
1164.34/1164.80	c 1163s |      22 |  1983922 |  1946822 |     2875   1203 |        0 |        0
1166.44/1166.84	c 1165s |      22 |  1986985 |  1949822 |     2875   1205 |        0 |        0
1168.54/1168.91	c 1167s |      22 |  1990123 |  1952922 |     2875   1207 |        0 |        0
1170.54/1170.92	c 1169s |      22 |  1993062 |  1955822 |     2875   1208 |        0 |        0
1172.55/1172.93	c 1171s |      22 |  1995989 |  1958722 |     2875   1210 |        0 |        0
1174.54/1174.97	c 1174s |      22 |  1999029 |  1961722 |     2875   1211 |        0 |        0
1176.64/1177.09	c 1176s |      22 |  2001983 |  1964622 |     2875   1213 |        0 |        0
1178.73/1179.11	c 1178s |      22 |  2005227 |  1967822 |     2875   1214 |        0 |        0
1180.73/1181.14	c 1180s |      22 |  2008176 |  1970722 |     2875   1216 |        0 |        0
1182.73/1183.19	c 1182s |      22 |  2011129 |  1973622 |     2875   1217 |        0 |        0
1184.83/1185.24	c 1184s |      22 |  2014260 |  1976722 |     2875   1219 |        0 |        0
1186.93/1187.32	c 1186s |      22 |  2017298 |  1979722 |     2875   1221 |        0 |        0
1188.93/1189.32	c 1188s |      22 |  2020246 |  1982622 |     2875   1222 |        0 |        0
1190.93/1191.36	c 1190s |      22 |  2023415 |  1985722 |     2875   1224 |        0 |        0
1193.03/1193.40	c 1192s |      22 |  2026583 |  1988822 |     2875   1225 |        0 |        0
1195.02/1195.45	c 1194s |      22 |  2029830 |  1992022 |     2875   1227 |        0 |        0
1197.12/1197.51	c 1196s |      22 |  2033100 |  1995222 |     2875   1229 |        0 |        0
1199.12/1199.52	c 1198s |      22 |  2036127 |  1998222 |     2875   1230 |        0 |        0
1201.13/1201.58	c 1200s |      22 |  2038972 |  2001022 |     2875   1232 |        0 |        0
1203.23/1203.64	c 1202s |      22 |  2042031 |  2004022 |     2875   1233 |        0 |        0
1205.21/1205.68	c 1204s |      22 |  2045010 |  2006922 |     2875   1235 |        0 |        0
1207.31/1207.74	c 1206s |      22 |  2048054 |  2009922 |     2875   1236 |        0 |        0
1209.41/1209.80	c 1208s |      22 |  2051200 |  2013022 |     2875   1238 |        0 |        0
1211.41/1211.84	c 1210s |      22 |  2054454 |  2016222 |     2875   1240 |        0 |        0
1213.41/1213.87	c 1212s |      22 |  2057481 |  2019222 |     2875   1241 |        0 |        0
1215.41/1215.88	c 1214s |      22 |  2060530 |  2022222 |     2875   1243 |        0 |        0
1217.41/1217.89	c 1216s |      22 |  2063874 |  2025522 |     2875   1244 |        0 |        0
1219.51/1219.95	c 1219s |      22 |  2067330 |  2028922 |     2875   1246 |        0 |        0
1221.51/1221.96	c 1221s |      22 |  2070498 |  2032022 |     2875   1248 |        0 |        0
1223.61/1224.01	c 1223s |      22 |  2073660 |  2035122 |     2875   1249 |        0 |        0
1225.60/1226.05	c 1225s |      22 |  2076923 |  2038322 |     2875   1251 |        0 |        0
1227.60/1228.05	c 1227s |      22 |  2080067 |  2041422 |     2875   1253 |        0 |        0
1229.71/1230.10	c 1229s |      22 |  2083311 |  2044622 |     2875   1254 |        0 |        0
1231.70/1232.17	c 1231s |      22 |  2086347 |  2047622 |     2875   1256 |        0 |        0
1233.80/1234.27	c 1233s |      22 |  2089402 |  2050622 |     2875   1258 |        0 |        0
1235.89/1236.31	c 1235s |      22 |  2092429 |  2053622 |     2875   1259 |        0 |        0
1237.89/1238.36	c 1237s |      22 |  2095265 |  2056422 |     2875   1261 |        0 |        0
1239.89/1240.38	c 1239s |      22 |  2098319 |  2059422 |     2875   1262 |        0 |        0
1241.89/1242.39	c 1241s |      22 |  2101165 |  2062222 |     2875   1264 |        0 |        0
1243.90/1244.39	c 1243s |      22 |  2104105 |  2065122 |     2875   1265 |        0 |        0
1245.99/1246.44	c 1245s |      22 |  2107049 |  2068022 |     2875   1267 |        0 |        0
1247.99/1248.48	c 1247s |      22 |  2110084 |  2071022 |     2875   1268 |        0 |        0
1249.99/1250.49	c 1249s |      22 |  2113037 |  2073922 |     2875   1270 |        0 |        0
1252.09/1252.54	c 1251s |      22 |  2116092 |  2076922 |     2875   1271 |        0 |        0
1254.09/1254.54	c 1253s |      22 |  2119055 |  2079822 |     2875   1273 |        0 |        0
1256.09/1256.57	c 1255s |      22 |  2121895 |  2082622 |     2875   1274 |        0 |        0
1258.19/1258.62	c 1257s |      22 |  2124932 |  2085622 |     2875   1276 |        0 |        0
1260.18/1260.69	c 1259s |      22 |  2128266 |  2088922 |     2875   1278 |        0 |        0
1262.29/1262.72	c 1261s |      22 |  2131515 |  2092122 |     2875   1279 |        0 |        0
1264.29/1264.73	c 1263s |      22 |  2134457 |  2095022 |     2875   1281 |        0 |        0
1266.28/1266.79	c 1265s |      22 |  2137494 |  2098022 |     2875   1282 |        0 |        0
1268.28/1268.79	c 1267s |      22 |  2140438 |  2100922 |     2875   1284 |        0 |        0
1270.39/1270.81	c 1269s |      22 |  2143369 |  2103822 |     2875   1285 |        0 |        0
1272.38/1272.87	c 1271s |      22 |  2146302 |  2106722 |     2875   1287 |        0 |        0
1274.38/1274.89	c 1273s |      22 |  2149151 |  2109522 |     2875   1288 |        0 |        0
1276.48/1276.91	c 1275s |      22 |  2151877 |  2112222 |     2875   1290 |        0 |        0
1278.48/1278.91	c 1277s |      22 |  2154710 |  2115022 |     2875   1291 |        0 |        0
1280.48/1280.95	c 1280s |      22 |  2157769 |  2118022 |     2875   1293 |        0 |        0
1282.49/1282.96	c 1282s |      22 |  2160726 |  2120922 |     2875   1294 |        0 |        0
1284.48/1284.97	c 1284s |      22 |  2163666 |  2123822 |     2875   1296 |        0 |        0
1286.58/1287.03	c 1286s |      22 |  2166700 |  2126822 |     2875   1297 |        0 |        0
1288.58/1289.09	c 1288s |      22 |  2169730 |  2129822 |     2875   1299 |        0 |        0
1290.58/1291.09	c 1290s |      22 |  2172565 |  2132622 |     2875   1300 |        0 |        0
1292.68/1293.15	c 1292s |      22 |  2175386 |  2135422 |     2875   1302 |        0 |        0
1294.68/1295.19	c 1294s |      22 |  2178337 |  2138322 |     2875   1303 |        0 |        0
1296.78/1297.24	c 1296s |      22 |  2181179 |  2141122 |     2875   1305 |        0 |        0
1298.77/1299.26	c 1298s |      22 |  2183899 |  2143822 |     2875   1306 |        0 |        0
1300.87/1301.33	c 1300s |      22 |  2186723 |  2146622 |     2875   1308 |        0 |        0
1302.87/1303.35	c 1302s |      22 |  2189450 |  2149322 |     2875   1309 |        0 |        0
1304.87/1305.37	c 1304s |      22 |  2191978 |  2151822 |     2875   1310 |        0 |        0
1306.97/1307.42	c 1306s |      22 |  2194810 |  2154622 |     2875   1312 |        0 |        0
1308.97/1309.47	c 1308s |      22 |  2197544 |  2157322 |     2875   1313 |        0 |        0
1310.98/1311.48	c 1310s |      22 |  2200297 |  2160022 |     2875   1315 |        0 |        0
1313.07/1313.54	c 1312s |      22 |  2203306 |  2163022 |     2875   1316 |        0 |        0
1315.07/1315.58	c 1314s |      22 |  2206334 |  2166022 |     2875   1318 |        0 |        0
1317.17/1317.60	c 1316s |      22 |  2209278 |  2168922 |     2875   1319 |        0 |        0
1319.17/1319.67	c 1318s |      22 |  2212216 |  2171822 |     2875   1321 |        0 |        0
1321.27/1321.72	c 1320s |      22 |  2215051 |  2174622 |     2875   1322 |        0 |        0
1323.27/1323.72	c 1322s |      22 |  2217977 |  2177522 |     2875   1324 |        0 |        0
1325.28/1325.75	c 1324s |      22 |  2221020 |  2180522 |     2875   1325 |        0 |        0
1327.37/1327.80	c 1326s |      22 |  2223957 |  2183422 |     2875   1327 |        0 |        0
1329.37/1329.80	c 1328s |      22 |  2226781 |  2186222 |     2875   1328 |        0 |        0
1331.37/1331.83	c 1330s |      22 |  2229510 |  2188922 |     2875   1330 |        0 |        0
1333.37/1333.84	c 1332s |      22 |  2232235 |  2191622 |     2875   1331 |        0 |        0
1335.47/1335.91	c 1334s |      22 |  2235066 |  2194422 |     2875   1333 |        0 |        0
1337.48/1337.97	c 1337s |      22 |  2237885 |  2197222 |     2875   1334 |        0 |        0
1339.58/1340.02	c 1339s |      22 |  2240754 |  2200022 |     2875   1336 |        0 |        0
1341.57/1342.09	c 1341s |      22 |  2243907 |  2203122 |     2875   1337 |        0 |        0
1343.67/1344.13	c 1343s |      22 |  2246839 |  2206022 |     2875   1339 |        0 |        0
1345.67/1346.19	c 1345s |      22 |  2250022 |  2209122 |     2875   1340 |        0 |        0
1347.77/1348.22	c 1347s |      22 |  2252867 |  2211922 |     2875   1342 |        0 |        0
1349.77/1350.26	c 1349s |      22 |  2255825 |  2214822 |     2875   1343 |        0 |        0
1351.77/1352.27	c 1351s |      22 |  2258660 |  2217622 |     2875   1345 |        0 |        0
1353.87/1354.33	c 1353s |      22 |  2261701 |  2220622 |     2875   1346 |        0 |        0
1355.86/1356.39	c 1355s |      22 |  2264643 |  2223522 |     2875   1348 |        0 |        0
1357.96/1358.41	c 1357s |      22 |  2267502 |  2226322 |     2875   1349 |        0 |        0
1359.96/1360.45	c 1359s |      22 |  2270463 |  2229222 |     2875   1351 |        0 |        0
1361.96/1362.45	c 1361s |      22 |  2273303 |  2232022 |     2875   1352 |        0 |        0
1364.06/1364.50	c 1363s |      22 |  2276351 |  2235022 |     3163   1354 |        0 |        0
1366.07/1366.53	c 1365s |      22 |  2279373 |  2238022 |     3163   1355 |        0 |        0
1368.17/1368.63	c 1367s |      22 |  2282206 |  2240822 |     3163   1357 |        0 |        0
1370.16/1370.64	c 1369s |      22 |  2285136 |  2243722 |     3163   1358 |        0 |        0
1372.16/1372.68	c 1371s |      22 |  2287971 |  2246522 |     3163   1359 |        0 |        0
1374.16/1374.68	c 1373s |      22 |  2290698 |  2249222 |     3163   1361 |        0 |        0
1375.47/1375.91	c 1374s |      23 |  2292561 |  2251038 |     3163   1362 |        0 |        0
1377.47/1377.91	c 1376s |      23 |  2295828 |  2254238 |     3163   1363 |        0 |        0
1379.47/1379.92	c 1378s |      23 |  2298861 |  2257238 |     3163   1365 |        0 |        0
1381.47/1381.94	c 1381s |      23 |  2301973 |  2260338 |     3163   1366 |        0 |        0
1383.57/1384.02	c 1383s |      23 |  2305085 |  2263438 |     3163   1368 |        0 |        0
1385.56/1386.05	c 1385s |      23 |  2308424 |  2266738 |     3163   1369 |        0 |        0
1387.56/1388.05	c 1387s |      23 |  2311443 |  2269738 |     3163   1371 |        0 |        0
1389.56/1390.08	c 1389s |      23 |  2314479 |  2272738 |     3163   1372 |        0 |        0
1391.66/1392.14	c 1391s |      23 |  2317401 |  2275638 |     3163   1373 |        0 |        0
1393.76/1394.21	c 1393s |      23 |  2320524 |  2278738 |     3163   1375 |        0 |        0
1395.77/1396.24	c 1395s |      23 |  2323559 |  2281738 |     3163   1376 |        0 |        0
1397.87/1398.30	c 1397s |      23 |  2326783 |  2284938 |     3163   1378 |        0 |        0
1399.86/1400.32	c 1399s |      23 |  2329807 |  2287938 |     3163   1379 |        0 |        0
1401.86/1402.35	c 1401s |      23 |  2333123 |  2291238 |     3163   1381 |        0 |        0
1403.86/1404.38	c 1403s |      23 |  2336250 |  2294338 |     3163   1383 |        0 |        0
1405.96/1406.40	c 1405s |      23 |  2339279 |  2297338 |     3163   1384 |        0 |        0
1407.96/1408.41	c 1407s |      23 |  2342395 |  2300438 |     3163   1385 |        0 |        0
1409.96/1410.45	c 1409s |      23 |  2345623 |  2303638 |     3163   1387 |        0 |        0
1412.06/1412.53	c 1411s |      23 |  2348743 |  2306738 |     3163   1389 |        0 |        0
1414.16/1414.61	c 1413s |      23 |  2351873 |  2309838 |     3163   1390 |        0 |        0
1416.16/1416.65	c 1415s |      23 |  2355209 |  2313138 |     3163   1392 |        0 |        0
1418.16/1418.66	c 1417s |      23 |  2358331 |  2316238 |     3163   1393 |        0 |        0
1420.26/1420.75	c 1419s |      23 |  2361355 |  2319238 |     3163   1395 |        0 |        0
1422.25/1422.79	c 1421s |      23 |  2364687 |  2322538 |     3163   1396 |        0 |        0
1424.36/1424.82	c 1423s |      23 |  2367727 |  2325538 |     3163   1398 |        0 |        0
1426.35/1426.83	c 1425s |      23 |  2371175 |  2328938 |     3163   1399 |        0 |        0
1428.35/1428.85	c 1427s |      23 |  2374405 |  2332138 |     3163   1401 |        0 |        0
1430.35/1430.87	c 1429s |      23 |  2377532 |  2335238 |     3163   1402 |        0 |        0
1432.45/1432.91	c 1431s |      23 |  2380908 |  2338538 |     3163   1404 |        0 |        0
1434.45/1434.94	c 1434s |      23 |  2384041 |  2341638 |     3163   1405 |        0 |        0
1436.46/1436.95	c 1436s |      23 |  2387159 |  2344738 |     3163   1407 |        0 |        0
1438.45/1438.99	c 1438s |      23 |  2390293 |  2347838 |     3163   1409 |        0 |        0
1440.55/1441.00	c 1440s |      23 |  2393533 |  2351038 |     3163   1410 |        0 |        0
1442.55/1443.06	c 1442s |      23 |  2396563 |  2354038 |     3163   1412 |        0 |        0
1444.55/1445.07	c 1444s |      23 |  2399597 |  2357038 |     3163   1413 |        0 |        0
1446.65/1447.10	c 1446s |      23 |  2402637 |  2360038 |     3163   1414 |        0 |        0
1448.65/1449.12	c 1448s |      23 |  2405672 |  2363038 |     3163   1416 |        0 |        0
1450.66/1451.19	c 1450s |      23 |  2408691 |  2366038 |     3163   1417 |        0 |        0
1452.75/1453.20	c 1452s |      23 |  2411519 |  2368838 |     3163   1419 |        0 |        0
1454.75/1455.26	c 1454s |      23 |  2414437 |  2371738 |     3163   1420 |        0 |        0
1456.85/1457.30	c 1456s |      23 |  2417382 |  2374638 |     3163   1422 |        0 |        0
1458.85/1459.35	c 1458s |      23 |  2420318 |  2377538 |     3163   1423 |        0 |        0
1460.85/1461.39	c 1460s |      23 |  2423045 |  2380238 |     3163   1424 |        0 |        0
1462.95/1463.46	c 1462s |      23 |  2425775 |  2382938 |     3163   1426 |        0 |        0
1465.06/1465.52	c 1464s |      23 |  2428413 |  2385538 |     3163   1427 |        0 |        0
1467.05/1467.52	c 1466s |      23 |  2431261 |  2388338 |     3163   1428 |        0 |        0
1469.05/1469.54	c 1468s |      23 |  2434112 |  2391138 |     3163   1430 |        0 |        0
1471.15/1471.60	c 1470s |      23 |  2437037 |  2394038 |     3163   1431 |        0 |        0
1473.15/1473.65	c 1472s |      23 |  2439762 |  2396738 |     3163   1432 |        0 |        0
1475.15/1475.65	c 1474s |      23 |  2442496 |  2399438 |     3163   1434 |        0 |        0
1477.15/1477.68	c 1476s |      23 |  2445240 |  2402138 |     3163   1435 |        0 |        0
1479.25/1479.72	c 1478s |      23 |  2447984 |  2404838 |     3163   1436 |        0 |        0
1481.24/1481.77	c 1480s |      23 |  2450822 |  2407638 |     3163   1438 |        0 |        0
1483.24/1483.78	c 1482s |      23 |  2454149 |  2410938 |     3163   1439 |        0 |        0
1485.34/1485.82	c 1484s |      23 |  2457382 |  2414138 |     3163   1441 |        0 |        0
1487.34/1487.86	c 1486s |      23 |  2460608 |  2417338 |     3163   1442 |        0 |        0
1489.34/1489.86	c 1488s |      23 |  2463724 |  2420438 |     3163   1444 |        0 |        0
1491.45/1491.91	c 1490s |      23 |  2466948 |  2423638 |     3163   1445 |        0 |        0
1493.44/1493.96	c 1493s |      23 |  2470171 |  2426838 |     3163   1447 |        0 |        0
1495.54/1496.00	c 1495s |      23 |  2473385 |  2430038 |     3163   1448 |        0 |        0
1497.54/1498.01	c 1497s |      23 |  2476498 |  2433138 |     3163   1450 |        0 |        0
1499.54/1500.05	c 1499s |      23 |  2479620 |  2436238 |     3163   1451 |        0 |        0
1501.64/1502.10	c 1501s |      23 |  2482737 |  2439338 |     3163   1453 |        0 |        0
1503.64/1504.15	c 1503s |      23 |  2485937 |  2442538 |     3163   1454 |        0 |        0
1505.65/1506.18	c 1505s |      23 |  2488944 |  2445538 |     3163   1456 |        0 |        0
1507.74/1508.21	c 1507s |      23 |  2491781 |  2448338 |     3163   1457 |        0 |        0
1509.74/1510.22	c 1509s |      23 |  2494896 |  2451438 |     3163   1459 |        0 |        0
1511.74/1512.24	c 1511s |      23 |  2497940 |  2454438 |     3163   1460 |        0 |        0
1513.74/1514.27	c 1513s |      23 |  2500856 |  2457338 |     3163   1462 |        0 |        0
1515.84/1516.31	c 1515s |      23 |  2504214 |  2460638 |     3163   1463 |        0 |        0
1517.85/1518.33	c 1517s |      23 |  2507345 |  2463738 |     3163   1465 |        0 |        0
1519.84/1520.39	c 1519s |      23 |  2510584 |  2466938 |     3163   1466 |        0 |        0
1521.94/1522.45	c 1521s |      23 |  2513615 |  2469938 |     3163   1468 |        0 |        0
1523.94/1524.49	c 1523s |      23 |  2516645 |  2472938 |     3163   1469 |        0 |        0
1526.04/1526.51	c 1525s |      23 |  2519577 |  2475838 |     3163   1471 |        0 |        0
1528.04/1528.56	c 1527s |      23 |  2522708 |  2478938 |     3163   1472 |        0 |        0
1530.04/1530.57	c 1529s |      23 |  2525630 |  2481838 |     3163   1474 |        0 |        0
1532.04/1532.59	c 1531s |      23 |  2528750 |  2484938 |     3163   1475 |        0 |        0
1534.13/1534.60	c 1533s |      23 |  2531673 |  2487838 |     3163   1477 |        0 |        0
1536.13/1536.66	c 1535s |      23 |  2534692 |  2490838 |     3163   1478 |        0 |        0
1538.23/1538.72	c 1537s |      23 |  2537832 |  2493938 |     3163   1479 |        0 |        0
1540.23/1540.72	c 1539s |      23 |  2540764 |  2496838 |     3163   1481 |        0 |        0
1542.33/1542.80	c 1541s |      23 |  2543780 |  2499838 |     3163   1482 |        0 |        0
1544.33/1544.85	c 1543s |      23 |  2546816 |  2502838 |     3163   1484 |        0 |        0
1546.34/1546.87	c 1545s |      23 |  2549850 |  2505838 |     3163   1485 |        0 |        0
1548.43/1548.92	c 1547s |      23 |  2552786 |  2508738 |     3163   1487 |        0 |        0
1550.43/1550.99	c 1550s |      23 |  2555818 |  2511738 |     3163   1488 |        0 |        0
1552.53/1553.00	c 1552s |      23 |  2558677 |  2514538 |     3163   1489 |        0 |        0
1554.53/1555.04	c 1554s |      23 |  2561723 |  2517538 |     3163   1491 |        0 |        0
1556.63/1557.11	c 1556s |      23 |  2564662 |  2520438 |     3163   1492 |        0 |        0
1558.63/1559.13	c 1558s |      23 |  2567429 |  2523138 |     3163   1494 |        0 |        0
1560.74/1561.24	c 1560s |      23 |  2570240 |  2525938 |     3163   1495 |        0 |        0
1562.84/1563.32	c 1562s |      23 |  2573171 |  2528838 |     3163   1496 |        0 |        0
1564.83/1565.32	c 1564s |      23 |  2575993 |  2531638 |     3163   1498 |        0 |        0
1566.83/1567.35	c 1566s |      23 |  2578819 |  2534438 |     3163   1499 |        0 |        0
1568.93/1569.46	c 1568s |      23 |  2581642 |  2537238 |     3163   1501 |        0 |        0
1571.03/1571.53	c 1570s |      23 |  2584469 |  2540038 |     3163   1502 |        0 |        0
1573.03/1573.56	c 1572s |      23 |  2587863 |  2543338 |     3163   1503 |        0 |        0
1575.04/1575.59	c 1574s |      23 |  2591038 |  2546438 |     3163   1505 |        0 |        0
1577.14/1577.61	c 1576s |      23 |  2594109 |  2549438 |     3163   1506 |        0 |        0
1579.13/1579.63	c 1578s |      23 |  2597192 |  2552438 |     3163   1508 |        0 |        0
1581.13/1581.69	c 1580s |      23 |  2600250 |  2555438 |     3163   1509 |        0 |        0
1583.23/1583.70	c 1582s |      23 |  2603088 |  2558238 |     3163   1511 |        0 |        0
1585.23/1585.74	c 1584s |      23 |  2606033 |  2561138 |     3163   1512 |        0 |        0
1587.33/1587.81	c 1586s |      23 |  2608971 |  2564038 |     3163   1514 |        0 |        0
1589.33/1589.81	c 1588s |      23 |  2611804 |  2566838 |     3163   1515 |        0 |        0
1591.33/1591.87	c 1590s |      23 |  2614950 |  2569938 |     3163   1516 |        0 |        0
1593.43/1593.91	c 1592s |      23 |  2618011 |  2572938 |     3163   1518 |        0 |        0
1595.43/1595.97	c 1595s |      23 |  2621062 |  2575938 |     3163   1519 |        0 |        0
1597.43/1597.99	c 1597s |      23 |  2624004 |  2578838 |     3163   1521 |        0 |        0
1599.52/1600.05	c 1599s |      23 |  2627038 |  2581838 |     3163   1522 |        0 |        0
1601.62/1602.12	c 1601s |      23 |  2629879 |  2584638 |     3163   1524 |        0 |        0
1603.63/1604.13	c 1603s |      23 |  2632803 |  2587538 |     3163   1525 |        0 |        0
1605.62/1606.16	c 1605s |      23 |  2635862 |  2590538 |     3163   1526 |        0 |        0
1607.62/1608.19	c 1607s |      23 |  2638709 |  2593338 |     3163   1528 |        0 |        0
1609.72/1610.20	c 1609s |      23 |  2641460 |  2596038 |     3163   1529 |        0 |        0
1611.72/1612.23	c 1611s |      23 |  2644397 |  2598938 |     3163   1530 |        0 |        0
1613.73/1614.29	c 1613s |      23 |  2647435 |  2601938 |     3163   1532 |        0 |        0
1615.83/1616.30	c 1615s |      23 |  2650374 |  2604838 |     3163   1533 |        0 |        0
1617.73/1618.30	c 1617s |      23 |  2653197 |  2607638 |     3163   1535 |        0 |        0
1619.83/1620.34	c 1619s |      23 |  2656245 |  2610638 |     3163   1536 |        0 |        0
1621.93/1622.40	c 1621s |      23 |  2659000 |  2613338 |     3163   1537 |        0 |        0
1623.93/1624.45	c 1623s |      23 |  2661773 |  2616038 |     3163   1539 |        0 |        0
1625.93/1626.46	c 1625s |      23 |  2664535 |  2618738 |     3163   1540 |        0 |        0
1627.93/1628.46	c 1627s |      23 |  2667301 |  2621438 |     3163   1541 |        0 |        0
1629.93/1630.48	c 1629s |      23 |  2670055 |  2624138 |     3163   1543 |        0 |        0
1632.02/1632.55	c 1631s |      23 |  2672923 |  2626938 |     3163   1544 |        0 |        0
1634.02/1634.59	c 1633s |      23 |  2675989 |  2629938 |     3163   1545 |        0 |        0
1636.12/1636.62	c 1635s |      23 |  2678813 |  2632738 |     3163   1547 |        0 |        0
1638.12/1638.63	c 1637s |      23 |  2681657 |  2635538 |     3163   1548 |        0 |        0
1640.12/1640.65	c 1639s |      23 |  2684612 |  2638438 |     3163   1550 |        0 |        0
1642.22/1642.73	c 1641s |      23 |  2687757 |  2641538 |     3163   1551 |        0 |        0
1644.23/1644.80	c 1643s |      23 |  2690699 |  2644438 |     3163   1553 |        0 |        0
1646.32/1646.84	c 1645s |      23 |  2693732 |  2647438 |     3163   1554 |        0 |        0
1648.32/1648.85	c 1647s |      23 |  2696666 |  2650338 |     3163   1555 |        0 |        0
1650.32/1650.86	c 1649s |      23 |  2699730 |  2653338 |     3163   1557 |        0 |        0
1652.32/1652.87	c 1651s |      23 |  2702561 |  2656138 |     3163   1558 |        0 |        0
1654.42/1654.95	c 1654s |      23 |  2705286 |  2658838 |     3163   1560 |        0 |        0
1656.43/1657.00	c 1656s |      23 |  2708218 |  2661738 |     3163   1561 |        0 |        0
1658.53/1659.00	c 1658s |      23 |  2710853 |  2664338 |     3163   1562 |        0 |        0
1660.52/1661.01	c 1660s |      23 |  2713783 |  2667238 |     3163   1564 |        0 |        0
1662.52/1663.02	c 1662s |      23 |  2716517 |  2669938 |     3163   1565 |        0 |        0
1664.52/1665.05	c 1664s |      23 |  2719360 |  2672738 |     3163   1566 |        0 |        0
1666.52/1667.07	c 1666s |      23 |  2722191 |  2675538 |     3163   1568 |        0 |        0
1668.52/1669.09	c 1668s |      23 |  2725036 |  2678338 |     3163   1569 |        0 |        0
1670.52/1671.10	c 1670s |      23 |  2727887 |  2681138 |     3163   1570 |        0 |        0
1672.62/1673.15	c 1672s |      23 |  2730710 |  2683938 |     3163   1572 |        0 |        0
1674.72/1675.20	c 1674s |      23 |  2733650 |  2686838 |     3163   1573 |        0 |        0
1676.72/1677.22	c 1676s |      23 |  2736393 |  2689538 |     3163   1574 |        0 |        0
1678.71/1679.28	c 1678s |      23 |  2739447 |  2692538 |     3163   1576 |        0 |        0
1680.81/1681.33	c 1680s |      23 |  2742408 |  2695438 |     3163   1577 |        0 |        0
1682.82/1683.38	c 1682s |      23 |  2745238 |  2698238 |     3163   1579 |        0 |        0
1684.92/1685.41	c 1684s |      23 |  2747964 |  2700938 |     3163   1580 |        0 |        0
1686.91/1687.44	c 1686s |      23 |  2751015 |  2703938 |     3163   1581 |        0 |        0
1688.91/1689.46	c 1688s |      23 |  2753867 |  2706738 |     3163   1583 |        0 |        0
1691.01/1691.50	c 1690s |      23 |  2756819 |  2709638 |     3163   1584 |        0 |        0
1693.01/1693.55	c 1692s |      23 |  2759676 |  2712438 |     3163   1586 |        0 |        0
1695.01/1695.57	c 1694s |      23 |  2762416 |  2715138 |     3163   1587 |        0 |        0
1697.02/1697.59	c 1696s |      23 |  2765254 |  2717938 |     3163   1588 |        0 |        0
1699.11/1699.69	c 1698s |      23 |  2767974 |  2720638 |     3163   1590 |        0 |        0
1701.21/1701.75	c 1700s |      23 |  2770804 |  2723438 |     3163   1591 |        0 |        0
1703.21/1703.76	c 1702s |      23 |  2773763 |  2726338 |     3163   1592 |        0 |        0
1705.31/1705.80	c 1704s |      23 |  2776896 |  2729438 |     3163   1594 |        0 |        0
1707.31/1707.83	c 1706s |      23 |  2780057 |  2732538 |     3163   1595 |        0 |        0
1709.31/1709.83	c 1708s |      23 |  2783200 |  2735638 |     3163   1597 |        0 |        0
1711.31/1711.85	c 1710s |      23 |  2786336 |  2738738 |     3163   1598 |        0 |        0
1713.41/1713.91	c 1712s |      23 |  2789472 |  2741838 |     3163   1600 |        0 |        0
1715.41/1715.96	c 1715s |      23 |  2792516 |  2744838 |     3163   1601 |        0 |        0
1717.51/1718.01	c 1717s |      23 |  2795543 |  2747838 |     3163   1603 |        0 |        0
1719.51/1720.05	c 1719s |      23 |  2798483 |  2750738 |     3163   1604 |        0 |        0
1721.51/1722.06	c 1721s |      23 |  2801408 |  2753638 |     3163   1606 |        0 |        0
1723.60/1724.11	c 1723s |      23 |  2804644 |  2756838 |     3163   1607 |        0 |        0
1725.61/1726.19	c 1725s |      23 |  2807570 |  2759738 |     3163   1609 |        0 |        0
1727.70/1728.26	c 1727s |      23 |  2810500 |  2762638 |     3163   1610 |        0 |        0
1729.70/1730.27	c 1729s |      23 |  2813543 |  2765638 |     3163   1611 |        0 |        0
1731.80/1732.32	c 1731s |      23 |  2816466 |  2768538 |     3163   1613 |        0 |        0
1733.80/1734.34	c 1733s |      23 |  2819622 |  2771638 |     3163   1614 |        0 |        0
1735.91/1736.40	c 1735s |      23 |  2823083 |  2775038 |     3163   1616 |        0 |        0
1737.91/1738.45	c 1737s |      23 |  2826209 |  2778138 |     3163   1617 |        0 |        0
1739.92/1740.50	c 1739s |      23 |  2829033 |  2780938 |     3163   1619 |        0 |        0
1742.01/1742.53	c 1741s |      23 |  2832066 |  2783938 |     3163   1620 |        0 |        0
1744.01/1744.54	c 1743s |      23 |  2835017 |  2786838 |     3163   1622 |        0 |        0
1746.01/1746.56	c 1745s |      23 |  2838159 |  2789938 |     3163   1623 |        0 |        0
1748.11/1748.60	c 1747s |      23 |  2841294 |  2793038 |     3163   1625 |        0 |        0
1750.11/1750.62	c 1749s |      23 |  2844227 |  2795938 |     3163   1626 |        0 |        0
1752.11/1752.65	c 1751s |      23 |  2847143 |  2798838 |     3163   1627 |        0 |        0
1754.11/1754.66	c 1753s |      23 |  2850062 |  2801738 |     3163   1629 |        0 |        0
1756.11/1756.68	c 1755s |      23 |  2852987 |  2804638 |     3163   1630 |        0 |        0
1758.20/1758.71	c 1757s |      23 |  2855804 |  2807438 |     3163   1632 |        0 |        0
1760.20/1760.74	c 1759s |      23 |  2858835 |  2810438 |     3163   1633 |        0 |        0
1762.30/1762.85	c 1761s |      23 |  2861783 |  2813338 |     3163   1635 |        0 |        0
1764.30/1764.86	c 1763s |      23 |  2864712 |  2816238 |     3163   1636 |        0 |        0
1766.31/1766.90	c 1765s |      23 |  2867447 |  2818938 |     3163   1637 |        0 |        0
1768.40/1768.95	c 1768s |      23 |  2870476 |  2821938 |     3163   1639 |        0 |        0
1770.40/1770.95	c 1770s |      23 |  2873410 |  2824838 |     3163   1640 |        0 |        0
1772.40/1772.99	c 1772s |      23 |  2876346 |  2827738 |     3163   1642 |        0 |        0
1774.50/1775.02	c 1774s |      23 |  2879277 |  2830638 |     3163   1643 |        0 |        0
1776.50/1777.06	c 1776s |      23 |  2882115 |  2833438 |     3163   1644 |        0 |        0
1778.60/1779.12	c 1778s |      23 |  2884935 |  2836238 |     3163   1646 |        0 |        0
1780.61/1781.18	c 1780s |      23 |  2887770 |  2839038 |     3163   1647 |        0 |        0
1782.70/1783.25	c 1782s |      23 |  2890902 |  2842138 |     3163   1649 |        0 |        0
1784.70/1785.28	c 1784s |      23 |  2893953 |  2845138 |     3163   1650 |        0 |        0
1786.80/1787.34	c 1786s |      23 |  2897005 |  2848138 |     3163   1651 |        0 |        0
1788.80/1789.37	c 1788s |      23 |  2899936 |  2851038 |     3163   1653 |        0 |        0
1790.90/1791.44	c 1790s |      23 |  2902867 |  2853938 |     3163   1654 |        0 |        0
1792.90/1793.47	c 1792s |      23 |  2905612 |  2856638 |     3163   1656 |        0 |        0
1794.91/1795.48	c 1794s |      23 |  2908757 |  2859738 |     3163   1657 |        0 |        0
1797.00/1797.53	c 1796s |      23 |  2911693 |  2862638 |     3163   1658 |        0 |        0
1799.00/1799.59	c 1798s |      23 |  2914438 |  2865338 |     3163   1660 |        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-4103909-1466239489/watcher-4103909-1466239489 -o /tmp/evaluation-result-4103909-1466239489/solver-4103909-1466239489 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103909-1466239489.opb 

pid=16183
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/178 16186
/proc/meminfo: memFree=30171000/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 2692 0 0 0 0 0 0 0 20 0 4 0 25994535 739700736 3053 33554432000 4194304 16246674 140735097155968 140735097155392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 181103 3064 441 2943 0 177997 0
[pid=16186/tid=16187] ppid=16183 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 756477952 3120 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 761720832 3140 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994535 766963712 3157 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 16186
/proc/meminfo: memFree=30171000/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 33810 0 0 0 5 4 0 0 20 0 4 0 25994535 1247350784 34161 33554432000 4194304 16246674 140735097155968 140735097155392 5563489 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 304529 34168 635 2943 0 301423 0
[pid=16186/tid=16187] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 34174 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 34182 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 34188 33554432000 4194304 16246674 140735097155968 139649469107376 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.200503 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 16186
/proc/meminfo: memFree=30171000/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 65618 0 0 0 10 9 0 0 20 0 4 0 25994535 1247350784 65970 33554432000 4194304 16246674 140735097155968 140735097155392 12414001 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 304529 65986 637 2943 0 301423 0
[pid=16186/tid=16187] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 65997 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 66009 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 66015 33554432000 4194304 16246674 140735097155968 139649469107376 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.300466 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 16186
/proc/meminfo: memFree=30171000/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 97375 0 0 0 16 13 0 0 20 0 4 0 25994535 1247350784 97726 33554432000 4194304 16246674 140735097155968 140735097155392 12371341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 304529 97742 637 2943 0 301423 0
[pid=16186/tid=16187] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 97751 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 97761 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 97771 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700398 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 16186
/proc/meminfo: memFree=30171000/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 225411 0 0 0 41 28 0 0 20 0 4 0 25994535 1247350784 225763 33554432000 4194304 16246674 140735097155968 140735097137856 12371445 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 304529 225779 638 2943 0 301423 0
[pid=16186/tid=16187] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 225788 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 225798 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25994535 1247350784 225807 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.04 2.05 2.00 3/182 16190
/proc/meminfo: memFree=29186608/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 246150 0 0 0 118 31 0 0 20 0 4 0 25994535 1249447936 246457 33554432000 4194304 16246674 140735097155968 140735097137856 5722096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 305041 246457 902 2943 0 301935 0
[pid=16186/tid=16187] ppid=16183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1249447936 246457 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1249447936 246457 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1249447936 246457 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.1004 s]
/proc/loadavg: 2.03 2.05 2.00 3/182 16190
/proc/meminfo: memFree=29103404/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 267896 0 0 0 275 33 0 0 20 0 4 0 25994535 1338576896 268203 33554432000 4194304 16246674 140735097155968 140735097137856 5603046 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 326801 268203 909 2943 0 323695 0
[pid=16186/tid=16187] ppid=16183 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1338576896 268203 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1338576896 268203 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1338576896 268203 33554432000 4194304 16246674 140735097155968 139649469107376 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) 1307204

[startup+6.30039 s]
/proc/loadavg: 2.03 2.05 2.00 3/182 16190
/proc/meminfo: memFree=29098576/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 267992 0 0 0 595 33 0 0 20 0 4 0 25994535 1338576896 268299 33554432000 4194304 16246674 140735097155968 140735097137856 5722036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 326801 268299 909 2943 0 323695 0
[pid=16186/tid=16187] ppid=16183 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1338576896 268299 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1338576896 268299 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1338576896 268299 33554432000 4194304 16246674 140735097155968 139649469107376 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.10 2.06 2.00 3/182 16191
/proc/meminfo: memFree=29097016/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 268000 0 0 0 1235 33 0 0 20 0 4 0 25994535 1339625472 268307 33554432000 4194304 16246674 140735097155968 140735097138968 5673488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 327057 268307 910 2943 0 323951 0
[pid=16186/tid=16187] ppid=16183 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1339625472 268307 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1339625472 268307 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1339625472 268307 33554432000 4194304 16246674 140735097155968 139649469107376 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) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.08 2.06 2.00 4/183 16192
/proc/meminfo: memFree=29095552/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1310276 CPUtime=25.5 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 268690 0 0 0 2516 34 0 0 20 0 4 0 25994535 1341722624 268997 33554432000 4194304 16246674 140735097155968 140735097137856 5600140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 327569 268997 913 2943 0 324463 0
[pid=16186/tid=16187] ppid=16183 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1341722624 268997 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1341722624 268997 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1341722624 268997 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 16192
/proc/meminfo: memFree=29089368/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 270300 0 0 0 5074 34 0 0 20 0 4 0 25994535 1348014080 270607 33554432000 4194304 16246674 140735097155968 140735097137856 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 329105 270607 913 2943 0 325999 0
[pid=16186/tid=16187] ppid=16183 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1348014080 270607 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1348014080 270607 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1348014080 270607 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/183 16193
/proc/meminfo: memFree=29086764/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1318468 CPUtime=102.27 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 270812 0 0 0 10193 34 0 0 20 0 4 0 25994535 1350111232 271119 33554432000 4194304 16246674 140735097155968 140735097137856 13963948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 329617 271119 913 2943 0 326511 0
[pid=16186/tid=16187] ppid=16183 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1350111232 271119 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1350111232 271119 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1350111232 271119 33554432000 4194304 16246674 140735097155968 139649469107376 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) 1318468


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

/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1351159808 271380 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 1.16 1.24 1.53 2/173 16277
/proc/meminfo: memFree=30236932/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1320516 CPUtime=1361.86 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 271752 0 0 0 136144 42 0 0 20 0 4 0 25994535 1352208384 271636 33554432000 4194304 16246674 140735097155968 140735097137856 5659404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 330129 271636 915 2943 0 327023 0
[pid=16186/tid=16187] ppid=16183 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1352208384 271636 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1352208384 271636 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1352208384 271636 33554432000 4194304 16246674 140735097155968 139649469107376 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) 1320516

[startup+1422.3 s]
/proc/loadavg: 1.32 1.27 1.52 3/173 16278
/proc/meminfo: memFree=30234008/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1323588 CPUtime=1421.85 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 272520 0 0 0 142142 43 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 140735097137856 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 330897 272404 915 2943 0 327791 0
[pid=16186/tid=16187] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649469107376 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) 1323588

[startup+1482.3 s]
/proc/loadavg: 1.27 1.26 1.50 2/173 16279
/proc/meminfo: memFree=30233944/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1323588 CPUtime=1481.84 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 272520 0 0 0 148141 43 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 140735097137856 12477724 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 330897 272404 915 2943 0 327791 0
[pid=16186/tid=16187] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649469107376 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) 1323588

[startup+1542.3 s]
/proc/loadavg: 1.21 1.24 1.48 2/173 16283
/proc/meminfo: memFree=30233948/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1323588 CPUtime=1541.83 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 272520 0 0 0 154140 43 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 140735097137856 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 330897 272404 915 2943 0 327791 0
[pid=16186/tid=16187] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649469107376 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) 1323588

[startup+1602.3 s]
/proc/loadavg: 1.23 1.24 1.46 3/173 16285
/proc/meminfo: memFree=30233896/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1323588 CPUtime=1601.82 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 272520 0 0 0 160139 43 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 140735097137856 5710076 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 330897 272404 915 2943 0 327791 0
[pid=16186/tid=16187] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649469107376 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) 1323588

[startup+1662.3 s]
/proc/loadavg: 1.21 1.23 1.44 2/173 16286
/proc/meminfo: memFree=30233820/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1323588 CPUtime=1661.83 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 272520 0 0 0 166139 44 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 140735097137856 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 330897 272404 915 2943 0 327791 0
[pid=16186/tid=16187] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 1.13 1.21 1.42 2/173 16287
/proc/meminfo: memFree=30233756/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1323588 CPUtime=1721.81 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 272520 0 0 0 172137 44 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 140735097137856 5710308 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 330897 272404 915 2943 0 327791 0
[pid=16186/tid=16187] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1323588

[startup+1782.31 s]
/proc/loadavg: 1.20 1.21 1.40 3/173 16288
/proc/meminfo: memFree=30233572/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1323588 CPUtime=1781.81 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 272520 0 0 0 178136 45 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 140735097137856 6845883 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 330897 272404 915 2943 0 327791 0
[pid=16186/tid=16187] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.22 1.21 1.40 2/173 16288
/proc/meminfo: memFree=30233572/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1323588 CPUtime=1800 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 272520 0 0 0 179955 45 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 140735097137856 5599971 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 330897 272404 915 2943 0 327791 0
[pid=16186/tid=16187] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1323588

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16186 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.22 1.21 1.40 2/173 16288
/proc/meminfo: memFree=30233572/32872528 swapFree=534252/566956
[pid=16186] ppid=16183 vsize=1323588 CPUtime=1800 cores=0,2,4,6
/proc/16186/stat : 16186 (toysat) R 16183 16186 10353 0 -1 4202496 272520 0 0 0 179955 45 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 140735097137856 5599971 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16186/statm: 330897 272404 915 2943 0 327791 0
[pid=16186/tid=16187] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16187/stat : 16187 (toysat) S 16183 16186 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649490070768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16186/tid=16188] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16188/stat : 16188 (toysat) S 16183 16186 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649479580912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16186/tid=16189] ppid=16183 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/16186/task/16189/stat : 16189 (toysat) S 16183 16186 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25994535 1355354112 272404 33554432000 4194304 16246674 140735097155968 139649469107376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1323588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.56
CPU system time (s): 0.45493
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.45493
maximum resident set size= 1089616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272520
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= 440
involuntary context switches= 1861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53731 second user time and 6.98394 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 10:44:49
IDJOB=4103909
IDBENCH=2502
IDSOLVER=2542
FILE ID=node138/4103909-1466239489
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103909-1466239489/watcher-4103909-1466239489 -o /tmp/evaluation-result-4103909-1466239489/solver-4103909-1466239489 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103909-1466239489.opb

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

MD5SUM BENCH= 064c172c08e0726f78b89fe587697d96
RANDOM SEED=2094134838

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30171636 kB
Buffers:          117264 kB
Cached:           140444 kB
SwapCached:         1060 kB
Active:          1236916 kB
Inactive:         158436 kB
Active(anon):    1136968 kB
Inactive(anon):     2664 kB
Active(file):      99948 kB
Inactive(file):   155772 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1703232 kB
Mapped:             9896 kB
Shmem:                 0 kB
Slab:             604728 kB
SReclaimable:      48344 kB
SUnreclaim:       556384 kB
KernelStack:        1512 kB
PageTables:         7888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1846240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1128448 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 node138 at 2016-06-18 11:14:50