Trace number 4093305

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM1f875ef306d18e6f86db860a031faa4e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark96
Best CPU time to get the best result obtained on this benchmark2.26865
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables400
Total number of constraints60
Number of soft constraints16
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint20
Top cost 813
Min constraint cost 1
Max constraint cost 95
Sum of constraints costs 812
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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-16T13:59:17+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","--wbo","--search=bcd2","HOME/instance-4093305-1466078357.wbo"]
0.00/0.01	c use --random-gen="1341929254 112088451 1055258308 156850044 2682885600 1490008632 3093838852 730717941 2763448804 1498245236 2442508817 1163341044 1636013359 2299039500 2563435565 1728519078 1521604310 3270406767 3935762468 919622437 99940564 569890943 2162180770 2317257636 230663339 2201883306 2189617789 3680930444 1740065025 2159485346 1102139307 838387184 1294892764 3937174139 3083577162 4063533314 442224057 2458753746 1996742516 572029577 132882241 3804341517 3155863330 1226578670 2740393957 3183775581 3074484085 3309680322 3113306012 1743891180 3626219925 2643654836 1472811223 1753778578 3074669323 733326755 549808341 2482146659 195793471 81130081 1939480664 1148368864 804270440 1918437930 2783353186 3697612099 1366749338 1580469820 3844117885 705782058 1871905971 2408484322 1495938543 4074517589 3705691013 2373812691 3750221401 39962083 2369042472 293327057 3576009845 396936004 969214548 2690207798 2757616112 3813077473 1222202148 1471944691 2443688544 218062615 1646596923 323306330 1018263705 3700674533 838442431 16009040 898766544 205455340 186368802 1463339071 1896074645 3854091098 2501780462 3418091336 3878509495 3878170459 2199844624 1333530713 1669008912 2946586466 3542837826 264880985 4032253578 191866595 1765399432 2900892031 3322957089 3960038973 3897363528 1592903840 3769550717 1513571219 3470315282 4019679880 2774533107 3240904849 37983228 644354691 3021501380 2186191158 965635339 4198780223 861582652 3470680425 4218333888 3918610071 4108776970 127710266 886205821 1317100121 4085260449 3022647278 531913272 1514310920 2816851837 2556434603 642077520 1273390374 3797476839 2326255441 2458638060 1566550025 828616678 1632746610 2309757887 3999214246 2810411853 1378761192 2351457406 972472573 4333520 2372453520 1850638218 961517031 3712421622 3472290155 4141668732 3160931621 4149377152 1481876494 1682225846 1759792927 3452745269 2667947714 3972407780 488853164 3151959243 609211464 4230722311 1670648112 606401429 3976684507 872542609 935507404 3130057109 1633986158 238660017 1153042494 341795468 4107857311 864619621 754738745 790659846 971377792 2260418407 3540686736 2100219189 3724691493 1688092985 1252809549 3557689207 2664242829 1732909277 1724903207 2002663635 967869106 1605576813 163197255 1014665980 321878362 4059381083 1763415081 2479480787 2466142205 3568751837 4017940893 2358768449 4138675395 3051336594 3417507232 2721759831 2040145902 4105538782 590251753 4240695384 2236156326 1778444092 3996038976 3368427390 2360640920 2849800573 2552257576 3606733057 2973697889 2925587016 3266886376 678388925 2094861260 3906092658 1164077127 3921406534 3506884084 520442496 2915771903 3426479341 1050930142 1750960119 2595413513 1854499533 1648127393 334323922 1489403277 776216593 2250410605 1297060656 542134364 255 362436" option to reproduce the execution
0.00/0.02	c #vars 400
0.00/0.02	c #constraints 60
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      158      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      141 |      100 |      158      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      431 |      250 |      174      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      582 |      255 |      192      1 |        0 |        0
0.00/0.06	c #cpu_time = 0.037s
0.00/0.06	c #wall_clock_time = 0.037s
0.00/0.06	c #decision = 582
0.00/0.06	c #random_decision = 2
0.00/0.06	c #conflict = 255
0.00/0.06	c #restart = 2
0.00/0.06	o 440
0.00/0.06	c BCD2: updating upper bound: 812 -> 439
0.00/0.06	c BCD2: 0 <= obj <= 439
0.00/0.06	c BCD2: #cores=0, #unrelaxed=16, #relaxed=0, #hardened=0
0.00/0.06	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      192      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      274 |      100 |      192      0 |        0 |        0
0.09/0.11	c  0.0s |       2 |      614 |      250 |      212      1 |        0 |        0
0.09/0.15	c  0.1s |       3 |     1101 |      475 |      212      3 |        0 |        0
0.19/0.22	c  0.2s |       4 |     1542 |      813 |      234      5 |        0 |        0
0.29/0.31	c  0.2s |       5 |     2352 |     1320 |      258      8 |        0 |        0
0.39/0.47	c  0.4s |       6 |     3444 |     2081 |      284     13 |        0 |        0
0.69/0.70	c  0.6s |       7 |     5097 |     3223 |      313     19 |        0 |        0
0.99/1.02	c  1.0s |       8 |     7096 |     4936 |      345     27 |        0 |        0
1.39/1.40	c  1.3s |       9 |    10253 |     7506 |      380     39 |        0 |        0
1.99/2.04	c  2.0s |      10 |    14962 |    11361 |      419     56 |        0 |        0
2.88/2.98	c  2.9s |      11 |    21909 |    17144 |      461     77 |        0 |        0
4.39/4.43	c  4.4s |      12 |    32026 |    25819 |      508    108 |        0 |        0
6.38/6.44	c  6.4s |      12 |    44717 |    36719 |      508    143 |        0 |        0
6.78/6.80	c  6.7s |      13 |    47127 |    38832 |      559    150 |        0 |        0
8.79/8.81	c  8.7s |      13 |    61438 |    50932 |      559    187 |        0 |        0
9.99/10.05	c 10.0s |      14 |    70059 |    58352 |      615    209 |        0 |        0
11.98/12.05	c 12.0s |      14 |    83500 |    69752 |      615    241 |        0 |        0
13.98/14.07	c 14.0s |      14 |    97308 |    81752 |      615    276 |        0 |        0
14.98/15.02	c 15.0s |      15 |   104237 |    87632 |      677    292 |        0 |        0
16.98/17.02	c 17.0s |      15 |   118788 |    99932 |      677    325 |        0 |        0
18.98/19.04	c 19.0s |      15 |   132174 |   111732 |      677    356 |        0 |        0
20.99/21.05	c 21.0s |      15 |   144003 |   122332 |      677    383 |        0 |        0
22.68/22.79	c 22.7s |      16 |   154290 |   131552 |      745    406 |        0 |        0
24.78/24.81	c 24.7s |      16 |   166869 |   142252 |      745    432 |        0 |        0
26.78/26.81	c 26.7s |      16 |   179495 |   153152 |      745    458 |        0 |        0
28.78/28.81	c 28.7s |      16 |   192058 |   163852 |      745    483 |        0 |        0
30.80/30.83	c 30.8s |      16 |   203085 |   173452 |      745    506 |        0 |        0
32.79/32.84	c 32.8s |      16 |   213306 |   182552 |      745    528 |        0 |        0
34.79/34.86	c 34.8s |      16 |   222325 |   190552 |      745    546 |        0 |        0
36.49/36.55	c 36.5s |      17 |   230206 |   197432 |      820    562 |        0 |        0
38.49/38.56	c 38.5s |      17 |   241892 |   206932 |      820    583 |        0 |        0
40.49/40.57	c 40.5s |      17 |   252563 |   216132 |      820    603 |        0 |        0
42.49/42.57	c 42.5s |      17 |   263076 |   225432 |      820    624 |        0 |        0
44.49/44.59	c 44.5s |      17 |   274015 |   234932 |      820    645 |        0 |        0
46.59/46.61	c 46.5s |      17 |   285502 |   244632 |      820    667 |        0 |        0
48.59/48.62	c 48.6s |      17 |   296050 |   253832 |      820    687 |        0 |        0
50.59/50.63	c 50.6s |      17 |   306672 |   263132 |      820    707 |        0 |        0
52.59/52.65	c 52.6s |      17 |   316939 |   272132 |      820    727 |        0 |        0
54.58/54.68	c 54.6s |      17 |   326275 |   280332 |      820    745 |        0 |        0
56.58/56.69	c 56.6s |      17 |   336484 |   289232 |      820    764 |        0 |        0
58.18/58.26	c 58.2s |      18 |   344683 |   296252 |      903    779 |        0 |        0
60.18/60.27	c 60.2s |      18 |   355577 |   305152 |      903    796 |        0 |        0
62.28/62.30	c 62.2s |      18 |   365031 |   313252 |      903    812 |        0 |        0
64.28/64.32	c 64.3s |      18 |   374670 |   321452 |      903    829 |        0 |        0
66.28/66.33	c 66.3s |      18 |   383933 |   329552 |      903    845 |        0 |        0
68.29/68.34	c 68.3s |      18 |   393321 |   337752 |      903    861 |        0 |        0
70.28/70.35	c 70.3s |      18 |   403371 |   346352 |      903    878 |        0 |        0
72.28/72.36	c 72.3s |      18 |   412769 |   354352 |      903    894 |        0 |        0
74.28/74.36	c 74.3s |      18 |   421365 |   361652 |      903    908 |        0 |        0
76.28/76.38	c 76.3s |      18 |   431014 |   369852 |      903    925 |        0 |        0
78.38/78.41	c 78.3s |      18 |   439561 |   377352 |      903    940 |        0 |        0
80.38/80.43	c 80.4s |      18 |   448577 |   385352 |      903    955 |        0 |        0
82.38/82.46	c 82.4s |      18 |   457821 |   393352 |      903    971 |        0 |        0
84.38/84.48	c 84.4s |      18 |   467478 |   401152 |      903    987 |        0 |        0
86.38/86.49	c 86.4s |      18 |   476580 |   408852 |      903   1002 |        0 |        0
88.38/88.49	c 88.4s |      18 |   486301 |   416852 |      903   1018 |        0 |        0
90.38/90.49	c 90.4s |      18 |   496003 |   425252 |      903   1035 |        0 |        0
92.38/92.49	c 92.4s |      18 |   505409 |   433252 |      903   1051 |        0 |        0
94.47/94.52	c 94.5s |      18 |   514954 |   441252 |      994   1067 |        0 |        0
95.27/95.36	c 95.3s |      19 |   518582 |   444482 |      994   1072 |        0 |        0
97.27/97.37	c 97.3s |      19 |   528815 |   452282 |      994   1087 |        0 |        0
99.27/99.37	c 99.3s |      19 |   536830 |   459082 |      994   1099 |        0 |        0
101.28/101.39	c  101s |      19 |   545445 |   465582 |      994   1111 |        0 |        0
103.38/103.42	c  103s |      19 |   554165 |   472382 |      994   1123 |        0 |        0
105.37/105.43	c  105s |      19 |   563928 |   479882 |      994   1137 |        0 |        0
107.37/107.43	c  107s |      19 |   573931 |   488382 |      994   1153 |        0 |        0
109.37/109.44	c  109s |      19 |   583184 |   496182 |      994   1167 |        0 |        0
111.37/111.45	c  111s |      19 |   590688 |   502682 |      994   1179 |        0 |        0
113.37/113.45	c  113s |      19 |   599601 |   510082 |      994   1193 |        0 |        0
115.37/115.47	c  115s |      19 |   608755 |   517782 |      994   1207 |        0 |        0
117.37/117.47	c  117s |      19 |   618011 |   525682 |      994   1221 |        0 |        0
119.47/119.51	c  119s |      19 |   626580 |   532882 |      994   1234 |        0 |        0
121.47/121.52	c  121s |      19 |   635039 |   539882 |      994   1247 |        0 |        0
123.47/123.54	c  123s |      19 |   643084 |   546782 |      994   1260 |        0 |        0
125.47/125.54	c  125s |      19 |   650826 |   553482 |      994   1272 |        0 |        0
127.47/127.56	c  127s |      19 |   658706 |   560282 |      994   1284 |        0 |        0
129.47/129.58	c  129s |      19 |   666059 |   566882 |      994   1296 |        0 |        0
131.47/131.59	c  131s |      19 |   674875 |   574182 |      994   1310 |        0 |        0
133.56/133.61	c  133s |      19 |   683923 |   582082 |      994   1324 |        0 |        0
135.56/135.62	c  135s |      19 |   692903 |   589882 |      994   1338 |        0 |        0
137.57/137.64	c  137s |      19 |   700613 |   596582 |      994   1351 |        0 |        0
139.56/139.67	c  139s |      19 |   708652 |   603582 |      994   1364 |        0 |        0
141.56/141.67	c  141s |      19 |   716264 |   610282 |      994   1376 |        0 |        0
143.56/143.68	c  143s |      19 |   724260 |   617382 |      994   1389 |        0 |        0
145.67/145.70	c  145s |      19 |   733287 |   625082 |      994   1403 |        0 |        0
147.67/147.73	c  147s |      19 |   741497 |   632282 |      994   1416 |        0 |        0
149.68/149.73	c  149s |      19 |   750064 |   639582 |      994   1429 |        0 |        0
151.67/151.75	c  151s |      19 |   758254 |   646782 |      994   1442 |        0 |        0
153.67/153.76	c  153s |      19 |   766837 |   654282 |      994   1456 |        0 |        0
155.67/155.77	c  155s |      19 |   775620 |   661982 |     1094   1470 |        0 |        0
157.07/157.15	c  157s |      20 |   781258 |   666827 |     1094   1478 |        0 |        0
159.07/159.17	c  159s |      20 |   790910 |   674727 |     1094   1491 |        0 |        0
161.07/161.19	c  161s |      20 |   800175 |   682327 |     1094   1504 |        0 |        0
163.17/163.21	c  163s |      20 |   809415 |   690127 |     1094   1517 |        0 |        0
165.17/165.22	c  165s |      20 |   817630 |   697127 |     1094   1528 |        0 |        0
167.17/167.23	c  167s |      20 |   826361 |   704627 |     1094   1541 |        0 |        0
169.17/169.26	c  169s |      20 |   835049 |   712127 |     1094   1553 |        0 |        0
171.17/171.26	c  171s |      20 |   843895 |   719827 |     1094   1566 |        0 |        0
173.17/173.28	c  173s |      20 |   853345 |   728027 |     1094   1579 |        0 |        0
175.17/175.29	c  175s |      20 |   860906 |   734727 |     1094   1591 |        0 |        0
177.17/177.29	c  177s |      20 |   868191 |   741327 |     1094   1601 |        0 |        0
179.16/179.29	c  179s |      20 |   875969 |   748227 |     1094   1613 |        0 |        0
181.26/181.30	c  181s |      20 |   884852 |   755927 |     1094   1626 |        0 |        0
183.26/183.32	c  183s |      20 |   893205 |   763227 |     1094   1638 |        0 |        0
185.26/185.34	c  185s |      20 |   902229 |   771127 |     1094   1651 |        0 |        0
187.26/187.36	c  187s |      20 |   911130 |   778927 |     1094   1664 |        0 |        0
189.27/189.38	c  189s |      20 |   919054 |   785727 |     1094   1675 |        0 |        0
191.26/191.40	c  191s |      20 |   927792 |   793127 |     1094   1688 |        0 |        0
193.36/193.41	c  193s |      20 |   935782 |   799927 |     1094   1699 |        0 |        0
195.36/195.42	c  195s |      20 |   943791 |   806727 |     1094   1710 |        0 |        0
197.36/197.43	c  197s |      20 |   952058 |   813827 |     1094   1722 |        0 |        0
199.36/199.43	c  199s |      20 |   960149 |   820727 |     1094   1734 |        0 |        0
201.37/201.43	c  201s |      20 |   968924 |   828027 |     1094   1746 |        0 |        0
203.36/203.44	c  203s |      20 |   977166 |   835227 |     1094   1758 |        0 |        0
205.36/205.45	c  205s |      20 |   985104 |   842227 |     1094   1770 |        0 |        0
207.36/207.46	c  207s |      20 |   992488 |   848727 |     1094   1781 |        0 |        0
209.36/209.46	c  209s |      20 |  1000744 |   855927 |     1094   1793 |        0 |        0
211.36/211.47	c  211s |      20 |  1009112 |   863327 |     1094   1805 |        0 |        0
213.37/213.48	c  213s |      20 |  1017970 |   871027 |     1094   1818 |        0 |        0
215.46/215.50	c  215s |      20 |  1026066 |   878127 |     1094   1830 |        0 |        0
217.46/217.52	c  217s |      20 |  1033294 |   884527 |     1094   1840 |        0 |        0
219.46/219.54	c  219s |      20 |  1040257 |   890727 |     1094   1851 |        0 |        0
221.46/221.56	c  221s |      20 |  1047183 |   896927 |     1094   1861 |        0 |        0
223.46/223.58	c  223s |      20 |  1054077 |   903027 |     1094   1871 |        0 |        0
225.46/225.60	c  225s |      20 |  1063120 |   910827 |     1094   1884 |        0 |        0
227.56/227.61	c  227s |      20 |  1071399 |   918027 |     1094   1896 |        0 |        0
229.56/229.62	c  229s |      20 |  1079285 |   924927 |     1094   1908 |        0 |        0
231.56/231.63	c  231s |      20 |  1087094 |   931927 |     1094   1919 |        0 |        0
233.56/233.65	c  233s |      20 |  1095863 |   939527 |     1094   1932 |        0 |        0
235.55/235.67	c  235s |      20 |  1103666 |   946427 |     1094   1943 |        0 |        0
237.56/237.68	c  237s |      20 |  1111395 |   953227 |     1094   1955 |        0 |        0
239.65/239.70	c  239s |      20 |  1119342 |   960127 |     1094   1966 |        0 |        0
241.65/241.71	c  241s |      20 |  1126757 |   966727 |     1094   1977 |        0 |        0
243.65/243.73	c  243s |      20 |  1135029 |   974027 |     1094   1989 |        0 |        0
245.65/245.76	c  245s |      20 |  1142835 |   980927 |     1094   2001 |        0 |        0
247.65/247.79	c  247s |      20 |  1150644 |   987827 |     1094   2012 |        0 |        0
249.76/249.81	c  249s |      20 |  1159434 |   995427 |     1204   2025 |        0 |        0
251.05/251.12	c  251s |      21 |  1164908 |  1000345 |     1204   2032 |        0 |        0
253.06/253.14	c  253s |      21 |  1174850 |  1008445 |     1204   2045 |        0 |        0
255.05/255.15	c  255s |      21 |  1184551 |  1016945 |     1204   2058 |        0 |        0
257.05/257.18	c  257s |      21 |  1193259 |  1024645 |     1204   2070 |        0 |        0
259.05/259.19	c  259s |      21 |  1201606 |  1032045 |     1204   2081 |        0 |        0
261.15/261.21	c  261s |      21 |  1210893 |  1040145 |     1204   2093 |        0 |        0
263.15/263.21	c  263s |      21 |  1218983 |  1047245 |     1204   2104 |        0 |        0
265.15/265.22	c  265s |      21 |  1226943 |  1054345 |     1204   2115 |        0 |        0
267.15/267.23	c  267s |      21 |  1234423 |  1061045 |     1204   2125 |        0 |        0
269.15/269.25	c  269s |      21 |  1242362 |  1068045 |     1204   2135 |        0 |        0
271.15/271.28	c  271s |      21 |  1250520 |  1075245 |     1204   2146 |        0 |        0
273.15/273.28	c  273s |      21 |  1258528 |  1082345 |     1204   2157 |        0 |        0
275.25/275.30	c  275s |      21 |  1266686 |  1089445 |     1204   2168 |        0 |        0
277.25/277.32	c  277s |      21 |  1275089 |  1096845 |     1204   2179 |        0 |        0
279.24/279.33	c  279s |      21 |  1283473 |  1104245 |     1204   2190 |        0 |        0
281.24/281.34	c  281s |      21 |  1291932 |  1111745 |     1204   2202 |        0 |        0
283.24/283.37	c  283s |      21 |  1299024 |  1118045 |     1204   2211 |        0 |        0
285.24/285.39	c  285s |      21 |  1306840 |  1124945 |     1204   2222 |        0 |        0
287.34/287.40	c  287s |      21 |  1314993 |  1131945 |     1204   2233 |        0 |        0
289.35/289.42	c  289s |      21 |  1324142 |  1139445 |     1204   2244 |        0 |        0
291.34/291.43	c  291s |      21 |  1333072 |  1146945 |     1204   2256 |        0 |        0
293.34/293.45	c  293s |      21 |  1342134 |  1154745 |     1204   2268 |        0 |        0
295.34/295.47	c  295s |      21 |  1352181 |  1163445 |     1204   2282 |        0 |        0
297.34/297.48	c  297s |      21 |  1362082 |  1172145 |     1204   2295 |        0 |        0
299.34/299.49	c  299s |      21 |  1371134 |  1180145 |     1204   2308 |        0 |        0
301.45/301.51	c  301s |      21 |  1380440 |  1188345 |     1204   2321 |        0 |        0
303.44/303.52	c  303s |      21 |  1389509 |  1196445 |     1204   2334 |        0 |        0
305.44/305.52	c  305s |      21 |  1398933 |  1204545 |     1204   2346 |        0 |        0
307.44/307.52	c  307s |      21 |  1407640 |  1212145 |     1204   2358 |        0 |        0
309.44/309.53	c  309s |      21 |  1416307 |  1219745 |     1204   2369 |        0 |        0
311.44/311.53	c  311s |      21 |  1425278 |  1227545 |     1204   2381 |        0 |        0
313.44/313.54	c  313s |      21 |  1432775 |  1234145 |     1204   2391 |        0 |        0
315.44/315.55	c  315s |      21 |  1440685 |  1240945 |     1204   2402 |        0 |        0
317.44/317.55	c  317s |      21 |  1448671 |  1247745 |     1204   2412 |        0 |        0
319.44/319.57	c  319s |      21 |  1456593 |  1254545 |     1204   2423 |        0 |        0
321.44/321.58	c  321s |      21 |  1464957 |  1261845 |     1204   2434 |        0 |        0
323.44/323.59	c  323s |      21 |  1474036 |  1269645 |     1204   2446 |        0 |        0
325.44/325.59	c  325s |      21 |  1482780 |  1277345 |     1204   2457 |        0 |        0
327.54/327.61	c  327s |      21 |  1491953 |  1285345 |     1204   2469 |        0 |        0
329.54/329.61	c  329s |      21 |  1500783 |  1293045 |     1204   2481 |        0 |        0
331.54/331.62	c  331s |      21 |  1508649 |  1300045 |     1204   2492 |        0 |        0
333.54/333.62	c  333s |      21 |  1516979 |  1307145 |     1204   2503 |        0 |        0
335.55/335.63	c  335s |      21 |  1525188 |  1314245 |     1204   2514 |        0 |        0
337.54/337.66	c  337s |      21 |  1533118 |  1321145 |     1204   2524 |        0 |        0
339.54/339.66	c  339s |      21 |  1540778 |  1327845 |     1204   2534 |        0 |        0
341.54/341.67	c  341s |      21 |  1548528 |  1334645 |     1204   2545 |        0 |        0
343.54/343.69	c  343s |      21 |  1556392 |  1341645 |     1204   2555 |        0 |        0
345.54/345.70	c  345s |      21 |  1564810 |  1348945 |     1204   2567 |        0 |        0
347.65/347.72	c  347s |      21 |  1572510 |  1355645 |     1204   2577 |        0 |        0
349.64/349.75	c  349s |      21 |  1579645 |  1361845 |     1204   2586 |        0 |        0
351.64/351.77	c  351s |      21 |  1587058 |  1368345 |     1204   2596 |        0 |        0
353.64/353.78	c  353s |      21 |  1593582 |  1374045 |     1204   2605 |        0 |        0
355.74/355.81	c  355s |      21 |  1600643 |  1380045 |     1204   2614 |        0 |        0
357.74/357.82	c  357s |      21 |  1607236 |  1385845 |     1204   2623 |        0 |        0
359.74/359.82	c  359s |      21 |  1613277 |  1391145 |     1204   2631 |        0 |        0
361.74/361.85	c  361s |      21 |  1619127 |  1396245 |     1204   2639 |        0 |        0
363.73/363.88	c  363s |      21 |  1626071 |  1402445 |     1204   2648 |        0 |        0
365.73/365.88	c  365s |      21 |  1632119 |  1407845 |     1204   2656 |        0 |        0
367.73/367.89	c  367s |      21 |  1638143 |  1413045 |     1204   2664 |        0 |        0
369.83/369.92	c  369s |      21 |  1644103 |  1418345 |     1204   2673 |        0 |        0
371.84/371.93	c  371s |      21 |  1652727 |  1425845 |     1204   2684 |        0 |        0
373.83/373.93	c  373s |      21 |  1661121 |  1433145 |     1204   2695 |        0 |        0
375.83/375.97	c  375s |      21 |  1669768 |  1440545 |     1204   2707 |        0 |        0
377.83/377.98	c  377s |      21 |  1677967 |  1447745 |     1204   2718 |        0 |        0
379.83/379.98	c  379s |      21 |  1686188 |  1455045 |     1204   2729 |        0 |        0
381.83/381.99	c  381s |      21 |  1694097 |  1462045 |     1204   2739 |        0 |        0
383.94/384.01	c  383s |      21 |  1702411 |  1469345 |     1204   2750 |        0 |        0
385.93/386.02	c  385s |      21 |  1710269 |  1476245 |     1204   2761 |        0 |        0
387.93/388.04	c  387s |      21 |  1719253 |  1483845 |     1204   2772 |        0 |        0
389.93/390.05	c  389s |      21 |  1727496 |  1490745 |     1325   2783 |        0 |        0
391.93/392.06	c  391s |      21 |  1735044 |  1497345 |     1325   2792 |        0 |        0
392.93/393.07	c  393s |      22 |  1738884 |  1500622 |     1325   2796 |        0 |        0
394.93/395.09	c  395s |      22 |  1748692 |  1508522 |     1325   2808 |        0 |        0
397.03/397.10	c  397s |      22 |  1757296 |  1515822 |     1325   2818 |        0 |        0
399.03/399.12	c  399s |      22 |  1765604 |  1523122 |     1325   2828 |        0 |        0
401.03/401.13	c  401s |      22 |  1774047 |  1530422 |     1325   2838 |        0 |        0
403.03/403.15	c  403s |      22 |  1781643 |  1536922 |     1325   2847 |        0 |        0
405.03/405.16	c  405s |      22 |  1789537 |  1543722 |     1325   2857 |        0 |        0
407.03/407.16	c  407s |      22 |  1798331 |  1551022 |     1325   2867 |        0 |        0
409.02/409.19	c  409s |      22 |  1807238 |  1558722 |     1325   2878 |        0 |        0
411.12/411.21	c  411s |      22 |  1815246 |  1565722 |     1325   2887 |        0 |        0
413.12/413.24	c  413s |      22 |  1823273 |  1572822 |     1325   2897 |        0 |        0
415.12/415.25	c  415s |      22 |  1830886 |  1579422 |     1325   2907 |        0 |        0
417.12/417.26	c  417s |      22 |  1837951 |  1585622 |     1325   2915 |        0 |        0
419.13/419.28	c  419s |      22 |  1846479 |  1592922 |     1325   2925 |        0 |        0
421.23/421.30	c  421s |      22 |  1854082 |  1599622 |     1325   2935 |        0 |        0
423.22/423.34	c  423s |      22 |  1861374 |  1605922 |     1325   2944 |        0 |        0
425.22/425.36	c  425s |      22 |  1869569 |  1613022 |     1325   2953 |        0 |        0
427.22/427.37	c  427s |      22 |  1877291 |  1619922 |     1325   2963 |        0 |        0
429.22/429.39	c  429s |      22 |  1884578 |  1626322 |     1325   2972 |        0 |        0
431.32/431.42	c  431s |      22 |  1893399 |  1633722 |     1325   2982 |        0 |        0
433.33/433.44	c  433s |      22 |  1901239 |  1640622 |     1325   2992 |        0 |        0
435.32/435.46	c  435s |      22 |  1909237 |  1647422 |     1325   3001 |        0 |        0
437.32/437.48	c  437s |      22 |  1917246 |  1654522 |     1325   3011 |        0 |        0
439.33/439.49	c  439s |      22 |  1925082 |  1661422 |     1325   3021 |        0 |        0
441.43/441.51	c  441s |      22 |  1932778 |  1668122 |     1325   3030 |        0 |        0
443.42/443.52	c  443s |      22 |  1941035 |  1675222 |     1325   3040 |        0 |        0
445.43/445.53	c  445s |      22 |  1948760 |  1682022 |     1325   3050 |        0 |        0
447.42/447.54	c  447s |      22 |  1957353 |  1689622 |     1325   3060 |        0 |        0
449.42/449.56	c  449s |      22 |  1965511 |  1696622 |     1325   3070 |        0 |        0
451.42/451.56	c  451s |      22 |  1973641 |  1703522 |     1325   3080 |        0 |        0
453.42/453.59	c  453s |      22 |  1982219 |  1710922 |     1325   3090 |        0 |        0
455.52/455.60	c  455s |      22 |  1990832 |  1718422 |     1325   3101 |        0 |        0
457.52/457.61	c  457s |      22 |  1999479 |  1725922 |     1325   3111 |        0 |        0
459.52/459.61	c  459s |      22 |  2008945 |  1733922 |     1325   3122 |        0 |        0
461.52/461.62	c  461s |      22 |  2018153 |  1741822 |     1325   3133 |        0 |        0
463.52/463.64	c  463s |      22 |  2026656 |  1748822 |     1325   3143 |        0 |        0
465.52/465.66	c  465s |      22 |  2034559 |  1755422 |     1325   3152 |        0 |        0
467.52/467.66	c  467s |      22 |  2043564 |  1762822 |     1325   3163 |        0 |        0
469.52/469.68	c  469s |      22 |  2051185 |  1769322 |     1325   3172 |        0 |        0
471.62/471.71	c  471s |      22 |  2059254 |  1776122 |     1325   3181 |        0 |        0
473.62/473.71	c  473s |      22 |  2067189 |  1783022 |     1325   3191 |        0 |        0
475.62/475.73	c  475s |      22 |  2074918 |  1789622 |     1325   3200 |        0 |        0
477.62/477.76	c  477s |      22 |  2082747 |  1796422 |     1325   3210 |        0 |        0
479.62/479.77	c  479s |      22 |  2090282 |  1802922 |     1325   3219 |        0 |        0
481.61/481.79	c  481s |      22 |  2098584 |  1810122 |     1325   3229 |        0 |        0
483.71/483.82	c  483s |      22 |  2105951 |  1816622 |     1325   3238 |        0 |        0
485.71/485.84	c  485s |      22 |  2112851 |  1822722 |     1325   3246 |        0 |        0
487.72/487.86	c  487s |      22 |  2119679 |  1828822 |     1325   3255 |        0 |        0
489.72/489.89	c  489s |      22 |  2127357 |  1835422 |     1325   3264 |        0 |        0
491.82/491.90	c  491s |      22 |  2135209 |  1842422 |     1325   3274 |        0 |        0
493.82/493.92	c  493s |      22 |  2142802 |  1849222 |     1325   3283 |        0 |        0
495.82/495.95	c  495s |      22 |  2150055 |  1855722 |     1325   3292 |        0 |        0
497.82/497.98	c  497s |      22 |  2156938 |  1861922 |     1325   3301 |        0 |        0
499.92/500.00	c  499s |      22 |  2164378 |  1868522 |     1325   3310 |        0 |        0
501.92/502.01	c  501s |      22 |  2170991 |  1874422 |     1325   3319 |        0 |        0
503.92/504.03	c  503s |      22 |  2177773 |  1880422 |     1325   3327 |        0 |        0
505.92/506.06	c  505s |      22 |  2184557 |  1886422 |     1325   3335 |        0 |        0
507.91/508.08	c  508s |      22 |  2191278 |  1892522 |     1325   3344 |        0 |        0
509.91/510.09	c  510s |      22 |  2197939 |  1898522 |     1325   3352 |        0 |        0
511.91/512.09	c  512s |      22 |  2205062 |  1904922 |     1325   3361 |        0 |        0
514.01/514.12	c  514s |      22 |  2212614 |  1911722 |     1325   3371 |        0 |        0
516.01/516.14	c  516s |      22 |  2220618 |  1918822 |     1325   3381 |        0 |        0
518.02/518.15	c  518s |      22 |  2228902 |  1926122 |     1325   3391 |        0 |        0
520.01/520.16	c  520s |      22 |  2236093 |  1932522 |     1325   3400 |        0 |        0
522.01/522.16	c  522s |      22 |  2243848 |  1939322 |     1325   3409 |        0 |        0
524.01/524.17	c  524s |      22 |  2251823 |  1946322 |     1325   3419 |        0 |        0
526.01/526.19	c  526s |      22 |  2259273 |  1952922 |     1325   3428 |        0 |        0
528.11/528.20	c  528s |      22 |  2266952 |  1959622 |     1325   3437 |        0 |        0
530.11/530.22	c  530s |      22 |  2275951 |  1967222 |     1325   3448 |        0 |        0
532.11/532.23	c  532s |      22 |  2285850 |  1975522 |     1325   3460 |        0 |        0
534.11/534.24	c  534s |      22 |  2296258 |  1984022 |     1325   3472 |        0 |        0
536.11/536.26	c  536s |      22 |  2304733 |  1991422 |     1325   3482 |        0 |        0
538.11/538.29	c  538s |      22 |  2312322 |  1998122 |     1325   3492 |        0 |        0
540.20/540.31	c  540s |      22 |  2320614 |  2005222 |     1325   3502 |        0 |        0
542.21/542.33	c  542s |      22 |  2330095 |  2012722 |     1325   3512 |        0 |        0
544.20/544.35	c  544s |      22 |  2339731 |  2020722 |     1325   3523 |        0 |        0
546.20/546.36	c  546s |      22 |  2348193 |  2028122 |     1325   3534 |        0 |        0
548.20/548.37	c  548s |      22 |  2356158 |  2035222 |     1325   3544 |        0 |        0
550.20/550.39	c  550s |      22 |  2363730 |  2041922 |     1325   3553 |        0 |        0
552.30/552.41	c  552s |      22 |  2372353 |  2048922 |     1325   3563 |        0 |        0
554.31/554.42	c  554s |      22 |  2380473 |  2055922 |     1325   3573 |        0 |        0
556.30/556.43	c  556s |      22 |  2388869 |  2063322 |     1325   3583 |        0 |        0
558.30/558.44	c  558s |      22 |  2397456 |  2070822 |     1325   3594 |        0 |        0
560.30/560.44	c  560s |      22 |  2406743 |  2078722 |     1325   3605 |        0 |        0
562.30/562.45	c  562s |      22 |  2416089 |  2086622 |     1325   3616 |        0 |        0
564.31/564.45	c  564s |      22 |  2424836 |  2094022 |     1325   3626 |        0 |        0
566.30/566.46	c  566s |      22 |  2433757 |  2101422 |     1325   3637 |        0 |        0
568.30/568.48	c  568s |      22 |  2442541 |  2109122 |     1325   3647 |        0 |        0
570.40/570.50	c  570s |      22 |  2451180 |  2116822 |     1325   3658 |        0 |        0
572.40/572.51	c  572s |      22 |  2459196 |  2123922 |     1325   3668 |        0 |        0
574.40/574.52	c  574s |      22 |  2466559 |  2130622 |     1325   3677 |        0 |        0
576.40/576.54	c  576s |      22 |  2474336 |  2137622 |     1325   3687 |        0 |        0
578.40/578.54	c  578s |      22 |  2481584 |  2144222 |     1325   3696 |        0 |        0
580.40/580.56	c  580s |      22 |  2489897 |  2151622 |     1325   3706 |        0 |        0
582.40/582.57	c  582s |      22 |  2498412 |  2159222 |     1325   3717 |        0 |        0
584.40/584.58	c  584s |      22 |  2506783 |  2166722 |     1325   3727 |        0 |        0
586.40/586.58	c  586s |      22 |  2516120 |  2174722 |     1325   3739 |        0 |        0
588.50/588.60	c  588s |      22 |  2525680 |  2183122 |     1325   3750 |        0 |        0
590.50/590.61	c  590s |      22 |  2535839 |  2191622 |     1325   3762 |        0 |        0
592.50/592.62	c  592s |      22 |  2544664 |  2199422 |     1325   3773 |        0 |        0
594.50/594.62	c  594s |      22 |  2553399 |  2207122 |     1325   3784 |        0 |        0
596.50/596.64	c  596s |      22 |  2562884 |  2215322 |     1325   3796 |        0 |        0
598.50/598.64	c  598s |      22 |  2571866 |  2223222 |     1325   3807 |        0 |        0
600.50/600.66	c  600s |      22 |  2580288 |  2230722 |     1325   3817 |        0 |        0
602.49/602.67	c  602s |      22 |  2588770 |  2238222 |     1458   3827 |        0 |        0
604.49/604.68	c  604s |      22 |  2596459 |  2245122 |     1458   3836 |        0 |        0
606.19/606.35	c  606s |      23 |  2603092 |  2251038 |     1458   3844 |        0 |        0
608.20/608.36	c  608s |      23 |  2612143 |  2258638 |     1458   3854 |        0 |        0
610.19/610.37	c  610s |      23 |  2620100 |  2265138 |     1458   3862 |        0 |        0
612.19/612.39	c  612s |      23 |  2627257 |  2271438 |     1458   3870 |        0 |        0
614.29/614.41	c  614s |      23 |  2634662 |  2277938 |     1458   3878 |        0 |        0
616.29/616.41	c  616s |      23 |  2641635 |  2283938 |     1458   3886 |        0 |        0
618.29/618.42	c  618s |      23 |  2648422 |  2289638 |     1458   3893 |        0 |        0
620.31/620.45	c  620s |      23 |  2655218 |  2295638 |     1458   3901 |        0 |        0
622.30/622.48	c  622s |      23 |  2662863 |  2302238 |     1458   3909 |        0 |        0
624.40/624.51	c  624s |      23 |  2670237 |  2308738 |     1458   3918 |        0 |        0
626.40/626.51	c  626s |      23 |  2676977 |  2314838 |     1458   3925 |        0 |        0
628.40/628.54	c  628s |      23 |  2683533 |  2320538 |     1458   3933 |        0 |        0
630.40/630.57	c  630s |      23 |  2690072 |  2326038 |     1458   3940 |        0 |        0
632.40/632.60	c  632s |      23 |  2696296 |  2331538 |     1458   3947 |        0 |        0
634.50/634.61	c  634s |      23 |  2703498 |  2337838 |     1458   3955 |        0 |        0
636.50/636.66	c  636s |      23 |  2710638 |  2344038 |     1458   3963 |        0 |        0
638.50/638.68	c  638s |      23 |  2717984 |  2350538 |     1458   3971 |        0 |        0
640.50/640.69	c  640s |      23 |  2725316 |  2356838 |     1458   3979 |        0 |        0
642.60/642.70	c  642s |      23 |  2732777 |  2363338 |     1458   3987 |        0 |        0
644.60/644.73	c  644s |      23 |  2740560 |  2370138 |     1458   3996 |        0 |        0
646.59/646.76	c  646s |      23 |  2748443 |  2377138 |     1458   4004 |        0 |        0
648.59/648.77	c  648s |      23 |  2755513 |  2383338 |     1458   4012 |        0 |        0
650.59/650.79	c  650s |      23 |  2761961 |  2389138 |     1458   4020 |        0 |        0
652.69/652.80	c  652s |      23 |  2768046 |  2394638 |     1458   4027 |        0 |        0
654.69/654.80	c  654s |      23 |  2774021 |  2399838 |     1458   4033 |        0 |        0
656.70/656.83	c  656s |      23 |  2780497 |  2405738 |     1458   4041 |        0 |        0
658.69/658.85	c  658s |      23 |  2786552 |  2411238 |     1458   4048 |        0 |        0
660.69/660.86	c  660s |      23 |  2792530 |  2416538 |     1458   4055 |        0 |        0
662.69/662.87	c  662s |      23 |  2798661 |  2421938 |     1458   4062 |        0 |        0
664.79/664.90	c  664s |      23 |  2804833 |  2427338 |     1458   4068 |        0 |        0
666.79/666.91	c  666s |      23 |  2811590 |  2433338 |     1458   4076 |        0 |        0
668.80/668.91	c  668s |      23 |  2818643 |  2439338 |     1458   4084 |        0 |        0
670.79/670.93	c  670s |      23 |  2825477 |  2445338 |     1458   4091 |        0 |        0
672.79/672.95	c  672s |      23 |  2832159 |  2451038 |     1458   4099 |        0 |        0
674.79/674.95	c  674s |      23 |  2838265 |  2456338 |     1458   4105 |        0 |        0
676.79/676.96	c  676s |      23 |  2845536 |  2462238 |     1458   4113 |        0 |        0
678.79/678.98	c  678s |      23 |  2853181 |  2469038 |     1458   4122 |        0 |        0
680.79/680.99	c  680s |      23 |  2860531 |  2475738 |     1458   4130 |        0 |        0
682.89/683.01	c  682s |      23 |  2867013 |  2481638 |     1458   4138 |        0 |        0
684.89/685.03	c  684s |      23 |  2874635 |  2488338 |     1458   4146 |        0 |        0
686.89/687.05	c  686s |      23 |  2882360 |  2495238 |     1458   4155 |        0 |        0
688.89/689.07	c  689s |      23 |  2890447 |  2502338 |     1458   4164 |        0 |        0
690.88/691.08	c  691s |      23 |  2897700 |  2508738 |     1458   4172 |        0 |        0
692.99/693.11	c  693s |      23 |  2905079 |  2515138 |     1458   4180 |        0 |        0
694.98/695.14	c  695s |      23 |  2912323 |  2521338 |     1458   4188 |        0 |        0
696.98/697.15	c  697s |      23 |  2919018 |  2527038 |     1458   4195 |        0 |        0
698.98/699.17	c  699s |      23 |  2925822 |  2532738 |     1458   4203 |        0 |        0
701.08/701.21	c  701s |      23 |  2932630 |  2538638 |     1458   4210 |        0 |        0
703.08/703.21	c  703s |      23 |  2939534 |  2544538 |     1458   4218 |        0 |        0
705.09/705.21	c  705s |      23 |  2945873 |  2550238 |     1458   4225 |        0 |        0
707.08/707.23	c  707s |      23 |  2952976 |  2556438 |     1458   4233 |        0 |        0
709.08/709.26	c  709s |      23 |  2959899 |  2562538 |     1458   4241 |        0 |        0
711.08/711.28	c  711s |      23 |  2966958 |  2568738 |     1458   4249 |        0 |        0
713.18/713.30	c  713s |      23 |  2973478 |  2574538 |     1458   4256 |        0 |        0
715.18/715.33	c  715s |      23 |  2980422 |  2580638 |     1458   4264 |        0 |        0
717.18/717.36	c  717s |      23 |  2987203 |  2586738 |     1458   4272 |        0 |        0
719.17/719.40	c  719s |      23 |  2994282 |  2592938 |     1458   4279 |        0 |        0
721.27/721.44	c  721s |      23 |  3000532 |  2598538 |     1458   4287 |        0 |        0
723.27/723.45	c  723s |      23 |  3006723 |  2604138 |     1458   4294 |        0 |        0
725.27/725.48	c  725s |      23 |  3013249 |  2610038 |     1458   4301 |        0 |        0
727.37/727.51	c  727s |      23 |  3019357 |  2615538 |     1458   4308 |        0 |        0
729.37/729.51	c  729s |      23 |  3025619 |  2621238 |     1458   4316 |        0 |        0
731.37/731.54	c  731s |      23 |  3032074 |  2627038 |     1458   4323 |        0 |        0
733.37/733.57	c  733s |      23 |  3038108 |  2632438 |     1458   4330 |        0 |        0
735.47/735.60	c  735s |      23 |  3043698 |  2637538 |     1458   4337 |        0 |        0
737.47/737.61	c  737s |      23 |  3052225 |  2644838 |     1458   4346 |        0 |        0
739.47/739.63	c  739s |      23 |  3060390 |  2652138 |     1458   4355 |        0 |        0
741.47/741.64	c  741s |      23 |  3068114 |  2659038 |     1458   4364 |        0 |        0
743.48/743.65	c  743s |      23 |  3076095 |  2666038 |     1458   4373 |        0 |        0
745.47/745.67	c  745s |      23 |  3083007 |  2672138 |     1458   4381 |        0 |        0
747.57/747.70	c  747s |      23 |  3090410 |  2678738 |     1458   4389 |        0 |        0
749.56/749.71	c  749s |      23 |  3097431 |  2685038 |     1458   4397 |        0 |        0
751.56/751.72	c  751s |      23 |  3104856 |  2691738 |     1458   4406 |        0 |        0
753.56/753.74	c  753s |      23 |  3113144 |  2699138 |     1458   4415 |        0 |        0
755.57/755.74	c  755s |      23 |  3120857 |  2705938 |     1458   4424 |        0 |        0
757.56/757.76	c  757s |      23 |  3128301 |  2712538 |     1458   4432 |        0 |        0
759.56/759.76	c  759s |      23 |  3135674 |  2719238 |     1458   4441 |        0 |        0
761.56/761.78	c  761s |      23 |  3143189 |  2726038 |     1458   4449 |        0 |        0
763.65/763.80	c  763s |      23 |  3151095 |  2733138 |     1458   4458 |        0 |        0
765.65/765.84	c  765s |      23 |  3158421 |  2739738 |     1458   4467 |        0 |        0
767.66/767.85	c  767s |      23 |  3166012 |  2746538 |     1458   4475 |        0 |        0
769.65/769.87	c  769s |      23 |  3173073 |  2752738 |     1458   4483 |        0 |        0
771.75/771.90	c  771s |      23 |  3180196 |  2759038 |     1458   4492 |        0 |        0
773.75/773.92	c  773s |      23 |  3187532 |  2765538 |     1458   4500 |        0 |        0
775.75/775.94	c  775s |      23 |  3195602 |  2772738 |     1458   4509 |        0 |        0
777.75/777.96	c  777s |      23 |  3203239 |  2779638 |     1458   4518 |        0 |        0
779.75/779.97	c  779s |      23 |  3210579 |  2786238 |     1458   4526 |        0 |        0
781.74/781.99	c  781s |      23 |  3217740 |  2792738 |     1458   4534 |        0 |        0
783.84/784.00	c  783s |      23 |  3226856 |  2800138 |     1458   4544 |        0 |        0
785.84/786.01	c  785s |      23 |  3234565 |  2806738 |     1458   4553 |        0 |        0
787.84/788.01	c  787s |      23 |  3242750 |  2813938 |     1458   4562 |        0 |        0
789.83/790.04	c  789s |      23 |  3250551 |  2820738 |     1458   4571 |        0 |        0
791.84/792.06	c  791s |      23 |  3258631 |  2827838 |     1458   4580 |        0 |        0
793.83/794.07	c  794s |      23 |  3266248 |  2834538 |     1458   4588 |        0 |        0
795.83/796.07	c  796s |      23 |  3274290 |  2841538 |     1458   4597 |        0 |        0
797.93/798.10	c  798s |      23 |  3282420 |  2848538 |     1458   4606 |        0 |        0
799.92/800.13	c  800s |      23 |  3290855 |  2855838 |     1458   4615 |        0 |        0
801.92/802.13	c  802s |      23 |  3299623 |  2863538 |     1458   4625 |        0 |        0
803.93/804.14	c  804s |      23 |  3307437 |  2870538 |     1458   4634 |        0 |        0
805.92/806.17	c  806s |      23 |  3315283 |  2877538 |     1458   4643 |        0 |        0
807.92/808.18	c  808s |      23 |  3322812 |  2884338 |     1458   4652 |        0 |        0
809.92/810.19	c  810s |      23 |  3330417 |  2891138 |     1458   4661 |        0 |        0
812.02/812.20	c  812s |      23 |  3338723 |  2898338 |     1458   4670 |        0 |        0
814.02/814.22	c  814s |      23 |  3346496 |  2905238 |     1458   4679 |        0 |        0
816.02/816.23	c  816s |      23 |  3354499 |  2912338 |     1458   4688 |        0 |        0
818.01/818.24	c  818s |      23 |  3362394 |  2919338 |     1458   4697 |        0 |        0
820.01/820.25	c  820s |      23 |  3369947 |  2926038 |     1458   4706 |        0 |        0
822.01/822.25	c  822s |      23 |  3377032 |  2932238 |     1458   4714 |        0 |        0
824.01/824.27	c  824s |      23 |  3385092 |  2939338 |     1458   4723 |        0 |        0
826.11/826.31	c  826s |      23 |  3392892 |  2946138 |     1458   4732 |        0 |        0
828.11/828.33	c  828s |      23 |  3400685 |  2953038 |     1458   4740 |        0 |        0
830.10/830.33	c  830s |      23 |  3408735 |  2960238 |     1458   4750 |        0 |        0
832.10/832.34	c  832s |      23 |  3416942 |  2967338 |     1458   4759 |        0 |        0
834.10/834.37	c  834s |      23 |  3424921 |  2974438 |     1458   4768 |        0 |        0
836.10/836.37	c  836s |      23 |  3432578 |  2981238 |     1458   4776 |        0 |        0
838.11/838.37	c  838s |      23 |  3440731 |  2988538 |     1458   4786 |        0 |        0
840.09/840.39	c  840s |      23 |  3448480 |  2995538 |     1458   4795 |        0 |        0
842.19/842.41	c  842s |      23 |  3455967 |  3002138 |     1458   4803 |        0 |        0
844.19/844.44	c  844s |      23 |  3463220 |  3008538 |     1458   4811 |        0 |        0
846.19/846.45	c  846s |      23 |  3470328 |  3014938 |     1458   4819 |        0 |        0
848.19/848.47	c  848s |      23 |  3477092 |  3020938 |     1458   4827 |        0 |        0
850.19/850.47	c  850s |      23 |  3484041 |  3027138 |     1458   4835 |        0 |        0
852.19/852.47	c  852s |      23 |  3490725 |  3033138 |     1458   4843 |        0 |        0
854.19/854.48	c  854s |      23 |  3498393 |  3040038 |     1458   4852 |        0 |        0
856.28/856.50	c  856s |      23 |  3505974 |  3046838 |     1458   4860 |        0 |        0
858.28/858.53	c  858s |      23 |  3513259 |  3053238 |     1458   4869 |        0 |        0
860.28/860.55	c  860s |      23 |  3520453 |  3059438 |     1458   4877 |        0 |        0
862.28/862.57	c  862s |      23 |  3528392 |  3066438 |     1458   4886 |        0 |        0
864.28/864.58	c  864s |      23 |  3536102 |  3073338 |     1458   4894 |        0 |        0
866.28/866.58	c  866s |      23 |  3543309 |  3079838 |     1458   4903 |        0 |        0
868.28/868.59	c  868s |      23 |  3550946 |  3086638 |     1458   4911 |        0 |        0
870.27/870.60	c  870s |      23 |  3558137 |  3093038 |     1458   4920 |        0 |        0
872.37/872.62	c  872s |      23 |  3565994 |  3100038 |     1458   4928 |        0 |        0
874.38/874.63	c  874s |      23 |  3573142 |  3106438 |     1458   4937 |        0 |        0
876.37/876.65	c  876s |      23 |  3580497 |  3113038 |     1458   4945 |        0 |        0
878.37/878.65	c  878s |      23 |  3587412 |  3119138 |     1458   4953 |        0 |        0
880.37/880.67	c  880s |      23 |  3595435 |  3126038 |     1458   4962 |        0 |        0
882.36/882.68	c  882s |      23 |  3603602 |  3133238 |     1458   4971 |        0 |        0
884.46/884.70	c  884s |      23 |  3611680 |  3140338 |     1458   4980 |        0 |        0
886.47/886.73	c  886s |      23 |  3619559 |  3147338 |     1458   4989 |        0 |        0
888.46/888.73	c  888s |      23 |  3627584 |  3154438 |     1458   4998 |        0 |        0
890.46/890.76	c  890s |      23 |  3634903 |  3160938 |     1458   5007 |        0 |        0
892.46/892.78	c  892s |      23 |  3642790 |  3167938 |     1458   5016 |        0 |        0
894.56/894.81	c  894s |      23 |  3650462 |  3174738 |     1458   5024 |        0 |        0
896.56/896.82	c  896s |      23 |  3657860 |  3181238 |     1458   5033 |        0 |        0
898.56/898.85	c  898s |      23 |  3665748 |  3188138 |     1458   5042 |        0 |        0
900.55/900.86	c  900s |      23 |  3673692 |  3195138 |     1458   5050 |        0 |        0
902.55/902.86	c  902s |      23 |  3681402 |  3201938 |     1458   5059 |        0 |        0
904.55/904.87	c  904s |      23 |  3689059 |  3208638 |     1458   5068 |        0 |        0
906.55/906.87	c  906s |      23 |  3697141 |  3215638 |     1458   5077 |        0 |        0
908.55/908.89	c  908s |      23 |  3704880 |  3222438 |     1458   5086 |        0 |        0
910.65/910.92	c  910s |      23 |  3713391 |  3230038 |     1458   5095 |        0 |        0
912.65/912.93	c  912s |      23 |  3720760 |  3236738 |     1458   5104 |        0 |        0
914.65/914.95	c  914s |      23 |  3728665 |  3243938 |     1458   5113 |        0 |        0
916.65/916.97	c  916s |      23 |  3736222 |  3250738 |     1458   5122 |        0 |        0
918.64/918.99	c  918s |      23 |  3743188 |  3257038 |     1458   5130 |        0 |        0
920.74/921.01	c  920s |      23 |  3750065 |  3263238 |     1458   5138 |        0 |        0
922.75/923.03	c  922s |      23 |  3757287 |  3269738 |     1458   5146 |        0 |        0
924.74/925.05	c  924s |      23 |  3764765 |  3276438 |     1458   5155 |        0 |        0
926.74/927.05	c  926s |      23 |  3771877 |  3282838 |     1458   5163 |        0 |        0
928.73/929.06	c  928s |      23 |  3778774 |  3289038 |     1458   5171 |        0 |        0
930.73/931.06	c  930s |      23 |  3786564 |  3295838 |     1458   5179 |        0 |        0
932.73/933.09	c  933s |      23 |  3794009 |  3302538 |     1458   5188 |        0 |        0
934.74/935.10	c  935s |      23 |  3800872 |  3308738 |     1458   5196 |        0 |        0
936.83/937.12	c  937s |      23 |  3808126 |  3315338 |     1458   5204 |        0 |        0
938.83/939.14	c  939s |      23 |  3815398 |  3321938 |     1458   5213 |        0 |        0
940.83/941.15	c  941s |      23 |  3822297 |  3328138 |     1458   5221 |        0 |        0
942.82/943.16	c  943s |      23 |  3830200 |  3335138 |     1458   5230 |        0 |        0
944.82/945.18	c  945s |      23 |  3837896 |  3341938 |     1458   5238 |        0 |        0
946.93/947.22	c  947s |      23 |  3845972 |  3349138 |     1458   5248 |        0 |        0
948.92/949.23	c  949s |      23 |  3853987 |  3356138 |     1604   5256 |        0 |        0
950.92/951.23	c  951s |      23 |  3861527 |  3362838 |     1604   5264 |        0 |        0
952.92/953.26	c  953s |      23 |  3869101 |  3369438 |     1604   5272 |        0 |        0
954.92/955.28	c  955s |      23 |  3877202 |  3376538 |     1604   5280 |        0 |        0
955.02/955.31	c  955s |      24 |  3877346 |  3376662 |     1604   5280 |        0 |        0
957.02/957.33	c  957s |      24 |  3887219 |  3385162 |     1604   5290 |        0 |        0
959.03/959.35	c  959s |      24 |  3895516 |  3392362 |     1604   5299 |        0 |        0
961.02/961.37	c  961s |      24 |  3903775 |  3399562 |     1604   5307 |        0 |        0
963.12/963.40	c  963s |      24 |  3911403 |  3405962 |     1604   5315 |        0 |        0
965.12/965.43	c  965s |      24 |  3920177 |  3413262 |     1604   5323 |        0 |        0
967.12/967.43	c  967s |      24 |  3930202 |  3420762 |     1604   5332 |        0 |        0
969.12/969.45	c  969s |      24 |  3939559 |  3428062 |     1604   5341 |        0 |        0
971.12/971.47	c  971s |      24 |  3948356 |  3435262 |     1604   5349 |        0 |        0
973.11/973.49	c  973s |      24 |  3957619 |  3442162 |     1604   5357 |        0 |        0
975.21/975.51	c  975s |      24 |  3965806 |  3449162 |     1604   5366 |        0 |        0
977.21/977.51	c  977s |      24 |  3972696 |  3455262 |     1604   5373 |        0 |        0
979.21/979.53	c  979s |      24 |  3979132 |  3461062 |     1604   5380 |        0 |        0
981.21/981.56	c  981s |      24 |  3985926 |  3467062 |     1604   5386 |        0 |        0
983.21/983.57	c  983s |      24 |  3992462 |  3472962 |     1604   5393 |        0 |        0
985.21/985.59	c  985s |      24 |  3999000 |  3478862 |     1604   5400 |        0 |        0
987.30/987.62	c  987s |      24 |  4005216 |  3484562 |     1604   5407 |        0 |        0
989.30/989.63	c  989s |      24 |  4011224 |  3489862 |     1604   5413 |        0 |        0
991.30/991.67	c  991s |      24 |  4017395 |  3495362 |     1604   5420 |        0 |        0
993.30/993.68	c  993s |      24 |  4023289 |  3500662 |     1604   5426 |        0 |        0
995.40/995.71	c  995s |      24 |  4029222 |  3505962 |     1604   5432 |        0 |        0
997.40/997.71	c  997s |      24 |  4034995 |  3511162 |     1604   5438 |        0 |        0
999.39/999.76	c  999s |      24 |  4040630 |  3516262 |     1604   5444 |        0 |        0
1001.39/1001.79	c 1001s |      24 |  4047604 |  3522162 |     1604   5451 |        0 |        0
1003.49/1003.80	c 1003s |      24 |  4054440 |  3528162 |     1604   5458 |        0 |        0
1005.49/1005.81	c 1005s |      24 |  4061017 |  3534062 |     1604   5465 |        0 |        0
1007.49/1007.85	c 1007s |      24 |  4068178 |  3540062 |     1604   5472 |        0 |        0
1009.49/1009.86	c 1009s |      24 |  4075034 |  3546162 |     1604   5479 |        0 |        0
1011.48/1011.88	c 1011s |      24 |  4081681 |  3552062 |     1604   5486 |        0 |        0
1013.48/1013.89	c 1013s |      24 |  4087841 |  3557562 |     1604   5492 |        0 |        0
1015.58/1015.91	c 1015s |      24 |  4093953 |  3562962 |     1604   5498 |        0 |        0
1017.58/1017.91	c 1017s |      24 |  4099878 |  3568362 |     1604   5505 |        0 |        0
1019.58/1019.93	c 1019s |      24 |  4105592 |  3573562 |     1604   5511 |        0 |        0
1021.58/1021.96	c 1021s |      24 |  4111851 |  3579162 |     1604   5517 |        0 |        0
1023.58/1023.98	c 1023s |      24 |  4118257 |  3584862 |     1604   5524 |        0 |        0
1025.58/1025.98	c 1025s |      24 |  4125033 |  3590862 |     1604   5531 |        0 |        0
1027.57/1027.98	c 1027s |      24 |  4131018 |  3596262 |     1604   5537 |        0 |        0
1029.67/1030.00	c 1029s |      24 |  4137397 |  3601962 |     1604   5544 |        0 |        0
1031.67/1032.01	c 1031s |      24 |  4144450 |  3608162 |     1604   5551 |        0 |        0
1033.68/1034.04	c 1033s |      24 |  4152500 |  3615262 |     1604   5559 |        0 |        0
1035.67/1036.04	c 1035s |      24 |  4159016 |  3621062 |     1604   5566 |        0 |        0
1037.67/1038.06	c 1037s |      24 |  4165889 |  3627162 |     1604   5573 |        0 |        0
1039.66/1040.07	c 1040s |      24 |  4172431 |  3633062 |     1604   5580 |        0 |        0
1041.66/1042.07	c 1042s |      24 |  4178999 |  3638962 |     1604   5587 |        0 |        0
1043.67/1044.09	c 1044s |      24 |  4185676 |  3644962 |     1604   5594 |        0 |        0
1045.66/1046.09	c 1046s |      24 |  4192701 |  3651162 |     1604   5601 |        0 |        0
1047.76/1048.11	c 1048s |      24 |  4200027 |  3657662 |     1604   5609 |        0 |        0
1049.75/1050.14	c 1050s |      24 |  4206688 |  3663662 |     1604   5616 |        0 |        0
1051.75/1052.15	c 1052s |      24 |  4213439 |  3669762 |     1604   5623 |        0 |        0
1053.75/1054.16	c 1054s |      24 |  4219903 |  3675662 |     1604   5630 |        0 |        0
1055.76/1056.19	c 1056s |      24 |  4226239 |  3681362 |     1604   5637 |        0 |        0
1057.86/1058.22	c 1058s |      24 |  4233025 |  3687362 |     1604   5644 |        0 |        0
1059.85/1060.23	c 1060s |      24 |  4239915 |  3693462 |     1604   5651 |        0 |        0
1061.85/1062.23	c 1062s |      24 |  4246796 |  3699462 |     1604   5658 |        0 |        0
1063.85/1064.24	c 1064s |      24 |  4254179 |  3705862 |     1604   5665 |        0 |        0
1065.85/1066.24	c 1066s |      24 |  4261133 |  3712062 |     1604   5672 |        0 |        0
1067.85/1068.24	c 1068s |      24 |  4267730 |  3717962 |     1604   5679 |        0 |        0
1069.84/1070.25	c 1070s |      24 |  4274464 |  3723862 |     1604   5686 |        0 |        0
1071.85/1072.27	c 1072s |      24 |  4281025 |  3729762 |     1604   5693 |        0 |        0
1073.85/1074.29	c 1074s |      24 |  4287945 |  3735962 |     1604   5700 |        0 |        0
1075.95/1076.33	c 1076s |      24 |  4294832 |  3742162 |     1604   5708 |        0 |        0
1077.95/1078.36	c 1078s |      24 |  4301444 |  3748062 |     1604   5714 |        0 |        0
1079.95/1080.36	c 1080s |      24 |  4307855 |  3753762 |     1604   5721 |        0 |        0
1081.94/1082.39	c 1082s |      24 |  4314609 |  3759662 |     1604   5728 |        0 |        0
1084.04/1084.40	c 1084s |      24 |  4322258 |  3766262 |     1604   5736 |        0 |        0
1086.04/1086.42	c 1086s |      24 |  4329504 |  3772662 |     1604   5743 |        0 |        0
1088.04/1088.44	c 1088s |      24 |  4336606 |  3779062 |     1604   5751 |        0 |        0
1090.04/1090.46	c 1090s |      24 |  4343784 |  3785362 |     1604   5758 |        0 |        0
1092.04/1092.46	c 1092s |      24 |  4350350 |  3791262 |     1604   5765 |        0 |        0
1094.04/1094.48	c 1094s |      24 |  4357059 |  3797162 |     1604   5772 |        0 |        0
1096.14/1096.50	c 1096s |      24 |  4363636 |  3802962 |     1604   5779 |        0 |        0
1098.14/1098.51	c 1098s |      24 |  4370372 |  3808962 |     1604   5786 |        0 |        0
1100.13/1100.52	c 1100s |      24 |  4377403 |  3815162 |     1604   5793 |        0 |        0
1102.13/1102.53	c 1102s |      24 |  4384624 |  3821562 |     1604   5800 |        0 |        0
1104.14/1104.56	c 1104s |      24 |  4391415 |  3827562 |     1604   5807 |        0 |        0
1106.23/1106.60	c 1106s |      24 |  4398100 |  3833562 |     1604   5814 |        0 |        0
1108.23/1108.62	c 1108s |      24 |  4404935 |  3839662 |     1604   5822 |        0 |        0
1110.22/1110.63	c 1110s |      24 |  4412206 |  3846062 |     1604   5829 |        0 |        0
1112.22/1112.65	c 1112s |      24 |  4419172 |  3852262 |     1604   5836 |        0 |        0
1114.22/1114.68	c 1114s |      24 |  4426299 |  3858562 |     1604   5844 |        0 |        0
1116.23/1116.68	c 1116s |      24 |  4432910 |  3864562 |     1604   5851 |        0 |        0
1118.22/1118.68	c 1118s |      24 |  4440141 |  3870962 |     1604   5858 |        0 |        0
1120.31/1120.71	c 1120s |      24 |  4447247 |  3877262 |     1604   5866 |        0 |        0
1122.31/1122.74	c 1122s |      24 |  4454216 |  3883562 |     1604   5873 |        0 |        0
1124.31/1124.74	c 1124s |      24 |  4460974 |  3889362 |     1604   5880 |        0 |        0
1126.31/1126.74	c 1126s |      24 |  4467037 |  3894862 |     1604   5886 |        0 |        0
1128.32/1128.77	c 1128s |      24 |  4473529 |  3900662 |     1604   5893 |        0 |        0
1130.30/1130.79	c 1130s |      24 |  4481025 |  3907162 |     1604   5901 |        0 |        0
1132.40/1132.80	c 1132s |      24 |  4488859 |  3913962 |     1604   5909 |        0 |        0
1134.40/1134.82	c 1134s |      24 |  4496825 |  3920862 |     1604   5917 |        0 |        0
1136.40/1136.85	c 1136s |      24 |  4504234 |  3927362 |     1604   5924 |        0 |        0
1138.40/1138.87	c 1138s |      24 |  4511954 |  3934062 |     1604   5932 |        0 |        0
1140.49/1140.91	c 1140s |      24 |  4518930 |  3940262 |     1604   5940 |        0 |        0
1142.50/1142.92	c 1142s |      24 |  4525442 |  3946062 |     1604   5946 |        0 |        0
1144.49/1144.94	c 1144s |      24 |  4532496 |  3952362 |     1604   5954 |        0 |        0
1146.49/1146.96	c 1146s |      24 |  4539163 |  3958262 |     1604   5961 |        0 |        0
1148.49/1148.98	c 1148s |      24 |  4545457 |  3963862 |     1604   5967 |        0 |        0
1150.59/1151.03	c 1150s |      24 |  4551705 |  3969462 |     1604   5974 |        0 |        0
1152.59/1153.03	c 1152s |      24 |  4558588 |  3975562 |     1604   5981 |        0 |        0
1154.59/1155.05	c 1154s |      24 |  4565090 |  3981362 |     1604   5988 |        0 |        0
1156.59/1157.08	c 1157s |      24 |  4571596 |  3987162 |     1604   5994 |        0 |        0
1158.58/1159.09	c 1159s |      24 |  4577825 |  3992662 |     1604   6001 |        0 |        0
1160.58/1161.09	c 1161s |      24 |  4584016 |  3998162 |     1604   6007 |        0 |        0
1162.68/1163.12	c 1163s |      24 |  4590862 |  4004162 |     1604   6014 |        0 |        0
1164.68/1165.16	c 1165s |      24 |  4597900 |  4010162 |     1604   6021 |        0 |        0
1166.69/1167.18	c 1167s |      24 |  4604297 |  4015762 |     1604   6028 |        0 |        0
1168.68/1169.18	c 1169s |      24 |  4610688 |  4021362 |     1604   6035 |        0 |        0
1170.78/1171.20	c 1171s |      24 |  4616563 |  4026562 |     1604   6041 |        0 |        0
1172.78/1173.21	c 1173s |      24 |  4623509 |  4032462 |     1604   6048 |        0 |        0
1174.78/1175.22	c 1175s |      24 |  4630051 |  4038162 |     1604   6054 |        0 |        0
1176.78/1177.22	c 1177s |      24 |  4635819 |  4043262 |     1604   6060 |        0 |        0
1178.78/1179.23	c 1179s |      24 |  4641718 |  4048362 |     1604   6066 |        0 |        0
1180.77/1181.26	c 1181s |      24 |  4648120 |  4053962 |     1604   6073 |        0 |        0
1182.77/1183.28	c 1183s |      24 |  4654494 |  4059362 |     1604   6079 |        0 |        0
1184.87/1185.31	c 1185s |      24 |  4661068 |  4065162 |     1604   6086 |        0 |        0
1186.87/1187.33	c 1187s |      24 |  4667534 |  4070862 |     1604   6093 |        0 |        0
1188.87/1189.36	c 1189s |      24 |  4674102 |  4076662 |     1604   6099 |        0 |        0
1190.87/1191.37	c 1191s |      24 |  4679822 |  4081762 |     1604   6105 |        0 |        0
1192.96/1193.40	c 1193s |      24 |  4686352 |  4087462 |     1604   6112 |        0 |        0
1194.96/1195.41	c 1195s |      24 |  4693745 |  4093962 |     1604   6120 |        0 |        0
1196.96/1197.41	c 1197s |      24 |  4701213 |  4100462 |     1604   6127 |        0 |        0
1198.96/1199.42	c 1199s |      24 |  4708358 |  4106562 |     1604   6134 |        0 |        0
1200.96/1201.43	c 1201s |      24 |  4715176 |  4112562 |     1604   6141 |        0 |        0
1202.96/1203.46	c 1203s |      24 |  4722020 |  4118662 |     1604   6149 |        0 |        0
1204.96/1205.47	c 1205s |      24 |  4728826 |  4124762 |     1604   6156 |        0 |        0
1206.96/1207.48	c 1207s |      24 |  4736337 |  4131262 |     1604   6163 |        0 |        0
1209.05/1209.50	c 1209s |      24 |  4743275 |  4137462 |     1604   6171 |        0 |        0
1211.05/1211.52	c 1211s |      24 |  4750695 |  4143962 |     1604   6178 |        0 |        0
1213.05/1213.53	c 1213s |      24 |  4758208 |  4150562 |     1604   6186 |        0 |        0
1215.06/1215.53	c 1215s |      24 |  4765472 |  4156962 |     1604   6193 |        0 |        0
1217.05/1217.53	c 1217s |      24 |  4772459 |  4162962 |     1604   6201 |        0 |        0
1219.05/1219.56	c 1219s |      24 |  4779322 |  4169062 |     1604   6208 |        0 |        0
1221.05/1221.58	c 1221s |      24 |  4785961 |  4174962 |     1604   6215 |        0 |        0
1223.05/1223.59	c 1223s |      24 |  4792662 |  4180862 |     1604   6222 |        0 |        0
1225.15/1225.62	c 1225s |      24 |  4799722 |  4187162 |     1604   6229 |        0 |        0
1227.15/1227.64	c 1227s |      24 |  4806565 |  4193162 |     1604   6236 |        0 |        0
1229.14/1229.66	c 1229s |      24 |  4813217 |  4199062 |     1604   6243 |        0 |        0
1231.14/1231.67	c 1231s |      24 |  4819505 |  4204762 |     1604   6250 |        0 |        0
1233.14/1233.69	c 1233s |      24 |  4825917 |  4210462 |     1604   6256 |        0 |        0
1235.24/1235.71	c 1235s |      24 |  4832683 |  4216362 |     1604   6263 |        0 |        0
1237.24/1237.71	c 1237s |      24 |  4840633 |  4223162 |     1604   6271 |        0 |        0
1239.24/1239.72	c 1239s |      24 |  4848175 |  4229762 |     1604   6279 |        0 |        0
1241.23/1241.75	c 1241s |      24 |  4855184 |  4236062 |     1604   6286 |        0 |        0
1243.23/1243.78	c 1243s |      24 |  4861644 |  4241762 |     1604   6293 |        0 |        0
1245.33/1245.80	c 1245s |      24 |  4867833 |  4247362 |     1604   6299 |        0 |        0
1247.33/1247.82	c 1247s |      24 |  4874077 |  4252962 |     1604   6306 |        0 |        0
1249.33/1249.84	c 1249s |      24 |  4880223 |  4258462 |     1604   6312 |        0 |        0
1251.33/1251.87	c 1251s |      24 |  4886597 |  4264162 |     1604   6319 |        0 |        0
1253.33/1253.88	c 1253s |      24 |  4892772 |  4269662 |     1604   6326 |        0 |        0
1255.33/1255.89	c 1255s |      24 |  4898984 |  4275162 |     1604   6332 |        0 |        0
1257.42/1257.91	c 1257s |      24 |  4906014 |  4281362 |     1604   6339 |        0 |        0
1259.42/1259.96	c 1259s |      24 |  4911982 |  4286762 |     1604   6346 |        0 |        0
1261.42/1261.97	c 1261s |      24 |  4917550 |  4291762 |     1604   6351 |        0 |        0
1263.43/1263.99	c 1263s |      24 |  4923824 |  4297362 |     1604   6358 |        0 |        0
1265.53/1266.02	c 1265s |      24 |  4929405 |  4302362 |     1604   6364 |        0 |        0
1267.53/1268.02	c 1267s |      24 |  4935161 |  4307462 |     1604   6370 |        0 |        0
1269.52/1270.04	c 1269s |      24 |  4940386 |  4312062 |     1604   6375 |        0 |        0
1271.52/1272.06	c 1271s |      24 |  4947627 |  4318462 |     1604   6383 |        0 |        0
1273.52/1274.06	c 1273s |      24 |  4954681 |  4324662 |     1604   6390 |        0 |        0
1275.53/1276.08	c 1276s |      24 |  4961971 |  4331062 |     1604   6397 |        0 |        0
1277.52/1278.08	c 1278s |      24 |  4968858 |  4337062 |     1604   6404 |        0 |        0
1279.51/1280.08	c 1280s |      24 |  4975266 |  4342662 |     1604   6411 |        0 |        0
1281.61/1282.10	c 1282s |      24 |  4981413 |  4348162 |     1604   6417 |        0 |        0
1283.61/1284.13	c 1284s |      24 |  4988028 |  4353962 |     1604   6424 |        0 |        0
1285.61/1286.14	c 1286s |      24 |  4994817 |  4359762 |     1604   6431 |        0 |        0
1287.62/1288.15	c 1288s |      24 |  5002360 |  4366262 |     1604   6439 |        0 |        0
1289.60/1290.16	c 1290s |      24 |  5009605 |  4372562 |     1604   6446 |        0 |        0
1291.60/1292.19	c 1292s |      24 |  5016330 |  4378562 |     1604   6453 |        0 |        0
1293.70/1294.21	c 1294s |      24 |  5023737 |  4385062 |     1604   6461 |        0 |        0
1295.70/1296.24	c 1296s |      24 |  5030491 |  4390962 |     1604   6468 |        0 |        0
1297.70/1298.26	c 1298s |      24 |  5037412 |  4397062 |     1604   6475 |        0 |        0
1299.70/1300.26	c 1300s |      24 |  5044441 |  4403362 |     1604   6482 |        0 |        0
1301.70/1302.29	c 1302s |      24 |  5051137 |  4409262 |     1604   6489 |        0 |        0
1303.80/1304.31	c 1304s |      24 |  5056958 |  4414562 |     1604   6495 |        0 |        0
1305.80/1306.33	c 1306s |      24 |  5063668 |  4420462 |     1604   6502 |        0 |        0
1307.80/1308.35	c 1308s |      24 |  5070722 |  4426762 |     1604   6510 |        0 |        0
1309.79/1310.37	c 1310s |      24 |  5077762 |  4432862 |     1604   6517 |        0 |        0
1311.80/1312.37	c 1312s |      24 |  5084360 |  4438662 |     1604   6524 |        0 |        0
1313.79/1314.39	c 1314s |      24 |  5091200 |  4444562 |     1604   6530 |        0 |        0
1315.89/1316.40	c 1316s |      24 |  5098100 |  4450562 |     1604   6537 |        0 |        0
1317.89/1318.42	c 1318s |      24 |  5104086 |  4455762 |     1604   6544 |        0 |        0
1319.88/1320.45	c 1320s |      24 |  5110420 |  4461362 |     1604   6550 |        0 |        0
1321.88/1322.46	c 1322s |      24 |  5116874 |  4467062 |     1604   6557 |        0 |        0
1323.89/1324.49	c 1324s |      24 |  5123995 |  4473262 |     1604   6564 |        0 |        0
1325.98/1326.52	c 1326s |      24 |  5130519 |  4478962 |     1604   6571 |        0 |        0
1327.98/1328.52	c 1328s |      24 |  5136673 |  4484362 |     1604   6577 |        0 |        0
1329.98/1330.54	c 1330s |      24 |  5142906 |  4489862 |     1604   6583 |        0 |        0
1331.98/1332.54	c 1332s |      24 |  5148903 |  4495062 |     1604   6589 |        0 |        0
1333.97/1334.58	c 1334s |      24 |  5155012 |  4500462 |     1604   6596 |        0 |        0
1335.98/1336.60	c 1336s |      24 |  5160881 |  4505562 |     1604   6602 |        0 |        0
1338.07/1338.63	c 1338s |      24 |  5167302 |  4511162 |     1604   6608 |        0 |        0
1340.07/1340.67	c 1340s |      24 |  5173615 |  4516562 |     1604   6615 |        0 |        0
1342.17/1342.70	c 1342s |      24 |  5180000 |  4522162 |     1604   6621 |        0 |        0
1344.17/1344.73	c 1344s |      24 |  5186190 |  4527562 |     1604   6627 |        0 |        0
1346.17/1346.74	c 1346s |      24 |  5193464 |  4533862 |     1604   6635 |        0 |        0
1348.17/1348.76	c 1348s |      24 |  5200317 |  4539862 |     1604   6642 |        0 |        0
1350.16/1350.78	c 1350s |      24 |  5207289 |  4545962 |     1604   6649 |        0 |        0
1352.26/1352.80	c 1352s |      24 |  5214384 |  4551762 |     1604   6656 |        0 |        0
1354.26/1354.81	c 1354s |      24 |  5221568 |  4557762 |     1604   6663 |        0 |        0
1356.26/1356.83	c 1356s |      24 |  5228509 |  4563662 |     1604   6670 |        0 |        0
1358.26/1358.85	c 1358s |      24 |  5235151 |  4569462 |     1604   6677 |        0 |        0
1360.26/1360.85	c 1360s |      24 |  5241434 |  4574962 |     1604   6683 |        0 |        0
1362.36/1362.90	c 1362s |      24 |  5247839 |  4580362 |     1604   6689 |        0 |        0
1364.35/1364.93	c 1364s |      24 |  5253897 |  4585762 |     1604   6696 |        0 |        0
1366.35/1366.97	c 1366s |      24 |  5259311 |  4590562 |     1604   6701 |        0 |        0
1368.35/1368.99	c 1368s |      24 |  5264219 |  4594962 |     1604   6707 |        0 |        0
1370.35/1370.99	c 1370s |      24 |  5270522 |  4600162 |     1604   6713 |        0 |        0
1372.45/1373.00	c 1372s |      24 |  5276838 |  4605362 |     1604   6719 |        0 |        0
1374.45/1375.04	c 1374s |      24 |  5283022 |  4610762 |     1604   6725 |        0 |        0
1376.45/1377.07	c 1377s |      24 |  5289145 |  4615962 |     1604   6731 |        0 |        0
1378.45/1379.09	c 1379s |      24 |  5295358 |  4621462 |     1604   6738 |        0 |        0
1380.45/1381.10	c 1381s |      24 |  5301490 |  4626662 |     1604   6744 |        0 |        0
1382.55/1383.10	c 1383s |      24 |  5307206 |  4631662 |     1604   6750 |        0 |        0
1384.55/1385.12	c 1385s |      24 |  5313069 |  4636862 |     1604   6756 |        0 |        0
1386.55/1387.15	c 1387s |      24 |  5319542 |  4642362 |     1604   6762 |        0 |        0
1388.55/1389.16	c 1389s |      24 |  5326299 |  4648262 |     1604   6769 |        0 |        0
1390.55/1391.19	c 1391s |      24 |  5332798 |  4654062 |     1604   6776 |        0 |        0
1392.64/1393.22	c 1393s |      24 |  5339552 |  4659862 |     1604   6783 |        0 |        0
1394.64/1395.25	c 1395s |      24 |  5346376 |  4665862 |     1604   6790 |        0 |        0
1396.64/1397.28	c 1397s |      24 |  5353219 |  4671862 |     1604   6797 |        0 |        0
1398.65/1399.28	c 1399s |      24 |  5360131 |  4677762 |     1604   6804 |        0 |        0
1400.64/1401.29	c 1401s |      24 |  5366633 |  4683362 |     1604   6811 |        0 |        0
1402.74/1403.32	c 1403s |      24 |  5373466 |  4689062 |     1604   6817 |        0 |        0
1404.74/1405.34	c 1405s |      24 |  5380575 |  4695062 |     1604   6824 |        0 |        0
1406.74/1407.34	c 1407s |      24 |  5387688 |  4700862 |     1604   6831 |        0 |        0
1408.74/1409.36	c 1409s |      24 |  5394090 |  4706562 |     1604   6838 |        0 |        0
1410.75/1411.38	c 1411s |      24 |  5400193 |  4711962 |     1604   6844 |        0 |        0
1412.74/1413.38	c 1413s |      24 |  5406178 |  4717262 |     1604   6851 |        0 |        0
1414.84/1415.40	c 1415s |      24 |  5412682 |  4722862 |     1604   6857 |        0 |        0
1416.84/1417.41	c 1417s |      24 |  5419247 |  4728562 |     1604   6864 |        0 |        0
1418.84/1419.41	c 1419s |      24 |  5425410 |  4734062 |     1604   6870 |        0 |        0
1420.84/1421.43	c 1421s |      24 |  5431032 |  4739162 |     1604   6876 |        0 |        0
1422.85/1423.43	c 1423s |      24 |  5436815 |  4744362 |     1604   6882 |        0 |        0
1424.84/1425.46	c 1425s |      24 |  5442766 |  4749662 |     1604   6889 |        0 |        0
1426.84/1427.46	c 1427s |      24 |  5448779 |  4755062 |     1604   6895 |        0 |        0
1428.84/1429.48	c 1429s |      24 |  5454553 |  4760262 |     1604   6901 |        0 |        0
1430.94/1431.51	c 1431s |      24 |  5460521 |  4765562 |     1604   6907 |        0 |        0
1432.94/1433.56	c 1433s |      24 |  5466559 |  4770862 |     1604   6914 |        0 |        0
1434.94/1435.59	c 1435s |      24 |  5472515 |  4776262 |     1604   6920 |        0 |        0
1437.04/1437.60	c 1437s |      24 |  5478160 |  4781262 |     1604   6926 |        0 |        0
1439.04/1439.61	c 1439s |      24 |  5483569 |  4786062 |     1604   6931 |        0 |        0
1441.04/1441.62	c 1441s |      24 |  5489911 |  4791562 |     1604   6938 |        0 |        0
1443.04/1443.67	c 1443s |      24 |  5496312 |  4797262 |     1604   6945 |        0 |        0
1445.04/1445.67	c 1445s |      24 |  5502409 |  4802762 |     1604   6951 |        0 |        0
1447.04/1447.69	c 1447s |      24 |  5508407 |  4808162 |     1604   6957 |        0 |        0
1449.14/1449.72	c 1449s |      24 |  5515262 |  4814262 |     1604   6964 |        0 |        0
1451.14/1451.76	c 1451s |      24 |  5521557 |  4819862 |     1604   6971 |        0 |        0
1453.14/1453.76	c 1453s |      24 |  5527751 |  4825362 |     1604   6977 |        0 |        0
1455.13/1455.77	c 1455s |      24 |  5534020 |  4830962 |     1604   6984 |        0 |        0
1457.24/1457.80	c 1457s |      24 |  5540270 |  4836562 |     1604   6991 |        0 |        0
1459.25/1459.81	c 1459s |      24 |  5546693 |  4842262 |     1604   6997 |        0 |        0
1461.24/1461.83	c 1461s |      24 |  5553658 |  4848362 |     1604   7004 |        0 |        0
1463.24/1463.84	c 1463s |      24 |  5560308 |  4854262 |     1604   7011 |        0 |        0
1465.24/1465.87	c 1465s |      24 |  5566933 |  4860162 |     1604   7018 |        0 |        0
1467.24/1467.87	c 1467s |      24 |  5573192 |  4865762 |     1604   7025 |        0 |        0
1469.24/1469.88	c 1469s |      24 |  5579361 |  4871262 |     1604   7031 |        0 |        0
1471.35/1471.91	c 1471s |      24 |  5585982 |  4877162 |     1604   7038 |        0 |        0
1473.34/1473.92	c 1473s |      24 |  5592544 |  4882962 |     1604   7045 |        0 |        0
1475.34/1475.92	c 1475s |      24 |  5598677 |  4888362 |     1604   7051 |        0 |        0
1477.34/1477.93	c 1477s |      24 |  5604801 |  4893862 |     1604   7058 |        0 |        0
1479.34/1479.96	c 1479s |      24 |  5611090 |  4899462 |     1604   7064 |        0 |        0
1481.34/1481.99	c 1481s |      24 |  5617816 |  4905362 |     1604   7071 |        0 |        0
1483.44/1484.01	c 1483s |      24 |  5625110 |  4911662 |     1604   7078 |        0 |        0
1485.44/1486.04	c 1485s |      24 |  5632039 |  4917862 |     1604   7086 |        0 |        0
1487.44/1488.05	c 1487s |      24 |  5638737 |  4923862 |     1604   7093 |        0 |        0
1489.44/1490.09	c 1490s |      24 |  5644880 |  4929362 |     1604   7099 |        0 |        0
1491.54/1492.11	c 1492s |      24 |  5651296 |  4935062 |     1604   7106 |        0 |        0
1493.54/1494.13	c 1494s |      24 |  5657370 |  4940462 |     1604   7112 |        0 |        0
1495.54/1496.17	c 1496s |      24 |  5663185 |  4945662 |     1604   7118 |        0 |        0
1497.54/1498.19	c 1498s |      24 |  5669262 |  4950862 |     1604   7125 |        0 |        0
1499.64/1500.21	c 1500s |      24 |  5675655 |  4956462 |     1604   7131 |        0 |        0
1501.63/1502.21	c 1502s |      24 |  5682539 |  4962462 |     1604   7138 |        0 |        0
1503.63/1504.22	c 1504s |      24 |  5688854 |  4968062 |     1604   7145 |        0 |        0
1505.63/1506.25	c 1506s |      24 |  5695478 |  4974062 |     1604   7152 |        0 |        0
1507.64/1508.28	c 1508s |      24 |  5701833 |  4979762 |     1604   7158 |        0 |        0
1509.74/1510.31	c 1510s |      24 |  5708190 |  4985362 |     1604   7165 |        0 |        0
1511.73/1512.32	c 1512s |      24 |  5714310 |  4990862 |     1604   7171 |        0 |        0
1513.73/1514.34	c 1514s |      24 |  5720085 |  4996062 |     1604   7178 |        0 |        0
1515.73/1516.37	c 1516s |      24 |  5726447 |  5001762 |     1604   7184 |        0 |        0
1517.73/1518.38	c 1518s |      24 |  5732832 |  5007462 |     1604   7191 |        0 |        0
1519.74/1520.39	c 1520s |      24 |  5738720 |  5012762 |     1604   7197 |        0 |        0
1521.84/1522.43	c 1522s |      24 |  5744433 |  5017862 |     1604   7203 |        0 |        0
1523.83/1524.45	c 1524s |      24 |  5750748 |  5023462 |     1604   7210 |        0 |        0
1525.83/1526.48	c 1526s |      24 |  5757054 |  5029162 |     1765   7216 |        0 |        0
1527.83/1528.48	c 1528s |      24 |  5762130 |  5033762 |     1765   7221 |        0 |        0
1529.93/1530.50	c 1530s |      24 |  5768012 |  5038862 |     1765   7227 |        0 |        0
1531.93/1532.52	c 1532s |      24 |  5774527 |  5044562 |     1765   7233 |        0 |        0
1533.93/1534.55	c 1534s |      24 |  5781144 |  5050362 |     1765   7239 |        0 |        0
1535.93/1536.56	c 1536s |      24 |  5788096 |  5056462 |     1765   7246 |        0 |        0
1538.03/1538.61	c 1538s |      24 |  5794234 |  5061962 |     1765   7252 |        0 |        0
1539.03/1539.69	c 1539s |      25 |  5797892 |  5065098 |     1765   7255 |        0 |        0
1541.13/1541.72	c 1541s |      25 |  5805298 |  5071298 |     1765   7262 |        0 |        0
1543.13/1543.73	c 1543s |      25 |  5812534 |  5077498 |     1765   7268 |        0 |        0
1545.13/1545.75	c 1545s |      25 |  5818612 |  5082798 |     1765   7274 |        0 |        0
1547.13/1547.77	c 1547s |      25 |  5825343 |  5088598 |     1765   7280 |        0 |        0
1549.13/1549.78	c 1549s |      25 |  5832733 |  5094998 |     1765   7287 |        0 |        0
1551.23/1551.81	c 1551s |      25 |  5839895 |  5101398 |     1765   7294 |        0 |        0
1553.22/1553.82	c 1553s |      25 |  5847527 |  5108198 |     1765   7301 |        0 |        0
1555.22/1555.82	c 1555s |      25 |  5855039 |  5114998 |     1765   7308 |        0 |        0
1557.22/1557.83	c 1557s |      25 |  5862818 |  5121798 |     1765   7316 |        0 |        0
1559.23/1559.84	c 1559s |      25 |  5869850 |  5128098 |     1765   7323 |        0 |        0
1561.22/1561.84	c 1561s |      25 |  5877573 |  5134698 |     1765   7330 |        0 |        0
1563.22/1563.89	c 1563s |      25 |  5884586 |  5140898 |     1765   7336 |        0 |        0
1565.22/1565.89	c 1565s |      25 |  5890971 |  5146598 |     1765   7343 |        0 |        0
1567.32/1567.91	c 1567s |      25 |  5897670 |  5152498 |     1765   7349 |        0 |        0
1569.32/1569.93	c 1569s |      25 |  5904687 |  5158598 |     1765   7355 |        0 |        0
1571.33/1571.94	c 1571s |      25 |  5911184 |  5164298 |     1765   7362 |        0 |        0
1573.32/1573.97	c 1573s |      25 |  5917603 |  5169998 |     1765   7368 |        0 |        0
1575.32/1575.98	c 1575s |      25 |  5924505 |  5175798 |     1765   7374 |        0 |        0
1577.32/1577.98	c 1577s |      25 |  5930845 |  5181298 |     1765   7380 |        0 |        0
1579.42/1580.01	c 1579s |      25 |  5936951 |  5186698 |     1765   7386 |        0 |        0
1581.42/1582.02	c 1581s |      25 |  5942863 |  5191898 |     1765   7391 |        0 |        0
1583.42/1584.02	c 1583s |      25 |  5949174 |  5197298 |     1765   7397 |        0 |        0
1585.42/1586.04	c 1585s |      25 |  5955743 |  5203098 |     1765   7403 |        0 |        0
1587.41/1588.07	c 1588s |      25 |  5961499 |  5208298 |     1765   7409 |        0 |        0
1589.41/1590.09	c 1590s |      25 |  5967411 |  5213498 |     1765   7415 |        0 |        0
1591.51/1592.11	c 1592s |      25 |  5973910 |  5219198 |     1765   7421 |        0 |        0
1593.51/1594.12	c 1594s |      25 |  5980410 |  5224998 |     1765   7427 |        0 |        0
1595.52/1596.15	c 1596s |      25 |  5986995 |  5230898 |     1765   7433 |        0 |        0
1597.51/1598.18	c 1598s |      25 |  5993274 |  5236498 |     1765   7439 |        0 |        0
1599.51/1600.19	c 1600s |      25 |  5999984 |  5242198 |     1765   7445 |        0 |        0
1601.52/1602.20	c 1602s |      25 |  6006777 |  5248098 |     1765   7452 |        0 |        0
1603.62/1604.20	c 1604s |      25 |  6012612 |  5253298 |     1765   7457 |        0 |        0
1605.62/1606.21	c 1606s |      25 |  6019489 |  5259098 |     1765   7464 |        0 |        0
1607.63/1608.22	c 1608s |      25 |  6026034 |  5264598 |     1765   7469 |        0 |        0
1609.62/1610.25	c 1610s |      25 |  6032540 |  5270298 |     1765   7476 |        0 |        0
1611.62/1612.26	c 1612s |      25 |  6038444 |  5275398 |     1765   7481 |        0 |        0
1613.62/1614.29	c 1614s |      25 |  6044584 |  5280698 |     1765   7487 |        0 |        0
1615.72/1616.32	c 1616s |      25 |  6050586 |  5285998 |     1765   7492 |        0 |        0
1617.72/1618.36	c 1618s |      25 |  6056803 |  5291498 |     1765   7498 |        0 |        0
1619.72/1620.38	c 1620s |      25 |  6063235 |  5297198 |     1765   7504 |        0 |        0
1621.82/1622.41	c 1622s |      25 |  6069456 |  5302698 |     1765   7510 |        0 |        0
1623.82/1624.44	c 1624s |      25 |  6075737 |  5308298 |     1765   7516 |        0 |        0
1625.82/1626.44	c 1626s |      25 |  6081322 |  5313398 |     1765   7522 |        0 |        0
1627.82/1628.46	c 1628s |      25 |  6087058 |  5318598 |     1765   7527 |        0 |        0
1629.82/1630.48	c 1630s |      25 |  6092790 |  5323798 |     1765   7533 |        0 |        0
1631.82/1632.49	c 1632s |      25 |  6098458 |  5328798 |     1765   7538 |        0 |        0
1633.92/1634.51	c 1634s |      25 |  6104082 |  5333798 |     1765   7544 |        0 |        0
1635.92/1636.52	c 1636s |      25 |  6109754 |  5338798 |     1765   7549 |        0 |        0
1637.92/1638.53	c 1638s |      25 |  6115120 |  5343598 |     1765   7554 |        0 |        0
1639.91/1640.57	c 1640s |      25 |  6120494 |  5348398 |     1765   7559 |        0 |        0
1642.01/1642.60	c 1642s |      25 |  6125902 |  5353198 |     1765   7565 |        0 |        0
1644.02/1644.62	c 1644s |      25 |  6131128 |  5357798 |     1765   7569 |        0 |        0
1646.01/1646.63	c 1646s |      25 |  6136289 |  5362398 |     1765   7574 |        0 |        0
1648.01/1648.64	c 1648s |      25 |  6141418 |  5366898 |     1765   7579 |        0 |        0
1650.01/1650.67	c 1650s |      25 |  6148164 |  5372798 |     1765   7585 |        0 |        0
1652.01/1652.69	c 1652s |      25 |  6154855 |  5378698 |     1765   7592 |        0 |        0
1654.01/1654.69	c 1654s |      25 |  6161383 |  5384398 |     1765   7598 |        0 |        0
1656.02/1656.70	c 1656s |      25 |  6167824 |  5390098 |     1765   7604 |        0 |        0
1658.11/1658.70	c 1658s |      25 |  6174690 |  5396098 |     1765   7610 |        0 |        0
1660.11/1660.70	c 1660s |      25 |  6180648 |  5401398 |     1765   7616 |        0 |        0
1662.11/1662.72	c 1662s |      25 |  6186151 |  5406298 |     1765   7621 |        0 |        0
1664.11/1664.74	c 1664s |      25 |  6191692 |  5411298 |     1765   7627 |        0 |        0
1666.11/1666.75	c 1666s |      25 |  6197416 |  5416398 |     1765   7632 |        0 |        0
1668.11/1668.76	c 1668s |      25 |  6203204 |  5421598 |     1765   7638 |        0 |        0
1670.11/1670.77	c 1670s |      25 |  6209290 |  5426998 |     1765   7643 |        0 |        0
1672.11/1672.78	c 1672s |      25 |  6214677 |  5431898 |     1765   7649 |        0 |        0
1674.11/1674.78	c 1674s |      25 |  6220329 |  5436998 |     1765   7654 |        0 |        0
1676.21/1676.81	c 1676s |      25 |  6226345 |  5442398 |     1765   7660 |        0 |        0
1678.21/1678.83	c 1678s |      25 |  6233098 |  5448398 |     1765   7666 |        0 |        0
1680.21/1680.83	c 1680s |      25 |  6238985 |  5453698 |     1765   7672 |        0 |        0
1682.21/1682.84	c 1682s |      25 |  6245163 |  5459198 |     1765   7678 |        0 |        0
1684.21/1684.86	c 1684s |      25 |  6251292 |  5464698 |     1765   7684 |        0 |        0
1686.21/1686.86	c 1686s |      25 |  6257076 |  5469898 |     1765   7689 |        0 |        0
1688.21/1688.87	c 1688s |      25 |  6263151 |  5475298 |     1765   7695 |        0 |        0
1690.31/1690.90	c 1690s |      25 |  6268747 |  5480198 |     1765   7700 |        0 |        0
1692.20/1692.90	c 1692s |      25 |  6274777 |  5485498 |     1765   7706 |        0 |        0
1694.30/1694.93	c 1694s |      25 |  6281371 |  5491398 |     1765   7712 |        0 |        0
1696.30/1696.96	c 1696s |      25 |  6287631 |  5496998 |     1765   7718 |        0 |        0
1698.40/1699.00	c 1698s |      25 |  6293938 |  5502498 |     1765   7724 |        0 |        0
1700.40/1701.00	c 1700s |      25 |  6299950 |  5507898 |     1765   7730 |        0 |        0
1702.40/1703.01	c 1702s |      25 |  6306128 |  5513398 |     1765   7736 |        0 |        0
1704.41/1705.02	c 1704s |      25 |  6312682 |  5519198 |     1765   7742 |        0 |        0
1706.40/1707.02	c 1706s |      25 |  6318784 |  5524598 |     1765   7748 |        0 |        0
1708.40/1709.03	c 1708s |      25 |  6325035 |  5530198 |     1765   7754 |        0 |        0
1710.40/1711.05	c 1710s |      25 |  6331972 |  5536298 |     1765   7760 |        0 |        0
1712.40/1713.06	c 1712s |      25 |  6338947 |  5542398 |     1765   7767 |        0 |        0
1714.41/1715.07	c 1715s |      25 |  6345223 |  5548098 |     1765   7773 |        0 |        0
1716.40/1717.09	c 1717s |      25 |  6351449 |  5553698 |     1765   7779 |        0 |        0
1718.50/1719.11	c 1719s |      25 |  6358384 |  5559798 |     1765   7785 |        0 |        0
1720.50/1721.11	c 1721s |      25 |  6364627 |  5565398 |     1765   7791 |        0 |        0
1722.50/1723.14	c 1723s |      25 |  6370806 |  5570898 |     1765   7797 |        0 |        0
1724.50/1725.14	c 1725s |      25 |  6376732 |  5576198 |     1765   7803 |        0 |        0
1726.51/1727.18	c 1727s |      25 |  6382108 |  5580998 |     1765   7808 |        0 |        0
1728.50/1729.20	c 1729s |      25 |  6387914 |  5586098 |     1765   7813 |        0 |        0
1730.60/1731.21	c 1731s |      25 |  6393445 |  5591098 |     1765   7819 |        0 |        0
1732.60/1733.25	c 1733s |      25 |  6398552 |  5595698 |     1765   7824 |        0 |        0
1734.60/1735.29	c 1735s |      25 |  6404738 |  5600998 |     1765   7829 |        0 |        0
1736.70/1737.32	c 1737s |      25 |  6409694 |  5605498 |     1765   7834 |        0 |        0
1738.70/1739.32	c 1739s |      25 |  6414338 |  5609698 |     1765   7839 |        0 |        0
1740.70/1741.34	c 1741s |      25 |  6420449 |  5614898 |     1765   7844 |        0 |        0
1742.70/1743.36	c 1743s |      25 |  6426994 |  5620498 |     1765   7850 |        0 |        0
1744.80/1745.40	c 1745s |      25 |  6433929 |  5626298 |     1765   7857 |        0 |        0
1746.80/1747.43	c 1747s |      25 |  6440843 |  5632198 |     1765   7863 |        0 |        0
1748.80/1749.43	c 1749s |      25 |  6446850 |  5637398 |     1765   7868 |        0 |        0
1750.79/1751.45	c 1751s |      25 |  6453177 |  5642898 |     1765   7874 |        0 |        0
1752.80/1753.45	c 1753s |      25 |  6459760 |  5648598 |     1765   7880 |        0 |        0
1754.79/1755.48	c 1755s |      25 |  6465969 |  5654098 |     1765   7886 |        0 |        0
1756.89/1757.51	c 1757s |      25 |  6473449 |  5660398 |     1765   7893 |        0 |        0
1758.89/1759.54	c 1759s |      25 |  6480184 |  5666198 |     1765   7899 |        0 |        0
1760.89/1761.56	c 1761s |      25 |  6486980 |  5671998 |     1765   7906 |        0 |        0
1762.89/1763.57	c 1763s |      25 |  6493733 |  5677798 |     1765   7912 |        0 |        0
1764.90/1765.58	c 1765s |      25 |  6500604 |  5683598 |     1765   7918 |        0 |        0
1766.99/1767.60	c 1767s |      25 |  6507775 |  5689698 |     1765   7925 |        0 |        0
1768.99/1769.62	c 1769s |      25 |  6513981 |  5695198 |     1765   7930 |        0 |        0
1770.99/1771.65	c 1771s |      25 |  6519887 |  5700398 |     1765   7936 |        0 |        0
1772.99/1773.68	c 1773s |      25 |  6526161 |  5705798 |     1765   7942 |        0 |        0
1775.09/1775.70	c 1775s |      25 |  6532387 |  5711198 |     1765   7948 |        0 |        0
1777.09/1777.71	c 1777s |      25 |  6538898 |  5716798 |     1765   7954 |        0 |        0
1779.09/1779.72	c 1779s |      25 |  6544425 |  5721598 |     1765   7959 |        0 |        0
1781.09/1781.74	c 1781s |      25 |  6551053 |  5727398 |     1765   7965 |        0 |        0
1783.09/1783.74	c 1783s |      25 |  6556757 |  5732398 |     1765   7970 |        0 |        0
1785.09/1785.77	c 1785s |      25 |  6563387 |  5738198 |     1765   7977 |        0 |        0
1787.19/1787.80	c 1787s |      25 |  6569094 |  5743298 |     1765   7982 |        0 |        0
1789.19/1789.81	c 1789s |      25 |  6574686 |  5748198 |     1765   7987 |        0 |        0
1791.18/1791.81	c 1791s |      25 |  6581100 |  5753798 |     1765   7993 |        0 |        0
1793.18/1793.82	c 1793s |      25 |  6587451 |  5759398 |     1765   7999 |        0 |        0
1795.18/1795.84	c 1795s |      25 |  6594354 |  5765398 |     1765   8006 |        0 |        0
1797.18/1797.86	c 1797s |      25 |  6601072 |  5771398 |     1765   8012 |        0 |        0
1799.18/1799.87	c 1799s |      25 |  6608292 |  5777598 |     1765   8019 |        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-4093305-1466078357/watcher-4093305-1466078357 -o /tmp/evaluation-result-4093305-1466078357/solver-4093305-1466078357 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093305-1466078357.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.14 2.05 3/177 17581
/proc/meminfo: memFree=30482832/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=670140 CPUtime=0 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 2491 0 0 0 0 0 0 0 20 0 4 0 9885824 686223360 2851 33554432000 4194304 16246674 140737117574800 140737117574224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 168047 2860 441 2943 0 164941 0
[pid=17581/tid=17582] ppid=17578 vsize=687548 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 704049152 2919 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 709292032 2938 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9885824 713486336 2954 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.12 2.14 2.05 3/177 17581
/proc/meminfo: memFree=30482832/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 26539 0 0 0 6 3 0 0 20 0 4 0 9885824 1247350784 26885 33554432000 4194304 16246674 140737117574800 140737117574224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 304529 26894 811 2943 0 301423 0
[pid=17581/tid=17582] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 26900 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 26905 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 26912 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200481 s]
/proc/loadavg: 2.12 2.14 2.05 3/177 17581
/proc/meminfo: memFree=30482832/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 52388 0 0 0 13 6 0 0 20 0 4 0 9885824 1247350784 52735 33554432000 4194304 16246674 140737117574800 140737117574224 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 304529 52749 812 2943 0 301423 0
[pid=17581/tid=17582] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 52756 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 52763 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 52768 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300435 s]
/proc/loadavg: 2.12 2.14 2.05 3/177 17581
/proc/meminfo: memFree=30482832/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 78178 0 0 0 19 10 0 0 20 0 4 0 9885824 1247350784 78524 33554432000 4194304 16246674 140737117574800 140737117574224 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 304529 78537 812 2943 0 301423 0
[pid=17581/tid=17582] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 78544 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 78551 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 78557 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700399 s]
/proc/loadavg: 2.12 2.14 2.05 3/177 17581
/proc/meminfo: memFree=30482832/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 183117 0 0 0 46 23 0 0 20 0 4 0 9885824 1247350784 183463 33554432000 4194304 16246674 140737117574800 140737117556672 5589077 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 304529 183482 812 2943 0 301423 0
[pid=17581/tid=17582] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 183492 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 183504 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9885824 1247350784 183515 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.12 2.14 2.05 3/181 17585
/proc/meminfo: memFree=29500516/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 245698 0 0 0 117 32 0 0 20 0 4 0 9885824 1248399360 246022 33554432000 4194304 16246674 140737117574800 140737117556672 5675587 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 304785 246022 872 2943 0 301679 0
[pid=17581/tid=17582] ppid=17578 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1248399360 246022 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1248399360 246022 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1248399360 246022 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10037 s]
/proc/loadavg: 2.11 2.14 2.05 3/181 17585
/proc/meminfo: memFree=29412972/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 267559 0 0 0 274 34 0 0 20 0 4 0 9885824 1337528320 267883 33554432000 4194304 16246674 140737117574800 140737117556672 13962220 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 326545 267883 872 2943 0 323439 0
[pid=17581/tid=17582] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267883 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267883 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267883 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.11 2.14 2.05 3/181 17585
/proc/meminfo: memFree=29411900/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 267562 0 0 0 594 34 0 0 20 0 4 0 9885824 1337528320 267886 33554432000 4194304 16246674 140737117574800 140737117556672 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 326545 267886 874 2943 0 323439 0
[pid=17581/tid=17582] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267886 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267886 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267886 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.09 2.13 2.05 3/181 17585
/proc/meminfo: memFree=29412164/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 267577 0 0 0 1234 34 0 0 20 0 4 0 9885824 1337528320 267901 33554432000 4194304 16246674 140737117574800 140737117557800 6022674 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 326545 267901 874 2943 0 323439 0
[pid=17581/tid=17582] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267901 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267901 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267901 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.08 2.13 2.05 3/181 17585
/proc/meminfo: memFree=29412972/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 267590 0 0 0 2514 34 0 0 20 0 4 0 9885824 1337528320 267914 33554432000 4194304 16246674 140737117574800 140737117557800 5523307 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 326545 267914 874 2943 0 323439 0
[pid=17581/tid=17582] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267914 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267914 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1337528320 267914 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.05 2.12 2.04 3/182 17588
/proc/meminfo: memFree=29416688/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1307204 CPUtime=51.09 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 267721 0 0 0 5074 35 0 0 20 0 4 0 9885824 1338576896 268045 33554432000 4194304 16246674 140737117574800 140737117556672 5523416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 326801 268045 874 2943 0 323695 0
[pid=17581/tid=17582] ppid=17578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1338576896 268045 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1338576896 268045 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1338576896 268045 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.09 2.11 2.04 3/182 17589
/proc/meminfo: memFree=29416552/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 267724 0 0 0 10193 35 0 0 20 0 4 0 9885824 1338576896 268048 33554432000 4194304 16246674 140737117574800 140737117556672 6021024 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 326801 268048 874 2943 0 323695 0
[pid=17581/tid=17582] ppid=17578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1338576896 268048 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1338576896 268048 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1338576896 268048 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/181 17643
/proc/meminfo: memFree=29405000/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1309252 CPUtime=1361.75 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 268923 0 0 0 136131 44 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 140737117556672 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 327313 268764 876 2943 0 324207 0
[pid=17581/tid=17582] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/181 17692
/proc/meminfo: memFree=29421372/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1309252 CPUtime=1421.75 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 268925 0 0 0 142131 44 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 140737117556672 5722849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 327313 268764 876 2943 0 324207 0
[pid=17581/tid=17582] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/181 17694
/proc/meminfo: memFree=29420408/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1309252 CPUtime=1481.74 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 268925 0 0 0 148129 45 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 140737117556672 5523307 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 327313 268764 876 2943 0 324207 0
[pid=17581/tid=17582] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 17695
/proc/meminfo: memFree=29418952/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1309252 CPUtime=1541.73 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 268925 0 0 0 154128 45 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 140737117556672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 327313 268764 876 2943 0 324207 0
[pid=17581/tid=17582] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/181 17696
/proc/meminfo: memFree=29418860/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1309252 CPUtime=1601.72 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 268925 0 0 0 160126 46 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 140737117556672 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 327313 268764 876 2943 0 324207 0
[pid=17581/tid=17582] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/181 17697
/proc/meminfo: memFree=29417152/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1309252 CPUtime=1661.71 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 268925 0 0 0 166125 46 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 140737117556672 5522909 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 327313 268764 876 2943 0 324207 0
[pid=17581/tid=17582] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1340674048 268764 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/181 17698
/proc/meminfo: memFree=29415688/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1310276 CPUtime=1721.7 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 269097 0 0 0 172124 46 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 140737117556672 13198424 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 327569 268936 876 2943 0 324463 0
[pid=17581/tid=17582] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.16 2.10 2.02 3/180 17699
/proc/meminfo: memFree=29415720/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1310276 CPUtime=1781.69 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 269097 0 0 0 178123 46 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 140737117556672 5808149 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 327569 268936 876 2943 0 324463 0
[pid=17581/tid=17582] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.13 2.09 2.02 3/181 17701
/proc/meminfo: memFree=29415548/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1310276 CPUtime=1800.09 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 269097 0 0 0 179963 46 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 140737117556672 5589718 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 327569 268936 876 2943 0 324463 0
[pid=17581/tid=17582] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1310276

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

[startup+1800.7 s]
/proc/loadavg: 2.13 2.09 2.02 3/181 17701
/proc/meminfo: memFree=29415548/32872528 swapFree=446836/479540
[pid=17581] ppid=17578 vsize=1310276 CPUtime=1800.09 cores=1,3,5,7
/proc/17581/stat : 17581 (toysat) R 17578 17581 15681 0 -1 4202496 269097 0 0 0 179963 46 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 140737117556672 5589718 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17581/statm: 327569 268936 876 2943 0 324463 0
[pid=17581/tid=17582] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17582/stat : 17582 (toysat) S 17578 17581 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962229959920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17581/tid=17583] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17583/stat : 17583 (toysat) S 17578 17581 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962219470064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17581/tid=17584] ppid=17578 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/17581/task/17584/stat : 17584 (toysat) S 17578 17581 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9885824 1341722624 268936 33554432000 4194304 16246674 140737117574800 139962208996528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1310276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.11
CPU user time (s): 1799.64
CPU system time (s): 0.469928
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.469928
maximum resident set size= 1075744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269097
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= 501
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67914 second user time and 7.42387 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 13:59:17
IDJOB=4093305
IDBENCH=78667
IDSOLVER=2553
FILE ID=node104/4093305-1466078357
RUNJOBID= node104-1466074317-17184
PBS_JOBID= 19904028
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093305-1466078357/watcher-4093305-1466078357 -o /tmp/evaluation-result-4093305-1466078357/solver-4093305-1466078357 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093305-1466078357.wbo

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

MD5SUM BENCH= 1f875ef306d18e6f86db860a031faa4e
RANDOM SEED=1073363244

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30483468 kB
Buffers:           21700 kB
Cached:           100372 kB
SwapCached:          516 kB
Active:          1156816 kB
Inactive:          50184 kB
Active(anon):    1085948 kB
Inactive(anon):     1168 kB
Active(file):      70868 kB
Inactive(file):    49016 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1649340 kB
Mapped:            10752 kB
Shmem:                 0 kB
Slab:             566580 kB
SReclaimable:      10960 kB
SUnreclaim:       555620 kB
KernelStack:        1504 kB
PageTables:         6932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1694972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node104 at 2016-06-16 14:29:18