Trace number 3725439

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01OPT11364 195.21 195.253

General information on the benchmark

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

Verifier Data

OK	11364

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3725439-1338640649/watcher-3725439-1338640649 -o /tmp/evaluation-result-3725439-1338640649/solver-3725439-1338640649 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725439-1338640649.opb 

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: 1.92 1.97 1.99 3/176 24594
/proc/meminfo: memFree=31810460/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 330189825 6373376 724 33554432000 4194304 8989770 140734458770352 140736801450184 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 1556 728 425 1171 0 333 0

[startup+0.0549 s]
/proc/loadavg: 1.92 1.97 1.99 3/176 24594
/proc/meminfo: memFree=31810460/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=9296 CPUtime=0.04 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 1603 0 0 0 4 0 0 0 20 0 1 0 330189825 9519104 1523 33554432000 4194304 8989770 140734458770352 140734458769848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 2324 1523 431 1171 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9296

[startup+0.100295 s]
/proc/loadavg: 1.92 1.97 1.99 3/176 24594
/proc/meminfo: memFree=31810460/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 2371 0 0 0 9 0 0 0 20 0 1 0 330189825 12664832 2291 33554432000 4194304 8989770 140734458770352 140734458769848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 3092 2291 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300313 s]
/proc/loadavg: 1.92 1.97 1.99 3/176 24594
/proc/meminfo: memFree=31810460/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=24656 CPUtime=0.29 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 5381 0 0 0 28 1 0 0 20 0 1 0 330189825 25247744 5301 33554432000 4194304 8989770 140734458770352 140734458769848 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 6164 5309 431 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656

[startup+0.700295 s]
/proc/loadavg: 1.92 1.97 1.99 3/176 24594
/proc/meminfo: memFree=31810460/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=37968 CPUtime=0.68 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 8770 0 0 0 67 1 0 0 20 0 1 0 330189825 38879232 8690 33554432000 4194304 8989770 140734458770352 140734458769848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 9492 8690 448 1171 0 8269 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 37968

[startup+1.50032 s]
/proc/loadavg: 1.92 1.97 1.99 3/177 24595
/proc/meminfo: memFree=31776476/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=37968 CPUtime=1.49 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 8806 0 0 0 147 2 0 0 20 0 1 0 330189825 38879232 8726 33554432000 4194304 8989770 140734458770352 140734458752320 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 9492 8726 460 1171 0 8269 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37968

[startup+3.10033 s]
/proc/loadavg: 1.93 1.97 1.99 3/177 24595
/proc/meminfo: memFree=31773112/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=37968 CPUtime=3.09 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 8819 0 0 0 307 2 0 0 20 0 1 0 330189825 38879232 8739 33554432000 4194304 8989770 140734458770352 140734458769616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 9492 8739 473 1171 0 8269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37968

[startup+6.30032 s]
/proc/loadavg: 1.93 1.97 1.99 3/177 24595
/proc/meminfo: memFree=31768756/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=40016 CPUtime=6.28 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 9331 0 0 0 625 3 0 0 20 0 1 0 330189825 40976384 9251 33554432000 4194304 8989770 140734458770352 140734458769848 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 10004 9251 473 1171 0 8781 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 40016

[startup+12.7003 s]
/proc/loadavg: 1.94 1.97 1.99 3/177 24595
/proc/meminfo: memFree=31754636/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=43088 CPUtime=12.69 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 10099 0 0 0 1263 6 0 0 20 0 1 0 330189825 44122112 10019 33554432000 4194304 8989770 140734458770352 140734458769848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 10772 10019 473 1171 0 9549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43088

[startup+25.5003 s]
/proc/loadavg: 2.02 1.99 1.99 3/177 24595
/proc/meminfo: memFree=31752008/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=44112 CPUtime=25.49 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 10355 0 0 0 2538 11 0 0 20 0 1 0 330189825 45170688 10275 33554432000 4194304 8989770 140734458770352 140734458769848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 11028 10275 473 1171 0 9805 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44112

[startup+51.1003 s]
/proc/loadavg: 2.01 1.99 1.99 3/177 24595
/proc/meminfo: memFree=31741376/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=51280 CPUtime=51.08 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 12147 0 0 0 5085 23 0 0 20 0 1 0 330189825 52510720 12067 33554432000 4194304 8989770 140734458770352 140734458769848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 12820 12067 473 1171 0 11597 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51280

[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 24596
/proc/meminfo: memFree=31723096/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=62544 CPUtime=102.27 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 14977 0 0 0 10184 43 0 0 20 0 1 0 330189825 64045056 14888 33554432000 4194304 8989770 140734458770352 140734458769616 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 15636 14888 473 1171 0 14413 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 62544

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24599
/proc/meminfo: memFree=31702116/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=73808 CPUtime=162.26 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 17793 0 0 0 16159 67 0 0 20 0 1 0 330189825 75579392 17704 33554432000 4194304 8989770 140734458770352 140734458769848 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 18452 17704 473 1171 0 17229 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 73808

Solver just ended. Dumping a history of the last processes samples

[startup+179.1 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24599
/proc/meminfo: memFree=31698016/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=76880 CPUtime=179.05 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 18561 0 0 0 17831 74 0 0 20 0 1 0 330189825 78725120 18472 33554432000 4194304 8989770 140734458770352 140734458769848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 19220 18472 473 1171 0 17997 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 76880

[startup+185.5 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24599
/proc/meminfo: memFree=31680408/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=76880 CPUtime=185.45 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 18561 0 0 0 18468 77 0 0 20 0 1 0 330189825 78725120 18472 33554432000 4194304 8989770 140734458770352 140734458769848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 19220 18472 473 1171 0 17997 0
Current children cumulated CPU time (s) 185.45
Current children cumulated vsize (KiB) 76880

[startup+191.9 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24599
/proc/meminfo: memFree=31679400/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=78928 CPUtime=191.85 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 19073 0 0 0 19105 80 0 0 20 0 1 0 330189825 80822272 18984 33554432000 4194304 8989770 140734458770352 140734458752320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 19732 18984 473 1171 0 18509 0
Current children cumulated CPU time (s) 191.85
Current children cumulated vsize (KiB) 78928

[startup+193.5 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24599
/proc/meminfo: memFree=31673076/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=78928 CPUtime=193.45 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 19073 0 0 0 19265 80 0 0 20 0 1 0 330189825 80822272 18984 33554432000 4194304 8989770 140734458770352 140734458769848 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 19732 18984 473 1171 0 18509 0
Current children cumulated CPU time (s) 193.45
Current children cumulated vsize (KiB) 78928

[startup+194.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24599
/proc/meminfo: memFree=31673076/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=78928 CPUtime=194.25 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 19073 0 0 0 19344 81 0 0 20 0 1 0 330189825 80822272 18984 33554432000 4194304 8989770 140734458770352 140734458769848 7953280 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 19732 18984 473 1171 0 18509 0
Current children cumulated CPU time (s) 194.25
Current children cumulated vsize (KiB) 78928

[startup+194.707 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24599
/proc/meminfo: memFree=31673076/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=78928 CPUtime=194.66 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 19073 0 0 0 19385 81 0 0 20 0 1 0 330189825 80822272 18984 33554432000 4194304 8989770 140734458770352 140734458769616 4209577 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 19732 18984 473 1171 0 18509 0
Current children cumulated CPU time (s) 194.66
Current children cumulated vsize (KiB) 78928

[startup+195.1 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24599
/proc/meminfo: memFree=31673076/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=78928 CPUtime=195.05 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 19073 0 0 0 19424 81 0 0 20 0 1 0 330189825 80822272 18984 33554432000 4194304 8989770 140734458770352 140734458769616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 19732 18984 473 1171 0 18509 0
Current children cumulated CPU time (s) 195.05
Current children cumulated vsize (KiB) 78928

[startup+195.2 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 24599
/proc/meminfo: memFree=31673076/32873844 swapFree=7116/7116
[pid=24594] ppid=24592 vsize=78928 CPUtime=195.15 cores=1,3,5,7
/proc/24594/stat : 24594 (toysat) R 24592 24594 23807 0 -1 4202496 19073 0 0 0 19434 81 0 0 20 0 1 0 330189825 80822272 18984 33554432000 4194304 8989770 140734458770352 140734458769616 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24594/statm: 19732 18984 473 1171 0 18509 0
Current children cumulated CPU time (s) 195.15
Current children cumulated vsize (KiB) 78928

Child status: 0
Real time (s): 195.253
CPU time (s): 195.21
CPU user time (s): 194.391
CPU system time (s): 0.818875
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 78928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 194.391
system time used= 0.818875
maximum resident set size= 75952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19077
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= 17
involuntary context switches= 202

runsolver used 0.280957 second user time and 0.837872 second system time

The end

Launcher Data

Begin job on node146 at 2012-06-02 14:37:29
IDJOB=3725439
IDBENCH=72105
IDSOLVER=2308
FILE ID=node146/3725439-1338640649
RUNJOBID= node146-1338631508-23824
PBS_JOBID= 14636434
Free space on /tmp= 70916 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand27da90.cudf.paranoid.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725439-1338640649/watcher-3725439-1338640649 -o /tmp/evaluation-result-3725439-1338640649/solver-3725439-1338640649 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725439-1338640649.opb

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

MD5SUM BENCH= a48dca57cfda6cf4188a4a57f992ffd8
RANDOM SEED=42719749

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31810848 kB
Buffers:          101340 kB
Cached:           130852 kB
SwapCached:         1792 kB
Active:           188248 kB
Inactive:         129456 kB
Active(anon):      86104 kB
Inactive(anon):     1556 kB
Active(file):     102144 kB
Inactive(file):   127900 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099772 kB
Dirty:              7936 kB
Writeback:             0 kB
AnonPages:         91676 kB
Mapped:            10572 kB
Shmem:                 0 kB
Slab:             606620 kB
SReclaimable:      46484 kB
SUnreclaim:       560136 kB
KernelStack:        1472 kB
PageTables:         3880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     206028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70908 MiB
End job on node146 at 2012-06-02 14:40:44