Trace number 4093048

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-02OPTIMUM 2.98854 2.99127

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo
MD5SUMe93fbae592ddea3040fe1429b48d9ce6
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.6426
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6059
Total number of constraints16684
Number of soft constraints16684
Number of constraints which are clauses15940
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints744
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 841384
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 841383
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 127
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-16T18:38:02+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-4093048-1466095082.wbo"]
0.00/0.01	c use --random-gen="1285932929 3935936377 1025847536 2027609460 3117443448 3088870319 496836868 2602763310 4072325678 368019412 1400631147 4219341851 1632804688 2329476561 3334687294 587626052 1378271120 3104457519 108034926 1583245422 3992803805 4253565458 1308553783 327130619 2242906308 450595451 5538019 1367121579 2796472481 904511402 2737590968 1619996032 435702104 3674404298 2001958527 1760046459 2281926115 2832538013 2249629626 2448708427 2853605221 3821350648 2398896670 806990644 3365537653 2524632126 448571681 1301942391 3513574700 1015271481 3901930661 879605955 902413833 4290668923 4272954399 2309235355 3841212103 1731890228 370069739 3525378224 95055668 427400299 2670312788 1402443526 3718424013 2258738680 1543506337 355984756 3981506510 2371980865 1211461897 1174478210 724454661 1363448170 3256664751 661901795 1501071030 4150701375 1268698369 3092363957 3275069504 2810911600 2982337901 1139695902 835964296 1103489764 3104914892 3589684317 2635085833 3883934463 1172009725 2105996883 587537649 3308159593 804912093 2404830968 1030670759 786649178 2997616641 821606034 2322646286 3934455678 1111275214 811310142 3223768102 479162138 3879243360 340664889 2093103653 446087514 3069884116 2475668235 157006001 203404820 3216927752 2519543960 1875458258 867067952 2251722739 335873237 65123696 943984391 4179542105 2181998882 3804185028 1214266953 3481888970 2511347963 3313706837 4163493947 1497009424 3918805206 2601916405 1732003024 4133905020 759866102 4222075039 3128009461 1827229554 3739059567 332021868 4072638580 2134571395 3514934084 1402460915 854351105 292657777 1298392928 1406226294 864463469 2758718674 2253789956 394472748 3667462976 87004864 1887333780 2001469464 4176984005 2904572668 1781305539 4149437114 2911875249 4099771656 363060019 3101565400 2610485521 501863267 3540346648 792453446 1990093631 1190904182 4195602608 2719844757 3823456014 3904287916 2302637088 55935015 3367848782 3382470866 2570758536 815337343 2064607705 620332905 2645985212 747628304 49513881 3311058180 1655208807 2899539937 3018101212 4139334231 1165580337 1632385030 2853900436 1365941343 3846436659 2461915022 536451911 1805321797 3311216199 2883254137 250136831 594882144 1612299941 1707157202 1567597547 3587331627 825678528 4068704227 1470592159 3362009844 4192110010 3395010778 3894570652 3984500942 1663708654 663854530 3341280871 457491907 382491936 1368915138 3381949182 1537847939 2493373773 3371419879 1652385173 4290058698 3485980819 3589386474 2632421453 3575209331 3403210145 2044284164 2517011978 1719579343 1537365194 1718951135 2811013947 4285093625 3582986939 1050938358 3937973490 2577963971 1582764545 2730747350 356843564 1912692313 1888266427 1009506063 1212833692 2424111546 2301965279 2083092448 2653112757 1447247335 2620761749 255 362436" option to reproduce the execution
0.59/0.66	c #vars 6059
0.59/0.66	c #constraints 16684
0.98/1.07	c BCD2: Hardening is enabled.
0.98/1.07	c BCD2: BiasedSearch is enabled.
0.98/1.07	c Solving starts ...
0.98/1.07	c ============================[ Search Statistics ]============================
0.98/1.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.98/1.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.98/1.07	c =============================================================================
0.98/1.07	c  0.0s |       0 |        0 |        0 |    13142      0 |        1 |        0
1.10/1.20	c  0.1s |       0 |    21807 |       66 |    13142      0 |        1 |        0
1.10/1.20	c #cpu_time = 0.120s
1.10/1.20	c #wall_clock_time = 0.120s
1.10/1.20	c #decision = 21807
1.10/1.20	c #random_decision = 83
1.10/1.20	c #conflict = 66
1.10/1.20	c #restart = 0
1.20/1.20	o 2702
1.20/1.25	c BCD2: updating upper bound: 841461 -> 2779
1.29/1.33	c BCD2: 0 <= obj <= 2779
1.29/1.33	c BCD2: #cores=0, #unrelaxed=16685, #relaxed=0, #hardened=0
1.29/1.33	c BCD2: #sat=1 #unsat=1 bias=1/2
1.29/1.33	c Solving starts ...
1.29/1.33	c ============================[ Search Statistics ]============================
1.29/1.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.33	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.33	c =============================================================================
1.29/1.33	c  0.0s |       0 |        0 |        0 |    13142      0 |        1 |        0
1.29/1.35	c  0.0s |       0 |        0 |        0 |    13142      0 |        1 |        0
1.29/1.35	c #cpu_time = 0.012s
1.29/1.35	c #wall_clock_time = 0.012s
1.29/1.35	c #decision = 0
1.29/1.35	c #random_decision = 0
1.29/1.35	c #conflict = 0
1.29/1.35	c #restart = 0
1.29/1.35	c BCD2: found a new core of size 1: cost of the new core is >=78
1.29/1.35	c lower bound updated to 0
1.39/1.40	c BCD2: 78 <= obj <= 2779
1.39/1.40	c BCD2: #cores=1, #unrelaxed=16684, #relaxed=1, #hardened=0
1.39/1.40	c BCD2: #sat=1 #unsat=2 bias=2/3
1.39/1.40	c Solving starts ...
1.39/1.40	c ============================[ Search Statistics ]============================
1.39/1.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.39/1.40	c       |         |          |          |    Limit     GC | Var      | Constra 
1.39/1.40	c =============================================================================
1.39/1.40	c  0.0s |       0 |        0 |        0 |    13142      0 |        1 |        0
1.69/1.70	c  0.3s |       0 |    35082 |       90 |    14457      0 |        1 |        0
1.69/1.70	c #cpu_time = 0.289s
1.69/1.70	c #wall_clock_time = 0.290s
1.69/1.70	c #decision = 35082
1.69/1.70	c #random_decision = 0
1.69/1.70	c #conflict = 90
1.89/1.95	c #restart = 0
1.89/1.95	c BCD2: found a new core of size 2427: cost of the new core is >=1
1.89/1.95	c lower bound updated to 1
1.89/1.95	c BCD2: 79 <= obj <= 2779
1.89/1.95	c BCD2: #cores=2, #unrelaxed=14257, #relaxed=2428, #hardened=0
1.89/1.95	c BCD2: #sat=1 #unsat=3 bias=3/4
1.89/1.95	c Solving starts ...
1.89/1.95	c ============================[ Search Statistics ]============================
1.89/1.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.95	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.95	c =============================================================================
1.89/1.95	c  0.0s |       0 |        0 |        0 |    14457      0 |        1 |        0
1.89/1.95	c  0.1s |       0 |    17457 |        7 |    14457      0 |        1 |        0
1.89/1.95	c #cpu_time = 0.060s
1.89/1.95	c #wall_clock_time = 0.060s
1.89/1.95	c #decision = 17457
1.89/1.95	c #random_decision = 6
1.89/1.95	c #conflict = 7
1.89/1.95	c #restart = 0
1.89/1.95	o 595
1.89/1.95	c BCD2: updating upper bound: 2779 -> 672
1.89/1.95	c BCD2: 79 <= obj <= 672
1.89/1.95	c BCD2: #cores=2, #unrelaxed=14257, #relaxed=2428, #hardened=0
1.89/1.95	c BCD2: #sat=2 #unsat=3 bias=3/5
1.89/1.95	c Solving starts ...
1.89/1.95	c ============================[ Search Statistics ]============================
1.89/1.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.95	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.95	c =============================================================================
1.89/1.95	c  0.0s |       0 |        0 |        0 |    14457      0 |        1 |        1
1.99/2.02	c  0.1s |       0 |    16062 |        0 |    14457      0 |        1 |        1
1.99/2.02	c #cpu_time = 0.063s
1.99/2.02	c #wall_clock_time = 0.064s
1.99/2.02	c #decision = 16062
1.99/2.02	c #random_decision = 5
1.99/2.02	c #conflict = 0
1.99/2.02	c #restart = 0
1.99/2.02	o 352
1.99/2.03	c BCD2: updating upper bound: 672 -> 429
2.09/2.13	c BCD2: 79 <= obj <= 429
2.09/2.13	c BCD2: #cores=2, #unrelaxed=14257, #relaxed=2428, #hardened=0
2.09/2.13	c BCD2: #sat=3 #unsat=3 bias=3/6
2.09/2.15	c Solving starts ...
2.09/2.15	c ============================[ Search Statistics ]============================
2.09/2.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.09/2.15	c       |         |          |          |    Limit     GC | Var      | Constra 
2.09/2.15	c =============================================================================
2.09/2.15	c  0.0s |       0 |        0 |        0 |    14457      0 |        1 |        2
2.20/2.24	c  0.1s |       0 |    15721 |        1 |    14457      0 |        1 |        2
2.20/2.24	c #cpu_time = 0.066s
2.20/2.24	c #wall_clock_time = 0.067s
2.20/2.24	c #decision = 15721
2.20/2.24	c #random_decision = 2
2.20/2.24	c #conflict = 1
2.20/2.24	c #restart = 0
2.20/2.24	o 172
2.30/2.31	c BCD2: updating upper bound: 429 -> 249
2.39/2.41	c BCD2: 79 <= obj <= 249
2.39/2.41	c BCD2: #cores=2, #unrelaxed=14257, #relaxed=2428, #hardened=0
2.39/2.41	c BCD2: #sat=4 #unsat=3 bias=3/7
2.39/2.43	c Solving starts ...
2.39/2.43	c ============================[ Search Statistics ]============================
2.39/2.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.43	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.43	c =============================================================================
2.39/2.43	c  0.0s |       0 |        0 |        0 |    14457      0 |        1 |        3
2.49/2.52	c  0.1s |       0 |    15375 |        0 |    14457      0 |        1 |        3
2.49/2.52	c #cpu_time = 0.067s
2.49/2.52	c #wall_clock_time = 0.067s
2.49/2.52	c #decision = 15375
2.49/2.52	c #random_decision = 0
2.49/2.52	c #conflict = 0
2.49/2.52	c #restart = 0
2.49/2.52	o 57
2.49/2.53	c BCD2: hardening fixes 7501 literals
2.49/2.54	c BCD2: updating upper bound: 249 -> 134
2.49/2.59	c BCD2: 79 <= obj <= 134
2.49/2.59	c BCD2: #cores=2, #unrelaxed=7816, #relaxed=1368, #hardened=7501
2.49/2.59	c BCD2: #sat=5 #unsat=3 bias=3/8
2.59/2.61	c Solving starts ...
2.59/2.61	c ============================[ Search Statistics ]============================
2.59/2.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.59/2.61	c       |         |          |          |    Limit     GC | Var      | Constra 
2.59/2.61	c =============================================================================
2.59/2.61	c  0.0s |       0 |        0 |        0 |    14457      0 |     7502 |        4
2.59/2.67	c  0.1s |       0 |     8161 |        0 |    14457      0 |     7502 |        5
2.59/2.67	c #cpu_time = 0.054s
2.59/2.67	c #wall_clock_time = 0.054s
2.59/2.67	c #decision = 8161
2.59/2.67	c #random_decision = 0
2.59/2.67	c #conflict = 0
2.59/2.67	c #restart = 0
2.59/2.68	o 25
2.59/2.70	c BCD2: hardening fixes 5324 literals
2.69/2.70	c BCD2: updating upper bound: 134 -> 102
2.69/2.72	c BCD2: 79 <= obj <= 102
2.69/2.72	c BCD2: #cores=2, #unrelaxed=3274, #relaxed=586, #hardened=12825
2.69/2.72	c BCD2: #sat=6 #unsat=3 bias=3/9
2.69/2.72	c Solving starts ...
2.69/2.72	c ============================[ Search Statistics ]============================
2.69/2.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.69/2.72	c       |         |          |          |    Limit     GC | Var      | Constra 
2.69/2.72	c =============================================================================
2.69/2.72	c  0.0s |       0 |        0 |        0 |    14457      0 |    12826 |        6
2.79/2.80	c  0.1s |       0 |     3689 |       43 |    14457      0 |    12826 |        6
2.79/2.80	c #cpu_time = 0.065s
2.79/2.80	c #wall_clock_time = 0.066s
2.79/2.80	c #decision = 3689
2.79/2.80	c #random_decision = 0
2.79/2.80	c #conflict = 43
2.79/2.80	c #restart = 0
2.79/2.80	o 9
2.79/2.82	c BCD2: hardening fixes 2645 literals
2.79/2.82	c BCD2: updating upper bound: 102 -> 86
2.79/2.83	c BCD2: 79 <= obj <= 86
2.79/2.83	c BCD2: #cores=2, #unrelaxed=1018, #relaxed=197, #hardened=15470
2.79/2.83	c BCD2: #sat=7 #unsat=3 bias=3/10
2.79/2.83	c Solving starts ...
2.79/2.83	c ============================[ Search Statistics ]============================
2.79/2.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.79/2.83	c       |         |          |          |    Limit     GC | Var      | Constra 
2.79/2.83	c =============================================================================
2.79/2.83	c  0.0s |       0 |        0 |        0 |    14457      0 |    15615 |        7
2.79/2.88	c  0.1s |       0 |     1413 |       13 |    14457      0 |    15615 |      519
2.79/2.88	c #cpu_time = 0.045s
2.79/2.88	c #wall_clock_time = 0.045s
2.79/2.88	c #decision = 1413
2.79/2.88	c #random_decision = 1
2.79/2.88	c #conflict = 13
2.79/2.88	c #restart = 0
2.79/2.88	o 3
2.89/2.90	c BCD2: hardening fixes 999 literals
2.89/2.90	c BCD2: updating upper bound: 86 -> 80
2.89/2.90	c BCD2: 79 <= obj <= 80
2.89/2.90	c BCD2: #cores=2, #unrelaxed=163, #relaxed=53, #hardened=16469
2.89/2.90	c BCD2: #sat=8 #unsat=3 bias=3/11
2.89/2.91	c Solving starts ...
2.89/2.91	c ============================[ Search Statistics ]============================
2.89/2.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.89/2.91	c       |         |          |          |    Limit     GC | Var      | Constra 
2.89/2.91	c =============================================================================
2.89/2.91	c  0.0s |       0 |        0 |        0 |    14457      0 |    16627 |      520
2.89/2.95	c  0.0s |       0 |      454 |        0 |    14457      0 |    16627 |      558
2.89/2.95	c #cpu_time = 0.035s
2.89/2.95	c #wall_clock_time = 0.035s
2.89/2.95	c #decision = 454
2.89/2.95	c #random_decision = 0
2.89/2.95	c #conflict = 0
2.89/2.95	c #restart = 0
2.89/2.95	o 1
2.89/2.96	s OPTIMUM FOUND
2.89/2.96	v x1 x2 x3 -x4 -x5 x6 x7 -x8 -x9 -x10
2.89/2.96	v -x11 x12 -x13 -x14 -x15 x16 x17 x18 -x19 x20
2.89/2.96	v x21 -x22 -x23 -x24 x25 -x26 x27 x28 x29 x30
2.89/2.96	v x31 x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40
2.89/2.96	v -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 x50
2.89/2.96	v x51 x52 x53 -x54 -x55 -x56 x57 x58 x59 x60
2.89/2.96	v -x61 -x62 x63 -x64 -x65 x66 x67 x68 x69 -x70
2.89/2.96	v -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79 -x80
2.89/2.96	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 x89 x90
2.89/2.96	v -x91 x92 x93 x94 x95 -x96 x97 x98 x99 x100
2.89/2.96	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 x109 -x110
2.89/2.96	v -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120
2.89/2.96	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
2.89/2.96	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
2.89/2.96	v -x141 -x142 x143 x144 -x145 -x146 -x147 -x148 x149 x150
2.89/2.96	v -x151 x152 x153 -x154 x155 -x156 -x157 -x158 x159 x160
2.89/2.96	v -x161 x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
2.89/2.96	v -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180
2.89/2.96	v x181 x182 x183 -x184 -x185 -x186 -x187 x188 x189 -x190
2.89/2.96	v x191 x192 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200
2.89/2.96	v -x201 -x202 -x203 -x204 x205 x206 -x207 -x208 x209 x210
2.89/2.96	v -x211 -x212 x213 x214 -x215 -x216 x217 x218 -x219 -x220
2.89/2.96	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230
2.89/2.96	v x231 x232 x233 -x234 x235 -x236 -x237 -x238 x239 -x240
2.89/2.96	v -x241 -x242 -x243 -x244 x245 x246 -x247 x248 -x249 -x250
2.89/2.96	v x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 x259 -x260
2.89/2.96	v x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
2.89/2.96	v x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280
2.89/2.96	v -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 x290
2.89/2.96	v -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 x299 -x300
2.89/2.96	v -x301 -x302 -x303 -x304 -x305 x306 x307 x308 -x309 -x310
2.89/2.96	v -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
2.89/2.96	v -x321 -x322 -x323 x324 -x325 -x326 -x327 x328 -x329 -x330
2.89/2.96	v -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340
2.89/2.96	v -x341 x342 x343 x344 -x345 x346 -x347 -x348 -x349 -x350
2.89/2.96	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
2.89/2.96	v -x361 x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370
2.89/2.96	v -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380
2.89/2.96	v -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
2.89/2.96	v -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400
2.89/2.96	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 x410
2.89/2.96	v x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420
2.89/2.96	v -x421 x422 x423 x424 x425 x426 x427 x428 -x429 -x430
2.89/2.96	v -x431 -x432 x433 x434 x435 -x436 -x437 -x438 x439 x440
2.89/2.96	v x441 -x442 -x443 -x444 x445 x446 x447 -x448 -x449 x450
2.89/2.96	v x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
2.89/2.96	v -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470
2.89/2.96	v x471 x472 -x473 -x474 -x475 x476 -x477 x478 -x479 -x480
2.89/2.96	v -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490
2.89/2.96	v -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500
2.89/2.96	v -x501 x502 -x503 -x504 -x505 -x506 x507 -x508 x509 -x510
2.89/2.96	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520
2.89/2.96	v -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530
2.89/2.96	v -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
2.89/2.96	v -x541 x542 x543 x544 -x545 -x546 x547 x548 x549 -x550
2.89/2.96	v x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
2.89/2.96	v x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
2.89/2.96	v x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580
2.89/2.96	v -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590
2.89/2.96	v -x591 -x592 -x593 x594 x595 x596 -x597 -x598 -x599 -x600
2.89/2.96	v -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 x609 -x610
2.89/2.96	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
2.89/2.96	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630
2.89/2.96	v x631 -x632 -x633 -x634 x635 -x636 -x637 x638 -x639 x640
2.89/2.96	v -x641 x642 -x643 -x644 x645 -x646 x647 x648 x649 -x650
2.89/2.96	v x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 x660
2.89/2.96	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
2.89/2.96	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680
2.89/2.96	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
2.89/2.96	v -x691 x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700
2.89/2.96	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
2.89/2.96	v -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720
2.89/2.96	v -x721 x722 -x723 -x724 x725 x726 x727 x728 -x729 -x730
2.89/2.96	v -x731 x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 x740
2.89/2.96	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
2.89/2.96	v -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
2.89/2.96	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770
2.89/2.96	v -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
2.89/2.96	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790
2.89/2.96	v x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800
2.89/2.96	v x801 x802 -x803 -x804 x805 x806 -x807 -x808 -x809 -x810
2.89/2.96	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
2.89/2.96	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830
2.89/2.96	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
2.89/2.96	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
2.89/2.96	v -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 x860
2.89/2.96	v -x861 -x862 -x863 x864 x865 x866 -x867 -x868 -x869 -x870
2.89/2.96	v -x871 -x872 -x873 -x874 x875 x876 x877 x878 -x879 x880
2.89/2.96	v -x881 -x882 -x883 x884 x885 -x886 -x887 -x888 -x889 -x890
2.89/2.96	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
2.89/2.96	v -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910
2.89/2.96	v -x911 x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920
2.89/2.96	v -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 x930
2.89/2.96	v -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940
2.89/2.96	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 x949 -x950
2.89/2.96	v -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960
2.89/2.96	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
2.89/2.96	v -x971 x972 x973 x974 -x975 -x976 -x977 -x978 -x979 -x980
2.89/2.96	v -x981 -x982 x983 x984 x985 -x986 -x987 -x988 -x989 -x990
2.89/2.96	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000
2.89/2.96	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010
2.89/2.96	v -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020
2.89/2.96	v -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
2.89/2.96	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
2.89/2.96	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
2.89/2.96	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
2.89/2.96	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
2.89/2.96	v -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 x1080
2.89/2.96	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
2.89/2.96	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
2.89/2.96	v -x1101 -x1102 -x1103 x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110
2.89/2.96	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
2.89/2.96	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
2.89/2.96	v -x1131 x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140
2.89/2.96	v -x1141 x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150
2.89/2.96	v x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 x1159 -x1160
2.89/2.96	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
2.89/2.96	v -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180
2.89/2.96	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190
2.89/2.96	v -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 x1198 -x1199 x1200
2.89/2.96	v -x1201 x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
2.89/2.96	v -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220
2.89/2.96	v -x1221 x1222 -x1223 x1224 -x1225 x1226 x1227 x1228 -x1229 -x1230
2.89/2.96	v x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240
2.89/2.96	v -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
2.89/2.96	v -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260
2.89/2.96	v -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 x1269 -x1270
2.89/2.96	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280
2.89/2.96	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
2.89/2.96	v x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
2.89/2.96	v -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
2.89/2.96	v -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
2.89/2.96	v x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330
2.89/2.96	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340
2.89/2.96	v -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
2.89/2.96	v -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
2.89/2.96	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
2.89/2.96	v -x1371 -x1372 -x1373 -x1374 -x1375 x1376 x1377 x1378 x1379 x1380
2.89/2.96	v x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
2.89/2.96	v -x1391 x1392 x1393 x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400
2.89/2.96	v x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410
2.89/2.96	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
2.89/2.96	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430
2.89/2.96	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
2.89/2.96	v -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450
2.89/2.96	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
2.89/2.96	v -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
2.89/2.96	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 x1478 x1479 x1480
2.89/2.96	v x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
2.89/2.96	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
2.89/2.96	v x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
2.89/2.96	v -x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520
2.89/2.96	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
2.89/2.96	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540
2.89/2.96	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550
2.89/2.96	v -x1551 -x1552 -x1553 -x1554 -x1555 x1556 x1557 -x1558 -x1559 -x1560
2.89/2.96	v -x1561 x1562 x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
2.89/2.96	v -x1571 x1572 x1573 x1574 x1575 x1576 x1577 x1578 -x1579 -x1580
2.89/2.96	v -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590
2.89/2.96	v -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 x1600
2.89/2.96	v -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610
2.89/2.96	v -x1611 -x1612 -x1613 x1614 x1615 x1616 -x1617 -x1618 -x1619 x1620
2.89/2.96	v -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630
2.89/2.96	v -x1631 x1632 x1633 x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640
2.89/2.96	v -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650
2.89/2.96	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660
2.89/2.96	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670
2.89/2.96	v -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
2.89/2.96	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
2.89/2.96	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700
2.89/2.96	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
2.89/2.96	v -x1711 -x1712 -x1713 x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720
2.89/2.96	v -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
2.89/2.96	v x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740
2.89/2.96	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750
2.89/2.96	v -x1751 -x1752 -x1753 -x1754 x1755 x1756 x1757 -x1758 -x1759 -x1760
2.89/2.96	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
2.89/2.96	v x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780
2.89/2.96	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
2.89/2.96	v -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 x1800
2.89/2.96	v x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
2.89/2.96	v -x1811 x1812 -x1813 -x1814 x1815 x1816 x1817 -x1818 -x1819 -x1820
2.89/2.96	v -x1821 x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830
2.89/2.96	v -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
2.89/2.96	v -x1841 -x1842 x1843 -x1844 x1845 -x1846 x1847 x1848 x1849 x1850
2.89/2.96	v x1851 x1852 x1853 x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860
2.89/2.96	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
2.89/2.96	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
2.89/2.96	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
2.89/2.96	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
2.89/2.96	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
2.89/2.96	v x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920
2.89/2.96	v -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
2.89/2.96	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940
2.89/2.96	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
2.89/2.96	v -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960
2.89/2.96	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
2.89/2.96	v -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980
2.89/2.96	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
2.89/2.96	v -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000
2.89/2.96	v -x2001 x2002 x2003 -x2004 -x2005 x2006 x2007 x2008 -x2009 -x2010
2.89/2.96	v -x2011 x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x2020
2.89/2.96	v x2021 x2022 x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030
2.89/2.96	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
2.89/2.96	v -x2041 x2042 x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050
2.89/2.96	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
2.89/2.96	v x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070
2.89/2.96	v -x2071 x2072 x2073 x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080
2.89/2.96	v -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090
2.89/2.96	v -x2091 x2092 -x2093 x2094 x2095 x2096 x2097 -x2098 -x2099 x2100
2.89/2.96	v x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 x2109 -x2110
2.89/2.96	v x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
2.89/2.96	v -x2121 x2122 -x2123 x2124 x2125 x2126 x2127 x2128 x2129 -x2130
2.89/2.96	v -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 x2138 -x2139 -x2140
2.89/2.96	v -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 x2150
2.89/2.96	v x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 x2160
2.89/2.96	v -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170
2.89/2.96	v x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 x2179 x2180
2.89/2.96	v x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 x2190
2.89/2.96	v -x2191 -x2192 -x2193 x2194 x2195 x2196 -x2197 -x2198 -x2199 -x2200
2.89/2.96	v -x2201 -x2202 -x2203 x2204 x2205 x2206 -x2207 -x2208 x2209 -x2210
2.89/2.96	v -x2211 -x2212 x2213 x2214 x2215 -x2216 -x2217 x2218 -x2219 x2220
2.89/2.96	v x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
2.89/2.96	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
2.89/2.96	v -x2241 x2242 x2243 x2244 x2245 -x2246 -x2247 -x2248 x2249 -x2250
2.89/2.96	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
2.89/2.96	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
2.89/2.96	v x2271 x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280
2.89/2.96	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290
2.89/2.96	v -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300
2.89/2.96	v -x2301 -x2302 -x2303 -x2304 x2305 -x2306 x2307 -x2308 x2309 -x2310
2.89/2.96	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
2.89/2.96	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
2.89/2.96	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
2.89/2.96	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
2.89/2.96	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
2.89/2.96	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
2.89/2.96	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380
2.89/2.96	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
2.89/2.96	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 x2400
2.89/2.96	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
2.89/2.96	v -x2411 x2412 -x2413 x2414 x2415 x2416 x2417 x2418 x2419 x2420
2.89/2.96	v -x2421 x2422 -x2423 x2424 x2425 x2426 x2427 -x2428 -x2429 x2430
2.89/2.96	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440
2.89/2.96	v x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
2.89/2.96	v x2451 x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460
2.89/2.96	v -x2461 -x2462 x2463 -x2464 -x2465 -x2466 x2467 x2468 x2469 -x2470
2.89/2.96	v -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480
2.89/2.96	v -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490
2.89/2.96	v -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500
2.89/2.96	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510
2.89/2.96	v -x2511 -x2512 x2513 x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520
2.89/2.96	v x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
2.89/2.96	v x2531 -x2532 -x2533 -x2534 x2535 -x2536 x2537 x2538 x2539 -x2540
2.89/2.96	v -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x2550
2.89/2.96	v -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
2.89/2.96	v -x2561 -x2562 -x2563 x2564 x2565 x2566 -x2567 -x2568 x2569 x2570
2.89/2.96	v -x2571 -x2572 -x2573 -x2574 x2575 x2576 x2577 -x2578 -x2579 -x2580
2.89/2.96	v -x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
2.89/2.96	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
2.89/2.96	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
2.89/2.96	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
2.89/2.96	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
2.89/2.96	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
2.89/2.96	v -x2641 -x2642 x2643 -x2644 -x2645 -x2646 x2647 x2648 x2649 -x2650
2.89/2.96	v -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660
2.89/2.96	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 x2667 x2668 x2669 -x2670
2.89/2.96	v -x2671 x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
2.89/2.96	v -x2681 -x2682 x2683 x2684 x2685 -x2686 -x2687 x2688 -x2689 x2690
2.89/2.96	v x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
2.89/2.96	v -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
2.89/2.96	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
2.89/2.96	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
2.89/2.96	v -x2731 -x2732 x2733 x2734 x2735 x2736 -x2737 -x2738 -x2739 x2740
2.89/2.96	v x2741 -x2742 -x2743 x2744 -x2745 x2746 x2747 x2748 -x2749 -x2750
2.89/2.96	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
2.89/2.96	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
2.89/2.96	v -x2771 -x2772 -x2773 x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780
2.89/2.96	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
2.89/2.96	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800
2.89/2.96	v x2801 x2802 x2803 x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810
2.89/2.96	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
2.89/2.96	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
2.89/2.96	v x2831 x2832 x2833 x2834 x2835 x2836 x2837 x2838 x2839 x2840
2.89/2.96	v x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850
2.89/2.96	v -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
2.89/2.96	v -x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
2.89/2.96	v -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 -x2880
2.89/2.96	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
2.89/2.96	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 x2898 x2899 -x2900
2.89/2.96	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 -x2909 -x2910
2.89/2.96	v x2911 x2912 x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920
2.89/2.96	v -x2921 -x2922 x2923 x2924 -x2925 -x2926 x2927 -x2928 -x2929 -x2930
2.89/2.96	v x2931 x2932 x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
2.89/2.96	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
2.89/2.96	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
2.89/2.96	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970
2.89/2.96	v x2971 x2972 -x2973 -x2974 x2975 -x2976 -x2977 x2978 x2979 x2980
2.89/2.96	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
2.89/2.96	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
2.89/2.96	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
2.89/2.96	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
2.89/2.96	v -x3021 -x3022 -x3023 x3024 x3025 x3026 -x3027 -x3028 x3029 -x3030
2.89/2.96	v x3031 x3032 x3033 x3034 x3035 -x3036 -x3037 x3038 -x3039 x3040
2.89/2.96	v x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
2.89/2.96	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
2.89/2.96	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070
2.89/2.96	v x3071 x3072 x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 -x3080
2.89/2.96	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
2.89/2.96	v -x3091 x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100
2.89/2.96	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
2.89/2.96	v -x3111 x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
2.89/2.96	v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 x3130
2.89/2.96	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
2.89/2.96	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150
2.89/2.96	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
2.89/2.96	v -x3161 x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
2.89/2.96	v -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
2.89/2.96	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
2.89/2.96	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
2.89/2.96	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
2.89/2.96	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
2.89/2.96	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
2.89/2.96	v -x3231 -x3232 -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 -x3240
2.89/2.96	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249 -x3250
2.89/2.96	v x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
2.89/2.96	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
2.89/2.96	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
2.89/2.96	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
2.89/2.96	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
2.89/2.96	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
2.89/2.96	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
2.89/2.96	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
2.89/2.96	v -x3331 -x3332 x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
2.89/2.96	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 x3350
2.89/2.96	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
2.89/2.96	v -x3361 -x3362 x3363 -x3364 x3365 x3366 x3367 x3368 x3369 x3370
2.89/2.96	v x3371 -x3372 x3373 -x3374 x3375 x3376 x3377 x3378 x3379 -x3380
2.89/2.96	v x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 -x3390
2.89/2.96	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 x3397 -x3398 -x3399 -x3400
2.89/2.96	v x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
2.89/2.96	v -x3411 -x3412 -x3413 -x3414 x3415 -x3416 x3417 -x3418 -x3419 x3420
2.89/2.96	v -x3421 x3422 x3423 x3424 -x3425 -x3426 x3427 -x3428 -x3429 -x3430
2.89/2.96	v x3431 -x3432 -x3433 -x3434 -x3435 -x3436 x3437 -x3438 -x3439 -x3440
2.89/2.96	v x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 x3449 -x3450
2.89/2.96	v -x3451 x3452 -x3453 x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
2.89/2.96	v -x3461 x3462 x3463 x3464 x3465 x3466 x3467 x3468 x3469 -x3470
2.89/2.96	v x3471 -x3472 -x3473 x3474 -x3475 -x3476 -x3477 x3478 x3479 -x3480
2.89/2.96	v -x3481 x3482 -x3483 x3484 x3485 x3486 x3487 -x3488 -x3489 -x3490
2.89/2.96	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
2.89/2.96	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 x3509 x3510
2.89/2.96	v x3511 -x3512 x3513 -x3514 -x3515 x3516 -x3517 -x3518 x3519 -x3520
2.89/2.96	v -x3521 -x3522 x3523 -x3524 -x3525 x3526 x3527 x3528 -x3529 -x3530
2.89/2.96	v x3531 -x3532 x3533 -x3534 x3535 -x3536 x3537 x3538 -x3539 -x3540
2.89/2.96	v x3541 -x3542 x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3550
2.89/2.96	v -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
2.89/2.96	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
2.89/2.96	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
2.89/2.96	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
2.89/2.96	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 x3600
2.89/2.96	v x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 x3608 -x3609 -x3610
2.89/2.96	v x3611 -x3612 x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
2.89/2.96	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
2.89/2.96	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 -x3638 -x3639 -x3640
2.89/2.96	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
2.89/2.96	v -x3651 -x3652 x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
2.89/2.96	v x3661 x3662 x3663 x3664 x3665 x3666 x3667 x3668 -x3669 -x3670
2.89/2.96	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
2.89/2.96	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
2.89/2.96	v -x3691 -x3692 -x3693 -x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700
2.89/2.96	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
2.89/2.96	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720
2.89/2.96	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730
2.89/2.96	v -x3731 -x3732 -x3733 -x3734 x3735 -x3736 -x3737 -x3738 -x3739 x3740
2.89/2.96	v x3741 x3742 x3743 x3744 x3745 x3746 -x3747 -x3748 -x3749 -x3750
2.89/2.96	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
2.89/2.96	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
2.89/2.96	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
2.89/2.96	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
2.89/2.96	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x3800
2.89/2.96	v -x3801 -x3802 -x3803 x3804 -x3805 -x3806 x3807 -x3808 -x3809 -x3810
2.89/2.96	v -x3811 x3812 -x3813 -x3814 -x3815 -x3816 x3817 -x3818 -x3819 -x3820
2.89/2.96	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 x3827 x3828 x3829 x3830
2.89/2.96	v x3831 x3832 x3833 x3834 x3835 x3836 x3837 x3838 -x3839 -x3840
2.89/2.96	v -x3841 x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 x3850
2.89/2.96	v -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 -x3860
2.89/2.96	v -x3861 -x3862 x3863 -x3864 -x3865 -x3866 -x3867 x3868 x3869 x3870
2.89/2.96	v x3871 x3872 x3873 x3874 x3875 x3876 x3877 x3878 -x3879 -x3880
2.89/2.96	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
2.89/2.96	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
2.89/2.96	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
2.89/2.96	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
2.89/2.96	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
2.89/2.96	v -x3931 -x3932 -x3933 x3934 x3935 x3936 x3937 -x3938 -x3939 x3940
2.89/2.96	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 -x3950
2.89/2.96	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
2.89/2.96	v -x3961 -x3962 -x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 x3970
2.89/2.96	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 x3978 -x3979 -x3980
2.89/2.96	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
2.89/2.96	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
2.89/2.96	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
2.89/2.96	v x4011 -x4012 -x4013 x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
2.89/2.96	v -x4021 -x4022 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
2.89/2.96	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
2.89/2.96	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
2.89/2.96	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
2.89/2.96	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 -x4069 -x4070
2.89/2.96	v x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
2.89/2.96	v -x4081 x4082 x4083 x4084 x4085 x4086 x4087 x4088 x4089 x4090
2.89/2.96	v x4091 -x4092 -x4093 x4094 -x4095 x4096 x4097 x4098 x4099 -x4100
2.89/2.96	v x4101 -x4102 -x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 x4110
2.89/2.96	v x4111 x4112 x4113 -x4114 -x4115 -x4116 x4117 x4118 -x4119 -x4120
2.89/2.96	v -x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 x4129 x4130
2.89/2.96	v x4131 -x4132 -x4133 x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x4140
2.89/2.96	v x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 x4148 x4149 x4150
2.89/2.96	v x4151 -x4152 -x4153 x4154 x4155 x4156 -x4157 -x4158 -x4159 x4160
2.89/2.96	v x4161 -x4162 -x4163 x4164 -x4165 x4166 x4167 x4168 x4169 -x4170
2.89/2.96	v -x4171 -x4172 -x4173 -x4174 x4175 -x4176 x4177 x4178 x4179 x4180
2.89/2.96	v x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
2.89/2.96	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200
2.89/2.96	v -x4201 x4202 x4203 x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
2.89/2.96	v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 x4218 -x4219 -x4220
2.89/2.96	v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
2.89/2.96	v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240
2.89/2.96	v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250
2.89/2.96	v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260
2.89/2.96	v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
2.89/2.96	v x4271 -x4272 -x4273 -x4274 -x4275 x4276 -x4277 -x4278 -x4279 -x4280
2.89/2.96	v -x4281 x4282 -x4283 -x4284 -x4285 -x4286 -x4287 x4288 -x4289 -x4290
2.89/2.96	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300
2.89/2.96	v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310
2.89/2.96	v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
2.89/2.96	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330
2.89/2.96	v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340
2.89/2.96	v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350
2.89/2.96	v -x4351 x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x4360
2.89/2.96	v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 -x4370
2.89/2.96	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380
2.89/2.96	v -x4381 -x4382 -x4383 -x4384 -x4385 x4386 -x4387 -x4388 -x4389 -x4390
2.89/2.96	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400
2.89/2.96	v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410
2.89/2.96	v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 x4417 x4418 x4419 -x4420
2.89/2.96	v x4421 x4422 x4423 x4424 x4425 x4426 -x4427 -x4428 x4429 -x4430
2.89/2.96	v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440
2.89/2.96	v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450
2.89/2.96	v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460
2.89/2.96	v x4461 -x4462 x4463 -x4464 x4465 -x4466 x4467 -x4468 x4469 -x4470
2.89/2.96	v -x4471 -x4472 x4473 x4474 -x4475 x4476 -x4477 -x4478 -x4479 x4480
2.89/2.96	v -x4481 x4482 -x4483 -x4484 x4485 -x4486 x4487 -x4488 -x4489 -x4490
2.89/2.96	v x4491 -x4492 -x4493 -x4494 -x4495 x4496 x4497 x4498 x4499 x4500
2.89/2.96	v x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510
2.89/2.96	v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520
2.89/2.96	v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530
2.89/2.96	v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540
2.89/2.96	v -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550
2.89/2.96	v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560
2.89/2.96	v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570
2.89/2.96	v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580
2.89/2.96	v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590
2.89/2.96	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600
2.89/2.96	v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610
2.89/2.96	v -x4611 -x4612 -x4613 -x4614 -x4615 x4616 x4617 x4618 x4619 x4620
2.89/2.96	v x4621 x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630
2.89/2.96	v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640
2.89/2.96	v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650
2.89/2.96	v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 x4658 -x4659 -x4660
2.89/2.96	v -x4661 -x4662 -x4663 -x4664 -x4665 x4666 x4667 x4668 x4669 x4670
2.89/2.96	v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 x4680
2.89/2.96	v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690
2.89/2.96	v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700
2.89/2.96	v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710
2.89/2.96	v -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720
2.89/2.96	v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730
2.89/2.96	v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740
2.89/2.96	v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750
2.89/2.96	v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760
2.89/2.96	v -x4761 -x4762 x4763 x4764 x4765 x4766 x4767 -x4768 -x4769 -x4770
2.89/2.96	v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780
2.89/2.96	v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790
2.89/2.96	v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 x4798 x4799 x4800
2.89/2.96	v x4801 x4802 x4803 x4804 x4805 x4806 x4807 x4808 -x4809 -x4810
2.89/2.96	v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820
2.89/2.96	v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
2.89/2.96	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840
2.89/2.96	v -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850
2.89/2.96	v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860
2.89/2.96	v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870
2.89/2.96	v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880
2.89/2.96	v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890
2.89/2.96	v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900
2.89/2.96	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910
2.89/2.96	v -x4911 -x4912 x4913 x4914 x4915 x4916 x4917 x4918 x4919 x4920
2.89/2.96	v x4921 x4922 x4923 x4924 -x4925 -x4926 x4927 -x4928 -x4929 -x4930
2.89/2.96	v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940
2.89/2.96	v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 -x4949 x4950
2.89/2.96	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960
2.89/2.96	v x4961 -x4962 -x4963 -x4964 x4965 -x4966 -x4967 -x4968 -x4969 -x4970
2.89/2.96	v -x4971 -x4972 -x4973 x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980
2.89/2.96	v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 x4987 -x4988 -x4989 -x4990
2.89/2.96	v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 x5000
2.89/2.96	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010
2.89/2.96	v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020
2.89/2.96	v x5021 x5022 x5023 x5024 x5025 x5026 x5027 x5028 -x5029 x5030
2.89/2.96	v x5031 x5032 x5033 x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040
2.89/2.96	v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050
2.89/2.96	v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 x5058 -x5059 -x5060
2.89/2.96	v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070
2.89/2.96	v x5071 x5072 -x5073 -x5074 -x5075 -x5076 x5077 -x5078 -x5079 x5080
2.89/2.96	v x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090
2.89/2.96	v -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100
2.89/2.96	v -x5101 -x5102 -x5103 x5104 -x5105 -x5106 -x5107 x5108 x5109 x5110
2.89/2.96	v x5111 -x5112 -x5113 -x5114 x5115 -x5116 -x5117 -x5118 x5119 x5120
2.89/2.96	v x5121 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 x5130
2.89/2.96	v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140
2.89/2.96	v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150
2.89/2.96	v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160
2.89/2.96	v -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170
2.89/2.96	v -x5171 -x5172 -x5173 x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180
2.89/2.96	v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190
2.89/2.96	v -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 x5199 x5200
2.89/2.96	v x5201 x5202 x5203 x5204 x5205 -x5206 -x5207 -x5208 -x5209 -x5210
2.89/2.96	v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220
2.89/2.96	v -x5221 -x5222 -x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 -x5230
2.89/2.96	v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240
2.89/2.96	v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250
2.89/2.96	v -x5251 -x5252 -x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260
2.89/2.96	v -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270
2.89/2.96	v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280
2.89/2.96	v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x5290
2.89/2.96	v x5291 x5292 -x5293 -x5294 x5295 -x5296 -x5297 -x5298 -x5299 -x5300
2.89/2.96	v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310
2.89/2.96	v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320
2.89/2.96	v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 x5329 -x5330
2.89/2.96	v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340
2.89/2.96	v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350
2.89/2.96	v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360
2.89/2.96	v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370
2.89/2.96	v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380
2.89/2.96	v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390
2.89/2.96	v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400
2.89/2.96	v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410
2.89/2.96	v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420
2.89/2.96	v -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430
2.89/2.96	v -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 x5437 -x5438 -x5439 -x5440
2.89/2.96	v x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450
2.89/2.96	v x5451 -x5452 x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460
2.89/2.96	v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470
2.89/2.96	v -x5471 -x5472 x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480
2.89/2.96	v -x5481 -x5482 -x5483 -x5484 x5485 -x5486 -x5487 -x5488 -x5489 -x5490
2.89/2.96	v -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 x5497 x5498 x5499 x5500
2.89/2.96	v x5501 x5502 x5503 -x5504 x5505 x5506 x5507 x5508 x5509 -x5510
2.89/2.96	v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520
2.89/2.96	v x5521 x5522 -x5523 -x5524 -x5525 -x5526 x5527 x5528 -x5529 -x5530
2.89/2.96	v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540
2.89/2.96	v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550
2.89/2.96	v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 x5557 -x5558 -x5559 -x5560
2.89/2.96	v x5561 x5562 x5563 x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570
2.89/2.96	v -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580
2.89/2.96	v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590
2.89/2.96	v -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600
2.89/2.96	v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610
2.89/2.96	v -x5611 -x5612 -x5613 -x5614 -x5615 x5616 -x5617 -x5618 -x5619 -x5620
2.89/2.96	v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630
2.89/2.96	v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 x5639 x5640
2.89/2.96	v x5641 x5642 x5643 x5644 x5645 -x5646 -x5647 -x5648 -x5649 -x5650
2.89/2.96	v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 x5657 -x5658 -x5659 -x5660
2.89/2.96	v -x5661 -x5662 -x5663 -x5664 -x5665 x5666 -x5667 -x5668 -x5669 -x5670
2.89/2.96	v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680
2.89/2.96	v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690
2.89/2.96	v -x5691 x5692 x5693 x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700
2.89/2.96	v -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 x5708 -x5709 -x5710
2.89/2.96	v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720
2.89/2.96	v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730
2.89/2.96	v -x5731 -x5732 -x5733 -x5734 x5735 -x5736 x5737 x5738 -x5739 -x5740
2.89/2.96	v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750
2.89/2.96	v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 x5758 x5759 -x5760
2.89/2.96	v x5761 x5762 x5763 -x5764 x5765 -x5766 x5767 x5768 x5769 x5770
2.89/2.96	v x5771 x5772 -x5773 x5774 x5775 x5776 x5777 x5778 x5779 x5780
2.89/2.96	v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790
2.89/2.96	v -x5791 x5792 -x5793 -x5794 -x5795 x5796 -x5797 -x5798 -x5799 -x5800
2.89/2.96	v x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 x5808 x5809 x5810
2.89/2.96	v x5811 x5812 -x5813 -x5814 -x5815 x5816 -x5817 x5818 -x5819 -x5820
2.89/2.96	v -x5821 -x5822 x5823 x5824 -x5825 x5826 x5827 x5828 -x5829 -x5830
2.89/2.96	v -x5831 -x5832 -x5833 x5834 x5835 x5836 x5837 -x5838 x5839 x5840
2.89/2.96	v -x5841 x5842 -x5843 -x5844 -x5845 x5846 -x5847 -x5848 -x5849 -x5850
2.89/2.96	v -x5851 -x5852 x5853 x5854 x5855 x5856 x5857 -x5858 x5859 x5860
2.89/2.96	v x5861 -x5862 x5863 x5864 x5865 x5866 x5867 x5868 x5869 x5870
2.89/2.96	v x5871 x5872 x5873 x5874 -x5875 x5876 x5877 x5878 x5879 x5880
2.89/2.96	v x5881 x5882 x5883 x5884 x5885 -x5886 -x5887 -x5888 x5889 x5890
2.89/2.96	v x5891 x5892 x5893 x5894 x5895 x5896 x5897 x5898 x5899 x5900
2.89/2.96	v x5901 x5902 x5903 x5904 x5905 x5906 x5907 x5908 x5909 x5910
2.89/2.96	v x5911 x5912 x5913 x5914 x5915 x5916 x5917 x5918 x5919 x5920
2.89/2.96	v x5921 x5922 x5923 x5924 x5925 x5926 x5927 x5928 x5929 x5930
2.89/2.96	v -x5931 -x5932 -x5933 -x5934 x5935 x5936 x5937 x5938 -x5939 x5940
2.89/2.96	v x5941 x5942 x5943 x5944 x5945 -x5946 -x5947 -x5948 -x5949 x5950
2.89/2.96	v x5951 x5952 x5953 x5954 x5955 x5956 x5957 x5958 x5959 x5960
2.89/2.96	v -x5961 x5962 -x5963 -x5964 x5965 x5966 x5967 x5968 x5969 -x5970
2.89/2.96	v x5971 x5972 x5973 x5974 -x5975 x5976 x5977 x5978 x5979 -x5980
2.89/2.96	v x5981 x5982 x5983 x5984 x5985 x5986 x5987 x5988 x5989 x5990
2.89/2.96	v x5991 x5992 -x5993 -x5994 -x5995 x5996 x5997 x5998 x5999 x6000
2.89/2.96	v x6001 x6002 x6003 x6004 x6005 -x6006 -x6007 -x6008 -x6009 x6010
2.89/2.96	v x6011 x6012 x6013 x6014 -x6015 x6016 x6017 x6018 -x6019 x6020
2.89/2.96	v -x6021 -x6022 -x6023 -x6024 x6025 x6026 x6027 x6028 x6029 x6030
2.89/2.96	v -x6031 -x6032 x6033 -x6034 x6035 -x6036 x6037 x6038 x6039 x6040
2.89/2.96	v -x6041 -x6042 -x6043 -x6044 x6045 x6046 x6047 x6048 x6049 x6050
2.89/2.96	v x6051 x6052 x6053 x6054 x6055 -x6056 -x6057 -x6058 -x6059
2.89/2.96	c total CPU time = 2.958s
2.89/2.96	c total wall clock time = 2.965s

Verifier Data 

OK	1

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

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.26 2.43 3/179 31430
/proc/meminfo: memFree=29742820/32872528 swapFree=1541688/1694988
[pid=31430] ppid=31427 vsize=683452 CPUtime=0 cores=1,3,5,7
/proc/31430/stat : 31430 (toysat) R 31427 31430 6847 0 -1 4202496 2545 0 0 0 0 0 0 0 20 0 4 0 11554803 699854848 2395 33554432000 4194304 16246674 140734195242304 140734195241728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31430/statm: 171631 2404 441 2943 0 168525 0
[pid=31430/tid=31431] ppid=31427 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31431/stat : 31431 (toysat) S 31427 31430 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554803 718729216 2465 33554432000 4194304 16246674 140734195242304 139833402961136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31430/tid=31432] ppid=31427 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (toysat) S 31427 31430 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554803 722923520 2483 33554432000 4194304 16246674 140734195242304 139833392471280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31430/tid=31433] ppid=31427 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31433/stat : 31433 (toysat) S 31427 31430 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11554803 727117824 2499 33554432000 4194304 16246674 140734195242304 139833381997744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.19 2.26 2.43 3/179 31430
/proc/meminfo: memFree=29742820/32872528 swapFree=1541688/1694988
[pid=31430] ppid=31427 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/31430/stat : 31430 (toysat) R 31427 31430 6847 0 -1 4202496 25371 0 0 0 5 4 0 0 20 0 4 0 11554803 1250496512 25161 33554432000 4194304 16246674 140734195242304 140734195241616 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31430/statm: 305297 25161 799 2943 0 302191 0
[pid=31430/tid=31431] ppid=31427 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31431/stat : 31431 (toysat) S 31427 31430 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554803 1250496512 25161 33554432000 4194304 16246674 140734195242304 139833402961136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31430/tid=31432] ppid=31427 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (toysat) S 31427 31430 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554803 1250496512 25161 33554432000 4194304 16246674 140734195242304 139833392471280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31430/tid=31433] ppid=31427 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31433/stat : 31433 (toysat) S 31427 31430 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554803 1250496512 25161 33554432000 4194304 16246674 140734195242304 139833381997744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200562 s]
/proc/loadavg: 2.19 2.26 2.43 3/179 31430
/proc/meminfo: memFree=29742820/32872528 swapFree=1541688/1694988
[pid=31430] ppid=31427 vsize=1310276 CPUtime=0.18 cores=1,3,5,7
/proc/31430/stat : 31430 (toysat) R 31427 31430 6847 0 -1 4202496 47459 0 0 0 12 6 0 0 20 0 4 0 11554803 1341722624 47249 33554432000 4194304 16246674 140734195242304 140734195241616 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31430/statm: 327569 47249 813 2943 0 324463 0
[pid=31430/tid=31431] ppid=31427 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31431/stat : 31431 (toysat) S 31427 31430 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554803 1341722624 47249 33554432000 4194304 16246674 140734195242304 139833402961136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31430/tid=31432] ppid=31427 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (toysat) S 31427 31430 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554803 1341722624 47249 33554432000 4194304 16246674 140734195242304 139833392471280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31430/tid=31433] ppid=31427 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31433/stat : 31433 (toysat) S 31427 31430 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554803 1341722624 47249 33554432000 4194304 16246674 140734195242304 139833381997744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1310276

[startup+0.300512 s]
/proc/loadavg: 2.19 2.26 2.43 3/179 31430
/proc/meminfo: memFree=29742820/32872528 swapFree=1541688/1694988
[pid=31430] ppid=31427 vsize=1310276 CPUtime=0.28 cores=1,3,5,7
/proc/31430/stat : 31430 (toysat) R 31427 31430 6847 0 -1 4202496 47680 0 0 0 22 6 0 0 20 0 4 0 11554803 1341722624 47470 33554432000 4194304 16246674 140734195242304 140734195241616 12481188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31430/statm: 327569 47470 828 2943 0 324463 0
[pid=31430/tid=31431] ppid=31427 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31431/stat : 31431 (toysat) S 31427 31430 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554803 1341722624 47470 33554432000 4194304 16246674 140734195242304 139833402961136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31430/tid=31432] ppid=31427 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (toysat) S 31427 31430 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554803 1341722624 47470 33554432000 4194304 16246674 140734195242304 139833392471280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31430/tid=31433] ppid=31427 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31433/stat : 31433 (toysat) S 31427 31430 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554803 1341722624 47470 33554432000 4194304 16246674 140734195242304 139833381997744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1310276

[startup+0.700408 s]
/proc/loadavg: 2.19 2.26 2.43 3/179 31430
/proc/meminfo: memFree=29742820/32872528 swapFree=1541688/1694988
[pid=31430] ppid=31427 vsize=1319492 CPUtime=0.69 cores=1,3,5,7
/proc/31430/stat : 31430 (toysat) R 31427 31430 6847 0 -1 4202496 79676 0 0 0 58 11 0 0 20 0 4 0 11554803 1351159808 79466 33554432000 4194304 16246674 140734195242304 140734195240192 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31430/statm: 329873 79466 855 2943 0 326767 0
[pid=31430/tid=31431] ppid=31427 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31431/stat : 31431 (toysat) S 31427 31430 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554803 1351159808 79466 33554432000 4194304 16246674 140734195242304 139833402961136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31430/tid=31432] ppid=31427 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (toysat) S 31427 31430 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554803 1351159808 79466 33554432000 4194304 16246674 140734195242304 139833392471280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31430/tid=31433] ppid=31427 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31433/stat : 31433 (toysat) S 31427 31430 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554803 1351159808 79466 33554432000 4194304 16246674 140734195242304 139833381997744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1319492

[startup+1.50043 s]
/proc/loadavg: 2.10 2.23 2.42 3/183 31434
/proc/meminfo: memFree=29358860/32872528 swapFree=1541688/1694988
[pid=31430] ppid=31427 vsize=1329732 CPUtime=1.49 cores=1,3,5,7
/proc/31430/stat : 31430 (toysat) R 31427 31430 6847 0 -1 4202496 96625 0 0 0 136 13 0 0 20 0 4 0 11554803 1361645568 96415 33554432000 4194304 16246674 140734195242304 140734195240192 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31430/statm: 332433 96415 929 2943 0 329327 0
[pid=31430/tid=31431] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31431/stat : 31431 (toysat) S 31427 31430 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96415 33554432000 4194304 16246674 140734195242304 139833402961136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31430/tid=31432] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (toysat) S 31427 31430 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96415 33554432000 4194304 16246674 140734195242304 139833392471280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31430/tid=31433] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31433/stat : 31433 (toysat) S 31427 31430 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96415 33554432000 4194304 16246674 140734195242304 139833381997744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1329732

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

[startup+1.6005 s]
/proc/loadavg: 2.10 2.23 2.42 3/183 31434
/proc/meminfo: memFree=29358860/32872528 swapFree=1541688/1694988
[pid=31430] ppid=31427 vsize=1329732 CPUtime=1.59 cores=1,3,5,7
/proc/31430/stat : 31430 (toysat) R 31427 31430 6847 0 -1 4202496 96625 0 0 0 146 13 0 0 20 0 4 0 11554803 1361645568 96415 33554432000 4194304 16246674 140734195242304 140734195240192 4220495 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31430/statm: 332433 96415 929 2943 0 329327 0
[pid=31430/tid=31431] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31431/stat : 31431 (toysat) S 31427 31430 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96415 33554432000 4194304 16246674 140734195242304 139833402961136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31430/tid=31432] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (toysat) S 31427 31430 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96415 33554432000 4194304 16246674 140734195242304 139833392471280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31430/tid=31433] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31433/stat : 31433 (toysat) S 31427 31430 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96415 33554432000 4194304 16246674 140734195242304 139833381997744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 1329732

[startup+2.40043 s]
/proc/loadavg: 2.10 2.23 2.42 3/183 31434
/proc/meminfo: memFree=29357340/32872528 swapFree=1541688/1694988
[pid=31430] ppid=31427 vsize=1329732 CPUtime=2.39 cores=1,3,5,7
/proc/31430/stat : 31430 (toysat) R 31427 31430 6847 0 -1 4202496 96630 0 0 0 226 13 0 0 20 0 4 0 11554803 1361645568 96420 33554432000 4194304 16246674 140734195242304 140734195224192 13191802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31430/statm: 332433 96420 934 2943 0 329327 0
[pid=31430/tid=31431] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31431/stat : 31431 (toysat) S 31427 31430 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96420 33554432000 4194304 16246674 140734195242304 139833402961136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31430/tid=31432] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (toysat) S 31427 31430 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96420 33554432000 4194304 16246674 140734195242304 139833392471280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31430/tid=31433] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31433/stat : 31433 (toysat) S 31427 31430 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96420 33554432000 4194304 16246674 140734195242304 139833381997744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 1329732

[startup+2.80043 s]
/proc/loadavg: 2.10 2.23 2.42 3/183 31434
/proc/meminfo: memFree=29357340/32872528 swapFree=1541688/1694988
[pid=31430] ppid=31427 vsize=1329732 CPUtime=2.79 cores=1,3,5,7
/proc/31430/stat : 31430 (toysat) R 31427 31430 6847 0 -1 4202496 96632 0 0 0 266 13 0 0 20 0 4 0 11554803 1361645568 96422 33554432000 4194304 16246674 140734195242304 140734195224192 5661363 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31430/statm: 332433 96422 936 2943 0 329327 0
[pid=31430/tid=31431] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31431/stat : 31431 (toysat) S 31427 31430 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96422 33554432000 4194304 16246674 140734195242304 139833402961136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31430/tid=31432] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (toysat) S 31427 31430 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96422 33554432000 4194304 16246674 140734195242304 139833392471280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31430/tid=31433] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31433/stat : 31433 (toysat) S 31427 31430 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96422 33554432000 4194304 16246674 140734195242304 139833381997744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 1329732

[startup+2.90041 s]
/proc/loadavg: 2.10 2.23 2.42 3/183 31434
/proc/meminfo: memFree=29357340/32872528 swapFree=1541688/1694988
[pid=31430] ppid=31427 vsize=1329732 CPUtime=2.89 cores=1,3,5,7
/proc/31430/stat : 31430 (toysat) R 31427 31430 6847 0 -1 4202496 96632 0 0 0 276 13 0 0 20 0 4 0 11554803 1361645568 96422 33554432000 4194304 16246674 140734195242304 140734195224192 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31430/statm: 332433 96422 936 2943 0 329327 0
[pid=31430/tid=31431] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31431/stat : 31431 (toysat) S 31427 31430 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96422 33554432000 4194304 16246674 140734195242304 139833402961136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31430/tid=31432] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31432/stat : 31432 (toysat) S 31427 31430 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96422 33554432000 4194304 16246674 140734195242304 139833392471280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31430/tid=31433] ppid=31427 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/31430/task/31433/stat : 31433 (toysat) S 31427 31430 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11554803 1361645568 96422 33554432000 4194304 16246674 140734195242304 139833381997744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 1329732

Child status: 0
Real time (s): 2.99127
CPU time (s): 2.98854
CPU user time (s): 2.83257
CPU system time (s): 0.155976
CPU usage (%): 99.9088
Max. virtual memory (cumulated for all children) (KiB): 1329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.83257
system time used= 0.155976
maximum resident set size= 385700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96635
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= 19
involuntary context switches= 4

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012998 second user time and 0.011998 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-16 18:38:02
IDJOB=4093048
IDBENCH=79337
IDSOLVER=2553
FILE ID=node125/4093048-1466095082
RUNJOBID= node125-1466092999-31054
PBS_JOBID= 19904014
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl--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-4093048-1466095082/watcher-4093048-1466095082 -o /tmp/evaluation-result-4093048-1466095082/solver-4093048-1466095082 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466092999-31054 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093048-1466095082.wbo

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

MD5SUM BENCH= e93fbae592ddea3040fe1429b48d9ce6
RANDOM SEED=2062992501

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        29742820 kB
Buffers:           46928 kB
Cached:           122464 kB
SwapCached:         2664 kB
Active:           642368 kB
Inactive:          86756 kB
Active(anon):     560100 kB
Inactive(anon):     2116 kB
Active(file):      82268 kB
Inactive(file):    84640 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67096840 kB
Dirty:             16892 kB
Writeback:             4 kB
AnonPages:       2255368 kB
Mapped:            10800 kB
Shmem:                 0 kB
Slab:             570480 kB
SReclaimable:      13984 kB
SUnreclaim:       556496 kB
KernelStack:        1504 kB
PageTables:         9268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2917632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node125 at 2016-06-16 18:38:05