Trace number 4079753

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_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
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:58+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-4079753-1465245537.opb"]
0.00/0.01	c use --random-gen="2931450215 3545326775 3708733605 3011419453 1632303376 1292266972 856934671 3864218008 914312518 148669718 2544821024 754216777 2237998039 1585117559 1242401815 936852776 2666158946 1049301671 2619251489 2286686655 3529903775 2646364367 2080332250 3001171152 3773662098 4137085745 4095843498 3734215675 3418160763 2511974889 3522643517 1212516404 156052954 2908985036 2556894573 43038660 1771733611 435123263 650256327 3286089811 1238908393 221335690 4010782500 2313785961 1509635434 2270353389 1161521127 3059452175 3290787471 2665369852 26759475 2119341250 1672355308 3109310474 2323493616 3825910526 28900645 2526110156 2039329529 1343576505 959438495 1401494377 965379338 748779292 3337274281 1235789823 4223008656 3050292026 2776689166 2346433838 1136142608 792306747 2128105446 1491819719 2641218665 1985406317 1953195276 2348276974 308290464 1411055036 4248107290 4290233449 2626633393 257968782 2824616798 1243878043 4082945653 2639694822 4144099802 2050081166 584911975 3660426080 2406829423 3094105450 316733263 927552040 776147833 3027093620 4242103955 2832704874 785304986 802001221 643233303 4131026525 4068446154 793971935 471869187 1081230184 3262750749 2466602486 1905656733 1179834619 826274160 2253597783 3589554306 2401598344 378909137 2057486858 2322341644 2402789356 2059981542 1212510233 1104743658 1718465755 3983436319 4159524763 169840582 3224252641 6908103 2720803069 1040639741 2248257933 592510400 179072378 3433027277 181868875 1803990851 1248693518 1617045866 4015974408 3583560035 1530367327 1393106466 3590861090 402660693 4218620911 2283794840 1262982173 1657248392 2381078729 112199545 1993918417 1552160701 2563209464 161702073 1095959335 4138561685 3740012327 1917147935 191285690 3944285377 2082099833 1173110583 1348454327 2094548431 1699796581 2753308570 1392663274 4179163576 690215932 1866412021 2631564138 3917227716 798760642 2999383445 825018973 2081482268 2261669551 3980598724 1207753161 3224160292 1525948047 4087692941 1881008293 2586400742 1302310299 1259935838 3115396799 1027318289 1314140039 2811086478 2712621231 1340289734 2959610242 3259710846 3835091290 3207765465 73411747 3179347040 3538116214 3478915738 1397213194 3861289915 1354072192 2746520726 2878758462 2896706567 414366355 3471142792 588370180 1980825501 917618637 3982072658 4051314671 2395129326 3542904259 1663146217 230222689 4101956653 2563235250 1068607199 561719392 2348850557 2461904181 1364156443 805341011 1651397952 1197522480 337664200 4064047985 1619995101 2009051511 2994105605 363213365 1852787414 728222064 2357212469 4119534983 1971698592 676306228 1263277797 1220966680 1587560420 2972933182 2747901876 1984692902 841198118 4292102449 501533856 2798442702 2271948813 2559459239 3820768982 3212073174 414841782 373440640 255 362436" option to reproduce the execution
0.00/0.01	c #vars 172
0.00/0.01	c #constraints 14
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       62      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       76 |        0 |       62      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 = 76
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 2925
0.00/0.02	c BCD2: updating upper bound: 3570 -> 2924
0.00/0.02	c BCD2: 0 <= obj <= 2924
0.00/0.02	c BCD2: #cores=0, #unrelaxed=112, #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 |       62      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      250 |      100 |       62      0 |        0 |        0
0.09/0.10	c  0.1s |       2 |      552 |      250 |       69      1 |        0 |        0
0.09/0.19	c  0.2s |       3 |      941 |      475 |       76      4 |        0 |        0
0.28/0.32	c  0.3s |       4 |     1431 |      813 |       84      8 |        0 |        0
0.49/0.56	c  0.5s |       5 |     2096 |     1320 |       93     12 |        0 |        0
0.79/0.81	c  0.8s |       6 |     3006 |     2081 |      114     19 |        0 |        0
1.20/1.25	c  1.2s |       7 |     4324 |     3223 |      126     28 |        0 |        0
1.58/1.68	c  1.7s |       8 |     6219 |     4936 |      139     41 |        0 |        0
2.30/2.34	c  2.3s |       9 |     8983 |     7506 |      153     59 |        0 |        0
3.19/3.24	c  3.2s |      10 |    13058 |    11361 |      169     86 |        0 |        0
4.50/4.57	c  4.6s |      11 |    19062 |    17144 |      186    123 |        0 |        0
6.49/6.59	c  6.6s |      11 |    27449 |    25144 |      186    173 |        0 |        0
6.69/6.76	c  6.7s |      12 |    28132 |    25819 |      205    177 |        0 |        0
8.69/8.77	c  8.7s |      12 |    36022 |    33419 |      205    221 |        0 |        0
10.09/10.15	c 10.1s |      13 |    41491 |    38832 |      226    253 |        0 |        0
12.10/12.16	c 12.1s |      13 |    49682 |    46732 |      226    296 |        0 |        0
14.09/14.16	c 14.1s |      13 |    57720 |    54632 |      226    340 |        0 |        0
15.09/15.10	c 15.1s |      14 |    61478 |    58352 |      249    360 |        0 |        0
17.09/17.12	c 17.1s |      14 |    69522 |    66152 |      249    400 |        0 |        0
19.09/19.12	c 19.1s |      14 |    77805 |    74252 |      249    442 |        0 |        0
21.08/21.14	c 21.1s |      14 |    86061 |    82352 |      249    484 |        0 |        0
22.49/22.50	c 22.5s |      15 |    91444 |    87632 |      274    511 |        0 |        0
24.49/24.51	c 24.5s |      15 |   100150 |    95932 |      274    551 |        0 |        0
26.50/26.53	c 26.5s |      15 |   108498 |   104132 |      274    591 |        0 |        0
28.49/28.53	c 28.5s |      15 |   116825 |   112232 |      274    630 |        0 |        0
30.48/30.53	c 30.5s |      15 |   124411 |   119732 |      274    667 |        0 |        0
32.48/32.56	c 32.5s |      15 |   132027 |   127232 |      274    704 |        0 |        0
33.68/33.71	c 33.7s |      16 |   136425 |   131552 |      302    725 |        0 |        0
35.68/35.73	c 35.7s |      16 |   144429 |   139252 |      302    760 |        0 |        0
37.68/37.75	c 37.7s |      16 |   151974 |   146652 |      302    794 |        0 |        0
39.69/39.75	c 39.7s |      16 |   159582 |   154152 |      302    828 |        0 |        0
41.69/41.75	c 41.7s |      16 |   167224 |   161652 |      302    862 |        0 |        0
43.69/43.76	c 43.7s |      16 |   174986 |   169252 |      302    897 |        0 |        0
45.68/45.77	c 45.8s |      16 |   182854 |   176952 |      302    932 |        0 |        0
47.68/47.79	c 47.8s |      16 |   190510 |   184452 |      302    967 |        0 |        0
49.68/49.79	c 49.8s |      16 |   199135 |   192952 |      302   1006 |        0 |        0
50.78/50.89	c 50.9s |      17 |   203689 |   197432 |      333   1025 |        0 |        0
52.89/52.91	c 52.9s |      17 |   211462 |   204932 |      333   1057 |        0 |        0
54.88/54.93	c 54.9s |      17 |   219249 |   212532 |      333   1090 |        0 |        0
56.88/56.94	c 56.9s |      17 |   227102 |   220232 |      333   1123 |        0 |        0
58.88/58.96	c 58.9s |      17 |   234722 |   227732 |      333   1154 |        0 |        0
60.88/60.96	c 60.9s |      17 |   242336 |   235232 |      333   1187 |        0 |        0
62.88/62.98	c 63.0s |      17 |   250204 |   242932 |      333   1220 |        0 |        0
64.88/65.00	c 65.0s |      17 |   258199 |   250832 |      333   1253 |        0 |        0
66.98/67.02	c 67.0s |      17 |   266284 |   258732 |      333   1287 |        0 |        0
68.98/69.03	c 69.0s |      17 |   274318 |   266632 |      333   1321 |        0 |        0
70.98/71.05	c 71.0s |      17 |   282151 |   274332 |      333   1354 |        0 |        0
72.98/73.07	c 73.1s |      17 |   290309 |   282332 |      333   1389 |        0 |        0
74.98/75.08	c 75.1s |      17 |   298115 |   290032 |      333   1422 |        0 |        0
76.67/76.71	c 76.7s |      18 |   304437 |   296252 |      367   1448 |        0 |        0
78.67/78.73	c 78.7s |      18 |   312626 |   304152 |      367   1479 |        0 |        0
80.67/80.75	c 80.7s |      18 |   320851 |   312252 |      367   1512 |        0 |        0
82.67/82.76	c 82.7s |      18 |   329084 |   320352 |      367   1544 |        0 |        0
84.68/84.78	c 84.8s |      18 |   337179 |   328352 |      367   1576 |        0 |        0
86.67/86.79	c 86.8s |      18 |   344886 |   335952 |      367   1606 |        0 |        0
88.77/88.81	c 88.8s |      18 |   352930 |   343852 |      367   1637 |        0 |        0
90.77/90.82	c 90.8s |      18 |   361192 |   351952 |      367   1670 |        0 |        0
92.77/92.83	c 92.8s |      18 |   369129 |   359752 |      367   1701 |        0 |        0
94.78/94.85	c 94.8s |      18 |   377192 |   367652 |      367   1732 |        0 |        0
96.78/96.87	c 96.9s |      18 |   385046 |   375352 |      367   1763 |        0 |        0
98.78/98.87	c 98.9s |      18 |   393108 |   383252 |      367   1795 |        0 |        0
100.78/100.89	c  100s |      18 |   401132 |   391152 |      367   1826 |        0 |        0
102.88/102.91	c  102s |      18 |   409453 |   399252 |      367   1859 |        0 |        0
104.88/104.92	c  104s |      18 |   417372 |   407052 |      367   1890 |        0 |        0
106.87/106.95	c  106s |      18 |   425209 |   414752 |      367   1921 |        0 |        0
108.88/108.97	c  108s |      18 |   432931 |   422352 |      367   1951 |        0 |        0
110.87/110.98	c  110s |      18 |   441351 |   430652 |      367   1984 |        0 |        0
112.87/112.99	c  112s |      18 |   449068 |   438252 |      367   2015 |        0 |        0
114.48/114.57	c  114s |      19 |   455420 |   444482 |      404   2039 |        0 |        0
116.47/116.58	c  116s |      19 |   463459 |   452182 |      404   2067 |        0 |        0
118.47/118.58	c  118s |      19 |   471463 |   460082 |      404   2096 |        0 |        0
120.47/120.58	c  120s |      19 |   479389 |   467882 |      404   2125 |        0 |        0
122.47/122.58	c  122s |      19 |   487138 |   475482 |      404   2153 |        0 |        0
124.57/124.61	c  124s |      19 |   494736 |   482982 |      404   2181 |        0 |        0
126.57/126.62	c  126s |      19 |   502247 |   490382 |      404   2209 |        0 |        0
128.57/128.64	c  128s |      19 |   511739 |   499682 |      404   2244 |        0 |        0
130.57/130.65	c  130s |      19 |   520355 |   508182 |      404   2275 |        0 |        0
132.56/132.66	c  132s |      19 |   528356 |   516082 |      404   2304 |        0 |        0
134.56/134.66	c  134s |      19 |   536386 |   523982 |      404   2334 |        0 |        0
136.57/136.68	c  136s |      19 |   544436 |   531882 |      404   2363 |        0 |        0
138.58/138.69	c  138s |      19 |   552128 |   539382 |      404   2391 |        0 |        0
140.67/140.71	c  140s |      19 |   559555 |   546682 |      404   2418 |        0 |        0
142.67/142.72	c  142s |      19 |   567121 |   554082 |      404   2446 |        0 |        0
144.66/144.72	c  144s |      19 |   574647 |   561482 |      404   2474 |        0 |        0
146.66/146.72	c  146s |      19 |   582147 |   568882 |      404   2501 |        0 |        0
148.67/148.74	c  148s |      19 |   589471 |   576082 |      404   2528 |        0 |        0
150.68/150.74	c  150s |      19 |   596929 |   583382 |      404   2555 |        0 |        0
152.67/152.77	c  152s |      19 |   604569 |   590882 |      404   2583 |        0 |        0
154.66/154.79	c  154s |      19 |   612082 |   598282 |      404   2610 |        0 |        0
156.66/156.79	c  156s |      19 |   619525 |   605582 |      404   2638 |        0 |        0
158.76/158.80	c  158s |      19 |   627032 |   612982 |      404   2665 |        0 |        0
160.77/160.81	c  160s |      19 |   635180 |   621082 |      404   2695 |        0 |        0
162.77/162.83	c  162s |      19 |   643508 |   629382 |      404   2726 |        0 |        0
164.76/164.85	c  164s |      19 |   651117 |   636882 |      404   2754 |        0 |        0
166.76/166.87	c  166s |      19 |   658658 |   644282 |      404   2781 |        0 |        0
168.76/168.88	c  168s |      19 |   666288 |   651782 |      404   2809 |        0 |        0
170.77/170.89	c  170s |      19 |   674515 |   659882 |      404   2840 |        0 |        0
172.57/172.69	c  172s |      20 |   681589 |   666827 |      445   2864 |        0 |        0
174.66/174.72	c  174s |      20 |   690231 |   675127 |      445   2893 |        0 |        0
176.66/176.72	c  176s |      20 |   698022 |   682727 |      445   2919 |        0 |        0
178.66/178.74	c  178s |      20 |   705802 |   690327 |      445   2945 |        0 |        0
180.66/180.77	c  180s |      20 |   713793 |   698127 |      445   2971 |        0 |        0
182.67/182.78	c  182s |      20 |   721150 |   705327 |      445   2996 |        0 |        0
184.66/184.78	c  184s |      20 |   728775 |   712827 |      445   3022 |        0 |        0
186.66/186.79	c  186s |      20 |   736708 |   720527 |      445   3049 |        0 |        0
188.76/188.81	c  188s |      20 |   744186 |   727827 |      445   3074 |        0 |        0
190.76/190.84	c  190s |      20 |   751698 |   735227 |      445   3100 |        0 |        0
192.76/192.84	c  192s |      20 |   759589 |   742927 |      445   3126 |        0 |        0
194.76/194.85	c  194s |      20 |   766978 |   750227 |      445   3151 |        0 |        0
196.76/196.88	c  196s |      20 |   774364 |   757527 |      445   3177 |        0 |        0
198.76/198.88	c  198s |      20 |   781796 |   764827 |      445   3202 |        0 |        0
200.76/200.89	c  200s |      20 |   789049 |   771927 |      445   3227 |        0 |        0
202.86/202.90	c  202s |      20 |   796232 |   779027 |      445   3251 |        0 |        0
204.86/204.90	c  204s |      20 |   803463 |   786127 |      445   3276 |        0 |        0
206.86/206.92	c  206s |      20 |   810559 |   793127 |      445   3300 |        0 |        0
208.85/208.93	c  208s |      20 |   818248 |   800727 |      445   3327 |        0 |        0
210.85/210.95	c  210s |      20 |   825750 |   808127 |      445   3352 |        0 |        0
212.85/212.97	c  212s |      20 |   833728 |   815927 |      445   3379 |        0 |        0
214.86/214.99	c  214s |      20 |   841556 |   823627 |      445   3405 |        0 |        0
216.96/217.00	c  216s |      20 |   849075 |   831027 |      445   3431 |        0 |        0
218.96/219.01	c  218s |      20 |   856564 |   838327 |      445   3456 |        0 |        0
220.95/221.03	c  221s |      20 |   863794 |   845427 |      445   3481 |        0 |        0
222.95/223.03	c  223s |      20 |   871119 |   852627 |      445   3506 |        0 |        0
224.95/225.05	c  225s |      20 |   878448 |   859827 |      445   3531 |        0 |        0
226.96/227.07	c  227s |      20 |   886049 |   867327 |      445   3557 |        0 |        0
228.96/229.09	c  229s |      20 |   893515 |   874627 |      445   3582 |        0 |        0
230.96/231.09	c  231s |      20 |   900794 |   881827 |      445   3607 |        0 |        0
233.05/233.11	c  233s |      20 |   908173 |   889127 |      445   3632 |        0 |        0
235.05/235.14	c  235s |      20 |   915446 |   896327 |      445   3658 |        0 |        0
237.05/237.16	c  237s |      20 |   922427 |   903227 |      445   3682 |        0 |        0
239.05/239.16	c  239s |      20 |   929746 |   910427 |      445   3707 |        0 |        0
241.06/241.16	c  241s |      20 |   937100 |   917627 |      445   3732 |        0 |        0
243.06/243.17	c  243s |      20 |   944413 |   924827 |      445   3757 |        0 |        0
245.06/245.18	c  245s |      20 |   951715 |   932027 |      445   3782 |        0 |        0
247.05/247.19	c  247s |      20 |   959222 |   939427 |      445   3807 |        0 |        0
249.15/249.21	c  249s |      20 |   966768 |   946827 |      445   3833 |        0 |        0
251.15/251.22	c  251s |      20 |   974276 |   954227 |      445   3859 |        0 |        0
253.15/253.24	c  253s |      20 |   981687 |   961527 |      445   3884 |        0 |        0
255.15/255.24	c  255s |      20 |   988732 |   968427 |      445   3908 |        0 |        0
257.15/257.24	c  257s |      20 |   995831 |   975327 |      445   3932 |        0 |        0
259.15/259.26	c  259s |      20 |  1003389 |   982727 |      445   3958 |        0 |        0
261.15/261.28	c  261s |      20 |  1011254 |   990427 |      445   3984 |        0 |        0
263.15/263.29	c  263s |      20 |  1018570 |   997627 |      490   4008 |        0 |        0
263.95/264.06	c  264s |      21 |  1021317 |  1000345 |      490   4017 |        0 |        0
265.94/266.08	c  266s |      21 |  1028863 |  1007545 |      490   4040 |        0 |        0
267.94/268.10	c  268s |      21 |  1036065 |  1014645 |      490   4063 |        0 |        0
270.05/270.12	c  270s |      21 |  1043180 |  1021645 |      490   4085 |        0 |        0
272.05/272.13	c  272s |      21 |  1050313 |  1028645 |      490   4107 |        0 |        0
274.04/274.15	c  274s |      21 |  1057532 |  1035645 |      490   4130 |        0 |        0
276.06/276.18	c  276s |      21 |  1064748 |  1042745 |      490   4152 |        0 |        0
278.05/278.18	c  278s |      21 |  1072015 |  1049945 |      490   4176 |        0 |        0
280.15/280.20	c  280s |      21 |  1078886 |  1056745 |      490   4198 |        0 |        0
282.15/282.22	c  282s |      21 |  1086000 |  1063745 |      490   4220 |        0 |        0
284.14/284.23	c  284s |      21 |  1092984 |  1070645 |      490   4242 |        0 |        0
286.14/286.24	c  286s |      21 |  1100295 |  1077845 |      490   4265 |        0 |        0
288.15/288.27	c  288s |      21 |  1107511 |  1084845 |      490   4288 |        0 |        0
290.15/290.28	c  290s |      21 |  1114648 |  1091845 |      490   4310 |        0 |        0
292.24/292.31	c  292s |      21 |  1121753 |  1098845 |      490   4333 |        0 |        0
294.24/294.32	c  294s |      21 |  1128784 |  1105745 |      490   4355 |        0 |        0
296.25/296.33	c  296s |      21 |  1135637 |  1112445 |      490   4376 |        0 |        0
298.24/298.34	c  298s |      21 |  1142832 |  1119545 |      490   4399 |        0 |        0
300.25/300.35	c  300s |      21 |  1149867 |  1126445 |      490   4421 |        0 |        0
302.24/302.36	c  302s |      21 |  1156822 |  1133245 |      490   4443 |        0 |        0
304.24/304.36	c  304s |      21 |  1164348 |  1140645 |      490   4467 |        0 |        0
306.24/306.36	c  306s |      21 |  1171335 |  1147545 |      490   4490 |        0 |        0
308.25/308.38	c  308s |      21 |  1178597 |  1154645 |      490   4513 |        0 |        0
310.25/310.39	c  310s |      21 |  1185516 |  1161445 |      490   4535 |        0 |        0
312.24/312.40	c  312s |      21 |  1193298 |  1169145 |      490   4559 |        0 |        0
314.34/314.41	c  314s |      21 |  1201234 |  1176945 |      490   4584 |        0 |        0
316.34/316.42	c  316s |      21 |  1208953 |  1184545 |      490   4608 |        0 |        0
318.34/318.44	c  318s |      21 |  1216565 |  1192045 |      490   4632 |        0 |        0
320.34/320.46	c  320s |      21 |  1224179 |  1199545 |      490   4656 |        0 |        0
322.34/322.47	c  322s |      21 |  1231481 |  1206745 |      490   4679 |        0 |        0
324.33/324.48	c  324s |      21 |  1238892 |  1213945 |      490   4702 |        0 |        0
326.34/326.49	c  326s |      21 |  1246187 |  1221045 |      490   4725 |        0 |        0
328.44/328.51	c  328s |      21 |  1253391 |  1228045 |      490   4747 |        0 |        0
330.44/330.52	c  330s |      21 |  1260472 |  1234945 |      490   4769 |        0 |        0
332.44/332.54	c  332s |      21 |  1267657 |  1242045 |      490   4792 |        0 |        0
334.44/334.56	c  334s |      21 |  1274779 |  1249045 |      490   4814 |        0 |        0
336.43/336.57	c  336s |      21 |  1281609 |  1255745 |      490   4836 |        0 |        0
338.44/338.58	c  338s |      21 |  1288403 |  1262445 |      490   4857 |        0 |        0
340.44/340.58	c  340s |      21 |  1295209 |  1269145 |      490   4879 |        0 |        0
342.44/342.58	c  342s |      21 |  1302268 |  1276045 |      490   4901 |        0 |        0
344.44/344.58	c  344s |      21 |  1309360 |  1282945 |      490   4923 |        0 |        0
346.44/346.60	c  346s |      21 |  1316283 |  1289745 |      490   4945 |        0 |        0
348.53/348.62	c  348s |      21 |  1323297 |  1296645 |      490   4967 |        0 |        0
350.53/350.62	c  350s |      21 |  1330185 |  1303445 |      490   4989 |        0 |        0
352.54/352.62	c  352s |      21 |  1337325 |  1310445 |      490   5012 |        0 |        0
354.54/354.63	c  354s |      21 |  1344254 |  1317245 |      490   5034 |        0 |        0
356.54/356.65	c  356s |      21 |  1351280 |  1324145 |      490   5056 |        0 |        0
358.54/358.66	c  358s |      21 |  1358469 |  1331045 |      490   5078 |        0 |        0
360.53/360.66	c  360s |      21 |  1365500 |  1337945 |      490   5100 |        0 |        0
362.53/362.67	c  362s |      21 |  1373589 |  1345945 |      490   5126 |        0 |        0
364.53/364.68	c  364s |      21 |  1381705 |  1353845 |      490   5151 |        0 |        0
366.53/366.69	c  366s |      21 |  1389540 |  1361445 |      490   5176 |        0 |        0
368.63/368.71	c  368s |      21 |  1397420 |  1369145 |      490   5201 |        0 |        0
370.64/370.74	c  370s |      21 |  1404801 |  1376345 |      490   5224 |        0 |        0
372.64/372.75	c  372s |      21 |  1411933 |  1383345 |      490   5246 |        0 |        0
374.63/374.78	c  374s |      21 |  1419040 |  1390345 |      490   5269 |        0 |        0
376.73/376.80	c  376s |      21 |  1426361 |  1397545 |      490   5292 |        0 |        0
378.73/378.83	c  378s |      21 |  1433517 |  1404545 |      490   5314 |        0 |        0
380.73/380.85	c  380s |      21 |  1440486 |  1411445 |      490   5337 |        0 |        0
382.73/382.88	c  382s |      21 |  1447587 |  1418445 |      490   5359 |        0 |        0
384.83/384.90	c  384s |      21 |  1455175 |  1425945 |      490   5383 |        0 |        0
386.83/386.92	c  386s |      21 |  1462420 |  1433045 |      490   5406 |        0 |        0
388.83/388.93	c  388s |      21 |  1469593 |  1439845 |      490   5428 |        0 |        0
390.83/390.95	c  390s |      21 |  1476567 |  1446645 |      490   5450 |        0 |        0
392.83/392.96	c  392s |      21 |  1483348 |  1453345 |      490   5472 |        0 |        0
394.84/394.99	c  394s |      21 |  1490235 |  1460145 |      490   5494 |        0 |        0
396.93/397.01	c  396s |      21 |  1497245 |  1466945 |      490   5516 |        0 |        0
398.93/399.02	c  399s |      21 |  1504318 |  1473845 |      490   5538 |        0 |        0
400.92/401.04	c  401s |      21 |  1511334 |  1480745 |      490   5560 |        0 |        0
402.92/403.06	c  403s |      21 |  1518122 |  1487445 |      490   5582 |        0 |        0
404.93/405.08	c  405s |      21 |  1524910 |  1494045 |      539   5602 |        0 |        0
406.94/407.08	c  407s |      21 |  1531464 |  1500445 |      539   5622 |        0 |        0
407.04/407.13	c  407s |      22 |  1531640 |  1500622 |      539   5622 |        0 |        0
409.03/409.15	c  409s |      22 |  1538996 |  1507622 |      539   5643 |        0 |        0
411.03/411.15	c  411s |      22 |  1546099 |  1514522 |      539   5663 |        0 |        0
413.03/413.17	c  413s |      22 |  1553174 |  1521422 |      539   5684 |        0 |        0
415.02/415.18	c  415s |      22 |  1560385 |  1528422 |      539   5705 |        0 |        0
417.02/417.18	c  417s |      22 |  1567460 |  1535322 |      539   5725 |        0 |        0
419.03/419.18	c  419s |      22 |  1574417 |  1542122 |      539   5745 |        0 |        0
421.12/421.21	c  421s |      22 |  1581548 |  1549022 |      539   5766 |        0 |        0
423.12/423.22	c  423s |      22 |  1588621 |  1555922 |      539   5787 |        0 |        0
425.13/425.22	c  425s |      22 |  1595470 |  1562622 |      539   5807 |        0 |        0
427.12/427.24	c  427s |      22 |  1602648 |  1569622 |      539   5828 |        0 |        0
429.12/429.25	c  429s |      22 |  1609545 |  1576422 |      539   5848 |        0 |        0
431.13/431.27	c  431s |      22 |  1616538 |  1583322 |      539   5869 |        0 |        0
433.22/433.30	c  433s |      22 |  1623720 |  1590322 |      539   5890 |        0 |        0
435.22/435.31	c  435s |      22 |  1631222 |  1597622 |      539   5911 |        0 |        0
437.22/437.31	c  437s |      22 |  1638495 |  1604722 |      539   5932 |        0 |        0
439.23/439.34	c  439s |      22 |  1645588 |  1611622 |      539   5953 |        0 |        0
441.22/441.36	c  441s |      22 |  1652609 |  1618522 |      539   5973 |        0 |        0
443.23/443.38	c  443s |      22 |  1659730 |  1625522 |      539   5994 |        0 |        0
445.32/445.40	c  445s |      22 |  1666758 |  1632422 |      539   6015 |        0 |        0
447.32/447.42	c  447s |      22 |  1673834 |  1639322 |      539   6035 |        0 |        0
449.32/449.43	c  449s |      22 |  1680518 |  1645922 |      539   6055 |        0 |        0
451.32/451.46	c  451s |      22 |  1687766 |  1652922 |      539   6076 |        0 |        0
453.32/453.48	c  453s |      22 |  1695017 |  1659922 |      539   6097 |        0 |        0
455.33/455.49	c  455s |      22 |  1702138 |  1666922 |      539   6118 |        0 |        0
457.42/457.50	c  457s |      22 |  1709276 |  1673822 |      539   6138 |        0 |        0
459.42/459.53	c  459s |      22 |  1715959 |  1680422 |      539   6158 |        0 |        0
461.42/461.54	c  461s |      22 |  1722859 |  1687222 |      539   6179 |        0 |        0
463.42/463.54	c  463s |      22 |  1729534 |  1693822 |      539   6199 |        0 |        0
465.42/465.55	c  465s |      22 |  1736948 |  1701122 |      539   6220 |        0 |        0
467.42/467.57	c  467s |      22 |  1743847 |  1707922 |      539   6241 |        0 |        0
469.41/469.58	c  469s |      22 |  1751042 |  1715022 |      539   6262 |        0 |        0
471.52/471.61	c  471s |      22 |  1758341 |  1722222 |      539   6283 |        0 |        0
473.52/473.64	c  473s |      22 |  1765618 |  1729322 |      539   6304 |        0 |        0
475.52/475.64	c  475s |      22 |  1772672 |  1736222 |      539   6325 |        0 |        0
477.52/477.65	c  477s |      22 |  1779678 |  1743122 |      539   6346 |        0 |        0
479.52/479.68	c  479s |      22 |  1786882 |  1750222 |      539   6367 |        0 |        0
481.51/481.69	c  481s |      22 |  1793870 |  1757122 |      539   6387 |        0 |        0
483.62/483.71	c  483s |      22 |  1800772 |  1763922 |      539   6407 |        0 |        0
485.62/485.73	c  485s |      22 |  1807575 |  1770622 |      539   6427 |        0 |        0
487.62/487.73	c  487s |      22 |  1814177 |  1777122 |      539   6447 |        0 |        0
489.61/489.75	c  489s |      22 |  1820907 |  1783722 |      539   6467 |        0 |        0
491.62/491.77	c  491s |      22 |  1828089 |  1790722 |      539   6488 |        0 |        0
493.62/493.78	c  493s |      22 |  1835079 |  1797522 |      539   6508 |        0 |        0
495.62/495.79	c  495s |      22 |  1841960 |  1804222 |      539   6528 |        0 |        0
497.61/497.79	c  497s |      22 |  1849156 |  1811222 |      539   6548 |        0 |        0
499.71/499.81	c  499s |      22 |  1856085 |  1818022 |      539   6569 |        0 |        0
501.71/501.82	c  501s |      22 |  1862781 |  1824622 |      539   6588 |        0 |        0
503.72/503.82	c  503s |      22 |  1869623 |  1831322 |      539   6608 |        0 |        0
505.71/505.84	c  505s |      22 |  1876705 |  1838222 |      539   6629 |        0 |        0
507.71/507.85	c  507s |      22 |  1883688 |  1845022 |      539   6649 |        0 |        0
509.71/509.86	c  509s |      22 |  1890670 |  1851822 |      539   6670 |        0 |        0
511.71/511.88	c  511s |      22 |  1897991 |  1859022 |      539   6691 |        0 |        0
513.71/513.88	c  513s |      22 |  1905098 |  1865922 |      539   6712 |        0 |        0
515.71/515.89	c  515s |      22 |  1912130 |  1872822 |      539   6732 |        0 |        0
517.71/517.89	c  517s |      22 |  1918960 |  1879522 |      539   6752 |        0 |        0
519.81/519.91	c  519s |      22 |  1925909 |  1886322 |      539   6773 |        0 |        0
521.81/521.91	c  521s |      22 |  1932932 |  1893222 |      539   6793 |        0 |        0
523.81/523.92	c  523s |      22 |  1939647 |  1899822 |      539   6813 |        0 |        0
525.82/525.94	c  525s |      22 |  1946546 |  1906622 |      539   6834 |        0 |        0
527.81/527.96	c  527s |      22 |  1953402 |  1913322 |      539   6854 |        0 |        0
529.81/529.98	c  529s |      22 |  1960312 |  1920122 |      539   6874 |        0 |        0
531.91/532.01	c  531s |      22 |  1967264 |  1926922 |      539   6895 |        0 |        0
533.91/534.02	c  534s |      22 |  1973964 |  1933522 |      539   6914 |        0 |        0
535.91/536.04	c  536s |      22 |  1980770 |  1940222 |      539   6934 |        0 |        0
537.91/538.05	c  538s |      22 |  1987590 |  1946822 |      539   6954 |        0 |        0
539.90/540.06	c  540s |      22 |  1994525 |  1953622 |      539   6975 |        0 |        0
541.91/542.07	c  542s |      22 |  2001429 |  1960422 |      539   6995 |        0 |        0
543.91/544.09	c  544s |      22 |  2008132 |  1967022 |      539   7015 |        0 |        0
546.01/546.11	c  546s |      22 |  2015717 |  1974422 |      539   7037 |        0 |        0
548.01/548.13	c  548s |      22 |  2022747 |  1981322 |      539   7057 |        0 |        0
550.01/550.13	c  550s |      22 |  2029557 |  1988022 |      539   7077 |        0 |        0
552.00/552.14	c  552s |      22 |  2036614 |  1994922 |      539   7098 |        0 |        0
554.00/554.16	c  554s |      22 |  2043304 |  2001522 |      539   7118 |        0 |        0
556.00/556.16	c  556s |      22 |  2050146 |  2008222 |      539   7138 |        0 |        0
558.00/558.16	c  558s |      22 |  2056848 |  2014822 |      539   7157 |        0 |        0
560.01/560.17	c  560s |      22 |  2063548 |  2021422 |      539   7177 |        0 |        0
562.01/562.17	c  562s |      22 |  2070648 |  2028422 |      539   7198 |        0 |        0
564.00/564.17	c  564s |      22 |  2077438 |  2035122 |      539   7218 |        0 |        0
566.00/566.18	c  566s |      22 |  2084142 |  2041722 |      539   7238 |        0 |        0
568.00/568.19	c  568s |      22 |  2090899 |  2048322 |      539   7258 |        0 |        0
570.01/570.19	c  570s |      22 |  2097733 |  2054922 |      539   7278 |        0 |        0
572.10/572.20	c  572s |      22 |  2104322 |  2061422 |      539   7297 |        0 |        0
574.11/574.23	c  574s |      22 |  2111324 |  2068322 |      539   7318 |        0 |        0
576.10/576.24	c  576s |      22 |  2117903 |  2074822 |      539   7338 |        0 |        0
578.10/578.26	c  578s |      22 |  2125138 |  2081922 |      539   7359 |        0 |        0
580.10/580.28	c  580s |      22 |  2132018 |  2088722 |      539   7379 |        0 |        0
582.20/582.30	c  582s |      22 |  2139130 |  2095722 |      539   7400 |        0 |        0
584.20/584.32	c  584s |      22 |  2145988 |  2102522 |      539   7420 |        0 |        0
586.21/586.34	c  586s |      22 |  2153004 |  2109422 |      539   7441 |        0 |        0
588.20/588.36	c  588s |      22 |  2160024 |  2116322 |      539   7461 |        0 |        0
590.20/590.38	c  590s |      22 |  2167010 |  2123122 |      539   7481 |        0 |        0
592.20/592.40	c  592s |      22 |  2173758 |  2129722 |      539   7501 |        0 |        0
594.29/594.40	c  594s |      22 |  2181318 |  2137122 |      539   7523 |        0 |        0
596.29/596.43	c  596s |      22 |  2188616 |  2144322 |      539   7545 |        0 |        0
598.31/598.45	c  598s |      22 |  2195706 |  2151322 |      539   7566 |        0 |        0
600.30/600.47	c  600s |      22 |  2202624 |  2158122 |      539   7586 |        0 |        0
602.30/602.49	c  602s |      22 |  2209431 |  2164822 |      539   7606 |        0 |        0
604.40/604.52	c  604s |      22 |  2216255 |  2171522 |      539   7626 |        0 |        0
606.39/606.55	c  606s |      22 |  2223091 |  2178222 |      539   7647 |        0 |        0
608.39/608.58	c  608s |      22 |  2229784 |  2184822 |      539   7667 |        0 |        0
610.40/610.60	c  610s |      22 |  2236380 |  2191322 |      539   7686 |        0 |        0
612.49/612.61	c  612s |      22 |  2243363 |  2198122 |      539   7707 |        0 |        0
614.49/614.64	c  614s |      22 |  2250684 |  2205322 |      539   7728 |        0 |        0
616.50/616.64	c  616s |      22 |  2257616 |  2212122 |      539   7748 |        0 |        0
618.50/618.66	c  618s |      22 |  2264575 |  2218922 |      539   7768 |        0 |        0
620.50/620.67	c  620s |      22 |  2271194 |  2225422 |      539   7788 |        0 |        0
622.50/622.69	c  622s |      22 |  2277887 |  2232022 |      539   7808 |        0 |        0
624.60/624.73	c  624s |      22 |  2284586 |  2238622 |      593   7827 |        0 |        0
626.59/626.73	c  626s |      22 |  2291038 |  2245022 |      593   7844 |        0 |        0
628.39/628.52	c  628s |      23 |  2297290 |  2251038 |      593   7861 |        0 |        0
630.39/630.53	c  630s |      23 |  2304722 |  2258038 |      593   7880 |        0 |        0
632.40/632.55	c  632s |      23 |  2312369 |  2265638 |      593   7901 |        0 |        0
634.39/634.56	c  634s |      23 |  2319653 |  2272738 |      593   7921 |        0 |        0
636.39/636.56	c  636s |      23 |  2327029 |  2279838 |      593   7940 |        0 |        0
638.39/638.58	c  638s |      23 |  2334205 |  2286938 |      593   7960 |        0 |        0
640.49/640.60	c  640s |      23 |  2341203 |  2293838 |      593   7979 |        0 |        0
642.49/642.62	c  642s |      23 |  2348166 |  2300638 |      593   7998 |        0 |        0
644.50/644.63	c  644s |      23 |  2355964 |  2308238 |      593   8019 |        0 |        0
646.49/646.64	c  646s |      23 |  2364194 |  2316238 |      593   8041 |        0 |        0
648.49/648.66	c  648s |      23 |  2371413 |  2323338 |      593   8060 |        0 |        0
650.49/650.68	c  650s |      23 |  2378355 |  2330138 |      593   8079 |        0 |        0
652.59/652.70	c  652s |      23 |  2385236 |  2336838 |      593   8098 |        0 |        0
654.59/654.72	c  654s |      23 |  2392319 |  2343738 |      593   8117 |        0 |        0
656.60/656.74	c  656s |      23 |  2399947 |  2351138 |      593   8137 |        0 |        0
658.59/658.76	c  658s |      23 |  2407309 |  2358338 |      593   8157 |        0 |        0
660.58/660.78	c  660s |      23 |  2414329 |  2365238 |      593   8176 |        0 |        0
662.59/662.79	c  662s |      23 |  2421680 |  2372438 |      593   8196 |        0 |        0
664.59/664.79	c  664s |      23 |  2429204 |  2379738 |      593   8217 |        0 |        0
666.69/666.82	c  666s |      23 |  2436555 |  2386938 |      593   8237 |        0 |        0
668.69/668.84	c  668s |      23 |  2443950 |  2394138 |      593   8257 |        0 |        0
670.68/670.86	c  670s |      23 |  2451275 |  2401238 |      593   8276 |        0 |        0
672.69/672.88	c  672s |      23 |  2458603 |  2408438 |      593   8296 |        0 |        0
674.69/674.88	c  674s |      23 |  2466514 |  2416238 |      593   8318 |        0 |        0
676.78/676.90	c  676s |      23 |  2474522 |  2424138 |      593   8340 |        0 |        0
678.78/678.92	c  678s |      23 |  2482371 |  2431938 |      593   8361 |        0 |        0
680.79/680.94	c  680s |      23 |  2490106 |  2439638 |      593   8382 |        0 |        0
682.79/682.96	c  682s |      23 |  2497529 |  2447038 |      593   8403 |        0 |        0
684.79/684.97	c  684s |      23 |  2505484 |  2454938 |      593   8424 |        0 |        0
686.79/686.99	c  686s |      23 |  2513260 |  2462638 |      593   8446 |        0 |        0
688.88/689.00	c  688s |      23 |  2521064 |  2470338 |      593   8467 |        0 |        0
690.89/691.02	c  691s |      23 |  2528919 |  2478138 |      593   8488 |        0 |        0
692.89/693.04	c  693s |      23 |  2536796 |  2485938 |      593   8510 |        0 |        0
694.88/695.04	c  695s |      23 |  2544502 |  2493538 |      593   8531 |        0 |        0
696.88/697.08	c  697s |      23 |  2552086 |  2501038 |      593   8552 |        0 |        0
698.88/699.08	c  699s |      23 |  2559220 |  2508138 |      593   8571 |        0 |        0
700.98/701.10	c  701s |      23 |  2566851 |  2515738 |      593   8592 |        0 |        0
702.99/703.11	c  703s |      23 |  2574496 |  2523338 |      593   8613 |        0 |        0
704.99/705.13	c  705s |      23 |  2581781 |  2530538 |      593   8633 |        0 |        0
706.98/707.15	c  707s |      23 |  2589439 |  2538038 |      593   8654 |        0 |        0
708.98/709.15	c  709s |      23 |  2597215 |  2545538 |      593   8674 |        0 |        0
710.98/711.17	c  711s |      23 |  2605064 |  2553038 |      593   8695 |        0 |        0
712.97/713.19	c  713s |      23 |  2612708 |  2560538 |      593   8716 |        0 |        0
715.07/715.21	c  715s |      23 |  2620651 |  2568238 |      593   8737 |        0 |        0
717.08/717.24	c  717s |      23 |  2628209 |  2575538 |      593   8757 |        0 |        0
719.07/719.26	c  719s |      23 |  2636536 |  2583638 |      593   8780 |        0 |        0
721.08/721.29	c  721s |      23 |  2644521 |  2591338 |      593   8801 |        0 |        0
723.18/723.31	c  723s |      23 |  2652319 |  2598938 |      593   8822 |        0 |        0
725.17/725.33	c  725s |      23 |  2660105 |  2606438 |      593   8843 |        0 |        0
727.17/727.35	c  727s |      23 |  2667739 |  2613938 |      593   8863 |        0 |        0
729.18/729.36	c  729s |      23 |  2675357 |  2621338 |      593   8884 |        0 |        0
731.17/731.38	c  731s |      23 |  2683058 |  2628838 |      593   8905 |        0 |        0
733.17/733.39	c  733s |      23 |  2690777 |  2636438 |      593   8926 |        0 |        0
735.26/735.42	c  735s |      23 |  2698550 |  2644038 |      593   8947 |        0 |        0
737.26/737.42	c  737s |      23 |  2706191 |  2651538 |      593   8967 |        0 |        0
739.26/739.42	c  739s |      23 |  2713580 |  2658838 |      593   8988 |        0 |        0
741.27/741.45	c  741s |      23 |  2721105 |  2666238 |      593   9008 |        0 |        0
743.26/743.46	c  743s |      23 |  2728904 |  2673938 |      593   9030 |        0 |        0
745.26/745.46	c  745s |      23 |  2736376 |  2681338 |      593   9050 |        0 |        0
747.26/747.49	c  747s |      23 |  2743827 |  2688738 |      593   9071 |        0 |        0
749.36/749.50	c  749s |      23 |  2751582 |  2696438 |      593   9092 |        0 |        0
751.35/751.52	c  751s |      23 |  2759465 |  2704238 |      593   9114 |        0 |        0
753.36/753.53	c  753s |      23 |  2767358 |  2712038 |      593   9135 |        0 |        0
755.35/755.54	c  755s |      23 |  2775419 |  2720038 |      593   9157 |        0 |        0
757.35/757.57	c  757s |      23 |  2783047 |  2727638 |      593   9178 |        0 |        0
759.35/759.59	c  759s |      23 |  2790473 |  2735038 |      593   9199 |        0 |        0
761.45/761.62	c  761s |      23 |  2797950 |  2742438 |      593   9219 |        0 |        0
763.45/763.63	c  763s |      23 |  2805618 |  2750038 |      593   9240 |        0 |        0
765.45/765.64	c  765s |      23 |  2813279 |  2757638 |      593   9261 |        0 |        0
767.44/767.66	c  767s |      23 |  2821072 |  2765238 |      593   9282 |        0 |        0
769.44/769.67	c  769s |      23 |  2828672 |  2772638 |      593   9303 |        0 |        0
771.44/771.68	c  771s |      23 |  2835969 |  2779838 |      593   9323 |        0 |        0
773.45/773.69	c  773s |      23 |  2843527 |  2787238 |      593   9343 |        0 |        0
775.55/775.70	c  775s |      23 |  2850757 |  2794338 |      593   9363 |        0 |        0
777.55/777.73	c  777s |      23 |  2857833 |  2801338 |      593   9383 |        0 |        0
779.55/779.74	c  779s |      23 |  2865691 |  2809038 |      593   9404 |        0 |        0
781.55/781.76	c  781s |      23 |  2873720 |  2816938 |      593   9426 |        0 |        0
783.54/783.78	c  783s |      23 |  2881407 |  2824538 |      593   9447 |        0 |        0
785.54/785.79	c  785s |      23 |  2888681 |  2831738 |      593   9467 |        0 |        0
787.64/787.80	c  787s |      23 |  2895976 |  2838938 |      593   9487 |        0 |        0
789.65/789.81	c  789s |      23 |  2902843 |  2845738 |      593   9506 |        0 |        0
791.64/791.81	c  791s |      23 |  2910025 |  2852838 |      593   9526 |        0 |        0
793.64/793.82	c  793s |      23 |  2917450 |  2860138 |      593   9546 |        0 |        0
795.63/795.83	c  795s |      23 |  2924885 |  2867438 |      593   9566 |        0 |        0
797.63/797.84	c  797s |      23 |  2932359 |  2874638 |      593   9586 |        0 |        0
799.65/799.86	c  799s |      23 |  2939714 |  2881838 |      593   9606 |        0 |        0
801.64/801.86	c  801s |      23 |  2946938 |  2888938 |      593   9626 |        0 |        0
803.63/803.88	c  803s |      23 |  2954022 |  2895938 |      593   9646 |        0 |        0
805.73/805.91	c  805s |      23 |  2961123 |  2902938 |      593   9665 |        0 |        0
807.73/807.92	c  807s |      23 |  2968724 |  2910338 |      593   9686 |        0 |        0
809.73/809.95	c  809s |      23 |  2976153 |  2917638 |      593   9706 |        0 |        0
811.74/811.97	c  811s |      23 |  2983217 |  2924638 |      593   9726 |        0 |        0
813.73/813.97	c  813s |      23 |  2990402 |  2931738 |      593   9746 |        0 |        0
815.72/815.98	c  815s |      23 |  2998001 |  2939238 |      593   9767 |        0 |        0
817.83/818.00	c  817s |      23 |  3005360 |  2946438 |      593   9787 |        0 |        0
819.83/820.02	c  820s |      23 |  3012652 |  2953538 |      593   9807 |        0 |        0
821.82/822.04	c  822s |      23 |  3019433 |  2960238 |      593   9826 |        0 |        0
823.83/824.05	c  824s |      23 |  3028668 |  2969338 |      593   9851 |        0 |        0
825.82/826.05	c  826s |      23 |  3037902 |  2978438 |      593   9876 |        0 |        0
827.82/828.05	c  828s |      23 |  3047368 |  2987738 |      593   9901 |        0 |        0
829.81/830.06	c  830s |      23 |  3056571 |  2996738 |      593   9925 |        0 |        0
831.82/832.06	c  832s |      23 |  3065683 |  3005638 |      593   9950 |        0 |        0
833.82/834.07	c  834s |      23 |  3074972 |  3014738 |      593   9975 |        0 |        0
835.82/836.08	c  836s |      23 |  3084223 |  3023838 |      593  10000 |        0 |        0
837.91/838.10	c  838s |      23 |  3093229 |  3032638 |      593  10024 |        0 |        0
839.91/840.12	c  840s |      23 |  3102205 |  3041338 |      593  10048 |        0 |        0
841.91/842.14	c  842s |      23 |  3111483 |  3050338 |      593  10072 |        0 |        0
843.91/844.17	c  844s |      23 |  3120605 |  3059238 |      593  10097 |        0 |        0
845.91/846.17	c  846s |      23 |  3129498 |  3067938 |      593  10121 |        0 |        0
847.91/848.19	c  848s |      23 |  3138222 |  3076338 |      593  10144 |        0 |        0
850.00/850.21	c  850s |      23 |  3146638 |  3084638 |      593  10166 |        0 |        0
852.00/852.21	c  852s |      23 |  3154921 |  3092738 |      593  10189 |        0 |        0
854.00/854.24	c  854s |      23 |  3163056 |  3100738 |      593  10211 |        0 |        0
856.00/856.25	c  856s |      23 |  3171786 |  3109238 |      593  10234 |        0 |        0
858.00/858.27	c  858s |      23 |  3181372 |  3118338 |      593  10259 |        0 |        0
860.01/860.28	c  860s |      23 |  3190387 |  3127138 |      593  10283 |        0 |        0
862.00/862.29	c  862s |      23 |  3199471 |  3135938 |      593  10307 |        0 |        0
864.10/864.30	c  864s |      23 |  3208516 |  3144738 |      593  10332 |        0 |        0
866.10/866.32	c  866s |      23 |  3217226 |  3153138 |      593  10355 |        0 |        0
868.10/868.34	c  868s |      23 |  3226298 |  3161938 |      593  10379 |        0 |        0
870.09/870.35	c  870s |      23 |  3234949 |  3170438 |      593  10402 |        0 |        0
872.10/872.36	c  872s |      23 |  3243342 |  3178738 |      593  10425 |        0 |        0
874.09/874.36	c  874s |      23 |  3251527 |  3186738 |      593  10447 |        0 |        0
876.09/876.39	c  876s |      23 |  3259958 |  3194938 |      593  10470 |        0 |        0
878.19/878.41	c  878s |      23 |  3268300 |  3203038 |      593  10492 |        0 |        0
880.19/880.43	c  880s |      23 |  3276428 |  3210938 |      593  10514 |        0 |        0
882.19/882.43	c  882s |      23 |  3284614 |  3218938 |      593  10536 |        0 |        0
884.19/884.46	c  884s |      23 |  3292721 |  3226838 |      593  10558 |        0 |        0
886.18/886.46	c  886s |      23 |  3300822 |  3234738 |      593  10580 |        0 |        0
888.19/888.48	c  888s |      23 |  3308544 |  3242338 |      593  10601 |        0 |        0
890.29/890.50	c  890s |      23 |  3316244 |  3249938 |      593  10622 |        0 |        0
892.29/892.52	c  892s |      23 |  3323976 |  3257538 |      593  10643 |        0 |        0
894.29/894.54	c  894s |      23 |  3331616 |  3265038 |      593  10663 |        0 |        0
896.29/896.55	c  896s |      23 |  3339024 |  3272338 |      593  10684 |        0 |        0
898.29/898.57	c  898s |      23 |  3348534 |  3281538 |      593  10709 |        0 |        0
900.29/900.58	c  900s |      23 |  3357778 |  3290438 |      593  10733 |        0 |        0
902.28/902.58	c  902s |      23 |  3366859 |  3299138 |      593  10757 |        0 |        0
904.28/904.58	c  904s |      23 |  3375635 |  3307638 |      593  10780 |        0 |        0
906.29/906.58	c  906s |      23 |  3384290 |  3316038 |      593  10803 |        0 |        0
908.28/908.59	c  908s |      23 |  3392990 |  3324438 |      593  10827 |        0 |        0
910.38/910.60	c  910s |      23 |  3401696 |  3332838 |      593  10850 |        0 |        0
912.38/912.61	c  912s |      23 |  3409979 |  3340938 |      593  10872 |        0 |        0
914.38/914.61	c  914s |      23 |  3419069 |  3349638 |      593  10896 |        0 |        0
916.38/916.64	c  916s |      23 |  3427586 |  3357938 |      653  10918 |        0 |        0
918.38/918.64	c  918s |      23 |  3436135 |  3366138 |      653  10938 |        0 |        0
920.38/920.66	c  920s |      23 |  3444627 |  3374338 |      653  10959 |        0 |        0
920.98/921.23	c  921s |      24 |  3447030 |  3376662 |      653  10965 |        0 |        0
922.97/923.25	c  923s |      24 |  3455537 |  3384862 |      653  10986 |        0 |        0
924.98/925.26	c  925s |      24 |  3463836 |  3392962 |      653  11007 |        0 |        0
926.97/927.27	c  927s |      24 |  3472221 |  3401062 |      653  11027 |        0 |        0
928.97/929.28	c  929s |      24 |  3480096 |  3408762 |      653  11047 |        0 |        0
930.97/931.28	c  931s |      24 |  3488047 |  3416562 |      653  11067 |        0 |        0
932.97/933.29	c  933s |      24 |  3495753 |  3424062 |      653  11086 |        0 |        0
935.07/935.30	c  935s |      24 |  3503544 |  3431662 |      653  11105 |        0 |        0
937.07/937.33	c  937s |      24 |  3511444 |  3439362 |      653  11125 |        0 |        0
939.07/939.35	c  939s |      24 |  3519418 |  3447162 |      653  11145 |        0 |        0
941.06/941.35	c  941s |      24 |  3527435 |  3455062 |      653  11165 |        0 |        0
943.06/943.37	c  943s |      24 |  3534842 |  3462362 |      653  11184 |        0 |        0
945.06/945.38	c  945s |      24 |  3542307 |  3469662 |      653  11202 |        0 |        0
947.06/947.39	c  947s |      24 |  3549917 |  3477162 |      653  11222 |        0 |        0
949.08/949.40	c  949s |      24 |  3557174 |  3484362 |      653  11240 |        0 |        0
951.17/951.43	c  951s |      24 |  3565757 |  3492662 |      653  11261 |        0 |        0
953.17/953.45	c  953s |      24 |  3574592 |  3501162 |      653  11283 |        0 |        0
955.16/955.46	c  955s |      24 |  3583289 |  3509462 |      653  11304 |        0 |        0
957.16/957.48	c  957s |      24 |  3591702 |  3517662 |      653  11325 |        0 |        0
959.26/959.51	c  959s |      24 |  3599900 |  3525662 |      653  11346 |        0 |        0
961.27/961.52	c  961s |      24 |  3608142 |  3533662 |      653  11366 |        0 |        0
963.26/963.53	c  963s |      24 |  3616177 |  3541462 |      653  11386 |        0 |        0
965.25/965.54	c  965s |      24 |  3624274 |  3549362 |      653  11406 |        0 |        0
967.25/967.54	c  967s |      24 |  3632422 |  3557362 |      653  11427 |        0 |        0
969.25/969.56	c  969s |      24 |  3640801 |  3565462 |      653  11447 |        0 |        0
971.25/971.57	c  971s |      24 |  3648907 |  3573462 |      653  11468 |        0 |        0
973.26/973.58	c  973s |      24 |  3657616 |  3581962 |      653  11489 |        0 |        0
975.25/975.60	c  975s |      24 |  3666253 |  3590362 |      653  11511 |        0 |        0
977.35/977.61	c  977s |      24 |  3674489 |  3598362 |      653  11531 |        0 |        0
979.35/979.63	c  979s |      24 |  3683072 |  3606762 |      653  11552 |        0 |        0
981.35/981.65	c  981s |      24 |  3691653 |  3615062 |      653  11574 |        0 |        0
983.35/983.66	c  983s |      24 |  3699946 |  3623062 |      653  11594 |        0 |        0
985.35/985.67	c  985s |      24 |  3708380 |  3631162 |      653  11615 |        0 |        0
987.34/987.69	c  987s |      24 |  3716850 |  3639362 |      653  11636 |        0 |        0
989.44/989.71	c  989s |      24 |  3725415 |  3647562 |      653  11657 |        0 |        0
991.44/991.72	c  991s |      24 |  3733854 |  3655862 |      653  11678 |        0 |        0
993.44/993.73	c  993s |      24 |  3741987 |  3663762 |      653  11698 |        0 |        0
995.44/995.74	c  995s |      24 |  3750086 |  3671662 |      653  11719 |        0 |        0
997.44/997.75	c  997s |      24 |  3758100 |  3679462 |      653  11739 |        0 |        0
999.45/999.75	c  999s |      24 |  3766049 |  3687162 |      653  11759 |        0 |        0
1001.44/1001.76	c 1001s |      24 |  3774044 |  3694962 |      653  11779 |        0 |        0
1003.44/1003.78	c 1003s |      24 |  3783665 |  3704462 |      653  11803 |        0 |        0
1005.44/1005.79	c 1005s |      24 |  3793154 |  3713762 |      653  11826 |        0 |        0
1007.54/1007.81	c 1007s |      24 |  3802391 |  3722862 |      653  11849 |        0 |        0
1009.55/1009.81	c 1009s |      24 |  3811482 |  3731762 |      653  11872 |        0 |        0
1011.54/1011.83	c 1011s |      24 |  3820613 |  3740662 |      653  11894 |        0 |        0
1013.54/1013.84	c 1013s |      24 |  3829570 |  3749462 |      653  11916 |        0 |        0
1015.53/1015.86	c 1015s |      24 |  3838572 |  3758262 |      653  11939 |        0 |        0
1017.53/1017.88	c 1017s |      24 |  3847376 |  3766862 |      653  11960 |        0 |        0
1019.63/1019.90	c 1019s |      24 |  3856187 |  3775462 |      653  11982 |        0 |        0
1021.64/1021.92	c 1021s |      24 |  3865087 |  3784162 |      653  12004 |        0 |        0
1023.63/1023.94	c 1023s |      24 |  3874365 |  3793262 |      653  12027 |        0 |        0
1025.62/1025.94	c 1025s |      24 |  3883394 |  3802062 |      653  12050 |        0 |        0
1027.63/1027.96	c 1027s |      24 |  3892093 |  3810562 |      653  12071 |        0 |        0
1029.63/1029.97	c 1029s |      24 |  3901266 |  3819562 |      653  12094 |        0 |        0
1031.63/1031.99	c 1031s |      24 |  3910187 |  3828362 |      653  12116 |        0 |        0
1033.63/1034.00	c 1033s |      24 |  3918703 |  3836762 |      653  12138 |        0 |        0
1035.72/1036.02	c 1036s |      24 |  3927221 |  3845162 |      653  12159 |        0 |        0
1037.73/1038.02	c 1038s |      24 |  3936255 |  3854062 |      653  12182 |        0 |        0
1039.72/1040.02	c 1040s |      24 |  3945171 |  3862762 |      653  12204 |        0 |        0
1041.72/1042.04	c 1042s |      24 |  3953858 |  3871262 |      653  12225 |        0 |        0
1043.73/1044.05	c 1044s |      24 |  3962487 |  3879762 |      653  12247 |        0 |        0
1045.72/1046.06	c 1046s |      24 |  3970601 |  3887762 |      653  12267 |        0 |        0
1047.72/1048.08	c 1048s |      24 |  3979159 |  3896262 |      653  12289 |        0 |        0
1049.82/1050.10	c 1050s |      24 |  3988014 |  3904962 |      653  12311 |        0 |        0
1051.81/1052.11	c 1052s |      24 |  3996380 |  3913262 |      653  12332 |        0 |        0
1053.82/1054.13	c 1054s |      24 |  4004450 |  3921262 |      653  12352 |        0 |        0
1055.82/1056.15	c 1056s |      24 |  4012727 |  3929462 |      653  12373 |        0 |        0
1057.81/1058.15	c 1058s |      24 |  4020791 |  3937362 |      653  12393 |        0 |        0
1059.82/1060.17	c 1060s |      24 |  4029109 |  3945462 |      653  12414 |        0 |        0
1061.81/1062.20	c 1062s |      24 |  4037450 |  3953562 |      653  12434 |        0 |        0
1063.91/1064.21	c 1064s |      24 |  4045415 |  3961362 |      653  12454 |        0 |        0
1065.90/1066.22	c 1066s |      24 |  4053405 |  3969162 |      653  12474 |        0 |        0
1067.91/1068.23	c 1068s |      24 |  4061607 |  3977162 |      653  12494 |        0 |        0
1069.91/1070.25	c 1070s |      24 |  4069818 |  3985162 |      653  12515 |        0 |        0
1071.90/1072.25	c 1072s |      24 |  4078487 |  3993562 |      653  12536 |        0 |        0
1073.90/1074.26	c 1074s |      24 |  4086888 |  4001762 |      653  12557 |        0 |        0
1075.90/1076.27	c 1076s |      24 |  4094947 |  4009662 |      653  12577 |        0 |        0
1077.90/1078.28	c 1078s |      24 |  4103130 |  4017662 |      653  12598 |        0 |        0
1080.01/1080.31	c 1080s |      24 |  4111468 |  4025762 |      653  12618 |        0 |        0
1082.00/1082.31	c 1082s |      24 |  4119908 |  4033962 |      653  12639 |        0 |        0
1084.00/1084.32	c 1084s |      24 |  4128490 |  4042362 |      653  12661 |        0 |        0
1085.99/1086.34	c 1086s |      24 |  4137320 |  4050962 |      653  12682 |        0 |        0
1088.00/1088.35	c 1088s |      24 |  4146010 |  4059462 |      653  12704 |        0 |        0
1089.99/1090.35	c 1090s |      24 |  4154013 |  4067262 |      653  12724 |        0 |        0
1092.00/1092.37	c 1092s |      24 |  4162043 |  4075062 |      653  12744 |        0 |        0
1094.00/1094.38	c 1094s |      24 |  4170211 |  4082962 |      653  12764 |        0 |        0
1095.99/1096.39	c 1096s |      24 |  4178471 |  4090962 |      653  12784 |        0 |        0
1098.09/1098.41	c 1098s |      24 |  4186437 |  4098762 |      653  12804 |        0 |        0
1100.09/1100.42	c 1100s |      24 |  4194306 |  4106462 |      653  12824 |        0 |        0
1102.09/1102.43	c 1102s |      24 |  4202324 |  4114262 |      653  12844 |        0 |        0
1104.09/1104.45	c 1104s |      24 |  4210349 |  4122062 |      653  12864 |        0 |        0
1106.08/1106.46	c 1106s |      24 |  4218279 |  4129762 |      653  12884 |        0 |        0
1108.08/1108.46	c 1108s |      24 |  4227079 |  4138362 |      653  12906 |        0 |        0
1110.08/1110.47	c 1110s |      24 |  4235931 |  4146862 |      653  12927 |        0 |        0
1112.08/1112.48	c 1112s |      24 |  4244511 |  4155162 |      653  12948 |        0 |        0
1114.18/1114.50	c 1114s |      24 |  4253513 |  4163862 |      653  12970 |        0 |        0
1116.18/1116.52	c 1116s |      24 |  4262059 |  4172262 |      653  12992 |        0 |        0
1118.17/1118.53	c 1118s |      24 |  4270115 |  4180162 |      653  13012 |        0 |        0
1120.17/1120.54	c 1120s |      24 |  4279290 |  4188962 |      653  13034 |        0 |        0
1122.17/1122.55	c 1122s |      24 |  4288112 |  4197562 |      653  13056 |        0 |        0
1124.17/1124.55	c 1124s |      24 |  4296842 |  4206062 |      653  13078 |        0 |        0
1126.17/1126.56	c 1126s |      24 |  4305613 |  4214562 |      653  13100 |        0 |        0
1128.17/1128.57	c 1128s |      24 |  4314361 |  4223062 |      653  13121 |        0 |        0
1130.17/1130.58	c 1130s |      24 |  4322740 |  4231262 |      653  13142 |        0 |        0
1132.18/1132.58	c 1132s |      24 |  4331241 |  4239562 |      653  13164 |        0 |        0
1134.17/1134.59	c 1134s |      24 |  4339640 |  4247762 |      653  13184 |        0 |        0
1136.27/1136.60	c 1136s |      24 |  4348270 |  4256062 |      653  13206 |        0 |        0
1138.28/1138.62	c 1138s |      24 |  4356777 |  4264262 |      653  13226 |        0 |        0
1140.27/1140.64	c 1140s |      24 |  4364734 |  4271962 |      653  13246 |        0 |        0
1142.27/1142.65	c 1142s |      24 |  4372594 |  4279662 |      653  13266 |        0 |        0
1144.27/1144.65	c 1144s |      24 |  4380785 |  4287562 |      653  13286 |        0 |        0
1146.27/1146.66	c 1146s |      24 |  4388967 |  4295462 |      653  13306 |        0 |        0
1148.27/1148.67	c 1148s |      24 |  4396886 |  4303162 |      653  13326 |        0 |        0
1150.27/1150.69	c 1150s |      24 |  4405072 |  4311062 |      653  13346 |        0 |        0
1152.27/1152.69	c 1152s |      24 |  4413042 |  4318862 |      653  13366 |        0 |        0
1154.36/1154.70	c 1154s |      24 |  4420837 |  4326462 |      653  13385 |        0 |        0
1156.36/1156.71	c 1156s |      24 |  4428794 |  4334262 |      653  13405 |        0 |        0
1158.36/1158.72	c 1158s |      24 |  4436639 |  4341962 |      653  13425 |        0 |        0
1160.36/1160.74	c 1160s |      24 |  4445016 |  4350162 |      653  13445 |        0 |        0
1162.37/1162.74	c 1162s |      24 |  4452796 |  4357762 |      653  13465 |        0 |        0
1164.36/1164.75	c 1164s |      24 |  4461195 |  4365962 |      653  13486 |        0 |        0
1166.36/1166.76	c 1166s |      24 |  4469618 |  4374262 |      653  13507 |        0 |        0
1168.36/1168.77	c 1168s |      24 |  4477233 |  4381762 |      653  13526 |        0 |        0
1170.35/1170.78	c 1170s |      24 |  4484777 |  4389162 |      653  13545 |        0 |        0
1172.36/1172.79	c 1172s |      24 |  4492459 |  4396662 |      653  13565 |        0 |        0
1174.46/1174.81	c 1174s |      24 |  4499929 |  4403962 |      653  13583 |        0 |        0
1176.45/1176.82	c 1176s |      24 |  4507100 |  4410962 |      653  13601 |        0 |        0
1178.45/1178.83	c 1178s |      24 |  4514616 |  4418362 |      653  13620 |        0 |        0
1180.45/1180.84	c 1180s |      24 |  4522119 |  4425662 |      653  13639 |        0 |        0
1182.45/1182.86	c 1182s |      24 |  4529390 |  4432762 |      653  13657 |        0 |        0
1184.45/1184.88	c 1184s |      24 |  4536832 |  4440062 |      653  13676 |        0 |        0
1186.44/1186.88	c 1186s |      24 |  4544518 |  4447562 |      653  13695 |        0 |        0
1188.54/1188.90	c 1188s |      24 |  4552266 |  4455162 |      653  13714 |        0 |        0
1190.55/1190.92	c 1190s |      24 |  4560152 |  4462862 |      653  13734 |        0 |        0
1192.55/1192.92	c 1192s |      24 |  4568143 |  4470662 |      653  13754 |        0 |        0
1194.54/1194.93	c 1194s |      24 |  4576535 |  4478762 |      653  13774 |        0 |        0
1196.55/1196.96	c 1196s |      24 |  4584576 |  4486562 |      653  13794 |        0 |        0
1198.55/1198.97	c 1198s |      24 |  4593007 |  4494762 |      653  13815 |        0 |        0
1200.54/1200.98	c 1200s |      24 |  4601099 |  4502662 |      653  13835 |        0 |        0
1202.65/1203.01	c 1202s |      24 |  4608738 |  4510162 |      653  13854 |        0 |        0
1204.64/1205.02	c 1205s |      24 |  4616348 |  4517562 |      653  13873 |        0 |        0
1206.64/1207.05	c 1207s |      24 |  4623985 |  4524962 |      653  13892 |        0 |        0
1208.65/1209.06	c 1209s |      24 |  4631613 |  4532362 |      653  13911 |        0 |        0
1210.64/1211.08	c 1211s |      24 |  4639662 |  4540162 |      653  13931 |        0 |        0
1212.74/1213.11	c 1213s |      24 |  4647534 |  4547762 |      653  13951 |        0 |        0
1214.74/1215.11	c 1215s |      24 |  4655253 |  4555262 |      653  13970 |        0 |        0
1216.74/1217.14	c 1217s |      24 |  4663499 |  4563262 |      653  13990 |        0 |        0
1218.73/1219.16	c 1219s |      24 |  4671588 |  4571162 |      653  14011 |        0 |        0
1220.74/1221.19	c 1221s |      24 |  4679108 |  4578562 |      653  14030 |        0 |        0
1222.84/1223.22	c 1223s |      24 |  4686534 |  4585862 |      653  14048 |        0 |        0
1224.83/1225.22	c 1225s |      24 |  4693786 |  4592962 |      653  14066 |        0 |        0
1226.83/1227.24	c 1227s |      24 |  4701408 |  4600462 |      653  14085 |        0 |        0
1228.83/1229.24	c 1229s |      24 |  4708971 |  4607862 |      653  14104 |        0 |        0
1230.83/1231.25	c 1231s |      24 |  4717056 |  4615662 |      653  14124 |        0 |        0
1232.84/1233.25	c 1233s |      24 |  4724620 |  4623062 |      653  14143 |        0 |        0
1234.83/1235.28	c 1235s |      24 |  4731697 |  4630062 |      653  14161 |        0 |        0
1236.83/1237.28	c 1237s |      24 |  4739390 |  4637562 |      653  14180 |        0 |        0
1238.93/1239.31	c 1239s |      24 |  4747018 |  4645062 |      653  14199 |        0 |        0
1240.93/1241.32	c 1241s |      24 |  4754644 |  4652562 |      653  14218 |        0 |        0
1242.93/1243.34	c 1243s |      24 |  4761759 |  4659562 |      653  14236 |        0 |        0
1244.93/1245.36	c 1245s |      24 |  4768980 |  4666662 |      653  14254 |        0 |        0
1246.92/1247.38	c 1247s |      24 |  4776046 |  4673562 |      653  14272 |        0 |        0
1248.92/1249.39	c 1249s |      24 |  4783929 |  4681162 |      653  14292 |        0 |        0
1251.02/1251.42	c 1251s |      24 |  4791591 |  4688562 |      653  14310 |        0 |        0
1253.02/1253.42	c 1253s |      24 |  4799031 |  4695762 |      653  14329 |        0 |        0
1255.02/1255.45	c 1255s |      24 |  4807098 |  4703462 |      653  14349 |        0 |        0
1257.02/1257.47	c 1257s |      24 |  4815040 |  4711162 |      653  14368 |        0 |        0
1259.02/1259.49	c 1259s |      24 |  4822998 |  4718862 |      653  14388 |        0 |        0
1261.12/1261.52	c 1261s |      24 |  4830848 |  4726462 |      653  14407 |        0 |        0
1263.12/1263.54	c 1263s |      24 |  4838515 |  4733962 |      653  14427 |        0 |        0
1265.11/1265.56	c 1265s |      24 |  4846060 |  4741262 |      653  14445 |        0 |        0
1267.11/1267.56	c 1267s |      24 |  4853503 |  4748562 |      653  14464 |        0 |        0
1269.12/1269.57	c 1269s |      24 |  4861994 |  4756862 |      653  14485 |        0 |        0
1271.11/1271.58	c 1271s |      24 |  4870331 |  4764962 |      653  14506 |        0 |        0
1273.11/1273.59	c 1273s |      24 |  4878302 |  4772662 |      653  14526 |        0 |        0
1275.20/1275.60	c 1275s |      24 |  4886048 |  4780262 |      653  14545 |        0 |        0
1277.20/1277.62	c 1277s |      24 |  4893796 |  4787762 |      653  14564 |        0 |        0
1279.20/1279.62	c 1279s |      24 |  4901516 |  4795162 |      653  14583 |        0 |        0
1281.21/1281.63	c 1281s |      24 |  4909215 |  4802662 |      653  14602 |        0 |        0
1283.20/1283.66	c 1283s |      24 |  4916684 |  4809962 |      653  14621 |        0 |        0
1285.20/1285.68	c 1285s |      24 |  4924454 |  4817562 |      653  14641 |        0 |        0
1287.20/1287.69	c 1287s |      24 |  4932226 |  4825162 |      653  14660 |        0 |        0
1289.30/1289.72	c 1289s |      24 |  4939536 |  4832362 |      653  14679 |        0 |        0
1291.30/1291.75	c 1291s |      24 |  4946819 |  4839462 |      653  14697 |        0 |        0
1293.30/1293.76	c 1293s |      24 |  4954091 |  4846562 |      653  14715 |        0 |        0
1295.29/1295.77	c 1295s |      24 |  4961411 |  4853762 |      653  14733 |        0 |        0
1297.29/1297.79	c 1297s |      24 |  4969174 |  4861362 |      653  14753 |        0 |        0
1299.39/1299.81	c 1299s |      24 |  4976578 |  4868562 |      653  14771 |        0 |        0
1301.39/1301.83	c 1301s |      24 |  4983929 |  4875662 |      653  14790 |        0 |        0
1303.39/1303.85	c 1303s |      24 |  4991783 |  4883362 |      653  14809 |        0 |        0
1305.40/1305.86	c 1305s |      24 |  4999453 |  4890962 |      653  14829 |        0 |        0
1307.40/1307.87	c 1307s |      24 |  5007401 |  4898662 |      653  14849 |        0 |        0
1309.40/1309.89	c 1309s |      24 |  5015601 |  4906662 |      653  14869 |        0 |        0
1311.50/1311.90	c 1311s |      24 |  5023529 |  4914462 |      653  14889 |        0 |        0
1313.50/1313.93	c 1313s |      24 |  5031234 |  4922062 |      653  14909 |        0 |        0
1315.49/1315.93	c 1315s |      24 |  5038774 |  4929462 |      653  14928 |        0 |        0
1317.50/1317.93	c 1317s |      24 |  5046717 |  4937062 |      653  14947 |        0 |        0
1319.49/1319.94	c 1319s |      24 |  5054491 |  4944562 |      653  14966 |        0 |        0
1321.49/1321.95	c 1321s |      24 |  5061995 |  4951962 |      653  14985 |        0 |        0
1323.49/1323.96	c 1323s |      24 |  5069386 |  4959162 |      653  15004 |        0 |        0
1325.49/1325.98	c 1325s |      24 |  5076966 |  4966562 |      653  15023 |        0 |        0
1327.49/1327.99	c 1327s |      24 |  5084176 |  4973662 |      653  15041 |        0 |        0
1329.59/1330.00	c 1329s |      24 |  5091789 |  4981062 |      653  15060 |        0 |        0
1331.58/1332.01	c 1331s |      24 |  5099405 |  4988562 |      653  15079 |        0 |        0
1333.58/1334.01	c 1333s |      24 |  5107193 |  4996162 |      653  15099 |        0 |        0
1335.58/1336.02	c 1336s |      24 |  5114734 |  5003562 |      653  15118 |        0 |        0
1337.58/1338.04	c 1338s |      24 |  5122278 |  5010962 |      653  15137 |        0 |        0
1339.58/1340.05	c 1340s |      24 |  5129506 |  5018062 |      653  15155 |        0 |        0
1341.58/1342.07	c 1342s |      24 |  5136845 |  5025262 |      653  15174 |        0 |        0
1343.68/1344.10	c 1344s |      24 |  5144222 |  5032462 |      719  15192 |        0 |        0
1345.67/1346.12	c 1346s |      24 |  5152344 |  5040362 |      719  15210 |        0 |        0
1347.67/1348.13	c 1348s |      24 |  5160301 |  5048062 |      719  15229 |        0 |        0
1349.67/1350.13	c 1350s |      24 |  5168169 |  5055762 |      719  15247 |        0 |        0
1351.67/1352.13	c 1352s |      24 |  5176226 |  5063662 |      719  15266 |        0 |        0
1351.97/1352.49	c 1352s |      25 |  5177707 |  5065098 |      719  15269 |        0 |        0
1354.07/1354.50	c 1354s |      25 |  5185855 |  5072798 |      719  15287 |        0 |        0
1356.07/1356.52	c 1356s |      25 |  5194473 |  5080898 |      719  15306 |        0 |        0
1358.08/1358.52	c 1358s |      25 |  5202380 |  5088598 |      719  15324 |        0 |        0
1360.07/1360.54	c 1360s |      25 |  5210201 |  5096298 |      719  15342 |        0 |        0
1362.07/1362.54	c 1362s |      25 |  5218048 |  5103998 |      719  15360 |        0 |        0
1364.07/1364.57	c 1364s |      25 |  5225793 |  5111598 |      719  15378 |        0 |        0
1366.07/1366.58	c 1366s |      25 |  5233439 |  5119098 |      719  15396 |        0 |        0
1368.17/1368.60	c 1368s |      25 |  5241307 |  5126798 |      719  15414 |        0 |        0
1370.17/1370.62	c 1370s |      25 |  5248822 |  5134098 |      719  15431 |        0 |        0
1372.17/1372.63	c 1372s |      25 |  5256405 |  5141498 |      719  15449 |        0 |        0
1374.17/1374.63	c 1374s |      25 |  5263673 |  5148598 |      719  15465 |        0 |        0
1376.17/1376.66	c 1376s |      25 |  5271038 |  5155798 |      719  15482 |        0 |        0
1378.18/1378.66	c 1378s |      25 |  5278195 |  5162798 |      719  15499 |        0 |        0
1380.18/1380.66	c 1380s |      25 |  5285656 |  5169998 |      719  15516 |        0 |        0
1382.18/1382.69	c 1382s |      25 |  5293453 |  5177498 |      719  15534 |        0 |        0
1384.27/1384.70	c 1384s |      25 |  5301756 |  5185498 |      719  15553 |        0 |        0
1386.27/1386.71	c 1386s |      25 |  5309887 |  5193198 |      719  15571 |        0 |        0
1388.27/1388.71	c 1388s |      25 |  5317493 |  5200598 |      719  15588 |        0 |        0
1390.27/1390.72	c 1390s |      25 |  5324703 |  5207598 |      719  15605 |        0 |        0
1392.27/1392.73	c 1392s |      25 |  5332114 |  5214898 |      719  15622 |        0 |        0
1394.27/1394.75	c 1394s |      25 |  5339837 |  5222498 |      719  15640 |        0 |        0
1396.27/1396.77	c 1396s |      25 |  5348107 |  5230598 |      719  15659 |        0 |        0
1398.37/1398.80	c 1398s |      25 |  5356232 |  5238598 |      719  15678 |        0 |        0
1400.37/1400.80	c 1400s |      25 |  5363847 |  5246098 |      719  15695 |        0 |        0
1402.36/1402.82	c 1402s |      25 |  5371546 |  5253698 |      719  15713 |        0 |        0
1404.38/1404.85	c 1404s |      25 |  5379383 |  5261398 |      719  15731 |        0 |        0
1406.37/1406.87	c 1406s |      25 |  5386903 |  5268798 |      719  15748 |        0 |        0
1408.37/1408.88	c 1408s |      25 |  5394296 |  5276098 |      719  15766 |        0 |        0
1410.47/1410.90	c 1410s |      25 |  5402191 |  5283798 |      719  15784 |        0 |        0
1412.46/1412.90	c 1412s |      25 |  5409942 |  5291398 |      719  15801 |        0 |        0
1414.47/1414.92	c 1414s |      25 |  5417643 |  5298898 |      719  15819 |        0 |        0
1416.47/1416.94	c 1416s |      25 |  5425147 |  5306298 |      719  15837 |        0 |        0
1418.46/1418.95	c 1418s |      25 |  5433262 |  5314198 |      719  15855 |        0 |        0
1420.46/1420.95	c 1420s |      25 |  5441147 |  5321898 |      719  15873 |        0 |        0
1422.46/1422.97	c 1422s |      25 |  5449170 |  5329698 |      719  15891 |        0 |        0
1424.46/1424.99	c 1424s |      25 |  5457427 |  5337698 |      719  15910 |        0 |        0
1426.57/1427.01	c 1426s |      25 |  5465360 |  5345498 |      719  15929 |        0 |        0
1428.57/1429.01	c 1428s |      25 |  5473271 |  5353198 |      719  15947 |        0 |        0
1430.56/1431.01	c 1430s |      25 |  5481675 |  5361298 |      719  15966 |        0 |        0
1432.56/1433.02	c 1433s |      25 |  5489736 |  5369198 |      719  15985 |        0 |        0
1434.57/1435.04	c 1435s |      25 |  5497750 |  5377098 |      719  16003 |        0 |        0
1436.56/1437.06	c 1437s |      25 |  5505562 |  5384798 |      719  16021 |        0 |        0
1438.57/1439.07	c 1439s |      25 |  5513674 |  5392698 |      719  16040 |        0 |        0
1440.57/1441.09	c 1441s |      25 |  5521817 |  5400598 |      719  16059 |        0 |        0
1442.56/1443.09	c 1443s |      25 |  5529445 |  5408098 |      719  16077 |        0 |        0
1444.66/1445.10	c 1445s |      25 |  5537031 |  5415598 |      719  16094 |        0 |        0
1446.66/1447.11	c 1447s |      25 |  5544512 |  5422998 |      719  16112 |        0 |        0
1448.66/1449.12	c 1449s |      25 |  5552005 |  5430398 |      719  16130 |        0 |        0
1450.66/1451.13	c 1451s |      25 |  5559719 |  5437898 |      719  16147 |        0 |        0
1452.67/1453.15	c 1453s |      25 |  5567758 |  5445698 |      719  16166 |        0 |        0
1454.66/1455.17	c 1455s |      25 |  5575432 |  5453198 |      719  16183 |        0 |        0
1456.65/1457.19	c 1457s |      25 |  5582932 |  5460598 |      719  16201 |        0 |        0
1458.76/1459.21	c 1459s |      25 |  5590233 |  5467798 |      719  16218 |        0 |        0
1460.76/1461.23	c 1461s |      25 |  5597751 |  5475198 |      719  16236 |        0 |        0
1462.76/1463.23	c 1463s |      25 |  5606507 |  5483698 |      719  16255 |        0 |        0
1464.76/1465.25	c 1465s |      25 |  5615160 |  5492098 |      719  16275 |        0 |        0
1466.76/1467.26	c 1467s |      25 |  5623463 |  5500198 |      719  16294 |        0 |        0
1468.76/1469.27	c 1469s |      25 |  5631757 |  5508198 |      719  16313 |        0 |        0
1470.76/1471.27	c 1471s |      25 |  5639993 |  5516298 |      719  16332 |        0 |        0
1472.76/1473.29	c 1473s |      25 |  5648183 |  5524298 |      719  16351 |        0 |        0
1474.86/1475.30	c 1475s |      25 |  5656909 |  5532898 |      719  16371 |        0 |        0
1476.87/1477.33	c 1477s |      25 |  5665145 |  5540998 |      719  16390 |        0 |        0
1478.86/1479.33	c 1479s |      25 |  5673344 |  5548998 |      719  16408 |        0 |        0
1480.86/1481.34	c 1481s |      25 |  5681356 |  5556898 |      719  16427 |        0 |        0
1482.86/1483.36	c 1483s |      25 |  5689511 |  5564898 |      719  16446 |        0 |        0
1484.86/1485.37	c 1485s |      25 |  5697922 |  5573198 |      719  16465 |        0 |        0
1486.86/1487.38	c 1487s |      25 |  5706354 |  5581498 |      719  16485 |        0 |        0
1488.96/1489.40	c 1489s |      25 |  5714463 |  5589498 |      719  16504 |        0 |        0
1490.96/1491.42	c 1491s |      25 |  5722486 |  5597398 |      719  16522 |        0 |        0
1492.95/1493.43	c 1493s |      25 |  5730316 |  5605098 |      719  16540 |        0 |        0
1494.95/1495.43	c 1495s |      25 |  5737960 |  5612598 |      719  16558 |        0 |        0
1496.95/1497.45	c 1497s |      25 |  5745947 |  5620498 |      719  16577 |        0 |        0
1498.96/1499.47	c 1499s |      25 |  5753753 |  5628198 |      719  16595 |        0 |        0
1500.95/1501.48	c 1501s |      25 |  5761555 |  5635898 |      719  16613 |        0 |        0
1502.95/1503.49	c 1503s |      25 |  5769578 |  5643798 |      719  16632 |        0 |        0
1504.95/1505.49	c 1505s |      25 |  5778327 |  5652398 |      719  16652 |        0 |        0
1507.05/1507.52	c 1507s |      25 |  5787136 |  5661098 |      719  16673 |        0 |        0
1509.05/1509.53	c 1509s |      25 |  5795706 |  5669598 |      719  16692 |        0 |        0
1511.06/1511.55	c 1511s |      25 |  5804241 |  5677998 |      719  16712 |        0 |        0
1513.05/1513.57	c 1513s |      25 |  5812537 |  5686098 |      719  16731 |        0 |        0
1515.05/1515.58	c 1515s |      25 |  5820432 |  5693898 |      719  16749 |        0 |        0
1517.05/1517.59	c 1517s |      25 |  5828749 |  5702098 |      719  16769 |        0 |        0
1519.15/1519.61	c 1519s |      25 |  5837094 |  5710298 |      719  16788 |        0 |        0
1521.15/1521.63	c 1521s |      25 |  5845559 |  5718598 |      719  16807 |        0 |        0
1523.15/1523.65	c 1523s |      25 |  5853555 |  5726498 |      719  16826 |        0 |        0
1525.15/1525.67	c 1525s |      25 |  5861591 |  5734398 |      719  16845 |        0 |        0
1527.15/1527.68	c 1527s |      25 |  5869188 |  5741898 |      719  16862 |        0 |        0
1529.24/1529.70	c 1529s |      25 |  5877121 |  5749698 |      719  16881 |        0 |        0
1531.24/1531.72	c 1531s |      25 |  5885066 |  5757498 |      719  16899 |        0 |        0
1533.24/1533.72	c 1533s |      25 |  5892953 |  5765198 |      719  16917 |        0 |        0
1535.25/1535.75	c 1535s |      25 |  5900895 |  5772998 |      719  16936 |        0 |        0
1537.24/1537.77	c 1537s |      25 |  5908849 |  5780798 |      719  16954 |        0 |        0
1539.24/1539.79	c 1539s |      25 |  5917132 |  5788898 |      719  16973 |        0 |        0
1541.35/1541.81	c 1541s |      25 |  5925279 |  5796898 |      719  16992 |        0 |        0
1543.35/1543.83	c 1543s |      25 |  5933450 |  5804898 |      719  17011 |        0 |        0
1545.35/1545.84	c 1545s |      25 |  5941319 |  5812698 |      719  17029 |        0 |        0
1547.35/1547.84	c 1547s |      25 |  5949188 |  5820398 |      719  17047 |        0 |        0
1549.35/1549.86	c 1549s |      25 |  5956961 |  5827998 |      719  17065 |        0 |        0
1551.35/1551.88	c 1551s |      25 |  5964721 |  5835598 |      719  17083 |        0 |        0
1553.45/1553.90	c 1553s |      25 |  5972330 |  5843098 |      719  17101 |        0 |        0
1555.44/1555.92	c 1555s |      25 |  5980082 |  5850698 |      719  17119 |        0 |        0
1557.44/1557.93	c 1557s |      25 |  5987493 |  5857998 |      719  17136 |        0 |        0
1559.45/1559.94	c 1559s |      25 |  5994913 |  5865298 |      719  17154 |        0 |        0
1561.44/1561.94	c 1561s |      25 |  6002451 |  5872698 |      719  17171 |        0 |        0
1563.44/1563.96	c 1563s |      25 |  6010288 |  5880398 |      719  17189 |        0 |        0
1565.44/1565.98	c 1565s |      25 |  6018253 |  5888098 |      719  17207 |        0 |        0
1567.54/1568.00	c 1567s |      25 |  6025966 |  5895598 |      719  17225 |        0 |        0
1569.54/1570.02	c 1570s |      25 |  6033219 |  5902698 |      719  17242 |        0 |        0
1571.55/1572.04	c 1572s |      25 |  6040663 |  5909998 |      719  17259 |        0 |        0
1573.54/1574.04	c 1574s |      25 |  6048098 |  5917298 |      719  17277 |        0 |        0
1575.54/1576.06	c 1576s |      25 |  6055562 |  5924598 |      719  17294 |        0 |        0
1577.54/1578.08	c 1578s |      25 |  6063146 |  5931998 |      719  17311 |        0 |        0
1579.54/1580.09	c 1580s |      25 |  6070735 |  5939498 |      719  17329 |        0 |        0
1581.64/1582.10	c 1582s |      25 |  6078807 |  5947498 |      719  17347 |        0 |        0
1583.65/1584.11	c 1584s |      25 |  6086064 |  5954698 |      719  17364 |        0 |        0
1585.64/1586.13	c 1586s |      25 |  6093435 |  5961998 |      719  17381 |        0 |        0
1587.64/1588.13	c 1588s |      25 |  6101020 |  5969498 |      719  17399 |        0 |        0
1589.64/1590.14	c 1590s |      25 |  6108429 |  5976798 |      719  17416 |        0 |        0
1591.64/1592.16	c 1592s |      25 |  6116419 |  5984598 |      719  17434 |        0 |        0
1593.63/1594.18	c 1594s |      25 |  6123912 |  5991998 |      719  17452 |        0 |        0
1595.64/1596.19	c 1596s |      25 |  6131298 |  5999298 |      719  17469 |        0 |        0
1597.64/1598.19	c 1598s |      25 |  6138571 |  6006498 |      719  17486 |        0 |        0
1599.74/1600.20	c 1600s |      25 |  6145964 |  6013798 |      719  17503 |        0 |        0
1601.74/1602.21	c 1602s |      25 |  6153485 |  6021198 |      719  17521 |        0 |        0
1603.74/1604.22	c 1604s |      25 |  6161168 |  6028798 |      719  17539 |        0 |        0
1605.74/1606.22	c 1606s |      25 |  6169736 |  6037198 |      719  17559 |        0 |        0
1607.74/1608.25	c 1608s |      25 |  6177934 |  6045298 |      719  17578 |        0 |        0
1609.74/1610.27	c 1610s |      25 |  6185954 |  6053198 |      719  17596 |        0 |        0
1611.73/1612.28	c 1612s |      25 |  6194092 |  6061198 |      719  17615 |        0 |        0
1613.74/1614.29	c 1614s |      25 |  6202235 |  6069098 |      719  17633 |        0 |        0
1615.84/1616.30	c 1616s |      25 |  6209972 |  6076698 |      719  17651 |        0 |        0
1617.84/1618.32	c 1618s |      25 |  6217779 |  6084298 |      719  17669 |        0 |        0
1619.84/1620.33	c 1620s |      25 |  6225407 |  6091798 |      719  17687 |        0 |        0
1621.83/1622.35	c 1622s |      25 |  6233220 |  6099398 |      719  17705 |        0 |        0
1623.83/1624.36	c 1624s |      25 |  6240738 |  6106798 |      719  17722 |        0 |        0
1625.84/1626.37	c 1626s |      25 |  6248247 |  6114198 |      719  17740 |        0 |        0
1627.83/1628.37	c 1628s |      25 |  6255883 |  6121698 |      719  17757 |        0 |        0
1629.84/1630.37	c 1630s |      25 |  6263046 |  6128698 |      719  17774 |        0 |        0
1631.84/1632.38	c 1632s |      25 |  6270176 |  6135698 |      719  17790 |        0 |        0
1633.83/1634.38	c 1634s |      25 |  6277325 |  6142698 |      719  17807 |        0 |        0
1635.83/1636.39	c 1636s |      25 |  6284474 |  6149698 |      719  17824 |        0 |        0
1637.93/1638.40	c 1638s |      25 |  6291668 |  6156798 |      719  17840 |        0 |        0
1639.94/1640.41	c 1640s |      25 |  6299023 |  6163998 |      719  17857 |        0 |        0
1641.94/1642.42	c 1642s |      25 |  6306529 |  6171398 |      719  17875 |        0 |        0
1643.93/1644.45	c 1644s |      25 |  6313868 |  6178598 |      719  17892 |        0 |        0
1645.93/1646.46	c 1646s |      25 |  6320861 |  6185498 |      719  17908 |        0 |        0
1647.93/1648.49	c 1648s |      25 |  6327810 |  6192298 |      719  17924 |        0 |        0
1649.93/1650.49	c 1650s |      25 |  6335149 |  6199498 |      719  17941 |        0 |        0
1651.93/1652.50	c 1652s |      25 |  6342721 |  6206998 |      719  17959 |        0 |        0
1654.04/1654.51	c 1654s |      25 |  6351114 |  6215298 |      719  17978 |        0 |        0
1656.03/1656.54	c 1656s |      25 |  6359124 |  6223198 |      719  17997 |        0 |        0
1658.03/1658.55	c 1658s |      25 |  6367038 |  6230998 |      719  18015 |        0 |        0
1660.03/1660.55	c 1660s |      25 |  6374527 |  6238398 |      719  18032 |        0 |        0
1662.03/1662.56	c 1662s |      25 |  6381851 |  6245598 |      719  18049 |        0 |        0
1664.03/1664.56	c 1664s |      25 |  6389103 |  6252798 |      719  18066 |        0 |        0
1666.03/1666.59	c 1666s |      25 |  6397438 |  6261098 |      719  18086 |        0 |        0
1668.13/1668.60	c 1668s |      25 |  6405572 |  6269198 |      719  18105 |        0 |        0
1670.13/1670.61	c 1670s |      25 |  6413502 |  6277098 |      719  18123 |        0 |        0
1672.13/1672.61	c 1672s |      25 |  6421439 |  6284998 |      719  18142 |        0 |        0
1674.12/1674.62	c 1674s |      25 |  6429290 |  6292798 |      719  18160 |        0 |        0
1676.12/1676.64	c 1676s |      25 |  6437144 |  6300598 |      719  18179 |        0 |        0
1678.13/1678.64	c 1678s |      25 |  6444858 |  6308198 |      719  18197 |        0 |        0
1680.12/1680.67	c 1680s |      25 |  6452471 |  6315698 |      719  18215 |        0 |        0
1682.12/1682.68	c 1682s |      25 |  6460149 |  6323298 |      719  18233 |        0 |        0
1684.22/1684.71	c 1684s |      25 |  6467732 |  6330798 |      719  18250 |        0 |        0
1686.23/1686.73	c 1686s |      25 |  6475335 |  6338298 |      719  18268 |        0 |        0
1688.23/1688.74	c 1688s |      25 |  6482810 |  6345698 |      719  18285 |        0 |        0
1690.24/1690.74	c 1690s |      25 |  6490712 |  6353498 |      719  18304 |        0 |        0
1692.23/1692.75	c 1692s |      25 |  6499201 |  6361898 |      719  18323 |        0 |        0
1694.23/1694.77	c 1694s |      25 |  6507227 |  6369798 |      719  18342 |        0 |        0
1696.23/1696.78	c 1696s |      25 |  6515094 |  6377498 |      719  18360 |        0 |        0
1698.33/1698.80	c 1698s |      25 |  6522718 |  6384998 |      719  18378 |        0 |        0
1700.33/1700.82	c 1700s |      25 |  6530293 |  6392498 |      719  18396 |        0 |        0
1702.33/1702.84	c 1702s |      25 |  6538236 |  6400398 |      719  18414 |        0 |        0
1704.33/1704.85	c 1704s |      25 |  6546347 |  6408398 |      719  18433 |        0 |        0
1706.32/1706.87	c 1706s |      25 |  6554025 |  6415998 |      719  18451 |        0 |        0
1708.32/1708.90	c 1708s |      25 |  6562190 |  6424098 |      719  18470 |        0 |        0
1710.42/1710.92	c 1710s |      25 |  6570048 |  6431898 |      719  18489 |        0 |        0
1712.42/1712.93	c 1712s |      25 |  6578159 |  6439798 |      719  18507 |        0 |        0
1714.43/1714.95	c 1714s |      25 |  6585757 |  6447298 |      719  18525 |        0 |        0
1716.42/1716.96	c 1716s |      25 |  6593477 |  6454898 |      719  18543 |        0 |        0
1718.42/1718.99	c 1718s |      25 |  6601136 |  6462398 |      719  18561 |        0 |        0
1720.52/1721.00	c 1720s |      25 |  6609448 |  6470598 |      719  18580 |        0 |        0
1722.52/1723.01	c 1722s |      25 |  6617447 |  6478498 |      719  18599 |        0 |        0
1724.52/1725.01	c 1724s |      25 |  6625334 |  6486298 |      719  18617 |        0 |        0
1726.53/1727.02	c 1727s |      25 |  6632934 |  6493798 |      719  18635 |        0 |        0
1728.52/1729.02	c 1729s |      25 |  6640273 |  6500998 |      719  18652 |        0 |        0
1730.52/1731.03	c 1731s |      25 |  6647906 |  6508498 |      719  18669 |        0 |        0
1732.52/1733.03	c 1733s |      25 |  6655613 |  6516098 |      719  18687 |        0 |        0
1734.52/1735.05	c 1735s |      25 |  6663202 |  6523598 |      719  18705 |        0 |        0
1736.53/1737.06	c 1737s |      25 |  6671062 |  6531298 |      719  18724 |        0 |        0
1738.52/1739.08	c 1739s |      25 |  6679053 |  6539198 |      719  18742 |        0 |        0
1740.52/1741.09	c 1741s |      25 |  6686697 |  6546698 |      719  18760 |        0 |        0
1742.62/1743.11	c 1743s |      25 |  6694283 |  6554098 |      719  18778 |        0 |        0
1744.62/1745.12	c 1745s |      25 |  6701812 |  6561498 |      719  18795 |        0 |        0
1746.61/1747.12	c 1747s |      25 |  6709222 |  6568798 |      719  18813 |        0 |        0
1748.63/1749.13	c 1749s |      25 |  6716514 |  6575998 |      719  18830 |        0 |        0
1750.62/1751.14	c 1751s |      25 |  6723498 |  6582898 |      719  18846 |        0 |        0
1752.62/1753.17	c 1753s |      25 |  6731360 |  6590598 |      719  18865 |        0 |        0
1754.62/1755.18	c 1755s |      25 |  6739239 |  6598398 |      719  18883 |        0 |        0
1756.62/1757.18	c 1757s |      25 |  6746901 |  6605998 |      719  18901 |        0 |        0
1758.71/1759.20	c 1759s |      25 |  6754693 |  6613598 |      719  18919 |        0 |        0
1760.72/1761.21	c 1761s |      25 |  6762235 |  6620998 |      719  18937 |        0 |        0
1762.72/1763.21	c 1763s |      25 |  6769512 |  6628198 |      719  18954 |        0 |        0
1764.71/1765.22	c 1765s |      25 |  6778274 |  6636798 |      719  18974 |        0 |        0
1766.71/1767.22	c 1767s |      25 |  6787499 |  6645898 |      719  18995 |        0 |        0
1768.72/1769.23	c 1769s |      25 |  6796353 |  6654598 |      719  19016 |        0 |        0
1770.71/1771.24	c 1771s |      25 |  6805095 |  6663198 |      719  19036 |        0 |        0
1772.72/1773.24	c 1773s |      25 |  6813623 |  6671598 |      719  19056 |        0 |        0
1774.71/1775.26	c 1775s |      25 |  6821852 |  6679698 |      719  19075 |        0 |        0
1776.71/1777.26	c 1777s |      25 |  6830456 |  6688098 |      719  19094 |        0 |        0
1778.71/1779.28	c 1779s |      25 |  6839511 |  6696998 |      719  19115 |        0 |        0
1780.71/1781.28	c 1781s |      25 |  6848311 |  6705598 |      719  19135 |        0 |        0
1782.72/1783.29	c 1783s |      25 |  6856968 |  6713998 |      719  19155 |        0 |        0
1784.71/1785.29	c 1785s |      25 |  6865523 |  6722398 |      719  19175 |        0 |        0
1786.81/1787.32	c 1787s |      25 |  6873874 |  6730598 |      719  19194 |        0 |        0
1788.81/1789.34	c 1789s |      25 |  6881890 |  6738498 |      719  19212 |        0 |        0
1790.81/1791.36	c 1791s |      25 |  6890125 |  6746598 |      719  19232 |        0 |        0
1792.81/1793.36	c 1793s |      25 |  6898260 |  6754598 |      719  19250 |        0 |        0
1794.82/1795.38	c 1795s |      25 |  6905952 |  6762198 |      719  19268 |        0 |        0
1796.81/1797.39	c 1797s |      25 |  6913906 |  6769998 |      719  19287 |        0 |        0
1798.90/1799.40	c 1799s |      25 |  6921320 |  6777298 |      719  19304 |        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-4079753-1465245537/watcher-4079753-1465245537 -o /tmp/evaluation-result-4079753-1465245537/solver-4079753-1465245537 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079753-1465245537.opb 

pid=7558
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.04 2.00 2/179 7561
/proc/meminfo: memFree=30734936/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 2534 0 0 0 0 0 0 0 20 0 4 0 106488413 696709120 2894 33554432000 4194304 16246674 140733454267616 140733454267040 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 170863 2904 441 2943 0 167757 0
[pid=7561/tid=7562] ppid=7558 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 715583488 2966 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 719777792 2982 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 723972096 2998 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100186 s]
/proc/loadavg: 2.07 2.04 2.00 2/179 7561
/proc/meminfo: memFree=30734936/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 20423 0 0 0 6 3 0 0 20 0 4 0 106488413 1247350784 20771 33554432000 4194304 16246674 140733454267616 140733454267040 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 304529 20781 770 2943 0 301423 0
[pid=7561/tid=7562] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 20785 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 20788 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 20790 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200523 s]
/proc/loadavg: 2.07 2.04 2.00 2/179 7561
/proc/meminfo: memFree=30734936/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 38783 0 0 0 13 6 0 0 20 0 4 0 106488413 1247350784 39130 33554432000 4194304 16246674 140733454267616 140733454267040 5515837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 304529 39134 770 2943 0 301423 0
[pid=7561/tid=7562] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 39136 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 39140 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 39143 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300481 s]
/proc/loadavg: 2.07 2.04 2.00 2/179 7561
/proc/meminfo: memFree=30734936/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 56901 0 0 0 21 7 0 0 20 0 4 0 106488413 1247350784 57248 33554432000 4194304 16246674 140733454267616 140733454267040 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 304529 57254 770 2943 0 301423 0
[pid=7561/tid=7562] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 57260 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 57270 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 57275 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700405 s]
/proc/loadavg: 2.07 2.04 2.00 2/179 7561
/proc/meminfo: memFree=30734936/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 136190 0 0 0 52 17 0 0 20 0 4 0 106488413 1247350784 136537 33554432000 4194304 16246674 140733454267616 140733454249536 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 304529 136540 771 2943 0 301423 0
[pid=7561/tid=7562] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 136543 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 136546 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1247350784 136549 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 7565
/proc/meminfo: memFree=29869692/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 245770 0 0 0 116 32 0 0 20 0 4 0 106488413 1248399360 246095 33554432000 4194304 16246674 140733454267616 140733454266928 5711811 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 304785 246095 833 2943 0 301679 0
[pid=7561/tid=7562] ppid=7558 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1248399360 246095 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1248399360 246095 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1248399360 246095 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 7565
/proc/meminfo: memFree=29664968/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 267488 0 0 0 273 36 0 0 20 0 4 0 106488413 1337528320 267813 33554432000 4194304 16246674 140733454267616 140733454249536 13954672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 326545 267813 833 2943 0 323439 0
[pid=7561/tid=7562] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267813 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267813 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267813 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 7565
/proc/meminfo: memFree=29664128/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 267511 0 0 0 593 36 0 0 20 0 4 0 106488413 1337528320 267836 33554432000 4194304 16246674 140733454267616 140733454249536 5721406 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 326545 267836 833 2943 0 323439 0
[pid=7561/tid=7562] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267836 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267836 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267836 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 7565
/proc/meminfo: memFree=29663928/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 267581 0 0 0 1232 37 0 0 20 0 4 0 106488413 1337528320 267906 33554432000 4194304 16246674 140733454267616 140733454249536 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 326545 267906 834 2943 0 323439 0
[pid=7561/tid=7562] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267906 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267906 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267906 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 7565
/proc/meminfo: memFree=29662512/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 267625 0 0 0 2511 38 0 0 20 0 4 0 106488413 1337528320 267950 33554432000 4194304 16246674 140733454267616 140733454249536 5996544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 326545 267950 836 2943 0 323439 0
[pid=7561/tid=7562] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267950 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267950 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1337528320 267950 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 7565
/proc/meminfo: memFree=29660880/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 267881 0 0 0 5069 39 0 0 20 0 4 0 106488413 1338576896 268206 33554432000 4194304 16246674 140733454267616 140733454250616 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 326801 268206 836 2943 0 323695 0
[pid=7561/tid=7562] ppid=7558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1338576896 268206 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1338576896 268206 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1338576896 268206 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/184 7569
/proc/meminfo: memFree=29661120/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 267882 0 0 0 10187 41 0 0 20 0 4 0 106488413 1338576896 268207 33554432000 4194304 16246674 140733454267616 140733454249536 5861864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7561/statm: 326801 268207 837 2943 0 323695 0
[pid=7561/tid=7562] ppid=7558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1338576896 268207 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1338576896 268207 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1338576896 268207 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268590 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.02 2.03 2.00 3/184 7721
/proc/meminfo: memFree=29606860/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1308228 CPUtime=1361.87 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 268424 0 0 0 136061 126 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140733454250616 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7561/statm: 327057 268722 838 2943 0 323951 0
[pid=7561/tid=7562] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 7723
/proc/meminfo: memFree=29606504/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1308228 CPUtime=1421.87 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 268424 0 0 0 142055 132 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140733454249536 13809224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7561/statm: 327057 268722 838 2943 0 323951 0
[pid=7561/tid=7562] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 7724
/proc/meminfo: memFree=29605920/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1308228 CPUtime=1481.86 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 268424 0 0 0 148046 140 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140733454249536 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7561/statm: 327057 268722 838 2943 0 323951 0
[pid=7561/tid=7562] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 4/183 7725
/proc/meminfo: memFree=29606372/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1308228 CPUtime=1541.86 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 268424 0 0 0 154045 141 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140733454249536 6020469 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7561/statm: 327057 268722 838 2943 0 323951 0
[pid=7561/tid=7562] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 7726
/proc/meminfo: memFree=29582024/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1308228 CPUtime=1601.84 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 268424 0 0 0 160040 144 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140733454249536 5600808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7561/statm: 327057 268722 838 2943 0 323951 0
[pid=7561/tid=7562] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 7727
/proc/meminfo: memFree=29581864/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1308228 CPUtime=1661.83 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 268424 0 0 0 166032 151 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140733454250616 5546257 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7561/statm: 327057 268722 838 2943 0 323951 0
[pid=7561/tid=7562] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 7729
/proc/meminfo: memFree=29581240/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1308228 CPUtime=1721.82 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 268424 0 0 0 172030 152 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140733454249536 12482299 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7561/statm: 327057 268722 838 2943 0 323951 0
[pid=7561/tid=7562] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 7730
/proc/meminfo: memFree=29581500/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1308228 CPUtime=1781.81 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 268424 0 0 0 178023 158 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140733454249536 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7561/statm: 327057 268722 838 2943 0 323951 0
[pid=7561/tid=7562] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 7730
/proc/meminfo: memFree=29581472/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1308228 CPUtime=1800 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 268424 0 0 0 179840 160 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140733454249536 5573315 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7561/statm: 327057 268722 838 2943 0 323951 0
[pid=7561/tid=7562] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1308228

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

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 7730
/proc/meminfo: memFree=29581472/32872528 swapFree=11372/178980
[pid=7561] ppid=7558 vsize=1308228 CPUtime=1800 cores=0,2,4,6
/proc/7561/stat : 7561 (toysat) R 7558 7561 4590 0 -1 4202496 268424 0 0 0 179840 160 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140733454249536 5573315 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7561/statm: 327057 268722 838 2943 0 323951 0
[pid=7561/tid=7562] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7562/stat : 7562 (toysat) S 7558 7561 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671515077872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7563] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (toysat) S 7558 7561 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671504588016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7564] ppid=7558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7564/stat : 7564 (toysat) S 7558 7561 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106488413 1339625472 268722 33554432000 4194304 16246674 140733454267616 140671386119344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1308228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1798.41
CPU system time (s): 1.61275
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 1.61275
maximum resident set size= 1074888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268424
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= 426
involuntary context switches= 2004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52231 second user time and 7.00293 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-06 22:38:57
IDJOB=4079753
IDBENCH=2924
IDSOLVER=2542
FILE ID=node105/4079753-1465245537
RUNJOBID= node105-1465220657-4606
PBS_JOBID= 19843223
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b
RANDOM SEED=1668239433

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30735564 kB
Buffers:           49292 kB
Cached:           131236 kB
SwapCached:         1756 kB
Active:          1172696 kB
Inactive:          82868 kB
Active(anon):    1075700 kB
Inactive(anon):     1504 kB
Active(file):      96996 kB
Inactive(file):    81364 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098460 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       1378116 kB
Mapped:            10588 kB
Shmem:                 0 kB
Slab:             569328 kB
SReclaimable:      13028 kB
SUnreclaim:       556300 kB
KernelStack:        1496 kB
PageTables:         6228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1398552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    294912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-06 23:08:58