Trace number 4079755

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.03 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM0263d0a7c5e3320bd7cce9534c14bf27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T22:38:56+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-4079755-1465245536.opb"]
0.00/0.01	c use --random-gen="1550271477 2007823993 1963644914 2167907203 1389677884 796427074 3114175687 1324487429 4017172388 3527541233 3100949356 1449481443 2835549728 3418189151 3323428051 1375482882 1359357019 2120185194 3900332026 205539177 2418075736 818671584 2009083714 2432758907 2956287318 2952869530 2362255812 1394925369 453459284 1284092854 3920740901 4150860427 1088005074 812419712 1426062462 2813787396 1498884489 2854420507 3187836414 448460381 834972963 168892073 1169624946 637623415 1185493629 1737519335 952489108 2877230497 14235244 1016582354 158990976 3207078869 2497281959 428810887 1179519208 4183460740 2508324317 1190013235 2598499400 2797403880 2920934431 1626760051 3847383823 4120867069 3456507701 4149986436 2379077531 3027594668 3515035371 2922047435 865551508 3290704961 458132754 421684956 3264519856 3914227545 1720317338 2067392054 909546834 2839162506 2905946636 2973613482 1129962923 1569592873 4148051807 3338411813 3217272521 2628689543 578991796 4276933771 3401592868 943671849 2432811822 3786742476 1970752121 1506414336 2707183032 1774867917 262411332 820527064 1908502429 2142635666 937220780 455008358 1117267272 1425043457 244856431 1026774668 919520028 3506015750 3287367724 3512521428 4267681990 3824465112 1177694729 884405038 3873175823 1536982454 2667803467 2454926334 874423936 3483979654 1508044408 2485613399 2029754232 156596522 655289561 2181518804 1904393320 1614121353 384225084 556548631 3665765819 2616769733 1994366669 2617487101 3839101618 887410519 2221221775 1986073669 450190006 3659382512 1613235363 1042576066 1030909401 2424140027 1012337199 980541548 196426899 151709507 3491325906 2218155302 2137393391 1591356446 3927267052 2736387896 3818868528 1390411396 1709640027 3001527440 3283270844 338850853 3991436153 4056815804 146632725 1042514371 230812610 2436444064 1512415913 674873264 1219918489 1512540898 3444524810 2788969142 1456288905 3492188503 743749625 2361485370 3697821894 3580578586 3937441226 4022843672 3268540602 3972026183 2709842884 81534205 3210383189 3758678388 628668634 1746585961 1344491227 708387184 2844152939 3899389224 624896404 3207108088 1445475063 1781983373 4180888897 60859231 1640535986 3400497637 2839287688 3312264944 178034498 1577767064 61530978 940861820 531253565 120236017 1007647792 2241494972 970182812 1581533573 806713851 1710409978 1434007506 1742169234 871452290 1366524399 1681748086 3648164150 3785858411 1734515515 3484893201 1744708405 1243555468 3864336690 4133333372 335041937 3189988085 709447059 4022209835 1072467029 1612288141 285356412 1230115813 787985266 3633288858 2741822091 1180102114 2612946300 1279427529 924114448 1760191473 784320799 2874504456 873783733 2862216444 1685129922 4007602433 2564144568 2173115826 3785474807 133825335 2440732520 255 362436" option to reproduce the execution
0.00/0.01	c #vars 198
0.00/0.01	c #constraints 16
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       71      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       83 |        0 |       71      0 |        0 |        0
0.00/0.02	c #cpu_time = 0.001s
0.00/0.02	c #wall_clock_time = 0.001s
0.00/0.02	c #decision = 83
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	o 2832
0.00/0.02	c BCD2: updating upper bound: 4080 -> 2831
0.00/0.02	c BCD2: 0 <= obj <= 2831
0.00/0.02	c BCD2: #cores=0, #unrelaxed=128, #relaxed=0, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       71      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      260 |      100 |       71      0 |        0 |        0
0.08/0.11	c  0.1s |       2 |      575 |      250 |       79      1 |        0 |        0
0.19/0.21	c  0.2s |       3 |      981 |      475 |       87      4 |        0 |        0
0.29/0.34	c  0.3s |       4 |     1491 |      813 |       96      7 |        0 |        0
0.48/0.55	c  0.5s |       5 |     2168 |     1320 |      106     11 |        0 |        0
0.79/0.86	c  0.8s |       6 |     3104 |     2081 |      129     16 |        0 |        0
1.29/1.33	c  1.3s |       7 |     4445 |     3223 |      142     25 |        0 |        0
1.78/1.80	c  1.8s |       8 |     6369 |     4936 |      157     36 |        0 |        0
2.49/2.50	c  2.5s |       9 |     9159 |     7506 |      173     52 |        0 |        0
3.49/3.50	c  3.5s |      10 |    13307 |    11361 |      191     75 |        0 |        0
4.99/5.01	c  5.0s |      11 |    19378 |    17144 |      211    108 |        0 |        0
6.98/7.03	c  7.0s |      11 |    27390 |    24844 |      211    150 |        0 |        0
7.18/7.29	c  7.3s |      12 |    28379 |    25819 |      233    155 |        0 |        0
9.28/9.30	c  9.3s |      12 |    36225 |    33419 |      233    193 |        0 |        0
10.68/10.75	c 10.7s |      13 |    41726 |    38832 |      257    221 |        0 |        0
12.68/12.77	c 12.7s |      13 |    49558 |    46332 |      257    257 |        0 |        0
14.68/14.79	c 14.8s |      13 |    56949 |    53632 |      257    292 |        0 |        0
16.08/16.12	c 16.1s |      14 |    61733 |    58352 |      283    315 |        0 |        0
18.08/18.14	c 18.1s |      14 |    69438 |    65752 |      283    348 |        0 |        0
20.08/20.15	c 20.1s |      14 |    76830 |    73052 |      283    381 |        0 |        0
22.09/22.15	c 22.1s |      14 |    84311 |    80352 |      283    414 |        0 |        0
24.08/24.15	c 24.1s |      14 |    91644 |    87552 |      312    447 |        0 |        0
24.08/24.17	c 24.2s |      15 |    91725 |    87632 |      312    447 |        0 |        0
26.08/26.19	c 26.2s |      15 |    99292 |    94932 |      312    478 |        0 |        0
28.18/28.21	c 28.2s |      15 |   107097 |   102632 |      312    510 |        0 |        0
30.18/30.22	c 30.2s |      15 |   114791 |   110232 |      312    542 |        0 |        0
32.18/32.24	c 32.2s |      15 |   122367 |   117632 |      312    574 |        0 |        0
34.18/34.27	c 34.2s |      15 |   130035 |   125132 |      312    606 |        0 |        0
35.88/35.99	c 36.0s |      16 |   136613 |   131552 |      344    633 |        0 |        0
37.98/38.00	c 38.0s |      16 |   144599 |   139152 |      344    663 |        0 |        0
39.98/40.03	c 40.0s |      16 |   152153 |   146552 |      344    693 |        0 |        0
41.97/42.03	c 42.0s |      16 |   159152 |   153452 |      344    721 |        0 |        0
43.98/44.04	c 44.0s |      16 |   166395 |   160552 |      344    749 |        0 |        0
45.97/46.04	c 46.0s |      16 |   173299 |   167352 |      344    776 |        0 |        0
47.97/48.06	c 48.0s |      16 |   180627 |   174552 |      344    805 |        0 |        0
49.97/50.06	c 50.0s |      16 |   187780 |   181552 |      344    833 |        0 |        0
51.97/52.07	c 52.0s |      16 |   194589 |   188252 |      344    860 |        0 |        0
53.97/54.07	c 54.1s |      16 |   202407 |   195852 |      344    890 |        0 |        0
54.48/54.51	c 54.5s |      17 |   204038 |   197432 |      379    896 |        0 |        0
56.48/56.52	c 56.5s |      17 |   212041 |   205132 |      379    925 |        0 |        0
58.47/58.54	c 58.5s |      17 |   220012 |   212932 |      379    954 |        0 |        0
60.48/60.55	c 60.5s |      17 |   227736 |   220532 |      379    982 |        0 |        0
62.47/62.57	c 62.5s |      17 |   235576 |   228232 |      379   1011 |        0 |        0
64.47/64.57	c 64.5s |      17 |   242998 |   235532 |      379   1038 |        0 |        0
66.47/66.58	c 66.6s |      17 |   250664 |   243032 |      379   1066 |        0 |        0
68.47/68.59	c 68.6s |      17 |   258411 |   250632 |      379   1095 |        0 |        0
70.57/70.60	c 70.6s |      17 |   266179 |   258232 |      379   1124 |        0 |        0
72.57/72.61	c 72.6s |      17 |   274257 |   266132 |      379   1153 |        0 |        0
74.56/74.62	c 74.6s |      17 |   281852 |   273532 |      379   1181 |        0 |        0
76.56/76.64	c 76.6s |      17 |   289703 |   281232 |      379   1210 |        0 |        0
78.56/78.65	c 78.6s |      17 |   297522 |   288932 |      379   1239 |        0 |        0
80.56/80.61	c 80.6s |      18 |   304939 |   296252 |      417   1266 |        0 |        0
82.57/82.64	c 82.6s |      18 |   312757 |   303752 |      417   1292 |        0 |        0
84.56/84.65	c 84.6s |      18 |   320482 |   311252 |      417   1318 |        0 |        0
86.56/86.65	c 86.6s |      18 |   329065 |   319552 |      417   1347 |        0 |        0
88.56/88.68	c 88.7s |      18 |   337386 |   327652 |      417   1375 |        0 |        0
90.56/90.69	c 90.7s |      18 |   345276 |   335352 |      417   1402 |        0 |        0
92.56/92.69	c 92.7s |      18 |   352892 |   342852 |      417   1428 |        0 |        0
94.56/94.69	c 94.7s |      18 |   360549 |   350352 |      417   1454 |        0 |        0
96.65/96.71	c 96.7s |      18 |   368045 |   357752 |      417   1480 |        0 |        0
98.65/98.73	c 98.7s |      18 |   375390 |   364952 |      417   1505 |        0 |        0
100.65/100.75	c  100s |      18 |   382788 |   372252 |      417   1531 |        0 |        0
102.65/102.76	c  102s |      18 |   390602 |   379852 |      417   1557 |        0 |        0
104.65/104.78	c  104s |      18 |   398036 |   387152 |      417   1582 |        0 |        0
106.66/106.80	c  106s |      18 |   405108 |   394152 |      417   1607 |        0 |        0
108.75/108.80	c  108s |      18 |   412452 |   401352 |      417   1632 |        0 |        0
110.75/110.82	c  110s |      18 |   419715 |   408452 |      417   1657 |        0 |        0
112.75/112.84	c  112s |      18 |   426861 |   415452 |      417   1682 |        0 |        0
114.75/114.85	c  114s |      18 |   433977 |   422452 |      417   1706 |        0 |        0
116.75/116.87	c  116s |      18 |   441126 |   429452 |      417   1731 |        0 |        0
118.76/118.87	c  118s |      18 |   448586 |   436852 |      417   1757 |        0 |        0
120.75/120.88	c  120s |      18 |   455892 |   444052 |      459   1782 |        0 |        0
120.85/121.00	c  120s |      19 |   456334 |   444482 |      459   1783 |        0 |        0
122.95/123.01	c  122s |      19 |   463918 |   451782 |      459   1807 |        0 |        0
124.95/125.01	c  124s |      19 |   471322 |   459082 |      459   1830 |        0 |        0
126.95/127.03	c  127s |      19 |   478821 |   466482 |      459   1855 |        0 |        0
128.95/129.05	c  129s |      19 |   486344 |   473882 |      459   1879 |        0 |        0
130.95/131.07	c  131s |      19 |   494181 |   481582 |      459   1904 |        0 |        0
132.95/133.10	c  133s |      19 |   501917 |   489182 |      459   1928 |        0 |        0
135.05/135.11	c  135s |      19 |   509497 |   496582 |      459   1952 |        0 |        0
137.05/137.14	c  137s |      19 |   516965 |   503882 |      459   1976 |        0 |        0
139.04/139.14	c  139s |      19 |   524208 |   510982 |      459   2000 |        0 |        0
141.04/141.15	c  141s |      19 |   531611 |   518182 |      459   2023 |        0 |        0
143.05/143.16	c  143s |      19 |   538838 |   525182 |      459   2046 |        0 |        0
145.04/145.19	c  145s |      19 |   545875 |   532082 |      459   2068 |        0 |        0
147.04/147.19	c  147s |      19 |   552876 |   538982 |      459   2091 |        0 |        0
149.15/149.20	c  149s |      19 |   560100 |   546082 |      459   2114 |        0 |        0
151.15/151.22	c  151s |      19 |   566951 |   552882 |      459   2136 |        0 |        0
153.15/153.24	c  153s |      19 |   573919 |   559782 |      459   2159 |        0 |        0
155.16/155.25	c  155s |      19 |   581005 |   566782 |      459   2182 |        0 |        0
157.15/157.27	c  157s |      19 |   588096 |   573782 |      459   2205 |        0 |        0
159.15/159.28	c  159s |      19 |   595261 |   580782 |      459   2228 |        0 |        0
161.25/161.30	c  161s |      19 |   602604 |   587982 |      459   2252 |        0 |        0
163.24/163.30	c  163s |      19 |   609883 |   595182 |      459   2275 |        0 |        0
165.24/165.31	c  165s |      19 |   617808 |   602982 |      459   2300 |        0 |        0
167.25/167.33	c  167s |      19 |   625665 |   610682 |      459   2326 |        0 |        0
169.24/169.34	c  169s |      19 |   632887 |   617782 |      459   2349 |        0 |        0
171.24/171.35	c  171s |      19 |   640095 |   624882 |      459   2372 |        0 |        0
173.24/173.37	c  173s |      19 |   647155 |   631782 |      459   2394 |        0 |        0
175.24/175.38	c  175s |      19 |   654294 |   638782 |      459   2417 |        0 |        0
177.34/177.40	c  177s |      19 |   661472 |   645782 |      459   2440 |        0 |        0
179.34/179.41	c  179s |      19 |   668629 |   652782 |      459   2463 |        0 |        0
181.33/181.41	c  181s |      19 |   675593 |   659682 |      459   2486 |        0 |        0
183.33/183.43	c  183s |      19 |   682504 |   666482 |      505   2507 |        0 |        0
183.43/183.53	c  183s |      20 |   682856 |   666827 |      505   2508 |        0 |        0
185.43/185.54	c  185s |      20 |   690041 |   673727 |      505   2529 |        0 |        0
187.43/187.55	c  187s |      20 |   697060 |   680627 |      505   2550 |        0 |        0
189.43/189.56	c  189s |      20 |   704296 |   687727 |      505   2571 |        0 |        0
191.43/191.58	c  191s |      20 |   711502 |   694827 |      505   2593 |        0 |        0
193.42/193.59	c  193s |      20 |   718677 |   701927 |      505   2614 |        0 |        0
195.52/195.60	c  195s |      20 |   727105 |   710227 |      505   2639 |        0 |        0
197.52/197.62	c  197s |      20 |   734890 |   717927 |      505   2662 |        0 |        0
199.52/199.63	c  199s |      20 |   742481 |   725427 |      505   2685 |        0 |        0
201.52/201.65	c  201s |      20 |   749785 |   732627 |      505   2707 |        0 |        0
203.53/203.66	c  203s |      20 |   757188 |   739827 |      505   2729 |        0 |        0
205.52/205.68	c  205s |      20 |   764431 |   746927 |      505   2750 |        0 |        0
207.52/207.69	c  207s |      20 |   771685 |   754027 |      505   2772 |        0 |        0
209.62/209.71	c  209s |      20 |   779065 |   761327 |      505   2794 |        0 |        0
211.62/211.71	c  211s |      20 |   786017 |   768127 |      505   2814 |        0 |        0
213.61/213.73	c  213s |      20 |   792873 |   774827 |      505   2835 |        0 |        0
215.62/215.76	c  215s |      20 |   799920 |   781727 |      505   2855 |        0 |        0
217.61/217.76	c  217s |      20 |   806907 |   788627 |      505   2876 |        0 |        0
219.61/219.79	c  219s |      20 |   813921 |   795527 |      505   2897 |        0 |        0
221.71/221.80	c  221s |      20 |   820799 |   802327 |      505   2918 |        0 |        0
223.71/223.82	c  223s |      20 |   827575 |   809027 |      505   2938 |        0 |        0
225.70/225.84	c  225s |      20 |   834136 |   815527 |      505   2957 |        0 |        0
227.71/227.86	c  227s |      20 |   840979 |   822227 |      505   2978 |        0 |        0
229.70/229.88	c  229s |      20 |   847763 |   828827 |      505   2998 |        0 |        0
231.70/231.89	c  231s |      20 |   854485 |   835427 |      505   3018 |        0 |        0
233.70/233.89	c  233s |      20 |   861781 |   842627 |      505   3039 |        0 |        0
235.70/235.89	c  235s |      20 |   869465 |   850227 |      505   3062 |        0 |        0
237.80/237.91	c  237s |      20 |   877142 |   857827 |      505   3085 |        0 |        0
239.80/239.91	c  239s |      20 |   884740 |   865327 |      505   3108 |        0 |        0
241.79/241.93	c  241s |      20 |   892024 |   872527 |      505   3129 |        0 |        0
243.79/243.96	c  243s |      20 |   899221 |   879627 |      505   3151 |        0 |        0
245.80/245.97	c  245s |      20 |   906526 |   886827 |      505   3172 |        0 |        0
247.80/247.97	c  247s |      20 |   913866 |   894027 |      505   3194 |        0 |        0
249.80/249.99	c  249s |      20 |   921195 |   901227 |      505   3216 |        0 |        0
251.80/251.99	c  251s |      20 |   928631 |   908527 |      505   3238 |        0 |        0
253.89/254.01	c  253s |      20 |   935861 |   915627 |      505   3259 |        0 |        0
255.89/256.02	c  255s |      20 |   942735 |   922427 |      505   3280 |        0 |        0
257.89/258.04	c  258s |      20 |   949750 |   929327 |      505   3301 |        0 |        0
259.89/260.06	c  260s |      20 |   957335 |   936827 |      505   3323 |        0 |        0
261.89/262.09	c  262s |      20 |   964611 |   944027 |      505   3345 |        0 |        0
263.99/264.12	c  264s |      20 |   971376 |   950727 |      505   3366 |        0 |        0
265.99/266.13	c  266s |      20 |   978545 |   957827 |      505   3387 |        0 |        0
267.98/268.14	c  268s |      20 |   985754 |   964927 |      505   3408 |        0 |        0
269.98/270.15	c  270s |      20 |   992676 |   971727 |      505   3429 |        0 |        0
271.98/272.17	c  272s |      20 |   999382 |   978327 |      505   3449 |        0 |        0
273.98/274.19	c  274s |      20 |  1006098 |   984927 |      505   3469 |        0 |        0
275.99/276.19	c  276s |      20 |  1012629 |   991327 |      505   3489 |        0 |        0
278.08/278.20	c  278s |      20 |  1019227 |   997827 |      556   3507 |        0 |        0
278.78/278.98	c  278s |      21 |  1021790 |  1000345 |      556   3514 |        0 |        0
280.88/281.00	c  280s |      21 |  1028914 |  1007245 |      556   3534 |        0 |        0
282.87/283.02	c  282s |      21 |  1035778 |  1014045 |      556   3553 |        0 |        0
284.88/285.03	c  285s |      21 |  1042704 |  1020845 |      556   3572 |        0 |        0
286.87/287.03	c  287s |      21 |  1049409 |  1027445 |      556   3590 |        0 |        0
288.87/289.05	c  289s |      21 |  1056215 |  1034145 |      556   3609 |        0 |        0
290.87/291.07	c  291s |      21 |  1062797 |  1040645 |      556   3627 |        0 |        0
292.86/293.08	c  293s |      21 |  1069531 |  1047245 |      556   3646 |        0 |        0
294.86/295.09	c  295s |      21 |  1075994 |  1053645 |      556   3664 |        0 |        0
296.87/297.10	c  297s |      21 |  1082656 |  1060245 |      556   3683 |        0 |        0
298.96/299.12	c  299s |      21 |  1089929 |  1067445 |      556   3703 |        0 |        0
300.96/301.14	c  301s |      21 |  1096703 |  1074145 |      556   3722 |        0 |        0
302.96/303.14	c  303s |      21 |  1103398 |  1080745 |      556   3740 |        0 |        0
304.96/305.15	c  305s |      21 |  1110059 |  1087245 |      556   3759 |        0 |        0
306.96/307.17	c  307s |      21 |  1116787 |  1093845 |      556   3777 |        0 |        0
308.96/309.19	c  309s |      21 |  1123419 |  1100345 |      556   3796 |        0 |        0
311.06/311.20	c  311s |      21 |  1130303 |  1107145 |      556   3815 |        0 |        0
313.05/313.22	c  313s |      21 |  1136873 |  1113645 |      556   3833 |        0 |        0
315.05/315.24	c  315s |      21 |  1143461 |  1120145 |      556   3851 |        0 |        0
317.05/317.25	c  317s |      21 |  1150023 |  1126645 |      556   3869 |        0 |        0
319.05/319.29	c  319s |      21 |  1156856 |  1133445 |      556   3889 |        0 |        0
321.06/321.30	c  321s |      21 |  1163325 |  1139845 |      556   3907 |        0 |        0
323.15/323.31	c  323s |      21 |  1169688 |  1146145 |      556   3924 |        0 |        0
325.15/325.32	c  325s |      21 |  1176006 |  1152345 |      556   3942 |        0 |        0
327.16/327.32	c  327s |      21 |  1182093 |  1158345 |      556   3959 |        0 |        0
329.16/329.35	c  329s |      21 |  1188440 |  1164545 |      556   3977 |        0 |        0
331.16/331.37	c  331s |      21 |  1194761 |  1170745 |      556   3994 |        0 |        0
333.16/333.37	c  333s |      21 |  1200923 |  1176845 |      556   4012 |        0 |        0
335.15/335.39	c  335s |      21 |  1207869 |  1183645 |      556   4031 |        0 |        0
337.25/337.41	c  337s |      21 |  1214705 |  1190345 |      556   4050 |        0 |        0
339.25/339.41	c  339s |      21 |  1221310 |  1196845 |      556   4068 |        0 |        0
341.25/341.42	c  341s |      21 |  1227917 |  1203345 |      556   4087 |        0 |        0
343.25/343.44	c  343s |      21 |  1235192 |  1210445 |      556   4107 |        0 |        0
345.25/345.45	c  345s |      21 |  1242327 |  1217445 |      556   4126 |        0 |        0
347.25/347.47	c  347s |      21 |  1249563 |  1224545 |      556   4146 |        0 |        0
349.25/349.48	c  349s |      21 |  1256817 |  1231645 |      556   4166 |        0 |        0
351.35/351.50	c  351s |      21 |  1263982 |  1238645 |      556   4186 |        0 |        0
353.34/353.50	c  353s |      21 |  1270961 |  1245545 |      556   4205 |        0 |        0
355.34/355.52	c  355s |      21 |  1278021 |  1252445 |      556   4225 |        0 |        0
357.35/357.54	c  357s |      21 |  1285178 |  1259445 |      556   4244 |        0 |        0
359.34/359.55	c  359s |      21 |  1292105 |  1266245 |      556   4264 |        0 |        0
361.34/361.58	c  361s |      21 |  1298900 |  1272945 |      556   4283 |        0 |        0
363.34/363.59	c  363s |      21 |  1305816 |  1279745 |      556   4302 |        0 |        0
365.44/365.60	c  365s |      21 |  1312935 |  1286745 |      556   4321 |        0 |        0
367.44/367.62	c  367s |      21 |  1319694 |  1293345 |      556   4340 |        0 |        0
369.45/369.63	c  369s |      21 |  1326443 |  1299945 |      556   4359 |        0 |        0
371.44/371.64	c  371s |      21 |  1333200 |  1306545 |      556   4377 |        0 |        0
373.43/373.67	c  373s |      21 |  1339810 |  1313045 |      556   4396 |        0 |        0
375.43/375.68	c  375s |      21 |  1346331 |  1319445 |      556   4414 |        0 |        0
377.53/377.71	c  377s |      21 |  1353145 |  1326145 |      556   4433 |        0 |        0
379.53/379.74	c  379s |      21 |  1359642 |  1332545 |      556   4451 |        0 |        0
381.54/381.74	c  381s |      21 |  1365926 |  1338745 |      556   4469 |        0 |        0
383.53/383.75	c  383s |      21 |  1372715 |  1345445 |      556   4487 |        0 |        0
385.53/385.77	c  385s |      21 |  1379589 |  1352245 |      556   4506 |        0 |        0
387.53/387.77	c  387s |      21 |  1386673 |  1359245 |      556   4526 |        0 |        0
389.53/389.77	c  389s |      21 |  1394014 |  1366445 |      556   4546 |        0 |        0
391.53/391.78	c  391s |      21 |  1400795 |  1373045 |      556   4565 |        0 |        0
393.63/393.81	c  393s |      21 |  1407528 |  1379645 |      556   4583 |        0 |        0
395.62/395.83	c  395s |      21 |  1413928 |  1385945 |      556   4601 |        0 |        0
397.62/397.85	c  397s |      21 |  1420633 |  1392545 |      556   4620 |        0 |        0
399.62/399.85	c  399s |      21 |  1427041 |  1398845 |      556   4638 |        0 |        0
401.62/401.88	c  401s |      21 |  1433535 |  1405245 |      556   4656 |        0 |        0
403.62/403.89	c  403s |      21 |  1440085 |  1411745 |      556   4674 |        0 |        0
405.62/405.90	c  405s |      21 |  1447655 |  1419245 |      556   4696 |        0 |        0
407.71/407.93	c  407s |      21 |  1454920 |  1426445 |      556   4716 |        0 |        0
409.71/409.94	c  409s |      21 |  1461915 |  1433345 |      556   4735 |        0 |        0
411.71/411.94	c  411s |      21 |  1469094 |  1440345 |      556   4755 |        0 |        0
413.71/413.95	c  413s |      21 |  1475719 |  1446845 |      556   4773 |        0 |        0
415.72/415.95	c  415s |      21 |  1482696 |  1453745 |      556   4792 |        0 |        0
417.71/417.97	c  417s |      21 |  1489391 |  1460345 |      556   4811 |        0 |        0
419.71/419.98	c  419s |      21 |  1496393 |  1467145 |      556   4830 |        0 |        0
421.81/422.01	c  421s |      21 |  1503322 |  1473945 |      556   4849 |        0 |        0
423.81/424.01	c  423s |      21 |  1510085 |  1480645 |      556   4868 |        0 |        0
425.81/426.03	c  426s |      21 |  1516660 |  1487145 |      556   4887 |        0 |        0
427.81/428.04	c  428s |      21 |  1523243 |  1493645 |      612   4904 |        0 |        0
429.81/430.06	c  430s |      21 |  1529933 |  1500245 |      612   4922 |        0 |        0
429.91/430.17	c  430s |      22 |  1530316 |  1500622 |      612   4923 |        0 |        0
432.00/432.20	c  432s |      22 |  1537116 |  1507222 |      612   4940 |        0 |        0
434.00/434.21	c  434s |      22 |  1543662 |  1513722 |      612   4957 |        0 |        0
436.00/436.22	c  436s |      22 |  1550009 |  1520022 |      612   4973 |        0 |        0
438.00/438.25	c  438s |      22 |  1556693 |  1526622 |      612   4990 |        0 |        0
440.00/440.28	c  440s |      22 |  1563509 |  1533322 |      612   5008 |        0 |        0
442.01/442.30	c  442s |      22 |  1570186 |  1539922 |      612   5025 |        0 |        0
444.10/444.30	c  444s |      22 |  1576758 |  1546422 |      612   5042 |        0 |        0
446.10/446.30	c  446s |      22 |  1583038 |  1552622 |      612   5058 |        0 |        0
448.10/448.31	c  448s |      22 |  1589809 |  1559322 |      612   5076 |        0 |        0
450.10/450.33	c  450s |      22 |  1596505 |  1565922 |      612   5093 |        0 |        0
452.09/452.36	c  452s |      22 |  1603350 |  1572722 |      612   5111 |        0 |        0
454.11/454.38	c  454s |      22 |  1609931 |  1579222 |      612   5128 |        0 |        0
456.20/456.40	c  456s |      22 |  1616827 |  1586022 |      612   5145 |        0 |        0
458.20/458.40	c  458s |      22 |  1623426 |  1592422 |      612   5162 |        0 |        0
460.20/460.42	c  460s |      22 |  1630089 |  1599022 |      612   5179 |        0 |        0
462.20/462.44	c  462s |      22 |  1636613 |  1605422 |      612   5196 |        0 |        0
464.20/464.44	c  464s |      22 |  1642891 |  1611622 |      612   5212 |        0 |        0
466.20/466.46	c  466s |      22 |  1649322 |  1617922 |      612   5229 |        0 |        0
468.19/468.47	c  468s |      22 |  1655831 |  1624322 |      612   5245 |        0 |        0
470.19/470.49	c  470s |      22 |  1662532 |  1630922 |      612   5263 |        0 |        0
472.29/472.51	c  472s |      22 |  1669111 |  1637422 |      612   5280 |        0 |        0
474.29/474.54	c  474s |      22 |  1675702 |  1643922 |      612   5297 |        0 |        0
476.29/476.54	c  476s |      22 |  1682173 |  1650322 |      612   5313 |        0 |        0
478.29/478.56	c  478s |      22 |  1688538 |  1656622 |      612   5330 |        0 |        0
480.28/480.58	c  480s |      22 |  1694791 |  1662822 |      612   5346 |        0 |        0
482.38/482.61	c  482s |      22 |  1700876 |  1668822 |      612   5362 |        0 |        0
484.38/484.63	c  484s |      22 |  1706772 |  1674622 |      612   5377 |        0 |        0
486.38/486.63	c  486s |      22 |  1712815 |  1680622 |      612   5393 |        0 |        0
488.38/488.64	c  488s |      22 |  1718819 |  1686522 |      612   5408 |        0 |        0
490.39/490.66	c  490s |      22 |  1724981 |  1692622 |      612   5424 |        0 |        0
492.38/492.67	c  492s |      22 |  1731105 |  1698622 |      612   5440 |        0 |        0
494.38/494.68	c  494s |      22 |  1737562 |  1704922 |      612   5457 |        0 |        0
496.38/496.69	c  496s |      22 |  1743816 |  1711122 |      612   5473 |        0 |        0
498.48/498.72	c  498s |      22 |  1749981 |  1717222 |      612   5489 |        0 |        0
500.48/500.74	c  500s |      22 |  1756169 |  1723322 |      612   5505 |        0 |        0
502.48/502.77	c  502s |      22 |  1762432 |  1729522 |      612   5522 |        0 |        0
504.47/504.79	c  504s |      22 |  1768696 |  1735722 |      612   5538 |        0 |        0
506.47/506.79	c  506s |      22 |  1775889 |  1742822 |      612   5556 |        0 |        0
508.57/508.80	c  508s |      22 |  1782837 |  1749622 |      612   5574 |        0 |        0
510.57/510.82	c  510s |      22 |  1789627 |  1756322 |      612   5591 |        0 |        0
512.57/512.82	c  512s |      22 |  1796359 |  1762922 |      612   5608 |        0 |        0
514.58/514.83	c  514s |      22 |  1803154 |  1769622 |      612   5626 |        0 |        0
516.57/516.86	c  516s |      22 |  1810082 |  1776522 |      612   5644 |        0 |        0
518.57/518.89	c  518s |      22 |  1817200 |  1783622 |      612   5662 |        0 |        0
520.67/520.91	c  520s |      22 |  1823950 |  1790322 |      612   5680 |        0 |        0
522.66/522.92	c  522s |      22 |  1830614 |  1796922 |      612   5697 |        0 |        0
524.66/524.92	c  524s |      22 |  1837476 |  1803722 |      612   5715 |        0 |        0
526.67/526.94	c  526s |      22 |  1844202 |  1810322 |      612   5732 |        0 |        0
528.66/528.96	c  528s |      22 |  1850853 |  1816822 |      612   5749 |        0 |        0
530.66/530.98	c  530s |      22 |  1857344 |  1823122 |      612   5765 |        0 |        0
532.76/533.00	c  532s |      22 |  1863856 |  1829522 |      612   5782 |        0 |        0
534.76/535.03	c  535s |      22 |  1870382 |  1835922 |      612   5798 |        0 |        0
536.76/537.06	c  537s |      22 |  1876668 |  1842122 |      612   5815 |        0 |        0
538.77/539.09	c  539s |      22 |  1882947 |  1848322 |      612   5831 |        0 |        0
540.86/541.10	c  541s |      22 |  1889089 |  1854322 |      612   5846 |        0 |        0
542.85/543.10	c  543s |      22 |  1895079 |  1860222 |      612   5862 |        0 |        0
544.85/545.11	c  545s |      22 |  1901177 |  1866222 |      612   5877 |        0 |        0
546.85/547.12	c  547s |      22 |  1907429 |  1872322 |      612   5893 |        0 |        0
548.85/549.14	c  549s |      22 |  1913780 |  1878522 |      612   5909 |        0 |        0
550.87/551.14	c  551s |      22 |  1920179 |  1884722 |      612   5926 |        0 |        0
552.86/553.16	c  553s |      22 |  1926536 |  1890922 |      612   5942 |        0 |        0
554.86/555.19	c  555s |      22 |  1933145 |  1897422 |      612   5959 |        0 |        0
556.96/557.20	c  557s |      22 |  1940215 |  1904322 |      612   5977 |        0 |        0
558.96/559.21	c  559s |      22 |  1947200 |  1911122 |      612   5995 |        0 |        0
560.95/561.21	c  561s |      22 |  1953587 |  1917422 |      612   6011 |        0 |        0
562.95/563.24	c  563s |      22 |  1960054 |  1923722 |      612   6027 |        0 |        0
564.95/565.24	c  565s |      22 |  1966179 |  1929722 |      612   6043 |        0 |        0
566.94/567.25	c  567s |      22 |  1972041 |  1935522 |      612   6058 |        0 |        0
568.94/569.27	c  569s |      22 |  1978307 |  1941722 |      612   6074 |        0 |        0
570.94/571.29	c  571s |      22 |  1984436 |  1947722 |      612   6090 |        0 |        0
573.04/573.32	c  573s |      22 |  1990832 |  1954022 |      612   6107 |        0 |        0
575.04/575.35	c  575s |      22 |  1997030 |  1960122 |      612   6123 |        0 |        0
577.04/577.35	c  577s |      22 |  2002948 |  1965922 |      612   6138 |        0 |        0
579.04/579.36	c  579s |      22 |  2008941 |  1971822 |      612   6153 |        0 |        0
581.04/581.38	c  581s |      22 |  2015036 |  1977822 |      612   6169 |        0 |        0
583.13/583.41	c  583s |      22 |  2020922 |  1983622 |      612   6184 |        0 |        0
585.13/585.41	c  585s |      22 |  2026959 |  1989522 |      612   6199 |        0 |        0
587.14/587.43	c  587s |      22 |  2032996 |  1995522 |      612   6215 |        0 |        0
589.13/589.45	c  589s |      22 |  2038950 |  2001422 |      612   6231 |        0 |        0
591.13/591.46	c  591s |      22 |  2045133 |  2007522 |      612   6247 |        0 |        0
593.13/593.47	c  593s |      22 |  2051378 |  2013622 |      612   6263 |        0 |        0
595.23/595.50	c  595s |      22 |  2057950 |  2020122 |      612   6280 |        0 |        0
597.23/597.51	c  597s |      22 |  2064542 |  2026622 |      612   6297 |        0 |        0
599.24/599.53	c  599s |      22 |  2070969 |  2033022 |      612   6313 |        0 |        0
601.23/601.53	c  601s |      22 |  2077305 |  2039222 |      612   6330 |        0 |        0
603.23/603.54	c  603s |      22 |  2083589 |  2045422 |      612   6346 |        0 |        0
605.23/605.55	c  605s |      22 |  2090068 |  2051822 |      612   6363 |        0 |        0
607.23/607.57	c  607s |      22 |  2096349 |  2058022 |      612   6379 |        0 |        0
609.23/609.57	c  609s |      22 |  2102631 |  2064122 |      612   6395 |        0 |        0
611.23/611.59	c  611s |      22 |  2108752 |  2070122 |      612   6411 |        0 |        0
613.32/613.61	c  613s |      22 |  2114749 |  2076022 |      612   6426 |        0 |        0
615.32/615.64	c  615s |      22 |  2121030 |  2082222 |      612   6443 |        0 |        0
617.32/617.65	c  617s |      22 |  2127133 |  2088222 |      612   6459 |        0 |        0
619.32/619.68	c  619s |      22 |  2133261 |  2094222 |      612   6475 |        0 |        0
621.42/621.71	c  621s |      22 |  2139506 |  2100422 |      612   6491 |        0 |        0
623.42/623.71	c  623s |      22 |  2145615 |  2106422 |      612   6506 |        0 |        0
625.42/625.72	c  625s |      22 |  2151378 |  2112122 |      612   6521 |        0 |        0
627.42/627.72	c  627s |      22 |  2157316 |  2118022 |      612   6537 |        0 |        0
629.42/629.73	c  629s |      22 |  2163586 |  2124222 |      612   6553 |        0 |        0
631.42/631.74	c  631s |      22 |  2169624 |  2130222 |      612   6569 |        0 |        0
633.42/633.74	c  633s |      22 |  2175778 |  2136322 |      612   6585 |        0 |        0
635.41/635.75	c  635s |      22 |  2181844 |  2142322 |      612   6601 |        0 |        0
637.41/637.76	c  637s |      22 |  2187920 |  2148322 |      612   6617 |        0 |        0
639.41/639.76	c  639s |      22 |  2194206 |  2154522 |      612   6633 |        0 |        0
641.41/641.77	c  641s |      22 |  2200431 |  2160622 |      612   6649 |        0 |        0
643.50/643.80	c  643s |      22 |  2206413 |  2166522 |      612   6664 |        0 |        0
645.51/645.81	c  645s |      22 |  2212390 |  2172422 |      612   6680 |        0 |        0
647.50/647.83	c  647s |      22 |  2218236 |  2178222 |      612   6695 |        0 |        0
649.50/649.86	c  649s |      22 |  2224654 |  2184522 |      612   6712 |        0 |        0
651.50/651.87	c  651s |      22 |  2230692 |  2190422 |      612   6727 |        0 |        0
653.59/653.90	c  653s |      22 |  2236613 |  2196222 |      612   6743 |        0 |        0
655.59/655.91	c  655s |      22 |  2242331 |  2201822 |      612   6757 |        0 |        0
657.60/657.93	c  657s |      22 |  2248063 |  2207422 |      612   6772 |        0 |        0
659.59/659.96	c  659s |      22 |  2253632 |  2212922 |      612   6786 |        0 |        0
661.59/661.96	c  661s |      22 |  2259230 |  2218422 |      612   6801 |        0 |        0
663.59/663.99	c  663s |      22 |  2264937 |  2224022 |      612   6816 |        0 |        0
665.59/665.99	c  665s |      22 |  2270489 |  2229522 |      612   6830 |        0 |        0
667.69/668.02	c  667s |      22 |  2275940 |  2234922 |      612   6845 |        0 |        0
669.69/670.03	c  670s |      22 |  2281951 |  2240822 |      674   6859 |        0 |        0
671.69/672.06	c  672s |      22 |  2288033 |  2246822 |      674   6873 |        0 |        0
673.18/673.56	c  673s |      23 |  2292299 |  2251038 |      674   6884 |        0 |        0
675.19/675.59	c  675s |      23 |  2298825 |  2257238 |      674   6899 |        0 |        0
677.29/677.60	c  677s |      23 |  2305063 |  2263338 |      674   6913 |        0 |        0
679.28/679.62	c  679s |      23 |  2311385 |  2269538 |      674   6928 |        0 |        0
681.28/681.62	c  681s |      23 |  2317841 |  2275938 |      674   6944 |        0 |        0
683.28/683.63	c  683s |      23 |  2324260 |  2282238 |      674   6959 |        0 |        0
685.28/685.65	c  685s |      23 |  2330526 |  2288438 |      674   6974 |        0 |        0
687.29/687.67	c  687s |      23 |  2337310 |  2295138 |      674   6990 |        0 |        0
689.28/689.68	c  689s |      23 |  2343773 |  2301538 |      674   7006 |        0 |        0
691.28/691.69	c  691s |      23 |  2349856 |  2307538 |      674   7020 |        0 |        0
693.38/693.71	c  693s |      23 |  2355911 |  2313538 |      674   7035 |        0 |        0
695.38/695.71	c  695s |      23 |  2362483 |  2320038 |      674   7051 |        0 |        0
697.38/697.73	c  697s |      23 |  2368856 |  2326238 |      674   7066 |        0 |        0
699.39/699.74	c  699s |      23 |  2375031 |  2332338 |      674   7080 |        0 |        0
701.38/701.77	c  701s |      23 |  2381807 |  2339038 |      674   7096 |        0 |        0
703.38/703.79	c  703s |      23 |  2388526 |  2345638 |      674   7112 |        0 |        0
705.48/705.81	c  705s |      23 |  2395038 |  2352038 |      674   7128 |        0 |        0
707.48/707.83	c  707s |      23 |  2401141 |  2358038 |      674   7142 |        0 |        0
709.48/709.85	c  709s |      23 |  2407292 |  2364138 |      674   7157 |        0 |        0
711.48/711.86	c  711s |      23 |  2413632 |  2370338 |      674   7172 |        0 |        0
713.47/713.86	c  713s |      23 |  2420025 |  2376638 |      674   7187 |        0 |        0
715.47/715.89	c  715s |      23 |  2426698 |  2383238 |      674   7203 |        0 |        0
717.58/717.91	c  717s |      23 |  2433001 |  2389438 |      674   7218 |        0 |        0
719.58/719.93	c  719s |      23 |  2439395 |  2395738 |      674   7233 |        0 |        0
721.58/721.93	c  721s |      23 |  2445635 |  2401838 |      674   7248 |        0 |        0
723.59/723.94	c  723s |      23 |  2452014 |  2408138 |      674   7263 |        0 |        0
725.58/725.94	c  725s |      23 |  2458247 |  2414238 |      674   7278 |        0 |        0
727.58/727.97	c  727s |      23 |  2464413 |  2420338 |      674   7293 |        0 |        0
729.58/729.99	c  729s |      23 |  2470489 |  2426338 |      674   7308 |        0 |        0
731.68/732.00	c  731s |      23 |  2476456 |  2432238 |      674   7322 |        0 |        0
733.68/734.00	c  733s |      23 |  2482525 |  2438238 |      674   7337 |        0 |        0
735.68/736.03	c  736s |      23 |  2488996 |  2444638 |      674   7352 |        0 |        0
737.67/738.03	c  738s |      23 |  2495496 |  2451038 |      674   7368 |        0 |        0
739.67/740.04	c  740s |      23 |  2501950 |  2457438 |      674   7383 |        0 |        0
741.67/742.06	c  742s |      23 |  2508106 |  2463538 |      674   7398 |        0 |        0
743.67/744.09	c  744s |      23 |  2514383 |  2469738 |      674   7413 |        0 |        0
745.77/746.11	c  746s |      23 |  2521379 |  2476538 |      674   7430 |        0 |        0
747.78/748.13	c  748s |      23 |  2528385 |  2483338 |      674   7446 |        0 |        0
749.77/750.13	c  750s |      23 |  2534823 |  2489638 |      674   7461 |        0 |        0
751.77/752.16	c  752s |      23 |  2541107 |  2495838 |      674   7476 |        0 |        0
753.77/754.18	c  754s |      23 |  2547261 |  2501938 |      674   7491 |        0 |        0
755.87/756.20	c  756s |      23 |  2553257 |  2507838 |      674   7505 |        0 |        0
757.87/758.23	c  758s |      23 |  2559342 |  2513838 |      674   7520 |        0 |        0
759.88/760.24	c  760s |      23 |  2565348 |  2519738 |      674   7534 |        0 |        0
761.87/762.26	c  762s |      23 |  2571304 |  2525638 |      674   7548 |        0 |        0
763.87/764.26	c  764s |      23 |  2577180 |  2531438 |      674   7562 |        0 |        0
765.97/766.30	c  766s |      23 |  2583157 |  2537338 |      674   7577 |        0 |        0
767.97/768.32	c  768s |      23 |  2589091 |  2543238 |      674   7591 |        0 |        0
769.97/770.35	c  770s |      23 |  2595235 |  2549238 |      674   7605 |        0 |        0
771.97/772.36	c  772s |      23 |  2601378 |  2555238 |      674   7620 |        0 |        0
773.97/774.38	c  774s |      23 |  2607663 |  2561438 |      674   7635 |        0 |        0
776.07/776.41	c  776s |      23 |  2613687 |  2567338 |      674   7649 |        0 |        0
778.07/778.44	c  778s |      23 |  2619620 |  2573138 |      674   7663 |        0 |        0
780.07/780.47	c  780s |      23 |  2625636 |  2579038 |      674   7678 |        0 |        0
782.07/782.48	c  782s |      23 |  2631465 |  2584738 |      674   7691 |        0 |        0
784.16/784.50	c  784s |      23 |  2637400 |  2590638 |      674   7706 |        0 |        0
786.17/786.52	c  786s |      23 |  2643807 |  2596938 |      674   7721 |        0 |        0
788.16/788.53	c  788s |      23 |  2649932 |  2602938 |      674   7736 |        0 |        0
790.16/790.56	c  790s |      23 |  2655846 |  2608738 |      674   7750 |        0 |        0
792.16/792.57	c  792s |      23 |  2661845 |  2614638 |      674   7764 |        0 |        0
794.16/794.59	c  794s |      23 |  2667896 |  2620538 |      674   7778 |        0 |        0
796.26/796.63	c  796s |      23 |  2673746 |  2626338 |      674   7793 |        0 |        0
798.27/798.64	c  798s |      23 |  2679430 |  2631938 |      674   7806 |        0 |        0
800.26/800.65	c  800s |      23 |  2685138 |  2637538 |      674   7820 |        0 |        0
802.26/802.66	c  802s |      23 |  2690871 |  2643138 |      674   7833 |        0 |        0
804.27/804.69	c  804s |      23 |  2696550 |  2648738 |      674   7847 |        0 |        0
806.37/806.73	c  806s |      23 |  2702595 |  2654638 |      674   7862 |        0 |        0
808.37/808.75	c  808s |      23 |  2708595 |  2660538 |      674   7876 |        0 |        0
810.37/810.77	c  810s |      23 |  2714431 |  2666338 |      674   7890 |        0 |        0
812.37/812.78	c  812s |      23 |  2720202 |  2672038 |      674   7904 |        0 |        0
814.47/814.80	c  814s |      23 |  2725950 |  2677738 |      674   7918 |        0 |        0
816.47/816.83	c  816s |      23 |  2731629 |  2683338 |      674   7932 |        0 |        0
818.47/818.86	c  818s |      23 |  2737257 |  2688938 |      674   7945 |        0 |        0
820.47/820.86	c  820s |      23 |  2742704 |  2694338 |      674   7959 |        0 |        0
822.47/822.86	c  822s |      23 |  2748556 |  2700138 |      674   7972 |        0 |        0
824.47/824.88	c  824s |      23 |  2754873 |  2706338 |      674   7987 |        0 |        0
826.46/826.89	c  826s |      23 |  2761036 |  2712438 |      674   8002 |        0 |        0
828.56/828.91	c  828s |      23 |  2767224 |  2718438 |      674   8017 |        0 |        0
830.56/830.91	c  830s |      23 |  2773373 |  2724338 |      674   8031 |        0 |        0
832.56/832.94	c  832s |      23 |  2779275 |  2730138 |      674   8045 |        0 |        0
834.57/834.98	c  834s |      23 |  2785260 |  2736038 |      674   8060 |        0 |        0
836.56/836.99	c  836s |      23 |  2791225 |  2741838 |      674   8074 |        0 |        0
838.66/839.00	c  838s |      23 |  2797956 |  2748438 |      674   8090 |        0 |        0
840.66/841.02	c  841s |      23 |  2804814 |  2755138 |      674   8106 |        0 |        0
842.66/843.03	c  843s |      23 |  2811248 |  2761438 |      674   8121 |        0 |        0
844.66/845.06	c  845s |      23 |  2817704 |  2767738 |      674   8136 |        0 |        0
846.67/847.07	c  847s |      23 |  2823944 |  2773838 |      674   8151 |        0 |        0
848.66/849.08	c  849s |      23 |  2830333 |  2780138 |      674   8166 |        0 |        0
850.76/851.10	c  851s |      23 |  2836717 |  2786438 |      674   8181 |        0 |        0
852.76/853.12	c  853s |      23 |  2842990 |  2792538 |      674   8196 |        0 |        0
854.76/855.15	c  855s |      23 |  2849227 |  2798638 |      674   8211 |        0 |        0
856.76/857.17	c  857s |      23 |  2855252 |  2804538 |      674   8225 |        0 |        0
858.76/859.19	c  859s |      23 |  2861306 |  2810538 |      674   8240 |        0 |        0
860.86/861.20	c  861s |      23 |  2867445 |  2816538 |      674   8254 |        0 |        0
862.86/863.23	c  863s |      23 |  2873395 |  2822438 |      674   8269 |        0 |        0
864.86/865.26	c  865s |      23 |  2879478 |  2828438 |      674   8283 |        0 |        0
866.86/867.27	c  867s |      23 |  2885750 |  2834638 |      674   8298 |        0 |        0
868.86/869.30	c  869s |      23 |  2891924 |  2840738 |      674   8313 |        0 |        0
870.96/871.32	c  871s |      23 |  2898022 |  2846738 |      674   8327 |        0 |        0
872.95/873.32	c  873s |      23 |  2903881 |  2852538 |      674   8342 |        0 |        0
874.95/875.33	c  875s |      23 |  2910037 |  2858538 |      674   8356 |        0 |        0
876.95/877.35	c  877s |      23 |  2916183 |  2864638 |      674   8371 |        0 |        0
878.95/879.37	c  879s |      23 |  2922210 |  2870638 |      674   8385 |        0 |        0
880.95/881.37	c  881s |      23 |  2928245 |  2876638 |      674   8400 |        0 |        0
882.96/883.38	c  883s |      23 |  2934165 |  2882538 |      674   8414 |        0 |        0
885.05/885.40	c  885s |      23 |  2940102 |  2888438 |      674   8429 |        0 |        0
887.05/887.42	c  887s |      23 |  2945955 |  2894238 |      674   8443 |        0 |        0
889.05/889.44	c  889s |      23 |  2951700 |  2899938 |      674   8456 |        0 |        0
891.05/891.45	c  891s |      23 |  2957346 |  2905538 |      674   8470 |        0 |        0
893.05/893.45	c  893s |      23 |  2963207 |  2911338 |      674   8484 |        0 |        0
895.06/895.47	c  895s |      23 |  2968966 |  2917038 |      674   8498 |        0 |        0
897.15/897.50	c  897s |      23 |  2974644 |  2922638 |      674   8511 |        0 |        0
899.15/899.52	c  899s |      23 |  2980237 |  2928138 |      674   8524 |        0 |        0
901.15/901.53	c  901s |      23 |  2985833 |  2933638 |      674   8538 |        0 |        0
903.15/903.55	c  903s |      23 |  2991500 |  2939238 |      674   8551 |        0 |        0
905.15/905.58	c  905s |      23 |  2997237 |  2944838 |      674   8565 |        0 |        0
907.15/907.59	c  907s |      23 |  3003305 |  2950738 |      674   8579 |        0 |        0
909.25/909.62	c  909s |      23 |  3009022 |  2956338 |      674   8593 |        0 |        0
911.25/911.65	c  911s |      23 |  3014583 |  2961838 |      674   8606 |        0 |        0
913.25/913.68	c  913s |      23 |  3019954 |  2967138 |      674   8619 |        0 |        0
915.24/915.69	c  915s |      23 |  3025597 |  2972738 |      674   8633 |        0 |        0
917.24/917.69	c  917s |      23 |  3031779 |  2978838 |      674   8648 |        0 |        0
919.35/919.71	c  919s |      23 |  3037907 |  2984838 |      674   8662 |        0 |        0
921.34/921.74	c  921s |      23 |  3043870 |  2990738 |      674   8676 |        0 |        0
923.34/923.76	c  923s |      23 |  3049725 |  2996538 |      674   8690 |        0 |        0
925.35/925.79	c  925s |      23 |  3055583 |  3002338 |      674   8705 |        0 |        0
927.45/927.82	c  927s |      23 |  3061363 |  3008038 |      674   8718 |        0 |        0
929.45/929.82	c  929s |      23 |  3067207 |  3013838 |      674   8732 |        0 |        0
931.46/931.83	c  931s |      23 |  3072943 |  3019538 |      674   8746 |        0 |        0
933.45/933.84	c  933s |      23 |  3078485 |  3025038 |      674   8760 |        0 |        0
935.45/935.84	c  935s |      23 |  3084157 |  3030638 |      674   8773 |        0 |        0
937.45/937.86	c  937s |      23 |  3089840 |  3036238 |      674   8787 |        0 |        0
939.45/939.86	c  939s |      23 |  3095467 |  3041838 |      674   8801 |        0 |        0
941.45/941.88	c  941s |      23 |  3101455 |  3047738 |      674   8815 |        0 |        0
943.45/943.89	c  943s |      23 |  3107520 |  3053638 |      674   8829 |        0 |        0
945.54/945.92	c  945s |      23 |  3113768 |  3059838 |      674   8844 |        0 |        0
947.54/947.96	c  947s |      23 |  3119731 |  3065738 |      674   8859 |        0 |        0
949.54/949.96	c  949s |      23 |  3125391 |  3071338 |      674   8872 |        0 |        0
951.54/951.96	c  951s |      23 |  3131380 |  3077238 |      674   8887 |        0 |        0
953.54/953.99	c  953s |      23 |  3137386 |  3083138 |      674   8901 |        0 |        0
955.55/955.99	c  955s |      23 |  3143043 |  3088738 |      674   8915 |        0 |        0
957.64/958.02	c  957s |      23 |  3148803 |  3094438 |      674   8929 |        0 |        0
959.64/960.02	c  960s |      23 |  3154639 |  3100238 |      674   8943 |        0 |        0
961.64/962.02	c  962s |      23 |  3160710 |  3106238 |      674   8957 |        0 |        0
963.64/964.03	c  964s |      23 |  3166581 |  3112038 |      674   8971 |        0 |        0
965.64/966.03	c  966s |      23 |  3172257 |  3117638 |      674   8985 |        0 |        0
967.65/968.05	c  968s |      23 |  3178113 |  3123338 |      674   8999 |        0 |        0
969.64/970.07	c  970s |      23 |  3183863 |  3128938 |      674   9013 |        0 |        0
971.64/972.09	c  972s |      23 |  3189638 |  3134638 |      674   9027 |        0 |        0
973.64/974.09	c  974s |      23 |  3195441 |  3140338 |      674   9040 |        0 |        0
975.64/976.09	c  976s |      23 |  3201144 |  3145938 |      674   9054 |        0 |        0
977.64/978.09	c  978s |      23 |  3206828 |  3151538 |      674   9068 |        0 |        0
979.74/980.11	c  980s |      23 |  3212520 |  3157138 |      674   9081 |        0 |        0
981.74/982.13	c  982s |      23 |  3218063 |  3162638 |      674   9095 |        0 |        0
983.74/984.16	c  984s |      23 |  3224239 |  3168738 |      674   9109 |        0 |        0
985.74/986.19	c  986s |      23 |  3230121 |  3174538 |      674   9123 |        0 |        0
987.83/988.22	c  988s |      23 |  3236117 |  3180438 |      674   9138 |        0 |        0
989.83/990.26	c  990s |      23 |  3242003 |  3186238 |      674   9152 |        0 |        0
991.84/992.27	c  992s |      23 |  3247561 |  3191738 |      674   9165 |        0 |        0
993.83/994.28	c  994s |      23 |  3253261 |  3197338 |      674   9179 |        0 |        0
995.83/996.30	c  996s |      23 |  3258865 |  3202838 |      674   9192 |        0 |        0
997.93/998.31	c  998s |      23 |  3264548 |  3208438 |      674   9206 |        0 |        0
999.93/1000.34	c 1000s |      23 |  3270115 |  3213938 |      674   9219 |        0 |        0
1001.93/1002.34	c 1002s |      23 |  3275576 |  3219338 |      674   9232 |        0 |        0
1003.94/1004.38	c 1004s |      23 |  3281003 |  3224638 |      674   9245 |        0 |        0
1006.03/1006.40	c 1006s |      23 |  3286413 |  3229938 |      674   9258 |        0 |        0
1008.03/1008.42	c 1008s |      23 |  3291793 |  3235238 |      674   9271 |        0 |        0
1010.03/1010.45	c 1010s |      23 |  3297775 |  3241138 |      674   9285 |        0 |        0
1012.03/1012.48	c 1012s |      23 |  3303678 |  3246938 |      674   9300 |        0 |        0
1014.03/1014.49	c 1014s |      23 |  3309356 |  3252538 |      674   9313 |        0 |        0
1016.14/1016.52	c 1016s |      23 |  3315052 |  3258138 |      674   9327 |        0 |        0
1018.13/1018.55	c 1018s |      23 |  3321302 |  3264338 |      674   9342 |        0 |        0
1020.13/1020.56	c 1020s |      23 |  3327257 |  3270238 |      674   9356 |        0 |        0
1022.13/1022.57	c 1022s |      23 |  3333212 |  3276138 |      674   9371 |        0 |        0
1024.13/1024.58	c 1024s |      23 |  3338926 |  3281738 |      674   9384 |        0 |        0
1026.14/1026.58	c 1026s |      23 |  3344585 |  3287338 |      674   9398 |        0 |        0
1028.14/1028.59	c 1028s |      23 |  3350309 |  3292938 |      674   9412 |        0 |        0
1030.24/1030.60	c 1030s |      23 |  3356252 |  3298738 |      674   9426 |        0 |        0
1032.24/1032.63	c 1032s |      23 |  3361924 |  3304338 |      674   9439 |        0 |        0
1034.23/1034.66	c 1034s |      23 |  3367511 |  3309838 |      674   9453 |        0 |        0
1036.23/1036.69	c 1036s |      23 |  3373167 |  3315438 |      674   9467 |        0 |        0
1038.33/1038.72	c 1038s |      23 |  3378871 |  3321038 |      674   9480 |        0 |        0
1040.34/1040.75	c 1040s |      23 |  3384563 |  3326638 |      674   9494 |        0 |        0
1042.33/1042.78	c 1042s |      23 |  3390022 |  3332038 |      674   9507 |        0 |        0
1044.33/1044.79	c 1044s |      23 |  3395940 |  3337838 |      674   9521 |        0 |        0
1046.43/1046.82	c 1046s |      23 |  3401613 |  3343438 |      674   9535 |        0 |        0
1048.43/1048.83	c 1048s |      23 |  3407344 |  3349138 |      674   9549 |        0 |        0
1050.43/1050.85	c 1050s |      23 |  3413685 |  3355438 |      742   9563 |        0 |        0
1052.44/1052.86	c 1052s |      23 |  3419535 |  3361238 |      742   9576 |        0 |        0
1054.43/1054.87	c 1054s |      23 |  3425340 |  3366938 |      742   9589 |        0 |        0
1056.43/1056.88	c 1056s |      23 |  3431031 |  3372538 |      742   9602 |        0 |        0
1057.94/1058.34	c 1058s |      24 |  3435275 |  3376662 |      742   9611 |        0 |        0
1059.93/1060.35	c 1060s |      24 |  3441698 |  3382762 |      742   9625 |        0 |        0
1061.93/1062.36	c 1062s |      24 |  3448018 |  3388962 |      742   9638 |        0 |        0
1063.93/1064.37	c 1064s |      24 |  3454394 |  3395162 |      742   9652 |        0 |        0
1066.03/1066.40	c 1066s |      24 |  3460639 |  3401362 |      742   9666 |        0 |        0
1068.03/1068.43	c 1068s |      24 |  3467175 |  3407862 |      742   9681 |        0 |        0
1070.03/1070.45	c 1070s |      24 |  3473598 |  3414062 |      742   9694 |        0 |        0
1072.03/1072.47	c 1072s |      24 |  3479907 |  3420262 |      742   9708 |        0 |        0
1074.02/1074.48	c 1074s |      24 |  3486342 |  3426562 |      742   9722 |        0 |        0
1076.12/1076.50	c 1076s |      24 |  3492628 |  3432762 |      742   9736 |        0 |        0
1078.12/1078.53	c 1078s |      24 |  3498916 |  3438962 |      742   9750 |        0 |        0
1080.12/1080.56	c 1080s |      24 |  3505097 |  3445062 |      742   9764 |        0 |        0
1082.13/1082.59	c 1082s |      24 |  3511392 |  3451262 |      742   9777 |        0 |        0
1084.23/1084.61	c 1084s |      24 |  3517549 |  3457362 |      742   9791 |        0 |        0
1086.22/1086.62	c 1086s |      24 |  3523599 |  3463362 |      742   9804 |        0 |        0
1088.22/1088.64	c 1088s |      24 |  3529788 |  3469462 |      742   9818 |        0 |        0
1090.22/1090.64	c 1090s |      24 |  3535875 |  3475462 |      742   9832 |        0 |        0
1092.22/1092.65	c 1092s |      24 |  3542144 |  3481662 |      742   9845 |        0 |        0
1094.23/1094.66	c 1094s |      24 |  3548220 |  3487662 |      742   9859 |        0 |        0
1096.22/1096.69	c 1096s |      24 |  3554408 |  3493762 |      742   9873 |        0 |        0
1098.32/1098.72	c 1098s |      24 |  3560275 |  3499562 |      742   9886 |        0 |        0
1100.32/1100.72	c 1100s |      24 |  3566240 |  3505462 |      742   9899 |        0 |        0
1102.32/1102.73	c 1102s |      24 |  3572310 |  3511462 |      742   9912 |        0 |        0
1104.32/1104.73	c 1104s |      24 |  3578478 |  3517562 |      742   9926 |        0 |        0
1106.32/1106.74	c 1106s |      24 |  3584315 |  3523362 |      742   9939 |        0 |        0
1108.32/1108.76	c 1108s |      24 |  3590069 |  3529062 |      742   9952 |        0 |        0
1110.32/1110.76	c 1110s |      24 |  3596818 |  3535662 |      742   9967 |        0 |        0
1112.32/1112.78	c 1112s |      24 |  3603278 |  3541962 |      742   9981 |        0 |        0
1114.32/1114.79	c 1114s |      24 |  3610127 |  3548662 |      742   9995 |        0 |        0
1116.42/1116.82	c 1116s |      24 |  3616797 |  3555162 |      742  10010 |        0 |        0
1118.42/1118.83	c 1118s |      24 |  3623138 |  3561362 |      742  10024 |        0 |        0
1120.42/1120.85	c 1120s |      24 |  3629547 |  3567562 |      742  10037 |        0 |        0
1122.42/1122.85	c 1122s |      24 |  3635904 |  3573762 |      742  10051 |        0 |        0
1124.42/1124.88	c 1124s |      24 |  3642246 |  3579962 |      742  10065 |        0 |        0
1126.41/1126.89	c 1126s |      24 |  3648802 |  3586262 |      742  10079 |        0 |        0
1128.51/1128.92	c 1128s |      24 |  3655185 |  3592362 |      742  10093 |        0 |        0
1130.52/1130.94	c 1130s |      24 |  3661621 |  3598662 |      742  10107 |        0 |        0
1132.51/1132.94	c 1132s |      24 |  3667853 |  3604662 |      742  10120 |        0 |        0
1134.51/1134.97	c 1134s |      24 |  3674242 |  3610862 |      742  10134 |        0 |        0
1136.51/1136.97	c 1136s |      24 |  3680725 |  3617162 |      742  10148 |        0 |        0
1138.51/1138.97	c 1138s |      24 |  3687394 |  3623662 |      742  10163 |        0 |        0
1140.51/1140.97	c 1140s |      24 |  3693933 |  3630062 |      742  10177 |        0 |        0
1142.52/1142.99	c 1142s |      24 |  3700073 |  3636062 |      742  10191 |        0 |        0
1144.61/1145.01	c 1144s |      24 |  3706113 |  3641962 |      742  10204 |        0 |        0
1146.61/1147.04	c 1147s |      24 |  3712422 |  3648062 |      742  10218 |        0 |        0
1148.61/1149.07	c 1149s |      24 |  3718774 |  3654262 |      742  10231 |        0 |        0
1150.71/1151.10	c 1151s |      24 |  3724939 |  3660262 |      742  10245 |        0 |        0
1152.71/1153.13	c 1153s |      24 |  3731183 |  3666362 |      742  10258 |        0 |        0
1154.71/1155.13	c 1155s |      24 |  3737340 |  3672362 |      742  10272 |        0 |        0
1156.72/1157.15	c 1157s |      24 |  3743585 |  3678462 |      742  10285 |        0 |        0
1158.72/1159.16	c 1159s |      24 |  3749919 |  3684562 |      742  10299 |        0 |        0
1160.72/1161.17	c 1161s |      24 |  3756010 |  3690462 |      742  10312 |        0 |        0
1162.72/1163.18	c 1163s |      24 |  3762062 |  3696362 |      742  10326 |        0 |        0
1164.72/1165.19	c 1165s |      24 |  3768373 |  3702462 |      742  10339 |        0 |        0
1166.72/1167.20	c 1167s |      24 |  3774673 |  3708562 |      742  10353 |        0 |        0
1168.81/1169.23	c 1169s |      24 |  3781249 |  3714962 |      742  10367 |        0 |        0
1170.81/1171.25	c 1171s |      24 |  3787648 |  3721162 |      742  10381 |        0 |        0
1172.81/1173.27	c 1173s |      24 |  3794058 |  3727362 |      742  10395 |        0 |        0
1174.81/1175.29	c 1175s |      24 |  3800540 |  3733662 |      742  10409 |        0 |        0
1176.91/1177.32	c 1177s |      24 |  3806987 |  3739962 |      742  10423 |        0 |        0
1178.92/1179.34	c 1179s |      24 |  3813255 |  3746062 |      742  10437 |        0 |        0
1180.91/1181.36	c 1181s |      24 |  3819622 |  3752162 |      742  10450 |        0 |        0
1182.91/1183.38	c 1183s |      24 |  3826198 |  3758562 |      742  10465 |        0 |        0
1185.01/1185.40	c 1185s |      24 |  3832657 |  3764762 |      742  10479 |        0 |        0
1187.01/1187.41	c 1187s |      24 |  3838988 |  3770962 |      742  10493 |        0 |        0
1189.01/1189.43	c 1189s |      24 |  3845222 |  3776962 |      742  10506 |        0 |        0
1191.01/1191.43	c 1191s |      24 |  3851488 |  3783062 |      742  10520 |        0 |        0
1193.01/1193.46	c 1193s |      24 |  3857740 |  3789162 |      742  10533 |        0 |        0
1195.01/1195.47	c 1195s |      24 |  3864169 |  3795262 |      742  10547 |        0 |        0
1197.01/1197.48	c 1197s |      24 |  3870431 |  3801362 |      742  10561 |        0 |        0
1199.01/1199.48	c 1199s |      24 |  3876309 |  3807162 |      742  10574 |        0 |        0
1201.11/1201.51	c 1201s |      24 |  3882217 |  3812962 |      742  10587 |        0 |        0
1203.11/1203.53	c 1203s |      24 |  3888095 |  3818762 |      742  10600 |        0 |        0
1205.10/1205.55	c 1205s |      24 |  3893868 |  3824462 |      742  10612 |        0 |        0
1207.10/1207.56	c 1207s |      24 |  3899935 |  3830462 |      742  10626 |        0 |        0
1209.10/1209.59	c 1209s |      24 |  3906300 |  3836762 |      742  10640 |        0 |        0
1211.20/1211.60	c 1211s |      24 |  3912356 |  3842762 |      742  10653 |        0 |        0
1213.20/1213.62	c 1213s |      24 |  3918615 |  3848962 |      742  10667 |        0 |        0
1215.21/1215.64	c 1215s |      24 |  3924665 |  3854962 |      742  10681 |        0 |        0
1217.20/1217.65	c 1217s |      24 |  3930772 |  3860962 |      742  10694 |        0 |        0
1219.20/1219.67	c 1219s |      24 |  3936733 |  3866862 |      742  10707 |        0 |        0
1221.20/1221.67	c 1221s |      24 |  3942485 |  3872562 |      742  10720 |        0 |        0
1223.30/1223.70	c 1223s |      24 |  3948335 |  3878362 |      742  10733 |        0 |        0
1225.30/1225.72	c 1225s |      24 |  3954221 |  3884162 |      742  10746 |        0 |        0
1227.31/1227.74	c 1227s |      24 |  3960326 |  3890062 |      742  10759 |        0 |        0
1229.30/1229.75	c 1229s |      24 |  3966149 |  3895762 |      742  10772 |        0 |        0
1231.30/1231.78	c 1231s |      24 |  3972175 |  3901662 |      742  10785 |        0 |        0
1233.30/1233.79	c 1233s |      24 |  3978114 |  3907462 |      742  10798 |        0 |        0
1235.30/1235.79	c 1235s |      24 |  3983921 |  3913162 |      742  10811 |        0 |        0
1237.39/1237.80	c 1237s |      24 |  3989471 |  3918662 |      742  10823 |        0 |        0
1239.30/1239.80	c 1239s |      24 |  3995502 |  3924562 |      742  10836 |        0 |        0
1241.39/1241.82	c 1241s |      24 |  4001380 |  3930262 |      742  10849 |        0 |        0
1243.39/1243.84	c 1243s |      24 |  4007152 |  3935862 |      742  10862 |        0 |        0
1245.39/1245.85	c 1245s |      24 |  4013034 |  3941662 |      742  10875 |        0 |        0
1247.39/1247.86	c 1247s |      24 |  4018956 |  3947462 |      742  10888 |        0 |        0
1249.40/1249.87	c 1249s |      24 |  4024782 |  3953162 |      742  10901 |        0 |        0
1251.41/1251.90	c 1251s |      24 |  4030578 |  3958862 |      742  10913 |        0 |        0
1253.50/1253.91	c 1253s |      24 |  4036261 |  3964462 |      742  10926 |        0 |        0
1255.50/1255.92	c 1255s |      24 |  4041829 |  3969962 |      742  10938 |        0 |        0
1257.50/1257.94	c 1257s |      24 |  4048189 |  3976162 |      742  10952 |        0 |        0
1259.50/1259.98	c 1259s |      24 |  4054321 |  3982062 |      742  10965 |        0 |        0
1261.50/1261.98	c 1261s |      24 |  4060304 |  3987862 |      742  10978 |        0 |        0
1263.61/1264.01	c 1263s |      24 |  4066528 |  3993862 |      742  10992 |        0 |        0
1265.60/1266.02	c 1265s |      24 |  4072548 |  3999762 |      742  11005 |        0 |        0
1267.60/1268.05	c 1268s |      24 |  4078726 |  4005662 |      742  11019 |        0 |        0
1269.60/1270.07	c 1270s |      24 |  4085461 |  4012262 |      742  11033 |        0 |        0
1271.60/1272.09	c 1272s |      24 |  4092199 |  4018762 |      742  11048 |        0 |        0
1273.70/1274.12	c 1274s |      24 |  4098472 |  4024962 |      742  11062 |        0 |        0
1275.70/1276.14	c 1276s |      24 |  4104550 |  4030962 |      742  11076 |        0 |        0
1277.69/1278.15	c 1278s |      24 |  4110683 |  4036962 |      742  11089 |        0 |        0
1279.69/1280.16	c 1280s |      24 |  4116475 |  4042662 |      742  11102 |        0 |        0
1281.69/1282.18	c 1282s |      24 |  4122549 |  4048562 |      742  11115 |        0 |        0
1283.79/1284.20	c 1284s |      24 |  4128467 |  4054362 |      742  11128 |        0 |        0
1285.79/1286.21	c 1286s |      24 |  4134178 |  4059962 |      742  11141 |        0 |        0
1287.80/1288.23	c 1288s |      24 |  4140028 |  4065662 |      742  11154 |        0 |        0
1289.79/1290.24	c 1290s |      24 |  4145647 |  4071162 |      742  11166 |        0 |        0
1291.79/1292.25	c 1292s |      24 |  4151445 |  4076862 |      742  11179 |        0 |        0
1293.79/1294.25	c 1294s |      24 |  4157084 |  4082362 |      742  11191 |        0 |        0
1295.79/1296.26	c 1296s |      24 |  4162665 |  4087862 |      742  11204 |        0 |        0
1297.79/1298.26	c 1298s |      24 |  4168349 |  4093462 |      742  11217 |        0 |        0
1299.80/1300.27	c 1300s |      24 |  4174228 |  4099262 |      742  11230 |        0 |        0
1301.79/1302.27	c 1302s |      24 |  4181027 |  4105962 |      742  11244 |        0 |        0
1303.79/1304.29	c 1304s |      24 |  4187693 |  4112562 |      742  11259 |        0 |        0
1305.79/1306.30	c 1306s |      24 |  4194143 |  4118862 |      742  11273 |        0 |        0
1307.89/1308.32	c 1308s |      24 |  4200360 |  4124962 |      742  11287 |        0 |        0
1309.89/1310.33	c 1310s |      24 |  4206479 |  4130962 |      742  11300 |        0 |        0
1311.89/1312.33	c 1312s |      24 |  4212448 |  4136762 |      742  11313 |        0 |        0
1313.89/1314.36	c 1314s |      24 |  4218939 |  4142962 |      742  11327 |        0 |        0
1315.89/1316.36	c 1316s |      24 |  4225217 |  4149062 |      742  11341 |        0 |        0
1317.88/1318.39	c 1318s |      24 |  4231646 |  4155362 |      742  11355 |        0 |        0
1319.98/1320.40	c 1320s |      24 |  4238036 |  4161562 |      742  11369 |        0 |        0
1321.98/1322.41	c 1322s |      24 |  4244901 |  4168162 |      742  11383 |        0 |        0
1323.99/1324.41	c 1324s |      24 |  4251592 |  4174562 |      742  11398 |        0 |        0
1325.98/1326.43	c 1326s |      24 |  4257989 |  4180862 |      742  11412 |        0 |        0
1327.98/1328.45	c 1328s |      24 |  4264705 |  4187462 |      742  11427 |        0 |        0
1329.98/1330.47	c 1330s |      24 |  4271085 |  4193662 |      742  11440 |        0 |        0
1331.98/1332.48	c 1332s |      24 |  4277474 |  4199862 |      742  11454 |        0 |        0
1333.99/1334.49	c 1334s |      24 |  4283825 |  4206062 |      742  11468 |        0 |        0
1335.98/1336.49	c 1336s |      24 |  4290110 |  4212162 |      742  11482 |        0 |        0
1338.08/1338.51	c 1338s |      24 |  4296406 |  4218262 |      742  11496 |        0 |        0
1340.08/1340.55	c 1340s |      24 |  4302842 |  4224562 |      742  11510 |        0 |        0
1342.08/1342.57	c 1342s |      24 |  4309252 |  4230862 |      742  11524 |        0 |        0
1344.08/1344.58	c 1344s |      24 |  4315604 |  4237062 |      742  11538 |        0 |        0
1346.18/1346.61	c 1346s |      24 |  4322085 |  4243362 |      742  11552 |        0 |        0
1348.19/1348.63	c 1348s |      24 |  4328624 |  4249762 |      742  11566 |        0 |        0
1350.18/1350.63	c 1350s |      24 |  4334933 |  4255962 |      742  11580 |        0 |        0
1352.18/1352.64	c 1352s |      24 |  4341340 |  4262262 |      742  11594 |        0 |        0
1354.18/1354.66	c 1354s |      24 |  4347601 |  4268462 |      742  11608 |        0 |        0
1356.18/1356.67	c 1356s |      24 |  4353837 |  4274662 |      742  11622 |        0 |        0
1358.18/1358.69	c 1358s |      24 |  4360370 |  4281062 |      742  11636 |        0 |        0
1360.18/1360.69	c 1360s |      24 |  4366754 |  4287362 |      742  11650 |        0 |        0
1362.28/1362.71	c 1362s |      24 |  4372933 |  4293462 |      742  11664 |        0 |        0
1364.28/1364.73	c 1364s |      24 |  4379068 |  4299562 |      742  11677 |        0 |        0
1366.28/1366.74	c 1366s |      24 |  4384928 |  4305362 |      742  11690 |        0 |        0
1368.28/1368.76	c 1368s |      24 |  4390900 |  4311262 |      742  11704 |        0 |        0
1370.29/1370.77	c 1370s |      24 |  4396714 |  4316962 |      742  11716 |        0 |        0
1372.28/1372.79	c 1372s |      24 |  4402443 |  4322562 |      742  11729 |        0 |        0
1374.38/1374.82	c 1374s |      24 |  4408392 |  4328362 |      742  11742 |        0 |        0
1376.38/1376.82	c 1376s |      24 |  4414406 |  4334262 |      742  11755 |        0 |        0
1378.38/1378.84	c 1378s |      24 |  4420536 |  4340162 |      742  11768 |        0 |        0
1380.38/1380.86	c 1380s |      24 |  4426347 |  4345862 |      742  11781 |        0 |        0
1382.39/1382.89	c 1382s |      24 |  4432395 |  4351762 |      742  11794 |        0 |        0
1384.38/1384.89	c 1384s |      24 |  4438357 |  4357562 |      742  11807 |        0 |        0
1386.48/1386.90	c 1386s |      24 |  4444195 |  4363262 |      742  11820 |        0 |        0
1388.48/1388.93	c 1388s |      24 |  4450014 |  4368962 |      742  11833 |        0 |        0
1390.48/1390.95	c 1390s |      24 |  4455806 |  4374662 |      742  11845 |        0 |        0
1392.48/1392.95	c 1392s |      24 |  4461719 |  4380462 |      742  11858 |        0 |        0
1394.48/1394.98	c 1394s |      24 |  4467817 |  4386362 |      742  11872 |        0 |        0
1396.58/1397.01	c 1396s |      24 |  4473720 |  4392162 |      742  11885 |        0 |        0
1398.58/1399.04	c 1399s |      24 |  4479552 |  4397862 |      742  11898 |        0 |        0
1400.58/1401.07	c 1401s |      24 |  4485275 |  4403462 |      742  11910 |        0 |        0
1402.67/1403.10	c 1403s |      24 |  4490937 |  4409062 |      742  11923 |        0 |        0
1404.67/1405.12	c 1405s |      24 |  4496974 |  4414962 |      742  11936 |        0 |        0
1406.67/1407.15	c 1407s |      24 |  4504250 |  4422162 |      742  11952 |        0 |        0
1408.68/1409.17	c 1409s |      24 |  4511080 |  4428862 |      742  11967 |        0 |        0
1410.67/1411.19	c 1411s |      24 |  4517716 |  4435362 |      742  11982 |        0 |        0
1412.67/1413.19	c 1413s |      24 |  4524329 |  4441862 |      742  11996 |        0 |        0
1414.77/1415.22	c 1415s |      24 |  4530981 |  4448362 |      742  12010 |        0 |        0
1416.77/1417.22	c 1417s |      24 |  4537486 |  4454762 |      742  12025 |        0 |        0
1418.77/1419.25	c 1419s |      24 |  4544007 |  4461162 |      742  12039 |        0 |        0
1420.78/1421.25	c 1421s |      24 |  4550369 |  4467362 |      742  12053 |        0 |        0
1422.77/1423.27	c 1423s |      24 |  4556695 |  4473562 |      742  12067 |        0 |        0
1424.77/1425.28	c 1425s |      24 |  4562831 |  4479562 |      742  12080 |        0 |        0
1426.77/1427.29	c 1427s |      24 |  4569042 |  4485662 |      742  12094 |        0 |        0
1428.87/1429.32	c 1429s |      24 |  4575386 |  4491862 |      742  12108 |        0 |        0
1430.87/1431.33	c 1431s |      24 |  4581752 |  4498062 |      742  12122 |        0 |        0
1432.88/1433.34	c 1433s |      24 |  4587759 |  4503962 |      742  12135 |        0 |        0
1434.87/1435.37	c 1435s |      24 |  4593865 |  4509962 |      742  12148 |        0 |        0
1436.87/1437.37	c 1437s |      24 |  4600010 |  4515962 |      742  12162 |        0 |        0
1438.87/1439.38	c 1439s |      24 |  4606125 |  4521962 |      742  12175 |        0 |        0
1440.87/1441.39	c 1441s |      24 |  4611972 |  4527762 |      742  12188 |        0 |        0
1442.97/1443.42	c 1443s |      24 |  4617984 |  4533662 |      742  12201 |        0 |        0
1444.97/1445.43	c 1445s |      24 |  4623911 |  4539462 |      742  12214 |        0 |        0
1446.97/1447.46	c 1447s |      24 |  4630243 |  4545662 |      742  12228 |        0 |        0
1448.96/1449.46	c 1449s |      24 |  4636299 |  4551562 |      742  12242 |        0 |        0
1450.96/1451.48	c 1451s |      24 |  4642399 |  4557462 |      742  12255 |        0 |        0
1453.06/1453.51	c 1453s |      24 |  4648234 |  4563162 |      742  12268 |        0 |        0
1455.06/1455.52	c 1455s |      24 |  4653827 |  4568662 |      742  12280 |        0 |        0
1457.07/1457.56	c 1457s |      24 |  4659587 |  4574262 |      742  12293 |        0 |        0
1459.06/1459.59	c 1459s |      24 |  4665248 |  4579762 |      742  12305 |        0 |        0
1461.16/1461.61	c 1461s |      24 |  4670952 |  4585362 |      742  12317 |        0 |        0
1463.16/1463.61	c 1463s |      24 |  4676446 |  4590762 |      742  12329 |        0 |        0
1465.16/1465.61	c 1465s |      24 |  4682096 |  4596262 |      742  12342 |        0 |        0
1467.16/1467.65	c 1467s |      24 |  4687874 |  4601962 |      742  12355 |        0 |        0
1469.17/1469.66	c 1469s |      24 |  4693851 |  4607862 |      742  12368 |        0 |        0
1471.16/1471.66	c 1471s |      24 |  4699544 |  4613462 |      742  12380 |        0 |        0
1473.16/1473.68	c 1473s |      24 |  4705121 |  4618962 |      742  12393 |        0 |        0
1475.16/1475.68	c 1475s |      24 |  4711011 |  4624762 |      742  12406 |        0 |        0
1477.16/1477.69	c 1477s |      24 |  4716645 |  4630262 |      742  12418 |        0 |        0
1479.26/1479.72	c 1479s |      24 |  4722208 |  4635762 |      742  12430 |        0 |        0
1481.26/1481.73	c 1481s |      24 |  4727695 |  4641162 |      742  12443 |        0 |        0
1483.26/1483.76	c 1483s |      24 |  4733419 |  4646762 |      742  12455 |        0 |        0
1485.26/1485.78	c 1485s |      24 |  4738966 |  4652262 |      742  12468 |        0 |        0
1487.26/1487.79	c 1487s |      24 |  4744624 |  4657862 |      742  12480 |        0 |        0
1489.36/1489.81	c 1489s |      24 |  4750303 |  4663462 |      742  12493 |        0 |        0
1491.36/1491.83	c 1491s |      24 |  4756214 |  4669262 |      742  12506 |        0 |        0
1493.37/1493.85	c 1493s |      24 |  4762346 |  4675262 |      742  12519 |        0 |        0
1495.36/1495.87	c 1495s |      24 |  4768328 |  4681162 |      742  12533 |        0 |        0
1497.36/1497.90	c 1497s |      24 |  4774448 |  4687162 |      742  12546 |        0 |        0
1499.46/1499.90	c 1499s |      24 |  4780613 |  4693162 |      742  12559 |        0 |        0
1501.46/1501.92	c 1501s |      24 |  4786533 |  4698962 |      742  12572 |        0 |        0
1503.46/1503.95	c 1503s |      24 |  4792184 |  4704562 |      742  12585 |        0 |        0
1505.47/1505.96	c 1505s |      24 |  4797801 |  4710062 |      742  12597 |        0 |        0
1507.46/1507.99	c 1507s |      24 |  4803887 |  4716062 |      742  12611 |        0 |        0
1509.56/1510.01	c 1509s |      24 |  4809599 |  4721662 |      742  12623 |        0 |        0
1511.56/1512.05	c 1512s |      24 |  4815246 |  4727262 |      742  12636 |        0 |        0
1513.56/1514.07	c 1514s |      24 |  4821128 |  4733062 |      742  12649 |        0 |        0
1515.56/1516.08	c 1516s |      24 |  4826634 |  4738462 |      742  12661 |        0 |        0
1517.57/1518.10	c 1518s |      24 |  4832322 |  4744062 |      742  12674 |        0 |        0
1519.66/1520.10	c 1520s |      24 |  4838100 |  4749762 |      742  12686 |        0 |        0
1521.66/1522.12	c 1522s |      24 |  4843885 |  4755462 |      742  12699 |        0 |        0
1523.66/1524.12	c 1524s |      24 |  4849368 |  4760862 |      742  12712 |        0 |        0
1525.66/1526.14	c 1526s |      24 |  4854787 |  4766162 |      742  12724 |        0 |        0
1527.66/1528.16	c 1528s |      24 |  4860607 |  4771862 |      742  12736 |        0 |        0
1529.66/1530.18	c 1530s |      24 |  4866338 |  4777462 |      742  12749 |        0 |        0
1531.65/1532.20	c 1532s |      24 |  4872227 |  4783262 |      742  12762 |        0 |        0
1533.65/1534.20	c 1534s |      24 |  4877943 |  4788862 |      742  12774 |        0 |        0
1535.75/1536.20	c 1536s |      24 |  4883743 |  4794562 |      742  12787 |        0 |        0
1537.75/1538.21	c 1538s |      24 |  4889414 |  4800162 |      742  12800 |        0 |        0
1539.75/1540.22	c 1540s |      24 |  4895384 |  4806062 |      742  12813 |        0 |        0
1541.76/1542.24	c 1542s |      24 |  4901649 |  4812262 |      742  12827 |        0 |        0
1543.75/1544.25	c 1544s |      24 |  4907364 |  4817862 |      742  12839 |        0 |        0
1545.75/1546.25	c 1546s |      24 |  4913083 |  4823462 |      742  12852 |        0 |        0
1547.75/1548.26	c 1548s |      24 |  4918669 |  4828962 |      742  12864 |        0 |        0
1549.75/1550.26	c 1550s |      24 |  4924300 |  4834562 |      742  12877 |        0 |        0
1551.76/1552.28	c 1552s |      24 |  4929773 |  4839962 |      742  12889 |        0 |        0
1553.86/1554.31	c 1554s |      24 |  4935299 |  4845462 |      742  12901 |        0 |        0
1555.85/1556.31	c 1556s |      24 |  4940955 |  4851062 |      742  12914 |        0 |        0
1557.85/1558.34	c 1558s |      24 |  4946723 |  4856762 |      742  12927 |        0 |        0
1559.85/1560.35	c 1560s |      24 |  4952414 |  4862362 |      742  12939 |        0 |        0
1561.85/1562.37	c 1562s |      24 |  4958048 |  4867962 |      742  12952 |        0 |        0
1563.85/1564.39	c 1564s |      24 |  4963727 |  4873562 |      742  12965 |        0 |        0
1565.95/1566.42	c 1566s |      24 |  4969498 |  4879262 |      742  12977 |        0 |        0
1567.95/1568.44	c 1568s |      24 |  4975104 |  4884762 |      742  12990 |        0 |        0
1569.95/1570.46	c 1570s |      24 |  4980592 |  4890162 |      742  13002 |        0 |        0
1571.94/1572.47	c 1572s |      24 |  4986379 |  4895862 |      742  13015 |        0 |        0
1573.95/1574.49	c 1574s |      24 |  4991748 |  4901162 |      742  13027 |        0 |        0
1576.05/1576.50	c 1576s |      24 |  4997119 |  4906462 |      742  13039 |        0 |        0
1578.06/1578.52	c 1578s |      24 |  5002868 |  4912162 |      742  13052 |        0 |        0
1580.05/1580.53	c 1580s |      24 |  5008591 |  4917862 |      742  13065 |        0 |        0
1582.05/1582.56	c 1582s |      24 |  5014393 |  4923562 |      742  13077 |        0 |        0
1584.05/1584.57	c 1584s |      24 |  5020070 |  4929162 |      742  13090 |        0 |        0
1586.05/1586.58	c 1586s |      24 |  5025825 |  4934862 |      742  13103 |        0 |        0
1588.15/1588.60	c 1588s |      24 |  5031673 |  4940662 |      742  13116 |        0 |        0
1590.16/1590.62	c 1590s |      24 |  5037874 |  4946762 |      742  13130 |        0 |        0
1592.15/1592.64	c 1592s |      24 |  5043538 |  4952362 |      742  13142 |        0 |        0
1594.15/1594.68	c 1594s |      24 |  5049127 |  4957862 |      742  13154 |        0 |        0
1596.25/1596.70	c 1596s |      24 |  5054982 |  4963562 |      742  13167 |        0 |        0
1598.25/1598.72	c 1598s |      24 |  5060697 |  4969162 |      742  13180 |        0 |        0
1600.25/1600.73	c 1600s |      24 |  5066368 |  4974762 |      742  13193 |        0 |        0
1602.25/1602.76	c 1602s |      24 |  5071914 |  4980262 |      742  13205 |        0 |        0
1604.25/1604.77	c 1604s |      24 |  5077506 |  4985762 |      742  13217 |        0 |        0
1606.34/1606.81	c 1606s |      24 |  5082983 |  4991162 |      742  13230 |        0 |        0
1608.34/1608.84	c 1608s |      24 |  5088343 |  4996462 |      742  13242 |        0 |        0
1610.34/1610.84	c 1610s |      24 |  5093735 |  5001762 |      742  13253 |        0 |        0
1612.34/1612.84	c 1612s |      24 |  5099141 |  5007062 |      742  13265 |        0 |        0
1614.35/1614.86	c 1614s |      24 |  5104827 |  5012662 |      742  13278 |        0 |        0
1616.34/1616.89	c 1616s |      24 |  5110314 |  5018062 |      742  13290 |        0 |        0
1618.44/1618.91	c 1618s |      24 |  5115882 |  5023562 |      742  13303 |        0 |        0
1620.44/1620.92	c 1620s |      24 |  5121460 |  5029062 |      817  13315 |        0 |        0
1622.44/1622.93	c 1622s |      24 |  5127424 |  5034962 |      817  13327 |        0 |        0
1624.44/1624.94	c 1624s |      24 |  5133279 |  5040762 |      817  13339 |        0 |        0
1626.45/1626.96	c 1626s |      24 |  5139031 |  5046462 |      817  13351 |        0 |        0
1628.44/1628.99	c 1628s |      24 |  5144816 |  5052162 |      817  13363 |        0 |        0
1630.44/1630.99	c 1630s |      24 |  5150409 |  5057662 |      817  13375 |        0 |        0
1632.54/1633.01	c 1632s |      24 |  5156078 |  5063262 |      817  13386 |        0 |        0
1633.24/1633.70	c 1633s |      25 |  5157929 |  5065098 |      817  13390 |        0 |        0
1635.24/1635.70	c 1635s |      25 |  5163828 |  5070698 |      817  13402 |        0 |        0
1637.24/1637.71	c 1637s |      25 |  5169587 |  5076298 |      817  13413 |        0 |        0
1639.23/1639.73	c 1639s |      25 |  5175442 |  5081998 |      817  13425 |        0 |        0
1641.23/1641.76	c 1641s |      25 |  5181318 |  5087698 |      817  13437 |        0 |        0
1643.23/1643.78	c 1643s |      25 |  5187324 |  5093498 |      817  13449 |        0 |        0
1645.33/1645.81	c 1645s |      25 |  5193183 |  5099198 |      817  13461 |        0 |        0
1647.34/1647.83	c 1647s |      25 |  5198931 |  5104798 |      817  13472 |        0 |        0
1649.33/1649.83	c 1649s |      25 |  5205038 |  5110798 |      817  13485 |        0 |        0
1651.33/1651.85	c 1651s |      25 |  5211264 |  5116898 |      817  13497 |        0 |        0
1653.33/1653.85	c 1653s |      25 |  5217471 |  5122998 |      817  13510 |        0 |        0
1655.33/1655.88	c 1655s |      25 |  5223689 |  5129098 |      817  13522 |        0 |        0
1657.43/1657.91	c 1657s |      25 |  5229749 |  5134998 |      817  13534 |        0 |        0
1659.44/1659.93	c 1659s |      25 |  5235748 |  5140798 |      817  13546 |        0 |        0
1661.43/1661.95	c 1661s |      25 |  5241535 |  5146498 |      817  13558 |        0 |        0
1663.44/1663.98	c 1663s |      25 |  5247413 |  5152298 |      817  13570 |        0 |        0
1665.54/1666.01	c 1665s |      25 |  5253838 |  5158598 |      817  13583 |        0 |        0
1667.54/1668.02	c 1667s |      25 |  5259703 |  5164398 |      817  13595 |        0 |        0
1669.54/1670.02	c 1669s |      25 |  5265594 |  5170098 |      817  13607 |        0 |        0
1671.54/1672.04	c 1672s |      25 |  5271578 |  5175898 |      817  13619 |        0 |        0
1673.53/1674.08	c 1674s |      25 |  5277283 |  5181498 |      817  13631 |        0 |        0
1675.63/1676.10	c 1676s |      25 |  5283022 |  5187098 |      817  13642 |        0 |        0
1677.63/1678.12	c 1678s |      25 |  5288950 |  5192798 |      817  13654 |        0 |        0
1679.63/1680.14	c 1680s |      25 |  5294613 |  5198298 |      817  13665 |        0 |        0
1681.63/1682.14	c 1682s |      25 |  5300499 |  5204098 |      817  13677 |        0 |        0
1683.64/1684.15	c 1684s |      25 |  5306275 |  5209798 |      817  13689 |        0 |        0
1685.63/1686.17	c 1686s |      25 |  5312190 |  5215698 |      817  13701 |        0 |        0
1687.63/1688.19	c 1688s |      25 |  5318251 |  5221698 |      817  13714 |        0 |        0
1689.73/1690.23	c 1690s |      25 |  5324290 |  5227698 |      817  13726 |        0 |        0
1691.73/1692.27	c 1692s |      25 |  5330487 |  5233798 |      817  13739 |        0 |        0
1693.83/1694.30	c 1694s |      25 |  5336344 |  5239598 |      817  13751 |        0 |        0
1695.84/1696.31	c 1696s |      25 |  5342188 |  5245398 |      817  13763 |        0 |        0
1697.83/1698.34	c 1698s |      25 |  5348765 |  5251898 |      817  13776 |        0 |        0
1699.83/1700.35	c 1700s |      25 |  5354946 |  5257998 |      817  13788 |        0 |        0
1701.83/1702.37	c 1702s |      25 |  5361203 |  5264198 |      817  13801 |        0 |        0
1703.83/1704.39	c 1704s |      25 |  5367199 |  5270098 |      817  13813 |        0 |        0
1705.93/1706.40	c 1706s |      25 |  5373184 |  5275998 |      817  13825 |        0 |        0
1707.93/1708.42	c 1708s |      25 |  5379241 |  5281998 |      817  13838 |        0 |        0
1709.93/1710.44	c 1710s |      25 |  5385093 |  5287798 |      817  13850 |        0 |        0
1711.93/1712.44	c 1712s |      25 |  5390997 |  5293598 |      817  13862 |        0 |        0
1713.93/1714.46	c 1714s |      25 |  5397139 |  5299598 |      817  13874 |        0 |        0
1715.92/1716.47	c 1716s |      25 |  5403227 |  5305598 |      817  13886 |        0 |        0
1717.92/1718.48	c 1718s |      25 |  5409306 |  5311498 |      817  13899 |        0 |        0
1719.93/1720.49	c 1720s |      25 |  5415513 |  5317598 |      817  13911 |        0 |        0
1721.92/1722.49	c 1722s |      25 |  5421496 |  5323498 |      817  13923 |        0 |        0
1724.02/1724.53	c 1724s |      25 |  5427455 |  5329398 |      817  13936 |        0 |        0
1726.02/1726.56	c 1726s |      25 |  5433334 |  5335198 |      817  13948 |        0 |        0
1728.02/1728.59	c 1728s |      25 |  5439189 |  5340998 |      817  13960 |        0 |        0
1730.12/1730.63	c 1730s |      25 |  5445014 |  5346798 |      817  13972 |        0 |        0
1732.13/1732.64	c 1732s |      25 |  5451370 |  5353098 |      817  13985 |        0 |        0
1734.12/1734.65	c 1734s |      25 |  5457611 |  5359298 |      817  13997 |        0 |        0
1736.12/1736.66	c 1736s |      25 |  5463896 |  5365498 |      817  14010 |        0 |        0
1738.12/1738.68	c 1738s |      25 |  5470037 |  5371598 |      817  14023 |        0 |        0
1740.12/1740.68	c 1740s |      25 |  5475865 |  5377398 |      817  14035 |        0 |        0
1742.12/1742.69	c 1742s |      25 |  5481799 |  5383298 |      817  14047 |        0 |        0
1744.12/1744.69	c 1744s |      25 |  5487555 |  5388998 |      817  14059 |        0 |        0
1746.22/1746.70	c 1746s |      25 |  5493142 |  5394498 |      817  14070 |        0 |        0
1748.22/1748.73	c 1748s |      25 |  5498993 |  5400198 |      817  14082 |        0 |        0
1750.23/1750.76	c 1750s |      25 |  5504806 |  5405898 |      817  14094 |        0 |        0
1752.22/1752.79	c 1752s |      25 |  5510692 |  5411698 |      817  14106 |        0 |        0
1754.32/1754.81	c 1754s |      25 |  5516342 |  5417298 |      817  14117 |        0 |        0
1756.33/1756.85	c 1756s |      25 |  5522336 |  5423198 |      817  14130 |        0 |        0
1758.32/1758.88	c 1758s |      25 |  5528080 |  5428898 |      817  14141 |        0 |        0
1760.32/1760.89	c 1760s |      25 |  5533510 |  5434298 |      817  14153 |        0 |        0
1762.42/1762.90	c 1762s |      25 |  5539064 |  5439798 |      817  14164 |        0 |        0
1764.42/1764.92	c 1764s |      25 |  5544755 |  5445398 |      817  14176 |        0 |        0
1766.42/1766.93	c 1766s |      25 |  5550400 |  5450998 |      817  14187 |        0 |        0
1768.43/1768.93	c 1768s |      25 |  5556003 |  5456498 |      817  14199 |        0 |        0
1770.42/1770.94	c 1770s |      25 |  5561710 |  5462098 |      817  14210 |        0 |        0
1772.42/1772.97	c 1772s |      25 |  5567334 |  5467598 |      817  14222 |        0 |        0
1774.52/1775.00	c 1774s |      25 |  5573021 |  5473198 |      817  14233 |        0 |        0
1776.52/1777.04	c 1777s |      25 |  5578613 |  5478698 |      817  14245 |        0 |        0
1778.52/1779.08	c 1779s |      25 |  5584195 |  5484198 |      817  14256 |        0 |        0
1780.62/1781.11	c 1781s |      25 |  5589915 |  5489698 |      817  14268 |        0 |        0
1782.63/1783.11	c 1783s |      25 |  5595414 |  5495098 |      817  14279 |        0 |        0
1784.62/1785.13	c 1785s |      25 |  5601027 |  5500598 |      817  14290 |        0 |        0
1786.62/1787.16	c 1787s |      25 |  5606521 |  5505998 |      817  14301 |        0 |        0
1788.62/1789.19	c 1789s |      25 |  5611991 |  5511398 |      817  14313 |        0 |        0
1790.72/1791.22	c 1791s |      25 |  5617424 |  5516698 |      817  14324 |        0 |        0
1792.72/1793.22	c 1793s |      25 |  5622832 |  5521998 |      817  14335 |        0 |        0
1794.72/1795.25	c 1795s |      25 |  5628464 |  5527498 |      817  14346 |        0 |        0
1796.71/1797.26	c 1797s |      25 |  5634891 |  5533698 |      817  14359 |        0 |        0
1798.71/1799.29	c 1799s |      25 |  5641188 |  5539698 |      817  14371 |        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-4079755-1465245536/watcher-4079755-1465245536 -o /tmp/evaluation-result-4079755-1465245536/solver-4079755-1465245536 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079755-1465245536.opb 

pid=5806
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.20 2.16 2.10 3/179 5809
/proc/meminfo: memFree=30321460/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=673212 CPUtime=0 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 2499 0 0 0 0 0 0 0 20 0 4 0 106488530 689369088 3371 33554432000 4194304 16246674 140734406888368 140734406887792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5809/statm: 168815 3381 441 2943 0 165709 0
[pid=5809/tid=5810] ppid=5806 vsize=690620 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 707194880 3440 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=694716 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 711389184 3456 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 715583488 3472 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.20 2.16 2.10 3/179 5809
/proc/meminfo: memFree=30321460/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 20715 0 0 0 5 3 0 0 20 0 4 0 106488530 1247350784 21573 33554432000 4194304 16246674 140734406888368 140734406887792 5712452 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5809/statm: 304529 21577 769 2943 0 301423 0
[pid=5809/tid=5810] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 21581 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 21587 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 21595 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200511 s]
/proc/loadavg: 2.20 2.16 2.10 3/179 5809
/proc/meminfo: memFree=30321460/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 38563 0 0 0 13 6 0 0 20 0 4 0 106488530 1247350784 39422 33554432000 4194304 16246674 140734406888368 140734406887792 12874965 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5809/statm: 304529 39426 769 2943 0 301423 0
[pid=5809/tid=5810] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 39430 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 39434 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 39438 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300419 s]
/proc/loadavg: 2.20 2.16 2.10 3/179 5809
/proc/meminfo: memFree=30321460/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 55968 0 0 0 20 9 0 0 20 0 4 0 106488530 1247350784 56826 33554432000 4194304 16246674 140734406888368 140734406887792 5712452 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5809/statm: 304529 56831 769 2943 0 301423 0
[pid=5809/tid=5810] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 56839 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 56846 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 56850 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700293 s]
/proc/loadavg: 2.20 2.16 2.10 3/179 5809
/proc/meminfo: memFree=30321460/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 128976 0 0 0 49 20 0 0 20 0 4 0 106488530 1247350784 129834 33554432000 4194304 16246674 140734406888368 140734406870272 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 304529 129840 769 2943 0 301423 0
[pid=5809/tid=5810] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 129842 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 129848 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1247350784 129851 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 5862
/proc/meminfo: memFree=30346480/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 245779 0 0 0 111 37 0 0 20 0 4 0 106488530 1248399360 246615 33554432000 4194304 16246674 140734406888368 140734406870272 5572228 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 304785 246615 831 2943 0 301679 0
[pid=5809/tid=5810] ppid=5806 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1248399360 246615 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1248399360 246615 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1248399360 246615 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 5862
/proc/meminfo: memFree=29378892/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 267499 0 0 0 270 39 0 0 20 0 4 0 106488530 1337528320 268335 33554432000 4194304 16246674 140734406888368 140734406870272 7252925 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 326545 268335 831 2943 0 323439 0
[pid=5809/tid=5810] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268335 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268335 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268335 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.19 2.16 2.10 3/183 5862
/proc/meminfo: memFree=29285776/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 267613 0 0 0 590 39 0 0 20 0 4 0 106488530 1337528320 268449 33554432000 4194304 16246674 140734406888368 140734406871368 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 326545 268449 831 2943 0 323439 0
[pid=5809/tid=5810] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268449 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268449 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268449 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.17 2.16 2.09 3/183 5862
/proc/meminfo: memFree=29284800/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 267617 0 0 0 1229 39 0 0 20 0 4 0 106488530 1337528320 268453 33554432000 4194304 16246674 140734406888368 140734406871368 6020849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 326545 268453 832 2943 0 323439 0
[pid=5809/tid=5810] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268453 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268453 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268453 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.13 2.15 2.09 4/183 5862
/proc/meminfo: memFree=29285460/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 267619 0 0 0 2509 39 0 0 20 0 4 0 106488530 1337528320 268455 33554432000 4194304 16246674 140734406888368 140734406870272 5546243 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 326545 268455 834 2943 0 323439 0
[pid=5809/tid=5810] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268455 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268455 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1337528320 268455 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.15 2.15 2.09 3/183 5862
/proc/meminfo: memFree=29285260/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1307204 CPUtime=51.07 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 267649 0 0 0 5068 39 0 0 20 0 4 0 106488530 1338576896 268478 33554432000 4194304 16246674 140734406888368 140734406870272 5663122 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 326801 268478 835 2943 0 323695 0
[pid=5809/tid=5810] ppid=5806 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1338576896 268478 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1338576896 268478 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1338576896 268478 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/184 5866
/proc/meminfo: memFree=29284840/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1307204 CPUtime=102.26 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 267697 0 0 0 10186 40 0 0 20 0 4 0 106488530 1338576896 268517 33554432000 4194304 16246674 140734406888368 140734406870272 6020736 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 326801 268517 836 2943 0 323695 0
[pid=5809/tid=5810] ppid=5806 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1338576896 268517 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1338576896 268517 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1338576896 268517 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1307204


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

/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/184 5920
/proc/meminfo: memFree=29280064/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1308228 CPUtime=1361.88 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 268274 0 0 0 136136 52 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 140734406870272 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 327057 268788 837 2943 0 323951 0
[pid=5809/tid=5810] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 5921
/proc/meminfo: memFree=29280188/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1308228 CPUtime=1421.88 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 268274 0 0 0 142135 53 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 140734406871368 5553760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 327057 268788 837 2943 0 323951 0
[pid=5809/tid=5810] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.22 2.14 2.10 3/183 5922
/proc/meminfo: memFree=29279696/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1308228 CPUtime=1481.86 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 268274 0 0 0 148133 53 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 140734406870272 12483376 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 327057 268788 837 2943 0 323951 0
[pid=5809/tid=5810] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268788 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 5924
/proc/meminfo: memFree=29279572/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1308228 CPUtime=1541.86 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 268293 0 0 0 154132 54 0 0 20 0 4 0 106488530 1339625472 268807 33554432000 4194304 16246674 140734406888368 140734406870272 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 327057 268807 837 2943 0 323951 0
[pid=5809/tid=5810] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268807 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268807 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268807 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/183 5925
/proc/meminfo: memFree=29279452/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1308228 CPUtime=1601.85 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 268365 0 0 0 160130 55 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 140734406870272 5659404 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 327057 268879 837 2943 0 323951 0
[pid=5809/tid=5810] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 5926
/proc/meminfo: memFree=29279820/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1308228 CPUtime=1661.83 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 268365 0 0 0 166128 55 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 140734406870272 13192143 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 327057 268879 837 2943 0 323951 0
[pid=5809/tid=5810] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.28 2.15 2.10 3/183 5927
/proc/meminfo: memFree=29279448/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1308228 CPUtime=1721.82 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 268365 0 0 0 172126 56 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 140734406870272 5724527 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 327057 268879 837 2943 0 323951 0
[pid=5809/tid=5810] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1339625472 268879 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.18 2.15 2.10 3/183 5928
/proc/meminfo: memFree=29278564/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1309252 CPUtime=1781.82 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 268466 0 0 0 178125 57 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 140734406870272 5600080 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 327313 268982 837 2943 0 324207 0
[pid=5809/tid=5810] ppid=5806 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.20 2.15 2.10 3/183 5928
/proc/meminfo: memFree=29278568/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1309252 CPUtime=1800.01 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 268466 0 0 0 179944 57 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 140734406870272 5553752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 327313 268982 837 2943 0 324207 0
[pid=5809/tid=5810] ppid=5806 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1309252

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

[startup+1800.5 s]
/proc/loadavg: 2.20 2.15 2.10 3/183 5928
/proc/meminfo: memFree=29278568/32872528 swapFree=13600/559348
[pid=5809] ppid=5806 vsize=1309252 CPUtime=1800.01 cores=1,3,5,7
/proc/5809/stat : 5809 (toysat) R 5806 5809 1842 0 -1 4202496 268466 0 0 0 179944 57 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 140734406870272 5553752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5809/statm: 327313 268982 837 2943 0 324207 0
[pid=5809/tid=5810] ppid=5806 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5810/stat : 5810 (toysat) S 5806 5809 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 139876643089648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5809/tid=5811] ppid=5806 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5811/stat : 5811 (toysat) S 5806 5809 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 139876632599792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5809/tid=5812] ppid=5806 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5809/task/5812/stat : 5812 (toysat) S 5806 5809 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488530 1340674048 268982 33554432000 4194304 16246674 140734406888368 139876548734128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1309252

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.45
CPU system time (s): 0.573912
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.573912
maximum resident set size= 1075928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268466
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= 336
involuntary context switches= 1863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52031 second user time and 7.00993 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 22:38:56
IDJOB=4079755
IDBENCH=2920
IDSOLVER=2542
FILE ID=node106/4079755-1465245536
RUNJOBID= node106-1465219870-1859
PBS_JOBID= 19843217
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27
RANDOM SEED=493367237

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30322352 kB
Buffers:           47680 kB
Cached:           131364 kB
SwapCached:         1844 kB
Active:          1190968 kB
Inactive:          98236 kB
Active(anon):    1110996 kB
Inactive(anon):     1280 kB
Active(file):      79972 kB
Inactive(file):    96956 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098536 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:       1668244 kB
Mapped:            10492 kB
Shmem:                 0 kB
Slab:             568192 kB
SReclaimable:      12596 kB
SUnreclaim:       555596 kB
KernelStack:        1480 kB
PageTables:         7116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1814160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1638400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-06 23:08:56