Trace number 4079748

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
MD5SUM455599f2e36aed56b051b7169c43fa6c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables120
Total number of constraints10
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3997
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T22:18: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","--pb","--search=bcd2","HOME/instance-4079748-1465244297.opb"]
0.00/0.01	c use --random-gen="1356852978 3860474821 3951115111 242132024 2333417982 3794884002 3703358911 1849283600 2262551934 1872491463 1481938127 1070165412 2854850808 1945741952 403797806 2666516807 1829875794 2357585312 3858716614 3336294145 2819262047 1800598921 746766009 3104222248 3449396021 2102858403 2394223069 3291358838 3476855275 1681736053 1585414618 242164705 2279204886 775012056 2957719816 2239788186 1576913246 1473421853 2237086802 1340747505 1379195889 3662957736 872381749 3608648952 297663721 3122706366 2740635831 1751203186 2187860064 900404432 2751649388 3529020757 1334490570 534737695 3931887434 3624479817 683747219 2824264289 4252267015 3929510536 3041033889 3830285984 3568683260 2390667064 1761278121 3375376696 2527780507 3154789841 3126596756 597293583 1590489908 3235253957 3770896518 3475456023 1322669808 1714585517 15650358 1001356884 2586788684 3934540743 1873944063 3272523021 532238277 1144218969 805341691 1283601402 3743760253 3401223594 3065811980 600537487 1579407481 319710260 222835588 197158665 3777132819 668269411 3764731324 3344420463 1638375507 2081032477 2731789749 3353283707 1731005410 2929385314 467807790 3495249756 3332905847 1262943196 762641538 4248232136 2222992056 2153092155 3985961212 112196126 907235242 1159546583 4024796733 1411896970 1490982850 358206219 1258478329 3886727893 1833640902 4150094678 2577412973 2664417853 1325156941 2853910270 1714976754 1731904448 3482647861 2013839437 3002106213 381203204 909200431 1348401446 2321796362 2695604095 3587395106 1318274150 2425520259 538561582 3457140407 3822026981 2891868770 2654587536 220608731 76043006 3780690919 3211603846 2488515052 2708841059 4014621145 1758117087 4093241063 922838671 495677022 3222892757 1935690367 2687885741 4286093974 2155827352 3140899116 2322690313 765574080 2984508942 400248998 3015958312 3590099431 1243436215 733365347 399993664 3645653856 4238493726 2514116633 3575369651 2700352454 2791929742 1884483386 584475366 962724725 3599948550 2887086665 2892668896 3858409791 627133325 617958903 1633654742 3996948817 2583808506 150933222 2524736973 2249742805 1431708832 1186285655 457118075 3711565569 1896340374 1354692067 1821552553 3628461686 3620442571 3060837584 98464700 2338751811 3631662690 586460576 3867050148 2402145805 1542350194 4121982599 3563853386 114306993 1473744095 1571415836 3251904923 160744580 643299890 4248349503 2236635556 1215788820 1631887865 916967361 2924180523 2914448574 1866726198 2145704514 4011438411 3908196747 1512988457 2728550189 440888539 3568376841 2626576676 3906791949 3513137505 3893890269 314435852 4126545782 1076744067 818688985 2957847591 1316718538 2712394451 3305637143 1555146282 3115056572 3524472058 902414547 753456186 1485761481 999311527 2382497116 3787556250 4274586864 3899991912 255 362436" option to reproduce the execution
0.00/0.01	c #vars 120
0.00/0.01	c #constraints 10
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       43      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       55 |        0 |       43      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.001s
0.00/0.01	c #wall_clock_time = 0.001s
0.00/0.01	c #decision = 55
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	o 1623
0.00/0.01	c BCD2: updating upper bound: 2550 -> 1622
0.00/0.01	c BCD2: 0 <= obj <= 1622
0.00/0.01	c BCD2: #cores=0, #unrelaxed=80, #relaxed=0, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       43      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      203 |      100 |       43      0 |        0 |        0
0.00/0.06	c  0.1s |       2 |      453 |      250 |       48      3 |        0 |        0
0.09/0.11	c  0.1s |       3 |      780 |      475 |       53      6 |        0 |        0
0.09/0.18	c  0.2s |       4 |     1212 |      813 |       59     11 |        0 |        0
0.20/0.29	c  0.3s |       5 |     1822 |     1320 |       65     18 |        0 |        0
0.39/0.45	c  0.4s |       6 |     2681 |     2081 |       80     28 |        0 |        0
0.69/0.70	c  0.7s |       7 |     3934 |     3223 |       88     41 |        0 |        0
1.00/1.07	c  1.1s |       8 |     5778 |     4936 |       97     60 |        0 |        0
1.39/1.46	c  1.4s |       9 |     8477 |     7506 |      107     86 |        0 |        0
1.99/2.05	c  2.0s |      10 |    12466 |    11361 |      118    124 |        0 |        0
2.79/2.86	c  2.9s |      11 |    18426 |    17144 |      130    179 |        0 |        0
4.09/4.12	c  4.1s |      12 |    27292 |    25819 |      143    257 |        0 |        0
5.99/6.01	c  6.0s |      13 |    40576 |    38832 |      158    367 |        0 |        0
7.99/8.02	c  8.0s |      13 |    54716 |    52732 |      158    478 |        0 |        0
8.80/8.86	c  8.8s |      14 |    60382 |    58352 |      174    523 |        0 |        0
10.79/10.87	c 10.9s |      14 |    74202 |    71952 |      174    626 |        0 |        0
12.79/12.88	c 12.9s |      14 |    87719 |    85352 |      174    727 |        0 |        0
13.20/13.22	c 13.2s |      15 |    90021 |    87632 |      192    744 |        0 |        0
15.19/15.23	c 15.2s |      15 |   103831 |   101232 |      192    840 |        0 |        0
17.19/17.24	c 17.2s |      15 |   117791 |   115032 |      192    937 |        0 |        0
19.19/19.25	c 19.2s |      15 |   131409 |   128532 |      192   1033 |        0 |        0
19.69/19.70	c 19.7s |      16 |   134448 |   131552 |      212   1054 |        0 |        0
21.69/21.71	c 21.7s |      16 |   147934 |   144852 |      212   1141 |        0 |        0
23.69/23.71	c 23.7s |      16 |   161523 |   158352 |      212   1230 |        0 |        0
25.69/25.72	c 25.7s |      16 |   174838 |   171552 |      212   1318 |        0 |        0
27.68/27.73	c 27.7s |      16 |   188156 |   184752 |      212   1406 |        0 |        0
29.58/29.64	c 29.6s |      17 |   200930 |   197432 |      234   1490 |        0 |        0
31.58/31.66	c 31.6s |      17 |   214319 |   210632 |      234   1572 |        0 |        0
33.58/33.66	c 33.6s |      17 |   228018 |   224232 |      234   1656 |        0 |        0
35.58/35.67	c 35.7s |      17 |   241206 |   237332 |      234   1737 |        0 |        0
37.58/37.68	c 37.7s |      17 |   254451 |   250432 |      234   1819 |        0 |        0
39.59/39.68	c 39.7s |      17 |   267887 |   263732 |      234   1902 |        0 |        0
41.58/41.69	c 41.7s |      17 |   281401 |   277132 |      234   1985 |        0 |        0
43.68/43.70	c 43.7s |      17 |   295463 |   291032 |      234   2071 |        0 |        0
44.38/44.42	c 44.4s |      18 |   300729 |   296252 |      258   2102 |        0 |        0
46.39/46.42	c 46.4s |      18 |   314279 |   309652 |      258   2179 |        0 |        0
48.39/48.43	c 48.4s |      18 |   327673 |   322952 |      258   2255 |        0 |        0
50.39/50.43	c 50.4s |      18 |   340966 |   336152 |      258   2331 |        0 |        0
52.39/52.44	c 52.4s |      18 |   354031 |   349152 |      258   2405 |        0 |        0
54.39/54.45	c 54.4s |      18 |   367206 |   362252 |      258   2481 |        0 |        0
56.39/56.46	c 56.5s |      18 |   380391 |   375352 |      258   2556 |        0 |        0
58.39/58.47	c 58.5s |      18 |   393427 |   388252 |      258   2631 |        0 |        0
60.38/60.48	c 60.5s |      18 |   406735 |   401452 |      258   2707 |        0 |        0
62.38/62.49	c 62.5s |      18 |   420184 |   414752 |      258   2784 |        0 |        0
64.38/64.49	c 64.5s |      18 |   433595 |   428052 |      258   2861 |        0 |        0
66.48/66.50	c 66.5s |      18 |   446752 |   441052 |      258   2936 |        0 |        0
66.98/67.03	c 67.0s |      19 |   450221 |   444482 |      284   2955 |        0 |        0
68.98/69.03	c 69.0s |      19 |   463479 |   457582 |      284   3025 |        0 |        0
70.98/71.04	c 71.0s |      19 |   476568 |   470582 |      284   3094 |        0 |        0
72.98/73.05	c 73.0s |      19 |   489868 |   483782 |      284   3165 |        0 |        0
74.98/75.06	c 75.0s |      19 |   503255 |   497082 |      284   3236 |        0 |        0
76.99/77.06	c 77.0s |      19 |   516537 |   510282 |      284   3306 |        0 |        0
78.98/79.07	c 79.1s |      19 |   529936 |   523582 |      284   3377 |        0 |        0
80.98/81.08	c 81.1s |      19 |   543034 |   536582 |      284   3447 |        0 |        0
82.98/83.09	c 83.1s |      19 |   556212 |   549682 |      284   3517 |        0 |        0
84.98/85.09	c 85.1s |      19 |   569184 |   562582 |      284   3586 |        0 |        0
87.08/87.10	c 87.1s |      19 |   582370 |   575682 |      284   3656 |        0 |        0
89.08/89.12	c 89.1s |      19 |   595481 |   588682 |      284   3726 |        0 |        0
91.07/91.13	c 91.1s |      19 |   609338 |   602382 |      284   3799 |        0 |        0
93.07/93.14	c 93.1s |      19 |   623078 |   615982 |      284   3872 |        0 |        0
95.07/95.15	c 95.1s |      19 |   636293 |   629082 |      284   3942 |        0 |        0
97.07/97.15	c 97.1s |      19 |   649480 |   642182 |      284   4013 |        0 |        0
99.08/99.17	c 99.2s |      19 |   662805 |   655382 |      284   4084 |        0 |        0
100.87/100.94	c  100s |      20 |   674334 |   666827 |      313   4143 |        0 |        0
102.87/102.96	c  102s |      20 |   687353 |   679627 |      313   4206 |        0 |        0
104.87/104.96	c  104s |      20 |   700471 |   692627 |      313   4271 |        0 |        0
106.87/106.97	c  106s |      20 |   713095 |   705127 |      313   4333 |        0 |        0
108.88/108.98	c  108s |      20 |   725968 |   717927 |      313   4397 |        0 |        0
110.87/110.98	c  110s |      20 |   739165 |   731027 |      313   4462 |        0 |        0
112.97/113.00	c  112s |      20 |   751984 |   743727 |      313   4525 |        0 |        0
114.97/115.00	c  114s |      20 |   764769 |   756427 |      313   4588 |        0 |        0
116.97/117.01	c  116s |      20 |   777511 |   769027 |      313   4651 |        0 |        0
118.97/119.02	c  119s |      20 |   790454 |   781827 |      313   4715 |        0 |        0
120.97/121.02	c  121s |      20 |   803520 |   794727 |      313   4779 |        0 |        0
122.97/123.03	c  123s |      20 |   816245 |   807327 |      313   4842 |        0 |        0
124.97/125.05	c  125s |      20 |   829154 |   820127 |      313   4906 |        0 |        0
126.97/127.06	c  127s |      20 |   842059 |   832927 |      313   4970 |        0 |        0
128.97/129.07	c  129s |      20 |   854740 |   845527 |      313   5032 |        0 |        0
130.97/131.08	c  131s |      20 |   867627 |   858327 |      313   5096 |        0 |        0
132.97/133.09	c  133s |      20 |   880247 |   870827 |      313   5158 |        0 |        0
134.97/135.09	c  135s |      20 |   892766 |   883227 |      313   5220 |        0 |        0
136.97/137.09	c  137s |      20 |   905291 |   895627 |      313   5282 |        0 |        0
138.97/139.10	c  139s |      20 |   917910 |   908127 |      313   5345 |        0 |        0
140.97/141.10	c  141s |      20 |   930431 |   920527 |      313   5407 |        0 |        0
142.98/143.10	c  143s |      20 |   943823 |   933727 |      313   5473 |        0 |        0
145.07/145.11	c  145s |      20 |   957074 |   946827 |      313   5538 |        0 |        0
147.07/147.13	c  147s |      20 |   970230 |   959827 |      313   5603 |        0 |        0
149.07/149.14	c  149s |      20 |   982843 |   972327 |      313   5665 |        0 |        0
151.07/151.15	c  151s |      20 |   995556 |   984927 |      313   5728 |        0 |        0
153.07/153.17	c  153s |      20 |  1008601 |   997827 |      345   5790 |        0 |        0
153.47/153.57	c  153s |      21 |  1011156 |  1000345 |      345   5802 |        0 |        0
155.47/155.58	c  155s |      21 |  1024047 |  1013045 |      345   5860 |        0 |        0
157.47/157.58	c  157s |      21 |  1036585 |  1025445 |      345   5917 |        0 |        0
159.48/159.58	c  159s |      21 |  1049096 |  1037845 |      345   5974 |        0 |        0
161.57/161.60	c  161s |      21 |  1061708 |  1050345 |      345   6031 |        0 |        0
163.57/163.60	c  163s |      21 |  1074555 |  1063045 |      345   6090 |        0 |        0
165.57/165.62	c  165s |      21 |  1087178 |  1075545 |      345   6148 |        0 |        0
167.57/167.63	c  167s |      21 |  1099906 |  1088145 |      345   6206 |        0 |        0
169.57/169.64	c  169s |      21 |  1112665 |  1100745 |      345   6264 |        0 |        0
171.57/171.66	c  171s |      21 |  1125559 |  1113545 |      345   6323 |        0 |        0
173.57/173.66	c  173s |      21 |  1137873 |  1125745 |      345   6379 |        0 |        0
175.57/175.66	c  175s |      21 |  1150305 |  1138045 |      345   6436 |        0 |        0
177.57/177.67	c  177s |      21 |  1162734 |  1150345 |      345   6493 |        0 |        0
179.56/179.69	c  179s |      21 |  1175244 |  1162745 |      345   6550 |        0 |        0
181.66/181.70	c  181s |      21 |  1187458 |  1174845 |      345   6606 |        0 |        0
183.67/183.71	c  183s |      21 |  1199873 |  1187145 |      345   6663 |        0 |        0
185.66/185.73	c  185s |      21 |  1212533 |  1199645 |      345   6721 |        0 |        0
187.66/187.73	c  187s |      21 |  1225314 |  1212245 |      345   6780 |        0 |        0
189.65/189.74	c  189s |      21 |  1239188 |  1225945 |      345   6842 |        0 |        0
191.65/191.75	c  191s |      21 |  1252425 |  1239045 |      345   6902 |        0 |        0
193.66/193.76	c  193s |      21 |  1265600 |  1252045 |      345   6962 |        0 |        0
195.65/195.78	c  195s |      21 |  1278656 |  1264945 |      345   7021 |        0 |        0
197.65/197.79	c  197s |      21 |  1291917 |  1278045 |      345   7081 |        0 |        0
199.75/199.80	c  199s |      21 |  1304761 |  1290745 |      345   7140 |        0 |        0
201.75/201.81	c  201s |      21 |  1317379 |  1303245 |      345   7197 |        0 |        0
203.75/203.82	c  203s |      21 |  1330418 |  1316145 |      345   7257 |        0 |        0
205.76/205.82	c  205s |      21 |  1343457 |  1329045 |      345   7316 |        0 |        0
207.75/207.84	c  207s |      21 |  1356127 |  1341645 |      345   7374 |        0 |        0
209.74/209.85	c  209s |      21 |  1368654 |  1354045 |      345   7431 |        0 |        0
211.74/211.86	c  211s |      21 |  1381050 |  1366345 |      345   7488 |        0 |        0
213.74/213.87	c  213s |      21 |  1393778 |  1378945 |      345   7546 |        0 |        0
215.74/215.88	c  215s |      21 |  1406211 |  1391245 |      345   7603 |        0 |        0
217.75/217.89	c  217s |      21 |  1418921 |  1403845 |      345   7661 |        0 |        0
219.74/219.89	c  219s |      21 |  1431565 |  1416345 |      345   7719 |        0 |        0
221.84/221.91	c  221s |      21 |  1444168 |  1428845 |      345   7777 |        0 |        0
223.84/223.92	c  223s |      21 |  1456442 |  1441045 |      345   7833 |        0 |        0
225.84/225.92	c  225s |      21 |  1468919 |  1453445 |      345   7891 |        0 |        0
227.84/227.93	c  227s |      21 |  1481200 |  1465645 |      345   7947 |        0 |        0
229.84/229.94	c  229s |      21 |  1493504 |  1477845 |      345   8004 |        0 |        0
231.84/231.95	c  231s |      21 |  1505773 |  1490045 |      380   8060 |        0 |        0
233.64/233.73	c  233s |      22 |  1516419 |  1500622 |      380   8106 |        0 |        0
235.64/235.75	c  235s |      22 |  1529326 |  1513322 |      380   8160 |        0 |        0
237.64/237.77	c  237s |      22 |  1542443 |  1526222 |      380   8215 |        0 |        0
239.63/239.77	c  239s |      22 |  1554648 |  1538322 |      380   8266 |        0 |        0
241.63/241.78	c  241s |      22 |  1567156 |  1550722 |      380   8319 |        0 |        0
243.63/243.78	c  243s |      22 |  1579496 |  1562922 |      380   8371 |        0 |        0
245.63/245.79	c  245s |      22 |  1592310 |  1575622 |      380   8425 |        0 |        0
247.73/247.80	c  247s |      22 |  1604974 |  1588122 |      380   8478 |        0 |        0
249.74/249.81	c  249s |      22 |  1617593 |  1600622 |      380   8532 |        0 |        0
251.73/251.82	c  251s |      22 |  1630029 |  1612922 |      380   8584 |        0 |        0
253.73/253.82	c  253s |      22 |  1642840 |  1625622 |      380   8638 |        0 |        0
255.73/255.83	c  255s |      22 |  1655470 |  1638122 |      380   8691 |        0 |        0
257.73/257.84	c  257s |      22 |  1667699 |  1650222 |      380   8743 |        0 |        0
259.72/259.86	c  259s |      22 |  1679813 |  1662222 |      380   8794 |        0 |        0
261.73/261.87	c  261s |      22 |  1692006 |  1674322 |      380   8845 |        0 |        0
263.72/263.89	c  263s |      22 |  1704113 |  1686322 |      380   8896 |        0 |        0
265.82/265.90	c  265s |      22 |  1716630 |  1698722 |      380   8949 |        0 |        0
267.82/267.91	c  267s |      22 |  1728935 |  1710922 |      380   9001 |        0 |        0
269.83/269.92	c  269s |      22 |  1741149 |  1723022 |      380   9053 |        0 |        0
271.82/271.92	c  271s |      22 |  1753663 |  1735422 |      380   9106 |        0 |        0
273.83/273.94	c  273s |      22 |  1766101 |  1747722 |      380   9159 |        0 |        0
275.82/275.94	c  275s |      22 |  1778553 |  1760022 |      380   9211 |        0 |        0
277.82/277.96	c  277s |      22 |  1791158 |  1772522 |      380   9265 |        0 |        0
279.82/279.96	c  279s |      22 |  1803650 |  1784922 |      380   9317 |        0 |        0
281.82/281.97	c  281s |      22 |  1815965 |  1797122 |      380   9369 |        0 |        0
283.82/283.99	c  283s |      22 |  1828092 |  1809122 |      380   9421 |        0 |        0
285.82/286.00	c  285s |      22 |  1840107 |  1821022 |      380   9472 |        0 |        0
287.92/288.01	c  287s |      22 |  1852223 |  1833022 |      380   9523 |        0 |        0
289.92/290.01	c  289s |      22 |  1864424 |  1845122 |      380   9575 |        0 |        0
291.92/292.02	c  292s |      22 |  1876735 |  1857322 |      380   9627 |        0 |        0
293.92/294.03	c  294s |      22 |  1888850 |  1869322 |      380   9678 |        0 |        0
295.92/296.03	c  296s |      22 |  1900860 |  1881222 |      380   9729 |        0 |        0
297.91/298.04	c  298s |      22 |  1912789 |  1893022 |      380   9780 |        0 |        0
299.91/300.06	c  300s |      22 |  1924793 |  1904922 |      380   9831 |        0 |        0
301.91/302.07	c  302s |      22 |  1936920 |  1916922 |      380   9882 |        0 |        0
303.91/304.09	c  304s |      22 |  1949062 |  1928922 |      380   9934 |        0 |        0
306.01/306.10	c  306s |      22 |  1961421 |  1941122 |      380   9986 |        0 |        0
308.02/308.11	c  308s |      22 |  1974150 |  1953722 |      380  10039 |        0 |        0
310.01/310.11	c  310s |      22 |  1986242 |  1965722 |      380  10090 |        0 |        0
312.00/312.12	c  312s |      22 |  1998332 |  1977722 |      380  10141 |        0 |        0
314.00/314.13	c  314s |      22 |  2010769 |  1990022 |      380  10193 |        0 |        0
316.00/316.14	c  316s |      22 |  2022686 |  2001822 |      380  10243 |        0 |        0
318.00/318.16	c  318s |      22 |  2034660 |  2013722 |      380  10294 |        0 |        0
320.01/320.16	c  320s |      22 |  2046782 |  2025722 |      380  10345 |        0 |        0
322.00/322.17	c  322s |      22 |  2058690 |  2037522 |      380  10395 |        0 |        0
324.00/324.17	c  324s |      22 |  2070920 |  2049622 |      380  10447 |        0 |        0
326.00/326.18	c  326s |      22 |  2083042 |  2061622 |      380  10498 |        0 |        0
328.00/328.20	c  328s |      22 |  2095304 |  2073722 |      380  10550 |        0 |        0
330.10/330.20	c  330s |      22 |  2107222 |  2085522 |      380  10601 |        0 |        0
332.10/332.22	c  332s |      22 |  2119359 |  2097522 |      380  10652 |        0 |        0
334.10/334.22	c  334s |      22 |  2131761 |  2109822 |      380  10705 |        0 |        0
336.10/336.22	c  336s |      22 |  2143963 |  2121922 |      380  10756 |        0 |        0
338.09/338.23	c  338s |      22 |  2156291 |  2134122 |      380  10808 |        0 |        0
340.09/340.24	c  340s |      22 |  2168406 |  2146122 |      380  10859 |        0 |        0
342.10/342.25	c  342s |      22 |  2180194 |  2157822 |      380  10909 |        0 |        0
344.09/344.26	c  344s |      22 |  2191913 |  2169422 |      380  10959 |        0 |        0
346.09/346.28	c  346s |      22 |  2204627 |  2181922 |      380  11012 |        0 |        0
348.09/348.29	c  348s |      22 |  2216743 |  2193922 |      380  11063 |        0 |        0
350.08/350.29	c  350s |      22 |  2228701 |  2205722 |      380  11114 |        0 |        0
352.19/352.30	c  352s |      22 |  2240843 |  2217722 |      380  11165 |        0 |        0
354.20/354.31	c  354s |      22 |  2252652 |  2229422 |      380  11215 |        0 |        0
356.19/356.32	c  356s |      22 |  2264868 |  2241522 |      419  11265 |        0 |        0
357.79/357.90	c  357s |      23 |  2274518 |  2251038 |      419  11303 |        0 |        0
359.79/359.91	c  359s |      23 |  2287133 |  2263438 |      419  11351 |        0 |        0
361.79/361.92	c  361s |      23 |  2299324 |  2275538 |      419  11398 |        0 |        0
363.79/363.93	c  363s |      23 |  2311136 |  2287238 |      419  11444 |        0 |        0
365.79/365.94	c  365s |      23 |  2322936 |  2298938 |      419  11490 |        0 |        0
367.79/367.94	c  367s |      23 |  2334654 |  2310538 |      419  11535 |        0 |        0
369.78/369.95	c  369s |      23 |  2346419 |  2322238 |      419  11581 |        0 |        0
371.79/371.95	c  371s |      23 |  2358514 |  2334238 |      419  11629 |        0 |        0
373.78/373.96	c  373s |      23 |  2370685 |  2346338 |      419  11676 |        0 |        0
375.78/375.97	c  375s |      23 |  2382384 |  2357938 |      419  11722 |        0 |        0
377.78/377.98	c  377s |      23 |  2394264 |  2369738 |      419  11769 |        0 |        0
379.78/379.99	c  379s |      23 |  2406145 |  2381538 |      419  11816 |        0 |        0
381.88/382.00	c  381s |      23 |  2418085 |  2393338 |      419  11862 |        0 |        0
383.88/384.02	c  384s |      23 |  2429649 |  2404838 |      419  11908 |        0 |        0
385.87/386.03	c  386s |      23 |  2441431 |  2416538 |      419  11954 |        0 |        0
387.87/388.04	c  388s |      23 |  2453222 |  2428238 |      419  12000 |        0 |        0
389.87/390.06	c  390s |      23 |  2465020 |  2439938 |      419  12046 |        0 |        0
391.87/392.06	c  392s |      23 |  2476805 |  2451638 |      419  12092 |        0 |        0
393.87/394.07	c  394s |      23 |  2488685 |  2463438 |      419  12139 |        0 |        0
395.87/396.08	c  396s |      23 |  2500643 |  2475338 |      419  12186 |        0 |        0
397.87/398.09	c  398s |      23 |  2512121 |  2486738 |      419  12231 |        0 |        0
399.96/400.10	c  400s |      23 |  2523737 |  2498238 |      419  12277 |        0 |        0
401.96/402.11	c  402s |      23 |  2536357 |  2510638 |      419  12325 |        0 |        0
403.96/404.11	c  404s |      23 |  2548709 |  2522838 |      419  12373 |        0 |        0
405.96/406.12	c  406s |      23 |  2560846 |  2534838 |      419  12421 |        0 |        0
407.97/408.13	c  408s |      23 |  2573355 |  2547238 |      419  12469 |        0 |        0
409.96/410.14	c  410s |      23 |  2585524 |  2559338 |      419  12517 |        0 |        0
411.96/412.14	c  412s |      23 |  2597810 |  2571538 |      419  12565 |        0 |        0
413.96/414.14	c  414s |      23 |  2609498 |  2583138 |      419  12611 |        0 |        0
415.95/416.16	c  416s |      23 |  2621495 |  2595038 |      419  12658 |        0 |        0
417.96/418.17	c  418s |      23 |  2633196 |  2606638 |      419  12704 |        0 |        0
419.95/420.18	c  420s |      23 |  2645177 |  2618538 |      419  12751 |        0 |        0
421.95/422.18	c  422s |      23 |  2656864 |  2630138 |      419  12797 |        0 |        0
423.95/424.19	c  424s |      23 |  2668356 |  2641538 |      419  12842 |        0 |        0
426.06/426.20	c  426s |      23 |  2679937 |  2653038 |      419  12888 |        0 |        0
428.05/428.21	c  428s |      23 |  2691467 |  2664438 |      419  12933 |        0 |        0
430.06/430.21	c  430s |      23 |  2703111 |  2675938 |      419  12978 |        0 |        0
432.05/432.22	c  432s |      23 |  2714670 |  2687338 |      419  13023 |        0 |        0
434.05/434.23	c  434s |      23 |  2726520 |  2699038 |      419  13069 |        0 |        0
436.05/436.24	c  436s |      23 |  2738650 |  2711038 |      419  13117 |        0 |        0
438.05/438.24	c  438s |      23 |  2750513 |  2722838 |      419  13163 |        0 |        0
440.04/440.25	c  440s |      23 |  2762099 |  2734338 |      419  13209 |        0 |        0
442.04/442.26	c  442s |      23 |  2773712 |  2745838 |      419  13254 |        0 |        0
444.04/444.28	c  444s |      23 |  2785035 |  2757038 |      419  13298 |        0 |        0
446.04/446.29	c  446s |      23 |  2796619 |  2768538 |      419  13344 |        0 |        0
448.13/448.31	c  448s |      23 |  2808462 |  2780238 |      419  13390 |        0 |        0
450.13/450.31	c  450s |      23 |  2820242 |  2791938 |      419  13436 |        0 |        0
452.13/452.32	c  452s |      23 |  2831826 |  2803438 |      419  13482 |        0 |        0
454.14/454.32	c  454s |      23 |  2843523 |  2815038 |      419  13528 |        0 |        0
456.13/456.33	c  456s |      23 |  2855312 |  2826738 |      419  13574 |        0 |        0
458.13/458.33	c  458s |      23 |  2866814 |  2838138 |      419  13619 |        0 |        0
460.13/460.33	c  460s |      23 |  2878211 |  2849438 |      419  13664 |        0 |        0
462.13/462.33	c  462s |      23 |  2889483 |  2860638 |      419  13708 |        0 |        0
464.13/464.35	c  464s |      23 |  2901071 |  2872138 |      419  13754 |        0 |        0
466.13/466.37	c  466s |      23 |  2912761 |  2883738 |      419  13800 |        0 |        0
468.12/468.38	c  468s |      23 |  2924467 |  2895338 |      419  13846 |        0 |        0
470.13/470.39	c  470s |      23 |  2936066 |  2906838 |      419  13891 |        0 |        0
472.23/472.40	c  472s |      23 |  2947365 |  2918038 |      419  13936 |        0 |        0
474.23/474.41	c  474s |      23 |  2958660 |  2929238 |      419  13981 |        0 |        0
476.24/476.41	c  476s |      23 |  2970654 |  2941138 |      419  14028 |        0 |        0
478.23/478.42	c  478s |      23 |  2983079 |  2953438 |      419  14076 |        0 |        0
480.23/480.43	c  480s |      23 |  2994907 |  2965138 |      419  14122 |        0 |        0
482.22/482.44	c  482s |      23 |  3007042 |  2977138 |      419  14170 |        0 |        0
484.22/484.45	c  484s |      23 |  3019300 |  2989338 |      419  14218 |        0 |        0
486.22/486.47	c  486s |      23 |  3031480 |  3001438 |      419  14266 |        0 |        0
488.23/488.48	c  488s |      23 |  3043485 |  3013338 |      419  14313 |        0 |        0
490.22/490.48	c  490s |      23 |  3055132 |  3024838 |      419  14358 |        0 |        0
492.22/492.48	c  492s |      23 |  3067019 |  3036638 |      419  14405 |        0 |        0
494.22/494.48	c  494s |      23 |  3078656 |  3048138 |      419  14451 |        0 |        0
496.22/496.49	c  496s |      23 |  3090253 |  3059638 |      419  14496 |        0 |        0
498.22/498.49	c  498s |      23 |  3102077 |  3071338 |      419  14542 |        0 |        0
500.21/500.50	c  500s |      23 |  3113474 |  3082638 |      419  14587 |        0 |        0
502.31/502.52	c  502s |      23 |  3125003 |  3094038 |      419  14632 |        0 |        0
504.31/504.52	c  504s |      23 |  3136333 |  3105238 |      419  14677 |        0 |        0
506.31/506.53	c  506s |      23 |  3147716 |  3116538 |      419  14722 |        0 |        0
508.31/508.53	c  508s |      23 |  3159324 |  3128038 |      419  14767 |        0 |        0
510.31/510.54	c  510s |      23 |  3170644 |  3139238 |      419  14812 |        0 |        0
512.30/512.56	c  512s |      23 |  3182287 |  3150738 |      419  14857 |        0 |        0
514.30/514.56	c  514s |      23 |  3193717 |  3162038 |      419  14902 |        0 |        0
516.31/516.58	c  516s |      23 |  3204863 |  3173038 |      419  14946 |        0 |        0
518.31/518.59	c  518s |      23 |  3216085 |  3184138 |      419  14990 |        0 |        0
520.40/520.61	c  520s |      23 |  3227198 |  3195138 |      419  15034 |        0 |        0
522.41/522.61	c  522s |      23 |  3238710 |  3206538 |      419  15079 |        0 |        0
524.40/524.61	c  524s |      23 |  3250520 |  3218238 |      419  15126 |        0 |        0
526.40/526.62	c  526s |      23 |  3262116 |  3229738 |      419  15171 |        0 |        0
528.40/528.62	c  528s |      23 |  3274032 |  3241538 |      419  15218 |        0 |        0
530.40/530.62	c  530s |      23 |  3285434 |  3252838 |      419  15263 |        0 |        0
532.40/532.62	c  532s |      23 |  3296936 |  3264238 |      419  15308 |        0 |        0
534.40/534.63	c  534s |      23 |  3308375 |  3275538 |      419  15353 |        0 |        0
536.40/536.63	c  536s |      23 |  3319879 |  3286938 |      419  15398 |        0 |        0
538.39/538.63	c  538s |      23 |  3331399 |  3298338 |      419  15443 |        0 |        0
540.39/540.64	c  540s |      23 |  3343052 |  3309838 |      419  15489 |        0 |        0
542.39/542.64	c  542s |      23 |  3354587 |  3321238 |      419  15534 |        0 |        0
544.40/544.65	c  544s |      23 |  3366568 |  3333038 |      419  15581 |        0 |        0
546.39/546.65	c  546s |      23 |  3378240 |  3344538 |      419  15626 |        0 |        0
548.39/548.67	c  548s |      23 |  3389889 |  3356038 |      461  15671 |        0 |        0
550.39/550.67	c  550s |      23 |  3401505 |  3367538 |      461  15713 |        0 |        0
551.99/552.30	c  552s |      24 |  3410735 |  3376662 |      461  15747 |        0 |        0
554.09/554.31	c  554s |      24 |  3422169 |  3387862 |      461  15787 |        0 |        0
556.09/556.33	c  556s |      24 |  3433680 |  3399262 |      461  15829 |        0 |        0
558.09/558.34	c  558s |      24 |  3444873 |  3410362 |      461  15870 |        0 |        0
560.08/560.35	c  560s |      24 |  3456092 |  3421462 |      461  15910 |        0 |        0
562.08/562.36	c  562s |      24 |  3467498 |  3432762 |      461  15952 |        0 |        0
564.09/564.36	c  564s |      24 |  3478898 |  3444062 |      461  15993 |        0 |        0
566.09/566.37	c  566s |      24 |  3490498 |  3455562 |      461  16035 |        0 |        0
568.09/568.37	c  568s |      24 |  3501796 |  3466762 |      461  16076 |        0 |        0
570.08/570.38	c  570s |      24 |  3513160 |  3477962 |      461  16117 |        0 |        0
572.08/572.39	c  572s |      24 |  3524544 |  3489162 |      461  16158 |        0 |        0
574.09/574.40	c  574s |      24 |  3535866 |  3500362 |      461  16199 |        0 |        0
576.08/576.40	c  576s |      24 |  3546984 |  3511362 |      461  16239 |        0 |        0
578.18/578.42	c  578s |      24 |  3558558 |  3522862 |      461  16281 |        0 |        0
580.18/580.42	c  580s |      24 |  3569727 |  3533962 |      461  16321 |        0 |        0
582.18/582.43	c  582s |      24 |  3580845 |  3544962 |      461  16361 |        0 |        0
584.18/584.43	c  584s |      24 |  3592208 |  3556162 |      461  16402 |        0 |        0
586.18/586.44	c  586s |      24 |  3603637 |  3567462 |      461  16443 |        0 |        0
588.17/588.45	c  588s |      24 |  3615079 |  3578762 |      461  16484 |        0 |        0
590.17/590.45	c  590s |      24 |  3626196 |  3589762 |      461  16525 |        0 |        0
592.17/592.46	c  592s |      24 |  3637926 |  3601362 |      461  16567 |        0 |        0
594.17/594.46	c  594s |      24 |  3649625 |  3612962 |      461  16609 |        0 |        0
596.17/596.47	c  596s |      24 |  3661196 |  3624362 |      461  16650 |        0 |        0
598.17/598.48	c  598s |      24 |  3672484 |  3635562 |      461  16691 |        0 |        0
600.16/600.48	c  600s |      24 |  3683464 |  3646462 |      461  16731 |        0 |        0
602.16/602.48	c  602s |      24 |  3694545 |  3657462 |      461  16771 |        0 |        0
604.26/604.50	c  604s |      24 |  3705523 |  3668362 |      461  16811 |        0 |        0
606.26/606.50	c  606s |      24 |  3716826 |  3679562 |      461  16851 |        0 |        0
608.26/608.52	c  608s |      24 |  3728330 |  3690962 |      461  16893 |        0 |        0
610.26/610.52	c  610s |      24 |  3739314 |  3701862 |      461  16933 |        0 |        0
612.26/612.53	c  612s |      24 |  3750444 |  3712862 |      461  16973 |        0 |        0
614.27/614.54	c  614s |      24 |  3761573 |  3723862 |      461  17014 |        0 |        0
616.27/616.56	c  616s |      24 |  3772979 |  3735162 |      461  17055 |        0 |        0
618.26/618.56	c  618s |      24 |  3784195 |  3746262 |      461  17095 |        0 |        0
620.27/620.56	c  620s |      24 |  3795303 |  3757262 |      461  17135 |        0 |        0
622.26/622.57	c  622s |      24 |  3806518 |  3768362 |      461  17176 |        0 |        0
624.26/624.57	c  624s |      24 |  3817410 |  3779162 |      461  17216 |        0 |        0
626.26/626.59	c  626s |      24 |  3828425 |  3790062 |      461  17256 |        0 |        0
628.26/628.59	c  628s |      24 |  3839334 |  3800862 |      461  17295 |        0 |        0
630.36/630.60	c  630s |      24 |  3850152 |  3811562 |      461  17334 |        0 |        0
632.26/632.60	c  632s |      24 |  3861048 |  3822362 |      461  17374 |        0 |        0
634.35/634.61	c  634s |      24 |  3872749 |  3833962 |      461  17416 |        0 |        0
636.35/636.61	c  636s |      24 |  3884388 |  3845462 |      461  17458 |        0 |        0
638.35/638.62	c  638s |      24 |  3895581 |  3856562 |      461  17498 |        0 |        0
640.35/640.63	c  640s |      24 |  3906381 |  3867262 |      461  17538 |        0 |        0
642.35/642.64	c  642s |      24 |  3917344 |  3878162 |      461  17577 |        0 |        0
644.35/644.64	c  644s |      24 |  3928535 |  3889262 |      461  17618 |        0 |        0
646.35/646.65	c  646s |      24 |  3939640 |  3900262 |      461  17658 |        0 |        0
648.35/648.66	c  648s |      24 |  3950974 |  3911462 |      461  17699 |        0 |        0
650.34/650.66	c  650s |      24 |  3962078 |  3922462 |      461  17739 |        0 |        0
652.34/652.68	c  652s |      24 |  3973187 |  3933462 |      461  17779 |        0 |        0
654.35/654.68	c  654s |      24 |  3984003 |  3944162 |      461  17819 |        0 |        0
656.34/656.69	c  656s |      24 |  3995191 |  3955262 |      461  17859 |        0 |        0
658.34/658.69	c  658s |      24 |  4006297 |  3966262 |      461  17899 |        0 |        0
660.34/660.69	c  660s |      24 |  4017310 |  3977162 |      461  17939 |        0 |        0
662.44/662.70	c  662s |      24 |  4028303 |  3988062 |      461  17979 |        0 |        0
664.44/664.72	c  664s |      24 |  4039508 |  3999162 |      461  18020 |        0 |        0
666.45/666.73	c  666s |      24 |  4050301 |  4009862 |      461  18059 |        0 |        0
668.44/668.73	c  668s |      24 |  4061105 |  4020562 |      461  18098 |        0 |        0
670.44/670.74	c  670s |      24 |  4071797 |  4031162 |      461  18137 |        0 |        0
672.43/672.74	c  672s |      24 |  4082379 |  4041662 |      461  18175 |        0 |        0
674.43/674.74	c  674s |      24 |  4092861 |  4052062 |      461  18214 |        0 |        0
676.44/676.76	c  676s |      24 |  4103662 |  4062762 |      461  18253 |        0 |        0
678.45/678.76	c  678s |      24 |  4114928 |  4073962 |      461  18294 |        0 |        0
680.44/680.77	c  680s |      24 |  4125817 |  4084762 |      461  18333 |        0 |        0
682.44/682.79	c  682s |      24 |  4136701 |  4095562 |      461  18373 |        0 |        0
684.44/684.79	c  684s |      24 |  4147578 |  4106362 |      461  18412 |        0 |        0
686.54/686.81	c  686s |      24 |  4158568 |  4117262 |      461  18452 |        0 |        0
688.54/688.82	c  688s |      24 |  4169847 |  4128462 |      461  18493 |        0 |        0
690.54/690.84	c  690s |      24 |  4180937 |  4139462 |      461  18534 |        0 |        0
692.53/692.84	c  692s |      24 |  4191963 |  4150362 |      461  18574 |        0 |        0
694.53/694.85	c  694s |      24 |  4202848 |  4161162 |      461  18613 |        0 |        0
696.53/696.85	c  696s |      24 |  4213651 |  4171862 |      461  18652 |        0 |        0
698.53/698.86	c  698s |      24 |  4224676 |  4182762 |      461  18693 |        0 |        0
700.54/700.87	c  700s |      24 |  4235808 |  4193762 |      461  18733 |        0 |        0
702.53/702.87	c  702s |      24 |  4246846 |  4204662 |      461  18773 |        0 |        0
704.53/704.88	c  704s |      24 |  4258074 |  4215762 |      461  18814 |        0 |        0
706.53/706.90	c  706s |      24 |  4269251 |  4226862 |      461  18854 |        0 |        0
708.63/708.91	c  708s |      24 |  4280340 |  4237862 |      461  18895 |        0 |        0
710.62/710.91	c  710s |      24 |  4291324 |  4248762 |      461  18935 |        0 |        0
712.63/712.92	c  712s |      24 |  4302526 |  4259862 |      461  18975 |        0 |        0
714.62/714.93	c  714s |      24 |  4313618 |  4270862 |      461  19016 |        0 |        0
716.62/716.94	c  716s |      24 |  4324745 |  4281862 |      461  19056 |        0 |        0
718.62/718.94	c  718s |      24 |  4335641 |  4292662 |      461  19096 |        0 |        0
720.62/720.96	c  720s |      24 |  4346434 |  4303362 |      461  19135 |        0 |        0
722.62/722.97	c  722s |      24 |  4357763 |  4314562 |      461  19176 |        0 |        0
724.62/724.99	c  724s |      24 |  4368951 |  4325662 |      461  19217 |        0 |        0
726.72/727.01	c  726s |      24 |  4379850 |  4336462 |      461  19256 |        0 |        0
728.72/729.01	c  728s |      24 |  4390757 |  4347262 |      461  19296 |        0 |        0
730.71/731.02	c  731s |      24 |  4401754 |  4358162 |      461  19336 |        0 |        0
732.71/733.03	c  733s |      24 |  4412658 |  4368962 |      461  19376 |        0 |        0
734.71/735.04	c  735s |      24 |  4423452 |  4379662 |      461  19415 |        0 |        0
736.72/737.06	c  737s |      24 |  4434361 |  4390462 |      461  19455 |        0 |        0
738.71/739.07	c  739s |      24 |  4445347 |  4401362 |      461  19495 |        0 |        0
740.71/741.08	c  741s |      24 |  4456259 |  4412162 |      461  19535 |        0 |        0
742.71/743.09	c  743s |      24 |  4467149 |  4422962 |      461  19575 |        0 |        0
744.81/745.10	c  745s |      24 |  4477832 |  4433562 |      461  19614 |        0 |        0
746.81/747.11	c  747s |      24 |  4488529 |  4444162 |      461  19653 |        0 |        0
748.81/749.11	c  749s |      24 |  4499241 |  4454762 |      461  19692 |        0 |        0
750.80/751.12	c  751s |      24 |  4511303 |  4466662 |      461  19735 |        0 |        0
752.80/753.12	c  753s |      24 |  4523234 |  4478462 |      461  19778 |        0 |        0
754.80/755.14	c  755s |      24 |  4535090 |  4490162 |      461  19820 |        0 |        0
756.80/757.15	c  757s |      24 |  4546705 |  4501662 |      461  19861 |        0 |        0
758.81/759.16	c  759s |      24 |  4558221 |  4513062 |      461  19903 |        0 |        0
760.80/761.17	c  761s |      24 |  4569315 |  4524062 |      461  19943 |        0 |        0
762.80/763.17	c  763s |      24 |  4580502 |  4535162 |      461  19983 |        0 |        0
764.79/765.19	c  765s |      24 |  4592449 |  4546962 |      461  20026 |        0 |        0
766.79/767.19	c  767s |      24 |  4604159 |  4558562 |      461  20068 |        0 |        0
768.79/769.19	c  769s |      24 |  4615684 |  4569962 |      461  20109 |        0 |        0
770.79/771.20	c  771s |      24 |  4627201 |  4581362 |      461  20150 |        0 |        0
772.89/773.20	c  773s |      24 |  4638839 |  4592862 |      461  20192 |        0 |        0
774.89/775.21	c  775s |      24 |  4650142 |  4604062 |      461  20233 |        0 |        0
776.89/777.21	c  777s |      24 |  4661318 |  4615162 |      461  20273 |        0 |        0
778.89/779.23	c  779s |      24 |  4672411 |  4626162 |      461  20313 |        0 |        0
780.88/781.24	c  781s |      24 |  4683712 |  4637362 |      461  20354 |        0 |        0
782.89/783.25	c  783s |      24 |  4694893 |  4648462 |      461  20394 |        0 |        0
784.88/785.26	c  785s |      24 |  4705875 |  4659362 |      461  20434 |        0 |        0
786.88/787.27	c  787s |      24 |  4717076 |  4670462 |      461  20474 |        0 |        0
788.88/789.29	c  789s |      24 |  4728071 |  4681362 |      461  20514 |        0 |        0
790.98/791.30	c  791s |      24 |  4739262 |  4692462 |      461  20554 |        0 |        0
792.98/793.31	c  793s |      24 |  4750436 |  4703562 |      461  20595 |        0 |        0
794.99/795.31	c  795s |      24 |  4761968 |  4714962 |      461  20636 |        0 |        0
796.98/797.31	c  797s |      24 |  4773385 |  4726262 |      461  20677 |        0 |        0
798.98/799.32	c  799s |      24 |  4784687 |  4737462 |      461  20718 |        0 |        0
800.99/801.33	c  801s |      24 |  4795770 |  4748462 |      461  20758 |        0 |        0
802.98/803.35	c  803s |      24 |  4806851 |  4759462 |      461  20798 |        0 |        0
804.99/805.36	c  805s |      24 |  4817941 |  4770462 |      461  20838 |        0 |        0
806.98/807.37	c  807s |      24 |  4829030 |  4781462 |      461  20878 |        0 |        0
808.98/809.38	c  809s |      24 |  4839917 |  4792262 |      461  20918 |        0 |        0
810.98/811.38	c  811s |      24 |  4850939 |  4803162 |      461  20957 |        0 |        0
812.98/813.38	c  813s |      24 |  4862337 |  4814462 |      461  20998 |        0 |        0
814.98/815.38	c  815s |      24 |  4873440 |  4825462 |      461  21038 |        0 |        0
816.98/817.39	c  817s |      24 |  4884822 |  4836762 |      461  21079 |        0 |        0
819.08/819.41	c  819s |      24 |  4896205 |  4848062 |      461  21121 |        0 |        0
821.08/821.43	c  821s |      24 |  4907507 |  4859262 |      461  21161 |        0 |        0
823.07/823.43	c  823s |      24 |  4918700 |  4870362 |      461  21202 |        0 |        0
825.07/825.44	c  825s |      24 |  4929777 |  4881362 |      461  21242 |        0 |        0
827.07/827.45	c  827s |      24 |  4940976 |  4892462 |      461  21282 |        0 |        0
829.08/829.46	c  829s |      24 |  4952213 |  4903562 |      461  21323 |        0 |        0
831.07/831.48	c  831s |      24 |  4963622 |  4914862 |      461  21364 |        0 |        0
833.07/833.49	c  833s |      24 |  4974731 |  4925862 |      461  21404 |        0 |        0
835.17/835.50	c  835s |      24 |  4985915 |  4936962 |      461  21445 |        0 |        0
837.17/837.51	c  837s |      24 |  4996799 |  4947762 |      461  21484 |        0 |        0
839.17/839.51	c  839s |      24 |  5007799 |  4958662 |      461  21524 |        0 |        0
841.17/841.52	c  841s |      24 |  5018699 |  4969462 |      461  21563 |        0 |        0
843.17/843.53	c  843s |      24 |  5029816 |  4980462 |      461  21604 |        0 |        0
845.17/845.53	c  845s |      24 |  5041039 |  4991562 |      461  21644 |        0 |        0
847.17/847.54	c  847s |      24 |  5051961 |  5002362 |      461  21683 |        0 |        0
849.16/849.54	c  849s |      24 |  5063178 |  5013462 |      461  21724 |        0 |        0
851.17/851.55	c  851s |      24 |  5074182 |  5024362 |      461  21764 |        0 |        0
853.16/853.56	c  853s |      24 |  5085202 |  5035262 |      508  21802 |        0 |        0
855.16/855.57	c  855s |      24 |  5097171 |  5047062 |      508  21841 |        0 |        0
857.16/857.58	c  857s |      24 |  5108676 |  5058462 |      508  21879 |        0 |        0
858.36/858.76	c  858s |      25 |  5115398 |  5065098 |      508  21902 |        0 |        0
860.36/860.77	c  860s |      25 |  5127242 |  5076698 |      508  21940 |        0 |        0
862.36/862.78	c  862s |      25 |  5138561 |  5087898 |      508  21977 |        0 |        0
864.37/864.79	c  864s |      25 |  5149827 |  5098998 |      508  22015 |        0 |        0
866.37/866.80	c  866s |      25 |  5161863 |  5110898 |      508  22054 |        0 |        0
868.47/868.81	c  868s |      25 |  5173449 |  5122398 |      508  22093 |        0 |        0
870.47/870.82	c  870s |      25 |  5184745 |  5133598 |      508  22130 |        0 |        0
872.46/872.83	c  872s |      25 |  5195720 |  5144498 |      508  22166 |        0 |        0
874.46/874.84	c  874s |      25 |  5206876 |  5155498 |      508  22203 |        0 |        0
876.47/876.86	c  876s |      25 |  5217993 |  5166498 |      508  22240 |        0 |        0
878.46/878.87	c  878s |      25 |  5229299 |  5177698 |      508  22278 |        0 |        0
880.46/880.87	c  880s |      25 |  5240230 |  5188498 |      508  22314 |        0 |        0
882.46/882.88	c  882s |      25 |  5251670 |  5199798 |      508  22351 |        0 |        0
884.46/884.89	c  884s |      25 |  5262797 |  5210798 |      508  22388 |        0 |        0
886.56/886.90	c  886s |      25 |  5273826 |  5221698 |      508  22425 |        0 |        0
888.57/888.91	c  888s |      25 |  5284812 |  5232598 |      508  22461 |        0 |        0
890.56/890.92	c  890s |      25 |  5295818 |  5243498 |      508  22498 |        0 |        0
892.56/892.93	c  892s |      25 |  5306702 |  5254298 |      508  22534 |        0 |        0
894.56/894.93	c  894s |      25 |  5317625 |  5265098 |      508  22570 |        0 |        0
896.56/896.94	c  896s |      25 |  5328672 |  5275998 |      508  22607 |        0 |        0
898.56/898.94	c  898s |      25 |  5339897 |  5287098 |      508  22644 |        0 |        0
900.56/900.95	c  900s |      25 |  5350719 |  5297798 |      508  22680 |        0 |        0
902.55/902.96	c  902s |      25 |  5361700 |  5308698 |      508  22717 |        0 |        0
904.55/904.96	c  904s |      25 |  5372830 |  5319698 |      508  22754 |        0 |        0
906.55/906.98	c  906s |      25 |  5383932 |  5330698 |      508  22791 |        0 |        0
908.55/908.99	c  908s |      25 |  5394858 |  5341498 |      508  22827 |        0 |        0
910.65/911.01	c  910s |      25 |  5406207 |  5352698 |      508  22865 |        0 |        0
912.67/913.02	c  913s |      25 |  5417254 |  5363598 |      508  22901 |        0 |        0
914.66/915.03	c  915s |      25 |  5428258 |  5374498 |      508  22938 |        0 |        0
916.66/917.04	c  917s |      25 |  5439071 |  5385198 |      508  22974 |        0 |        0
918.66/919.05	c  919s |      25 |  5450073 |  5396098 |      508  23011 |        0 |        0
920.66/921.07	c  921s |      25 |  5461914 |  5407798 |      508  23050 |        0 |        0
922.67/923.08	c  923s |      25 |  5473563 |  5419298 |      508  23088 |        0 |        0
924.66/925.09	c  925s |      25 |  5485227 |  5430798 |      508  23127 |        0 |        0
926.66/927.09	c  927s |      25 |  5496871 |  5442298 |      508  23165 |        0 |        0
928.76/929.10	c  929s |      25 |  5508162 |  5453498 |      508  23202 |        0 |        0
930.76/931.11	c  931s |      25 |  5519509 |  5464698 |      508  23240 |        0 |        0
932.76/933.12	c  933s |      25 |  5530717 |  5475798 |      508  23277 |        0 |        0
934.76/935.12	c  935s |      25 |  5541739 |  5486698 |      508  23313 |        0 |        0
936.76/937.13	c  937s |      25 |  5552969 |  5497798 |      508  23350 |        0 |        0
938.76/939.14	c  939s |      25 |  5564394 |  5509098 |      508  23388 |        0 |        0
940.76/941.16	c  941s |      25 |  5575811 |  5520398 |      508  23426 |        0 |        0
942.75/943.16	c  943s |      25 |  5587019 |  5531498 |      508  23463 |        0 |        0
944.75/945.18	c  945s |      25 |  5598130 |  5542498 |      508  23500 |        0 |        0
946.76/947.18	c  947s |      25 |  5609556 |  5553798 |      508  23538 |        0 |        0
948.75/949.19	c  949s |      25 |  5620692 |  5564798 |      508  23575 |        0 |        0
950.85/951.20	c  951s |      25 |  5631943 |  5575898 |      508  23612 |        0 |        0
952.85/953.20	c  953s |      25 |  5642975 |  5586798 |      508  23648 |        0 |        0
954.85/955.21	c  955s |      25 |  5654079 |  5597798 |      508  23685 |        0 |        0
956.85/957.21	c  957s |      25 |  5665002 |  5608598 |      508  23722 |        0 |        0
958.86/959.22	c  959s |      25 |  5675983 |  5619498 |      508  23758 |        0 |        0
960.85/961.23	c  961s |      25 |  5686872 |  5630298 |      508  23794 |        0 |        0
962.85/963.24	c  963s |      25 |  5697981 |  5641298 |      508  23831 |        0 |        0
964.85/965.25	c  965s |      25 |  5708573 |  5651798 |      508  23867 |        0 |        0
966.85/967.25	c  967s |      25 |  5719483 |  5662598 |      508  23903 |        0 |        0
968.85/969.27	c  969s |      25 |  5730377 |  5673398 |      508  23939 |        0 |        0
970.85/971.28	c  971s |      25 |  5741369 |  5684298 |      508  23976 |        0 |        0
972.85/973.29	c  973s |      25 |  5752397 |  5695198 |      508  24012 |        0 |        0
974.95/975.30	c  975s |      25 |  5763186 |  5705898 |      508  24048 |        0 |        0
976.94/977.31	c  977s |      25 |  5773770 |  5716398 |      508  24084 |        0 |        0
978.94/979.32	c  979s |      25 |  5784679 |  5727198 |      508  24120 |        0 |        0
980.95/981.32	c  981s |      25 |  5795712 |  5738098 |      508  24156 |        0 |        0
982.94/983.33	c  983s |      25 |  5806412 |  5748698 |      508  24192 |        0 |        0
984.94/985.35	c  985s |      25 |  5816887 |  5759098 |      508  24227 |        0 |        0
986.94/987.36	c  987s |      25 |  5827385 |  5769498 |      508  24262 |        0 |        0
988.94/989.38	c  989s |      25 |  5838007 |  5779998 |      508  24297 |        0 |        0
990.94/991.38	c  991s |      25 |  5848828 |  5790698 |      508  24334 |        0 |        0
993.05/993.41	c  993s |      25 |  5859938 |  5801698 |      508  24371 |        0 |        0
995.04/995.42	c  995s |      25 |  5870642 |  5812298 |      508  24406 |        0 |        0
997.04/997.42	c  997s |      25 |  5881251 |  5822798 |      508  24442 |        0 |        0
999.04/999.44	c  999s |      25 |  5891749 |  5833198 |      508  24477 |        0 |        0
1001.05/1001.44	c 1001s |      25 |  5903151 |  5844498 |      508  24515 |        0 |        0
1003.05/1003.44	c 1003s |      25 |  5914347 |  5855598 |      508  24552 |        0 |        0
1005.05/1005.44	c 1005s |      25 |  5925535 |  5866698 |      508  24589 |        0 |        0
1007.05/1007.46	c 1007s |      25 |  5936420 |  5877498 |      508  24625 |        0 |        0
1009.05/1009.47	c 1009s |      25 |  5947536 |  5888498 |      508  24662 |        0 |        0
1011.05/1011.48	c 1011s |      25 |  5958516 |  5899398 |      508  24698 |        0 |        0
1013.05/1013.49	c 1013s |      25 |  5969408 |  5910198 |      508  24735 |        0 |        0
1015.14/1015.50	c 1015s |      25 |  5980005 |  5920698 |      508  24770 |        0 |        0
1017.15/1017.51	c 1017s |      25 |  5990913 |  5931498 |      508  24806 |        0 |        0
1019.14/1019.53	c 1019s |      25 |  6001813 |  5942298 |      508  24843 |        0 |        0
1021.14/1021.54	c 1021s |      25 |  6012720 |  5953098 |      508  24879 |        0 |        0
1023.14/1023.54	c 1023s |      25 |  6023558 |  5963798 |      508  24915 |        0 |        0
1025.14/1025.55	c 1025s |      25 |  6034263 |  5974398 |      508  24951 |        0 |        0
1027.15/1027.56	c 1027s |      25 |  6045078 |  5985098 |      508  24987 |        0 |        0
1029.14/1029.56	c 1029s |      25 |  6055677 |  5995598 |      508  25022 |        0 |        0
1031.14/1031.57	c 1031s |      25 |  6066490 |  6006298 |      508  25058 |        0 |        0
1033.14/1033.58	c 1033s |      25 |  6077197 |  6016898 |      508  25094 |        0 |        0
1035.14/1035.59	c 1035s |      25 |  6087934 |  6027498 |      508  25129 |        0 |        0
1037.24/1037.61	c 1037s |      25 |  6098659 |  6038098 |      508  25165 |        0 |        0
1039.24/1039.62	c 1039s |      25 |  6109255 |  6048598 |      508  25201 |        0 |        0
1041.23/1041.64	c 1041s |      25 |  6120068 |  6059298 |      508  25237 |        0 |        0
1043.23/1043.65	c 1043s |      25 |  6131208 |  6070298 |      508  25274 |        0 |        0
1045.23/1045.65	c 1045s |      25 |  6142625 |  6081598 |      508  25311 |        0 |        0
1047.23/1047.67	c 1047s |      25 |  6153759 |  6092598 |      508  25348 |        0 |        0
1049.24/1049.67	c 1049s |      25 |  6164814 |  6103498 |      508  25385 |        0 |        0
1051.25/1051.68	c 1051s |      25 |  6175530 |  6114098 |      508  25420 |        0 |        0
1053.24/1053.68	c 1053s |      25 |  6186433 |  6124898 |      508  25456 |        0 |        0
1055.24/1055.68	c 1055s |      25 |  6197120 |  6135498 |      508  25492 |        0 |        0
1057.24/1057.68	c 1057s |      25 |  6208006 |  6146298 |      508  25528 |        0 |        0
1059.24/1059.69	c 1059s |      25 |  6218893 |  6157098 |      508  25564 |        0 |        0
1061.24/1061.69	c 1061s |      25 |  6229806 |  6167898 |      508  25600 |        0 |        0
1063.24/1063.70	c 1063s |      25 |  6240801 |  6178798 |      508  25637 |        0 |        0
1065.34/1065.71	c 1065s |      25 |  6251710 |  6189598 |      508  25673 |        0 |        0
1067.33/1067.72	c 1067s |      25 |  6262599 |  6200398 |      508  25710 |        0 |        0
1069.33/1069.73	c 1069s |      25 |  6273305 |  6210998 |      508  25745 |        0 |        0
1071.33/1071.74	c 1071s |      25 |  6284123 |  6221698 |      508  25781 |        0 |        0
1073.34/1073.75	c 1073s |      25 |  6294703 |  6232198 |      508  25816 |        0 |        0
1075.33/1075.75	c 1075s |      25 |  6305203 |  6242598 |      508  25851 |        0 |        0
1077.33/1077.76	c 1077s |      25 |  6315484 |  6252798 |      508  25886 |        0 |        0
1079.33/1079.76	c 1079s |      25 |  6326383 |  6263598 |      508  25922 |        0 |        0
1081.33/1081.77	c 1081s |      25 |  6337398 |  6274498 |      508  25959 |        0 |        0
1083.33/1083.79	c 1083s |      25 |  6348282 |  6285298 |      508  25995 |        0 |        0
1085.44/1085.81	c 1085s |      25 |  6358861 |  6295798 |      508  26030 |        0 |        0
1087.43/1087.82	c 1087s |      25 |  6369756 |  6306598 |      508  26066 |        0 |        0
1089.43/1089.83	c 1089s |      25 |  6380445 |  6317198 |      508  26102 |        0 |        0
1091.43/1091.83	c 1091s |      25 |  6391328 |  6327998 |      508  26138 |        0 |        0
1093.43/1093.83	c 1093s |      25 |  6402010 |  6338598 |      508  26174 |        0 |        0
1095.42/1095.85	c 1095s |      25 |  6413027 |  6349498 |      508  26211 |        0 |        0
1097.43/1097.85	c 1097s |      25 |  6423863 |  6360198 |      508  26247 |        0 |        0
1099.42/1099.86	c 1099s |      25 |  6434759 |  6370998 |      508  26283 |        0 |        0
1101.42/1101.86	c 1101s |      25 |  6445541 |  6381698 |      508  26319 |        0 |        0
1103.42/1103.88	c 1103s |      25 |  6456314 |  6392398 |      508  26355 |        0 |        0
1105.42/1105.88	c 1105s |      25 |  6467110 |  6403098 |      508  26391 |        0 |        0
1107.44/1107.88	c 1107s |      25 |  6477693 |  6413598 |      508  26426 |        0 |        0
1109.43/1109.90	c 1109s |      25 |  6488177 |  6423998 |      508  26461 |        0 |        0
1111.53/1111.90	c 1111s |      25 |  6498861 |  6434598 |      508  26497 |        0 |        0
1113.53/1113.90	c 1113s |      25 |  6509948 |  6445598 |      508  26534 |        0 |        0
1115.53/1115.90	c 1115s |      25 |  6520948 |  6456498 |      508  26570 |        0 |        0
1117.53/1117.91	c 1117s |      25 |  6531851 |  6467298 |      508  26607 |        0 |        0
1119.54/1119.91	c 1119s |      25 |  6542839 |  6478198 |      508  26643 |        0 |        0
1121.53/1121.92	c 1121s |      25 |  6553728 |  6488998 |      508  26680 |        0 |        0
1123.53/1123.92	c 1123s |      25 |  6564858 |  6499998 |      508  26717 |        0 |        0
1125.53/1125.94	c 1125s |      25 |  6575864 |  6510898 |      508  26753 |        0 |        0
1127.53/1127.94	c 1127s |      25 |  6586984 |  6521898 |      508  26790 |        0 |        0
1129.53/1129.95	c 1129s |      25 |  6598051 |  6532798 |      508  26827 |        0 |        0
1131.53/1131.96	c 1131s |      25 |  6608753 |  6543398 |      508  26862 |        0 |        0
1133.53/1133.97	c 1133s |      25 |  6619363 |  6553898 |      508  26898 |        0 |        0
1135.52/1135.98	c 1135s |      25 |  6629988 |  6564398 |      508  26933 |        0 |        0
1137.52/1137.99	c 1137s |      25 |  6640525 |  6574798 |      508  26968 |        0 |        0
1139.52/1139.99	c 1139s |      25 |  6651361 |  6585498 |      508  27004 |        0 |        0
1141.62/1142.01	c 1141s |      25 |  6662161 |  6596198 |      508  27041 |        0 |        0
1143.63/1144.02	c 1144s |      25 |  6672649 |  6606598 |      508  27076 |        0 |        0
1145.62/1146.04	c 1146s |      25 |  6683439 |  6617298 |      508  27112 |        0 |        0
1147.62/1148.05	c 1148s |      25 |  6694241 |  6627998 |      508  27148 |        0 |        0
1149.62/1150.05	c 1150s |      25 |  6705063 |  6638698 |      508  27184 |        0 |        0
1151.62/1152.07	c 1152s |      25 |  6715772 |  6649298 |      508  27220 |        0 |        0
1153.63/1154.07	c 1154s |      25 |  6726163 |  6659598 |      508  27255 |        0 |        0
1155.62/1156.09	c 1156s |      25 |  6737774 |  6671098 |      508  27293 |        0 |        0
1157.62/1158.09	c 1158s |      25 |  6748851 |  6682098 |      508  27330 |        0 |        0
1159.72/1160.11	c 1160s |      25 |  6760054 |  6693198 |      508  27367 |        0 |        0
1161.72/1162.12	c 1162s |      25 |  6771442 |  6704498 |      508  27405 |        0 |        0
1163.72/1164.13	c 1164s |      25 |  6782751 |  6715698 |      508  27442 |        0 |        0
1165.73/1166.13	c 1166s |      25 |  6793854 |  6726698 |      508  27479 |        0 |        0
1167.72/1168.14	c 1168s |      25 |  6804960 |  6737698 |      508  27516 |        0 |        0
1169.72/1170.15	c 1170s |      25 |  6816263 |  6748898 |      508  27554 |        0 |        0
1171.72/1172.15	c 1172s |      25 |  6827583 |  6760098 |      508  27591 |        0 |        0
1173.72/1174.16	c 1174s |      25 |  6838664 |  6771098 |      508  27628 |        0 |        0
1175.72/1176.17	c 1176s |      25 |  6849894 |  6782198 |      508  27665 |        0 |        0
1177.72/1178.18	c 1178s |      25 |  6861130 |  6793298 |      508  27703 |        0 |        0
1179.72/1180.20	c 1180s |      25 |  6872338 |  6804398 |      508  27740 |        0 |        0
1181.82/1182.21	c 1182s |      25 |  6883780 |  6815698 |      508  27778 |        0 |        0
1183.82/1184.21	c 1184s |      25 |  6894928 |  6826698 |      508  27815 |        0 |        0
1185.82/1186.22	c 1186s |      25 |  6906154 |  6837798 |      508  27852 |        0 |        0
1187.81/1188.23	c 1188s |      25 |  6917476 |  6848998 |      508  27890 |        0 |        0
1189.82/1190.25	c 1190s |      25 |  6928791 |  6860198 |      508  27927 |        0 |        0
1191.81/1192.26	c 1192s |      25 |  6939892 |  6871198 |      508  27964 |        0 |        0
1193.81/1194.26	c 1194s |      25 |  6950783 |  6881998 |      508  28001 |        0 |        0
1195.81/1196.27	c 1196s |      25 |  6961384 |  6892498 |      508  28036 |        0 |        0
1197.81/1198.27	c 1198s |      25 |  6972070 |  6903098 |      508  28071 |        0 |        0
1199.82/1200.29	c 1200s |      25 |  6982858 |  6913798 |      508  28107 |        0 |        0
1201.81/1202.30	c 1202s |      25 |  6993652 |  6924498 |      508  28143 |        0 |        0
1203.91/1204.31	c 1204s |      25 |  7004571 |  6935298 |      508  28180 |        0 |        0
1205.91/1206.32	c 1206s |      25 |  7015317 |  6945898 |      508  28215 |        0 |        0
1207.91/1208.33	c 1208s |      25 |  7026345 |  6956798 |      508  28252 |        0 |        0
1209.91/1210.35	c 1210s |      25 |  7037456 |  6967798 |      508  28289 |        0 |        0
1211.92/1212.36	c 1212s |      25 |  7048881 |  6979098 |      508  28327 |        0 |        0
1213.91/1214.37	c 1214s |      25 |  7059899 |  6989998 |      508  28364 |        0 |        0
1215.91/1216.38	c 1216s |      25 |  7070878 |  7000898 |      508  28400 |        0 |        0
1218.01/1218.40	c 1218s |      25 |  7081775 |  7011698 |      508  28437 |        0 |        0
1220.01/1220.42	c 1220s |      25 |  7092452 |  7022298 |      508  28472 |        0 |        0
1222.01/1222.44	c 1222s |      25 |  7103168 |  7032898 |      508  28508 |        0 |        0
1224.01/1224.45	c 1224s |      25 |  7113877 |  7043498 |      508  28543 |        0 |        0
1226.01/1226.47	c 1226s |      25 |  7124687 |  7054198 |      508  28580 |        0 |        0
1228.01/1228.47	c 1228s |      25 |  7135273 |  7064698 |      508  28615 |        0 |        0
1230.00/1230.49	c 1230s |      25 |  7145881 |  7075198 |      508  28650 |        0 |        0
1232.00/1232.49	c 1232s |      25 |  7156213 |  7085398 |      508  28685 |        0 |        0
1234.11/1234.50	c 1234s |      25 |  7166952 |  7095998 |      508  28720 |        0 |        0
1236.12/1236.52	c 1236s |      25 |  7177553 |  7106498 |      508  28756 |        0 |        0
1238.11/1238.53	c 1238s |      25 |  7187940 |  7116798 |      508  28791 |        0 |        0
1240.11/1240.54	c 1240s |      25 |  7198408 |  7127198 |      508  28826 |        0 |        0
1242.11/1242.54	c 1242s |      25 |  7208775 |  7137498 |      508  28860 |        0 |        0
1244.11/1244.55	c 1244s |      25 |  7219270 |  7147898 |      508  28895 |        0 |        0
1246.11/1246.56	c 1246s |      25 |  7229639 |  7158198 |      508  28930 |        0 |        0
1248.11/1248.56	c 1248s |      25 |  7240012 |  7168498 |      508  28965 |        0 |        0
1250.11/1250.57	c 1250s |      25 |  7250513 |  7178898 |      508  29000 |        0 |        0
1252.11/1252.58	c 1252s |      25 |  7261421 |  7189698 |      508  29037 |        0 |        0
1254.11/1254.59	c 1254s |      25 |  7272732 |  7200898 |      508  29074 |        0 |        0
1256.21/1256.60	c 1256s |      25 |  7283823 |  7211898 |      508  29111 |        0 |        0
1258.21/1258.61	c 1258s |      25 |  7294934 |  7222898 |      508  29148 |        0 |        0
1260.21/1260.62	c 1260s |      25 |  7305831 |  7233698 |      508  29184 |        0 |        0
1262.20/1262.64	c 1262s |      25 |  7316736 |  7244498 |      508  29221 |        0 |        0
1264.20/1264.65	c 1264s |      25 |  7327394 |  7255098 |      508  29256 |        0 |        0
1266.20/1266.67	c 1266s |      25 |  7338093 |  7265698 |      508  29292 |        0 |        0
1268.20/1268.67	c 1268s |      25 |  7348664 |  7276198 |      508  29327 |        0 |        0
1270.21/1270.67	c 1270s |      25 |  7359149 |  7286598 |      508  29362 |        0 |        0
1272.20/1272.68	c 1272s |      25 |  7369961 |  7297298 |      508  29398 |        0 |        0
1274.20/1274.69	c 1274s |      25 |  7380860 |  7308098 |      508  29435 |        0 |        0
1276.20/1276.69	c 1276s |      25 |  7391651 |  7318798 |      508  29471 |        0 |        0
1278.30/1278.70	c 1278s |      25 |  7402305 |  7329398 |      508  29506 |        0 |        0
1280.30/1280.71	c 1280s |      25 |  7413158 |  7340098 |      508  29543 |        0 |        0
1282.31/1282.72	c 1282s |      25 |  7423630 |  7350498 |      508  29578 |        0 |        0
1284.30/1284.73	c 1284s |      25 |  7434130 |  7360898 |      508  29613 |        0 |        0
1286.30/1286.74	c 1286s |      25 |  7444657 |  7371298 |      508  29648 |        0 |        0
1288.30/1288.75	c 1288s |      25 |  7455252 |  7381798 |      508  29683 |        0 |        0
1290.30/1290.76	c 1290s |      25 |  7465756 |  7392198 |      508  29718 |        0 |        0
1292.30/1292.78	c 1292s |      25 |  7476354 |  7402698 |      508  29754 |        0 |        0
1294.30/1294.80	c 1294s |      25 |  7486760 |  7412998 |      508  29789 |        0 |        0
1296.40/1296.80	c 1296s |      25 |  7497224 |  7423398 |      508  29824 |        0 |        0
1298.40/1298.81	c 1298s |      25 |  7508013 |  7434098 |      508  29860 |        0 |        0
1300.40/1300.83	c 1300s |      25 |  7519095 |  7445098 |      508  29897 |        0 |        0
1302.40/1302.84	c 1302s |      25 |  7529877 |  7455798 |      508  29933 |        0 |        0
1304.39/1304.84	c 1304s |      25 |  7540664 |  7466498 |      508  29969 |        0 |        0
1306.40/1306.85	c 1306s |      25 |  7551552 |  7477298 |      508  30005 |        0 |        0
1308.39/1308.86	c 1308s |      25 |  7562389 |  7487998 |      508  30041 |        0 |        0
1310.39/1310.87	c 1310s |      25 |  7573107 |  7498598 |      508  30077 |        0 |        0
1312.39/1312.87	c 1312s |      25 |  7583595 |  7508998 |      508  30112 |        0 |        0
1314.39/1314.87	c 1314s |      25 |  7594187 |  7519498 |      508  30148 |        0 |        0
1316.40/1316.87	c 1316s |      25 |  7604683 |  7529898 |      508  30183 |        0 |        0
1318.40/1318.89	c 1318s |      25 |  7614895 |  7539998 |      508  30217 |        0 |        0
1320.50/1320.91	c 1320s |      25 |  7625211 |  7550198 |      559  30249 |        0 |        0
1322.50/1322.92	c 1322s |      25 |  7635506 |  7560398 |      559  30281 |        0 |        0
1324.50/1324.93	c 1324s |      25 |  7645783 |  7570598 |      559  30313 |        0 |        0
1326.50/1326.94	c 1326s |      25 |  7656181 |  7580898 |      559  30345 |        0 |        0
1328.50/1328.95	c 1328s |      25 |  7666885 |  7591498 |      559  30378 |        0 |        0
1329.70/1330.13	c 1330s |      26 |  7673181 |  7597752 |      559  30397 |        0 |        0
1331.70/1332.14	c 1332s |      26 |  7684328 |  7608752 |      559  30431 |        0 |        0
1333.70/1334.15	c 1334s |      26 |  7695302 |  7619652 |      559  30464 |        0 |        0
1335.70/1336.16	c 1336s |      26 |  7705986 |  7630252 |      559  30497 |        0 |        0
1337.70/1338.18	c 1338s |      26 |  7716972 |  7641152 |      559  30531 |        0 |        0
1339.70/1340.18	c 1340s |      26 |  7727657 |  7651752 |      559  30563 |        0 |        0
1341.70/1342.19	c 1342s |      26 |  7738434 |  7662452 |      559  30596 |        0 |        0
1343.69/1344.20	c 1344s |      26 |  7749408 |  7673352 |      559  30630 |        0 |        0
1345.79/1346.22	c 1346s |      26 |  7760786 |  7684652 |      559  30665 |        0 |        0
1347.79/1348.23	c 1348s |      26 |  7771884 |  7695652 |      559  30699 |        0 |        0
1349.79/1350.24	c 1350s |      26 |  7782356 |  7706052 |      559  30731 |        0 |        0
1351.79/1352.24	c 1352s |      26 |  7792721 |  7716352 |      559  30763 |        0 |        0
1353.80/1354.24	c 1354s |      26 |  7804264 |  7727752 |      559  30798 |        0 |        0
1355.79/1356.25	c 1356s |      26 |  7815800 |  7739152 |      559  30833 |        0 |        0
1357.79/1358.25	c 1358s |      26 |  7827451 |  7750652 |      559  30868 |        0 |        0
1359.79/1360.25	c 1360s |      26 |  7838686 |  7761752 |      559  30902 |        0 |        0
1361.79/1362.25	c 1362s |      26 |  7849803 |  7772752 |      559  30936 |        0 |        0
1363.79/1364.26	c 1364s |      26 |  7861221 |  7784052 |      559  30971 |        0 |        0
1365.79/1366.27	c 1366s |      26 |  7872544 |  7795252 |      559  31006 |        0 |        0
1367.79/1368.27	c 1368s |      26 |  7883865 |  7806452 |      559  31040 |        0 |        0
1369.78/1370.29	c 1370s |      26 |  7895545 |  7817952 |      559  31076 |        0 |        0
1371.88/1372.30	c 1372s |      26 |  7906430 |  7828752 |      559  31109 |        0 |        0
1373.88/1374.30	c 1374s |      26 |  7917353 |  7839552 |      559  31142 |        0 |        0
1375.88/1376.30	c 1376s |      26 |  7928284 |  7850352 |      559  31175 |        0 |        0
1377.89/1378.32	c 1378s |      26 |  7939393 |  7861352 |      559  31209 |        0 |        0
1379.88/1380.33	c 1380s |      26 |  7950626 |  7872452 |      559  31244 |        0 |        0
1381.88/1382.35	c 1382s |      26 |  7961410 |  7883152 |      559  31277 |        0 |        0
1383.88/1384.36	c 1384s |      26 |  7972192 |  7893852 |      559  31310 |        0 |        0
1385.88/1386.36	c 1386s |      26 |  7983219 |  7904752 |      559  31344 |        0 |        0
1387.90/1388.37	c 1388s |      26 |  7994011 |  7915452 |      559  31377 |        0 |        0
1389.89/1390.39	c 1390s |      26 |  8004913 |  7926252 |      559  31410 |        0 |        0
1391.99/1392.40	c 1392s |      26 |  8015720 |  7936952 |      559  31443 |        0 |        0
1393.99/1394.40	c 1394s |      26 |  8026385 |  7947552 |      559  31476 |        0 |        0
1395.98/1396.41	c 1396s |      26 |  8037201 |  7958252 |      559  31509 |        0 |        0
1397.98/1398.43	c 1398s |      26 |  8047681 |  7968652 |      559  31541 |        0 |        0
1399.99/1400.43	c 1400s |      26 |  8058379 |  7979252 |      559  31574 |        0 |        0
1401.98/1402.44	c 1402s |      26 |  8068984 |  7989752 |      559  31607 |        0 |        0
1403.98/1404.46	c 1404s |      26 |  8079771 |  8000452 |      559  31640 |        0 |        0
1405.98/1406.46	c 1406s |      26 |  8090438 |  8011052 |      559  31673 |        0 |        0
1407.98/1408.47	c 1408s |      26 |  8101310 |  8021852 |      559  31706 |        0 |        0
1409.98/1410.48	c 1410s |      26 |  8112202 |  8032652 |      559  31739 |        0 |        0
1411.99/1412.48	c 1412s |      26 |  8122848 |  8043252 |      559  31772 |        0 |        0
1413.98/1414.49	c 1414s |      26 |  8134085 |  8054352 |      559  31807 |        0 |        0
1416.08/1416.51	c 1416s |      26 |  8145195 |  8065352 |      559  31841 |        0 |        0
1418.08/1418.52	c 1418s |      26 |  8155800 |  8075852 |      559  31873 |        0 |        0
1420.08/1420.54	c 1420s |      26 |  8166178 |  8086152 |      559  31905 |        0 |        0
1422.08/1422.54	c 1422s |      26 |  8176898 |  8096752 |      559  31938 |        0 |        0
1424.08/1424.55	c 1424s |      26 |  8189017 |  8108652 |      559  31975 |        0 |        0
1426.08/1426.56	c 1426s |      26 |  8201113 |  8120552 |      559  32012 |        0 |        0
1428.08/1428.58	c 1428s |      26 |  8212899 |  8132152 |      559  32047 |        0 |        0
1430.08/1430.58	c 1430s |      26 |  8224555 |  8143652 |      559  32083 |        0 |        0
1432.17/1432.60	c 1432s |      26 |  8235931 |  8154852 |      559  32117 |        0 |        0
1434.17/1434.62	c 1434s |      26 |  8247367 |  8166152 |      559  32152 |        0 |        0
1436.18/1436.63	c 1436s |      26 |  8258688 |  8177352 |      559  32186 |        0 |        0
1438.17/1438.64	c 1438s |      26 |  8269927 |  8188452 |      559  32221 |        0 |        0
1440.17/1440.64	c 1440s |      26 |  8281237 |  8199652 |      559  32255 |        0 |        0
1442.17/1442.65	c 1442s |      26 |  8292463 |  8210752 |      559  32289 |        0 |        0
1444.17/1444.66	c 1444s |      26 |  8303606 |  8221752 |      559  32323 |        0 |        0
1446.18/1446.67	c 1446s |      26 |  8314627 |  8232652 |      559  32357 |        0 |        0
1448.17/1448.69	c 1448s |      26 |  8325750 |  8243652 |      559  32391 |        0 |        0
1450.27/1450.70	c 1450s |      26 |  8336750 |  8254552 |      559  32425 |        0 |        0
1452.27/1452.71	c 1452s |      26 |  8348315 |  8265952 |      559  32460 |        0 |        0
1454.28/1454.72	c 1454s |      26 |  8359329 |  8276852 |      559  32494 |        0 |        0
1456.28/1456.73	c 1456s |      26 |  8370450 |  8287852 |      559  32527 |        0 |        0
1458.28/1458.74	c 1458s |      26 |  8381452 |  8298752 |      559  32561 |        0 |        0
1460.28/1460.75	c 1460s |      26 |  8392613 |  8309752 |      559  32595 |        0 |        0
1462.28/1462.76	c 1462s |      26 |  8403647 |  8320652 |      559  32629 |        0 |        0
1464.28/1464.78	c 1464s |      26 |  8414587 |  8331452 |      559  32662 |        0 |        0
1466.28/1466.80	c 1466s |      26 |  8425398 |  8342152 |      559  32695 |        0 |        0
1468.37/1468.81	c 1468s |      26 |  8436015 |  8352652 |      559  32728 |        0 |        0
1470.38/1470.81	c 1470s |      26 |  8446797 |  8363352 |      559  32761 |        0 |        0
1472.37/1472.82	c 1472s |      26 |  8457583 |  8374052 |      559  32794 |        0 |        0
1474.37/1474.82	c 1474s |      26 |  8468498 |  8384852 |      559  32827 |        0 |        0
1476.37/1476.84	c 1476s |      26 |  8479361 |  8395652 |      559  32861 |        0 |        0
1478.37/1478.84	c 1478s |      26 |  8490011 |  8406252 |      559  32893 |        0 |        0
1480.37/1480.85	c 1480s |      26 |  8500589 |  8416752 |      559  32926 |        0 |        0
1482.38/1482.86	c 1482s |      26 |  8511939 |  8427952 |      559  32960 |        0 |        0
1484.37/1484.88	c 1484s |      26 |  8523042 |  8438952 |      559  32994 |        0 |        0
1486.47/1486.90	c 1486s |      26 |  8534260 |  8450052 |      559  33029 |        0 |        0
1488.47/1488.91	c 1488s |      26 |  8545377 |  8461052 |      559  33063 |        0 |        0
1490.47/1490.92	c 1490s |      26 |  8556056 |  8471652 |      559  33095 |        0 |        0
1492.47/1492.92	c 1492s |      26 |  8566647 |  8482152 |      559  33128 |        0 |        0
1494.47/1494.92	c 1494s |      26 |  8577633 |  8493052 |      559  33162 |        0 |        0
1496.47/1496.94	c 1496s |      26 |  8588439 |  8503752 |      559  33195 |        0 |        0
1498.47/1498.94	c 1498s |      26 |  8599062 |  8514252 |      559  33227 |        0 |        0
1500.46/1500.95	c 1500s |      26 |  8609559 |  8524652 |      559  33260 |        0 |        0
1502.46/1502.97	c 1502s |      26 |  8620262 |  8535252 |      559  33292 |        0 |        0
1504.47/1504.98	c 1504s |      26 |  8630752 |  8545652 |      559  33324 |        0 |        0
1506.46/1506.98	c 1506s |      26 |  8641026 |  8555852 |      559  33356 |        0 |        0
1508.46/1508.99	c 1508s |      26 |  8651508 |  8566252 |      559  33388 |        0 |        0
1510.56/1511.00	c 1510s |      26 |  8662207 |  8576852 |      559  33421 |        0 |        0
1512.56/1513.01	c 1512s |      26 |  8672887 |  8587452 |      559  33454 |        0 |        0
1514.56/1515.03	c 1515s |      26 |  8683464 |  8597952 |      559  33487 |        0 |        0
1516.57/1517.03	c 1517s |      26 |  8694579 |  8608952 |      559  33520 |        0 |        0
1518.56/1519.04	c 1519s |      26 |  8705590 |  8619852 |      559  33554 |        0 |        0
1520.56/1521.05	c 1521s |      26 |  8716501 |  8630652 |      559  33588 |        0 |        0
1522.56/1523.06	c 1523s |      26 |  8727190 |  8641252 |      559  33620 |        0 |        0
1524.56/1525.07	c 1525s |      26 |  8738101 |  8652052 |      559  33654 |        0 |        0
1526.56/1527.08	c 1527s |      26 |  8749471 |  8663252 |      559  33688 |        0 |        0
1528.56/1529.09	c 1529s |      26 |  8760385 |  8674052 |      559  33722 |        0 |        0
1530.56/1531.09	c 1531s |      26 |  8771183 |  8684752 |      559  33755 |        0 |        0
1532.56/1533.09	c 1533s |      26 |  8781787 |  8695252 |      559  33788 |        0 |        0
1534.66/1535.10	c 1535s |      26 |  8792369 |  8705752 |      559  33820 |        0 |        0
1536.66/1537.11	c 1537s |      26 |  8802972 |  8716252 |      559  33853 |        0 |        0
1538.66/1539.12	c 1539s |      26 |  8813587 |  8726752 |      559  33886 |        0 |        0
1540.66/1541.13	c 1541s |      26 |  8824398 |  8737452 |      559  33919 |        0 |        0
1542.66/1543.14	c 1543s |      26 |  8835100 |  8748052 |      559  33952 |        0 |        0
1544.66/1545.15	c 1545s |      26 |  8845710 |  8758552 |      559  33984 |        0 |        0
1546.65/1547.15	c 1547s |      26 |  8855941 |  8768652 |      559  34016 |        0 |        0
1548.65/1549.16	c 1549s |      26 |  8866435 |  8779052 |      559  34048 |        0 |        0
1550.67/1551.17	c 1551s |      26 |  8877236 |  8789752 |      559  34081 |        0 |        0
1552.66/1553.17	c 1553s |      26 |  8888171 |  8800552 |      559  34114 |        0 |        0
1554.66/1555.19	c 1555s |      26 |  8898906 |  8811152 |      559  34147 |        0 |        0
1556.76/1557.21	c 1557s |      26 |  8909628 |  8821752 |      559  34180 |        0 |        0
1558.76/1559.21	c 1559s |      26 |  8920344 |  8832352 |      559  34213 |        0 |        0
1560.76/1561.22	c 1561s |      26 |  8931290 |  8843152 |      559  34246 |        0 |        0
1562.77/1563.23	c 1563s |      26 |  8941811 |  8853552 |      559  34279 |        0 |        0
1564.76/1565.23	c 1565s |      26 |  8952423 |  8864052 |      559  34311 |        0 |        0
1566.76/1567.23	c 1567s |      26 |  8962810 |  8874352 |      559  34343 |        0 |        0
1568.76/1569.24	c 1569s |      26 |  8973441 |  8884852 |      559  34376 |        0 |        0
1570.76/1571.25	c 1571s |      26 |  8984044 |  8895352 |      559  34408 |        0 |        0
1572.76/1573.27	c 1573s |      26 |  8994748 |  8905952 |      559  34441 |        0 |        0
1574.76/1575.28	c 1575s |      26 |  9005662 |  8916752 |      559  34475 |        0 |        0
1576.76/1577.29	c 1577s |      26 |  9016154 |  8927152 |      559  34507 |        0 |        0
1578.76/1579.29	c 1579s |      26 |  9026661 |  8937552 |      559  34539 |        0 |        0
1580.76/1581.29	c 1581s |      26 |  9037130 |  8947952 |      559  34572 |        0 |        0
1582.86/1583.31	c 1583s |      26 |  9047725 |  8958452 |      559  34604 |        0 |        0
1584.86/1585.32	c 1585s |      26 |  9058213 |  8968852 |      559  34636 |        0 |        0
1586.86/1587.34	c 1587s |      26 |  9068483 |  8979052 |      559  34668 |        0 |        0
1588.85/1589.34	c 1589s |      26 |  9078670 |  8989152 |      559  34700 |        0 |        0
1590.85/1591.35	c 1591s |      26 |  9089173 |  8999552 |      559  34732 |        0 |        0
1592.85/1593.36	c 1593s |      26 |  9099782 |  9010052 |      559  34764 |        0 |        0
1594.85/1595.36	c 1595s |      26 |  9110367 |  9020552 |      559  34797 |        0 |        0
1596.86/1597.37	c 1597s |      26 |  9120662 |  9030752 |      559  34829 |        0 |        0
1598.85/1599.39	c 1599s |      26 |  9131033 |  9041052 |      559  34861 |        0 |        0
1600.85/1601.39	c 1601s |      26 |  9141432 |  9051352 |      559  34893 |        0 |        0
1602.95/1603.40	c 1603s |      26 |  9152149 |  9061952 |      559  34926 |        0 |        0
1604.95/1605.41	c 1605s |      26 |  9162642 |  9072352 |      559  34958 |        0 |        0
1606.95/1607.43	c 1607s |      26 |  9173026 |  9082652 |      559  34990 |        0 |        0
1608.96/1609.44	c 1609s |      26 |  9183410 |  9092952 |      559  35022 |        0 |        0
1610.95/1611.45	c 1611s |      26 |  9193709 |  9103152 |      559  35054 |        0 |        0
1612.95/1613.46	c 1613s |      26 |  9204337 |  9113652 |      559  35086 |        0 |        0
1614.95/1615.48	c 1615s |      26 |  9215077 |  9124252 |      559  35119 |        0 |        0
1616.95/1617.49	c 1617s |      26 |  9225664 |  9134752 |      559  35152 |        0 |        0
1618.95/1619.49	c 1619s |      26 |  9236069 |  9145052 |      559  35184 |        0 |        0
1620.95/1621.50	c 1621s |      26 |  9246614 |  9155452 |      559  35216 |        0 |        0
1623.05/1623.51	c 1623s |      26 |  9256900 |  9165652 |      559  35248 |        0 |        0
1625.05/1625.52	c 1625s |      26 |  9267504 |  9176152 |      559  35281 |        0 |        0
1627.04/1627.53	c 1627s |      26 |  9278554 |  9187052 |      559  35315 |        0 |        0
1629.04/1629.53	c 1629s |      26 |  9289710 |  9198052 |      559  35349 |        0 |        0
1631.04/1631.54	c 1631s |      26 |  9300217 |  9208452 |      559  35381 |        0 |        0
1633.05/1633.55	c 1633s |      26 |  9310740 |  9218852 |      559  35414 |        0 |        0
1635.04/1635.56	c 1635s |      26 |  9321244 |  9229252 |      559  35446 |        0 |        0
1637.04/1637.57	c 1637s |      26 |  9331872 |  9239752 |      559  35479 |        0 |        0
1639.04/1639.57	c 1639s |      26 |  9342698 |  9250452 |      559  35512 |        0 |        0
1641.04/1641.58	c 1641s |      26 |  9353237 |  9260852 |      559  35545 |        0 |        0
1643.05/1643.59	c 1643s |      26 |  9363663 |  9271152 |      559  35577 |        0 |        0
1645.15/1645.61	c 1645s |      26 |  9374296 |  9281652 |      559  35610 |        0 |        0
1647.15/1647.63	c 1647s |      26 |  9384709 |  9291952 |      559  35642 |        0 |        0
1649.15/1649.63	c 1649s |      26 |  9396541 |  9303652 |      559  35678 |        0 |        0
1651.15/1651.64	c 1651s |      26 |  9408043 |  9315052 |      559  35713 |        0 |        0
1653.15/1653.65	c 1653s |      26 |  9419575 |  9326452 |      559  35748 |        0 |        0
1655.15/1655.65	c 1655s |      26 |  9431106 |  9337852 |      559  35783 |        0 |        0
1657.15/1657.66	c 1657s |      26 |  9442221 |  9348852 |      559  35817 |        0 |        0
1659.15/1659.68	c 1659s |      26 |  9453631 |  9360152 |      559  35851 |        0 |        0
1661.25/1661.70	c 1661s |      26 |  9464876 |  9371252 |      559  35886 |        0 |        0
1663.25/1663.71	c 1663s |      26 |  9476290 |  9382552 |      559  35920 |        0 |        0
1665.25/1665.73	c 1665s |      26 |  9487409 |  9393552 |      559  35954 |        0 |        0
1667.25/1667.73	c 1667s |      26 |  9498328 |  9404352 |      559  35987 |        0 |        0
1669.24/1669.74	c 1669s |      26 |  9509139 |  9415052 |      559  36020 |        0 |        0
1671.24/1671.76	c 1671s |      26 |  9520262 |  9426052 |      559  36054 |        0 |        0
1673.24/1673.77	c 1673s |      26 |  9531368 |  9437052 |      559  36088 |        0 |        0
1675.24/1675.78	c 1675s |      26 |  9542260 |  9447852 |      559  36122 |        0 |        0
1677.24/1677.78	c 1677s |      26 |  9553595 |  9459052 |      559  36156 |        0 |        0
1679.25/1679.79	c 1679s |      26 |  9564707 |  9470052 |      559  36190 |        0 |        0
1681.34/1681.81	c 1681s |      26 |  9575729 |  9480952 |      559  36224 |        0 |        0
1683.34/1683.81	c 1683s |      26 |  9586879 |  9491952 |      559  36258 |        0 |        0
1685.34/1685.83	c 1685s |      26 |  9598098 |  9503052 |      559  36292 |        0 |        0
1687.34/1687.85	c 1687s |      26 |  9609070 |  9513952 |      559  36325 |        0 |        0
1689.34/1689.85	c 1689s |      26 |  9620177 |  9524952 |      559  36359 |        0 |        0
1691.34/1691.85	c 1691s |      26 |  9631276 |  9535952 |      559  36393 |        0 |        0
1693.34/1693.87	c 1693s |      26 |  9642271 |  9546852 |      559  36427 |        0 |        0
1695.34/1695.87	c 1695s |      26 |  9653165 |  9557652 |      559  36460 |        0 |        0
1697.34/1697.88	c 1697s |      26 |  9664080 |  9568452 |      559  36494 |        0 |        0
1699.43/1699.90	c 1699s |      26 |  9674878 |  9579152 |      559  36527 |        0 |        0
1701.43/1701.91	c 1701s |      26 |  9685691 |  9589852 |      559  36560 |        0 |        0
1703.44/1703.92	c 1703s |      26 |  9696739 |  9600752 |      559  36594 |        0 |        0
1705.43/1705.92	c 1705s |      26 |  9707423 |  9611352 |      559  36626 |        0 |        0
1707.43/1707.93	c 1707s |      26 |  9718535 |  9622352 |      559  36660 |        0 |        0
1709.43/1709.93	c 1709s |      26 |  9729338 |  9633052 |      559  36693 |        0 |        0
1711.43/1711.94	c 1711s |      26 |  9739999 |  9643652 |      559  36726 |        0 |        0
1713.44/1713.94	c 1713s |      26 |  9750777 |  9654352 |      559  36759 |        0 |        0
1715.43/1715.95	c 1715s |      26 |  9761785 |  9665252 |      559  36793 |        0 |        0
1717.43/1717.96	c 1717s |      26 |  9772660 |  9676052 |      559  36826 |        0 |        0
1719.43/1719.97	c 1719s |      26 |  9783537 |  9686852 |      559  36860 |        0 |        0
1721.43/1721.97	c 1721s |      26 |  9794253 |  9697452 |      559  36892 |        0 |        0
1723.43/1723.99	c 1723s |      26 |  9805072 |  9708152 |      559  36926 |        0 |        0
1725.54/1726.01	c 1725s |      26 |  9816295 |  9719252 |      559  36960 |        0 |        0
1727.53/1728.02	c 1728s |      26 |  9827192 |  9730052 |      559  36993 |        0 |        0
1729.53/1730.03	c 1730s |      26 |  9837981 |  9740752 |      559  37026 |        0 |        0
1731.53/1732.03	c 1732s |      26 |  9848672 |  9751352 |      559  37059 |        0 |        0
1733.53/1734.04	c 1734s |      26 |  9859250 |  9761852 |      559  37091 |        0 |        0
1735.53/1736.05	c 1736s |      26 |  9869946 |  9772452 |      559  37124 |        0 |        0
1737.53/1738.07	c 1738s |      26 |  9880539 |  9782952 |      559  37157 |        0 |        0
1739.53/1740.07	c 1740s |      26 |  9891155 |  9793452 |      559  37189 |        0 |        0
1741.53/1742.08	c 1742s |      26 |  9902206 |  9804352 |      559  37223 |        0 |        0
1743.53/1744.09	c 1744s |      26 |  9912918 |  9814952 |      559  37256 |        0 |        0
1745.62/1746.10	c 1746s |      26 |  9923702 |  9825652 |      559  37289 |        0 |        0
1747.62/1748.11	c 1748s |      26 |  9934287 |  9836152 |      559  37322 |        0 |        0
1749.63/1750.12	c 1750s |      26 |  9944979 |  9846752 |      559  37355 |        0 |        0
1751.62/1752.13	c 1752s |      26 |  9955478 |  9857152 |      559  37387 |        0 |        0
1753.63/1754.13	c 1754s |      26 |  9966625 |  9868152 |      559  37421 |        0 |        0
1755.63/1756.14	c 1756s |      26 |  9978029 |  9879452 |      559  37456 |        0 |        0
1757.63/1758.16	c 1758s |      26 |  9988824 |  9890152 |      559  37489 |        0 |        0
1759.64/1760.17	c 1760s |      26 |  9999716 |  9900952 |      559  37522 |        0 |        0
1761.63/1762.17	c 1762s |      26 | 10010623 |  9911752 |      559  37555 |        0 |        0
1763.63/1764.18	c 1764s |      26 | 10021432 |  9922452 |      559  37588 |        0 |        0
1765.63/1766.19	c 1766s |      26 | 10032358 |  9933252 |      559  37622 |        0 |        0
1767.73/1768.20	c 1768s |      26 | 10043245 |  9944052 |      559  37655 |        0 |        0
1769.73/1770.20	c 1770s |      26 | 10054488 |  9955152 |      559  37690 |        0 |        0
1771.73/1772.22	c 1772s |      26 | 10065494 |  9966052 |      559  37723 |        0 |        0
1773.73/1774.22	c 1774s |      26 | 10076526 |  9976952 |      559  37757 |        0 |        0
1775.73/1776.22	c 1776s |      26 | 10087246 |  9987552 |      559  37790 |        0 |        0
1777.73/1778.24	c 1778s |      26 | 10098060 |  9998252 |      559  37823 |        0 |        0
1779.73/1780.25	c 1780s |      26 | 10108773 | 10008852 |      559  37856 |        0 |        0
1781.73/1782.26	c 1782s |      26 | 10119468 | 10019452 |      559  37889 |        0 |        0
1783.73/1784.26	c 1784s |      26 | 10130183 | 10030052 |      559  37922 |        0 |        0
1785.72/1786.28	c 1786s |      26 | 10140791 | 10040552 |      559  37954 |        0 |        0
1787.72/1788.29	c 1788s |      26 | 10151301 | 10050952 |      559  37987 |        0 |        0
1789.82/1790.30	c 1790s |      26 | 10161711 | 10061252 |      559  38019 |        0 |        0
1791.82/1792.31	c 1792s |      26 | 10172928 | 10072352 |      559  38053 |        0 |        0
1793.82/1794.31	c 1794s |      26 | 10184176 | 10083452 |      559  38087 |        0 |        0
1795.83/1796.31	c 1796s |      26 | 10195079 | 10094252 |      559  38121 |        0 |        0
1797.82/1798.32	c 1798s |      26 | 10206439 | 10105452 |      559  38155 |        0 |        0
1799.82/1800.33	c 1800s |      26 | 10217821 | 10116652 |      559  38190 |        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-4079748-1465244297/watcher-4079748-1465244297 -o /tmp/evaluation-result-4079748-1465244297/solver-4079748-1465244297 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079748-1465244297.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.26 2.21 3/179 1245
/proc/meminfo: memFree=29203580/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=436668 CPUtime=0 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 1575 0 0 0 0 0 0 0 20 0 4 0 106362860 447148032 2450 33554432000 4194304 16246674 140733765067568 140733765066992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 109935 2458 441 2943 0 106829 0
[pid=1245/tid=1246] ppid=1242 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 728166400 3522 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 733409280 3540 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106362861 737603584 3556 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100134 s]
/proc/loadavg: 2.31 2.26 2.21 3/179 1245
/proc/meminfo: memFree=29203580/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 22187 0 0 0 6 3 0 0 20 0 4 0 106362860 1247350784 23047 33554432000 4194304 16246674 140733765067568 140733765049472 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 304529 23051 771 2943 0 301423 0
[pid=1245/tid=1246] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 23053 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 23057 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 23061 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.31 2.26 2.21 3/179 1245
/proc/meminfo: memFree=29203580/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1218116 CPUtime=0.2 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 42672 0 0 0 14 6 0 0 20 0 4 0 106362860 1247350784 43531 33554432000 4194304 16246674 140733765067568 140733765049472 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 304529 43543 771 2943 0 301423 0
[pid=1245/tid=1246] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 43546 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 43550 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 43554 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 1218116

[startup+0.300465 s]
/proc/loadavg: 2.31 2.26 2.21 3/179 1245
/proc/meminfo: memFree=29203580/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 63231 0 0 0 21 8 0 0 20 0 4 0 106362860 1247350784 64090 33554432000 4194304 16246674 140733765067568 140733765049472 12474890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 304529 64099 771 2943 0 301423 0
[pid=1245/tid=1246] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 64103 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 64106 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 64114 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700393 s]
/proc/loadavg: 2.31 2.26 2.21 3/179 1245
/proc/meminfo: memFree=29203580/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 147309 0 0 0 48 21 0 0 20 0 4 0 106362860 1247350784 148168 33554432000 4194304 16246674 140733765067568 140733765049472 5601494 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 304529 148173 771 2943 0 301423 0
[pid=1245/tid=1246] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 148182 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 148196 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106362861 1247350784 148203 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.31 2.26 2.21 3/183 1249
/proc/meminfo: memFree=28267980/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 245640 0 0 0 115 34 0 0 20 0 4 0 106362860 1248399360 246477 33554432000 4194304 16246674 140733765067568 140733765066880 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 304785 246477 834 2943 0 301679 0
[pid=1245/tid=1246] ppid=1242 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1248399360 246477 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1248399360 246477 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1248399360 246477 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.31 2.26 2.21 3/183 1249
/proc/meminfo: memFree=28131456/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 267468 0 0 0 272 37 0 0 20 0 4 0 106362860 1337528320 268305 33554432000 4194304 16246674 140733765067568 140733765050568 6021123 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326545 268305 834 2943 0 323439 0
[pid=1245/tid=1246] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268305 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268305 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268305 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.36 2.27 2.21 3/183 1249
/proc/meminfo: memFree=28130496/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 267478 0 0 0 592 37 0 0 20 0 4 0 106362860 1337528320 268315 33554432000 4194304 16246674 140733765067568 140733765050568 5599952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326545 268315 836 2943 0 323439 0
[pid=1245/tid=1246] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268315 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268315 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268315 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.41 2.28 2.22 3/183 1249
/proc/meminfo: memFree=28131008/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 267491 0 0 0 1232 37 0 0 20 0 4 0 106362860 1337528320 268328 33554432000 4194304 16246674 140733765067568 140733765050568 13784955 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326545 268328 836 2943 0 323439 0
[pid=1245/tid=1246] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268328 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268328 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268328 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.39 2.29 2.22 3/183 1249
/proc/meminfo: memFree=28130916/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 267521 0 0 0 2512 37 0 0 20 0 4 0 106362860 1337528320 268358 33554432000 4194304 16246674 140733765067568 140733765050568 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326545 268358 837 2943 0 323439 0
[pid=1245/tid=1246] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268358 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268358 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268358 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.26 2.26 2.21 3/183 1249
/proc/meminfo: memFree=28130872/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 267539 0 0 0 5071 38 0 0 20 0 4 0 106362860 1337528320 268376 33554432000 4194304 16246674 140733765067568 140733765050568 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326545 268376 837 2943 0 323439 0
[pid=1245/tid=1246] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268376 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268376 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268376 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.48 2.33 2.23 4/182 1250
/proc/meminfo: memFree=28130800/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 267569 0 0 0 10190 38 0 0 20 0 4 0 106362860 1337528320 268406 33554432000 4194304 16246674 140733765067568 140733765049472 5546248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326545 268406 837 2943 0 323439 0
[pid=1245/tid=1246] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268406 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268406 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1337528320 268406 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/184 1340
/proc/meminfo: memFree=28153576/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1307204 CPUtime=1361.89 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 268106 0 0 0 136134 55 0 0 20 0 4 0 106362860 1338576896 268580 33554432000 4194304 16246674 140733765067568 140733765050568 5600869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326801 268580 839 2943 0 323695 0
[pid=1245/tid=1246] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.44 2.32 2.28 3/183 1341
/proc/meminfo: memFree=28153084/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1307204 CPUtime=1421.88 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 268106 0 0 0 142132 56 0 0 20 0 4 0 106362860 1338576896 268580 33554432000 4194304 16246674 140733765067568 140733765049472 5808149 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326801 268580 839 2943 0 323695 0
[pid=1245/tid=1246] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.35 2.31 2.28 3/183 1342
/proc/meminfo: memFree=28153092/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1307204 CPUtime=1481.87 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 268106 0 0 0 148130 57 0 0 20 0 4 0 106362860 1338576896 268580 33554432000 4194304 16246674 140733765067568 140733765050568 6021684 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326801 268580 839 2943 0 323695 0
[pid=1245/tid=1246] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.31 2.31 2.27 3/183 1343
/proc/meminfo: memFree=28152980/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1307204 CPUtime=1541.86 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 268106 0 0 0 154129 57 0 0 20 0 4 0 106362860 1338576896 268580 33554432000 4194304 16246674 140733765067568 140733765049472 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326801 268580 839 2943 0 323695 0
[pid=1245/tid=1246] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.45 2.34 2.28 3/183 1344
/proc/meminfo: memFree=28153104/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1307204 CPUtime=1601.85 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 268106 0 0 0 160127 58 0 0 20 0 4 0 106362860 1338576896 268580 33554432000 4194304 16246674 140733765067568 140733765049472 5601249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326801 268580 839 2943 0 323695 0
[pid=1245/tid=1246] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.33 2.32 2.28 3/183 1346
/proc/meminfo: memFree=28153108/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1307204 CPUtime=1661.85 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 268106 0 0 0 166126 59 0 0 20 0 4 0 106362860 1338576896 268580 33554432000 4194304 16246674 140733765067568 140733765049472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326801 268580 839 2943 0 323695 0
[pid=1245/tid=1246] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.16 2.28 2.26 3/183 1347
/proc/meminfo: memFree=28152856/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1307204 CPUtime=1721.83 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 268106 0 0 0 172124 59 0 0 20 0 4 0 106362860 1338576896 268580 33554432000 4194304 16246674 140733765067568 140733765050568 13927434 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326801 268580 839 2943 0 323695 0
[pid=1245/tid=1246] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.20 2.27 2.26 3/183 1348
/proc/meminfo: memFree=28152384/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1307204 CPUtime=1781.83 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 268106 0 0 0 178123 60 0 0 20 0 4 0 106362860 1338576896 268580 33554432000 4194304 16246674 140733765067568 140733765050568 5840185 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326801 268580 839 2943 0 323695 0
[pid=1245/tid=1246] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.26 2.26 3/183 1348
/proc/meminfo: memFree=28152396/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1307204 CPUtime=1800.02 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 268106 0 0 0 179942 60 0 0 20 0 4 0 106362860 1338576896 268580 33554432000 4194304 16246674 140733765067568 140733765049472 5546072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326801 268580 839 2943 0 323695 0
[pid=1245/tid=1246] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1307204

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

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

[startup+1800.5 s]
/proc/loadavg: 2.21 2.26 2.26 3/183 1348
/proc/meminfo: memFree=28152396/32872528 swapFree=17892/1720544
[pid=1245] ppid=1242 vsize=1307204 CPUtime=1800.02 cores=0,2,4,6
/proc/1245/stat : 1245 (toysat) R 1242 1245 31655 0 -1 4202496 268106 0 0 0 179942 60 0 0 20 0 4 0 106362860 1338576896 268580 33554432000 4194304 16246674 140733765067568 140733765049472 5546072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1245/statm: 326801 268580 839 2943 0 323695 0
[pid=1245/tid=1246] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1246/stat : 1246 (toysat) S 1242 1245 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582353612016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1245/tid=1247] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1247/stat : 1247 (toysat) S 1242 1245 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582265531632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1245/tid=1248] ppid=1242 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1245/task/1248/stat : 1248 (toysat) S 1242 1245 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106362861 1338576896 268580 33554432000 4194304 16246674 140733765067568 140582255058096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.43
CPU system time (s): 0.605907
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.605907
maximum resident set size= 1074320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268106
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= 382
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.32534 second user time and 7.18691 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-06 22:18:17
IDJOB=4079748
IDBENCH=2899
IDSOLVER=2542
FILE ID=node117/4079748-1465244297
RUNJOBID= node117-1465227498-31671
PBS_JOBID= 19843241
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c
RANDOM SEED=101283881

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.53
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.088
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:        29204620 kB
Buffers:           41792 kB
Cached:           103108 kB
SwapCached:         1396 kB
Active:          1175024 kB
Inactive:          66608 kB
Active(anon):    1096964 kB
Inactive(anon):     2176 kB
Active(file):      78060 kB
Inactive(file):    64432 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67098980 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       2821064 kB
Mapped:            10680 kB
Shmem:                 0 kB
Slab:             567952 kB
SReclaimable:      12208 kB
SUnreclaim:       555744 kB
KernelStack:        1520 kB
PageTables:         9944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2963156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2560000 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 node117 at 2016-06-06 22:48:18