Trace number 4093097

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.13 1800.59

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/
normalized-j12026_5-unsat--soft-33-100-0.wbo
MD5SUM03b08701e36df5e014168edc711c28ff
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark115678
Best CPU time to get the best result obtained on this benchmark86.8238
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables32912
Total number of constraints109848
Number of soft constraints73680
Number of constraints which are clauses109308
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints540
Minimum length of a constraint1
Maximum length of a constraint66
Top cost 3699128
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3699127
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 428
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T13:35:46+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093097-1466076946.wbo"]
0.00/0.01	c use --random-gen="2371935474 1008363250 3506296701 1257684270 1685320764 401215353 2763985705 2428200031 3408454955 465243685 3519127306 691023955 3929416192 3986358122 4000123799 1657421864 2386681838 2862651933 3949654232 3962366759 2080112359 84055465 3793381554 1299919680 3783825514 1235108201 3101764233 65506408 1042004178 3323786419 596367696 1459679660 3914442422 2901307258 1979558906 1770789163 1571323262 1602117017 716009009 3549258987 1949890572 1788775235 2709932527 2652188529 1697902945 2331004587 2592277616 165497480 3375442007 3446137900 3758955826 2737872142 2312444354 3721470461 1990312439 2373586653 3399856418 1401464986 2206707567 3685834235 67441374 861239535 3365551603 2614362265 4165937009 141302672 1343254436 2185185741 1608384322 3824347986 2470404678 4110346465 788710649 1922622581 1934584203 1628851356 1641326372 2587587555 4237734528 442817706 3147628253 560756608 2801694728 3543753105 483740492 2258274125 3654485430 292738864 1741507647 4086716706 1787330866 4243880600 3709631528 188511730 1968453748 3266776861 3089184505 2763542086 1943017007 2467921107 4120384468 1408934405 1159533783 3380523554 2053491141 3685575225 3498454682 590658202 1102624956 1568016210 479173078 1621598813 2369543962 2875235457 420451194 1140990463 785398738 3253980427 3792163201 259935716 666932933 3294615265 914071008 42965378 2655487527 2236048167 224488803 2166452164 992688393 223937156 1500271943 4207520716 1799452807 3306470053 372310502 1159063952 2418836988 3177259249 2549163893 2116155795 1752714323 617527602 2852380072 675554848 3429078449 2397118961 2682156241 1873859554 2643980126 2214126772 2304699403 3727392922 702601393 3365939504 4092122621 2472904328 2192570617 1443626862 844212823 1978164210 2498129212 2841831936 2358315895 488984066 1031239309 1229195528 1738157029 3493461403 808095763 1464665264 2899447005 830443431 433614948 3418902218 1334464916 3195313429 3504183780 3944369728 2972182026 4023149730 461437438 405861267 2391117014 1472602548 2097778259 1401191990 1123228618 297029569 2898492329 1746558454 218298260 4166463309 1299822053 1287971545 1337683211 3160192898 548598009 3371034116 3057218926 1659613377 2032821955 877125914 2841074940 2829396160 3837273522 1682967594 3908155668 4033299829 1468077538 3187922062 1339287072 452686798 3860249192 726008655 2548276766 3746854526 1170676622 1672807444 492847576 3482730108 3253342494 1380760769 3523597257 2648145443 3016118672 2112869404 1880937595 913392373 3821335448 3547516135 2502559056 510075478 4026956101 1679878886 1288009288 1972823603 914554217 3603267874 3356890109 1490775145 424767139 4052768687 1523812724 769294406 1872115150 911178515 4049330063 600225494 1814095833 2482898770 1308985415 64041432 1564291747 2452450965 3263900901 3582319197 255 362436" option to reproduce the execution
8.90/8.95	c #vars 32912
8.90/8.95	c #constraints 109848
11.29/11.39	c BCD2: Hardening is enabled.
11.29/11.39	c BCD2: BiasedSearch is enabled.
11.29/11.39	c Solving starts ...
11.29/11.39	c ============================[ Search Statistics ]============================
11.29/11.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.29/11.39	c       |         |          |          |    Limit     GC | Var      | Constra 
11.29/11.39	c =============================================================================
11.39/11.40	c  0.0s |       0 |        0 |        0 |    70620      0 |      876 |        0
12.09/12.11	c  0.7s |       1 |    53693 |      100 |    70620      0 |      876 |     2803
12.49/12.51	c  1.1s |       1 |   149128 |      105 |    77682      0 |      876 |     2803
12.49/12.51	c #cpu_time = 1.036s
12.49/12.51	c #wall_clock_time = 1.036s
12.49/12.51	c #decision = 149128
12.49/12.51	c #random_decision = 599
12.49/12.51	c #conflict = 105
12.49/12.51	c #restart = 1
12.49/12.53	o 95827
12.69/12.74	c BCD2: updating upper bound: 3713654 -> 110353
13.19/13.20	c BCD2: 0 <= obj <= 110353
13.19/13.21	c BCD2: #cores=0, #unrelaxed=73498, #relaxed=0, #hardened=0
13.19/13.21	c BCD2: #sat=1 #unsat=1 bias=1/2
13.39/13.49	c Solving starts ...
13.39/13.49	c ============================[ Search Statistics ]============================
13.39/13.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.39/13.49	c       |         |          |          |    Limit     GC | Var      | Constra 
13.39/13.49	c =============================================================================
13.39/13.49	c  0.0s |       0 |        0 |        0 |    77682      0 |      876 |     2803
13.49/13.57	c  0.1s |       0 |        0 |        0 |    77682      0 |      876 |     2803
13.49/13.57	c #cpu_time = 0.081s
13.49/13.57	c #wall_clock_time = 0.081s
13.49/13.57	c #decision = 0
13.49/13.57	c #random_decision = 0
13.49/13.57	c #conflict = 0
13.49/13.57	c #restart = 0
13.49/13.57	c BCD2: found a new core of size 1: cost of the new core is >=14527
13.49/13.57	c lower bound updated to 0
13.59/13.62	c BCD2: 14527 <= obj <= 110353
13.59/13.62	c BCD2: #cores=1, #unrelaxed=73497, #relaxed=1, #hardened=0
13.59/13.62	c BCD2: #sat=1 #unsat=2 bias=2/3
13.59/13.62	c Solving starts ...
13.59/13.62	c ============================[ Search Statistics ]============================
13.59/13.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.59/13.62	c       |         |          |          |    Limit     GC | Var      | Constra 
13.59/13.62	c =============================================================================
13.59/13.62	c  0.0s |       0 |        0 |        0 |    77682      0 |      876 |     2803
13.99/14.08	c  0.5s |       1 |    73643 |      100 |    77682      0 |      876 |     2803
14.79/14.85	c  1.2s |       2 |   147222 |      250 |    85451      0 |      876 |     2803
15.69/15.77	c  2.1s |       3 |   220936 |      475 |    93997      0 |      876 |     2803
16.89/16.99	c  3.4s |       4 |   294890 |      813 |   103397      0 |      876 |     2803
19.08/19.12	c  5.5s |       4 |   369040 |     1313 |   113737      0 |      876 |     2803
19.18/19.20	c  5.6s |       5 |   369049 |     1320 |   113737      0 |      876 |     2803
21.59/21.66	c  8.0s |       5 |   443045 |     1720 |   113737      0 |      876 |     2803
22.99/23.08	c  9.5s |       6 |   443673 |     2081 |   125111      0 |      876 |     2803
25.19/25.28	c 11.7s |       6 |   518031 |     2581 |   125111      0 |      876 |     2803
27.49/27.53	c 13.9s |       6 |   518791 |     3081 |   125111      0 |      876 |     2803
27.99/28.01	c 14.4s |       7 |   519140 |     3223 |   137623      0 |      876 |     2803
30.19/30.26	c 16.6s |       7 |   593412 |     3723 |   137623      0 |      876 |     2803
32.39/32.40	c 18.8s |       7 |   594161 |     4223 |   137623      0 |      876 |     2803
35.09/35.12	c 21.5s |       7 |   594820 |     4723 |   137623      0 |      876 |     2803
35.89/35.95	c 22.3s |       8 |   595071 |     4936 |   151386      0 |      876 |     2803
38.09/38.18	c 24.6s |       8 |   669310 |     5436 |   151386      0 |      876 |     2803
40.19/40.28	c 26.7s |       8 |   670419 |     6136 |   151386      0 |      876 |     2803
42.29/42.37	c 28.8s |       8 |   671148 |     6636 |   151386      0 |      876 |     2803
44.58/44.62	c 31.0s |       8 |   672078 |     7236 |   151386      0 |      876 |     2803
45.78/45.86	c 32.2s |       9 |   672435 |     7506 |   166525      0 |      876 |     2803
47.88/47.95	c 34.3s |       9 |   746353 |     7906 |   166525      0 |      876 |     2803
50.48/50.52	c 36.9s |       9 |   747128 |     8406 |   166525      0 |      876 |     2803
52.79/52.85	c 39.2s |       9 |   747774 |     8906 |   166525      0 |      876 |     2803
55.19/55.24	c 41.6s |       9 |   748506 |     9406 |   166525      0 |      876 |     2803
57.89/57.98	c 44.4s |       9 |   749123 |     9806 |   166525      0 |      876 |     2803
60.08/60.14	c 46.5s |       9 |   749665 |    10206 |   166525      0 |      876 |     2803
62.18/62.27	c 48.7s |       9 |   750223 |    10606 |   166525      0 |      876 |     2803
64.28/64.39	c 50.8s |       9 |   750967 |    11106 |   166525      0 |      876 |     2803
65.88/65.91	c 52.3s |      10 |   751301 |    11361 |   183178      0 |      876 |     2803
68.29/68.38	c 54.8s |      10 |   825231 |    11761 |   183178      0 |      876 |     2803
70.49/70.56	c 56.9s |      10 |   825907 |    12261 |   183178      0 |      876 |     2803
72.69/72.78	c 59.2s |      10 |   826744 |    12861 |   183178      0 |      876 |     2803
74.78/74.89	c 61.3s |      10 |   827392 |    13361 |   183178      0 |      876 |     2803
76.88/76.92	c 63.3s |      10 |   828018 |    13761 |   183178      0 |      876 |     2803
79.08/79.12	c 65.5s |      10 |   828744 |    14261 |   183178      0 |      876 |     2803
81.28/81.36	c 67.7s |      10 |   829328 |    14661 |   183178      0 |      876 |     2803
83.58/83.70	c 70.1s |      10 |   829911 |    15061 |   183178      0 |      876 |     2803
85.88/86.00	c 72.4s |      10 |   830446 |    15461 |   183178      0 |      876 |     2803
87.98/88.03	c 74.4s |      10 |   830854 |    15761 |   183178      0 |      876 |     2803
90.28/90.38	c 76.8s |      10 |   831409 |    16161 |   183178      0 |      876 |     2803
92.77/92.86	c 79.2s |      10 |   831847 |    16461 |   183178      0 |      876 |     2803
95.08/95.17	c 81.5s |      10 |   832430 |    16861 |   183178      0 |      876 |     2803
96.88/96.93	c 83.3s |      11 |   832873 |    17144 |   201496      0 |      876 |     2803
99.28/99.30	c 85.7s |      11 |   906697 |    17444 |   201496      0 |      876 |     2803
101.48/101.58	c 88.0s |      11 |   907037 |    17744 |   201496      0 |      876 |     2803
103.87/103.90	c 90.3s |      11 |   907522 |    18144 |   201496      0 |      876 |     2803
106.18/106.20	c 92.6s |      11 |   908033 |    18544 |   201496      0 |      876 |     2803
108.77/108.84	c 95.2s |      11 |   908687 |    19044 |   201496      0 |      876 |     2803
111.28/111.31	c 97.7s |      11 |   909220 |    19444 |   201496      0 |      876 |     2803
113.38/113.47	c 99.9s |      11 |   909762 |    19844 |   201496      0 |      876 |     2803
115.47/115.57	c  101s |      11 |   910568 |    20444 |   201496      0 |      876 |     2803
118.07/118.10	c  104s |      11 |   911115 |    20844 |   201496      0 |      876 |     2803
120.47/120.56	c  106s |      11 |   911527 |    21144 |   201496      0 |      876 |     2803
122.97/123.01	c  109s |      11 |   911927 |    21444 |   201496      0 |      876 |     2803
125.67/125.75	c  112s |      11 |   912327 |    21744 |   201496      0 |      876 |     2803
128.37/128.46	c  114s |      11 |   912712 |    22044 |   201496      0 |      876 |     2803
131.08/131.10	c  117s |      11 |   913117 |    22344 |   201496      0 |      876 |     2803
133.27/133.34	c  119s |      11 |   913487 |    22644 |   201496      0 |      876 |     2803
135.47/135.52	c  121s |      11 |   913723 |    22844 |   201496      0 |      876 |     2803
138.07/138.10	c  124s |      11 |   914128 |    23144 |   201496      0 |      876 |     2803
140.47/140.55	c  126s |      11 |   914687 |    23544 |   201496      0 |      876 |     2803
142.47/142.57	c  128s |      11 |   914937 |    23744 |   201496      0 |      876 |     2803
145.27/145.31	c  131s |      11 |   915387 |    24044 |   201496      0 |      876 |     2803
147.27/147.36	c  133s |      11 |   915940 |    24344 |   201496      0 |      876 |     2803
149.87/149.97	c  136s |      11 |   916504 |    24744 |   201496      0 |      876 |     2803
152.16/152.22	c  138s |      11 |   917029 |    25144 |   201496      0 |      876 |     2803
154.46/154.58	c  140s |      11 |   917386 |    25444 |   201496      0 |      876 |     2803
156.57/156.66	c  143s |      12 |   917941 |    25819 |   221646      0 |      876 |     2803
158.58/158.68	c  145s |      12 |   991470 |    25919 |   221646      0 |      876 |     2803
161.07/161.20	c  147s |      12 |   992213 |    26319 |   221646      0 |      876 |     2803
163.37/163.44	c  149s |      12 |   992644 |    26619 |   221646      0 |      876 |     2803
165.67/165.79	c  152s |      12 |   993071 |    26919 |   221646      0 |      876 |     2803
167.96/168.02	c  154s |      12 |   993464 |    27219 |   221646      0 |      876 |     2803
170.36/170.46	c  156s |      12 |   993848 |    27519 |   221646      0 |      876 |     2803
172.96/173.07	c  159s |      12 |   994195 |    27819 |   221646      0 |      876 |     2803
175.27/175.30	c  161s |      12 |   994612 |    28119 |   221646      0 |      876 |     2803
177.47/177.51	c  163s |      12 |   994969 |    28419 |   221646      0 |      876 |     2803
179.56/179.62	c  166s |      12 |   995391 |    28719 |   221646      0 |      876 |     2803
181.96/182.01	c  168s |      12 |   995773 |    29019 |   221646      0 |      876 |     2803
184.36/184.45	c  170s |      12 |   996182 |    29319 |   221646      0 |      876 |     2803
187.07/187.16	c  173s |      12 |   996527 |    29619 |   221646      0 |      876 |     2803
189.66/189.78	c  176s |      12 |   997043 |    30019 |   221646      0 |      876 |     2803
191.76/191.84	c  178s |      12 |   997426 |    30319 |   221646      0 |      876 |     2803
194.36/194.43	c  180s |      12 |   997794 |    30619 |   221646      0 |      876 |     2803
196.66/196.79	c  183s |      12 |   998159 |    30919 |   221646      0 |      876 |     2803
199.27/199.32	c  185s |      12 |   998524 |    31219 |   221646      0 |      876 |     2803
201.76/201.90	c  188s |      12 |   998885 |    31519 |   221646      0 |      876 |     2803
204.46/204.57	c  190s |      12 |   999290 |    31819 |   221646      0 |      876 |     2803
206.86/206.99	c  193s |      12 |   999649 |    32119 |   221646      0 |      876 |     2803
209.26/209.34	c  195s |      12 |  1000080 |    32419 |   221646      0 |      876 |     2803
212.16/212.22	c  198s |      12 |  1000467 |    32719 |   221646      0 |      876 |     2803
215.26/215.35	c  201s |      12 |  1000884 |    33019 |   221646      0 |      876 |     2803
217.66/217.73	c  204s |      12 |  1001156 |    33219 |   221646      0 |      876 |     2803
219.96/220.04	c  206s |      12 |  1001569 |    33519 |   221646      0 |      876 |     2803
222.66/222.74	c  209s |      12 |  1002023 |    33819 |   221646      0 |      876 |     2803
224.75/224.80	c  211s |      12 |  1002291 |    34019 |   221646      0 |      876 |     2803
227.05/227.10	c  213s |      12 |  1002518 |    34219 |   221646      0 |      876 |     2803
229.25/229.33	c  215s |      12 |  1002755 |    34419 |   221646      0 |      876 |     2803
231.36/231.49	c  217s |      12 |  1003007 |    34619 |   221646      0 |      876 |     2803
233.66/233.75	c  220s |      12 |  1003263 |    34819 |   221646      0 |      876 |     2803
236.25/236.34	c  222s |      12 |  1003524 |    35019 |   221646      0 |      876 |     2803
238.45/238.55	c  224s |      12 |  1003894 |    35319 |   221646      0 |      876 |     2803
240.85/240.94	c  227s |      12 |  1004251 |    35619 |   221646      0 |      876 |     2803
244.15/244.24	c  230s |      12 |  1004644 |    35919 |   221646      0 |      876 |     2803
246.46/246.59	c  232s |      12 |  1004906 |    36119 |   221646      0 |      876 |     2803
249.05/249.17	c  235s |      12 |  1005167 |    36319 |   221646      0 |      876 |     2803
251.65/251.76	c  238s |      12 |  1005607 |    36619 |   221646      0 |      876 |     2803
254.05/254.16	c  240s |      12 |  1006012 |    36919 |   221646      0 |      876 |     2803
256.85/256.97	c  243s |      12 |  1006401 |    37219 |   221646      0 |      876 |     2803
259.15/259.26	c  245s |      12 |  1006663 |    37419 |   221646      0 |      876 |     2803
261.85/261.93	c  248s |      12 |  1007100 |    37719 |   221646      0 |      876 |     2803
264.65/264.73	c  251s |      12 |  1007510 |    38019 |   221646      0 |      876 |     2803
267.65/267.73	c  254s |      12 |  1007904 |    38319 |   221646      0 |      876 |     2803
269.66/269.73	c  256s |      12 |  1008154 |    38519 |   243811      0 |      876 |     2803
272.35/272.42	c  258s |      12 |  1008525 |    38819 |   243811      0 |      876 |     2803
272.55/272.63	c  259s |      13 |  1008548 |    38832 |   243811      0 |      876 |     2803
275.35/275.45	c  261s |      13 |  1082089 |    38932 |   243811      0 |      876 |     2803
277.84/277.90	c  264s |      13 |  1082455 |    39232 |   243811      0 |      876 |     2803
279.84/279.99	c  266s |      13 |  1082828 |    39532 |   243811      0 |      876 |     2803
282.04/282.19	c  268s |      13 |  1083196 |    39832 |   243811      0 |      876 |     2803
284.54/284.68	c  271s |      13 |  1083578 |    40132 |   243811      0 |      876 |     2803
287.05/287.15	c  273s |      13 |  1083805 |    40332 |   243811      0 |      876 |     2803
289.05/289.18	c  275s |      13 |  1084048 |    40532 |   243811      0 |      876 |     2803
291.45/291.55	c  277s |      13 |  1084302 |    40732 |   243811      0 |      876 |     2803
294.74/294.81	c  281s |      13 |  1084704 |    41032 |   243811      0 |      876 |     2803
297.54/297.66	c  284s |      13 |  1085072 |    41332 |   243811      0 |      876 |     2803
299.65/299.78	c  286s |      13 |  1085320 |    41532 |   243811      0 |      876 |     2803
302.25/302.39	c  288s |      13 |  1085692 |    41832 |   243811      0 |      876 |     2803
304.94/305.01	c  291s |      13 |  1085939 |    42032 |   243811      0 |      876 |     2803
307.05/307.16	c  293s |      13 |  1086334 |    42232 |   243811      0 |      876 |     2803
309.64/309.72	c  296s |      13 |  1086700 |    42532 |   243811      0 |      876 |     2803
311.95/312.08	c  298s |      13 |  1087082 |    42832 |   243811      0 |      876 |     2803
314.15/314.26	c  300s |      13 |  1087505 |    43132 |   243811      0 |      876 |     2803
316.44/316.58	c  302s |      13 |  1087874 |    43432 |   243811      0 |      876 |     2803
319.05/319.19	c  305s |      13 |  1088417 |    43832 |   243811      0 |      876 |     2803
321.44/321.56	c  307s |      13 |  1088782 |    44132 |   243811      0 |      876 |     2803
324.14/324.20	c  310s |      13 |  1089391 |    44532 |   243811      0 |      876 |     2803
326.14/326.24	c  312s |      13 |  1089772 |    44832 |   243811      0 |      876 |     2803
328.64/328.73	c  315s |      13 |  1090300 |    45232 |   243811      0 |      876 |     2803
330.84/330.96	c  317s |      13 |  1090711 |    45532 |   243811      0 |      876 |     2803
333.64/333.77	c  320s |      13 |  1091118 |    45832 |   243811      0 |      876 |     2803
336.04/336.18	c  322s |      13 |  1091386 |    46032 |   243811      0 |      876 |     2803
338.34/338.45	c  324s |      13 |  1091635 |    46232 |   243811      0 |      876 |     2803
340.64/340.72	c  327s |      13 |  1091878 |    46432 |   243811      0 |      876 |     2803
343.43/343.53	c  329s |      13 |  1092301 |    46732 |   243811      0 |      876 |     2803
346.34/346.48	c  332s |      13 |  1092697 |    47032 |   243811      0 |      876 |     2803
348.64/348.70	c  335s |      13 |  1092953 |    47232 |   243811      0 |      876 |     2803
351.54/351.62	c  337s |      13 |  1093215 |    47432 |   243811      0 |      876 |     2803
353.64/353.78	c  340s |      13 |  1093580 |    47732 |   243811      0 |      876 |     2803
356.33/356.45	c  342s |      13 |  1093945 |    48032 |   243811      0 |      876 |     2803
358.33/358.45	c  344s |      13 |  1094161 |    48232 |   243811      0 |      876 |     2803
360.44/360.55	c  346s |      13 |  1094393 |    48432 |   243811      0 |      876 |     2803
362.53/362.62	c  349s |      13 |  1094672 |    48632 |   243811      0 |      876 |     2803
365.54/365.62	c  352s |      13 |  1094906 |    48832 |   243811      0 |      876 |     2803
368.14/368.24	c  354s |      13 |  1095332 |    49132 |   243811      0 |      876 |     2803
370.24/370.36	c  356s |      13 |  1095584 |    49332 |   243811      0 |      876 |     2803
372.64/372.71	c  359s |      13 |  1095970 |    49632 |   243811      0 |      876 |     2803
375.53/375.64	c  362s |      13 |  1096350 |    49932 |   243811      0 |      876 |     2803
378.03/378.17	c  364s |      13 |  1096700 |    50232 |   243811      0 |      876 |     2803
380.14/380.23	c  366s |      13 |  1096945 |    50432 |   243811      0 |      876 |     2803
382.74/382.83	c  369s |      13 |  1097307 |    50732 |   243811      0 |      876 |     2803
385.63/385.76	c  372s |      13 |  1097678 |    51032 |   243811      0 |      876 |     2803
388.03/388.10	c  374s |      13 |  1097909 |    51232 |   243811      0 |      876 |     2803
390.23/390.36	c  376s |      13 |  1098156 |    51432 |   243811      0 |      876 |     2803
392.64/392.71	c  379s |      13 |  1098375 |    51632 |   243811      0 |      876 |     2803
395.43/395.53	c  381s |      13 |  1098612 |    51832 |   243811      0 |      876 |     2803
398.24/398.37	c  384s |      13 |  1098836 |    52032 |   243811      0 |      876 |     2803
400.93/401.05	c  387s |      13 |  1099068 |    52232 |   243811      0 |      876 |     2803
403.33/403.44	c  389s |      13 |  1099322 |    52432 |   243811      0 |      876 |     2803
405.53/405.61	c  391s |      13 |  1099604 |    52632 |   243811      0 |      876 |     2803
408.32/408.43	c  394s |      13 |  1099967 |    52932 |   243811      0 |      876 |     2803
410.44/410.59	c  396s |      13 |  1100211 |    53132 |   243811      0 |      876 |     2803
413.12/413.21	c  399s |      13 |  1100453 |    53332 |   243811      0 |      876 |     2803
415.53/415.64	c  402s |      13 |  1100713 |    53532 |   243811      0 |      876 |     2803
418.33/418.42	c  404s |      13 |  1100946 |    53732 |   243811      0 |      876 |     2803
420.43/420.60	c  406s |      13 |  1101177 |    53932 |   243811      0 |      876 |     2803
422.92/423.06	c  409s |      13 |  1101432 |    54132 |   243811      0 |      876 |     2803
425.43/425.58	c  411s |      13 |  1101671 |    54332 |   243811      0 |      876 |     2803
427.43/427.59	c  413s |      13 |  1101795 |    54432 |   243811      0 |      876 |     2803
429.53/429.62	c  416s |      13 |  1102054 |    54632 |   243811      0 |      876 |     2803
432.02/432.12	c  418s |      13 |  1102347 |    54832 |   243811      0 |      876 |     2803
434.92/435.05	c  421s |      13 |  1102746 |    55132 |   243811      0 |      876 |     2803
437.33/437.41	c  423s |      13 |  1103001 |    55332 |   243811      0 |      876 |     2803
439.33/439.45	c  425s |      13 |  1103255 |    55532 |   243811      0 |      876 |     2803
441.52/441.65	c  428s |      13 |  1103505 |    55732 |   243811      0 |      876 |     2803
443.92/444.02	c  430s |      13 |  1103773 |    55932 |   243811      0 |      876 |     2803
446.82/446.93	c  433s |      13 |  1104029 |    56132 |   243811      0 |      876 |     2803
449.83/449.92	c  436s |      13 |  1104394 |    56432 |   243811      0 |      876 |     2803
452.72/452.87	c  439s |      13 |  1104624 |    56632 |   243811      0 |      876 |     2803
455.83/455.97	c  442s |      13 |  1104845 |    56832 |   243811      0 |      876 |     2803
458.42/458.58	c  444s |      13 |  1105094 |    57032 |   243811      0 |      876 |     2803
460.42/460.58	c  446s |      13 |  1105345 |    57232 |   243811      0 |      876 |     2803
463.32/463.45	c  449s |      13 |  1105694 |    57532 |   243811      0 |      876 |     2803
465.33/465.48	c  451s |      13 |  1105939 |    57732 |   243811      0 |      876 |     2803
467.62/467.77	c  454s |      13 |  1106169 |    57932 |   268193      0 |      876 |     2803
470.42/470.51	c  456s |      13 |  1106513 |    58232 |   268193      0 |      876 |     2803
471.72/471.82	c  458s |      14 |  1106657 |    58352 |   268193      0 |      876 |     2803
476.43/476.53	c  462s |      14 |  1180168 |    58452 |   268193      0 |      876 |     2803
478.92/479.02	c  465s |      14 |  1180401 |    58652 |   268193      0 |      876 |     2803
481.01/481.15	c  467s |      14 |  1180639 |    58852 |   268193      0 |      876 |     2803
483.82/483.91	c  470s |      14 |  1180875 |    59052 |   268193      0 |      876 |     2803
486.41/486.50	c  472s |      14 |  1181125 |    59252 |   268193      0 |      876 |     2803
488.72/488.83	c  475s |      14 |  1181352 |    59452 |   268193      0 |      876 |     2803
490.82/490.97	c  477s |      14 |  1181601 |    59652 |   268193      0 |      876 |     2803
493.72/493.80	c  480s |      14 |  1181987 |    59952 |   268193      0 |      876 |     2803
496.31/496.45	c  482s |      14 |  1182262 |    60152 |   268193      0 |      876 |     2803
499.52/499.65	c  486s |      14 |  1182511 |    60352 |   268193      0 |      876 |     2803
502.82/502.98	c  489s |      14 |  1182742 |    60552 |   268193      0 |      876 |     2803
504.92/505.05	c  491s |      14 |  1182859 |    60652 |   268193      0 |      876 |     2803
508.22/508.32	c  494s |      14 |  1183104 |    60852 |   268193      0 |      876 |     2803
510.81/510.97	c  497s |      14 |  1183495 |    61152 |   268193      0 |      876 |     2803
514.11/514.29	c  500s |      14 |  1183851 |    61452 |   268193      0 |      876 |     2803
517.01/517.14	c  503s |      14 |  1184112 |    61652 |   268193      0 |      876 |     2803
519.91/520.02	c  506s |      14 |  1184360 |    61852 |   268193      0 |      876 |     2803
524.31/524.43	c  510s |      14 |  1184605 |    62052 |   268193      0 |      876 |     2803
527.71/527.85	c  514s |      14 |  1184842 |    62252 |   268193      0 |      876 |     2803
530.61/530.79	c  517s |      14 |  1185270 |    62552 |   268193      0 |      876 |     2803
532.91/533.04	c  519s |      14 |  1185507 |    62752 |   268193      0 |      876 |     2803
535.11/535.24	c  521s |      14 |  1185746 |    62952 |   268193      0 |      876 |     2803
537.31/537.43	c  523s |      14 |  1186012 |    63152 |   268193      0 |      876 |     2803
540.91/541.01	c  527s |      14 |  1186269 |    63352 |   268193      0 |      876 |     2803
544.62/544.79	c  531s |      14 |  1186525 |    63552 |   268193      0 |      876 |     2803
548.10/548.25	c  534s |      14 |  1186784 |    63752 |   268193      0 |      876 |     2803
550.50/550.65	c  537s |      14 |  1187054 |    63952 |   268193      0 |      876 |     2803
553.00/553.12	c  539s |      14 |  1187298 |    64152 |   268193      0 |      876 |     2803
555.61/555.79	c  542s |      14 |  1187706 |    64452 |   268193      0 |      876 |     2803
557.91/558.04	c  544s |      14 |  1188070 |    64752 |   268193      0 |      876 |     2803
560.61/560.70	c  547s |      14 |  1188427 |    65052 |   268193      0 |      876 |     2803
562.71/562.88	c  549s |      14 |  1188655 |    65252 |   268193      0 |      876 |     2803
564.80/564.95	c  551s |      14 |  1188912 |    65452 |   268193      0 |      876 |     2803
567.30/567.48	c  553s |      14 |  1189308 |    65752 |   268193      0 |      876 |     2803
570.20/570.35	c  556s |      14 |  1189663 |    66052 |   268193      0 |      876 |     2803
572.61/572.71	c  559s |      14 |  1190029 |    66352 |   268193      0 |      876 |     2803
574.80/574.90	c  561s |      14 |  1190301 |    66552 |   268193      0 |      876 |     2803
577.00/577.10	c  563s |      14 |  1190548 |    66752 |   268193      0 |      876 |     2803
579.10/579.28	c  565s |      14 |  1190815 |    66952 |   268193      0 |      876 |     2803
581.30/581.49	c  567s |      14 |  1191084 |    67152 |   268193      0 |      876 |     2803
583.70/583.87	c  570s |      14 |  1191300 |    67352 |   268193      0 |      876 |     2803
587.20/587.31	c  573s |      14 |  1191661 |    67652 |   268193      0 |      876 |     2803
589.90/590.02	c  576s |      14 |  1191872 |    67852 |   268193      0 |      876 |     2803
593.30/593.49	c  579s |      14 |  1192081 |    68052 |   268193      0 |      876 |     2803
596.20/596.36	c  582s |      14 |  1192309 |    68252 |   268193      0 |      876 |     2803
599.90/600.02	c  586s |      14 |  1192540 |    68452 |   268193      0 |      876 |     2803
602.80/602.97	c  589s |      14 |  1192783 |    68652 |   268193      0 |      876 |     2803
605.49/605.66	c  592s |      14 |  1192915 |    68752 |   268193      0 |      876 |     2803
608.90/609.09	c  595s |      14 |  1193140 |    68952 |   268193      0 |      876 |     2803
611.40/611.59	c  597s |      14 |  1193249 |    69052 |   268193      0 |      876 |     2803
613.90/614.08	c  600s |      14 |  1193360 |    69152 |   268193      0 |      876 |     2803
616.99/617.18	c  603s |      14 |  1193595 |    69352 |   268193      0 |      876 |     2803
619.49/619.65	c  606s |      14 |  1193711 |    69452 |   268193      0 |      876 |     2803
621.99/622.11	c  608s |      14 |  1193829 |    69552 |   268193      0 |      876 |     2803
624.59/624.72	c  611s |      14 |  1194103 |    69752 |   268193      0 |      876 |     2803
626.69/626.80	c  613s |      14 |  1194390 |    69952 |   268193      0 |      876 |     2803
628.99/629.17	c  615s |      14 |  1194653 |    70152 |   268193      0 |      876 |     2803
631.29/631.42	c  617s |      14 |  1194899 |    70352 |   268193      0 |      876 |     2803
633.70/633.81	c  620s |      14 |  1195176 |    70552 |   268193      0 |      876 |     2803
636.79/636.95	c  623s |      14 |  1195544 |    70852 |   268193      0 |      876 |     2803
639.20/639.33	c  625s |      14 |  1195811 |    71052 |   268193      0 |      876 |     2803
641.29/641.41	c  627s |      14 |  1196269 |    71252 |   268193      0 |      876 |     2803
643.38/643.59	c  629s |      14 |  1196514 |    71452 |   268193      0 |      876 |     2803
646.28/646.42	c  632s |      14 |  1196919 |    71752 |   268193      0 |      876 |     2803
648.99/649.18	c  635s |      14 |  1197384 |    72052 |   268193      0 |      876 |     2803
651.99/652.14	c  638s |      14 |  1197744 |    72352 |   268193      0 |      876 |     2803
654.08/654.28	c  640s |      14 |  1197995 |    72552 |   268193      0 |      876 |     2803
656.38/656.51	c  642s |      14 |  1198240 |    72752 |   268193      0 |      876 |     2803
658.58/658.72	c  645s |      14 |  1198472 |    72952 |   268193      0 |      876 |     2803
660.68/660.83	c  647s |      14 |  1198715 |    73152 |   268193      0 |      876 |     2803
662.79/662.96	c  649s |      14 |  1198979 |    73352 |   268193      0 |      876 |     2803
665.18/665.35	c  651s |      14 |  1199233 |    73552 |   268193      0 |      876 |     2803
667.38/667.50	c  653s |      14 |  1199464 |    73752 |   268193      0 |      876 |     2803
669.48/669.69	c  656s |      14 |  1199689 |    73952 |   268193      0 |      876 |     2803
671.58/671.74	c  658s |      14 |  1199933 |    74152 |   268193      0 |      876 |     2803
673.68/673.85	c  660s |      14 |  1200169 |    74352 |   268193      0 |      876 |     2803
675.77/675.99	c  662s |      14 |  1200419 |    74552 |   268193      0 |      876 |     2803
677.97/678.17	c  664s |      14 |  1200670 |    74752 |   268193      0 |      876 |     2803
680.08/680.29	c  666s |      14 |  1200896 |    74952 |   268193      0 |      876 |     2803
682.57/682.72	c  669s |      14 |  1201152 |    75152 |   268193      0 |      876 |     2803
685.07/685.25	c  671s |      14 |  1201379 |    75352 |   268193      0 |      876 |     2803
687.67/687.89	c  674s |      14 |  1201602 |    75552 |   268193      0 |      876 |     2803
690.07/690.25	c  676s |      14 |  1201834 |    75752 |   268193      0 |      876 |     2803
692.57/692.71	c  679s |      14 |  1202050 |    75952 |   268193      0 |      876 |     2803
694.87/695.00	c  681s |      14 |  1202282 |    76152 |   268193      0 |      876 |     2803
697.38/697.52	c  683s |      14 |  1202537 |    76352 |   268193      0 |      876 |     2803
699.96/700.16	c  686s |      14 |  1202744 |    76552 |   268193      0 |      876 |     2803
702.87/703.02	c  689s |      14 |  1202989 |    76752 |   268193      0 |      876 |     2803
704.87/705.04	c  691s |      14 |  1203111 |    76852 |   268193      0 |      876 |     2803
708.27/708.42	c  694s |      14 |  1203361 |    77052 |   268193      0 |      876 |     2803
710.87/711.09	c  697s |      14 |  1203606 |    77252 |   268193      0 |      876 |     2803
714.26/714.40	c  700s |      14 |  1203861 |    77452 |   268193      0 |      876 |     2803
717.96/718.14	c  704s |      14 |  1204097 |    77652 |   268193      0 |      876 |     2803
720.97/721.10	c  707s |      14 |  1204358 |    77852 |   268193      0 |      876 |     2803
723.17/723.36	c  709s |      14 |  1204754 |    78152 |   268193      0 |      876 |     2803
725.66/725.83	c  712s |      14 |  1205386 |    78552 |   268193      0 |      876 |     2803
727.76/727.93	c  714s |      14 |  1205794 |    78852 |   268193      0 |      876 |     2803
730.56/730.70	c  717s |      14 |  1206272 |    79252 |   268193      0 |      876 |     2803
733.16/733.32	c  719s |      14 |  1206633 |    79552 |   268193      0 |      876 |     2803
735.55/735.72	c  722s |      14 |  1207025 |    79852 |   268193      0 |      876 |     2803
738.36/738.53	c  724s |      14 |  1207375 |    80152 |   268193      0 |      876 |     2803
741.06/741.24	c  727s |      14 |  1207765 |    80452 |   268193      0 |      876 |     2803
743.45/743.69	c  730s |      14 |  1208027 |    80652 |   268193      0 |      876 |     2803
745.95/746.15	c  732s |      14 |  1208266 |    80852 |   268193      0 |      876 |     2803
748.15/748.32	c  734s |      14 |  1208556 |    81052 |   268193      0 |      876 |     2803
750.45/750.64	c  737s |      14 |  1208804 |    81252 |   268193      0 |      876 |     2803
753.35/753.52	c  739s |      14 |  1209224 |    81552 |   268193      0 |      876 |     2803
755.65/755.87	c  742s |      14 |  1209477 |    81752 |   268193      0 |      876 |     2803
758.95/759.17	c  745s |      14 |  1209858 |    82052 |   268193      0 |      876 |     2803
761.44/761.61	c  747s |      14 |  1210240 |    82352 |   268193      0 |      876 |     2803
763.46/763.62	c  750s |      14 |  1210515 |    82552 |   268193      0 |      876 |     2803
766.04/766.25	c  752s |      14 |  1210749 |    82752 |   268193      0 |      876 |     2803
768.24/768.49	c  754s |      14 |  1211025 |    82952 |   268193      0 |      876 |     2803
770.75/770.94	c  757s |      14 |  1211290 |    83152 |   268193      0 |      876 |     2803
773.94/774.14	c  760s |      14 |  1211535 |    83352 |   268193      0 |      876 |     2803
776.04/776.25	c  762s |      14 |  1211808 |    83552 |   268193      0 |      876 |     2803
778.43/778.61	c  764s |      14 |  1212073 |    83752 |   268193      0 |      876 |     2803
780.95/781.13	c  767s |      14 |  1212441 |    84052 |   268193      0 |      876 |     2803
783.73/783.95	c  770s |      14 |  1212864 |    84352 |   268193      0 |      876 |     2803
785.93/786.18	c  772s |      14 |  1213116 |    84552 |   268193      0 |      876 |     2803
788.43/788.66	c  775s |      14 |  1213366 |    84752 |   268193      0 |      876 |     2803
790.73/790.94	c  777s |      14 |  1213593 |    84952 |   268193      0 |      876 |     2803
792.83/793.05	c  779s |      14 |  1213872 |    85152 |   268193      0 |      876 |     2803
795.93/796.16	c  782s |      14 |  1214229 |    85452 |   268193      0 |      876 |     2803
798.83/799.05	c  785s |      14 |  1214462 |    85652 |   268193      0 |      876 |     2803
801.43/801.68	c  788s |      14 |  1214689 |    85852 |   268193      0 |      876 |     2803
803.64/803.82	c  790s |      14 |  1214956 |    86052 |   268193      0 |      876 |     2803
806.13/806.30	c  792s |      14 |  1215180 |    86252 |   268193      0 |      876 |     2803
808.63/808.87	c  795s |      14 |  1215444 |    86452 |   268193      0 |      876 |     2803
811.03/811.26	c  797s |      14 |  1215669 |    86652 |   268193      0 |      876 |     2803
813.62/813.88	c  800s |      14 |  1215895 |    86852 |   268193      0 |      876 |     2803
816.73/816.93	c  803s |      14 |  1216148 |    87052 |   295013      0 |      876 |     2803
818.82/819.06	c  805s |      14 |  1216373 |    87252 |   295013      0 |      876 |     2803
821.22/821.40	c  807s |      14 |  1216624 |    87452 |   295013      0 |      876 |     2803
823.43/823.63	c  810s |      15 |  1216868 |    87632 |   295013      0 |      876 |     2803
831.64/831.87	c  818s |      15 |  1290377 |    87732 |   295013      0 |      876 |     2803
833.84/834.07	c  820s |      15 |  1290625 |    87932 |   295013      0 |      876 |     2803
836.92/837.17	c  823s |      15 |  1290993 |    88232 |   295013      0 |      876 |     2803
839.62/839.89	c  826s |      15 |  1291372 |    88532 |   295013      0 |      876 |     2803
841.92/842.11	c  828s |      15 |  1291627 |    88732 |   295013      0 |      876 |     2803
844.52/844.70	c  831s |      15 |  1291861 |    88932 |   295013      0 |      876 |     2803
846.72/846.96	c  833s |      15 |  1292110 |    89132 |   295013      0 |      876 |     2803
849.23/849.47	c  835s |      15 |  1292333 |    89332 |   295013      0 |      876 |     2803
852.72/852.91	c  839s |      15 |  1292593 |    89532 |   295013      0 |      876 |     2803
855.32/855.51	c  841s |      15 |  1292830 |    89732 |   295013      0 |      876 |     2803
858.32/858.58	c  844s |      15 |  1293090 |    89932 |   295013      0 |      876 |     2803
860.41/860.66	c  847s |      15 |  1293195 |    90032 |   295013      0 |      876 |     2803
862.91/863.15	c  849s |      15 |  1293479 |    90232 |   295013      0 |      876 |     2803
865.52/865.71	c  852s |      15 |  1293734 |    90432 |   295013      0 |      876 |     2803
868.62/868.82	c  855s |      15 |  1293976 |    90632 |   295013      0 |      876 |     2803
871.71/871.92	c  858s |      15 |  1294221 |    90832 |   295013      0 |      876 |     2803
874.31/874.51	c  860s |      15 |  1294483 |    91032 |   295013      0 |      876 |     2803
876.91/877.19	c  863s |      15 |  1294730 |    91232 |   295013      0 |      876 |     2803
879.81/880.08	c  866s |      15 |  1295104 |    91532 |   295013      0 |      876 |     2803
882.81/883.08	c  869s |      15 |  1295496 |    91832 |   295013      0 |      876 |     2803
885.01/885.25	c  871s |      15 |  1295749 |    92032 |   295013      0 |      876 |     2803
887.31/887.56	c  873s |      15 |  1295993 |    92232 |   295013      0 |      876 |     2803
890.01/890.29	c  876s |      15 |  1296213 |    92432 |   295013      0 |      876 |     2803
893.12/893.35	c  879s |      15 |  1296464 |    92632 |   295013      0 |      876 |     2803
895.31/895.58	c  881s |      15 |  1296719 |    92832 |   295013      0 |      876 |     2803
897.51/897.71	c  884s |      15 |  1296956 |    93032 |   295013      0 |      876 |     2803
899.71/899.97	c  886s |      15 |  1297174 |    93232 |   295013      0 |      876 |     2803
902.41/902.61	c  888s |      15 |  1297432 |    93432 |   295013      0 |      876 |     2803
905.40/905.66	c  892s |      15 |  1297811 |    93732 |   295013      0 |      876 |     2803
908.30/908.57	c  894s |      15 |  1298068 |    93932 |   295013      0 |      876 |     2803
911.09/911.34	c  897s |      15 |  1298303 |    94132 |   295013      0 |      876 |     2803
913.89/914.11	c  900s |      15 |  1298535 |    94332 |   295013      0 |      876 |     2803
916.20/916.48	c  902s |      15 |  1298842 |    94532 |   295013      0 |      876 |     2803
918.40/918.63	c  905s |      15 |  1299081 |    94732 |   295013      0 |      876 |     2803
920.70/920.92	c  907s |      15 |  1299360 |    94932 |   295013      0 |      876 |     2803
923.30/923.51	c  909s |      15 |  1299585 |    95132 |   295013      0 |      876 |     2803
926.10/926.32	c  912s |      15 |  1299854 |    95332 |   295013      0 |      876 |     2803
928.70/928.98	c  915s |      15 |  1300098 |    95532 |   295013      0 |      876 |     2803
931.49/931.76	c  918s |      15 |  1300361 |    95732 |   295013      0 |      876 |     2803
934.29/934.51	c  920s |      15 |  1300587 |    95932 |   295013      0 |      876 |     2803
936.59/936.88	c  923s |      15 |  1300826 |    96132 |   295013      0 |      876 |     2803
939.29/939.54	c  925s |      15 |  1301078 |    96332 |   295013      0 |      876 |     2803
941.39/941.65	c  928s |      15 |  1301182 |    96432 |   295013      0 |      876 |     2803
944.19/944.47	c  930s |      15 |  1301428 |    96632 |   295013      0 |      876 |     2803
947.28/947.60	c  933s |      15 |  1301668 |    96832 |   295013      0 |      876 |     2803
950.79/951.03	c  937s |      15 |  1301932 |    97032 |   295013      0 |      876 |     2803
952.88/953.17	c  939s |      15 |  1302058 |    97132 |   295013      0 |      876 |     2803
955.19/955.42	c  941s |      15 |  1302170 |    97232 |   295013      0 |      876 |     2803
957.48/957.76	c  944s |      15 |  1302280 |    97332 |   295013      0 |      876 |     2803
959.48/959.78	c  946s |      15 |  1302392 |    97432 |   295013      0 |      876 |     2803
962.18/962.40	c  948s |      15 |  1302510 |    97532 |   295013      0 |      876 |     2803
964.18/964.46	c  950s |      15 |  1302658 |    97632 |   295013      0 |      876 |     2803
966.89/967.19	c  953s |      15 |  1302935 |    97832 |   295013      0 |      876 |     2803
969.98/970.26	c  956s |      15 |  1303167 |    98032 |   295013      0 |      876 |     2803
973.18/973.40	c  959s |      15 |  1303412 |    98232 |   295013      0 |      876 |     2803
976.68/976.94	c  963s |      15 |  1303668 |    98432 |   295013      0 |      876 |     2803
979.18/979.42	c  965s |      15 |  1303914 |    98632 |   295013      0 |      876 |     2803
982.48/982.73	c  969s |      15 |  1304140 |    98832 |   295013      0 |      876 |     2803
985.18/985.44	c  971s |      15 |  1304376 |    99032 |   295013      0 |      876 |     2803
988.17/988.41	c  974s |      15 |  1304618 |    99232 |   295013      0 |      876 |     2803
990.57/990.86	c  977s |      15 |  1304850 |    99432 |   295013      0 |      876 |     2803
993.29/993.58	c  979s |      15 |  1305082 |    99632 |   295013      0 |      876 |     2803
995.87/996.15	c  982s |      15 |  1305318 |    99832 |   295013      0 |      876 |     2803
998.57/998.85	c  985s |      15 |  1305583 |   100032 |   295013      0 |      876 |     2803
1001.07/1001.31	c  987s |      15 |  1305847 |   100232 |   295013      0 |      876 |     2803
1004.18/1004.41	c  990s |      15 |  1306097 |   100432 |   295013      0 |      876 |     2803
1006.97/1007.29	c  993s |      15 |  1306374 |   100632 |   295013      0 |      876 |     2803
1010.27/1010.55	c  996s |      15 |  1306607 |   100832 |   295013      0 |      876 |     2803
1013.37/1013.60	c  999s |      15 |  1306836 |   101032 |   295013      0 |      876 |     2803
1016.67/1016.90	c 1003s |      15 |  1307083 |   101232 |   295013      0 |      876 |     2803
1018.67/1018.94	c 1005s |      15 |  1307198 |   101332 |   295013      0 |      876 |     2803
1021.56/1021.87	c 1008s |      15 |  1307478 |   101532 |   295013      0 |      876 |     2803
1024.36/1024.65	c 1011s |      15 |  1307719 |   101732 |   295013      0 |      876 |     2803
1027.57/1027.84	c 1014s |      15 |  1307962 |   101932 |   295013      0 |      876 |     2803
1031.27/1031.56	c 1017s |      15 |  1308203 |   102132 |   295013      0 |      876 |     2803
1034.77/1035.02	c 1021s |      15 |  1308463 |   102332 |   295013      0 |      876 |     2803
1038.37/1038.63	c 1025s |      15 |  1308742 |   102532 |   295013      0 |      876 |     2803
1040.57/1040.87	c 1027s |      15 |  1308986 |   102732 |   295013      0 |      876 |     2803
1043.67/1043.94	c 1030s |      15 |  1309230 |   102932 |   295013      0 |      876 |     2803
1045.76/1046.08	c 1032s |      15 |  1309493 |   103132 |   295013      0 |      876 |     2803
1048.27/1048.51	c 1034s |      15 |  1309782 |   103332 |   295013      0 |      876 |     2803
1051.66/1051.93	c 1038s |      15 |  1310037 |   103532 |   295013      0 |      876 |     2803
1054.26/1054.53	c 1040s |      15 |  1310325 |   103732 |   295013      0 |      876 |     2803
1056.56/1056.81	c 1043s |      15 |  1310568 |   103932 |   295013      0 |      876 |     2803
1059.06/1059.30	c 1045s |      15 |  1310797 |   104132 |   295013      0 |      876 |     2803
1062.66/1062.95	c 1049s |      15 |  1311044 |   104332 |   295013      0 |      876 |     2803
1065.46/1065.75	c 1052s |      15 |  1311658 |   104632 |   295013      0 |      876 |     2803
1067.96/1068.23	c 1054s |      15 |  1311910 |   104832 |   295013      0 |      876 |     2803
1069.96/1070.29	c 1056s |      15 |  1312206 |   105032 |   295013      0 |      876 |     2803
1072.06/1072.35	c 1058s |      15 |  1312476 |   105232 |   295013      0 |      876 |     2803
1074.26/1074.56	c 1060s |      15 |  1312714 |   105432 |   295013      0 |      876 |     2803
1076.86/1077.11	c 1063s |      15 |  1312954 |   105632 |   295013      0 |      876 |     2803
1079.45/1079.79	c 1066s |      15 |  1313215 |   105832 |   295013      0 |      876 |     2803
1082.26/1082.53	c 1068s |      15 |  1313454 |   106032 |   295013      0 |      876 |     2803
1085.96/1086.23	c 1072s |      15 |  1313695 |   106232 |   295013      0 |      876 |     2803
1089.15/1089.49	c 1075s |      15 |  1313950 |   106432 |   295013      0 |      876 |     2803
1091.76/1092.06	c 1078s |      15 |  1314260 |   106632 |   295013      0 |      876 |     2803
1094.85/1095.10	c 1081s |      15 |  1314524 |   106832 |   295013      0 |      876 |     2803
1097.85/1098.13	c 1084s |      15 |  1314781 |   107032 |   295013      0 |      876 |     2803
1101.06/1101.34	c 1087s |      15 |  1315042 |   107232 |   295013      0 |      876 |     2803
1103.45/1103.72	c 1090s |      15 |  1315171 |   107332 |   295013      0 |      876 |     2803
1106.15/1106.45	c 1092s |      15 |  1315281 |   107432 |   295013      0 |      876 |     2803
1108.44/1108.71	c 1095s |      15 |  1315395 |   107532 |   295013      0 |      876 |     2803
1110.54/1110.81	c 1097s |      15 |  1315515 |   107632 |   295013      0 |      876 |     2803
1112.74/1113.01	c 1099s |      15 |  1315650 |   107732 |   295013      0 |      876 |     2803
1114.74/1115.04	c 1101s |      15 |  1315763 |   107832 |   295013      0 |      876 |     2803
1118.34/1118.65	c 1105s |      15 |  1316031 |   108032 |   295013      0 |      876 |     2803
1120.74/1121.09	c 1107s |      15 |  1316140 |   108132 |   295013      0 |      876 |     2803
1123.84/1124.12	c 1110s |      15 |  1316410 |   108332 |   295013      0 |      876 |     2803
1126.74/1127.00	c 1113s |      15 |  1316702 |   108532 |   295013      0 |      876 |     2803
1129.74/1130.05	c 1116s |      15 |  1316959 |   108732 |   295013      0 |      876 |     2803
1132.94/1133.21	c 1119s |      15 |  1317237 |   108932 |   295013      0 |      876 |     2803
1136.33/1136.62	c 1123s |      15 |  1317479 |   109132 |   295013      0 |      876 |     2803
1138.94/1139.28	c 1125s |      15 |  1317715 |   109332 |   295013      0 |      876 |     2803
1141.64/1141.91	c 1128s |      15 |  1317984 |   109532 |   295013      0 |      876 |     2803
1145.53/1145.85	c 1132s |      15 |  1318237 |   109732 |   295013      0 |      876 |     2803
1149.44/1149.79	c 1136s |      15 |  1318481 |   109932 |   295013      0 |      876 |     2803
1151.54/1151.81	c 1138s |      15 |  1318591 |   110032 |   295013      0 |      876 |     2803
1153.93/1154.22	c 1140s |      15 |  1318729 |   110132 |   295013      0 |      876 |     2803
1156.43/1156.73	c 1143s |      15 |  1318830 |   110232 |   295013      0 |      876 |     2803
1160.33/1160.68	c 1147s |      15 |  1319073 |   110432 |   295013      0 |      876 |     2803
1162.73/1163.04	c 1149s |      15 |  1319199 |   110532 |   295013      0 |      876 |     2803
1167.03/1167.33	c 1153s |      15 |  1319444 |   110732 |   295013      0 |      876 |     2803
1169.13/1169.48	c 1155s |      15 |  1319564 |   110832 |   295013      0 |      876 |     2803
1171.33/1171.66	c 1158s |      15 |  1319685 |   110932 |   295013      0 |      876 |     2803
1173.82/1174.19	c 1160s |      15 |  1319811 |   111032 |   295013      0 |      876 |     2803
1176.13/1176.47	c 1162s |      15 |  1319942 |   111132 |   295013      0 |      876 |     2803
1178.23/1178.55	c 1164s |      15 |  1320086 |   111232 |   295013      0 |      876 |     2803
1182.82/1183.13	c 1169s |      15 |  1320332 |   111432 |   295013      0 |      876 |     2803
1184.82/1185.18	c 1171s |      15 |  1320438 |   111532 |   295013      0 |      876 |     2803
1187.12/1187.48	c 1173s |      15 |  1320562 |   111632 |   295013      0 |      876 |     2803
1189.52/1189.85	c 1176s |      15 |  1320680 |   111732 |   295013      0 |      876 |     2803
1191.72/1192.07	c 1178s |      15 |  1320789 |   111832 |   295013      0 |      876 |     2803
1194.02/1194.38	c 1180s |      15 |  1320924 |   111932 |   295013      0 |      876 |     2803
1197.12/1197.40	c 1183s |      15 |  1321052 |   112032 |   295013      0 |      876 |     2803
1199.52/1199.84	c 1186s |      15 |  1321160 |   112132 |   295013      0 |      876 |     2803
1202.13/1202.50	c 1188s |      15 |  1321279 |   112232 |   295013      0 |      876 |     2803
1204.52/1204.83	c 1191s |      15 |  1321417 |   112332 |   295013      0 |      876 |     2803
1207.51/1207.88	c 1194s |      15 |  1321679 |   112532 |   295013      0 |      876 |     2803
1210.81/1211.12	c 1197s |      15 |  1321915 |   112732 |   295013      0 |      876 |     2803
1213.12/1213.42	c 1199s |      15 |  1322025 |   112832 |   295013      0 |      876 |     2803
1216.11/1216.45	c 1202s |      15 |  1322264 |   113032 |   295013      0 |      876 |     2803
1219.41/1219.75	c 1206s |      15 |  1322488 |   113232 |   295013      0 |      876 |     2803
1222.71/1223.02	c 1209s |      15 |  1322707 |   113432 |   295013      0 |      876 |     2803
1226.50/1226.80	c 1213s |      15 |  1322949 |   113632 |   295013      0 |      876 |     2803
1229.11/1229.44	c 1215s |      15 |  1323175 |   113832 |   295013      0 |      876 |     2803
1232.50/1232.83	c 1219s |      15 |  1323428 |   114032 |   295013      0 |      876 |     2803
1235.01/1235.31	c 1221s |      15 |  1323665 |   114232 |   295013      0 |      876 |     2803
1237.41/1237.73	c 1224s |      15 |  1323895 |   114432 |   295013      0 |      876 |     2803
1240.50/1240.81	c 1227s |      15 |  1324147 |   114632 |   295013      0 |      876 |     2803
1243.70/1244.09	c 1230s |      15 |  1324409 |   114832 |   295013      0 |      876 |     2803
1246.80/1247.17	c 1233s |      15 |  1324648 |   115032 |   295013      0 |      876 |     2803
1249.80/1250.17	c 1236s |      15 |  1324896 |   115232 |   295013      0 |      876 |     2803
1252.90/1253.21	c 1239s |      15 |  1325130 |   115432 |   295013      0 |      876 |     2803
1256.70/1257.09	c 1243s |      15 |  1325360 |   115632 |   295013      0 |      876 |     2803
1260.20/1260.52	c 1246s |      15 |  1325611 |   115832 |   295013      0 |      876 |     2803
1263.30/1263.63	c 1250s |      15 |  1325870 |   116032 |   295013      0 |      876 |     2803
1266.09/1266.43	c 1252s |      15 |  1326133 |   116232 |   295013      0 |      876 |     2803
1269.99/1270.35	c 1256s |      15 |  1326368 |   116432 |   295013      0 |      876 |     2803
1273.60/1273.96	c 1260s |      15 |  1326606 |   116632 |   295013      0 |      876 |     2803
1277.29/1277.62	c 1263s |      15 |  1326824 |   116832 |   295013      0 |      876 |     2803
1281.09/1281.48	c 1267s |      15 |  1327044 |   117032 |   295013      0 |      876 |     2803
1284.49/1284.88	c 1271s |      15 |  1327287 |   117232 |   295013      0 |      876 |     2803
1287.69/1288.08	c 1274s |      15 |  1327523 |   117432 |   295013      0 |      876 |     2803
1291.09/1291.49	c 1277s |      15 |  1327786 |   117632 |   295013      0 |      876 |     2803
1294.69/1295.01	c 1281s |      15 |  1328028 |   117832 |   295013      0 |      876 |     2803
1297.99/1298.31	c 1284s |      15 |  1328247 |   118032 |   295013      0 |      876 |     2803
1300.78/1301.11	c 1287s |      15 |  1328494 |   118232 |   295013      0 |      876 |     2803
1304.09/1304.40	c 1290s |      15 |  1328720 |   118432 |   295013      0 |      876 |     2803
1308.09/1308.41	c 1294s |      15 |  1328947 |   118632 |   295013      0 |      876 |     2803
1310.19/1310.53	c 1296s |      15 |  1329058 |   118732 |   295013      0 |      876 |     2803
1313.59/1313.96	c 1300s |      15 |  1329307 |   118932 |   295013      0 |      876 |     2803
1317.48/1317.80	c 1304s |      15 |  1329528 |   119132 |   295013      0 |      876 |     2803
1319.48/1319.85	c 1306s |      15 |  1329641 |   119232 |   295013      0 |      876 |     2803
1321.58/1321.94	c 1308s |      15 |  1329744 |   119332 |   295013      0 |      876 |     2803
1324.38/1324.71	c 1311s |      15 |  1329860 |   119432 |   295013      0 |      876 |     2803
1327.28/1327.65	c 1314s |      15 |  1329979 |   119532 |   295013      0 |      876 |     2803
1330.07/1330.48	c 1316s |      15 |  1330121 |   119632 |   295013      0 |      876 |     2803
1332.38/1332.77	c 1319s |      15 |  1330229 |   119732 |   295013      0 |      876 |     2803
1334.47/1334.87	c 1321s |      15 |  1330347 |   119832 |   295013      0 |      876 |     2803
1336.68/1337.06	c 1323s |      15 |  1330464 |   119932 |   295013      0 |      876 |     2803
1340.17/1340.54	c 1326s |      15 |  1330709 |   120132 |   295013      0 |      876 |     2803
1343.57/1343.97	c 1330s |      15 |  1330943 |   120332 |   295013      0 |      876 |     2803
1345.67/1346.04	c 1332s |      15 |  1331047 |   120432 |   295013      0 |      876 |     2803
1347.97/1348.32	c 1334s |      15 |  1331157 |   120532 |   295013      0 |      876 |     2803
1350.37/1350.70	c 1337s |      15 |  1331270 |   120632 |   295013      0 |      876 |     2803
1353.47/1353.88	c 1340s |      15 |  1331524 |   120832 |   295013      0 |      876 |     2803
1356.57/1356.91	c 1343s |      15 |  1331750 |   121032 |   295013      0 |      876 |     2803
1360.16/1360.59	c 1346s |      15 |  1331964 |   121232 |   295013      0 |      876 |     2803
1363.87/1364.25	c 1350s |      15 |  1332074 |   121332 |   295013      0 |      876 |     2803
1366.07/1366.42	c 1352s |      15 |  1332184 |   121432 |   295013      0 |      876 |     2803
1369.96/1370.34	c 1356s |      15 |  1332426 |   121632 |   295013      0 |      876 |     2803
1373.46/1373.90	c 1360s |      15 |  1332690 |   121832 |   295013      0 |      876 |     2803
1375.66/1376.03	c 1362s |      15 |  1332806 |   121932 |   295013      0 |      876 |     2803
1378.26/1378.63	c 1365s |      15 |  1332931 |   122032 |   295013      0 |      876 |     2803
1381.26/1381.68	c 1368s |      15 |  1333048 |   122132 |   295013      0 |      876 |     2803
1383.76/1384.13	c 1370s |      15 |  1333182 |   122232 |   295013      0 |      876 |     2803
1387.66/1388.02	c 1374s |      15 |  1333290 |   122332 |   295013      0 |      876 |     2803
1389.86/1390.29	c 1376s |      15 |  1333403 |   122432 |   295013      0 |      876 |     2803
1391.95/1392.35	c 1378s |      15 |  1333526 |   122532 |   295013      0 |      876 |     2803
1395.36/1395.70	c 1382s |      15 |  1333642 |   122632 |   295013      0 |      876 |     2803
1397.75/1398.12	c 1384s |      15 |  1333759 |   122732 |   295013      0 |      876 |     2803
1401.76/1402.10	c 1388s |      15 |  1334026 |   122932 |   295013      0 |      876 |     2803
1404.85/1405.23	c 1391s |      15 |  1334150 |   123032 |   295013      0 |      876 |     2803
1407.45/1407.84	c 1394s |      15 |  1334256 |   123132 |   295013      0 |      876 |     2803
1410.06/1410.45	c 1396s |      15 |  1334400 |   123232 |   295013      0 |      876 |     2803
1412.65/1413.08	c 1399s |      15 |  1334526 |   123332 |   295013      0 |      876 |     2803
1414.95/1415.34	c 1401s |      15 |  1334640 |   123432 |   295013      0 |      876 |     2803
1417.15/1417.52	c 1403s |      15 |  1334745 |   123532 |   295013      0 |      876 |     2803
1420.25/1420.61	c 1406s |      15 |  1335007 |   123732 |   295013      0 |      876 |     2803
1422.25/1422.64	c 1409s |      15 |  1335120 |   123832 |   295013      0 |      876 |     2803
1425.14/1425.58	c 1411s |      15 |  1335344 |   124032 |   295013      0 |      876 |     2803
1428.75/1429.17	c 1415s |      15 |  1335584 |   124232 |   295013      0 |      876 |     2803
1432.44/1432.82	c 1419s |      15 |  1335820 |   124432 |   295013      0 |      876 |     2803
1436.54/1436.92	c 1423s |      15 |  1336050 |   124632 |   295013      0 |      876 |     2803
1438.73/1439.19	c 1425s |      15 |  1336170 |   124732 |   295013      0 |      876 |     2803
1441.14/1441.53	c 1427s |      15 |  1336275 |   124832 |   295013      0 |      876 |     2803
1444.64/1445.06	c 1431s |      15 |  1336377 |   124932 |   295013      0 |      876 |     2803
1447.74/1448.16	c 1434s |      15 |  1336517 |   125032 |   295013      0 |      876 |     2803
1451.54/1451.98	c 1438s |      15 |  1336793 |   125232 |   295013      0 |      876 |     2803
1455.24/1455.69	c 1442s |      15 |  1337042 |   125432 |   295013      0 |      876 |     2803
1459.23/1459.68	c 1446s |      15 |  1337278 |   125632 |   295013      0 |      876 |     2803
1462.93/1463.40	c 1449s |      15 |  1337523 |   125832 |   295013      0 |      876 |     2803
1466.63/1467.04	c 1453s |      15 |  1337763 |   126032 |   295013      0 |      876 |     2803
1470.03/1470.46	c 1456s |      15 |  1338009 |   126232 |   295013      0 |      876 |     2803
1473.73/1474.12	c 1460s |      15 |  1338237 |   126432 |   295013      0 |      876 |     2803
1477.23/1477.69	c 1464s |      15 |  1338480 |   126632 |   295013      0 |      876 |     2803
1481.82/1482.29	c 1468s |      15 |  1338704 |   126832 |   295013      0 |      876 |     2803
1484.12/1484.58	c 1470s |      15 |  1338812 |   126932 |   295013      0 |      876 |     2803
1486.83/1487.30	c 1473s |      15 |  1338933 |   127032 |   295013      0 |      876 |     2803
1490.33/1490.79	c 1477s |      15 |  1339182 |   127232 |   295013      0 |      876 |     2803
1494.32/1494.76	c 1481s |      15 |  1339437 |   127432 |   295013      0 |      876 |     2803
1498.22/1498.60	c 1484s |      15 |  1339682 |   127632 |   295013      0 |      876 |     2803
1501.92/1502.33	c 1488s |      15 |  1339905 |   127832 |   295013      0 |      876 |     2803
1504.02/1504.47	c 1490s |      15 |  1340024 |   127932 |   295013      0 |      876 |     2803
1507.62/1508.08	c 1494s |      15 |  1340270 |   128132 |   295013      0 |      876 |     2803
1510.82/1511.23	c 1497s |      15 |  1340559 |   128332 |   295013      0 |      876 |     2803
1513.93/1514.32	c 1500s |      15 |  1340802 |   128532 |   295013      0 |      876 |     2803
1517.31/1517.72	c 1504s |      15 |  1341046 |   128732 |   295013      0 |      876 |     2803
1521.12/1521.59	c 1507s |      15 |  1341263 |   128932 |   295013      0 |      876 |     2803
1524.52/1524.95	c 1511s |      15 |  1341500 |   129132 |   295013      0 |      876 |     2803
1527.92/1528.34	c 1514s |      15 |  1341739 |   129332 |   295013      0 |      876 |     2803
1530.61/1531.02	c 1517s |      15 |  1341864 |   129432 |   295013      0 |      876 |     2803
1534.52/1534.95	c 1521s |      15 |  1342086 |   129632 |   295013      0 |      876 |     2803
1536.81/1537.23	c 1523s |      15 |  1342204 |   129732 |   295013      0 |      876 |     2803
1539.01/1539.45	c 1525s |      15 |  1342315 |   129832 |   295013      0 |      876 |     2803
1542.31/1542.73	c 1529s |      15 |  1342551 |   130032 |   295013      0 |      876 |     2803
1545.11/1545.60	c 1531s |      15 |  1342671 |   130132 |   295013      0 |      876 |     2803
1547.31/1547.77	c 1534s |      15 |  1342826 |   130232 |   295013      0 |      876 |     2803
1549.31/1549.79	c 1536s |      15 |  1342938 |   130332 |   295013      0 |      876 |     2803
1551.61/1552.09	c 1538s |      15 |  1343049 |   130432 |   295013      0 |      876 |     2803
1553.81/1554.21	c 1540s |      15 |  1343167 |   130532 |   295013      0 |      876 |     2803
1556.11/1556.50	c 1542s |      15 |  1343286 |   130632 |   324515      0 |      876 |     2803
1558.41/1558.83	c 1545s |      15 |  1343402 |   130732 |   324515      0 |      876 |     2803
1560.51/1560.93	c 1547s |      15 |  1343533 |   130832 |   324515      0 |      876 |     2803
1562.82/1563.25	c 1549s |      15 |  1343642 |   130932 |   324515      0 |      876 |     2803
1565.59/1566.02	c 1552s |      15 |  1343764 |   131032 |   324515      0 |      876 |     2803
1569.41/1569.86	c 1556s |      15 |  1344017 |   131232 |   324515      0 |      876 |     2803
1572.71/1573.14	c 1559s |      15 |  1344295 |   131432 |   324515      0 |      876 |     2803
1574.91/1575.35	c 1561s |      16 |  1344437 |   131552 |   324515      0 |      876 |     2803
1587.39/1587.86	c 1574s |      16 |  1417960 |   131652 |   324515      0 |      876 |     2803
1591.29/1591.77	c 1578s |      16 |  1418203 |   131852 |   324515      0 |      876 |     2803
1594.80/1595.22	c 1581s |      16 |  1418456 |   132052 |   324515      0 |      876 |     2803
1596.90/1597.34	c 1583s |      16 |  1418590 |   132152 |   324515      0 |      876 |     2803
1600.30/1600.72	c 1587s |      16 |  1418832 |   132352 |   324515      0 |      876 |     2803
1603.59/1604.06	c 1590s |      16 |  1419076 |   132552 |   324515      0 |      876 |     2803
1605.69/1606.10	c 1592s |      16 |  1419198 |   132652 |   324515      0 |      876 |     2803
1609.18/1609.62	c 1596s |      16 |  1419466 |   132852 |   324515      0 |      876 |     2803
1611.79/1612.25	c 1598s |      16 |  1419604 |   132952 |   324515      0 |      876 |     2803
1614.08/1614.57	c 1600s |      16 |  1419726 |   133052 |   324515      0 |      876 |     2803
1616.69/1617.12	c 1603s |      16 |  1419847 |   133152 |   324515      0 |      876 |     2803
1618.89/1619.30	c 1605s |      16 |  1419988 |   133252 |   324515      0 |      876 |     2803
1621.78/1622.29	c 1608s |      16 |  1420240 |   133452 |   324515      0 |      876 |     2803
1623.88/1624.31	c 1610s |      16 |  1420369 |   133552 |   324515      0 |      876 |     2803
1625.89/1626.34	c 1612s |      16 |  1420477 |   133652 |   324515      0 |      876 |     2803
1628.18/1628.69	c 1615s |      16 |  1420630 |   133752 |   324515      0 |      876 |     2803
1630.68/1631.19	c 1617s |      16 |  1420760 |   133852 |   324515      0 |      876 |     2803
1633.38/1633.80	c 1620s |      16 |  1420886 |   133952 |   324515      0 |      876 |     2803
1636.08/1636.52	c 1622s |      16 |  1421019 |   134052 |   324515      0 |      876 |     2803
1638.58/1639.05	c 1625s |      16 |  1421150 |   134152 |   324515      0 |      876 |     2803
1641.78/1642.26	c 1628s |      16 |  1421268 |   134252 |   324515      0 |      876 |     2803
1645.28/1645.79	c 1632s |      16 |  1421386 |   134352 |   324515      0 |      876 |     2803
1648.38/1648.81	c 1635s |      16 |  1421505 |   134452 |   324515      0 |      876 |     2803
1650.78/1651.28	c 1637s |      16 |  1421636 |   134552 |   324515      0 |      876 |     2803
1653.98/1654.47	c 1640s |      16 |  1421745 |   134652 |   324515      0 |      876 |     2803
1656.87/1657.37	c 1643s |      16 |  1421863 |   134752 |   324515      0 |      876 |     2803
1660.38/1660.80	c 1647s |      16 |  1422120 |   134952 |   324515      0 |      876 |     2803
1663.57/1664.08	c 1650s |      16 |  1422364 |   135152 |   324515      0 |      876 |     2803
1666.18/1666.61	c 1652s |      16 |  1422503 |   135252 |   324515      0 |      876 |     2803
1668.78/1669.23	c 1655s |      16 |  1422622 |   135352 |   324515      0 |      876 |     2803
1671.07/1671.54	c 1657s |      16 |  1422740 |   135452 |   324515      0 |      876 |     2803
1673.17/1673.64	c 1660s |      16 |  1422860 |   135552 |   324515      0 |      876 |     2803
1676.76/1677.25	c 1663s |      16 |  1423111 |   135752 |   324515      0 |      876 |     2803
1679.57/1680.04	c 1666s |      16 |  1423238 |   135852 |   324515      0 |      876 |     2803
1682.36/1682.87	c 1669s |      16 |  1423357 |   135952 |   324515      0 |      876 |     2803
1685.16/1685.66	c 1672s |      16 |  1423474 |   136052 |   324515      0 |      876 |     2803
1688.46/1688.96	c 1675s |      16 |  1423591 |   136152 |   324515      0 |      876 |     2803
1691.87/1692.38	c 1678s |      16 |  1423867 |   136352 |   324515      0 |      876 |     2803
1695.67/1696.15	c 1682s |      16 |  1424093 |   136552 |   324515      0 |      876 |     2803
1700.37/1700.84	c 1687s |      16 |  1424352 |   136752 |   324515      0 |      876 |     2803
1703.16/1703.64	c 1690s |      16 |  1424464 |   136852 |   324515      0 |      876 |     2803
1705.17/1705.68	c 1692s |      16 |  1424595 |   136952 |   324515      0 |      876 |     2803
1707.46/1707.97	c 1694s |      16 |  1424717 |   137052 |   324515      0 |      876 |     2803
1709.96/1710.44	c 1696s |      16 |  1424840 |   137152 |   324515      0 |      876 |     2803
1712.46/1712.98	c 1699s |      16 |  1424947 |   137252 |   324515      0 |      876 |     2803
1715.55/1716.05	c 1702s |      16 |  1425069 |   137352 |   324515      0 |      876 |     2803
1717.56/1718.06	c 1704s |      16 |  1425179 |   137452 |   324515      0 |      876 |     2803
1720.75/1721.27	c 1707s |      16 |  1425300 |   137552 |   324515      0 |      876 |     2803
1723.86/1724.36	c 1710s |      16 |  1425410 |   137652 |   324515      0 |      876 |     2803
1726.86/1727.34	c 1713s |      16 |  1425516 |   137752 |   324515      0 |      876 |     2803
1728.96/1729.41	c 1715s |      16 |  1425637 |   137852 |   324515      0 |      876 |     2803
1732.46/1732.95	c 1719s |      16 |  1425885 |   138052 |   324515      0 |      876 |     2803
1736.76/1737.24	c 1723s |      16 |  1426139 |   138252 |   324515      0 |      876 |     2803
1739.05/1739.54	c 1725s |      16 |  1426264 |   138352 |   324515      0 |      876 |     2803
1741.96/1742.41	c 1728s |      16 |  1426379 |   138452 |   324515      0 |      876 |     2803
1744.55/1745.07	c 1731s |      16 |  1426528 |   138552 |   324515      0 |      876 |     2803
1747.05/1747.57	c 1733s |      16 |  1426655 |   138652 |   324515      0 |      876 |     2803
1750.85/1751.30	c 1737s |      16 |  1426898 |   138852 |   324515      0 |      876 |     2803
1752.95/1753.49	c 1739s |      16 |  1427016 |   138952 |   324515      0 |      876 |     2803
1755.94/1756.49	c 1742s |      16 |  1427122 |   139052 |   324515      0 |      876 |     2803
1761.05/1761.57	c 1747s |      16 |  1427381 |   139252 |   324515      0 |      876 |     2803
1765.05/1765.53	c 1751s |      16 |  1427503 |   139352 |   324515      0 |      876 |     2803
1768.74/1769.22	c 1755s |      16 |  1427622 |   139452 |   324515      0 |      876 |     2803
1771.04/1771.53	c 1757s |      16 |  1427743 |   139552 |   324515      0 |      876 |     2803
1775.05/1775.58	c 1761s |      16 |  1427989 |   139752 |   324515      0 |      876 |     2803
1778.64/1779.16	c 1765s |      16 |  1428109 |   139852 |   324515      0 |      876 |     2803
1781.55/1782.00	c 1768s |      16 |  1428222 |   139952 |   324515      0 |      876 |     2803
1784.34/1784.83	c 1771s |      16 |  1428345 |   140052 |   324515      0 |      876 |     2803
1788.14/1788.69	c 1775s |      16 |  1428464 |   140152 |   324515      0 |      876 |     2803
1791.24/1791.76	c 1778s |      16 |  1428591 |   140252 |   324515      0 |      876 |     2803
1796.54/1797.00	c 1783s |      16 |  1428834 |   140452 |   324515      0 |      876 |     2803
1799.35/1799.89	c 1786s |      16 |  1428963 |   140552 |   324515      0 |      876 |     2803

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-4093097-1466076946/watcher-4093097-1466076946 -o /tmp/evaluation-result-4093097-1466076946/solver-4093097-1466076946 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093097-1466076946.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.14 2.10 3/179 14319
/proc/meminfo: memFree=30363224/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=793020 CPUtime=0 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 2971 0 0 0 0 0 0 0 20 0 4 0 9740250 812052480 3331 33554432000 4194304 16246674 140733378816800 140733378816224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 198767 3339 441 2943 0 195661 0
[pid=14319/tid=14320] ppid=14316 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 829878272 3399 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 835121152 3418 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9740250 839315456 3434 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.15 2.14 2.10 3/179 14319
/proc/meminfo: memFree=30363224/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 25759 0 0 0 5 4 0 0 20 0 4 0 9740250 1333334016 26060 33554432000 4194304 16246674 140733378816800 140733378816112 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 325521 26076 800 2943 0 322415 0
[pid=14319/tid=14320] ppid=14316 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1333334016 26085 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1333334016 26096 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1333334016 26107 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.310011 s]
/proc/loadavg: 2.15 2.14 2.10 3/179 14319
/proc/meminfo: memFree=30363224/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1313348 CPUtime=0.3 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 60883 0 0 0 22 8 0 0 20 0 4 0 9740250 1344868352 61694 33554432000 4194304 16246674 140733378816800 140733378799792 7361464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 328337 61694 801 2943 0 325231 0
[pid=14319/tid=14320] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 61694 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 61694 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 61694 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 1313348

[startup+0.400534 s]
/proc/loadavg: 2.15 2.14 2.10 3/179 14319
/proc/meminfo: memFree=30363224/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1313348 CPUtime=0.39 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 60883 0 0 0 31 8 0 0 20 0 4 0 9740250 1344868352 61694 33554432000 4194304 16246674 140733378816800 140733378799792 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 328337 61694 801 2943 0 325231 0
[pid=14319/tid=14320] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 61694 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 61694 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 61694 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 1313348

[startup+0.700415 s]
/proc/loadavg: 2.15 2.14 2.10 3/179 14319
/proc/meminfo: memFree=30363224/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 63056 0 0 0 60 9 0 0 20 0 4 0 9740250 1344868352 63867 33554432000 4194304 16246674 140733378816800 140733378799792 7439436 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 328337 63867 801 2943 0 325231 0
[pid=14319/tid=14320] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 63867 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 63867 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 63867 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.15 2.14 2.10 3/183 14323
/proc/meminfo: memFree=30095348/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 97739 0 0 0 136 13 0 0 20 0 4 0 9740250 1344868352 98550 33554432000 4194304 16246674 140733378816800 140733378815976 12503797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 328337 98560 839 2943 0 325231 0
[pid=14319/tid=14320] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 98565 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 98571 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1344868352 98578 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.14 2.14 2.10 3/183 14323
/proc/meminfo: memFree=29358176/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1335876 CPUtime=3.09 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 274588 0 0 0 269 40 0 0 20 0 4 0 9740250 1367937024 275399 33554432000 4194304 16246674 140733378816800 140733378816112 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 333969 275399 839 2943 0 330863 0
[pid=14319/tid=14320] ppid=14316 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1367937024 275399 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1367937024 275399 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1367937024 275399 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1335876

[startup+6.30042 s]
/proc/loadavg: 2.14 2.14 2.10 3/183 14323
/proc/meminfo: memFree=29262192/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1335876 CPUtime=6.29 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 274591 0 0 0 589 40 0 0 20 0 4 0 9740250 1367937024 275402 33554432000 4194304 16246674 140733378816800 140733378798720 6139116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 333969 275402 840 2943 0 330863 0
[pid=14319/tid=14320] ppid=14316 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1367937024 275402 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1367937024 275402 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1367937024 275402 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1335876

[startup+12.7004 s]
/proc/loadavg: 2.12 2.13 2.09 3/183 14323
/proc/meminfo: memFree=29209484/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1388100 CPUtime=12.69 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 287728 0 0 0 1227 42 0 0 20 0 4 0 9740250 1421414400 288539 33554432000 4194304 16246674 140733378816800 140733378798720 4220871 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 347025 288539 920 2943 0 343919 0
[pid=14319/tid=14320] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288539 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288539 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288539 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1388100

[startup+25.5074 s]
/proc/loadavg: 2.17 2.15 2.10 3/183 14323
/proc/meminfo: memFree=29209840/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1388100 CPUtime=25.5 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 287741 0 0 0 2507 43 0 0 20 0 4 0 9740250 1421414400 288552 33554432000 4194304 16246674 140733378816800 140733378798720 5677216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 347025 288552 933 2943 0 343919 0
[pid=14319/tid=14320] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288552 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288552 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288552 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1388100

[startup+51.1004 s]
/proc/loadavg: 2.17 2.15 2.10 3/183 14323
/proc/meminfo: memFree=29209932/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1388100 CPUtime=51.08 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 287745 0 0 0 5065 43 0 0 20 0 4 0 9740250 1421414400 288556 33554432000 4194304 16246674 140733378816800 140733378815976 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 347025 288556 937 2943 0 343919 0
[pid=14319/tid=14320] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288556 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288556 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288556 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1388100

[startup+102.3 s]
/proc/loadavg: 2.18 2.15 2.10 3/183 14324
/proc/meminfo: memFree=29209688/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=1388100 CPUtime=102.28 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 287745 0 0 0 10182 46 0 0 20 0 4 0 9740250 1421414400 288556 33554432000 4194304 16246674 140733378816800 140733378815976 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 347025 288556 937 2943 0 343919 0
[pid=14319/tid=14320] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288556 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288556 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 1421414400 288556 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1388100


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

/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 2949189632 661535 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 2880068

[startup+1302.3 s]
/proc/loadavg: 2.36 2.24 2.13 3/183 14356
/proc/meminfo: memFree=27645028/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=2947652 CPUtime=1301.99 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 677630 0 0 0 129894 305 0 0 20 0 4 0 9740250 3018395648 678230 33554432000 4194304 16246674 140733378816800 140733378815976 13927412 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 736913 678230 938 2943 0 733807 0
[pid=14319/tid=14320] ppid=14316 vsize=2947652 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 3018395648 678230 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=2947652 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 3018395648 678230 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=2947652 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 3018395648 678230 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 2947652

[startup+1362.3 s]
/proc/loadavg: 2.17 2.21 2.13 3/183 14357
/proc/meminfo: memFree=27576628/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=3016260 CPUtime=1361.96 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 695022 0 0 0 135868 328 0 0 20 0 4 0 9740250 3088650240 695600 33554432000 4194304 16246674 140733378816800 140733378815896 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 754065 695600 938 2943 0 750959 0
[pid=14319/tid=14320] ppid=14316 vsize=3016260 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 3088650240 695600 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=3016260 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 3088650240 695600 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=3016260 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 3088650240 695600 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 3016260

[startup+1422.3 s]
/proc/loadavg: 2.22 2.21 2.13 3/183 14358
/proc/meminfo: memFree=27475844/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=3129924 CPUtime=1421.95 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 723398 0 0 0 141842 353 0 0 20 0 4 0 9740250 3205042176 723967 33554432000 4194304 16246674 140733378816800 140733378815976 5677422 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 782481 723967 938 2943 0 779375 0
[pid=14319/tid=14320] ppid=14316 vsize=3129924 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 3205042176 723967 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=3129924 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 3205042176 723967 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=3129924 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 3205042176 723967 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 3129924

[startup+1482.3 s]
/proc/loadavg: 2.18 2.20 2.13 3/184 14362
/proc/meminfo: memFree=27408416/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=3183172 CPUtime=1481.92 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 736609 0 0 0 147820 372 0 0 20 0 4 0 9740250 3259568128 737165 33554432000 4194304 16246674 140733378816800 140733378815976 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 795793 737165 938 2943 0 792687 0
[pid=14319/tid=14320] ppid=14316 vsize=3183172 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 3259568128 737165 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=3183172 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 3259568128 737165 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=3183172 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 3259568128 737165 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 3183172

[startup+1542.3 s]
/proc/loadavg: 2.10 2.17 2.12 3/184 14387
/proc/meminfo: memFree=27360224/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=3231300 CPUtime=1541.92 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 748628 0 0 0 153801 391 0 0 20 0 4 0 9740250 3308851200 749172 33554432000 4194304 16246674 140733378816800 140733378815976 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 807825 749172 938 2943 0 804719 0
[pid=14319/tid=14320] ppid=14316 vsize=3231300 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 3308851200 749172 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=3231300 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 3308851200 749172 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=3231300 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 3308851200 749172 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 3231300

[startup+1602.3 s]
/proc/loadavg: 2.27 2.20 2.13 3/183 14388
/proc/meminfo: memFree=27285956/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=3305028 CPUtime=1601.89 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 767135 0 0 0 159775 414 0 0 20 0 4 0 9740250 3384348672 767657 33554432000 4194304 16246674 140733378816800 140733378815896 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 826257 767657 938 2943 0 823151 0
[pid=14319/tid=14320] ppid=14316 vsize=3305028 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 3384348672 767657 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=3305028 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 3384348672 767657 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=3305028 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 3384348672 767657 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 3305028

[startup+1662.31 s]
/proc/loadavg: 2.16 2.18 2.13 3/183 14437
/proc/meminfo: memFree=27260840/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=3368516 CPUtime=1661.88 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 783152 0 0 0 165754 434 0 0 20 0 4 0 9740250 3449360384 783664 33554432000 4194304 16246674 140733378816800 140733378815976 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 842129 783664 938 2943 0 839023 0
[pid=14319/tid=14320] ppid=14316 vsize=3368516 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 3449360384 783664 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=3368516 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 3449360384 783664 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=3368516 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 3449360384 783664 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 3368516

[startup+1722.3 s]
/proc/loadavg: 2.16 2.17 2.13 3/183 14438
/proc/meminfo: memFree=27189760/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=3438148 CPUtime=1721.86 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 800574 0 0 0 171735 451 0 0 20 0 4 0 9740250 3520663552 801074 33554432000 4194304 16246674 140733378816800 140733378815976 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 859537 801074 939 2943 0 856431 0
[pid=14319/tid=14320] ppid=14316 vsize=3438148 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 3520663552 801074 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=3438148 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 3520663552 801074 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=3438148 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 3520663552 801074 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 3438148

[startup+1782.3 s]
/proc/loadavg: 2.12 2.17 2.13 3/183 14439
/proc/meminfo: memFree=27109780/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=3518020 CPUtime=1781.84 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 820521 0 0 0 177714 470 0 0 20 0 4 0 9740250 3602452480 821010 33554432000 4194304 16246674 140733378816800 140733378815976 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 879505 821010 939 2943 0 876399 0
[pid=14319/tid=14320] ppid=14316 vsize=3518020 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 3602452480 821010 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=3518020 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 3602452480 821010 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=3518020 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 3602452480 821010 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 3518020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.16 2.12 3/182 14440
/proc/meminfo: memFree=27081852/32872528 swapFree=532956/565660
[pid=14319] ppid=14316 vsize=3545668 CPUtime=1800.04 cores=1,3,5,7
/proc/14319/stat : 14319 (toysat) R 14316 14319 11130 0 -1 4202496 827335 0 0 0 179528 476 0 0 20 0 4 0 9740250 3630764032 827824 33554432000 4194304 16246674 140733378816800 140733378815976 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14319/statm: 886417 827824 939 2943 0 883311 0
[pid=14319/tid=14320] ppid=14316 vsize=3545668 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14320/stat : 14320 (toysat) S 14316 14319 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9740250 3630764032 827824 33554432000 4194304 16246674 140733378816800 139767878495472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14319/tid=14321] ppid=14316 vsize=3545668 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14321/stat : 14321 (toysat) S 14316 14319 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9740250 3630764032 827824 33554432000 4194304 16246674 140733378816800 139767868005616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14319/tid=14322] ppid=14316 vsize=3545668 CPUtime=0 cores=1,3,5,7
/proc/14319/task/14322/stat : 14322 (toysat) S 14316 14319 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9740250 3630764032 827824 33554432000 4194304 16246674 140733378816800 139767857532080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3545668

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.59
CPU time (s): 1800.13
CPU user time (s): 1795.28
CPU system time (s): 4.84326
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 3545668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.28
system time used= 4.84326
maximum resident set size= 3311296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 827335
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= 688
involuntary context switches= 1816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46632 second user time and 7.04593 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 13:35:46
IDJOB=4093097
IDBENCH=78640
IDSOLVER=2553
FILE ID=node138/4093097-1466076946
RUNJOBID= node138-1466074865-13652
PBS_JOBID= 19904002
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/normalized-j12026_5-unsat--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093097-1466076946/watcher-4093097-1466076946 -o /tmp/evaluation-result-4093097-1466076946/solver-4093097-1466076946 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093097-1466076946.wbo

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

MD5SUM BENCH= 03b08701e36df5e014168edc711c28ff
RANDOM SEED=1069508176

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

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

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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		: 2666.395
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30363752 kB
Buffers:           20176 kB
Cached:           111060 kB
SwapCached:         1380 kB
Active:          1187208 kB
Inactive:          51196 kB
Active(anon):    1107852 kB
Inactive(anon):     1664 kB
Active(file):      79356 kB
Inactive(file):    49532 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             19724 kB
Writeback:             0 kB
AnonPages:       1676336 kB
Mapped:            10972 kB
Shmem:                 0 kB
Slab:             566884 kB
SReclaimable:      10620 kB
SUnreclaim:       556264 kB
KernelStack:        1480 kB
PageTables:         7104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1819328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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= 71712 MiB
End job on node138 at 2016-06-16 14:05:47