Trace number 4089862

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
rand6reg/normalized-rand6reg-v041-n3.opb
MD5SUMa47cb68ddc38ac1ee25ce2b7f399d62c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.041993
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables123
Total number of constraints41
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)41
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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-16T01:50:02+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-4089862-1466034602.opb"]
0.00/0.01	c use --random-gen="2335274058 3781228048 2906967213 4033001859 1610790073 186555352 2366833950 3606530602 2334719228 390599044 2006363020 1742754559 3364966698 3077429318 3113184380 68066626 228078326 3491055379 2303134654 1225202098 1419323981 1222166113 1275452602 3897967013 3784856613 705227242 1328368425 1120889642 2731404221 820540051 2532159399 1932922865 1172618382 874774291 3538443716 2150451751 857669217 2783033657 2117471749 1777566727 3826806783 1682195810 800965705 2795603616 2645836936 2334387535 2611989585 3588987360 831613197 575972666 3576320367 3638712479 2048900986 1318181267 3744903815 2897290205 4019691192 669829874 1868320558 2921266046 3402406459 2445614092 1977555372 4189006521 2762255169 776220434 3836621418 3603415738 1869764791 399294716 891003763 33303528 3493976376 3242309785 2247940706 140779124 3044182323 803556733 3610427289 839249584 2082621467 1558449297 130832126 82439801 3044166280 1367221321 1240918975 2703992546 4048974578 1190113867 3085351549 3976055033 405203302 2645397222 633803184 2962314127 2180199014 3840785052 1319413217 283495119 1260284706 950894355 2244199828 2411024777 106079423 1362645196 3530526491 154404601 3423280463 4068209884 1153238437 2671136849 1222542086 138853088 2131781384 824378122 2140020976 2271697823 3687589815 897072723 2638448015 2381677844 1293783401 3472005582 3073256314 753582601 3195971953 3276306487 3167525204 2486196416 2377443385 3102530860 45967267 309879144 738718728 585770500 1379734141 3170194730 1362970160 2040786002 381747045 751549421 3543796623 2129885373 383116214 596038506 778426845 2361581907 961419241 1373508276 3640648042 717012924 884114773 662080093 2137804654 2722610602 2778941597 706712200 2171631191 3452392908 2473527384 1252207505 2893560609 3388795911 1404152420 3802712952 1686616622 1865708309 2710492840 3403613664 3271900464 295391262 2328598003 3949352702 4193910521 2601568957 1068757405 3061308883 4018291812 1857249426 3244406243 1137858642 3877835319 3653774084 2046025481 2194380407 2166743851 3292993345 1716961993 1565274472 1528447470 311097095 3072105948 3203461089 2627358630 1988845160 2300183533 2433747530 2246960526 707893098 43627273 116974345 3592868588 1585814165 1676991583 1966717022 1295621800 709932691 2585521589 502687765 2945343518 2859063974 3962567575 2800562695 3829936395 3205341773 1516321707 3887754577 2478205101 4283765190 1417540294 29097778 1913476504 2172984439 3302906313 3192412653 1366554705 4121280331 3757969507 2531142962 3211364748 3979158018 76464308 734799157 2655745595 2525219024 299369453 1347716391 1191411312 1217219354 2676271691 141108065 772029235 673418684 4271235119 2319523713 3403797430 1607426106 2194273411 3592276165 207438997 2154236063 2339043440 1654718043 2395564193 3089174305 255 362436" option to reproduce the execution
0.00/0.01	c #vars 123
0.00/0.01	c #constraints 41
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       68      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      123 |      100 |       68      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      327 |      250 |       75      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      603 |      475 |       83      5 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1023 |      813 |       92      9 |        0 |        0
0.09/0.19	c  0.2s |       5 |     1620 |     1320 |      102     14 |        0 |        0
0.29/0.31	c  0.3s |       6 |     2489 |     2081 |      125     22 |        0 |        0
0.39/0.48	c  0.5s |       7 |     3761 |     3223 |      138     33 |        0 |        0
0.69/0.77	c  0.8s |       8 |     5628 |     4936 |      152     49 |        0 |        0
1.09/1.11	c  1.1s |       9 |     8432 |     7506 |      168     72 |        0 |        0
1.48/1.58	c  1.6s |      10 |    12709 |    11361 |      185    104 |        0 |        0
2.09/2.18	c  2.2s |      11 |    19323 |    17144 |      204    151 |        0 |        0
3.09/3.10	c  3.1s |      12 |    29108 |    25819 |      225    215 |        0 |        0
4.59/4.60	c  4.6s |      13 |    43870 |    38832 |      248    304 |        0 |        0
6.59/6.61	c  6.6s |      13 |    64119 |    56932 |      248    419 |        0 |        0
6.69/6.78	c  6.8s |      14 |    65697 |    58352 |      273    428 |        0 |        0
8.68/8.78	c  8.8s |      14 |    85846 |    76452 |      273    537 |        0 |        0
9.99/10.05	c 10.0s |      15 |    98330 |    87632 |      301    604 |        0 |        0
11.99/12.05	c 12.0s |      15 |   116714 |   104432 |      301    697 |        0 |        0
13.99/14.06	c 14.1s |      15 |   136036 |   121932 |      301    795 |        0 |        0
15.09/15.17	c 15.2s |      16 |   146872 |   131552 |      332    848 |        0 |        0
17.09/17.18	c 17.2s |      16 |   167861 |   149752 |      332    941 |        0 |        0
19.09/19.19	c 19.2s |      16 |   186469 |   166352 |      332   1026 |        0 |        0
21.09/21.19	c 21.2s |      16 |   204825 |   183052 |      332   1111 |        0 |        0
22.89/22.90	c 22.9s |      17 |   220529 |   197432 |      366   1183 |        0 |        0
24.89/24.90	c 24.9s |      17 |   240153 |   214332 |      366   1262 |        0 |        0
26.89/26.91	c 26.9s |      17 |   259456 |   230932 |      366   1340 |        0 |        0
28.89/28.91	c 28.9s |      17 |   278386 |   247432 |      366   1417 |        0 |        0
30.89/30.92	c 30.9s |      17 |   296622 |   263632 |      366   1493 |        0 |        0
32.89/32.93	c 32.9s |      17 |   313700 |   279232 |      366   1566 |        0 |        0
34.88/34.93	c 34.9s |      17 |   331915 |   295532 |      403   1641 |        0 |        0
34.98/35.02	c 35.0s |      18 |   332710 |   296252 |      403   1644 |        0 |        0
36.98/37.03	c 37.0s |      18 |   351594 |   312652 |      403   1714 |        0 |        0
38.98/39.04	c 39.0s |      18 |   370354 |   328752 |      403   1784 |        0 |        0
40.98/41.05	c 41.0s |      18 |   387392 |   344052 |      403   1849 |        0 |        0
42.99/43.06	c 43.1s |      18 |   406580 |   360552 |      403   1921 |        0 |        0
44.98/45.07	c 45.1s |      18 |   425443 |   376852 |      403   1991 |        0 |        0
46.98/47.07	c 47.1s |      18 |   442955 |   392352 |      403   2059 |        0 |        0
48.98/49.08	c 49.1s |      18 |   459698 |   407452 |      403   2124 |        0 |        0
50.98/51.09	c 51.1s |      18 |   478347 |   423752 |      403   2195 |        0 |        0
52.99/53.09	c 53.1s |      18 |   496671 |   439752 |      403   2265 |        0 |        0
53.59/53.67	c 53.7s |      19 |   502264 |   444482 |      444   2284 |        0 |        0
55.59/55.67	c 55.7s |      19 |   522265 |   461482 |      444   2353 |        0 |        0
57.58/57.68	c 57.7s |      19 |   542284 |   478282 |      444   2420 |        0 |        0
59.58/59.69	c 59.7s |      19 |   560936 |   494582 |      444   2485 |        0 |        0
61.59/61.69	c 61.7s |      19 |   579766 |   510782 |      444   2549 |        0 |        0
63.68/63.70	c 63.7s |      19 |   598126 |   526882 |      444   2613 |        0 |        0
65.68/65.71	c 65.7s |      19 |   615559 |   542482 |      444   2675 |        0 |        0
67.68/67.71	c 67.7s |      19 |   632703 |   557882 |      444   2737 |        0 |        0
69.68/69.72	c 69.7s |      19 |   649777 |   573282 |      444   2798 |        0 |        0
71.68/71.73	c 71.7s |      19 |   669021 |   589982 |      444   2864 |        0 |        0
73.68/73.73	c 73.7s |      19 |   687556 |   605882 |      444   2928 |        0 |        0
75.67/75.74	c 75.7s |      19 |   706572 |   621882 |      444   2991 |        0 |        0
77.67/77.74	c 77.7s |      19 |   725478 |   638182 |      444   3056 |        0 |        0
79.67/79.75	c 79.7s |      19 |   742527 |   653382 |      444   3116 |        0 |        0
81.38/81.50	c 81.5s |      20 |   757633 |   666827 |      489   3168 |        0 |        0
83.47/83.50	c 83.5s |      20 |   775655 |   682527 |      489   3225 |        0 |        0
85.48/85.51	c 85.5s |      20 |   794528 |   698427 |      489   3283 |        0 |        0
87.48/87.52	c 87.5s |      20 |   810559 |   712927 |      489   3336 |        0 |        0
89.48/89.53	c 89.5s |      20 |   828100 |   727827 |      489   3390 |        0 |        0
91.48/91.53	c 91.5s |      20 |   846282 |   743627 |      489   3447 |        0 |        0
93.49/93.54	c 93.5s |      20 |   865187 |   759627 |      489   3505 |        0 |        0
95.48/95.54	c 95.5s |      20 |   883101 |   775127 |      489   3561 |        0 |        0
97.48/97.55	c 97.5s |      20 |   900442 |   790527 |      489   3617 |        0 |        0
99.48/99.55	c 99.5s |      20 |   917652 |   805627 |      489   3672 |        0 |        0
101.48/101.56	c  101s |      20 |   933365 |   819727 |      489   3723 |        0 |        0
103.48/103.56	c  103s |      20 |   950200 |   834327 |      489   3776 |        0 |        0
105.48/105.57	c  105s |      20 |   967974 |   850027 |      489   3833 |        0 |        0
107.48/107.58	c  107s |      20 |   986365 |   866027 |      489   3892 |        0 |        0
109.48/109.58	c  109s |      20 |  1004803 |   882027 |      489   3950 |        0 |        0
111.48/111.59	c  111s |      20 |  1024642 |   899127 |      489   4012 |        0 |        0
113.57/113.60	c  113s |      20 |  1044732 |   916127 |      489   4075 |        0 |        0
115.58/115.61	c  115s |      20 |  1063478 |   932627 |      489   4135 |        0 |        0
117.57/117.62	c  117s |      20 |  1081065 |   948327 |      489   4192 |        0 |        0
119.57/119.62	c  119s |      20 |  1098556 |   963627 |      489   4248 |        0 |        0
121.57/121.63	c  121s |      20 |  1115799 |   978727 |      489   4303 |        0 |        0
123.57/123.64	c  123s |      20 |  1134390 |   994827 |      538   4360 |        0 |        0
124.28/124.36	c  124s |      21 |  1140637 |  1000345 |      538   4379 |        0 |        0
126.27/126.36	c  126s |      21 |  1157849 |  1015445 |      538   4429 |        0 |        0
128.27/128.37	c  128s |      21 |  1173819 |  1029445 |      538   4476 |        0 |        0
130.27/130.37	c  130s |      21 |  1188357 |  1042545 |      538   4519 |        0 |        0
132.27/132.39	c  132s |      21 |  1202729 |  1055545 |      538   4562 |        0 |        0
134.37/134.40	c  134s |      21 |  1217843 |  1069245 |      538   4608 |        0 |        0
136.27/136.40	c  136s |      21 |  1233475 |  1083245 |      538   4654 |        0 |        0
138.37/138.41	c  138s |      21 |  1248047 |  1096345 |      538   4698 |        0 |        0
140.36/140.42	c  140s |      21 |  1263130 |  1109945 |      538   4742 |        0 |        0
142.36/142.43	c  142s |      21 |  1278876 |  1123945 |      538   4789 |        0 |        0
144.36/144.44	c  144s |      21 |  1293304 |  1137145 |      538   4833 |        0 |        0
146.37/146.45	c  146s |      21 |  1306498 |  1149445 |      538   4873 |        0 |        0
148.36/148.46	c  148s |      21 |  1320229 |  1162145 |      538   4915 |        0 |        0
150.37/150.46	c  150s |      21 |  1335234 |  1175845 |      538   4960 |        0 |        0
152.37/152.46	c  152s |      21 |  1350334 |  1189345 |      538   5005 |        0 |        0
154.37/154.46	c  154s |      21 |  1365743 |  1203045 |      538   5050 |        0 |        0
156.37/156.47	c  156s |      21 |  1379844 |  1215945 |      538   5093 |        0 |        0
158.38/158.48	c  158s |      21 |  1394108 |  1228845 |      538   5136 |        0 |        0
160.37/160.49	c  160s |      21 |  1409580 |  1242645 |      538   5182 |        0 |        0
162.47/162.50	c  162s |      21 |  1425184 |  1256545 |      538   5227 |        0 |        0
164.47/164.51	c  164s |      21 |  1441966 |  1271545 |      538   5277 |        0 |        0
166.47/166.52	c  166s |      21 |  1458466 |  1286345 |      538   5327 |        0 |        0
168.47/168.52	c  168s |      21 |  1473818 |  1300045 |      538   5373 |        0 |        0
170.47/170.54	c  170s |      21 |  1488775 |  1313545 |      538   5418 |        0 |        0
172.46/172.55	c  172s |      21 |  1502907 |  1326545 |      538   5462 |        0 |        0
174.46/174.55	c  174s |      21 |  1518400 |  1340345 |      538   5507 |        0 |        0
176.46/176.57	c  176s |      21 |  1533974 |  1354645 |      538   5555 |        0 |        0
178.46/178.57	c  178s |      21 |  1550019 |  1368845 |      538   5602 |        0 |        0
180.47/180.57	c  180s |      21 |  1565014 |  1382245 |      538   5647 |        0 |        0
182.46/182.58	c  182s |      21 |  1581125 |  1396245 |      538   5694 |        0 |        0
184.46/184.59	c  184s |      21 |  1595528 |  1409545 |      538   5738 |        0 |        0
186.56/186.60	c  186s |      21 |  1609982 |  1422845 |      538   5782 |        0 |        0
188.56/188.61	c  188s |      21 |  1623033 |  1434945 |      538   5822 |        0 |        0
190.56/190.62	c  190s |      21 |  1636254 |  1447345 |      538   5863 |        0 |        0
192.56/192.62	c  192s |      21 |  1651664 |  1461345 |      538   5910 |        0 |        0
194.56/194.63	c  194s |      21 |  1666097 |  1474445 |      538   5953 |        0 |        0
196.56/196.64	c  196s |      21 |  1679751 |  1486845 |      538   5994 |        0 |        0
198.56/198.64	c  198s |      21 |  1693307 |  1499445 |      592   6033 |        0 |        0
198.76/198.82	c  198s |      22 |  1694581 |  1500622 |      592   6037 |        0 |        0
200.76/200.84	c  200s |      22 |  1710051 |  1514722 |      592   6080 |        0 |        0
202.75/202.84	c  202s |      22 |  1725287 |  1528722 |      592   6123 |        0 |        0
204.76/204.85	c  204s |      22 |  1741800 |  1543522 |      592   6168 |        0 |        0
206.77/206.85	c  206s |      22 |  1759106 |  1558822 |      592   6215 |        0 |        0
208.76/208.86	c  208s |      22 |  1775322 |  1573622 |      592   6261 |        0 |        0
210.76/210.86	c  210s |      22 |  1791377 |  1588322 |      592   6306 |        0 |        0
212.76/212.88	c  212s |      22 |  1807334 |  1602822 |      592   6351 |        0 |        0
214.76/214.88	c  214s |      22 |  1823798 |  1617622 |      592   6396 |        0 |        0
216.77/216.88	c  216s |      22 |  1840537 |  1632422 |      592   6442 |        0 |        0
218.76/218.88	c  218s |      22 |  1855585 |  1646122 |      592   6484 |        0 |        0
220.76/220.89	c  220s |      22 |  1869871 |  1659422 |      592   6524 |        0 |        0
222.86/222.90	c  222s |      22 |  1884852 |  1673122 |      592   6566 |        0 |        0
224.86/224.91	c  224s |      22 |  1900320 |  1687422 |      592   6610 |        0 |        0
226.86/226.91	c  226s |      22 |  1916595 |  1702222 |      592   6656 |        0 |        0
228.86/228.91	c  228s |      22 |  1931511 |  1716122 |      592   6698 |        0 |        0
230.86/230.91	c  230s |      22 |  1946050 |  1729622 |      592   6740 |        0 |        0
232.86/232.92	c  232s |      22 |  1961562 |  1743922 |      592   6784 |        0 |        0
234.86/234.93	c  234s |      22 |  1976915 |  1758022 |      592   6827 |        0 |        0
236.86/236.94	c  236s |      22 |  1992022 |  1771922 |      592   6870 |        0 |        0
238.85/238.95	c  238s |      22 |  2007852 |  1786522 |      592   6915 |        0 |        0
240.86/240.96	c  240s |      22 |  2023641 |  1800722 |      592   6958 |        0 |        0
242.85/242.97	c  242s |      22 |  2040424 |  1815822 |      592   7005 |        0 |        0
244.85/244.98	c  244s |      22 |  2056797 |  1830522 |      592   7050 |        0 |        0
246.85/246.98	c  246s |      22 |  2072688 |  1844622 |      592   7093 |        0 |        0
248.85/248.98	c  248s |      22 |  2088361 |  1858822 |      592   7137 |        0 |        0
250.85/250.98	c  250s |      22 |  2103681 |  1872822 |      592   7180 |        0 |        0
252.85/253.00	c  252s |      22 |  2119721 |  1887522 |      592   7225 |        0 |        0
254.95/255.00	c  254s |      22 |  2135461 |  1901722 |      592   7268 |        0 |        0
256.95/257.01	c  257s |      22 |  2152436 |  1916722 |      592   7315 |        0 |        0
258.95/259.02	c  259s |      22 |  2168710 |  1931122 |      592   7359 |        0 |        0
260.95/261.02	c  261s |      22 |  2185410 |  1945922 |      592   7404 |        0 |        0
262.96/263.03	c  263s |      22 |  2201995 |  1960622 |      592   7450 |        0 |        0
264.95/265.03	c  265s |      22 |  2217286 |  1974322 |      592   7491 |        0 |        0
266.95/267.04	c  267s |      22 |  2232140 |  1987922 |      592   7533 |        0 |        0
268.95/269.05	c  269s |      22 |  2248879 |  2002622 |      592   7578 |        0 |        0
270.95/271.06	c  271s |      22 |  2264391 |  2016722 |      592   7621 |        0 |        0
272.95/273.07	c  273s |      22 |  2280168 |  2031022 |      592   7665 |        0 |        0
274.96/275.08	c  275s |      22 |  2295940 |  2045222 |      592   7709 |        0 |        0
276.95/277.09	c  277s |      22 |  2311173 |  2059222 |      592   7752 |        0 |        0
278.95/279.09	c  279s |      22 |  2326529 |  2073322 |      592   7795 |        0 |        0
281.05/281.10	c  281s |      22 |  2341594 |  2087222 |      592   7837 |        0 |        0
283.05/283.10	c  283s |      22 |  2357058 |  2101322 |      592   7881 |        0 |        0
285.05/285.11	c  285s |      22 |  2373328 |  2115922 |      592   7926 |        0 |        0
287.05/287.11	c  287s |      22 |  2388706 |  2130122 |      592   7969 |        0 |        0
289.05/289.12	c  289s |      22 |  2403296 |  2143722 |      592   8011 |        0 |        0
291.05/291.13	c  291s |      22 |  2418171 |  2157422 |      592   8053 |        0 |        0
293.05/293.14	c  293s |      22 |  2434457 |  2171922 |      592   8097 |        0 |        0
295.04/295.15	c  295s |      22 |  2450899 |  2186722 |      592   8142 |        0 |        0
297.05/297.16	c  297s |      22 |  2466705 |  2201122 |      592   8186 |        0 |        0
299.04/299.18	c  299s |      22 |  2482410 |  2215522 |      592   8231 |        0 |        0
301.04/301.18	c  301s |      22 |  2496886 |  2228622 |      592   8270 |        0 |        0
303.04/303.19	c  303s |      22 |  2511927 |  2242222 |      652   8310 |        0 |        0
304.34/304.47	c  304s |      23 |  2521665 |  2251038 |      652   8335 |        0 |        0
306.34/306.48	c  306s |      23 |  2537254 |  2264838 |      652   8374 |        0 |        0
308.34/308.48	c  308s |      23 |  2553774 |  2278838 |      652   8413 |        0 |        0
310.34/310.49	c  310s |      23 |  2569672 |  2292438 |      652   8451 |        0 |        0
312.35/312.50	c  312s |      23 |  2585805 |  2306538 |      652   8491 |        0 |        0
314.44/314.50	c  314s |      23 |  2600698 |  2319838 |      652   8529 |        0 |        0
316.44/316.51	c  316s |      23 |  2616221 |  2333638 |      652   8567 |        0 |        0
318.44/318.52	c  318s |      23 |  2631209 |  2347238 |      652   8605 |        0 |        0
320.44/320.53	c  320s |      23 |  2645860 |  2360538 |      652   8643 |        0 |        0
322.44/322.54	c  322s |      23 |  2661207 |  2374338 |      652   8682 |        0 |        0
324.45/324.54	c  324s |      23 |  2677696 |  2388838 |      652   8722 |        0 |        0
326.44/326.55	c  326s |      23 |  2693662 |  2402738 |      652   8761 |        0 |        0
328.44/328.56	c  328s |      23 |  2708722 |  2416038 |      652   8799 |        0 |        0
330.44/330.57	c  330s |      23 |  2724344 |  2429838 |      652   8838 |        0 |        0
332.44/332.58	c  332s |      23 |  2739796 |  2443738 |      652   8877 |        0 |        0
334.44/334.59	c  334s |      23 |  2754816 |  2457638 |      652   8916 |        0 |        0
336.43/336.60	c  336s |      23 |  2769880 |  2471338 |      652   8954 |        0 |        0
338.53/338.61	c  338s |      23 |  2785282 |  2485238 |      652   8993 |        0 |        0
340.53/340.62	c  340s |      23 |  2800191 |  2498738 |      652   9031 |        0 |        0
342.53/342.63	c  342s |      23 |  2814898 |  2512238 |      652   9069 |        0 |        0
344.53/344.64	c  344s |      23 |  2829942 |  2526038 |      652   9108 |        0 |        0
346.54/346.66	c  346s |      23 |  2845841 |  2540238 |      652   9148 |        0 |        0
348.53/348.66	c  348s |      23 |  2861078 |  2553938 |      652   9186 |        0 |        0
350.53/350.68	c  350s |      23 |  2877711 |  2568638 |      652   9228 |        0 |        0
352.53/352.69	c  352s |      23 |  2893175 |  2582538 |      652   9267 |        0 |        0
354.63/354.70	c  354s |      23 |  2908246 |  2595938 |      652   9304 |        0 |        0
356.63/356.70	c  356s |      23 |  2924938 |  2610838 |      652   9346 |        0 |        0
358.64/358.71	c  358s |      23 |  2941235 |  2625338 |      652   9387 |        0 |        0
360.63/360.72	c  360s |      23 |  2957005 |  2639638 |      652   9428 |        0 |        0
362.64/362.73	c  362s |      23 |  2972766 |  2653838 |      652   9467 |        0 |        0
364.64/364.74	c  364s |      23 |  2988968 |  2668338 |      652   9508 |        0 |        0
366.64/366.74	c  366s |      23 |  3004390 |  2682238 |      652   9547 |        0 |        0
368.64/368.74	c  368s |      23 |  3020525 |  2696438 |      652   9587 |        0 |        0
370.64/370.75	c  370s |      23 |  3035784 |  2710038 |      652   9625 |        0 |        0
372.64/372.75	c  372s |      23 |  3051272 |  2723838 |      652   9664 |        0 |        0
374.64/374.75	c  374s |      23 |  3066958 |  2737938 |      652   9703 |        0 |        0
376.63/376.76	c  376s |      23 |  3082304 |  2751938 |      652   9742 |        0 |        0
378.63/378.76	c  378s |      23 |  3097259 |  2765338 |      652   9780 |        0 |        0
380.64/380.76	c  380s |      23 |  3110983 |  2778038 |      652   9815 |        0 |        0
382.63/382.78	c  382s |      23 |  3125215 |  2791238 |      652   9852 |        0 |        0
384.63/384.78	c  384s |      23 |  3140102 |  2804638 |      652   9889 |        0 |        0
386.63/386.78	c  386s |      23 |  3155320 |  2818238 |      652   9927 |        0 |        0
388.73/388.80	c  388s |      23 |  3171166 |  2832438 |      652   9967 |        0 |        0
390.73/390.81	c  390s |      23 |  3185308 |  2845138 |      652  10002 |        0 |        0
392.74/392.82	c  392s |      23 |  3198627 |  2857538 |      652  10036 |        0 |        0
394.73/394.82	c  394s |      23 |  3213029 |  2870838 |      652  10073 |        0 |        0
396.73/396.84	c  396s |      23 |  3227111 |  2883738 |      652  10109 |        0 |        0
398.73/398.84	c  398s |      23 |  3241008 |  2896438 |      652  10144 |        0 |        0
400.73/400.85	c  400s |      23 |  3255101 |  2909338 |      652  10180 |        0 |        0
402.73/402.86	c  402s |      23 |  3269018 |  2922238 |      652  10216 |        0 |        0
404.73/404.86	c  404s |      23 |  3283363 |  2935538 |      652  10254 |        0 |        0
406.73/406.87	c  406s |      23 |  3298254 |  2949238 |      652  10292 |        0 |        0
408.72/408.88	c  408s |      23 |  3313032 |  2962738 |      652  10330 |        0 |        0
410.72/410.89	c  410s |      23 |  3328932 |  2977238 |      652  10371 |        0 |        0
412.82/412.91	c  412s |      23 |  3343611 |  2990538 |      652  10409 |        0 |        0
414.82/414.92	c  414s |      23 |  3358879 |  3004338 |      652  10447 |        0 |        0
416.83/416.93	c  416s |      23 |  3373897 |  3018238 |      652  10486 |        0 |        0
418.82/418.94	c  418s |      23 |  3388699 |  3031838 |      652  10525 |        0 |        0
420.82/420.95	c  420s |      23 |  3403606 |  3045538 |      652  10563 |        0 |        0
422.82/422.95	c  422s |      23 |  3417953 |  3058838 |      652  10601 |        0 |        0
424.82/424.95	c  424s |      23 |  3432402 |  3072138 |      652  10638 |        0 |        0
426.84/426.96	c  426s |      23 |  3448303 |  3086338 |      652  10678 |        0 |        0
428.83/428.97	c  428s |      23 |  3463626 |  3100138 |      652  10716 |        0 |        0
430.83/430.98	c  430s |      23 |  3479050 |  3113738 |      652  10754 |        0 |        0
432.83/432.99	c  432s |      23 |  3494232 |  3127538 |      652  10793 |        0 |        0
434.93/435.00	c  434s |      23 |  3509198 |  3141138 |      652  10831 |        0 |        0
436.93/437.00	c  436s |      23 |  3524217 |  3154838 |      652  10869 |        0 |        0
438.93/439.01	c  439s |      23 |  3538684 |  3168238 |      652  10906 |        0 |        0
440.93/441.01	c  441s |      23 |  3553127 |  3181538 |      652  10944 |        0 |        0
442.93/443.02	c  443s |      23 |  3568003 |  3195038 |      652  10982 |        0 |        0
444.93/445.03	c  445s |      23 |  3583612 |  3209238 |      652  11021 |        0 |        0
446.93/447.04	c  447s |      23 |  3598247 |  3222638 |      652  11059 |        0 |        0
448.92/449.04	c  449s |      23 |  3612657 |  3235738 |      652  11095 |        0 |        0
450.93/451.05	c  451s |      23 |  3627879 |  3249438 |      652  11134 |        0 |        0
452.92/453.05	c  453s |      23 |  3642138 |  3262438 |      652  11170 |        0 |        0
454.92/455.06	c  455s |      23 |  3656827 |  3275838 |      652  11208 |        0 |        0
456.92/457.07	c  457s |      23 |  3671632 |  3289338 |      652  11246 |        0 |        0
458.92/459.07	c  459s |      23 |  3686470 |  3303138 |      652  11284 |        0 |        0
460.93/461.07	c  461s |      23 |  3701510 |  3316938 |      652  11323 |        0 |        0
462.92/463.08	c  463s |      23 |  3715846 |  3330138 |      652  11360 |        0 |        0
464.92/465.08	c  465s |      23 |  3731305 |  3344238 |      652  11399 |        0 |        0
466.92/467.09	c  467s |      23 |  3747228 |  3358638 |      718  11439 |        0 |        0
469.02/469.10	c  469s |      23 |  3763425 |  3372838 |      718  11475 |        0 |        0
469.52/469.67	c  469s |      24 |  3767549 |  3376662 |      718  11485 |        0 |        0
471.52/471.67	c  471s |      24 |  3781868 |  3389762 |      718  11519 |        0 |        0
473.52/473.69	c  473s |      24 |  3796051 |  3402662 |      718  11552 |        0 |        0
475.52/475.70	c  475s |      24 |  3808918 |  3414662 |      718  11582 |        0 |        0
477.62/477.70	c  477s |      24 |  3820354 |  3425362 |      718  11609 |        0 |        0
479.62/479.71	c  479s |      24 |  3833433 |  3437262 |      718  11639 |        0 |        0
481.62/481.72	c  481s |      24 |  3847373 |  3450162 |      718  11672 |        0 |        0
483.61/483.72	c  483s |      24 |  3860604 |  3462462 |      718  11704 |        0 |        0
485.61/485.73	c  485s |      24 |  3874789 |  3475462 |      718  11737 |        0 |        0
487.61/487.73	c  487s |      24 |  3889006 |  3488362 |      718  11770 |        0 |        0
489.61/489.73	c  489s |      24 |  3902536 |  3500862 |      718  11802 |        0 |        0
491.62/491.74	c  491s |      24 |  3915266 |  3512762 |      718  11833 |        0 |        0
493.61/493.75	c  493s |      24 |  3927119 |  3523662 |      718  11861 |        0 |        0
495.61/495.76	c  495s |      24 |  3938482 |  3534362 |      718  11888 |        0 |        0
497.61/497.76	c  497s |      24 |  3950104 |  3545062 |      718  11915 |        0 |        0
499.61/499.76	c  499s |      24 |  3961954 |  3556062 |      718  11943 |        0 |        0
501.62/501.76	c  501s |      24 |  3973476 |  3566962 |      718  11971 |        0 |        0
503.61/503.78	c  503s |      24 |  3986158 |  3578662 |      718  12001 |        0 |        0
505.61/505.79	c  505s |      24 |  3999168 |  3590462 |      718  12031 |        0 |        0
507.72/507.80	c  507s |      24 |  4011813 |  3601962 |      718  12060 |        0 |        0
509.72/509.81	c  509s |      24 |  4025204 |  3614162 |      718  12092 |        0 |        0
511.71/511.83	c  511s |      24 |  4037701 |  3625562 |      718  12121 |        0 |        0
513.72/513.83	c  513s |      24 |  4050926 |  3637462 |      718  12151 |        0 |        0
515.71/515.84	c  515s |      24 |  4064102 |  3649562 |      718  12182 |        0 |        0
517.71/517.84	c  517s |      24 |  4076646 |  3661262 |      718  12212 |        0 |        0
519.71/519.86	c  519s |      24 |  4089479 |  3672962 |      718  12242 |        0 |        0
521.71/521.87	c  521s |      24 |  4102276 |  3684662 |      718  12271 |        0 |        0
523.71/523.88	c  523s |      24 |  4114886 |  3696262 |      718  12301 |        0 |        0
525.72/525.89	c  525s |      24 |  4128371 |  3708362 |      718  12332 |        0 |        0
527.71/527.89	c  527s |      24 |  4142629 |  3720962 |      718  12364 |        0 |        0
529.81/529.90	c  529s |      24 |  4156005 |  3733062 |      718  12395 |        0 |        0
531.81/531.91	c  531s |      24 |  4169868 |  3745362 |      718  12426 |        0 |        0
533.81/533.92	c  533s |      24 |  4183792 |  3757562 |      718  12457 |        0 |        0
535.81/535.94	c  535s |      24 |  4197467 |  3769762 |      718  12488 |        0 |        0
537.81/537.94	c  537s |      24 |  4210993 |  3781862 |      718  12519 |        0 |        0
539.80/539.95	c  539s |      24 |  4224390 |  3793862 |      718  12550 |        0 |        0
541.80/541.96	c  541s |      24 |  4238363 |  3806462 |      718  12582 |        0 |        0
543.80/543.97	c  543s |      24 |  4253338 |  3819662 |      718  12616 |        0 |        0
545.81/545.98	c  545s |      24 |  4266459 |  3831662 |      718  12646 |        0 |        0
547.82/547.99	c  547s |      24 |  4278612 |  3842962 |      718  12675 |        0 |        0
549.81/550.00	c  549s |      24 |  4291374 |  3854762 |      718  12705 |        0 |        0
551.91/552.01	c  552s |      24 |  4303673 |  3866262 |      718  12735 |        0 |        0
553.91/554.02	c  554s |      24 |  4316863 |  3878662 |      718  12766 |        0 |        0
555.90/556.02	c  556s |      24 |  4329468 |  3890462 |      718  12796 |        0 |        0
557.90/558.04	c  558s |      24 |  4342665 |  3902762 |      718  12827 |        0 |        0
559.91/560.05	c  560s |      24 |  4355444 |  3914462 |      718  12857 |        0 |        0
561.90/562.06	c  562s |      24 |  4367725 |  3925962 |      718  12887 |        0 |        0
563.90/564.07	c  564s |      24 |  4380418 |  3937762 |      718  12917 |        0 |        0
565.90/566.07	c  566s |      24 |  4393755 |  3950162 |      718  12948 |        0 |        0
567.90/568.09	c  568s |      24 |  4405703 |  3961362 |      718  12977 |        0 |        0
570.00/570.10	c  570s |      24 |  4418133 |  3972862 |      718  13006 |        0 |        0
572.01/572.11	c  572s |      24 |  4431130 |  3984762 |      718  13037 |        0 |        0
574.00/574.12	c  574s |      24 |  4443403 |  3996262 |      718  13067 |        0 |        0
576.00/576.13	c  576s |      24 |  4456129 |  4008162 |      718  13097 |        0 |        0
578.00/578.15	c  578s |      24 |  4468905 |  4020062 |      718  13128 |        0 |        0
580.01/580.17	c  580s |      24 |  4482080 |  4032162 |      718  13159 |        0 |        0
582.01/582.17	c  582s |      24 |  4494698 |  4043862 |      718  13189 |        0 |        0
584.01/584.19	c  584s |      24 |  4507300 |  4055362 |      718  13218 |        0 |        0
586.10/586.20	c  586s |      24 |  4520682 |  4067862 |      718  13250 |        0 |        0
588.10/588.21	c  588s |      24 |  4534008 |  4080062 |      718  13282 |        0 |        0
590.10/590.22	c  590s |      24 |  4546661 |  4091862 |      718  13312 |        0 |        0
592.10/592.22	c  592s |      24 |  4559636 |  4103862 |      718  13343 |        0 |        0
594.10/594.23	c  594s |      24 |  4571816 |  4115062 |      718  13371 |        0 |        0
596.11/596.23	c  596s |      24 |  4584538 |  4126662 |      718  13401 |        0 |        0
598.10/598.24	c  598s |      24 |  4598278 |  4139162 |      718  13433 |        0 |        0
600.10/600.25	c  600s |      24 |  4611253 |  4150862 |      718  13463 |        0 |        0
602.10/602.26	c  602s |      24 |  4625737 |  4163762 |      718  13496 |        0 |        0
604.10/604.26	c  604s |      24 |  4640313 |  4177062 |      718  13530 |        0 |        0
606.10/606.27	c  606s |      24 |  4654714 |  4190162 |      718  13564 |        0 |        0
608.10/608.29	c  608s |      24 |  4668564 |  4202862 |      718  13597 |        0 |        0
610.10/610.29	c  610s |      24 |  4683725 |  4216162 |      718  13631 |        0 |        0
612.10/612.30	c  612s |      24 |  4696958 |  4227962 |      718  13661 |        0 |        0
614.19/614.31	c  614s |      24 |  4710113 |  4239862 |      718  13692 |        0 |        0
616.19/616.33	c  616s |      24 |  4723714 |  4252062 |      718  13723 |        0 |        0
618.20/618.34	c  618s |      24 |  4737684 |  4264762 |      718  13755 |        0 |        0
620.19/620.35	c  620s |      24 |  4752383 |  4278062 |      718  13789 |        0 |        0
622.19/622.36	c  622s |      24 |  4765080 |  4289762 |      718  13820 |        0 |        0
624.19/624.37	c  624s |      24 |  4777880 |  4301562 |      718  13850 |        0 |        0
626.19/626.38	c  626s |      24 |  4791192 |  4313662 |      718  13881 |        0 |        0
628.19/628.39	c  628s |      24 |  4805905 |  4326662 |      718  13915 |        0 |        0
630.20/630.40	c  630s |      24 |  4822007 |  4340362 |      718  13950 |        0 |        0
632.30/632.40	c  632s |      24 |  4837201 |  4353562 |      718  13984 |        0 |        0
634.30/634.41	c  634s |      24 |  4853182 |  4367262 |      718  14020 |        0 |        0
636.30/636.42	c  636s |      24 |  4868139 |  4380562 |      718  14054 |        0 |        0
638.30/638.43	c  638s |      24 |  4882866 |  4393762 |      718  14089 |        0 |        0
640.30/640.43	c  640s |      24 |  4897824 |  4407162 |      718  14123 |        0 |        0
642.30/642.44	c  642s |      24 |  4912541 |  4420362 |      718  14158 |        0 |        0
644.30/644.45	c  644s |      24 |  4927344 |  4433362 |      718  14191 |        0 |        0
646.29/646.46	c  646s |      24 |  4942206 |  4446562 |      718  14226 |        0 |        0
648.29/648.47	c  648s |      24 |  4957305 |  4460062 |      718  14260 |        0 |        0
650.29/650.48	c  650s |      24 |  4971484 |  4473062 |      718  14294 |        0 |        0
652.30/652.49	c  652s |      24 |  4985905 |  4486262 |      718  14328 |        0 |        0
654.29/654.50	c  654s |      24 |  4999763 |  4499062 |      718  14361 |        0 |        0
656.39/656.51	c  656s |      24 |  5013623 |  4511762 |      718  14394 |        0 |        0
658.39/658.51	c  658s |      24 |  5027889 |  4524662 |      718  14427 |        0 |        0
660.39/660.51	c  660s |      24 |  5041704 |  4537462 |      718  14460 |        0 |        0
662.39/662.52	c  662s |      24 |  5055551 |  4550162 |      718  14493 |        0 |        0
664.40/664.53	c  664s |      24 |  5069474 |  4562962 |      718  14525 |        0 |        0
666.39/666.53	c  666s |      24 |  5083049 |  4575362 |      718  14557 |        0 |        0
668.39/668.54	c  668s |      24 |  5097742 |  4588362 |      718  14591 |        0 |        0
670.39/670.55	c  670s |      24 |  5113528 |  4602062 |      718  14626 |        0 |        0
672.38/672.55	c  672s |      24 |  5127135 |  4614562 |      718  14658 |        0 |        0
674.38/674.57	c  674s |      24 |  5141512 |  4627662 |      718  14692 |        0 |        0
676.39/676.58	c  676s |      24 |  5154765 |  4640062 |      718  14724 |        0 |        0
678.38/678.59	c  678s |      24 |  5169278 |  4653262 |      718  14758 |        0 |        0
680.38/680.59	c  680s |      24 |  5183237 |  4665762 |      718  14790 |        0 |        0
682.48/682.60	c  682s |      24 |  5197437 |  4678362 |      718  14823 |        0 |        0
684.48/684.61	c  684s |      24 |  5210572 |  4690562 |      718  14854 |        0 |        0
686.48/686.62	c  686s |      24 |  5224047 |  4703062 |      718  14886 |        0 |        0
688.49/688.64	c  688s |      24 |  5236834 |  4715062 |      718  14917 |        0 |        0
690.48/690.64	c  690s |      24 |  5249822 |  4727162 |      718  14948 |        0 |        0
692.48/692.65	c  692s |      24 |  5263103 |  4739462 |      718  14979 |        0 |        0
694.48/694.66	c  694s |      24 |  5276353 |  4751662 |      718  15011 |        0 |        0
696.49/696.66	c  696s |      24 |  5289391 |  4763862 |      718  15042 |        0 |        0
698.49/698.68	c  698s |      24 |  5303275 |  4776762 |      718  15075 |        0 |        0
700.49/700.69	c  700s |      24 |  5317504 |  4789662 |      718  15109 |        0 |        0
702.59/702.70	c  702s |      24 |  5331267 |  4802362 |      718  15141 |        0 |        0
704.58/704.71	c  704s |      24 |  5344391 |  4814562 |      718  15173 |        0 |        0
706.58/706.73	c  706s |      24 |  5357828 |  4827062 |      718  15205 |        0 |        0
708.58/708.73	c  708s |      24 |  5371329 |  4839662 |      718  15238 |        0 |        0
710.59/710.74	c  710s |      24 |  5385717 |  4852662 |      718  15271 |        0 |        0
712.58/712.75	c  712s |      24 |  5400199 |  4865562 |      718  15305 |        0 |        0
714.58/714.75	c  714s |      24 |  5414880 |  4878762 |      718  15339 |        0 |        0
716.58/716.75	c  716s |      24 |  5428694 |  4891462 |      718  15371 |        0 |        0
718.58/718.77	c  718s |      24 |  5443026 |  4904562 |      718  15405 |        0 |        0
720.58/720.78	c  720s |      24 |  5457495 |  4917762 |      718  15439 |        0 |        0
722.59/722.79	c  722s |      24 |  5470637 |  4929962 |      718  15470 |        0 |        0
724.58/724.79	c  724s |      24 |  5484114 |  4942462 |      718  15502 |        0 |        0
726.67/726.80	c  726s |      24 |  5496825 |  4954362 |      718  15533 |        0 |        0
728.67/728.81	c  728s |      24 |  5508494 |  4965262 |      718  15561 |        0 |        0
730.67/730.82	c  730s |      24 |  5520683 |  4976662 |      718  15590 |        0 |        0
732.67/732.83	c  732s |      24 |  5533117 |  4988262 |      718  15620 |        0 |        0
734.67/734.84	c  734s |      24 |  5546186 |  5000462 |      718  15651 |        0 |        0
736.67/736.84	c  736s |      24 |  5559421 |  5012862 |      718  15683 |        0 |        0
738.66/738.85	c  738s |      24 |  5571775 |  5024362 |      718  15712 |        0 |        0
740.66/740.87	c  740s |      24 |  5583305 |  5035162 |      790  15739 |        0 |        0
742.67/742.89	c  742s |      24 |  5595063 |  5046262 |      790  15765 |        0 |        0
744.77/744.90	c  744s |      24 |  5608484 |  5058762 |      790  15794 |        0 |        0
745.78/745.95	c  745s |      25 |  5615437 |  5065098 |      790  15809 |        0 |        0
747.77/747.96	c  747s |      25 |  5630280 |  5078498 |      790  15840 |        0 |        0
749.77/749.96	c  749s |      25 |  5644911 |  5091698 |      790  15871 |        0 |        0
751.76/751.96	c  751s |      25 |  5660118 |  5105298 |      790  15902 |        0 |        0
753.76/753.96	c  753s |      25 |  5675208 |  5118798 |      790  15934 |        0 |        0
755.76/755.97	c  755s |      25 |  5689013 |  5131498 |      790  15963 |        0 |        0
757.77/757.97	c  757s |      25 |  5704033 |  5144798 |      790  15994 |        0 |        0
759.76/759.98	c  759s |      25 |  5717957 |  5157498 |      790  16024 |        0 |        0
761.75/761.99	c  761s |      25 |  5731872 |  5170398 |      790  16054 |        0 |        0
763.85/764.00	c  763s |      25 |  5746416 |  5183398 |      790  16085 |        0 |        0
765.86/766.01	c  766s |      25 |  5760550 |  5196198 |      790  16115 |        0 |        0
767.86/768.02	c  768s |      25 |  5774712 |  5208798 |      790  16145 |        0 |        0
769.87/770.04	c  770s |      25 |  5787535 |  5220598 |      790  16173 |        0 |        0
771.86/772.06	c  772s |      25 |  5799822 |  5231998 |      790  16199 |        0 |        0
773.86/774.06	c  774s |      25 |  5811501 |  5242698 |      790  16224 |        0 |        0
775.85/776.07	c  776s |      25 |  5824062 |  5254198 |      790  16251 |        0 |        0
777.85/778.09	c  778s |      25 |  5836002 |  5265198 |      790  16277 |        0 |        0
779.86/780.09	c  780s |      25 |  5847727 |  5275798 |      790  16302 |        0 |        0
781.85/782.10	c  782s |      25 |  5860400 |  5287298 |      790  16329 |        0 |        0
783.95/784.11	c  784s |      25 |  5872577 |  5298398 |      790  16355 |        0 |        0
785.94/786.12	c  786s |      25 |  5883249 |  5308398 |      790  16378 |        0 |        0
787.94/788.13	c  788s |      25 |  5894581 |  5318998 |      790  16403 |        0 |        0
789.94/790.14	c  790s |      25 |  5905479 |  5329298 |      790  16427 |        0 |        0
791.95/792.16	c  792s |      25 |  5917456 |  5340298 |      790  16453 |        0 |        0
793.94/794.17	c  794s |      25 |  5929190 |  5351298 |      790  16478 |        0 |        0
795.93/796.17	c  796s |      25 |  5942115 |  5363098 |      790  16506 |        0 |        0
797.93/798.18	c  798s |      25 |  5953712 |  5373798 |      790  16531 |        0 |        0
799.93/800.19	c  800s |      25 |  5966227 |  5384998 |      790  16557 |        0 |        0
802.03/802.21	c  802s |      25 |  5978438 |  5396098 |      790  16583 |        0 |        0
804.04/804.22	c  804s |      25 |  5990244 |  5406898 |      790  16609 |        0 |        0
806.02/806.24	c  806s |      25 |  6001287 |  5417298 |      790  16633 |        0 |        0
808.02/808.24	c  808s |      25 |  6011140 |  5426598 |      790  16655 |        0 |        0
810.03/810.25	c  810s |      25 |  6022217 |  5436898 |      790  16679 |        0 |        0
812.03/812.26	c  812s |      25 |  6033752 |  5447498 |      790  16703 |        0 |        0
814.03/814.27	c  814s |      25 |  6046275 |  5458898 |      790  16730 |        0 |        0
816.03/816.27	c  816s |      25 |  6058416 |  5469998 |      790  16756 |        0 |        0
818.03/818.28	c  818s |      25 |  6072288 |  5482098 |      790  16784 |        0 |        0
820.03/820.30	c  820s |      25 |  6084853 |  5493698 |      790  16811 |        0 |        0
822.13/822.32	c  822s |      25 |  6096672 |  5504598 |      790  16837 |        0 |        0
824.12/824.32	c  824s |      25 |  6110039 |  5516698 |      790  16865 |        0 |        0
826.12/826.34	c  826s |      25 |  6123122 |  5528698 |      790  16893 |        0 |        0
828.13/828.35	c  828s |      25 |  6136209 |  5540698 |      790  16921 |        0 |        0
830.12/830.36	c  830s |      25 |  6149031 |  5552198 |      790  16949 |        0 |        0
832.12/832.37	c  832s |      25 |  6161305 |  5563398 |      790  16975 |        0 |        0
834.12/834.38	c  834s |      25 |  6174429 |  5575098 |      790  17002 |        0 |        0
836.11/836.38	c  836s |      25 |  6186730 |  5586098 |      790  17028 |        0 |        0
838.12/838.39	c  838s |      25 |  6199875 |  5597898 |      790  17056 |        0 |        0
840.11/840.40	c  840s |      25 |  6213593 |  5609998 |      790  17084 |        0 |        0
842.21/842.42	c  842s |      25 |  6227077 |  5622098 |      790  17113 |        0 |        0
844.20/844.42	c  844s |      25 |  6239774 |  5633698 |      790  17140 |        0 |        0
846.20/846.43	c  846s |      25 |  6252384 |  5645198 |      790  17167 |        0 |        0
848.20/848.44	c  848s |      25 |  6265631 |  5656898 |      790  17194 |        0 |        0
850.21/850.45	c  850s |      25 |  6277345 |  5667698 |      790  17219 |        0 |        0
852.20/852.47	c  852s |      25 |  6288775 |  5678198 |      790  17244 |        0 |        0
854.20/854.49	c  854s |      25 |  6301603 |  5690098 |      790  17271 |        0 |        0
856.29/856.51	c  856s |      25 |  6314033 |  5701698 |      790  17298 |        0 |        0
858.29/858.51	c  858s |      25 |  6327278 |  5713598 |      790  17326 |        0 |        0
860.29/860.52	c  860s |      25 |  6339460 |  5724698 |      790  17352 |        0 |        0
862.30/862.53	c  862s |      25 |  6352243 |  5736198 |      790  17379 |        0 |        0
864.29/864.54	c  864s |      25 |  6364184 |  5747198 |      790  17404 |        0 |        0
866.30/866.54	c  866s |      25 |  6376276 |  5758498 |      790  17431 |        0 |        0
868.30/868.55	c  868s |      25 |  6388809 |  5770198 |      790  17458 |        0 |        0
870.29/870.55	c  870s |      25 |  6400153 |  5780798 |      790  17483 |        0 |        0
872.29/872.56	c  872s |      25 |  6412123 |  5791798 |      790  17509 |        0 |        0
874.30/874.57	c  874s |      25 |  6425369 |  5803998 |      790  17537 |        0 |        0
876.29/876.58	c  876s |      25 |  6437558 |  5815298 |      790  17564 |        0 |        0
878.29/878.59	c  878s |      25 |  6450223 |  5826898 |      790  17591 |        0 |        0
880.29/880.59	c  880s |      25 |  6461968 |  5837698 |      790  17616 |        0 |        0
882.39/882.60	c  882s |      25 |  6477368 |  5851198 |      790  17647 |        0 |        0
884.39/884.61	c  884s |      25 |  6491485 |  5863798 |      790  17676 |        0 |        0
886.39/886.62	c  886s |      25 |  6504744 |  5875898 |      790  17705 |        0 |        0
888.39/888.63	c  888s |      25 |  6518043 |  5887998 |      790  17733 |        0 |        0
890.38/890.64	c  890s |      25 |  6531065 |  5899898 |      790  17761 |        0 |        0
892.38/892.65	c  892s |      25 |  6544208 |  5911798 |      790  17789 |        0 |        0
894.38/894.66	c  894s |      25 |  6556189 |  5922698 |      790  17815 |        0 |        0
896.38/896.67	c  896s |      25 |  6569334 |  5934498 |      790  17843 |        0 |        0
898.37/898.69	c  898s |      25 |  6582630 |  5946498 |      790  17871 |        0 |        0
900.37/900.69	c  900s |      25 |  6595175 |  5957898 |      790  17897 |        0 |        0
902.47/902.70	c  902s |      25 |  6607571 |  5969398 |      790  17924 |        0 |        0
904.47/904.71	c  904s |      25 |  6619944 |  5980798 |      790  17951 |        0 |        0
906.47/906.71	c  906s |      25 |  6633111 |  5992798 |      790  17979 |        0 |        0
908.47/908.73	c  908s |      25 |  6647084 |  6005598 |      790  18009 |        0 |        0
910.46/910.74	c  910s |      25 |  6661226 |  6018098 |      790  18038 |        0 |        0
912.46/912.76	c  912s |      25 |  6674669 |  6029998 |      790  18067 |        0 |        0
914.46/914.76	c  914s |      25 |  6688502 |  6042398 |      790  18096 |        0 |        0
916.46/916.76	c  916s |      25 |  6702105 |  6054698 |      790  18126 |        0 |        0
918.47/918.77	c  918s |      25 |  6715516 |  6066798 |      790  18155 |        0 |        0
920.47/920.78	c  920s |      25 |  6727939 |  6078298 |      790  18182 |        0 |        0
922.46/922.79	c  922s |      25 |  6740913 |  6090098 |      790  18210 |        0 |        0
924.56/924.80	c  924s |      25 |  6753970 |  6101998 |      790  18238 |        0 |        0
926.56/926.81	c  926s |      25 |  6766383 |  6113598 |      790  18265 |        0 |        0
928.56/928.83	c  928s |      25 |  6779775 |  6125698 |      790  18293 |        0 |        0
930.56/930.84	c  930s |      25 |  6792761 |  6137598 |      790  18321 |        0 |        0
932.56/932.85	c  932s |      25 |  6806203 |  6149998 |      790  18350 |        0 |        0
934.55/934.86	c  934s |      25 |  6820092 |  6162298 |      790  18379 |        0 |        0
936.55/936.86	c  936s |      25 |  6833733 |  6174598 |      790  18408 |        0 |        0
938.55/938.87	c  938s |      25 |  6847037 |  6186698 |      790  18437 |        0 |        0
940.55/940.88	c  940s |      25 |  6859638 |  6198298 |      790  18464 |        0 |        0
942.65/942.90	c  942s |      25 |  6873405 |  6210498 |      790  18493 |        0 |        0
944.65/944.91	c  944s |      25 |  6887259 |  6222898 |      790  18522 |        0 |        0
946.64/946.91	c  946s |      25 |  6900794 |  6235098 |      790  18550 |        0 |        0
948.64/948.92	c  948s |      25 |  6913877 |  6247098 |      790  18579 |        0 |        0
950.64/950.93	c  950s |      25 |  6926675 |  6258998 |      790  18607 |        0 |        0
952.64/952.93	c  952s |      25 |  6939432 |  6270698 |      790  18634 |        0 |        0
954.64/954.93	c  954s |      25 |  6952400 |  6282598 |      790  18662 |        0 |        0
956.63/956.94	c  956s |      25 |  6965423 |  6294698 |      790  18690 |        0 |        0
958.63/958.95	c  958s |      25 |  6978283 |  6306498 |      790  18718 |        0 |        0
960.63/960.97	c  960s |      25 |  6991013 |  6318198 |      790  18746 |        0 |        0
962.63/962.98	c  962s |      25 |  7004764 |  6330598 |      790  18775 |        0 |        0
964.63/964.98	c  964s |      25 |  7020073 |  6343798 |      790  18806 |        0 |        0
966.64/966.99	c  966s |      25 |  7034671 |  6356598 |      790  18836 |        0 |        0
968.64/968.99	c  968s |      25 |  7048025 |  6368398 |      790  18864 |        0 |        0
970.64/970.99	c  970s |      25 |  7059861 |  6379298 |      790  18889 |        0 |        0
972.73/973.01	c  972s |      25 |  7072568 |  6390898 |      790  18917 |        0 |        0
974.73/975.01	c  975s |      25 |  7086899 |  6403698 |      790  18947 |        0 |        0
976.73/977.02	c  977s |      25 |  7100575 |  6416298 |      790  18976 |        0 |        0
978.73/979.02	c  979s |      25 |  7115383 |  6429098 |      790  19006 |        0 |        0
980.73/981.04	c  981s |      25 |  7129143 |  6441498 |      790  19036 |        0 |        0
982.72/983.06	c  983s |      25 |  7143169 |  6453898 |      790  19065 |        0 |        0
984.72/985.06	c  985s |      25 |  7156373 |  6465998 |      790  19093 |        0 |        0
986.72/987.08	c  987s |      25 |  7169782 |  6478298 |      790  19122 |        0 |        0
988.72/989.08	c  989s |      25 |  7183947 |  6490998 |      790  19152 |        0 |        0
990.72/991.10	c  991s |      25 |  7197190 |  6503198 |      790  19181 |        0 |        0
992.82/993.10	c  993s |      25 |  7209856 |  6514998 |      790  19208 |        0 |        0
994.81/995.11	c  995s |      25 |  7223357 |  6527498 |      790  19237 |        0 |        0
996.81/997.11	c  997s |      25 |  7236223 |  6539398 |      790  19265 |        0 |        0
998.81/999.12	c  999s |      25 |  7249244 |  6551398 |      790  19294 |        0 |        0
1000.82/1001.13	c 1001s |      25 |  7263031 |  6563998 |      790  19323 |        0 |        0
1002.81/1003.15	c 1003s |      25 |  7276049 |  6575798 |      790  19351 |        0 |        0
1004.80/1005.16	c 1005s |      25 |  7289169 |  6587798 |      790  19379 |        0 |        0
1006.80/1007.17	c 1007s |      25 |  7302476 |  6600098 |      790  19408 |        0 |        0
1008.81/1009.18	c 1009s |      25 |  7315883 |  6612398 |      790  19437 |        0 |        0
1010.81/1011.19	c 1011s |      25 |  7329480 |  6624598 |      790  19465 |        0 |        0
1012.92/1013.20	c 1013s |      25 |  7341593 |  6635898 |      790  19492 |        0 |        0
1014.90/1015.21	c 1015s |      25 |  7354082 |  6647398 |      790  19519 |        0 |        0
1016.90/1017.22	c 1017s |      25 |  7366605 |  6658898 |      790  19546 |        0 |        0
1018.90/1019.24	c 1019s |      25 |  7379312 |  6670398 |      790  19573 |        0 |        0
1020.90/1021.25	c 1021s |      25 |  7393304 |  6682698 |      790  19602 |        0 |        0
1022.90/1023.26	c 1023s |      25 |  7406381 |  6694598 |      790  19630 |        0 |        0
1024.91/1025.26	c 1025s |      25 |  7419193 |  6706298 |      790  19658 |        0 |        0
1026.90/1027.28	c 1027s |      25 |  7432427 |  6718198 |      790  19686 |        0 |        0
1028.90/1029.28	c 1029s |      25 |  7445680 |  6729998 |      790  19713 |        0 |        0
1030.90/1031.29	c 1031s |      25 |  7459012 |  6741798 |      790  19741 |        0 |        0
1032.90/1033.29	c 1033s |      25 |  7471950 |  6753298 |      790  19768 |        0 |        0
1034.99/1035.30	c 1035s |      25 |  7483968 |  6764298 |      790  19794 |        0 |        0
1037.00/1037.31	c 1037s |      25 |  7497656 |  6776598 |      790  19823 |        0 |        0
1038.99/1039.31	c 1039s |      25 |  7510901 |  6788498 |      790  19851 |        0 |        0
1040.99/1041.32	c 1041s |      25 |  7522290 |  6798898 |      790  19875 |        0 |        0
1042.99/1043.33	c 1043s |      25 |  7536442 |  6810898 |      790  19903 |        0 |        0
1044.99/1045.35	c 1045s |      25 |  7549574 |  6822798 |      790  19931 |        0 |        0
1046.99/1047.35	c 1047s |      25 |  7563426 |  6835098 |      790  19960 |        0 |        0
1048.99/1049.36	c 1049s |      25 |  7577478 |  6847398 |      790  19989 |        0 |        0
1050.99/1051.38	c 1051s |      25 |  7592319 |  6859998 |      790  20019 |        0 |        0
1052.99/1053.40	c 1053s |      25 |  7605172 |  6871698 |      790  20046 |        0 |        0
1055.08/1055.41	c 1055s |      25 |  7620025 |  6884498 |      790  20076 |        0 |        0
1057.08/1057.42	c 1057s |      25 |  7634171 |  6896398 |      790  20104 |        0 |        0
1059.09/1059.44	c 1059s |      25 |  7645814 |  6907198 |      790  20130 |        0 |        0
1061.08/1061.46	c 1061s |      25 |  7658444 |  6918698 |      790  20157 |        0 |        0
1063.08/1063.46	c 1063s |      25 |  7671822 |  6930898 |      790  20185 |        0 |        0
1065.07/1065.46	c 1065s |      25 |  7685393 |  6943198 |      790  20214 |        0 |        0
1067.07/1067.48	c 1067s |      25 |  7698936 |  6955698 |      790  20244 |        0 |        0
1069.07/1069.49	c 1069s |      25 |  7712172 |  6967998 |      790  20272 |        0 |        0
1071.08/1071.49	c 1071s |      25 |  7724933 |  6979798 |      790  20300 |        0 |        0
1073.17/1073.50	c 1073s |      25 |  7737427 |  6991298 |      790  20327 |        0 |        0
1075.17/1075.51	c 1075s |      25 |  7750090 |  7002698 |      790  20354 |        0 |        0
1077.17/1077.53	c 1077s |      25 |  7762276 |  7014098 |      790  20380 |        0 |        0
1079.17/1079.53	c 1079s |      25 |  7774840 |  7025498 |      790  20407 |        0 |        0
1081.17/1081.55	c 1081s |      25 |  7788387 |  7037698 |      790  20436 |        0 |        0
1083.18/1083.55	c 1083s |      25 |  7801647 |  7049798 |      790  20464 |        0 |        0
1085.17/1085.56	c 1085s |      25 |  7815170 |  7061998 |      790  20493 |        0 |        0
1087.16/1087.57	c 1087s |      25 |  7827987 |  7073798 |      790  20521 |        0 |        0
1089.16/1089.58	c 1089s |      25 |  7842024 |  7086198 |      790  20550 |        0 |        0
1091.16/1091.59	c 1091s |      25 |  7855918 |  7098698 |      790  20579 |        0 |        0
1093.26/1093.60	c 1093s |      25 |  7870012 |  7111098 |      790  20609 |        0 |        0
1095.26/1095.61	c 1095s |      25 |  7884078 |  7123698 |      790  20638 |        0 |        0
1097.26/1097.62	c 1097s |      25 |  7898089 |  7136398 |      790  20668 |        0 |        0
1099.25/1099.63	c 1099s |      25 |  7911731 |  7148798 |      790  20697 |        0 |        0
1101.25/1101.63	c 1101s |      25 |  7925840 |  7161598 |      790  20727 |        0 |        0
1103.25/1103.64	c 1103s |      25 |  7939569 |  7174098 |      790  20757 |        0 |        0
1105.26/1105.64	c 1105s |      25 |  7952954 |  7186398 |      790  20786 |        0 |        0
1107.25/1107.65	c 1107s |      25 |  7966140 |  7198498 |      790  20815 |        0 |        0
1109.25/1109.66	c 1109s |      25 |  7979978 |  7210898 |      790  20844 |        0 |        0
1111.25/1111.67	c 1111s |      25 |  7994741 |  7223898 |      790  20874 |        0 |        0
1113.25/1113.67	c 1113s |      25 |  8008977 |  7236498 |      790  20904 |        0 |        0
1115.24/1115.67	c 1115s |      25 |  8023949 |  7249698 |      790  20935 |        0 |        0
1117.25/1117.68	c 1117s |      25 |  8038412 |  7262598 |      790  20965 |        0 |        0
1119.24/1119.69	c 1119s |      25 |  8052551 |  7275098 |      790  20995 |        0 |        0
1121.24/1121.70	c 1121s |      25 |  8067611 |  7288198 |      790  21025 |        0 |        0
1123.34/1123.70	c 1123s |      25 |  8083310 |  7301598 |      790  21057 |        0 |        0
1125.35/1125.71	c 1125s |      25 |  8098190 |  7314498 |      790  21087 |        0 |        0
1127.34/1127.72	c 1127s |      25 |  8113499 |  7327598 |      790  21119 |        0 |        0
1129.35/1129.72	c 1129s |      25 |  8127667 |  7339898 |      790  21148 |        0 |        0
1131.34/1131.73	c 1131s |      25 |  8142352 |  7352598 |      790  21177 |        0 |        0
1133.34/1133.74	c 1133s |      25 |  8156410 |  7365098 |      790  21207 |        0 |        0
1135.34/1135.75	c 1135s |      25 |  8170220 |  7377398 |      790  21236 |        0 |        0
1137.34/1137.75	c 1137s |      25 |  8184221 |  7389998 |      790  21265 |        0 |        0
1139.34/1139.77	c 1139s |      25 |  8198357 |  7402698 |      790  21295 |        0 |        0
1141.34/1141.77	c 1141s |      25 |  8212965 |  7415598 |      790  21326 |        0 |        0
1143.33/1143.78	c 1143s |      25 |  8227471 |  7428398 |      790  21356 |        0 |        0
1145.33/1145.78	c 1145s |      25 |  8240197 |  7439798 |      790  21382 |        0 |        0
1147.33/1147.79	c 1147s |      25 |  8253814 |  7451998 |      790  21411 |        0 |        0
1149.33/1149.79	c 1149s |      25 |  8267643 |  7464398 |      790  21440 |        0 |        0
1151.33/1151.80	c 1151s |      25 |  8282120 |  7477198 |      790  21470 |        0 |        0
1153.43/1153.82	c 1153s |      25 |  8296288 |  7489898 |      790  21500 |        0 |        0
1155.42/1155.83	c 1155s |      25 |  8309185 |  7501798 |      790  21528 |        0 |        0
1157.42/1157.83	c 1157s |      25 |  8322059 |  7513398 |      790  21555 |        0 |        0
1159.42/1159.84	c 1159s |      25 |  8335421 |  7525398 |      790  21584 |        0 |        0
1161.42/1161.85	c 1161s |      25 |  8349021 |  7537798 |      790  21613 |        0 |        0
1163.43/1163.86	c 1163s |      25 |  8362789 |  7550098 |      870  21640 |        0 |        0
1165.42/1165.87	c 1165s |      25 |  8377231 |  7562798 |      870  21668 |        0 |        0
1167.41/1167.87	c 1167s |      25 |  8391109 |  7574798 |      870  21693 |        0 |        0
1169.41/1169.88	c 1169s |      25 |  8403621 |  7585998 |      870  21717 |        0 |        0
1171.41/1171.89	c 1171s |      25 |  8415707 |  7597098 |      870  21741 |        0 |        0
1171.61/1172.00	c 1171s |      26 |  8416410 |  7597752 |      870  21743 |        0 |        0
1173.61/1174.01	c 1173s |      26 |  8431587 |  7610952 |      870  21771 |        0 |        0
1175.61/1176.01	c 1176s |      26 |  8445481 |  7623352 |      870  21798 |        0 |        0
1177.61/1178.02	c 1178s |      26 |  8458015 |  7634952 |      870  21823 |        0 |        0
1179.60/1180.02	c 1180s |      26 |  8471326 |  7647152 |      870  21849 |        0 |        0
1181.61/1182.03	c 1182s |      26 |  8484583 |  7659252 |      870  21875 |        0 |        0
1183.61/1184.04	c 1184s |      26 |  8497927 |  7671352 |      870  21901 |        0 |        0
1185.61/1186.04	c 1186s |      26 |  8511504 |  7683352 |      870  21927 |        0 |        0
1187.62/1188.05	c 1188s |      26 |  8525253 |  7695652 |      870  21953 |        0 |        0
1189.61/1190.06	c 1190s |      26 |  8539454 |  7708352 |      870  21981 |        0 |        0
1191.61/1192.07	c 1192s |      26 |  8553248 |  7720652 |      870  22007 |        0 |        0
1193.61/1194.07	c 1194s |      26 |  8566976 |  7732952 |      870  22034 |        0 |        0
1195.60/1196.08	c 1196s |      26 |  8580453 |  7745052 |      870  22060 |        0 |        0
1197.61/1198.09	c 1198s |      26 |  8594398 |  7757252 |      870  22086 |        0 |        0
1199.60/1200.10	c 1200s |      26 |  8608652 |  7769952 |      870  22113 |        0 |        0
1201.70/1202.11	c 1202s |      26 |  8623070 |  7782552 |      870  22141 |        0 |        0
1203.70/1204.12	c 1204s |      26 |  8638674 |  7795752 |      870  22169 |        0 |        0
1205.70/1206.12	c 1206s |      26 |  8653495 |  7808452 |      870  22197 |        0 |        0
1207.70/1208.12	c 1208s |      26 |  8666800 |  7820552 |      870  22222 |        0 |        0
1209.70/1210.12	c 1210s |      26 |  8681169 |  7833252 |      870  22250 |        0 |        0
1211.69/1212.13	c 1212s |      26 |  8694538 |  7845352 |      870  22276 |        0 |        0
1213.69/1214.14	c 1214s |      26 |  8707130 |  7856652 |      870  22300 |        0 |        0
1215.69/1216.15	c 1216s |      26 |  8720809 |  7868952 |      870  22327 |        0 |        0
1217.68/1218.15	c 1218s |      26 |  8734473 |  7881252 |      870  22353 |        0 |        0
1219.68/1220.16	c 1220s |      26 |  8748393 |  7893652 |      870  22380 |        0 |        0
1221.69/1222.16	c 1222s |      26 |  8760607 |  7904952 |      870  22404 |        0 |        0
1223.68/1224.16	c 1224s |      26 |  8774431 |  7917252 |      870  22431 |        0 |        0
1225.69/1226.16	c 1226s |      26 |  8787711 |  7929252 |      870  22456 |        0 |        0
1227.69/1228.16	c 1228s |      26 |  8801192 |  7941452 |      870  22483 |        0 |        0
1229.68/1230.17	c 1230s |      26 |  8814556 |  7953452 |      870  22508 |        0 |        0
1231.69/1232.17	c 1232s |      26 |  8827657 |  7965152 |      870  22533 |        0 |        0
1233.68/1234.18	c 1234s |      26 |  8841811 |  7977152 |      870  22559 |        0 |        0
1235.78/1236.20	c 1236s |      26 |  8854909 |  7988652 |      870  22583 |        0 |        0
1237.78/1238.20	c 1238s |      26 |  8867201 |  7999752 |      870  22607 |        0 |        0
1239.78/1240.20	c 1240s |      26 |  8879722 |  8010952 |      870  22631 |        0 |        0
1241.78/1242.21	c 1242s |      26 |  8891768 |  8021752 |      870  22654 |        0 |        0
1243.78/1244.21	c 1244s |      26 |  8903052 |  8032252 |      870  22677 |        0 |        0
1245.77/1246.23	c 1246s |      26 |  8914045 |  8042452 |      870  22699 |        0 |        0
1247.77/1248.24	c 1248s |      26 |  8925063 |  8052652 |      870  22720 |        0 |        0
1249.77/1250.25	c 1250s |      26 |  8935542 |  8062452 |      870  22741 |        0 |        0
1251.77/1252.27	c 1252s |      26 |  8946778 |  8072752 |      870  22763 |        0 |        0
1253.77/1254.29	c 1254s |      26 |  8958251 |  8083152 |      870  22785 |        0 |        0
1255.77/1256.29	c 1256s |      26 |  8969309 |  8093252 |      870  22807 |        0 |        0
1257.76/1258.29	c 1258s |      26 |  8980354 |  8103252 |      870  22828 |        0 |        0
1259.86/1260.30	c 1260s |      26 |  8993132 |  8114652 |      870  22853 |        0 |        0
1261.86/1262.31	c 1262s |      26 |  9006707 |  8127052 |      870  22880 |        0 |        0
1263.86/1264.32	c 1264s |      26 |  9019183 |  8138552 |      870  22904 |        0 |        0
1265.86/1266.32	c 1266s |      26 |  9032513 |  8150752 |      870  22931 |        0 |        0
1267.87/1268.32	c 1268s |      26 |  9045101 |  8162452 |      870  22956 |        0 |        0
1269.86/1270.33	c 1270s |      26 |  9056909 |  8173352 |      870  22979 |        0 |        0
1271.86/1272.34	c 1272s |      26 |  9070322 |  8185552 |      870  23006 |        0 |        0
1273.86/1274.34	c 1274s |      26 |  9085058 |  8198252 |      870  23033 |        0 |        0
1275.85/1276.36	c 1276s |      26 |  9098993 |  8210952 |      870  23060 |        0 |        0
1277.86/1278.38	c 1278s |      26 |  9111777 |  8222752 |      870  23085 |        0 |        0
1279.85/1280.39	c 1280s |      26 |  9125533 |  8235052 |      870  23112 |        0 |        0
1281.95/1282.40	c 1282s |      26 |  9138984 |  8247352 |      870  23138 |        0 |        0
1283.95/1284.40	c 1284s |      26 |  9152507 |  8259552 |      870  23165 |        0 |        0
1285.95/1286.42	c 1286s |      26 |  9165977 |  8271552 |      870  23191 |        0 |        0
1287.94/1288.44	c 1288s |      26 |  9178400 |  8283152 |      870  23215 |        0 |        0
1289.96/1290.45	c 1290s |      26 |  9191741 |  8295252 |      870  23242 |        0 |        0
1291.95/1292.46	c 1292s |      26 |  9205974 |  8308052 |      870  23269 |        0 |        0
1293.95/1294.47	c 1294s |      26 |  9219888 |  8320852 |      870  23296 |        0 |        0
1295.95/1296.49	c 1296s |      26 |  9233740 |  8333452 |      870  23324 |        0 |        0
1298.05/1298.50	c 1298s |      26 |  9245816 |  8344752 |      870  23348 |        0 |        0
1300.05/1300.51	c 1300s |      26 |  9258292 |  8356152 |      870  23372 |        0 |        0
1302.05/1302.52	c 1302s |      26 |  9270659 |  8367452 |      870  23396 |        0 |        0
1304.05/1304.52	c 1304s |      26 |  9282282 |  8378152 |      870  23419 |        0 |        0
1306.04/1306.53	c 1306s |      26 |  9295036 |  8389652 |      870  23444 |        0 |        0
1308.04/1308.55	c 1308s |      26 |  9308192 |  8401552 |      870  23469 |        0 |        0
1310.04/1310.56	c 1310s |      26 |  9321122 |  8413252 |      870  23494 |        0 |        0
1312.04/1312.56	c 1312s |      26 |  9332931 |  8424252 |      870  23518 |        0 |        0
1314.04/1314.58	c 1314s |      26 |  9344678 |  8435252 |      870  23542 |        0 |        0
1316.03/1316.59	c 1316s |      26 |  9358606 |  8447752 |      870  23568 |        0 |        0
1318.13/1318.61	c 1318s |      26 |  9370785 |  8458952 |      870  23592 |        0 |        0
1320.13/1320.62	c 1320s |      26 |  9382364 |  8469752 |      870  23616 |        0 |        0
1322.13/1322.63	c 1322s |      26 |  9395061 |  8481452 |      870  23640 |        0 |        0
1324.13/1324.65	c 1324s |      26 |  9407909 |  8493052 |      870  23665 |        0 |        0
1326.13/1326.65	c 1326s |      26 |  9420444 |  8504352 |      870  23690 |        0 |        0
1328.12/1328.65	c 1328s |      26 |  9433635 |  8516052 |      870  23715 |        0 |        0
1330.12/1330.66	c 1330s |      26 |  9446487 |  8527752 |      870  23740 |        0 |        0
1332.12/1332.66	c 1332s |      26 |  9459425 |  8539452 |      870  23765 |        0 |        0
1334.12/1334.67	c 1334s |      26 |  9471754 |  8550852 |      870  23790 |        0 |        0
1336.12/1336.68	c 1336s |      26 |  9483977 |  8562152 |      870  23814 |        0 |        0
1338.12/1338.69	c 1338s |      26 |  9496417 |  8573552 |      870  23838 |        0 |        0
1340.22/1340.71	c 1340s |      26 |  9509149 |  8585252 |      870  23864 |        0 |        0
1342.22/1342.72	c 1342s |      26 |  9522085 |  8596852 |      870  23889 |        0 |        0
1344.22/1344.73	c 1344s |      26 |  9534740 |  8608352 |      870  23913 |        0 |        0
1346.22/1346.74	c 1346s |      26 |  9546339 |  8618852 |      870  23936 |        0 |        0
1348.23/1348.76	c 1348s |      26 |  9557858 |  8629452 |      870  23959 |        0 |        0
1350.22/1350.78	c 1350s |      26 |  9569829 |  8640452 |      870  23982 |        0 |        0
1352.22/1352.78	c 1352s |      26 |  9580961 |  8650652 |      870  24004 |        0 |        0
1354.21/1354.78	c 1354s |      26 |  9591933 |  8660652 |      870  24026 |        0 |        0
1356.31/1356.80	c 1356s |      26 |  9602409 |  8670352 |      870  24047 |        0 |        0
1358.31/1358.81	c 1358s |      26 |  9612948 |  8680152 |      870  24068 |        0 |        0
1360.32/1360.82	c 1360s |      26 |  9624589 |  8691052 |      870  24091 |        0 |        0
1362.31/1362.84	c 1362s |      26 |  9636267 |  8701952 |      870  24114 |        0 |        0
1364.30/1364.84	c 1364s |      26 |  9647946 |  8712852 |      870  24138 |        0 |        0
1366.30/1366.84	c 1366s |      26 |  9659448 |  8723652 |      870  24161 |        0 |        0
1368.30/1368.85	c 1368s |      26 |  9671732 |  8735152 |      870  24185 |        0 |        0
1370.30/1370.86	c 1370s |      26 |  9684359 |  8746652 |      870  24210 |        0 |        0
1372.31/1372.86	c 1372s |      26 |  9696659 |  8757952 |      870  24234 |        0 |        0
1374.30/1374.88	c 1374s |      26 |  9709265 |  8769452 |      870  24258 |        0 |        0
1376.30/1376.89	c 1376s |      26 |  9721689 |  8780552 |      870  24282 |        0 |        0
1378.30/1378.89	c 1378s |      26 |  9734533 |  8792052 |      870  24307 |        0 |        0
1380.30/1380.90	c 1380s |      26 |  9746501 |  8803052 |      870  24330 |        0 |        0
1382.39/1382.90	c 1382s |      26 |  9759543 |  8814752 |      870  24355 |        0 |        0
1384.40/1384.92	c 1384s |      26 |  9771442 |  8825752 |      870  24378 |        0 |        0
1386.40/1386.92	c 1386s |      26 |  9783181 |  8836352 |      870  24401 |        0 |        0
1388.40/1388.94	c 1388s |      26 |  9794757 |  8846952 |      870  24424 |        0 |        0
1390.40/1390.95	c 1390s |      26 |  9806437 |  8857552 |      870  24446 |        0 |        0
1392.40/1392.96	c 1392s |      26 |  9817196 |  8867352 |      870  24467 |        0 |        0
1394.41/1394.98	c 1394s |      26 |  9828030 |  8877352 |      870  24489 |        0 |        0
1396.40/1396.99	c 1396s |      26 |  9838958 |  8887452 |      870  24510 |        0 |        0
1398.40/1398.99	c 1398s |      26 |  9849992 |  8897852 |      870  24532 |        0 |        0
1400.50/1401.00	c 1400s |      26 |  9862029 |  8909052 |      870  24556 |        0 |        0
1402.50/1403.01	c 1403s |      26 |  9875097 |  8921052 |      870  24582 |        0 |        0
1404.50/1405.03	c 1405s |      26 |  9888630 |  8933252 |      870  24608 |        0 |        0
1406.51/1407.04	c 1407s |      26 |  9901715 |  8945152 |      870  24634 |        0 |        0
1408.50/1409.04	c 1409s |      26 |  9915224 |  8957352 |      870  24660 |        0 |        0
1410.50/1411.04	c 1411s |      26 |  9929264 |  8969952 |      870  24687 |        0 |        0
1412.50/1413.06	c 1413s |      26 |  9943258 |  8982752 |      870  24715 |        0 |        0
1414.50/1415.06	c 1415s |      26 |  9955929 |  8994452 |      870  24740 |        0 |        0
1416.50/1417.07	c 1417s |      26 |  9969426 |  9006552 |      870  24766 |        0 |        0
1418.50/1419.08	c 1419s |      26 |  9983391 |  9018952 |      870  24793 |        0 |        0
1420.50/1421.08	c 1421s |      26 |  9996099 |  9030552 |      870  24818 |        0 |        0
1422.49/1423.09	c 1423s |      26 | 10008586 |  9041952 |      870  24843 |        0 |        0
1424.59/1425.10	c 1425s |      26 | 10021640 |  9053752 |      870  24868 |        0 |        0
1426.59/1427.11	c 1427s |      26 | 10035233 |  9065852 |      870  24895 |        0 |        0
1428.59/1429.13	c 1429s |      26 | 10048117 |  9077552 |      870  24920 |        0 |        0
1430.60/1431.13	c 1431s |      26 | 10059775 |  9088352 |      870  24943 |        0 |        0
1432.59/1433.14	c 1433s |      26 | 10071943 |  9099652 |      870  24967 |        0 |        0
1434.59/1435.15	c 1435s |      26 | 10083709 |  9110552 |      870  24991 |        0 |        0
1436.59/1437.17	c 1437s |      26 | 10095415 |  9121352 |      870  25014 |        0 |        0
1438.59/1439.17	c 1439s |      26 | 10107602 |  9132352 |      870  25038 |        0 |        0
1440.60/1441.18	c 1441s |      26 | 10119926 |  9143252 |      870  25061 |        0 |        0
1442.59/1443.18	c 1443s |      26 | 10132704 |  9154752 |      870  25086 |        0 |        0
1444.59/1445.19	c 1445s |      26 | 10146282 |  9167052 |      870  25112 |        0 |        0
1446.69/1447.20	c 1447s |      26 | 10159180 |  9178952 |      870  25138 |        0 |        0
1448.69/1449.22	c 1449s |      26 | 10172198 |  9190752 |      870  25163 |        0 |        0
1450.69/1451.23	c 1451s |      26 | 10183903 |  9201652 |      870  25186 |        0 |        0
1452.70/1453.23	c 1453s |      26 | 10196741 |  9213252 |      870  25211 |        0 |        0
1454.69/1455.24	c 1455s |      26 | 10209642 |  9225052 |      870  25237 |        0 |        0
1456.69/1457.25	c 1457s |      26 | 10222671 |  9236852 |      870  25262 |        0 |        0
1458.69/1459.26	c 1459s |      26 | 10235535 |  9248552 |      870  25287 |        0 |        0
1460.69/1461.26	c 1461s |      26 | 10248258 |  9260252 |      870  25312 |        0 |        0
1462.68/1463.27	c 1463s |      26 | 10260689 |  9271652 |      870  25337 |        0 |        0
1464.69/1465.29	c 1465s |      26 | 10273658 |  9283452 |      870  25362 |        0 |        0
1466.78/1467.30	c 1467s |      26 | 10286728 |  9295552 |      870  25388 |        0 |        0
1468.78/1469.31	c 1469s |      26 | 10299598 |  9307252 |      870  25413 |        0 |        0
1470.78/1471.33	c 1471s |      26 | 10311323 |  9318052 |      870  25436 |        0 |        0
1472.78/1473.33	c 1473s |      26 | 10322754 |  9328752 |      870  25459 |        0 |        0
1474.78/1475.34	c 1475s |      26 | 10333668 |  9339052 |      870  25481 |        0 |        0
1476.79/1477.35	c 1477s |      26 | 10344191 |  9348952 |      870  25502 |        0 |        0
1478.78/1479.37	c 1479s |      26 | 10355206 |  9359252 |      870  25524 |        0 |        0
1480.78/1481.38	c 1481s |      26 | 10366483 |  9369852 |      870  25546 |        0 |        0
1482.88/1483.40	c 1483s |      26 | 10378516 |  9380752 |      870  25569 |        0 |        0
1484.88/1485.40	c 1485s |      26 | 10390316 |  9391552 |      870  25593 |        0 |        0
1486.89/1487.42	c 1487s |      26 | 10402966 |  9403052 |      870  25617 |        0 |        0
1488.89/1489.42	c 1489s |      26 | 10415386 |  9414552 |      870  25642 |        0 |        0
1490.89/1491.43	c 1491s |      26 | 10427221 |  9425552 |      870  25666 |        0 |        0
1492.89/1493.44	c 1493s |      26 | 10440261 |  9437452 |      870  25691 |        0 |        0
1494.89/1495.46	c 1495s |      26 | 10453821 |  9449752 |      870  25717 |        0 |        0
1496.89/1497.47	c 1497s |      26 | 10466562 |  9461452 |      870  25743 |        0 |        0
1498.89/1499.48	c 1499s |      26 | 10479596 |  9473452 |      870  25768 |        0 |        0
1500.89/1501.49	c 1501s |      26 | 10492875 |  9485652 |      870  25795 |        0 |        0
1502.89/1503.49	c 1503s |      26 | 10506005 |  9497252 |      870  25820 |        0 |        0
1504.99/1505.50	c 1505s |      26 | 10518888 |  9508852 |      870  25845 |        0 |        0
1506.99/1507.51	c 1507s |      26 | 10532632 |  9520952 |      870  25871 |        0 |        0
1508.98/1509.52	c 1509s |      26 | 10545503 |  9532652 |      870  25896 |        0 |        0
1510.99/1511.52	c 1511s |      26 | 10558627 |  9544452 |      870  25921 |        0 |        0
1512.98/1513.53	c 1513s |      26 | 10571088 |  9556052 |      870  25946 |        0 |        0
1514.98/1515.54	c 1515s |      26 | 10583591 |  9567652 |      870  25971 |        0 |        0
1516.98/1517.55	c 1517s |      26 | 10596065 |  9579152 |      870  25996 |        0 |        0
1518.98/1519.56	c 1519s |      26 | 10608203 |  9590152 |      870  26019 |        0 |        0
1520.98/1521.58	c 1521s |      26 | 10620646 |  9601452 |      870  26044 |        0 |        0
1522.98/1523.59	c 1523s |      26 | 10633011 |  9612652 |      870  26068 |        0 |        0
1525.08/1525.60	c 1525s |      26 | 10645943 |  9624252 |      870  26092 |        0 |        0
1527.08/1527.62	c 1527s |      26 | 10657288 |  9634852 |      870  26115 |        0 |        0
1529.08/1529.64	c 1529s |      26 | 10668060 |  9644752 |      870  26136 |        0 |        0
1531.08/1531.65	c 1531s |      26 | 10679449 |  9655452 |      870  26159 |        0 |        0
1533.08/1533.67	c 1533s |      26 | 10691003 |  9666252 |      870  26183 |        0 |        0
1535.08/1535.69	c 1535s |      26 | 10702472 |  9676852 |      870  26205 |        0 |        0
1537.07/1537.69	c 1537s |      26 | 10713746 |  9687352 |      870  26228 |        0 |        0
1539.07/1539.69	c 1539s |      26 | 10725826 |  9698352 |      870  26251 |        0 |        0
1541.07/1541.69	c 1541s |      26 | 10738242 |  9709652 |      870  26276 |        0 |        0
1543.17/1543.70	c 1543s |      26 | 10751981 |  9721752 |      870  26302 |        0 |        0
1545.17/1545.71	c 1545s |      26 | 10764717 |  9733352 |      870  26326 |        0 |        0
1547.18/1547.72	c 1547s |      26 | 10776785 |  9744652 |      870  26351 |        0 |        0
1549.17/1549.74	c 1549s |      26 | 10789262 |  9756152 |      870  26375 |        0 |        0
1551.17/1551.74	c 1551s |      26 | 10801248 |  9767252 |      870  26399 |        0 |        0
1553.17/1553.74	c 1553s |      26 | 10813910 |  9778852 |      870  26424 |        0 |        0
1555.17/1555.75	c 1555s |      26 | 10826599 |  9790552 |      870  26449 |        0 |        0
1557.18/1557.76	c 1557s |      26 | 10839504 |  9802452 |      870  26474 |        0 |        0
1559.17/1559.76	c 1559s |      26 | 10852438 |  9814352 |      870  26500 |        0 |        0
1561.17/1561.78	c 1561s |      26 | 10865159 |  9826152 |      870  26525 |        0 |        0
1563.17/1563.79	c 1563s |      26 | 10877852 |  9837952 |      870  26551 |        0 |        0
1565.17/1565.79	c 1565s |      26 | 10890510 |  9849752 |      870  26576 |        0 |        0
1567.27/1567.80	c 1567s |      26 | 10902735 |  9861252 |      870  26600 |        0 |        0
1569.28/1569.81	c 1569s |      26 | 10915560 |  9872952 |      870  26626 |        0 |        0
1571.27/1571.82	c 1571s |      26 | 10928438 |  9884752 |      870  26651 |        0 |        0
1573.27/1573.83	c 1573s |      26 | 10942103 |  9897152 |      870  26678 |        0 |        0
1575.27/1575.84	c 1575s |      26 | 10955648 |  9909552 |      870  26704 |        0 |        0
1577.27/1577.85	c 1577s |      26 | 10968572 |  9921552 |      870  26730 |        0 |        0
1579.27/1579.86	c 1579s |      26 | 10981771 |  9933752 |      870  26756 |        0 |        0
1581.28/1581.86	c 1581s |      26 | 10993540 |  9944852 |      870  26780 |        0 |        0
1583.27/1583.88	c 1583s |      26 | 11006537 |  9956952 |      870  26806 |        0 |        0
1585.27/1585.89	c 1585s |      26 | 11019860 |  9969052 |      870  26832 |        0 |        0
1587.27/1587.89	c 1587s |      26 | 11032724 |  9980952 |      870  26857 |        0 |        0
1589.37/1589.90	c 1589s |      26 | 11046626 |  9993452 |      870  26884 |        0 |        0
1591.37/1591.90	c 1591s |      26 | 11059715 | 10005552 |      870  26910 |        0 |        0
1593.37/1593.91	c 1593s |      26 | 11073375 | 10018052 |      870  26937 |        0 |        0
1595.37/1595.92	c 1595s |      26 | 11086093 | 10029852 |      870  26962 |        0 |        0
1597.37/1597.92	c 1597s |      26 | 11098544 | 10041352 |      870  26987 |        0 |        0
1599.37/1599.94	c 1599s |      26 | 11110048 | 10052052 |      870  27009 |        0 |        0
1601.37/1601.94	c 1601s |      26 | 11122339 | 10063452 |      870  27034 |        0 |        0
1603.37/1603.94	c 1603s |      26 | 11134246 | 10074552 |      870  27057 |        0 |        0
1605.37/1605.95	c 1605s |      26 | 11145940 | 10085352 |      870  27080 |        0 |        0
1607.37/1607.96	c 1607s |      26 | 11156630 | 10095452 |      870  27102 |        0 |        0
1609.37/1609.96	c 1609s |      26 | 11167589 | 10105652 |      870  27124 |        0 |        0
1611.37/1611.97	c 1611s |      26 | 11177780 | 10115252 |      870  27144 |        0 |        0
1613.36/1613.97	c 1613s |      26 | 11188142 | 10125052 |      870  27165 |        0 |        0
1615.37/1615.98	c 1615s |      26 | 11197760 | 10134052 |      870  27185 |        0 |        0
1617.36/1617.99	c 1617s |      26 | 11208658 | 10144252 |      870  27206 |        0 |        0
1619.36/1619.99	c 1619s |      26 | 11218731 | 10153652 |      870  27226 |        0 |        0
1621.36/1621.99	c 1621s |      26 | 11229768 | 10163852 |      870  27248 |        0 |        0
1623.36/1623.99	c 1623s |      26 | 11240005 | 10173552 |      870  27269 |        0 |        0
1625.46/1626.01	c 1626s |      26 | 11250967 | 10183752 |      870  27291 |        0 |        0
1627.47/1628.03	c 1628s |      26 | 11261509 | 10193652 |      870  27312 |        0 |        0
1629.46/1630.03	c 1630s |      26 | 11272456 | 10203852 |      870  27333 |        0 |        0
1631.46/1632.03	c 1632s |      26 | 11282738 | 10213552 |      870  27354 |        0 |        0
1633.46/1634.04	c 1634s |      26 | 11293103 | 10223252 |      870  27375 |        0 |        0
1635.46/1636.05	c 1636s |      26 | 11304094 | 10233452 |      870  27396 |        0 |        0
1637.47/1638.05	c 1638s |      26 | 11315593 | 10244152 |      870  27419 |        0 |        0
1639.46/1640.06	c 1640s |      26 | 11327000 | 10254652 |      870  27441 |        0 |        0
1641.46/1642.06	c 1642s |      26 | 11338042 | 10264852 |      870  27463 |        0 |        0
1643.46/1644.08	c 1644s |      26 | 11349366 | 10275352 |      870  27486 |        0 |        0
1645.46/1646.08	c 1646s |      26 | 11362020 | 10286952 |      870  27510 |        0 |        0
1647.56/1648.10	c 1648s |      26 | 11374681 | 10298652 |      870  27535 |        0 |        0
1649.56/1650.11	c 1650s |      26 | 11387544 | 10310052 |      870  27560 |        0 |        0
1651.56/1652.11	c 1652s |      26 | 11400726 | 10321852 |      870  27585 |        0 |        0
1653.55/1654.12	c 1654s |      26 | 11414170 | 10333652 |      870  27611 |        0 |        0
1655.55/1656.13	c 1656s |      26 | 11426505 | 10344852 |      870  27635 |        0 |        0
1657.55/1658.13	c 1658s |      26 | 11438582 | 10356052 |      870  27659 |        0 |        0
1659.56/1660.13	c 1660s |      26 | 11450033 | 10366752 |      870  27682 |        0 |        0
1661.57/1662.15	c 1662s |      26 | 11461840 | 10377652 |      870  27705 |        0 |        0
1663.56/1664.15	c 1664s |      26 | 11474466 | 10389252 |      870  27730 |        0 |        0
1665.56/1666.16	c 1666s |      26 | 11487132 | 10400852 |      870  27755 |        0 |        0
1667.56/1668.17	c 1668s |      26 | 11499531 | 10412052 |      870  27779 |        0 |        0
1669.56/1670.18	c 1670s |      26 | 11511302 | 10422852 |      870  27802 |        0 |        0
1671.56/1672.19	c 1672s |      26 | 11523197 | 10433852 |      870  27826 |        0 |        0
1673.66/1674.21	c 1674s |      26 | 11534134 | 10444052 |      870  27848 |        0 |        0
1675.66/1676.22	c 1676s |      26 | 11545500 | 10454652 |      870  27870 |        0 |        0
1677.66/1678.25	c 1678s |      26 | 11556213 | 10464552 |      870  27892 |        0 |        0
1679.66/1680.25	c 1680s |      26 | 11566554 | 10474152 |      870  27912 |        0 |        0
1681.66/1682.28	c 1682s |      26 | 11576632 | 10483552 |      870  27933 |        0 |        0
1683.75/1684.30	c 1684s |      26 | 11587491 | 10493352 |      870  27954 |        0 |        0
1685.76/1686.31	c 1686s |      26 | 11598121 | 10503152 |      870  27975 |        0 |        0
1687.75/1688.32	c 1688s |      26 | 11608330 | 10512652 |      870  27995 |        0 |        0
1689.75/1690.32	c 1690s |      26 | 11620332 | 10523652 |      870  28018 |        0 |        0
1691.75/1692.33	c 1692s |      26 | 11632371 | 10534652 |      870  28042 |        0 |        0
1693.75/1694.33	c 1694s |      26 | 11643892 | 10545252 |      870  28064 |        0 |        0
1695.76/1696.34	c 1696s |      26 | 11655156 | 10555752 |      870  28087 |        0 |        0
1697.75/1698.35	c 1698s |      26 | 11666788 | 10566652 |      870  28110 |        0 |        0
1699.75/1700.35	c 1700s |      26 | 11679607 | 10578352 |      870  28135 |        0 |        0
1701.75/1702.36	c 1702s |      26 | 11692386 | 10590052 |      870  28161 |        0 |        0
1703.75/1704.38	c 1704s |      26 | 11704908 | 10601652 |      870  28186 |        0 |        0
1705.85/1706.40	c 1706s |      26 | 11717012 | 10612852 |      870  28210 |        0 |        0
1707.86/1708.42	c 1708s |      26 | 11728871 | 10623952 |      870  28233 |        0 |        0
1709.85/1710.43	c 1710s |      26 | 11740260 | 10634652 |      870  28256 |        0 |        0
1711.85/1712.44	c 1712s |      26 | 11752789 | 10646152 |      870  28281 |        0 |        0
1713.85/1714.46	c 1714s |      26 | 11765448 | 10657752 |      870  28306 |        0 |        0
1715.85/1716.47	c 1716s |      26 | 11777818 | 10669252 |      870  28331 |        0 |        0
1717.85/1718.47	c 1718s |      26 | 11789382 | 10680152 |      870  28354 |        0 |        0
1719.85/1720.48	c 1720s |      26 | 11800795 | 10690752 |      870  28377 |        0 |        0
1721.84/1722.49	c 1722s |      26 | 11813044 | 10702052 |      870  28401 |        0 |        0
1723.94/1724.51	c 1724s |      26 | 11825537 | 10713552 |      870  28426 |        0 |        0
1725.94/1726.51	c 1726s |      26 | 11837984 | 10724952 |      870  28450 |        0 |        0
1727.95/1728.52	c 1728s |      26 | 11849428 | 10735552 |      870  28473 |        0 |        0
1729.95/1730.54	c 1730s |      26 | 11861057 | 10746452 |      870  28496 |        0 |        0
1731.96/1732.54	c 1732s |      26 | 11873045 | 10757452 |      870  28520 |        0 |        0
1733.95/1734.56	c 1734s |      26 | 11884924 | 10768452 |      870  28543 |        0 |        0
1735.95/1736.57	c 1736s |      26 | 11896708 | 10779352 |      870  28567 |        0 |        0
1737.95/1738.59	c 1738s |      26 | 11909088 | 10790552 |      870  28591 |        0 |        0
1739.95/1740.59	c 1740s |      26 | 11921413 | 10801852 |      870  28615 |        0 |        0
1742.05/1742.60	c 1742s |      26 | 11933328 | 10812952 |      870  28639 |        0 |        0
1744.05/1744.61	c 1744s |      26 | 11944886 | 10823852 |      870  28662 |        0 |        0
1746.05/1746.62	c 1746s |      26 | 11959080 | 10836352 |      870  28689 |        0 |        0
1748.05/1748.64	c 1748s |      26 | 11972951 | 10848552 |      870  28715 |        0 |        0
1750.05/1750.66	c 1750s |      26 | 11986047 | 10860552 |      870  28740 |        0 |        0
1752.05/1752.66	c 1752s |      26 | 11999550 | 10872652 |      870  28767 |        0 |        0
1754.05/1754.67	c 1754s |      26 | 12012885 | 10884652 |      870  28792 |        0 |        0
1756.04/1756.67	c 1756s |      26 | 12025370 | 10896152 |      870  28817 |        0 |        0
1758.04/1758.68	c 1758s |      26 | 12037747 | 10907652 |      870  28842 |        0 |        0
1760.14/1760.70	c 1760s |      26 | 12050640 | 10919252 |      870  28867 |        0 |        0
1762.14/1762.70	c 1762s |      26 | 12064157 | 10931252 |      870  28893 |        0 |        0
1764.14/1764.71	c 1764s |      26 | 12077039 | 10942752 |      870  28917 |        0 |        0
1766.15/1766.72	c 1766s |      26 | 12089098 | 10953952 |      870  28941 |        0 |        0
1768.14/1768.72	c 1768s |      26 | 12101747 | 10965552 |      870  28966 |        0 |        0
1770.14/1770.73	c 1770s |      26 | 12114368 | 10977252 |      870  28991 |        0 |        0
1772.14/1772.73	c 1772s |      26 | 12126351 | 10988452 |      870  29015 |        0 |        0
1774.14/1774.73	c 1774s |      26 | 12138366 | 10999552 |      870  29039 |        0 |        0
1776.14/1776.75	c 1776s |      26 | 12150619 | 11010952 |      870  29063 |        0 |        0
1778.15/1778.76	c 1778s |      26 | 12163278 | 11022652 |      870  29089 |        0 |        0
1780.14/1780.76	c 1780s |      26 | 12175845 | 11034252 |      870  29113 |        0 |        0
1782.14/1782.77	c 1782s |      26 | 12188544 | 11045852 |      870  29138 |        0 |        0
1784.13/1784.79	c 1784s |      26 | 12200346 | 11056752 |      870  29162 |        0 |        0
1786.13/1786.79	c 1786s |      26 | 12213419 | 11068452 |      870  29187 |        0 |        0
1788.23/1788.80	c 1788s |      26 | 12226722 | 11080452 |      870  29213 |        0 |        0
1790.13/1790.80	c 1790s |      26 | 12240653 | 11092752 |      870  29239 |        0 |        0
1792.23/1792.82	c 1792s |      26 | 12253841 | 11104752 |      870  29265 |        0 |        0
1794.24/1794.82	c 1794s |      26 | 12266981 | 11116652 |      870  29291 |        0 |        0
1796.24/1796.84	c 1796s |      26 | 12280395 | 11128852 |      870  29317 |        0 |        0
1798.24/1798.85	c 1798s |      26 | 12293066 | 11140652 |      870  29342 |        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-4089862-1466034602/watcher-4089862-1466034602 -o /tmp/evaluation-result-4089862-1466034602/solver-4089862-1466034602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089862-1466034602.opb 

pid=8805
running on 4 cores: 1,3,5,7

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.34 2.32 2.27 3/180 8808
/proc/meminfo: memFree=29441012/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 2941 0 0 0 0 0 0 0 20 0 4 0 5506692 803663872 3302 33554432000 4194304 16246674 140736455116336 140736455115760 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 196975 3311 441 2943 0 193869 0
[pid=8808/tid=8809] ppid=8805 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 821489664 3370 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=807356 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 826732544 3388 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=811452 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 830926848 3406 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.34 2.32 2.27 3/180 8808
/proc/meminfo: memFree=29441012/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 28103 0 0 0 5 4 0 0 20 0 4 0 5506692 1247350784 28454 33554432000 4194304 16246674 140736455116336 140736455115760 5667979 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 304529 28465 715 2943 0 301423 0
[pid=8808/tid=8809] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 28477 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 28485 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 28489 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200534 s]
/proc/loadavg: 2.34 2.32 2.27 3/180 8808
/proc/meminfo: memFree=29441012/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 55230 0 0 0 9 9 0 0 20 0 4 0 5506692 1247350784 55580 33554432000 4194304 16246674 140736455116336 140736455115760 5723366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 304529 55595 715 2943 0 301423 0
[pid=8808/tid=8809] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 55602 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 55606 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 55613 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.34 2.32 2.27 3/180 8808
/proc/meminfo: memFree=29441012/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 82842 0 0 0 16 13 0 0 20 0 4 0 5506692 1247350784 83193 33554432000 4194304 16246674 140736455116336 140736455115760 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 304529 83208 715 2943 0 301423 0
[pid=8808/tid=8809] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 83214 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 83220 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 83226 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70042 s]
/proc/loadavg: 2.34 2.32 2.27 3/180 8808
/proc/meminfo: memFree=29441012/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 192590 0 0 0 41 28 0 0 20 0 4 0 5506692 1247350784 192940 33554432000 4194304 16246674 140736455116336 140736455115760 5708022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 304529 192956 715 2943 0 301423 0
[pid=8808/tid=8809] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 192962 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 192967 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1247350784 192974 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.34 2.32 2.27 3/184 8812
/proc/meminfo: memFree=28458472/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=1.48 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 262716 0 0 0 111 37 0 0 20 0 4 0 5506692 1337528320 263046 33554432000 4194304 16246674 140736455116336 140736455115648 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 263057 789 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 263065 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 263078 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 263090 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1306180

[startup+3.10042 s]
/proc/loadavg: 2.34 2.32 2.27 3/184 8812
/proc/meminfo: memFree=28370432/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 267400 0 0 0 271 38 0 0 20 0 4 0 5506692 1337528320 267730 33554432000 4194304 16246674 140736455116336 140736455098240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 267730 789 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267730 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267730 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267730 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.32 2.32 2.27 3/184 8812
/proc/meminfo: memFree=28370708/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 267413 0 0 0 591 38 0 0 20 0 4 0 5506692 1337528320 267743 33554432000 4194304 16246674 140736455116336 140736455099336 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 267743 789 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267743 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267743 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267743 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.29 2.31 2.27 3/184 8812
/proc/meminfo: memFree=28370980/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 267416 0 0 0 1230 39 0 0 20 0 4 0 5506692 1337528320 267746 33554432000 4194304 16246674 140736455116336 140736455098240 5546093 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 267746 789 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267746 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267746 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267746 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.29 2.31 2.27 3/184 8812
/proc/meminfo: memFree=28372112/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 267427 0 0 0 2510 39 0 0 20 0 4 0 5506692 1337528320 267757 33554432000 4194304 16246674 140736455116336 140736455099336 6009745 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 267757 792 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267757 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267757 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267757 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.32 2.32 2.27 3/184 8812
/proc/meminfo: memFree=28372364/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 267428 0 0 0 5069 39 0 0 20 0 4 0 5506692 1337528320 267758 33554432000 4194304 16246674 140736455116336 140736455099336 6043835 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 267758 793 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267758 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267758 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267758 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.28 2.31 2.27 3/183 8813
/proc/meminfo: memFree=28371672/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 267445 0 0 0 10187 41 0 0 20 0 4 0 5506692 1337528320 267775 33554432000 4194304 16246674 140736455116336 140736455098240 5827653 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 267775 793 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267775 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267775 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 267775 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268138 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1306180

[startup+1302.3 s]
/proc/loadavg: 2.27 2.30 2.27 4/183 8866
/proc/meminfo: memFree=28365004/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=1301.85 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 267968 0 0 0 130121 64 0 0 20 0 4 0 5506692 1337528320 268141 33554432000 4194304 16246674 140736455116336 140736455098240 6012131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 268141 795 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268141 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268141 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268141 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.27 2.28 2.27 3/182 8867
/proc/meminfo: memFree=28364924/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=1361.81 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 268031 0 0 0 136116 65 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140736455099336 5823367 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 268160 795 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.25 2.28 2.27 3/183 8869
/proc/meminfo: memFree=28365596/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=1421.8 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 268041 0 0 0 142114 66 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140736455098240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 268160 795 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 2.16 2.25 2.26 4/183 8870
/proc/meminfo: memFree=28365984/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=1481.78 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 268041 0 0 0 148112 66 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140736455098240 5662156 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 268160 795 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1306180

[startup+1542.31 s]
/proc/loadavg: 2.21 2.26 2.26 3/183 8871
/proc/meminfo: memFree=28365616/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1306180 CPUtime=1541.78 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 268041 0 0 0 154111 67 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140736455098240 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326545 268160 795 2943 0 323439 0
[pid=8808/tid=8809] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1337528320 268160 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 2.19 2.25 2.26 3/183 8872
/proc/meminfo: memFree=28365384/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1307204 CPUtime=1601.77 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 268053 0 0 0 160109 68 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140736455098240 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326801 268172 795 2943 0 323695 0
[pid=8808/tid=8809] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.18 2.24 2.26 4/183 8921
/proc/meminfo: memFree=28369200/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1307204 CPUtime=1661.76 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 268053 0 0 0 166107 69 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140736455098240 13809229 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326801 268172 795 2943 0 323695 0
[pid=8808/tid=8809] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.33 2.27 2.26 3/183 8923
/proc/meminfo: memFree=28369120/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1307204 CPUtime=1721.74 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 268053 0 0 0 172105 69 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140736455098240 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326801 268172 795 2943 0 323695 0
[pid=8808/tid=8809] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268172 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.28 2.26 2.26 3/183 8972
/proc/meminfo: memFree=28367588/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1307204 CPUtime=1781.74 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 268055 0 0 0 178104 70 0 0 20 0 4 0 5506692 1338576896 268174 33554432000 4194304 16246674 140736455116336 140736455098240 5661355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326801 268174 795 2943 0 323695 0
[pid=8808/tid=8809] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268174 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268174 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268174 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.34 2.27 2.27 4/184 8976
/proc/meminfo: memFree=28367300/32872528 swapFree=1369816/1516984
[pid=8808] ppid=8805 vsize=1307204 CPUtime=1800.04 cores=1,3,5,7
/proc/8808/stat : 8808 (toysat) R 8805 8808 5822 0 -1 4202496 268055 0 0 0 179933 71 0 0 20 0 4 0 5506692 1338576896 268174 33554432000 4194304 16246674 140736455116336 140736455098240 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8808/statm: 326801 268174 795 2943 0 323695 0
[pid=8808/tid=8809] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8809/stat : 8809 (toysat) S 8805 8808 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268174 33554432000 4194304 16246674 140736455116336 140463613914352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8808/tid=8810] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8810/stat : 8810 (toysat) S 8805 8808 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268174 33554432000 4194304 16246674 140736455116336 140463603424496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8808/tid=8811] ppid=8805 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8808/task/8811/stat : 8811 (toysat) S 8805 8808 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5506692 1338576896 268174 33554432000 4194304 16246674 140736455116336 140463482858672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.34
CPU system time (s): 0.710891
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.710891
maximum resident set size= 1072696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268055
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= 482
involuntary context switches= 1954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79012 second user time and 7.2499 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-16 01:50:02
IDJOB=4089862
IDBENCH=107467
IDSOLVER=2542
FILE ID=node129/4089862-1466034602
RUNJOBID= node129-1466013843-5839
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/rand6reg/normalized-rand6reg-v041-n3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089862-1466034602/watcher-4089862-1466034602 -o /tmp/evaluation-result-4089862-1466034602/solver-4089862-1466034602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089862-1466034602.opb

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

MD5SUM BENCH= a47cb68ddc38ac1ee25ce2b7f399d62c
RANDOM SEED=2099536651

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29441540 kB
Buffers:           36264 kB
Cached:            79908 kB
SwapCached:        20164 kB
Active:          1138348 kB
Inactive:          72564 kB
Active(anon):    1076896 kB
Inactive(anon):    20108 kB
Active(file):      61452 kB
Inactive(file):    52456 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081544 kB
Dirty:             16396 kB
Writeback:             0 kB
AnonPages:       2592892 kB
Mapped:            10308 kB
Shmem:                 0 kB
Slab:             567584 kB
SReclaimable:      11500 kB
SUnreclaim:       556084 kB
KernelStack:        1512 kB
PageTables:         9384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2734148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71704 MiB
End job on node129 at 2016-06-16 02:20:03