Trace number 4093640

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.07 1800.61

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM4abf964a0a4662f4172f30dfa55a3bc2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark3.2625
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 9197
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 9196
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
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-16T17:37:12+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-4093640-1466091432.wbo"]
0.00/0.01	c use --random-gen="1727172677 3064337576 1394155169 1019087022 22934289 1640756238 4004876538 3933871351 3552073177 2514927170 3977084283 1056513 2154077852 1110413566 1487928903 3061343041 216041478 2440308806 2635888433 1607478613 210486830 2764915467 2220407266 253105495 1112777146 4162626396 861890879 1225726664 3188880838 1764853670 4236633631 916858567 2668058020 1705823257 994693779 2087242699 1146398400 1310622931 1713007408 1466054819 3264215230 3994659329 3164097660 844184842 1509967627 3437295992 27461709 643852163 789675735 4180543738 935904495 1132620009 530335308 3085398635 2064752688 1787168230 2574093726 3913260222 537593915 900686120 1491596631 2149375363 269591853 3155560884 2402136641 3464281962 513030714 3184861671 1427319158 2444178312 80687979 1969886786 3234829320 3799277298 1425546858 1572356920 3963891296 386300471 2393353194 3245194622 3750323969 364996274 338145607 1471486357 2032632727 19588656 1742715820 557398733 3840128197 1530236809 3236646910 1048308722 3996966520 2740622857 1568015270 3661039682 9840636 1873873619 4001510331 1513066310 1899805104 177227948 251154143 74303107 553444877 3373068615 3989445723 754100915 2963359097 2178988642 2153621847 1139640906 563506215 2516332320 1694884423 765992192 3432213257 3308411878 123891872 1710047486 134292443 69193505 441738305 1216540541 980946027 464186123 1434870821 923246831 2391393320 626128250 1040361209 214254385 1893620439 2690400634 3169363954 1120422864 843004673 453513178 3577205119 3710927121 2337893068 390746878 71742961 2914511335 664741385 1466100686 4153801527 3651750822 1292720783 3022506426 1447377848 2557045019 416250205 3247500594 926516917 1801301008 629877880 709508631 825576273 2824002276 1959145853 922640918 879434781 3586848036 1116278939 3847018717 2933788369 3273785494 101638933 2191586503 1141916067 1562500030 2544174552 1022039707 604687088 4197484691 4032313706 3789881958 3772892060 2532282024 2375653814 2936137187 1691746431 1481168231 2640309635 2451848479 549644585 2841523242 3833919832 1138966191 1293562879 1482917285 975659925 3941599625 12987827 3426830264 1943708033 3525099176 1542554546 3397278235 1857958813 442934193 814284022 1224976639 3354534305 1632066712 2685269385 1512975251 3633784039 330721470 2140656385 1641513478 2047461035 3403510234 1676283003 1246164611 2586537590 1006709513 1366998272 347825707 2579954540 2108717373 3505558119 3068602322 3686450043 2799735522 1878849286 4105324710 910405188 3526878601 3169486742 660771763 2844763902 1446957587 1063019525 4083813412 1835375285 2084283990 854926158 1866160613 2468121434 2260510105 1483600347 3471934151 2046279688 1407436783 1715918610 1773578845 562860491 1054181940 3291050997 2284905271 18078098 1261175956 3555197777 3345678806 255 362436" option to reproduce the execution
0.09/0.19	c #vars 4000
0.09/0.19	c #constraints 180
0.18/0.22	c BCD2: Hardening is enabled.
0.18/0.22	c BCD2: BiasedSearch is enabled.
0.18/0.22	c Solving starts ...
0.18/0.22	c ============================[ Search Statistics ]============================
0.18/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.22	c =============================================================================
0.18/0.22	c  0.0s |       0 |        0 |        0 |     1453      0 |        0 |        0
0.18/0.22	c  0.0s |       0 |      260 |        0 |     1453      0 |        0 |        0
0.18/0.22	c #cpu_time = 0.005s
0.18/0.22	c #wall_clock_time = 0.005s
0.18/0.22	c #decision = 260
0.18/0.22	c #random_decision = 0
0.18/0.22	c #conflict = 0
0.18/0.22	c #restart = 0
0.18/0.22	o 4890
0.18/0.23	c BCD2: updating upper bound: 9196 -> 4889
0.18/0.23	c BCD2: 0 <= obj <= 4889
0.18/0.23	c BCD2: #cores=0, #unrelaxed=180, #relaxed=0, #hardened=0
0.18/0.23	c BCD2: #sat=1 #unsat=1 bias=1/2
0.18/0.23	c Solving starts ...
0.18/0.23	c ============================[ Search Statistics ]============================
0.18/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.23	c =============================================================================
0.18/0.23	c  0.0s |       0 |        0 |        0 |     1453      0 |        0 |        0
0.18/0.27	c  0.0s |       1 |      334 |      100 |     1453      0 |        0 |        0
0.29/0.35	c  0.1s |       2 |     1170 |      250 |     1599      0 |        0 |        0
0.49/0.53	c  0.3s |       3 |     2544 |      475 |     1759      0 |        0 |        0
0.79/0.83	c  0.6s |       4 |     4122 |      813 |     1935      0 |        0 |        0
1.20/1.23	c  1.0s |       5 |     5918 |     1320 |     2129      0 |        0 |        0
1.99/2.06	c  1.8s |       6 |     8110 |     2081 |     2577      0 |        0 |        0
3.19/3.26	c  3.0s |       7 |    11438 |     3223 |     2835      0 |        0 |        0
5.39/5.45	c  5.2s |       7 |    15205 |     4623 |     2835      1 |        0 |        0
6.08/6.16	c  5.9s |       8 |    15608 |     4936 |     3119      1 |        0 |        0
8.19/8.24	c  8.0s |       8 |    20036 |     5936 |     3119      2 |        0 |        0
10.29/10.32	c 10.1s |       8 |    21292 |     6836 |     3119      2 |        0 |        0
11.89/11.95	c 11.7s |       9 |    22076 |     7506 |     3431      2 |        0 |        0
13.99/14.03	c 13.8s |       9 |    25566 |     8906 |     3431      3 |        0 |        0
16.09/16.11	c 15.9s |       9 |    26903 |    10106 |     3431      3 |        0 |        0
18.19/18.29	c 18.1s |       9 |    28146 |    11206 |     3431      4 |        0 |        0
18.59/18.64	c 18.4s |      10 |    28316 |    11361 |     3775      4 |        0 |        0
20.58/20.64	c 20.4s |      10 |    31089 |    12861 |     3775      4 |        0 |        0
22.78/22.85	c 22.6s |      10 |    32492 |    14061 |     3775      5 |        0 |        0
24.98/25.08	c 24.9s |      10 |    33622 |    15061 |     3775      5 |        0 |        0
27.08/27.12	c 26.9s |      10 |    34542 |    15861 |     3775      5 |        0 |        0
29.28/29.30	c 29.1s |      10 |    35433 |    16661 |     3775      5 |        0 |        0
30.80/30.89	c 30.7s |      11 |    35952 |    17144 |     4153      6 |        0 |        0
32.89/32.98	c 32.8s |      11 |    39753 |    18744 |     4153      6 |        0 |        0
34.99/35.06	c 34.8s |      11 |    41207 |    20044 |     4153      6 |        0 |        0
37.19/37.24	c 37.0s |      11 |    42419 |    21144 |     4153      7 |        0 |        0
39.29/39.37	c 39.1s |      11 |    43679 |    22244 |     4153      7 |        0 |        0
41.49/41.50	c 41.3s |      11 |    44692 |    23144 |     4153      7 |        0 |        0
43.69/43.74	c 43.5s |      11 |    45708 |    24044 |     4153      8 |        0 |        0
45.89/45.96	c 45.7s |      11 |    46851 |    25044 |     4153      8 |        0 |        0
47.89/47.93	c 47.7s |      12 |    47726 |    25819 |     4569      8 |        0 |        0
49.88/49.95	c 49.7s |      12 |    51204 |    27219 |     4569      9 |        0 |        0
51.98/52.00	c 51.8s |      12 |    52968 |    28419 |     4569      9 |        0 |        0
54.28/54.31	c 54.1s |      12 |    54402 |    29619 |     4569     10 |        0 |        0
56.28/56.36	c 56.1s |      12 |    55601 |    30619 |     4569     10 |        0 |        0
58.29/58.37	c 58.1s |      12 |    56484 |    31419 |     4569     10 |        0 |        0
60.38/60.45	c 60.2s |      12 |    57411 |    32219 |     4569     10 |        0 |        0
62.38/62.49	c 62.3s |      12 |    58199 |    32919 |     4569     10 |        0 |        0
64.48/64.57	c 64.3s |      12 |    58982 |    33619 |     4569     11 |        0 |        0
66.58/66.66	c 66.4s |      12 |    59809 |    34319 |     4569     11 |        0 |        0
68.68/68.77	c 68.5s |      12 |    60603 |    35019 |     4569     11 |        0 |        0
70.98/71.08	c 70.9s |      12 |    61400 |    35719 |     4569     11 |        0 |        0
73.28/73.36	c 73.1s |      12 |    62049 |    36319 |     4569     12 |        0 |        0
75.38/75.41	c 75.2s |      12 |    62876 |    37019 |     4569     12 |        0 |        0
77.38/77.48	c 77.3s |      12 |    63863 |    37719 |     4569     12 |        0 |        0
79.47/79.51	c 79.3s |      12 |    64844 |    38419 |     4569     12 |        0 |        0
80.77/80.80	c 80.6s |      13 |    65445 |    38832 |     5026     12 |        0 |        0
82.77/82.86	c 82.6s |      13 |    68859 |    40332 |     5026     13 |        0 |        0
84.87/84.95	c 84.7s |      13 |    70360 |    41632 |     5026     13 |        0 |        0
87.07/87.13	c 86.9s |      13 |    71596 |    42732 |     5026     13 |        0 |        0
89.18/89.22	c 89.0s |      13 |    72759 |    43732 |     5026     14 |        0 |        0
91.28/91.39	c 91.2s |      13 |    73863 |    44732 |     5026     14 |        0 |        0
93.48/93.59	c 93.4s |      13 |    74832 |    45632 |     5026     14 |        0 |        0
95.57/95.65	c 95.4s |      13 |    75723 |    46432 |     5026     14 |        0 |        0
97.77/97.82	c 97.6s |      13 |    76581 |    47232 |     5026     15 |        0 |        0
99.87/99.96	c 99.7s |      13 |    77481 |    48032 |     5026     15 |        0 |        0
102.17/102.24	c  102s |      13 |    78348 |    48832 |     5026     15 |        0 |        0
104.37/104.43	c  104s |      13 |    79082 |    49532 |     5026     15 |        0 |        0
106.48/106.51	c  106s |      13 |    79847 |    50232 |     5026     16 |        0 |        0
108.48/108.59	c  108s |      13 |    80737 |    51032 |     5026     16 |        0 |        0
110.58/110.65	c  110s |      13 |    81508 |    51732 |     5026     16 |        0 |        0
112.68/112.76	c  112s |      13 |    82271 |    52432 |     5026     16 |        0 |        0
114.88/114.97	c  114s |      13 |    83020 |    53132 |     5026     16 |        0 |        0
117.08/117.10	c  116s |      13 |    84024 |    53932 |     5026     17 |        0 |        0
119.08/119.19	c  118s |      13 |    85006 |    54832 |     5026     17 |        0 |        0
121.17/121.26	c  121s |      13 |    86005 |    55732 |     5026     17 |        0 |        0
123.28/123.35	c  123s |      13 |    86883 |    56532 |     5026     17 |        0 |        0
125.48/125.57	c  125s |      13 |    87653 |    57232 |     5026     18 |        0 |        0
127.58/127.67	c  127s |      13 |    88404 |    57932 |     5026     18 |        0 |        0
128.57/128.69	c  128s |      14 |    88892 |    58352 |     5529     18 |        0 |        0
130.67/130.74	c  130s |      14 |    92677 |    59852 |     5529     18 |        0 |        0
132.77/132.88	c  132s |      14 |    94175 |    61152 |     5529     18 |        0 |        0
134.77/134.89	c  134s |      14 |    95431 |    62252 |     5529     19 |        0 |        0
136.87/136.91	c  136s |      14 |    96633 |    63352 |     5529     19 |        0 |        0
138.87/138.99	c  138s |      14 |    97825 |    64452 |     5529     19 |        0 |        0
141.07/141.18	c  140s |      14 |    98914 |    65452 |     5529     19 |        0 |        0
143.27/143.31	c  143s |      14 |   100125 |    66452 |     5529     20 |        0 |        0
145.37/145.47	c  145s |      14 |   101253 |    67452 |     5529     20 |        0 |        0
147.57/147.63	c  147s |      14 |   102377 |    68452 |     5529     20 |        0 |        0
149.77/149.81	c  149s |      14 |   103366 |    69352 |     5529     20 |        0 |        0
151.78/151.82	c  151s |      14 |   104220 |    70152 |     5529     21 |        0 |        0
153.77/153.88	c  153s |      14 |   105200 |    71052 |     5529     21 |        0 |        0
155.87/155.90	c  155s |      14 |   106225 |    71952 |     5529     21 |        0 |        0
157.97/158.07	c  157s |      14 |   107323 |    72952 |     5529     21 |        0 |        0
159.97/160.08	c  159s |      14 |   108196 |    73752 |     5529     22 |        0 |        0
162.27/162.30	c  162s |      14 |   109273 |    74752 |     5529     22 |        0 |        0
164.47/164.50	c  164s |      14 |   110402 |    75752 |     5529     22 |        0 |        0
166.57/166.66	c  166s |      14 |   111394 |    76652 |     5529     22 |        0 |        0
168.87/168.94	c  168s |      14 |   112396 |    77552 |     5529     23 |        0 |        0
170.97/171.06	c  170s |      14 |   113483 |    78552 |     5529     23 |        0 |        0
173.27/173.33	c  173s |      14 |   114703 |    79652 |     5529     23 |        0 |        0
175.27/175.36	c  175s |      14 |   115679 |    80552 |     5529     23 |        0 |        0
177.27/177.37	c  177s |      14 |   116526 |    81352 |     5529     23 |        0 |        0
179.27/179.40	c  179s |      14 |   117373 |    82152 |     5529     24 |        0 |        0
181.47/181.54	c  181s |      14 |   118625 |    83252 |     5529     24 |        0 |        0
183.67/183.78	c  183s |      14 |   119623 |    84152 |     5529     24 |        0 |        0
185.87/185.97	c  185s |      14 |   120605 |    85052 |     5529     24 |        0 |        0
188.17/188.28	c  188s |      14 |   121684 |    85952 |     5529     25 |        0 |        0
190.37/190.41	c  190s |      14 |   122764 |    86952 |     5529     25 |        0 |        0
191.76/191.88	c  191s |      15 |   123512 |    87632 |     6082     25 |        0 |        0
193.86/193.95	c  193s |      15 |   127014 |    88832 |     6082     26 |        0 |        0
196.06/196.11	c  195s |      15 |   128447 |    90032 |     6082     26 |        0 |        0
198.06/198.11	c  197s |      15 |   129716 |    91132 |     6082     26 |        0 |        0
200.26/200.33	c  200s |      15 |   130836 |    92132 |     6082     26 |        0 |        0
202.26/202.39	c  202s |      15 |   131875 |    93032 |     6082     26 |        0 |        0
204.35/204.48	c  204s |      15 |   132763 |    93832 |     6082     27 |        0 |        0
206.65/206.70	c  206s |      15 |   133771 |    94732 |     6082     27 |        0 |        0
208.76/208.85	c  208s |      15 |   134643 |    95532 |     6082     27 |        0 |        0
210.76/210.88	c  210s |      15 |   135433 |    96232 |     6082     27 |        0 |        0
212.86/212.99	c  212s |      15 |   136202 |    96932 |     6082     27 |        0 |        0
214.96/215.02	c  214s |      15 |   136980 |    97632 |     6082     27 |        0 |        0
217.16/217.27	c  217s |      15 |   137742 |    98332 |     6082     28 |        0 |        0
219.46/219.53	c  219s |      15 |   138756 |    99232 |     6082     28 |        0 |        0
221.66/221.72	c  221s |      15 |   139634 |   100032 |     6082     28 |        0 |        0
223.76/223.89	c  223s |      15 |   140422 |   100732 |     6082     28 |        0 |        0
225.96/226.05	c  225s |      15 |   141063 |   101332 |     6082     28 |        0 |        0
228.46/228.55	c  228s |      15 |   141865 |   102032 |     6082     29 |        0 |        0
230.66/230.77	c  230s |      15 |   142637 |   102732 |     6082     29 |        0 |        0
232.66/232.78	c  232s |      15 |   143702 |   103632 |     6082     29 |        0 |        0
234.85/234.98	c  234s |      15 |   144591 |   104432 |     6082     29 |        0 |        0
236.95/237.04	c  236s |      15 |   145385 |   105132 |     6082     29 |        0 |        0
239.15/239.26	c  239s |      15 |   146323 |   105932 |     6082     29 |        0 |        0
241.15/241.27	c  241s |      15 |   147374 |   106832 |     6082     30 |        0 |        0
243.16/243.29	c  243s |      15 |   148525 |   107832 |     6082     30 |        0 |        0
245.45/245.53	c  245s |      15 |   149672 |   108832 |     6082     30 |        0 |        0
247.65/247.73	c  247s |      15 |   150690 |   109732 |     6082     30 |        0 |        0
249.76/249.86	c  249s |      15 |   151580 |   110532 |     6082     30 |        0 |        0
251.75/251.89	c  251s |      15 |   152483 |   111332 |     6082     31 |        0 |        0
253.95/254.10	c  253s |      15 |   153490 |   112232 |     6082     31 |        0 |        0
256.05/256.15	c  255s |      15 |   154410 |   113032 |     6082     31 |        0 |        0
258.15/258.24	c  258s |      15 |   155177 |   113732 |     6082     31 |        0 |        0
260.15/260.27	c  260s |      15 |   155936 |   114432 |     6082     31 |        0 |        0
262.25/262.34	c  262s |      15 |   156619 |   115032 |     6082     32 |        0 |        0
264.35/264.41	c  264s |      15 |   157516 |   115832 |     6082     32 |        0 |        0
266.55/266.61	c  266s |      15 |   158293 |   116532 |     6082     32 |        0 |        0
268.65/268.71	c  268s |      15 |   159123 |   117232 |     6082     32 |        0 |        0
270.95/271.04	c  270s |      15 |   160180 |   118132 |     6082     32 |        0 |        0
273.05/273.13	c  272s |      15 |   160962 |   118832 |     6082     32 |        0 |        0
275.15/275.24	c  275s |      15 |   161655 |   119432 |     6082     33 |        0 |        0
277.34/277.43	c  277s |      15 |   162689 |   120332 |     6082     33 |        0 |        0
279.54/279.66	c  279s |      15 |   163594 |   121132 |     6082     33 |        0 |        0
281.84/281.92	c  281s |      15 |   164482 |   121932 |     6082     33 |        0 |        0
283.85/283.99	c  283s |      15 |   165260 |   122632 |     6082     33 |        0 |        0
286.05/286.14	c  285s |      15 |   166052 |   123332 |     6082     33 |        0 |        0
288.16/288.21	c  287s |      15 |   166716 |   123932 |     6082     34 |        0 |        0
290.36/290.46	c  290s |      15 |   167637 |   124732 |     6082     34 |        0 |        0
292.56/292.68	c  292s |      15 |   168415 |   125432 |     6082     34 |        0 |        0
294.76/294.85	c  294s |      15 |   169220 |   126132 |     6082     34 |        0 |        0
296.95/297.01	c  296s |      15 |   170128 |   126932 |     6082     34 |        0 |        0
298.95/299.06	c  298s |      15 |   170926 |   127632 |     6082     34 |        0 |        0
300.95/301.09	c  300s |      15 |   171598 |   128232 |     6082     35 |        0 |        0
303.24/303.30	c  303s |      15 |   172626 |   129132 |     6082     35 |        0 |        0
305.24/305.39	c  305s |      15 |   173459 |   129832 |     6082     35 |        0 |        0
307.34/307.41	c  307s |      15 |   174294 |   130532 |     6082     35 |        0 |        0
309.34/309.43	c  309s |      15 |   175105 |   131232 |     6691     35 |        0 |        0
310.25/310.37	c  310s |      16 |   175498 |   131552 |     6691     35 |        0 |        0
312.45/312.51	c  312s |      16 |   179364 |   132552 |     6691     36 |        0 |        0
314.44/314.56	c  314s |      16 |   180273 |   133352 |     6691     36 |        0 |        0
316.44/316.58	c  316s |      16 |   181195 |   134152 |     6691     36 |        0 |        0
318.64/318.71	c  318s |      16 |   182241 |   135052 |     6691     36 |        0 |        0
320.84/320.94	c  320s |      16 |   183416 |   136052 |     6691     36 |        0 |        0
322.84/322.95	c  322s |      16 |   184320 |   136852 |     6691     36 |        0 |        0
324.94/325.10	c  324s |      16 |   185105 |   137552 |     6691     36 |        0 |        0
327.14/327.24	c  327s |      16 |   185778 |   138152 |     6691     37 |        0 |        0
329.34/329.43	c  329s |      16 |   186503 |   138752 |     6691     37 |        0 |        0
331.54/331.67	c  331s |      16 |   187188 |   139352 |     6691     37 |        0 |        0
333.74/333.86	c  333s |      16 |   187850 |   139952 |     6691     37 |        0 |        0
336.04/336.11	c  335s |      16 |   188572 |   140552 |     6691     37 |        0 |        0
338.14/338.20	c  337s |      16 |   189121 |   141052 |     6691     37 |        0 |        0
340.24/340.39	c  340s |      16 |   189710 |   141552 |     6691     37 |        0 |        0
342.54/342.62	c  342s |      16 |   190181 |   141952 |     6691     37 |        0 |        0
344.84/344.99	c  344s |      16 |   190722 |   142452 |     6691     37 |        0 |        0
347.04/347.18	c  346s |      16 |   191167 |   142852 |     6691     37 |        0 |        0
349.63/349.71	c  349s |      16 |   191749 |   143352 |     6691     38 |        0 |        0
351.63/351.77	c  351s |      16 |   192440 |   143952 |     6691     38 |        0 |        0
354.04/354.12	c  353s |      16 |   192991 |   144452 |     6691     38 |        0 |        0
356.23/356.39	c  356s |      16 |   193652 |   145052 |     6691     38 |        0 |        0
358.44/358.55	c  358s |      16 |   194310 |   145652 |     6691     38 |        0 |        0
360.64/360.77	c  360s |      16 |   194843 |   146152 |     6691     38 |        0 |        0
362.74/362.87	c  362s |      16 |   195410 |   146652 |     6691     38 |        0 |        0
365.14/365.22	c  364s |      16 |   196117 |   147252 |     6691     38 |        0 |        0
367.34/367.46	c  367s |      16 |   196654 |   147752 |     6691     38 |        0 |        0
369.43/369.52	c  369s |      16 |   197327 |   148352 |     6691     38 |        0 |        0
371.53/371.69	c  371s |      16 |   197886 |   148852 |     6691     39 |        0 |        0
373.64/373.77	c  373s |      16 |   198668 |   149552 |     6691     39 |        0 |        0
375.94/376.04	c  375s |      16 |   199546 |   150352 |     6691     39 |        0 |        0
377.93/378.05	c  377s |      16 |   200210 |   150952 |     6691     39 |        0 |        0
380.03/380.13	c  379s |      16 |   200866 |   151552 |     6691     39 |        0 |        0
382.23/382.32	c  382s |      16 |   201531 |   152152 |     6691     39 |        0 |        0
384.43/384.53	c  384s |      16 |   202317 |   152852 |     6691     39 |        0 |        0
386.43/386.57	c  386s |      16 |   202981 |   153452 |     6691     39 |        0 |        0
388.53/388.65	c  388s |      16 |   203460 |   153852 |     6691     40 |        0 |        0
390.63/390.70	c  390s |      16 |   204117 |   154452 |     6691     40 |        0 |        0
392.63/392.75	c  392s |      16 |   204774 |   155052 |     6691     40 |        0 |        0
394.63/394.76	c  394s |      16 |   205353 |   155552 |     6691     40 |        0 |        0
396.92/397.00	c  396s |      16 |   206133 |   156252 |     6691     40 |        0 |        0
399.13/399.22	c  398s |      16 |   206795 |   156852 |     6691     40 |        0 |        0
401.44/401.57	c  401s |      16 |   207454 |   157452 |     6691     40 |        0 |        0
403.63/403.75	c  403s |      16 |   208119 |   158052 |     6691     40 |        0 |        0
405.73/405.85	c  405s |      16 |   208910 |   158752 |     6691     40 |        0 |        0
407.83/407.96	c  407s |      16 |   209362 |   159152 |     6691     41 |        0 |        0
410.03/410.13	c  409s |      16 |   210160 |   159852 |     6691     41 |        0 |        0
412.23/412.33	c  412s |      16 |   210956 |   160552 |     6691     41 |        0 |        0
414.53/414.64	c  414s |      16 |   211619 |   161152 |     6691     41 |        0 |        0
416.84/417.00	c  416s |      16 |   212325 |   161752 |     6691     41 |        0 |        0
419.04/419.12	c  418s |      16 |   213004 |   162352 |     6691     41 |        0 |        0
421.24/421.39	c  421s |      16 |   213685 |   162952 |     6691     41 |        0 |        0
423.43/423.52	c  423s |      16 |   214235 |   163452 |     6691     41 |        0 |        0
425.42/425.57	c  425s |      16 |   214799 |   163952 |     6691     41 |        0 |        0
427.62/427.77	c  427s |      16 |   215245 |   164352 |     6691     42 |        0 |        0
429.93/430.04	c  429s |      16 |   215824 |   164852 |     6691     42 |        0 |        0
432.13/432.22	c  431s |      16 |   216793 |   165652 |     6691     42 |        0 |        0
434.32/434.43	c  434s |      16 |   217621 |   166352 |     6691     42 |        0 |        0
436.42/436.52	c  436s |      16 |   218437 |   167052 |     6691     42 |        0 |        0
438.42/438.52	c  438s |      16 |   218994 |   167552 |     6691     42 |        0 |        0
440.43/440.58	c  440s |      16 |   219441 |   167952 |     6691     42 |        0 |        0
442.72/442.86	c  442s |      16 |   220125 |   168552 |     6691     42 |        0 |        0
445.12/445.29	c  445s |      16 |   220708 |   169052 |     6691     42 |        0 |        0
447.52/447.62	c  447s |      16 |   221175 |   169452 |     6691     43 |        0 |        0
449.62/449.79	c  449s |      16 |   221733 |   169952 |     6691     43 |        0 |        0
451.72/451.87	c  451s |      16 |   222418 |   170552 |     6691     43 |        0 |        0
454.02/454.13	c  453s |      16 |   223313 |   171352 |     6691     43 |        0 |        0
456.12/456.29	c  456s |      16 |   224146 |   172052 |     6691     43 |        0 |        0
458.22/458.34	c  458s |      16 |   224853 |   172652 |     6691     43 |        0 |        0
460.22/460.39	c  460s |      16 |   225518 |   173252 |     6691     43 |        0 |        0
462.32/462.44	c  462s |      16 |   226202 |   173852 |     6691     43 |        0 |        0
464.32/464.49	c  464s |      16 |   226786 |   174352 |     6691     43 |        0 |        0
466.62/466.76	c  466s |      16 |   227243 |   174752 |     6691     44 |        0 |        0
468.63/468.76	c  468s |      16 |   227815 |   175252 |     6691     44 |        0 |        0
470.82/470.94	c  470s |      16 |   228516 |   175852 |     6691     44 |        0 |        0
472.92/473.08	c  472s |      16 |   229094 |   176352 |     6691     44 |        0 |        0
475.22/475.33	c  475s |      16 |   229784 |   176952 |     6691     44 |        0 |        0
477.51/477.66	c  477s |      16 |   230461 |   177552 |     6691     44 |        0 |        0
480.02/480.16	c  479s |      16 |   231056 |   178052 |     6691     44 |        0 |        0
482.32/482.44	c  482s |      16 |   231728 |   178652 |     6691     44 |        0 |        0
484.71/484.83	c  484s |      16 |   232383 |   179252 |     6691     44 |        0 |        0
486.92/487.05	c  486s |      16 |   232942 |   179752 |     6691     44 |        0 |        0
489.12/489.22	c  488s |      16 |   233390 |   180152 |     6691     45 |        0 |        0
491.31/491.44	c  491s |      16 |   234451 |   181052 |     6691     45 |        0 |        0
493.51/493.66	c  493s |      16 |   235384 |   181852 |     6691     45 |        0 |        0
495.91/496.08	c  495s |      16 |   236182 |   182552 |     6691     45 |        0 |        0
498.02/498.16	c  497s |      16 |   236735 |   183052 |     6691     45 |        0 |        0
500.32/500.45	c  500s |      16 |   237411 |   183652 |     6691     45 |        0 |        0
502.52/502.70	c  502s |      16 |   238083 |   184252 |     6691     45 |        0 |        0
504.72/504.86	c  504s |      16 |   238769 |   184852 |     6691     45 |        0 |        0
507.12/507.23	c  507s |      16 |   239321 |   185352 |     6691     46 |        0 |        0
509.42/509.58	c  509s |      16 |   240025 |   185952 |     6691     46 |        0 |        0
511.71/511.81	c  511s |      16 |   240723 |   186552 |     6691     46 |        0 |        0
514.01/514.13	c  513s |      16 |   241536 |   187252 |     6691     46 |        0 |        0
516.21/516.39	c  516s |      16 |   242099 |   187752 |     6691     46 |        0 |        0
518.51/518.68	c  518s |      16 |   242669 |   188252 |     6691     46 |        0 |        0
520.71/520.80	c  520s |      16 |   243118 |   188652 |     6691     46 |        0 |        0
522.91/523.08	c  522s |      16 |   243543 |   189052 |     6691     46 |        0 |        0
525.41/525.56	c  525s |      16 |   244127 |   189552 |     6691     46 |        0 |        0
527.61/527.70	c  527s |      16 |   244707 |   190052 |     6691     46 |        0 |        0
529.61/529.73	c  529s |      16 |   245283 |   190552 |     6691     47 |        0 |        0
531.71/531.80	c  531s |      16 |   246201 |   191352 |     6691     47 |        0 |        0
534.01/534.15	c  533s |      16 |   247110 |   192152 |     6691     47 |        0 |        0
536.21/536.34	c  536s |      16 |   247949 |   192852 |     6691     47 |        0 |        0
538.21/538.34	c  538s |      16 |   248651 |   193452 |     6691     47 |        0 |        0
540.41/540.51	c  540s |      16 |   249336 |   194052 |     6691     47 |        0 |        0
542.51/542.63	c  542s |      16 |   249911 |   194552 |     6691     47 |        0 |        0
544.61/544.71	c  544s |      16 |   250506 |   195052 |     6691     47 |        0 |        0
547.51/547.60	c  547s |      16 |   251208 |   195652 |     6691     48 |        0 |        0
549.51/549.61	c  549s |      16 |   251934 |   196252 |     7361     48 |        0 |        0
551.70/551.84	c  551s |      16 |   252667 |   196852 |     7361     48 |        0 |        0
553.80/553.98	c  553s |      17 |   253335 |   197432 |     7361     48 |        0 |        0
556.00/556.11	c  555s |      17 |   256208 |   198732 |     7361     48 |        0 |        0
558.10/558.22	c  557s |      17 |   257449 |   199832 |     7361     49 |        0 |        0
560.10/560.26	c  560s |      17 |   258700 |   200932 |     7361     49 |        0 |        0
562.20/562.31	c  562s |      17 |   259810 |   201932 |     7361     49 |        0 |        0
564.21/564.35	c  564s |      17 |   260885 |   202932 |     7361     49 |        0 |        0
566.30/566.43	c  566s |      17 |   261975 |   203932 |     7361     49 |        0 |        0
568.30/568.48	c  568s |      17 |   262986 |   204832 |     7361     50 |        0 |        0
570.51/570.61	c  570s |      17 |   264084 |   205832 |     7361     50 |        0 |        0
572.61/572.73	c  572s |      17 |   265170 |   206832 |     7361     50 |        0 |        0
574.81/574.93	c  574s |      17 |   266270 |   207832 |     7361     50 |        0 |        0
577.01/577.15	c  576s |      17 |   267264 |   208732 |     7361     50 |        0 |        0
579.11/579.21	c  578s |      17 |   268147 |   209532 |     7361     51 |        0 |        0
581.11/581.27	c  581s |      17 |   269132 |   210432 |     7361     51 |        0 |        0
583.31/583.40	c  583s |      17 |   270223 |   211432 |     7361     51 |        0 |        0
585.31/585.43	c  585s |      17 |   271140 |   212232 |     7361     51 |        0 |        0
587.50/587.61	c  587s |      17 |   272138 |   213132 |     7361     51 |        0 |        0
590.10/590.23	c  590s |      17 |   273200 |   214032 |     7361     52 |        0 |        0
592.30/592.49	c  592s |      17 |   274229 |   214932 |     7361     52 |        0 |        0
594.40/594.57	c  594s |      17 |   275127 |   215732 |     7361     52 |        0 |        0
596.70/596.80	c  596s |      17 |   276036 |   216532 |     7361     52 |        0 |        0
598.70/598.88	c  598s |      17 |   276829 |   217232 |     7361     52 |        0 |        0
600.80/600.96	c  600s |      17 |   277768 |   218032 |     7361     52 |        0 |        0
603.00/603.17	c  602s |      17 |   278591 |   218732 |     7361     53 |        0 |        0
605.20/605.32	c  605s |      17 |   279484 |   219532 |     7361     53 |        0 |        0
607.50/607.61	c  607s |      17 |   280350 |   220332 |     7361     53 |        0 |        0
609.60/609.76	c  609s |      17 |   281099 |   221032 |     7361     53 |        0 |        0
611.70/611.84	c  611s |      17 |   281976 |   221832 |     7361     53 |        0 |        0
613.71/613.86	c  613s |      17 |   282848 |   222632 |     7361     53 |        0 |        0
616.10/616.20	c  615s |      17 |   283718 |   223432 |     7361     54 |        0 |        0
618.21/618.34	c  618s |      17 |   284588 |   224232 |     7361     54 |        0 |        0
620.41/620.52	c  620s |      17 |   285691 |   225232 |     7361     54 |        0 |        0
622.40/622.59	c  622s |      17 |   286562 |   226032 |     7361     54 |        0 |        0
624.50/624.66	c  624s |      17 |   287554 |   226932 |     7361     54 |        0 |        0
626.60/626.73	c  626s |      17 |   288542 |   227832 |     7361     54 |        0 |        0
628.70/628.81	c  628s |      17 |   289529 |   228732 |     7361     55 |        0 |        0
630.70/630.88	c  630s |      17 |   290635 |   229732 |     7361     55 |        0 |        0
632.80/632.99	c  632s |      17 |   291592 |   230632 |     7361     55 |        0 |        0
635.10/635.22	c  634s |      17 |   292596 |   231532 |     7361     55 |        0 |        0
637.10/637.30	c  637s |      17 |   293450 |   232332 |     7361     55 |        0 |        0
639.30/639.41	c  639s |      17 |   294434 |   233232 |     7361     56 |        0 |        0
641.40/641.57	c  641s |      17 |   295407 |   234132 |     7361     56 |        0 |        0
643.60/643.78	c  643s |      17 |   296399 |   235032 |     7361     56 |        0 |        0
645.89/646.05	c  645s |      17 |   297374 |   235932 |     7361     56 |        0 |        0
648.19/648.33	c  648s |      17 |   298363 |   236832 |     7361     56 |        0 |        0
650.39/650.53	c  650s |      17 |   299246 |   237632 |     7361     57 |        0 |        0
652.49/652.61	c  652s |      17 |   300261 |   238532 |     7361     57 |        0 |        0
654.49/654.70	c  654s |      17 |   301219 |   239432 |     7361     57 |        0 |        0
656.59/656.73	c  656s |      17 |   302196 |   240332 |     7361     57 |        0 |        0
658.59/658.76	c  658s |      17 |   303222 |   241232 |     7361     57 |        0 |        0
660.59/660.79	c  660s |      17 |   304098 |   242032 |     7361     57 |        0 |        0
662.69/662.81	c  662s |      17 |   304980 |   242832 |     7361     58 |        0 |        0
664.88/665.01	c  664s |      17 |   306084 |   243832 |     7361     58 |        0 |        0
666.98/667.13	c  666s |      17 |   307114 |   244732 |     7361     58 |        0 |        0
668.98/669.18	c  668s |      17 |   308023 |   245532 |     7361     58 |        0 |        0
671.18/671.34	c  671s |      17 |   309024 |   246432 |     7361     58 |        0 |        0
673.38/673.51	c  673s |      17 |   309935 |   247232 |     7361     59 |        0 |        0
675.38/675.57	c  675s |      17 |   310715 |   247932 |     7361     59 |        0 |        0
677.48/677.64	c  677s |      17 |   311751 |   248832 |     7361     59 |        0 |        0
679.57/679.70	c  679s |      17 |   312535 |   249532 |     7361     59 |        0 |        0
681.77/682.00	c  681s |      17 |   313712 |   250432 |     7361     59 |        0 |        0
683.87/684.02	c  683s |      17 |   314650 |   251232 |     7361     59 |        0 |        0
685.86/686.05	c  685s |      17 |   315439 |   251932 |     7361     60 |        0 |        0
687.96/688.12	c  687s |      17 |   316149 |   252532 |     7361     60 |        0 |        0
690.16/690.37	c  690s |      17 |   317014 |   253332 |     7361     60 |        0 |        0
692.16/692.39	c  692s |      17 |   317776 |   254032 |     7361     60 |        0 |        0
694.26/694.40	c  694s |      17 |   318422 |   254632 |     7361     60 |        0 |        0
696.46/696.69	c  696s |      17 |   319167 |   255332 |     7361     60 |        0 |        0
698.56/698.74	c  698s |      17 |   319828 |   255932 |     7361     60 |        0 |        0
700.57/700.75	c  700s |      17 |   320748 |   256732 |     7361     61 |        0 |        0
702.66/702.84	c  702s |      17 |   321736 |   257632 |     7361     61 |        0 |        0
704.65/704.88	c  704s |      17 |   322746 |   258532 |     7361     61 |        0 |        0
706.75/706.90	c  706s |      17 |   323621 |   259332 |     7361     61 |        0 |        0
708.85/709.05	c  708s |      17 |   324516 |   260132 |     7361     61 |        0 |        0
710.95/711.17	c  710s |      17 |   325170 |   260732 |     7361     61 |        0 |        0
713.25/713.40	c  713s |      17 |   325918 |   261432 |     7361     62 |        0 |        0
715.25/715.43	c  715s |      17 |   326864 |   262232 |     7361     62 |        0 |        0
717.35/717.56	c  717s |      17 |   327785 |   263032 |     7361     62 |        0 |        0
719.35/719.56	c  719s |      17 |   328549 |   263732 |     7361     62 |        0 |        0
721.55/721.76	c  721s |      17 |   329413 |   264532 |     7361     62 |        0 |        0
723.54/723.76	c  723s |      17 |   330239 |   265232 |     7361     62 |        0 |        0
725.64/725.86	c  725s |      17 |   331178 |   266032 |     7361     63 |        0 |        0
727.84/728.01	c  727s |      17 |   332183 |   266932 |     7361     63 |        0 |        0
730.04/730.22	c  729s |      17 |   333185 |   267832 |     7361     63 |        0 |        0
732.14/732.30	c  732s |      17 |   334165 |   268732 |     7361     63 |        0 |        0
734.33/734.57	c  734s |      17 |   334942 |   269432 |     7361     63 |        0 |        0
736.53/736.77	c  736s |      17 |   335936 |   270332 |     7361     63 |        0 |        0
738.83/739.04	c  738s |      17 |   336837 |   271132 |     7361     64 |        0 |        0
740.83/741.09	c  740s |      17 |   337703 |   271932 |     7361     64 |        0 |        0
742.93/743.16	c  742s |      17 |   338586 |   272732 |     7361     64 |        0 |        0
745.03/745.22	c  744s |      17 |   339373 |   273432 |     7361     64 |        0 |        0
747.23/747.44	c  747s |      17 |   340363 |   274332 |     7361     64 |        0 |        0
749.33/749.50	c  749s |      17 |   341242 |   275132 |     7361     64 |        0 |        0
751.33/751.56	c  751s |      17 |   342133 |   275932 |     7361     65 |        0 |        0
753.53/753.77	c  753s |      17 |   343117 |   276832 |     7361     65 |        0 |        0
755.72/755.96	c  755s |      17 |   344338 |   277832 |     7361     65 |        0 |        0
757.83/758.03	c  757s |      17 |   345242 |   278632 |     7361     65 |        0 |        0
760.03/760.27	c  760s |      17 |   346164 |   279432 |     7361     65 |        0 |        0
762.02/762.28	c  762s |      17 |   346960 |   280132 |     7361     66 |        0 |        0
764.22/764.40	c  764s |      17 |   347939 |   281032 |     7361     66 |        0 |        0
766.22/766.41	c  766s |      17 |   348951 |   281932 |     7361     66 |        0 |        0
768.32/768.59	c  768s |      17 |   349942 |   282832 |     7361     66 |        0 |        0
770.52/770.72	c  770s |      17 |   350938 |   283732 |     7361     66 |        0 |        0
772.52/772.75	c  772s |      17 |   351821 |   284532 |     7361     66 |        0 |        0
774.72/774.95	c  774s |      17 |   352808 |   285432 |     7361     67 |        0 |        0
776.92/777.13	c  776s |      17 |   353807 |   286332 |     7361     67 |        0 |        0
779.02/779.26	c  779s |      17 |   354694 |   287132 |     7361     67 |        0 |        0
781.02/781.29	c  781s |      17 |   355552 |   287932 |     7361     67 |        0 |        0
783.13/783.37	c  783s |      17 |   356411 |   288732 |     7361     67 |        0 |        0
785.32/785.53	c  785s |      17 |   357073 |   289332 |     7361     68 |        0 |        0
787.42/787.66	c  787s |      17 |   357934 |   290132 |     7361     68 |        0 |        0
789.52/789.73	c  789s |      17 |   358840 |   290932 |     7361     68 |        0 |        0
791.72/791.98	c  791s |      17 |   359792 |   291832 |     7361     68 |        0 |        0
793.71/793.99	c  793s |      17 |   360550 |   292532 |     7361     68 |        0 |        0
796.01/796.24	c  796s |      17 |   361288 |   293232 |     7361     68 |        0 |        0
798.01/798.25	c  798s |      17 |   362122 |   293932 |     7361     68 |        0 |        0
800.01/800.27	c  800s |      17 |   363059 |   294732 |     8098     69 |        0 |        0
802.01/802.28	c  802s |      17 |   364200 |   295732 |     8098     69 |        0 |        0
803.31/803.50	c  803s |      18 |   364766 |   296252 |     8098     69 |        0 |        0
805.31/805.54	c  805s |      18 |   367693 |   297752 |     8098     69 |        0 |        0
807.51/807.70	c  807s |      18 |   369191 |   299052 |     8098     69 |        0 |        0
809.61/809.88	c  809s |      18 |   370385 |   300152 |     8098     70 |        0 |        0
811.81/812.00	c  811s |      18 |   371586 |   301252 |     8098     70 |        0 |        0
813.81/814.02	c  813s |      18 |   372668 |   302252 |     8098     70 |        0 |        0
815.90/816.11	c  815s |      18 |   373772 |   303252 |     8098     70 |        0 |        0
818.00/818.21	c  817s |      18 |   374761 |   304152 |     8098     70 |        0 |        0
820.41/820.67	c  820s |      18 |   375730 |   305052 |     8098     71 |        0 |        0
822.50/822.76	c  822s |      18 |   376699 |   305952 |     8098     71 |        0 |        0
824.59/824.80	c  824s |      18 |   377670 |   306852 |     8098     71 |        0 |        0
826.59/826.85	c  826s |      18 |   378838 |   307852 |     8098     71 |        0 |        0
828.69/828.93	c  828s |      18 |   379838 |   308752 |     8098     71 |        0 |        0
830.69/830.99	c  830s |      18 |   380837 |   309652 |     8098     71 |        0 |        0
832.79/833.08	c  832s |      18 |   381723 |   310452 |     8098     72 |        0 |        0
834.89/835.17	c  834s |      18 |   382700 |   311352 |     8098     72 |        0 |        0
836.89/837.19	c  836s |      18 |   383506 |   312052 |     8098     72 |        0 |        0
839.19/839.45	c  839s |      18 |   384508 |   312952 |     8098     72 |        0 |        0
841.29/841.51	c  841s |      18 |   385301 |   313652 |     8098     72 |        0 |        0
843.39/843.67	c  843s |      18 |   386063 |   314352 |     8098     72 |        0 |        0
845.59/845.89	c  845s |      18 |   386824 |   315052 |     8098     72 |        0 |        0
847.99/848.25	c  848s |      18 |   387572 |   315752 |     8098     73 |        0 |        0
850.09/850.34	c  850s |      18 |   388448 |   316552 |     8098     73 |        0 |        0
852.18/852.41	c  852s |      18 |   389316 |   317352 |     8098     73 |        0 |        0
854.28/854.58	c  854s |      18 |   390170 |   318152 |     8098     73 |        0 |        0
856.58/856.80	c  856s |      18 |   391022 |   318952 |     8098     73 |        0 |        0
858.68/858.99	c  858s |      18 |   391920 |   319752 |     8098     73 |        0 |        0
860.88/861.10	c  860s |      18 |   392778 |   320552 |     8098     73 |        0 |        0
862.98/863.24	c  863s |      18 |   393434 |   321152 |     8098     74 |        0 |        0
865.18/865.47	c  865s |      18 |   394423 |   322052 |     8098     74 |        0 |        0
867.38/867.61	c  867s |      18 |   395282 |   322852 |     8098     74 |        0 |        0
869.38/869.69	c  869s |      18 |   396254 |   323752 |     8098     74 |        0 |        0
871.68/871.96	c  871s |      18 |   397109 |   324552 |     8098     74 |        0 |        0
873.97/874.20	c  873s |      18 |   397868 |   325252 |     8098     74 |        0 |        0
875.97/876.25	c  876s |      18 |   398518 |   325852 |     8098     75 |        0 |        0
878.07/878.36	c  878s |      18 |   399299 |   326552 |     8098     75 |        0 |        0
880.17/880.46	c  880s |      18 |   400256 |   327452 |     8098     75 |        0 |        0
882.37/882.64	c  882s |      18 |   401231 |   328352 |     8098     75 |        0 |        0
884.56/884.80	c  884s |      18 |   402078 |   329152 |     8098     75 |        0 |        0
886.66/886.92	c  886s |      18 |   402958 |   329952 |     8098     75 |        0 |        0
888.86/889.14	c  888s |      18 |   403822 |   330752 |     8098     75 |        0 |        0
890.96/891.25	c  891s |      18 |   404570 |   331452 |     8098     76 |        0 |        0
893.26/893.51	c  893s |      18 |   405430 |   332252 |     8098     76 |        0 |        0
895.36/895.68	c  895s |      18 |   406284 |   333052 |     8098     76 |        0 |        0
897.46/897.73	c  897s |      18 |   407062 |   333752 |     8098     76 |        0 |        0
899.56/899.87	c  899s |      18 |   407814 |   334452 |     8098     76 |        0 |        0
901.86/902.11	c  901s |      18 |   408585 |   335152 |     8098     76 |        0 |        0
904.15/904.41	c  904s |      18 |   409340 |   335852 |     8098     76 |        0 |        0
906.35/906.64	c  906s |      18 |   409976 |   336452 |     8098     77 |        0 |        0
908.46/908.76	c  908s |      18 |   410925 |   337352 |     8098     77 |        0 |        0
910.45/910.76	c  910s |      18 |   411779 |   338152 |     8098     77 |        0 |        0
912.55/912.84	c  912s |      18 |   412692 |   338952 |     8098     77 |        0 |        0
914.85/915.13	c  914s |      18 |   413590 |   339752 |     8098     77 |        0 |        0
917.05/917.31	c  917s |      18 |   414597 |   340652 |     8098     77 |        0 |        0
919.55/919.80	c  919s |      18 |   415587 |   341552 |     8098     78 |        0 |        0
921.75/922.02	c  921s |      18 |   416654 |   342552 |     8098     78 |        0 |        0
923.85/924.14	c  923s |      18 |   417651 |   343452 |     8098     78 |        0 |        0
926.05/926.39	c  926s |      18 |   418630 |   344352 |     8098     78 |        0 |        0
928.34/928.61	c  928s |      18 |   419621 |   345252 |     8098     78 |        0 |        0
930.54/930.84	c  930s |      18 |   420492 |   346052 |     8098     78 |        0 |        0
933.15/933.41	c  933s |      18 |   421262 |   346752 |     8098     79 |        0 |        0
935.24/935.50	c  935s |      18 |   422033 |   347452 |     8098     79 |        0 |        0
937.34/937.68	c  937s |      18 |   423056 |   348352 |     8098     79 |        0 |        0
939.34/939.68	c  939s |      18 |   424041 |   349252 |     8098     79 |        0 |        0
941.45/941.73	c  941s |      18 |   425021 |   350152 |     8098     79 |        0 |        0
943.44/943.76	c  943s |      18 |   425880 |   350952 |     8098     79 |        0 |        0
945.54/945.85	c  945s |      18 |   426861 |   351852 |     8098     79 |        0 |        0
947.64/947.96	c  947s |      18 |   427729 |   352652 |     8098     80 |        0 |        0
949.84/950.15	c  949s |      18 |   428697 |   353552 |     8098     80 |        0 |        0
952.04/952.37	c  952s |      18 |   429680 |   354452 |     8098     80 |        0 |        0
954.03/954.39	c  954s |      18 |   430447 |   355152 |     8098     80 |        0 |        0
956.13/956.43	c  956s |      18 |   431323 |   355952 |     8098     80 |        0 |        0
958.13/958.47	c  958s |      18 |   431975 |   356552 |     8098     80 |        0 |        0
960.33/960.61	c  960s |      18 |   432872 |   357352 |     8098     81 |        0 |        0
962.43/962.74	c  962s |      18 |   433970 |   358352 |     8098     81 |        0 |        0
964.63/964.97	c  964s |      18 |   435050 |   359352 |     8098     81 |        0 |        0
966.73/967.04	c  966s |      18 |   435907 |   360152 |     8098     81 |        0 |        0
968.93/969.28	c  969s |      18 |   436757 |   360952 |     8098     81 |        0 |        0
971.03/971.39	c  971s |      18 |   437503 |   361652 |     8098     81 |        0 |        0
973.13/973.46	c  973s |      18 |   438051 |   362152 |     8098     81 |        0 |        0
975.32/975.63	c  975s |      18 |   438605 |   362652 |     8098     82 |        0 |        0
977.42/977.73	c  977s |      18 |   439374 |   363352 |     8098     82 |        0 |        0
979.52/979.86	c  979s |      18 |   440482 |   364252 |     8098     82 |        0 |        0
981.82/982.13	c  981s |      18 |   441589 |   365152 |     8098     82 |        0 |        0
983.81/984.19	c  983s |      18 |   442377 |   365852 |     8098     82 |        0 |        0
985.91/986.26	c  986s |      18 |   443183 |   366552 |     8098     82 |        0 |        0
988.01/988.38	c  988s |      18 |   443969 |   367252 |     8098     82 |        0 |        0
990.11/990.44	c  990s |      18 |   444630 |   367852 |     8098     83 |        0 |        0
992.11/992.48	c  992s |      18 |   445414 |   368552 |     8098     83 |        0 |        0
994.30/994.61	c  994s |      18 |   446413 |   369452 |     8098     83 |        0 |        0
996.41/996.70	c  996s |      18 |   447308 |   370252 |     8098     83 |        0 |        0
998.61/998.90	c  998s |      18 |   448071 |   370952 |     8098     83 |        0 |        0
1000.71/1001.04	c 1000s |      18 |   448855 |   371652 |     8098     83 |        0 |        0
1002.80/1003.15	c 1002s |      18 |   449660 |   372352 |     8098     83 |        0 |        0
1005.00/1005.31	c 1005s |      18 |   450325 |   372952 |     8098     84 |        0 |        0
1007.10/1007.45	c 1007s |      18 |   451172 |   373752 |     8098     84 |        0 |        0
1009.30/1009.69	c 1009s |      18 |   451978 |   374452 |     8098     84 |        0 |        0
1011.40/1011.75	c 1011s |      18 |   452722 |   375152 |     8098     84 |        0 |        0
1013.50/1013.82	c 1013s |      18 |   453496 |   375852 |     8098     84 |        0 |        0
1015.59/1015.98	c 1015s |      18 |   454406 |   376652 |     8098     84 |        0 |        0
1017.80/1018.12	c 1017s |      18 |   455280 |   377452 |     8098     84 |        0 |        0
1019.90/1020.23	c 1020s |      18 |   455950 |   378052 |     8098     85 |        0 |        0
1022.10/1022.46	c 1022s |      18 |   456935 |   378952 |     8098     85 |        0 |        0
1024.19/1024.57	c 1024s |      18 |   457818 |   379752 |     8098     85 |        0 |        0
1026.39/1026.73	c 1026s |      18 |   458713 |   380552 |     8098     85 |        0 |        0
1028.39/1028.76	c 1028s |      18 |   459466 |   381252 |     8098     85 |        0 |        0
1030.50/1030.81	c 1030s |      18 |   460238 |   381952 |     8098     85 |        0 |        0
1032.70/1033.02	c 1032s |      18 |   460999 |   382652 |     8098     85 |        0 |        0
1034.69/1035.03	c 1034s |      18 |   461654 |   383252 |     8098     86 |        0 |        0
1036.79/1037.11	c 1036s |      18 |   462552 |   384052 |     8098     86 |        0 |        0
1038.79/1039.12	c 1038s |      18 |   463449 |   384852 |     8098     86 |        0 |        0
1040.88/1041.21	c 1040s |      18 |   464318 |   385652 |     8098     86 |        0 |        0
1042.88/1043.26	c 1043s |      18 |   465080 |   386352 |     8098     86 |        0 |        0
1044.88/1045.27	c 1045s |      18 |   465816 |   387052 |     8098     86 |        0 |        0
1047.08/1047.40	c 1047s |      18 |   466562 |   387752 |     8098     86 |        0 |        0
1049.38/1049.79	c 1049s |      18 |   467348 |   388452 |     8098     87 |        0 |        0
1051.48/1051.81	c 1051s |      18 |   468123 |   389152 |     8098     87 |        0 |        0
1053.49/1053.84	c 1053s |      18 |   469102 |   390052 |     8098     87 |        0 |        0
1055.58/1055.96	c 1055s |      18 |   469985 |   390852 |     8098     87 |        0 |        0
1057.78/1058.10	c 1057s |      18 |   470753 |   391552 |     8098     87 |        0 |        0
1059.98/1060.30	c 1060s |      18 |   471510 |   392252 |     8098     87 |        0 |        0
1062.07/1062.47	c 1062s |      18 |   472276 |   392952 |     8098     87 |        0 |        0
1064.58/1064.94	c 1064s |      18 |   473033 |   393652 |     8098     88 |        0 |        0
1066.67/1067.03	c 1066s |      18 |   473902 |   394452 |     8098     88 |        0 |        0
1068.77/1069.17	c 1068s |      18 |   474752 |   395152 |     8098     88 |        0 |        0
1071.07/1071.43	c 1071s |      18 |   475762 |   396052 |     8098     88 |        0 |        0
1073.07/1073.46	c 1073s |      18 |   476624 |   396852 |     8098     88 |        0 |        0
1075.26/1075.69	c 1075s |      18 |   477487 |   397652 |     8098     88 |        0 |        0
1077.46/1077.80	c 1077s |      18 |   478243 |   398352 |     8098     88 |        0 |        0
1079.56/1079.93	c 1079s |      18 |   478892 |   398952 |     8098     89 |        0 |        0
1081.66/1082.07	c 1081s |      18 |   479763 |   399752 |     8098     89 |        0 |        0
1083.86/1084.25	c 1084s |      18 |   480652 |   400552 |     8098     89 |        0 |        0
1086.06/1086.42	c 1086s |      18 |   481419 |   401252 |     8098     89 |        0 |        0
1088.15/1088.59	c 1088s |      18 |   482166 |   401952 |     8098     89 |        0 |        0
1090.45/1090.90	c 1090s |      18 |   482906 |   402652 |     8098     89 |        0 |        0
1092.65/1093.00	c 1092s |      18 |   483557 |   403252 |     8098     89 |        0 |        0
1094.65/1095.05	c 1094s |      18 |   484199 |   403852 |     8098     89 |        0 |        0
1096.75/1097.13	c 1096s |      18 |   484883 |   404452 |     8098     90 |        0 |        0
1098.75/1099.14	c 1098s |      18 |   485797 |   405252 |     8098     90 |        0 |        0
1100.75/1101.16	c 1100s |      18 |   486708 |   406052 |     8098     90 |        0 |        0
1102.95/1103.35	c 1103s |      18 |   487574 |   406852 |     8098     90 |        0 |        0
1105.15/1105.54	c 1105s |      18 |   488452 |   407652 |     8098     90 |        0 |        0
1107.24/1107.60	c 1107s |      18 |   489214 |   408352 |     8098     90 |        0 |        0
1109.34/1109.78	c 1109s |      18 |   489967 |   409052 |     8098     90 |        0 |        0
1111.34/1111.78	c 1111s |      18 |   490610 |   409652 |     8098     91 |        0 |        0
1113.64/1114.05	c 1113s |      18 |   491491 |   410452 |     8098     91 |        0 |        0
1115.64/1116.05	c 1115s |      18 |   492252 |   411152 |     8098     91 |        0 |        0
1117.84/1118.21	c 1117s |      18 |   493028 |   411852 |     8098     91 |        0 |        0
1119.93/1120.35	c 1120s |      18 |   493802 |   412552 |     8098     91 |        0 |        0
1122.03/1122.43	c 1122s |      18 |   494443 |   413152 |     8098     91 |        0 |        0
1124.23/1124.65	c 1124s |      18 |   495101 |   413752 |     8098     91 |        0 |        0
1126.23/1126.66	c 1126s |      18 |   495946 |   414252 |     8098     91 |        0 |        0
1128.33/1128.72	c 1128s |      18 |   496514 |   414752 |     8098     92 |        0 |        0
1130.43/1130.87	c 1130s |      18 |   497417 |   415552 |     8098     92 |        0 |        0
1132.63/1133.03	c 1132s |      18 |   498297 |   416352 |     8098     92 |        0 |        0
1134.72/1135.10	c 1134s |      18 |   499060 |   417052 |     8098     92 |        0 |        0
1136.92/1137.36	c 1137s |      18 |   499940 |   417852 |     8098     92 |        0 |        0
1138.92/1139.37	c 1139s |      18 |   500587 |   418452 |     8098     92 |        0 |        0
1141.02/1141.40	c 1141s |      18 |   501335 |   419152 |     8098     92 |        0 |        0
1143.02/1143.40	c 1143s |      18 |   501981 |   419752 |     8098     93 |        0 |        0
1145.11/1145.50	c 1145s |      18 |   502713 |   420452 |     8098     93 |        0 |        0
1147.21/1147.64	c 1147s |      18 |   503577 |   421252 |     8098     93 |        0 |        0
1149.31/1149.75	c 1149s |      18 |   504323 |   421952 |     8098     93 |        0 |        0
1151.51/1151.96	c 1151s |      18 |   505084 |   422652 |     8098     93 |        0 |        0
1153.62/1154.03	c 1153s |      18 |   505713 |   423252 |     8098     93 |        0 |        0
1155.61/1156.04	c 1155s |      18 |   506375 |   423852 |     8098     93 |        0 |        0
1157.71/1158.18	c 1157s |      18 |   507024 |   424452 |     8098     93 |        0 |        0
1160.12/1160.52	c 1160s |      18 |   507589 |   424952 |     8098     94 |        0 |        0
1162.21/1162.70	c 1162s |      18 |   508842 |   426052 |     8098     94 |        0 |        0
1164.40/1164.89	c 1164s |      18 |   509848 |   426952 |     8098     94 |        0 |        0
1166.51/1166.99	c 1166s |      18 |   510736 |   427752 |     8098     94 |        0 |        0
1168.81/1169.20	c 1168s |      18 |   511508 |   428452 |     8098     94 |        0 |        0
1170.91/1171.33	c 1171s |      18 |   512258 |   429152 |     8098     94 |        0 |        0
1172.91/1173.34	c 1173s |      18 |   513002 |   429852 |     8098     94 |        0 |        0
1175.11/1175.58	c 1175s |      18 |   513734 |   430552 |     8098     95 |        0 |        0
1177.31/1177.71	c 1177s |      18 |   514606 |   431352 |     8098     95 |        0 |        0
1179.51/1179.95	c 1179s |      18 |   515488 |   432152 |     8098     95 |        0 |        0
1181.71/1182.15	c 1181s |      18 |   516336 |   432952 |     8098     95 |        0 |        0
1183.90/1184.30	c 1184s |      18 |   517118 |   433652 |     8098     95 |        0 |        0
1185.90/1186.38	c 1186s |      18 |   517869 |   434352 |     8098     95 |        0 |        0
1188.00/1188.49	c 1188s |      18 |   518546 |   434952 |     8098     95 |        0 |        0
1190.20/1190.66	c 1190s |      18 |   519166 |   435552 |     8098     96 |        0 |        0
1192.20/1192.69	c 1192s |      18 |   519931 |   436252 |     8098     96 |        0 |        0
1194.49/1195.00	c 1194s |      18 |   520812 |   437052 |     8098     96 |        0 |        0
1196.59/1197.00	c 1196s |      18 |   521440 |   437652 |     8098     96 |        0 |        0
1198.70/1199.11	c 1198s |      18 |   522198 |   438352 |     8098     96 |        0 |        0
1200.90/1201.36	c 1201s |      18 |   523051 |   439152 |     8098     96 |        0 |        0
1203.10/1203.56	c 1203s |      18 |   523676 |   439752 |     8098     96 |        0 |        0
1205.39/1205.83	c 1205s |      18 |   524351 |   440352 |     8098     96 |        0 |        0
1207.39/1207.90	c 1207s |      18 |   524906 |   440852 |     8098     97 |        0 |        0
1209.59/1210.05	c 1209s |      18 |   525558 |   441452 |     8908     97 |        0 |        0
1211.89/1212.30	c 1212s |      18 |   526215 |   442052 |     8908     97 |        0 |        0
1213.88/1214.37	c 1214s |      18 |   526918 |   442652 |     8908     97 |        0 |        0
1216.08/1216.54	c 1216s |      18 |   527681 |   443352 |     8908     97 |        0 |        0
1218.18/1218.65	c 1218s |      18 |   528442 |   444052 |     8908     97 |        0 |        0
1219.49/1219.91	c 1219s |      19 |   528922 |   444482 |     8908     97 |        0 |        0
1221.58/1222.04	c 1221s |      19 |   532254 |   445182 |     8908     98 |        0 |        0
1223.68/1224.10	c 1223s |      19 |   533752 |   446482 |     8908     98 |        0 |        0
1225.77/1226.28	c 1226s |      19 |   535123 |   447682 |     8908     98 |        0 |        0
1227.87/1228.32	c 1228s |      19 |   536244 |   448682 |     8908     98 |        0 |        0
1229.97/1230.45	c 1230s |      19 |   537344 |   449682 |     8908     98 |        0 |        0
1232.17/1232.63	c 1232s |      19 |   538461 |   450682 |     8908     98 |        0 |        0
1234.37/1234.85	c 1234s |      19 |   539485 |   451582 |     8908     98 |        0 |        0
1236.47/1236.96	c 1236s |      19 |   540340 |   452382 |     8908     98 |        0 |        0
1238.77/1239.23	c 1239s |      19 |   541109 |   453082 |     8908     99 |        0 |        0
1240.77/1241.25	c 1241s |      19 |   541968 |   453882 |     8908     99 |        0 |        0
1242.97/1243.45	c 1243s |      19 |   542951 |   454782 |     8908     99 |        0 |        0
1245.26/1245.71	c 1245s |      19 |   543871 |   455582 |     8908     99 |        0 |        0
1247.26/1247.76	c 1247s |      19 |   544824 |   456382 |     8908     99 |        0 |        0
1249.57/1250.02	c 1249s |      19 |   545836 |   457282 |     8908     99 |        0 |        0
1251.67/1252.16	c 1251s |      19 |   546626 |   457982 |     8908     99 |        0 |        0
1253.76/1254.26	c 1254s |      19 |   547294 |   458582 |     8908     99 |        0 |        0
1256.06/1256.55	c 1256s |      19 |   547833 |   459082 |     8908    100 |        0 |        0
1258.15/1258.62	c 1258s |      19 |   548664 |   459782 |     8908    100 |        0 |        0
1260.26/1260.75	c 1260s |      19 |   549427 |   460482 |     8908    100 |        0 |        0
1262.47/1262.93	c 1262s |      19 |   550307 |   461282 |     8908    100 |        0 |        0
1264.46/1264.99	c 1264s |      19 |   551088 |   461982 |     8908    100 |        0 |        0
1266.56/1267.07	c 1266s |      19 |   552184 |   462882 |     8908    100 |        0 |        0
1268.75/1269.20	c 1268s |      19 |   553089 |   463682 |     8908    100 |        0 |        0
1270.75/1271.26	c 1271s |      19 |   553873 |   464382 |     8908    100 |        0 |        0
1273.05/1273.53	c 1273s |      19 |   554652 |   465082 |     8908    100 |        0 |        0
1275.15/1275.66	c 1275s |      19 |   555359 |   465682 |     8908    101 |        0 |        0
1277.25/1277.76	c 1277s |      19 |   556364 |   466582 |     8908    101 |        0 |        0
1279.55/1280.01	c 1279s |      19 |   557406 |   467482 |     8908    101 |        0 |        0
1281.55/1282.06	c 1281s |      19 |   558340 |   468282 |     8908    101 |        0 |        0
1283.64/1284.17	c 1283s |      19 |   559240 |   469082 |     8908    101 |        0 |        0
1285.74/1286.28	c 1286s |      19 |   560034 |   469782 |     8908    101 |        0 |        0
1288.13/1288.61	c 1288s |      19 |   560935 |   470582 |     8908    101 |        0 |        0
1290.34/1290.81	c 1290s |      19 |   561723 |   471282 |     8908    101 |        0 |        0
1292.44/1292.90	c 1292s |      19 |   562446 |   471882 |     8908    102 |        0 |        0
1294.54/1295.08	c 1294s |      19 |   563475 |   472782 |     8908    102 |        0 |        0
1296.74/1297.20	c 1296s |      19 |   564368 |   473582 |     8908    102 |        0 |        0
1298.93/1299.40	c 1299s |      19 |   565241 |   474382 |     8908    102 |        0 |        0
1301.03/1301.59	c 1301s |      19 |   566157 |   475182 |     8908    102 |        0 |        0
1303.24/1303.71	c 1303s |      19 |   566946 |   475882 |     8908    102 |        0 |        0
1305.34/1305.82	c 1305s |      19 |   567756 |   476582 |     8908    102 |        0 |        0
1307.44/1307.92	c 1307s |      19 |   568513 |   477282 |     8908    102 |        0 |        0
1309.74/1310.29	c 1310s |      19 |   569173 |   477882 |     8908    103 |        0 |        0
1311.84/1312.35	c 1312s |      19 |   569977 |   478582 |     8908    103 |        0 |        0
1314.04/1314.55	c 1314s |      19 |   570740 |   479282 |     8908    103 |        0 |        0
1316.24/1316.80	c 1316s |      19 |   571506 |   479982 |     8908    103 |        0 |        0
1318.54/1319.01	c 1318s |      19 |   572194 |   480582 |     8908    103 |        0 |        0
1320.53/1321.03	c 1320s |      19 |   573205 |   481482 |     8908    103 |        0 |        0
1322.73/1323.29	c 1323s |      19 |   574180 |   482382 |     8908    103 |        0 |        0
1325.04/1325.52	c 1325s |      19 |   575090 |   483182 |     8908    103 |        0 |        0
1327.13/1327.60	c 1327s |      19 |   575857 |   483882 |     8908    103 |        0 |        0
1329.13/1329.68	c 1329s |      19 |   576538 |   484482 |     8908    104 |        0 |        0
1331.23/1331.72	c 1331s |      19 |   577328 |   485182 |     8908    104 |        0 |        0
1333.53/1334.04	c 1333s |      19 |   578212 |   485982 |     8908    104 |        0 |        0
1335.73/1336.22	c 1335s |      19 |   579116 |   486782 |     8908    104 |        0 |        0
1337.73/1338.23	c 1338s |      19 |   579898 |   487482 |     8908    104 |        0 |        0
1339.93/1340.44	c 1340s |      19 |   580934 |   488382 |     8908    104 |        0 |        0
1342.13/1342.65	c 1342s |      19 |   581927 |   489282 |     8908    104 |        0 |        0
1344.32/1344.87	c 1344s |      19 |   582826 |   490082 |     8908    104 |        0 |        0
1346.43/1346.94	c 1346s |      19 |   583401 |   490582 |     8908    105 |        0 |        0
1348.53/1349.06	c 1348s |      19 |   584303 |   491382 |     8908    105 |        0 |        0
1350.63/1351.13	c 1350s |      19 |   585198 |   492182 |     8908    105 |        0 |        0
1352.64/1353.13	c 1352s |      19 |   585978 |   492882 |     8908    105 |        0 |        0
1354.62/1355.14	c 1354s |      19 |   586887 |   493682 |     8908    105 |        0 |        0
1356.82/1357.32	c 1357s |      19 |   587666 |   494382 |     8908    105 |        0 |        0
1358.82/1359.35	c 1359s |      19 |   588445 |   495082 |     8908    105 |        0 |        0
1360.93/1361.46	c 1361s |      19 |   589246 |   495782 |     8908    105 |        0 |        0
1362.93/1363.47	c 1363s |      19 |   589909 |   496382 |     8908    105 |        0 |        0
1365.43/1365.98	c 1365s |      19 |   590586 |   496982 |     8908    106 |        0 |        0
1367.43/1367.98	c 1367s |      19 |   591233 |   497582 |     8908    106 |        0 |        0
1369.62/1370.17	c 1369s |      19 |   592263 |   498482 |     8908    106 |        0 |        0
1371.72/1372.25	c 1372s |      19 |   593137 |   499282 |     8908    106 |        0 |        0
1373.92/1374.46	c 1374s |      19 |   594133 |   500182 |     8908    106 |        0 |        0
1376.22/1376.72	c 1376s |      19 |   595019 |   500982 |     8908    106 |        0 |        0
1378.23/1378.74	c 1378s |      19 |   595828 |   501682 |     8908    106 |        0 |        0
1380.23/1380.75	c 1380s |      19 |   596617 |   502382 |     8908    106 |        0 |        0
1382.42/1382.94	c 1382s |      19 |   597387 |   503082 |     8908    106 |        0 |        0
1384.43/1384.99	c 1384s |      19 |   597941 |   503582 |     8908    107 |        0 |        0
1386.63/1387.15	c 1386s |      19 |   598858 |   504382 |     8908    107 |        0 |        0
1389.12/1389.61	c 1389s |      19 |   599746 |   505182 |     8908    107 |        0 |        0
1391.22/1391.71	c 1391s |      19 |   600542 |   505882 |     8908    107 |        0 |        0
1393.33/1393.85	c 1393s |      19 |   601349 |   506582 |     8908    107 |        0 |        0
1395.53/1396.05	c 1395s |      19 |   602143 |   507282 |     8908    107 |        0 |        0
1397.62/1398.17	c 1397s |      19 |   602833 |   507882 |     8908    107 |        0 |        0
1399.71/1400.22	c 1399s |      19 |   603546 |   508482 |     8908    107 |        0 |        0
1401.92/1402.49	c 1402s |      19 |   604211 |   509082 |     8908    107 |        0 |        0
1404.52/1405.03	c 1404s |      19 |   604896 |   509682 |     8908    108 |        0 |        0
1406.62/1407.12	c 1406s |      19 |   605474 |   510182 |     8908    108 |        0 |        0
1408.91/1409.45	c 1409s |      19 |   606239 |   510882 |     8908    108 |        0 |        0
1411.12/1411.66	c 1411s |      19 |   607144 |   511682 |     8908    108 |        0 |        0
1413.32/1413.89	c 1413s |      19 |   608153 |   512582 |     8908    108 |        0 |        0
1415.42/1415.93	c 1415s |      19 |   609047 |   513382 |     8908    108 |        0 |        0
1417.72/1418.26	c 1418s |      19 |   609939 |   514182 |     8908    108 |        0 |        0
1419.91/1420.43	c 1420s |      19 |   610688 |   514882 |     8908    108 |        0 |        0
1421.92/1422.49	c 1422s |      19 |   611511 |   515582 |     8908    108 |        0 |        0
1424.21/1424.79	c 1424s |      19 |   612169 |   516182 |     8908    109 |        0 |        0
1426.42/1426.96	c 1426s |      19 |   612942 |   516882 |     8908    109 |        0 |        0
1428.52/1429.09	c 1428s |      19 |   613854 |   517682 |     8908    109 |        0 |        0
1430.62/1431.14	c 1430s |      19 |   614881 |   518582 |     8908    109 |        0 |        0
1432.71/1433.25	c 1433s |      19 |   615769 |   519382 |     8908    109 |        0 |        0
1434.92/1435.48	c 1435s |      19 |   616657 |   520182 |     8908    109 |        0 |        0
1437.22/1437.71	c 1437s |      19 |   617421 |   520882 |     8908    109 |        0 |        0
1439.32/1439.82	c 1439s |      19 |   618088 |   521482 |     8908    109 |        0 |        0
1441.32/1441.87	c 1441s |      19 |   618742 |   522082 |     8908    109 |        0 |        0
1443.61/1444.10	c 1443s |      19 |   619301 |   522582 |     8908    110 |        0 |        0
1445.81/1446.32	c 1446s |      19 |   620179 |   523382 |     8908    110 |        0 |        0
1448.01/1448.54	c 1448s |      19 |   621062 |   524182 |     8908    110 |        0 |        0
1450.01/1450.54	c 1450s |      19 |   621843 |   524882 |     8908    110 |        0 |        0
1452.31/1452.83	c 1452s |      19 |   622753 |   525682 |     8908    110 |        0 |        0
1454.41/1454.92	c 1454s |      19 |   623575 |   526382 |     8908    110 |        0 |        0
1456.51/1457.07	c 1456s |      19 |   624226 |   526982 |     8908    110 |        0 |        0
1458.71/1459.26	c 1459s |      19 |   625193 |   527782 |     8908    110 |        0 |        0
1460.91/1461.50	c 1461s |      19 |   626158 |   528582 |     8908    111 |        0 |        0
1463.11/1463.61	c 1463s |      19 |   627225 |   529482 |     8908    111 |        0 |        0
1465.11/1465.63	c 1465s |      19 |   628306 |   530382 |     8908    111 |        0 |        0
1467.30/1467.84	c 1467s |      19 |   629328 |   531282 |     8908    111 |        0 |        0
1469.31/1469.87	c 1469s |      19 |   630233 |   532082 |     8908    111 |        0 |        0
1471.42/1471.95	c 1471s |      19 |   631120 |   532882 |     8908    111 |        0 |        0
1473.41/1473.95	c 1473s |      19 |   632157 |   533782 |     8908    111 |        0 |        0
1475.51/1476.01	c 1475s |      19 |   633187 |   534682 |     8908    111 |        0 |        0
1477.51/1478.06	c 1477s |      19 |   633992 |   535382 |     8908    112 |        0 |        0
1479.61/1480.10	c 1479s |      19 |   635033 |   536282 |     8908    112 |        0 |        0
1481.60/1482.14	c 1481s |      19 |   635955 |   537082 |     8908    112 |        0 |        0
1483.60/1484.16	c 1483s |      19 |   636876 |   537882 |     8908    112 |        0 |        0
1485.91/1486.43	c 1486s |      19 |   637898 |   538782 |     8908    112 |        0 |        0
1487.92/1488.49	c 1488s |      19 |   638822 |   539582 |     8908    112 |        0 |        0
1490.01/1490.51	c 1490s |      19 |   639580 |   540282 |     8908    112 |        0 |        0
1492.00/1492.59	c 1492s |      19 |   640338 |   540982 |     8908    112 |        0 |        0
1494.10/1494.65	c 1494s |      19 |   640904 |   541482 |     8908    113 |        0 |        0
1496.41/1496.98	c 1496s |      19 |   641830 |   542282 |     8908    113 |        0 |        0
1498.70/1499.22	c 1498s |      19 |   642627 |   542982 |     8908    113 |        0 |        0
1500.80/1501.32	c 1501s |      19 |   643548 |   543782 |     8908    113 |        0 |        0
1503.01/1503.57	c 1503s |      19 |   644486 |   544582 |     8908    113 |        0 |        0
1505.11/1505.66	c 1505s |      19 |   645330 |   545282 |     8908    113 |        0 |        0
1507.20/1507.78	c 1507s |      19 |   646239 |   546082 |     8908    113 |        0 |        0
1509.30/1509.83	c 1509s |      19 |   647081 |   546782 |     8908    113 |        0 |        0
1511.50/1512.03	c 1511s |      19 |   647874 |   547482 |     8908    113 |        0 |        0
1513.70/1514.27	c 1514s |      19 |   648569 |   548082 |     8908    114 |        0 |        0
1515.70/1516.29	c 1516s |      19 |   649398 |   548782 |     8908    114 |        0 |        0
1517.80/1518.34	c 1518s |      19 |   650425 |   549682 |     8908    114 |        0 |        0
1519.90/1520.41	c 1520s |      19 |   651278 |   550482 |     8908    114 |        0 |        0
1521.90/1522.43	c 1522s |      19 |   652209 |   551282 |     8908    114 |        0 |        0
1524.11/1524.60	c 1524s |      19 |   652998 |   551982 |     8908    114 |        0 |        0
1526.10/1526.62	c 1526s |      19 |   653667 |   552582 |     8908    114 |        0 |        0
1528.30/1528.86	c 1528s |      19 |   654461 |   553282 |     8908    114 |        0 |        0
1531.00/1531.54	c 1531s |      19 |   655230 |   553982 |     8908    115 |        0 |        0
1533.10/1533.66	c 1533s |      19 |   656121 |   554782 |     8908    115 |        0 |        0
1535.40/1535.90	c 1535s |      19 |   657029 |   555582 |     8908    115 |        0 |        0
1537.59/1538.15	c 1537s |      19 |   657936 |   556382 |     8908    115 |        0 |        0
1539.61/1540.15	c 1539s |      19 |   658690 |   557082 |     8908    115 |        0 |        0
1541.80/1542.38	c 1542s |      19 |   659618 |   557882 |     8908    115 |        0 |        0
1544.10/1544.62	c 1544s |      19 |   660556 |   558682 |     8908    115 |        0 |        0
1546.10/1546.68	c 1546s |      19 |   661351 |   559382 |     8908    115 |        0 |        0
1548.30/1548.82	c 1548s |      19 |   662140 |   560082 |     8908    115 |        0 |        0
1550.51/1551.05	c 1550s |      19 |   662801 |   560682 |     8908    116 |        0 |        0
1552.71/1553.23	c 1553s |      19 |   663753 |   561482 |     8908    116 |        0 |        0
1555.01/1555.54	c 1555s |      19 |   664661 |   562282 |     8908    116 |        0 |        0
1557.00/1557.59	c 1557s |      19 |   665421 |   562982 |     8908    116 |        0 |        0
1559.10/1559.61	c 1559s |      19 |   666211 |   563682 |     8908    116 |        0 |        0
1561.30/1561.87	c 1561s |      19 |   667003 |   564382 |     8908    116 |        0 |        0
1563.49/1564.03	c 1563s |      19 |   667674 |   564982 |     8908    116 |        0 |        0
1565.59/1566.15	c 1565s |      19 |   668366 |   565582 |     8908    116 |        0 |        0
1567.69/1568.20	c 1567s |      19 |   669069 |   566182 |     8908    116 |        0 |        0
1569.89/1570.47	c 1570s |      19 |   669613 |   566682 |     8908    117 |        0 |        0
1571.99/1572.53	c 1572s |      19 |   670157 |   567182 |     8908    117 |        0 |        0
1573.99/1574.53	c 1574s |      19 |   671085 |   567982 |     8908    117 |        0 |        0
1576.09/1576.66	c 1576s |      19 |   671855 |   568682 |     8908    117 |        0 |        0
1578.29/1578.80	c 1578s |      19 |   672521 |   569282 |     8908    117 |        0 |        0
1580.39/1580.90	c 1580s |      19 |   673328 |   569982 |     8908    117 |        0 |        0
1582.39/1582.98	c 1582s |      19 |   674362 |   570882 |     8908    117 |        0 |        0
1584.70/1585.22	c 1584s |      19 |   675269 |   571682 |     8908    117 |        0 |        0
1586.90/1587.41	c 1587s |      19 |   676053 |   572382 |     8908    117 |        0 |        0
1589.10/1589.69	c 1589s |      19 |   676716 |   572982 |     8908    118 |        0 |        0
1591.30/1591.84	c 1591s |      19 |   677480 |   573682 |     8908    118 |        0 |        0
1593.59/1594.19	c 1593s |      19 |   678372 |   574482 |     8908    118 |        0 |        0
1595.99/1596.51	c 1596s |      19 |   679155 |   575182 |     8908    118 |        0 |        0
1598.19/1598.74	c 1598s |      19 |   679894 |   575882 |     8908    118 |        0 |        0
1600.39/1600.92	c 1600s |      19 |   680660 |   576582 |     8908    118 |        0 |        0
1602.69/1603.21	c 1602s |      19 |   681306 |   577182 |     8908    118 |        0 |        0
1604.69/1605.22	c 1604s |      19 |   681984 |   577782 |     8908    118 |        0 |        0
1606.79/1607.37	c 1607s |      19 |   682648 |   578382 |     8908    118 |        0 |        0
1609.08/1609.65	c 1609s |      19 |   683397 |   579082 |     8908    118 |        0 |        0
1611.28/1611.88	c 1611s |      19 |   683938 |   579582 |     8908    119 |        0 |        0
1613.39/1613.91	c 1613s |      19 |   684586 |   580182 |     8908    119 |        0 |        0
1615.50/1616.03	c 1615s |      19 |   685245 |   580782 |     8908    119 |        0 |        0
1617.70/1618.22	c 1617s |      19 |   685908 |   581382 |     8908    119 |        0 |        0
1619.79/1620.39	c 1620s |      19 |   686558 |   581982 |     8908    119 |        0 |        0
1622.19/1622.77	c 1622s |      19 |   687327 |   582682 |     8908    119 |        0 |        0
1624.19/1624.80	c 1624s |      19 |   687896 |   583182 |     8908    119 |        0 |        0
1626.39/1626.94	c 1626s |      19 |   688838 |   583982 |     8908    119 |        0 |        0
1628.69/1629.25	c 1629s |      19 |   689774 |   584782 |     8908    119 |        0 |        0
1630.68/1631.27	c 1631s |      19 |   690420 |   585382 |     8908    119 |        0 |        0
1632.88/1633.47	c 1633s |      19 |   691060 |   585982 |     8908    120 |        0 |        0
1634.88/1635.50	c 1635s |      19 |   691836 |   586682 |     8908    120 |        0 |        0
1636.99/1637.58	c 1637s |      19 |   692620 |   587382 |     8908    120 |        0 |        0
1638.98/1639.59	c 1639s |      19 |   693263 |   587982 |     8908    120 |        0 |        0
1641.18/1641.76	c 1641s |      19 |   694229 |   588782 |     8908    120 |        0 |        0
1643.38/1643.94	c 1643s |      19 |   695003 |   589482 |     8908    120 |        0 |        0
1645.58/1646.12	c 1645s |      19 |   695780 |   590182 |     8908    120 |        0 |        0
1647.88/1648.40	c 1648s |      19 |   696438 |   590782 |     8908    120 |        0 |        0
1650.08/1650.68	c 1650s |      19 |   697102 |   591382 |     8908    120 |        0 |        0
1652.18/1652.79	c 1652s |      19 |   697638 |   591882 |     8908    120 |        0 |        0
1654.38/1654.90	c 1654s |      19 |   698017 |   592182 |     8908    121 |        0 |        0
1656.48/1657.02	c 1656s |      19 |   699192 |   593182 |     8908    121 |        0 |        0
1658.48/1659.05	c 1658s |      19 |   700101 |   593982 |     8908    121 |        0 |        0
1660.58/1661.18	c 1660s |      19 |   700962 |   594782 |     8908    121 |        0 |        0
1662.68/1663.30	c 1663s |      19 |   701811 |   595582 |     8908    121 |        0 |        0
1664.99/1665.52	c 1665s |      19 |   702855 |   596482 |     8908    121 |        0 |        0
1666.98/1667.52	c 1667s |      19 |   703795 |   597282 |     8908    121 |        0 |        0
1668.98/1669.57	c 1669s |      19 |   704580 |   597982 |     8908    121 |        0 |        0
1671.08/1671.64	c 1671s |      19 |   705272 |   598582 |     8908    122 |        0 |        0
1673.17/1673.80	c 1673s |      19 |   706024 |   599282 |     8908    122 |        0 |        0
1675.37/1675.94	c 1675s |      19 |   706789 |   599982 |     8908    122 |        0 |        0
1677.57/1678.11	c 1677s |      19 |   707563 |   600682 |     8908    122 |        0 |        0
1679.88/1680.47	c 1680s |      19 |   708334 |   601382 |     8908    122 |        0 |        0
1681.98/1682.51	c 1682s |      19 |   708977 |   601982 |     8908    122 |        0 |        0
1684.07/1684.64	c 1684s |      19 |   709613 |   602582 |     8908    122 |        0 |        0
1686.37/1686.94	c 1686s |      19 |   710270 |   603182 |     8908    122 |        0 |        0
1688.37/1688.95	c 1688s |      19 |   711014 |   603882 |     8908    122 |        0 |        0
1690.48/1691.01	c 1690s |      19 |   711676 |   604482 |     8908    122 |        0 |        0
1692.58/1693.10	c 1692s |      19 |   712225 |   604982 |     8908    123 |        0 |        0
1694.68/1695.24	c 1695s |      19 |   712905 |   605582 |     8908    123 |        0 |        0
1696.88/1697.47	c 1697s |      19 |   713922 |   606482 |     8908    123 |        0 |        0
1698.98/1699.56	c 1699s |      19 |   714694 |   607182 |     8908    123 |        0 |        0
1701.28/1701.85	c 1701s |      19 |   715460 |   607882 |     8908    123 |        0 |        0
1703.38/1703.91	c 1703s |      19 |   716132 |   608482 |     8908    123 |        0 |        0
1705.47/1706.10	c 1705s |      19 |   716921 |   609182 |     8908    123 |        0 |        0
1707.57/1708.18	c 1707s |      19 |   717681 |   609882 |     8908    123 |        0 |        0
1709.88/1710.41	c 1710s |      19 |   718331 |   610482 |     8908    123 |        0 |        0
1712.97/1713.52	c 1713s |      19 |   718874 |   610982 |     8908    124 |        0 |        0
1715.17/1715.76	c 1715s |      19 |   720082 |   612082 |     8908    124 |        0 |        0
1717.37/1717.96	c 1717s |      19 |   721053 |   612982 |     8908    124 |        0 |        0
1719.47/1720.06	c 1719s |      19 |   722054 |   613882 |     8908    124 |        0 |        0
1721.57/1722.11	c 1721s |      19 |   722971 |   614682 |     8908    124 |        0 |        0
1723.57/1724.18	c 1723s |      19 |   723850 |   615482 |     8908    124 |        0 |        0
1725.77/1726.30	c 1726s |      19 |   724888 |   616382 |     8908    124 |        0 |        0
1728.37/1728.93	c 1728s |      19 |   725871 |   617282 |     8908    125 |        0 |        0
1730.47/1731.03	c 1730s |      19 |   726651 |   617982 |     8908    125 |        0 |        0
1732.57/1733.19	c 1732s |      19 |   727491 |   618782 |     8908    125 |        0 |        0
1734.67/1735.22	c 1734s |      19 |   728259 |   619482 |     8908    125 |        0 |        0
1736.67/1737.26	c 1737s |      19 |   729009 |   620182 |     8908    125 |        0 |        0
1738.86/1739.44	c 1739s |      19 |   729879 |   620982 |     8908    125 |        0 |        0
1740.88/1741.48	c 1741s |      19 |   730533 |   621582 |     8908    125 |        0 |        0
1743.17/1743.77	c 1743s |      19 |   731189 |   622182 |     8908    125 |        0 |        0
1745.37/1745.98	c 1745s |      19 |   732048 |   622982 |     8908    125 |        0 |        0
1747.37/1748.00	c 1747s |      19 |   732697 |   623582 |     8908    126 |        0 |        0
1749.46/1750.01	c 1749s |      19 |   733567 |   624382 |     8908    126 |        0 |        0
1751.56/1752.13	c 1751s |      19 |   734427 |   625182 |     8908    126 |        0 |        0
1753.66/1754.28	c 1754s |      19 |   735200 |   625882 |     8908    126 |        0 |        0
1755.77/1756.35	c 1756s |      19 |   736186 |   626782 |     8908    126 |        0 |        0
1757.97/1758.54	c 1758s |      19 |   737141 |   627682 |     8908    126 |        0 |        0
1760.26/1760.80	c 1760s |      19 |   738115 |   628582 |     8908    126 |        0 |        0
1762.36/1762.97	c 1762s |      19 |   738971 |   629382 |     8908    126 |        0 |        0
1764.56/1765.16	c 1764s |      19 |   739627 |   629982 |     8908    127 |        0 |        0
1766.66/1767.23	c 1767s |      19 |   740474 |   630782 |     8908    127 |        0 |        0
1768.87/1769.46	c 1769s |      19 |   741323 |   631582 |     8908    127 |        0 |        0
1771.07/1771.64	c 1771s |      19 |   742183 |   632382 |     8908    127 |        0 |        0
1773.26/1773.83	c 1773s |      19 |   743037 |   633182 |     8908    127 |        0 |        0
1775.36/1775.97	c 1775s |      19 |   743762 |   633882 |     8908    127 |        0 |        0
1777.46/1778.01	c 1777s |      19 |   744504 |   634582 |     8908    127 |        0 |        0
1779.56/1780.19	c 1779s |      19 |   745259 |   635282 |     8908    127 |        0 |        0
1781.76/1782.35	c 1782s |      19 |   746014 |   635982 |     8908    127 |        0 |        0
1783.76/1784.35	c 1784s |      19 |   746651 |   636582 |     8908    128 |        0 |        0
1785.87/1786.44	c 1786s |      19 |   747516 |   637382 |     8908    128 |        0 |        0
1788.07/1788.68	c 1788s |      19 |   748369 |   638182 |     8908    128 |        0 |        0
1790.27/1790.89	c 1790s |      19 |   749115 |   638882 |     8908    128 |        0 |        0
1792.56/1793.18	c 1792s |      19 |   749750 |   639482 |     8908    128 |        0 |        0
1794.86/1795.45	c 1795s |      19 |   750491 |   640182 |     8908    128 |        0 |        0
1797.06/1797.68	c 1797s |      19 |   751115 |   640782 |     8908    128 |        0 |        0
1799.16/1799.75	c 1799s |      19 |   751657 |   641282 |     8908    128 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093640-1466091432/watcher-4093640-1466091432 -o /tmp/evaluation-result-4093640-1466091432/solver-4093640-1466091432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093640-1466091432.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.98 2.07 2.12 3/179 13131
/proc/meminfo: memFree=29616912/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 2706 0 0 0 0 0 0 0 20 0 4 0 11189764 742846464 3067 33554432000 4194304 16246674 140736699478704 140736699478128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 181871 3077 441 2943 0 178765 0
[pid=13131/tid=13132] ppid=13128 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 760672256 3136 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 764866560 3151 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11189764 769060864 3169 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 1.98 2.07 2.12 3/179 13131
/proc/meminfo: memFree=29616912/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 26470 0 0 0 6 3 0 0 20 0 4 0 11189764 1247350784 26824 33554432000 4194304 16246674 140736699478704 140736699460608 6739585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 304529 26833 603 2943 0 301423 0
[pid=13131/tid=13132] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 26839 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 26844 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 26851 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200473 s]
/proc/loadavg: 1.98 2.07 2.12 3/179 13131
/proc/meminfo: memFree=29616912/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 48764 0 0 0 11 7 0 0 20 0 4 0 11189764 1247350784 49115 33554432000 4194304 16246674 140736699478704 140736699460608 6974459 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 304529 49128 668 2943 0 301423 0
[pid=13131/tid=13132] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 49135 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 49140 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 49146 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300478 s]
/proc/loadavg: 1.98 2.07 2.12 3/179 13131
/proc/meminfo: memFree=29616912/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 71189 0 0 0 19 10 0 0 20 0 4 0 11189764 1247350784 71537 33554432000 4194304 16246674 140736699478704 140736699460608 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 304529 71551 806 2943 0 301423 0
[pid=13131/tid=13132] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 71558 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 71568 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 71576 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700433 s]
/proc/loadavg: 1.98 2.07 2.12 3/179 13131
/proc/meminfo: memFree=29616912/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 179806 0 0 0 43 26 0 0 20 0 4 0 11189764 1247350784 180153 33554432000 4194304 16246674 140736699478704 140736699460608 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 304529 180167 806 2943 0 301423 0
[pid=13131/tid=13132] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 180176 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 180181 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11189764 1247350784 180189 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50045 s]
/proc/loadavg: 1.98 2.07 2.12 3/183 13135
/proc/meminfo: memFree=28629264/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1224260 CPUtime=1.49 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 246981 0 0 0 114 35 0 0 20 0 4 0 11189764 1253642240 247306 33554432000 4194304 16246674 140736699478704 140736699460608 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 306065 247306 867 2943 0 302959 0
[pid=13131/tid=13132] ppid=13128 vsize=1224260 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1253642240 247306 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1224260 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1253642240 247306 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1224260 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1253642240 247306 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1224260

[startup+3.10044 s]
/proc/loadavg: 1.98 2.07 2.12 3/183 13135
/proc/meminfo: memFree=28548788/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 267955 0 0 0 272 37 0 0 20 0 4 0 11189764 1339625472 268280 33554432000 4194304 16246674 140736699478704 140736699460608 5523504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 327057 268280 867 2943 0 323951 0
[pid=13131/tid=13132] ppid=13128 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1339625472 268280 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1339625472 268280 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1339625472 268280 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30038 s]
/proc/loadavg: 1.98 2.07 2.12 3/183 13135
/proc/meminfo: memFree=28543000/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 268175 0 0 0 591 37 0 0 20 0 4 0 11189764 1339625472 268500 33554432000 4194304 16246674 140736699478704 140736699460608 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 327057 268500 871 2943 0 323951 0
[pid=13131/tid=13132] ppid=13128 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1339625472 268500 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1339625472 268500 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1339625472 268500 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 1.98 2.07 2.11 3/183 13135
/proc/meminfo: memFree=28543388/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 268178 0 0 0 1231 38 0 0 20 0 4 0 11189764 1339625472 268503 33554432000 4194304 16246674 140736699478704 140736699477800 5546107 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 327057 268503 874 2943 0 323951 0
[pid=13131/tid=13132] ppid=13128 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1339625472 268503 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1339625472 268503 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1339625472 268503 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.06 2.08 2.12 4/183 13135
/proc/meminfo: memFree=28540904/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 268886 0 0 0 2510 38 0 0 20 0 4 0 11189764 1342771200 269211 33554432000 4194304 16246674 140736699478704 140736699460608 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 327825 269211 874 2943 0 324719 0
[pid=13131/tid=13132] ppid=13128 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1342771200 269211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1342771200 269211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1342771200 269211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.04 2.07 2.11 4/183 13135
/proc/meminfo: memFree=28534456/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1317444 CPUtime=51.08 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 270482 0 0 0 5069 39 0 0 20 0 4 0 11189764 1349062656 270807 33554432000 4194304 16246674 140736699478704 140736699460608 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 329361 270807 874 2943 0 326255 0
[pid=13131/tid=13132] ppid=13128 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1349062656 270807 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1349062656 270807 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1349062656 270807 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.301 s]
/proc/loadavg: 2.15 2.09 2.11 3/183 13136
/proc/meminfo: memFree=28524668/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1320516 CPUtime=102.28 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 271055 0 0 0 10189 39 0 0 20 0 4 0 11189764 1352208384 271380 33554432000 4194304 16246674 140736699478704 140736699460608 13962128 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 330129 271380 874 2943 0 327023 0
[pid=13131/tid=13132] ppid=13128 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1352208384 271380 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1352208384 271380 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1352208384 271380 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1343044

[startup+1302.3 s]
/proc/loadavg: 2.23 2.17 2.11 3/183 13166
/proc/meminfo: memFree=28485952/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1343044 CPUtime=1301.83 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 277320 0 0 0 130104 79 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140736699477880 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 335761 277211 874 2943 0 332655 0
[pid=13131/tid=13132] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1343044

[startup+1362.3 s]
/proc/loadavg: 2.27 2.19 2.11 3/183 13167
/proc/meminfo: memFree=28486016/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1343044 CPUtime=1361.83 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 277324 0 0 0 136099 84 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140736699477800 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 335761 277211 874 2943 0 332655 0
[pid=13131/tid=13132] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1343044

[startup+1422.3 s]
/proc/loadavg: 2.14 2.16 2.10 4/183 13171
/proc/meminfo: memFree=28485964/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1343044 CPUtime=1421.82 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 277324 0 0 0 142094 88 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140736699477880 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 335761 277211 874 2943 0 332655 0
[pid=13131/tid=13132] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1343044

[startup+1482.3 s]
/proc/loadavg: 2.15 2.16 2.10 4/184 13196
/proc/meminfo: memFree=28486036/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1343044 CPUtime=1481.8 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 277324 0 0 0 148088 92 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140736699460608 13192166 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 335761 277211 874 2943 0 332655 0
[pid=13131/tid=13132] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1343044

[startup+1542.31 s]
/proc/loadavg: 2.24 2.18 2.11 4/183 13197
/proc/meminfo: memFree=28485896/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1343044 CPUtime=1541.8 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 277324 0 0 0 154082 98 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140736699477880 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 335761 277211 874 2943 0 332655 0
[pid=13131/tid=13132] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1343044

[startup+1602.3 s]
/proc/loadavg: 2.18 2.17 2.11 4/183 13198
/proc/meminfo: memFree=28486236/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1343044 CPUtime=1601.79 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 277324 0 0 0 160077 102 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140736699477880 5712622 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 335761 277211 874 2943 0 332655 0
[pid=13131/tid=13132] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1343044

[startup+1662.3 s]
/proc/loadavg: 2.48 2.26 2.14 3/183 13199
/proc/meminfo: memFree=28486328/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1343044 CPUtime=1661.78 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 277324 0 0 0 166073 105 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140736699460608 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 335761 277211 874 2943 0 332655 0
[pid=13131/tid=13132] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1343044

[startup+1722.3 s]
/proc/loadavg: 2.29 2.25 2.14 3/183 13200
/proc/meminfo: memFree=28485924/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1343044 CPUtime=1721.77 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 277324 0 0 0 172067 110 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140736699460608 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 335761 277211 874 2943 0 332655 0
[pid=13131/tid=13132] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1343044

[startup+1782.3 s]
/proc/loadavg: 2.22 2.23 2.14 4/183 13250
/proc/meminfo: memFree=28549224/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1343044 CPUtime=1781.76 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 277324 0 0 0 178063 113 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140736699477880 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 335761 277211 874 2943 0 332655 0
[pid=13131/tid=13132] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1343044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.31 2.25 2.15 3/183 13251
/proc/meminfo: memFree=28549112/32872528 swapFree=1199460/1313924
[pid=13131] ppid=13128 vsize=1343044 CPUtime=1800.06 cores=0,2,4,6
/proc/13131/stat : 13131 (toysat) R 13128 13131 9104 0 -1 4202496 277324 0 0 0 179891 115 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140736699477880 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13131/statm: 335761 277211 874 2943 0 332655 0
[pid=13131/tid=13132] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13132/stat : 13132 (toysat) S 13128 13131 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371715665136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13131/tid=13133] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13133/stat : 13133 (toysat) S 13128 13131 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371705175280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13131/tid=13134] ppid=13128 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/13131/task/13134/stat : 13134 (toysat) S 13128 13131 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189764 1375277056 277211 33554432000 4194304 16246674 140736699478704 140371694701744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1343044

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 13131 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.61
CPU time (s): 1800.07
CPU user time (s): 1798.92
CPU system time (s): 1.15682
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1343044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.15682
maximum resident set size= 1108844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277324
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= 454
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8623 second user time and 10.6964 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 17:37:12
IDJOB=4093640
IDBENCH=79159
IDSOLVER=2553
FILE ID=node131/4093640-1466091432
RUNJOBID= node131-1466075598-10666
PBS_JOBID= 19904008
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-0-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-4093640-1466091432/watcher-4093640-1466091432 -o /tmp/evaluation-result-4093640-1466091432/solver-4093640-1466091432 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093640-1466091432.wbo

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

MD5SUM BENCH= 4abf964a0a4662f4172f30dfa55a3bc2
RANDOM SEED=2137668887

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29617556 kB
Buffers:           42000 kB
Cached:           110220 kB
SwapCached:         1972 kB
Active:          1162452 kB
Inactive:          76168 kB
Active(anon):    1087196 kB
Inactive(anon):     1452 kB
Active(file):      75256 kB
Inactive(file):    74716 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2512364 kB
Mapped:            10436 kB
Shmem:                 0 kB
Slab:             566824 kB
SReclaimable:      11172 kB
SUnreclaim:       555652 kB
KernelStack:        1520 kB
PageTables:         8788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2542980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node131 at 2016-06-16 18:07:13