Trace number 1868886

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT63 15.6766 17.2318

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
MD5SUMc7b7ba2fb8a9fff5b9677d5bbd1edc0f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark15.6766
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved YES
Number of variables4676
Total number of constraints509
Number of constraints which are clauses509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint166
Number of terms in the objective function 4676
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4676
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4676
Number of bits of the biggest sum of numbers13
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.06	c SCIP version 1.1.0.7
0.00/0.06	c LP-Solver SoPlex 1.4.1
0.00/0.06	c user parameter file <scip.set> not found - using default parameters
0.00/0.06	c read problem <HOME/instance-1868886-1245148634.opb>
0.00/0.06	c original problem has 4676 variables (4676 bin, 0 int, 0 impl, 0 cont) and 509 constraints
0.09/0.12	c start presolving problem
0.09/0.12	c presolving:
0.09/0.18	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 509 upgd conss, 0 impls, 0 clqs
0.18/0.22	c    (0.1s) probing: 101/4676 (2.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.22	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.18/0.22	c presolving (2 rounds):
0.18/0.22	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.18/0.22	c  0 implications, 0 cliques
0.18/0.22	c presolved problem has 4676 variables (4676 bin, 0 int, 0 impl, 0 cont) and 509 constraints
0.18/0.22	c     509 constraints of type <logicor>
0.18/0.22	c transformed objective value is always integral (scale: 1)
0.18/0.22	c Presolving Time: 0.11
0.18/0.23	c strange?!, PURESAT with obj
0.18/0.23	c -----------------------------------------------------------------------------------------------
0.18/0.23	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.23	c limits/memory = c 1620
0.18/0.23	c # maximal time in seconds to run
0.18/0.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.23	c limits/time = c 1791
0.18/0.23	c # frequency for displaying node information lines
0.18/0.23	c # [type: int, range: [-1,2147483647], default: 100]
0.18/0.23	c display/freq = c 10000
0.18/0.23	c -----------------------------------------------------------------------------------------------
0.18/0.23	c start solving problem
0.18/0.23	c 
0.58/0.69	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.58/0.69	c   0.6s|     1 |     0 |  1507 |  11M|   0 |  66 |4676 | 509 | 509 |4676 | 509 |   0 |   0 |   0 | 6.000000e+01 |      --      |    Inf 
0.58/0.69	o 95
0.58/0.69	c r 0.6s|     1 |     0 |  1507 |  11M|   0 |  66 |4676 | 509 | 509 |4676 | 509 |   0 |   0 |   0 | 6.000000e+01 | 9.500000e+01 |  58.33%
0.58/0.70	o 94
0.58/0.70	c R 0.6s|     1 |     0 |  1507 |  11M|   0 |  66 |4676 | 509 | 509 |4676 | 509 |   0 |   0 |   0 | 6.000000e+01 | 9.400000e+01 |  56.67%
0.68/0.70	o 93
0.68/0.70	c s 0.6s|     1 |     0 |  1507 |  11M|   0 |  66 |4676 | 509 | 509 |4676 | 509 |   0 |   0 |   0 | 6.000000e+01 | 9.300000e+01 |  55.00%
1.77/2.38	c   1.7s|     1 |     0 |  1636 |  21M|   0 | 132 |4676 | 509 | 509 |4676 | 516 |   7 |   0 |   0 | 6.086452e+01 | 9.300000e+01 |  52.80%
3.64/4.25	c   3.5s|     1 |     0 |  1860 |  39M|   0 |  75 |4676 | 509 | 509 |4676 | 520 |  11 |   0 |   0 | 6.125000e+01 | 9.300000e+01 |  51.84%
4.44/5.02	c   4.2s|     1 |     0 |  2269 |  45M|   0 | 138 |4676 | 509 | 509 |4676 | 524 |  15 |   0 |   0 | 6.164310e+01 | 9.300000e+01 |  50.87%
5.44/6.00	c   5.2s|     1 |     0 |  2509 |  46M|   0 | 137 |4676 | 509 | 509 |4676 | 525 |  16 |   0 |   0 | 6.169948e+01 | 9.300000e+01 |  50.73%
5.74/6.30	c   5.5s|     1 |     0 |  2743 |  46M|   0 | 118 |4676 | 509 | 509 |4676 | 526 |  17 |   0 |   0 | 6.171052e+01 | 9.300000e+01 |  50.70%
6.45/7.46	c   6.2s|     1 |     0 |  3214 |  46M|   0 | 121 |4676 | 509 | 509 |4676 | 527 |  18 |   0 |   0 | 6.179611e+01 | 9.300000e+01 |  50.49%
6.73/7.71	c   6.4s|     1 |     0 |  3256 |  46M|   0 | 119 |4676 | 509 | 509 |4676 | 528 |  19 |   0 |   0 | 6.179611e+01 | 9.300000e+01 |  50.49%
6.93/7.91	o 65
6.93/7.91	c k 6.6s|     1 |     0 |  3256 |  46M|   0 | 119 |4676 | 509 | 509 |4676 | 528 |  19 |   0 |   0 | 6.179611e+01 | 6.500000e+01 |   5.18%
7.12/8.15	o 63
7.12/8.15	c E 6.8s|     1 |     0 |  3256 |  46M|   0 | 119 |4676 | 509 | 509 |4676 | 528 |  19 |   0 |   0 | 6.179611e+01 | 6.300000e+01 |   1.95%
7.12/8.19	c   6.8s|     1 |     0 |  3256 |  46M|   0 | 119 |4676 | 509 | 509 |4676 | 528 |  19 |   0 |   0 | 6.179611e+01 | 6.300000e+01 |   1.95%
7.36/8.43	c   7.0s|     1 |     0 |  3256 |  46M|   0 | 119 |4676 | 501 | 501 |4676 | 517 |  19 |   0 |   0 | 6.179611e+01 | 6.300000e+01 |   1.95%
12.51/13.87	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.51/13.87	c  12.1s|     1 |     2 |  3256 |  46M|   0 | 119 |4676 | 501 | 501 |4676 | 517 |  19 |   0 |  24 | 6.179611e+01 | 6.300000e+01 |   1.95%
12.51/13.87	c (run 1, node 1) restarting after 3312 global fixings of integer variables
12.51/13.88	c 
12.51/13.88	(restart) converted 10 cuts from the global cut pool into linear constraints
12.62/13.91	c 
12.62/13.91	presolving:
12.62/13.93	c (round 1) 3312 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10 upgd conss, 18 impls, 0 clqs
12.62/13.96	c (round 2) 3312 del vars, 131 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10 upgd conss, 18 impls, 0 clqs
12.62/13.98	c (round 3) 3324 del vars, 131 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10 upgd conss, 18 impls, 0 clqs
12.62/13.99	c presolving (4 rounds):
12.62/13.99	c  3324 deleted vars, 131 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
12.62/13.99	c  18 implications, 0 cliques
12.62/13.99	c presolved problem has 1352 variables (1352 bin, 0 int, 0 impl, 0 cont) and 380 constraints
12.62/13.99	c      10 constraints of type <knapsack>
12.62/13.99	c     370 constraints of type <logicor>
12.62/13.99	c transformed objective value is always integral (scale: 1)
12.62/13.99	c Presolving Time: 0.20
12.62/13.99	c 
12.91/14.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.91/14.22	c  12.4s|     1 |     0 |  4724 |  11M|   0 | 130 |1352 | 380 | 380 |1352 | 380 |   0 |   0 |  24 | 6.179611e+01 | 6.300000e+01 |   1.95%
13.21/14.53	c  12.7s|     1 |     0 |  4821 |  12M|   0 | 135 |1352 | 377 | 377 |1352 | 380 |   2 |   0 |  24 | 6.180937e+01 | 6.300000e+01 |   1.93%
14.10/15.45	c  13.6s|     1 |     0 |  4981 |  12M|   0 | 152 |1352 | 375 | 375 |1352 | 380 |   2 |   0 |  42 | 6.200000e+01 | 6.300000e+01 |   1.61%
14.80/16.19	c  14.3s|     1 |     0 |  5090 |  12M|   0 | 141 |1352 | 374 | 374 |1352 | 380 |   2 |   0 |  51 | 6.200000e+01 | 6.300000e+01 |   1.61%
15.50/16.83	c  15.0s|     1 |     0 |  5090 |  12M|   0 | 141 |1352 | 374 | 374 |1352 | 380 |   2 |   0 |  58 | 6.300000e+01 | 6.300000e+01 |   0.00%
15.50/16.83	c 
15.50/16.83	c SCIP Status        : problem is solved [optimal solution found]
15.50/16.83	c Solving Time (sec) : 14.97
15.50/16.83	c Solving Nodes      : 1 (total of 2 nodes in 2 runs)
15.50/16.83	c Primal Bound       : +6.30000000000000e+01 (16 solutions)
15.50/16.83	c Dual Bound         : +6.30000000000000e+01
15.50/16.83	c Gap                : 0.00 %
15.50/16.84	c NODE         1
15.50/16.84	c DUAL BOUND   63
15.50/16.84	c PRIMAL BOUND 63
15.50/16.84	c GAP          0
15.50/16.84	s OPTIMUM FOUND
15.50/16.84	v -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 
15.50/16.84	v -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 
15.50/16.84	v -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 
15.50/16.84	v -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 
15.50/16.84	v -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 
15.50/16.84	v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 
15.50/16.84	v -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 x4554 -x4553 -x4552 -x4551 
15.50/16.84	v -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 
15.50/16.84	v -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 
15.50/16.84	v -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 
15.50/16.84	v -x4496 x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 
15.50/16.84	v -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 
15.50/16.84	v -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 
15.50/16.84	v -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 
15.50/16.84	v -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 x4408 
15.50/16.84	v -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 
15.50/16.84	v -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 
15.50/16.84	v -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 
15.50/16.84	v -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 
15.50/16.84	v -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 x4322 -x4321 -x4320 -x4319 -x4318 
15.50/16.84	v -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 
15.50/16.84	v -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 x4286 -x4285 -x4284 -x4283 -x4282 
15.50/16.84	v -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 
15.50/16.84	v -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 
15.50/16.84	v -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 
15.50/16.84	v -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 x4216 -x4215 -x4214 -x4213 -x4212 -x4211 
15.50/16.84	v -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 
15.50/16.84	v -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 
15.50/16.84	v -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 
15.50/16.84	v -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 
15.50/16.84	v -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 
15.50/16.84	v -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 
15.50/16.84	v -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 
15.50/16.84	v -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 
15.50/16.84	v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 
15.50/16.84	v -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 
15.50/16.84	v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 
15.50/16.84	v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 
15.50/16.84	v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 
15.50/16.84	v -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 
15.50/16.84	v -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 
15.50/16.84	v -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 
15.50/16.84	v -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 
15.50/16.84	v -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 
15.50/16.84	v -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 
15.50/16.84	v -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 
15.50/16.84	v -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 
15.50/16.84	v -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 x3819 -x3818 -x3817 
15.50/16.84	v -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 
15.50/16.84	v -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 
15.50/16.84	v -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 
15.50/16.84	v -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 
15.50/16.84	v -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 
15.50/16.84	v -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 
15.50/16.84	v -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 
15.50/16.84	v -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 
15.50/16.84	v -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 
15.50/16.84	v -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 
15.50/16.84	v -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 
15.50/16.84	v -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 
15.50/16.84	v -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 
15.50/16.84	v -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 
15.50/16.84	v -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 x3552 -x3551 -x3550 -x3549 
15.50/16.84	v -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 
15.50/16.84	v -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 
15.50/16.84	v -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 
15.50/16.84	v -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 
15.50/16.84	v -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 
15.50/16.84	v -x3459 -x3458 -x3457 x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 
15.50/16.84	v -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 
15.50/16.84	v -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 
15.50/16.84	v -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 
15.50/16.84	v -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 
15.50/16.84	v -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 
15.50/16.84	v -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 
15.50/16.84	v -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 
15.50/16.84	v -x3316 -x3315 x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 
15.50/16.84	v -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 
15.50/16.84	v -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 
15.50/16.84	v -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 
15.50/16.84	v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 
15.50/16.84	v -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 
15.50/16.84	v -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 
15.50/16.84	v -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 
15.50/16.84	v -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 
15.50/16.84	v -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 
15.50/16.84	v -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 
15.50/16.84	v -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 
15.50/16.84	v -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 
15.50/16.84	v -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 
15.50/16.84	v -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 
15.50/16.84	v -x3048 -x3047 -x3046 -x3045 x3044 -x3043 -x3042 -x3041 -x3040 x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 
15.50/16.84	v -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 
15.50/16.84	v -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 
15.50/16.84	v -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 
15.50/16.84	v -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 
15.50/16.84	v -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 
15.50/16.84	v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 
15.50/16.84	v -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 
15.50/16.84	v -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 
15.50/16.84	v -x2887 -x2886 x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 
15.50/16.84	v -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 
15.50/16.84	v -x2851 x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 
15.50/16.84	v -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 
15.50/16.84	v -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 
15.50/16.84	v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 
15.50/16.84	v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 
15.50/16.84	v -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 
15.50/16.84	v -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 
15.50/16.84	v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 
15.50/16.84	v -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 
15.50/16.84	v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 
15.50/16.84	v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 
15.50/16.84	v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 
15.50/16.84	v -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 
15.50/16.84	v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 
15.50/16.84	v -x2600 -x2599 -x2598 -x2597 -x2596 x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 
15.50/16.84	v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 
15.50/16.84	v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 x2553 x2552 -x2551 -x2550 -x2549 -x2548 -x2547 
15.50/16.84	v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 
15.50/16.84	v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 
15.50/16.84	v -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 
15.50/16.84	v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 
15.50/16.84	v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 
15.50/16.84	v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 
15.50/16.84	v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 
15.50/16.84	v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 
15.50/16.84	v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 
15.50/16.84	v -x2386 x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 
15.50/16.84	v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 
15.50/16.84	v -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 
15.50/16.84	v -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 
15.50/16.84	v -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 
15.50/16.84	v -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 
15.50/16.84	v -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 
15.50/16.84	v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 
15.50/16.84	v -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 
15.50/16.84	v -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 x2211 -x2210 -x2209 -x2208 
15.50/16.84	v -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 
15.50/16.84	v -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 
15.50/16.84	v -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 
15.50/16.84	v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 
15.50/16.84	v -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 
15.50/16.84	v -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 
15.50/16.84	v -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 
15.50/16.84	v -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 
15.50/16.84	v -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 
15.50/16.84	v -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 
15.50/16.84	v -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 
15.50/16.84	v -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 
15.50/16.84	v -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 
15.50/16.84	v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 
15.50/16.84	v -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 
15.50/16.84	v -x1939 -x1938 -x1937 -x1936 -x1935 x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 
15.50/16.84	v -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 
15.50/16.84	v -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 
15.50/16.84	v -x1885 x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 
15.50/16.84	v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 
15.50/16.84	v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 
15.50/16.84	v -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 
15.50/16.84	v -x1813 x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 
15.50/16.84	v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 x1779 -x1778 
15.50/16.84	v -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 
15.50/16.84	v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 
15.50/16.84	v -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 
15.50/16.84	v -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 
15.50/16.84	v -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 
15.50/16.84	v -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 
15.50/16.84	v -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 
15.50/16.84	v -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 
15.50/16.84	v -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 
15.50/16.84	v -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 
15.50/16.84	v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 
15.50/16.84	v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 
15.50/16.84	v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 
15.50/16.84	v -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 
15.50/16.84	v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 
15.50/16.84	v -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 
15.50/16.84	v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 x1477 -x1476 -x1475 -x1474 
15.50/16.84	v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 
15.50/16.84	v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 
15.50/16.84	v -x1438 x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 
15.50/16.84	v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 
15.50/16.84	v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 
15.50/16.84	v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 
15.50/16.84	v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 
15.50/16.84	v x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 
15.50/16.84	v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 
15.50/16.84	v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 
15.50/16.84	v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 
15.50/16.84	v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 
15.50/16.84	v -x1259 -x1258 -x1257 -x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
15.50/16.84	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 
15.50/16.84	v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 
15.50/16.84	v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 
15.50/16.84	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 
15.50/16.84	v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 
15.50/16.84	v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 
15.50/16.84	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 
15.50/16.84	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 
15.50/16.84	v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 x1080 
15.50/16.84	v -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
15.50/16.84	v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 
15.50/16.84	v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 
15.50/16.84	v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 
15.50/16.84	v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 
15.50/16.84	v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 
15.50/16.84	v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 
15.50/16.84	v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 
15.50/16.84	v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 
15.50/16.84	v -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 
15.50/16.84	v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 
15.50/16.84	v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 
15.50/16.84	v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 
15.50/16.84	v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 
15.50/16.84	v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 
15.50/16.84	v -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 
15.50/16.84	v -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 
15.50/16.84	v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 
15.50/16.84	v -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 
15.50/16.84	v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 
15.50/16.84	v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 
15.50/16.84	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 
15.50/16.84	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 
15.50/16.84	v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 
15.50/16.84	v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 
15.50/16.84	v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 
15.50/16.84	v -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 
15.50/16.84	v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 
15.50/16.84	v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 
15.50/16.84	v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 
15.50/16.84	v -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 
15.50/16.84	v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 
15.50/16.84	v x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 
15.50/16.84	v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 
15.50/16.84	v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 
15.50/16.84	v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 
15.50/16.84	v -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 
15.50/16.84	v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 
15.50/16.84	v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 
15.50/16.84	v -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 
15.50/16.84	v -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 x239 -x238 
15.50/16.84	v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 
15.50/16.84	v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 
15.50/16.84	v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 
15.50/16.84	v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 
15.50/16.84	v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 
15.50/16.84	v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 
15.50/16.84	v -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 
15.50/16.84	v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 
15.50/16.84	v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 
15.50/16.84	v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 
15.50/16.84	v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
15.50/16.84	c SCIP Status        : problem is solved [optimal solution found]
15.50/16.84	c Solving Time       :      14.97
15.50/16.84	c Original Problem   :
15.50/16.84	c   Problem name     : HOME/instance-1868886-1245148634.opb
15.50/16.84	c   Variables        : 4676 (4676 binary, 0 integer, 0 implicit integer, 0 continuous)
15.50/16.84	c   Constraints      : 509 initial, 509 maximal
15.50/16.84	c Presolved Problem  :
15.50/16.84	c   Problem name     : t_HOME/instance-1868886-1245148634.opb
15.50/16.84	c   Variables        : 1352 (1352 binary, 0 integer, 0 implicit integer, 0 continuous)
15.50/16.84	c   Constraints      : 380 initial, 380 maximal
15.50/16.84	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
15.50/16.84	c   trivial          :       0.00       3312          0          0          0          0          0          0          0
15.50/16.84	c   dualfix          :       0.00         12          0          0          0          0          0          0          0
15.50/16.84	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
15.50/16.84	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
15.50/16.84	c   implics          :       0.01          0          0          0          0          0          0          0          0
15.50/16.84	c   probing          :       0.03          0          0          0          0          0          0          0          0
15.50/16.84	c   knapsack         :       0.04          0          0          0          0          0          0          0          0
15.50/16.84	c   logicor          :       0.03          0          0          0          0          0        131          0          0
15.50/16.84	c   root node        :          -       3431          -          -       3431          -          -          -          -
15.50/16.84	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
15.50/16.84	c   integral         :          0          0          0          4          0          1         10          0          0          2
15.50/16.84	c   knapsack         :         10          1          4          0          0          0          0          0          0          0
15.50/16.84	c   logicor          :        370         10         55          0          0          0          4          0          0          0
15.50/16.84	c   countsols        :          0          0          0          0          0          0          0          0          0          0
15.50/16.84	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
15.50/16.84	c   integral         :       7.26       0.00       0.00       7.26       0.00
15.50/16.84	c   knapsack         :       0.00       0.00       0.00       0.00       0.00
15.50/16.84	c   logicor          :       0.01       0.00       0.01       0.00       0.00
15.50/16.84	c   countsols        :       0.00       0.00       0.00       0.00       0.00
15.50/16.84	c Propagators        :       Time      Calls    Cutoffs    DomReds
15.50/16.84	c   rootredcost      :       0.00          0          0          0
15.50/16.84	c   pseudoobj        :       0.01         17          0          0
15.50/16.84	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
15.50/16.84	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
15.50/16.84	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
15.50/16.84	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
15.50/16.84	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
15.50/16.84	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
15.50/16.84	c   applied globally :          -          -          -          0        0.0          -          -          -
15.50/16.84	c   applied locally  :          -          -          -          0        0.0          -          -          -
15.50/16.84	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
15.50/16.84	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 46)
15.50/16.84	c   redcost          :       0.02         10          0       3417          0          0
15.50/16.84	c   impliedbounds    :       0.01         10          0          0          0          0
15.50/16.84	c   intobj           :       0.00          0          0          0          0          0
15.50/16.84	c   gomory           :       2.16         10          0          0        686          0
15.50/16.84	c   strongcg         :       2.02         10          0          0        820          0
15.50/16.84	c   cmir             :       0.34         10          0          0          0          0
15.50/16.84	c   flowcover        :       0.89         10          0          0          0          0
15.50/16.84	c   clique           :       0.00          2          0          0          0          0
15.50/16.84	c   zerohalf         :       0.00          0          0          0          0          0
15.50/16.84	c   mcf              :       0.01          2          0          0          0          0
15.50/16.84	c Pricers            :       Time      Calls       Vars
15.50/16.84	c   problem variables:       0.00          0          0
15.50/16.84	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
15.50/16.84	c   relpscost        :       7.26          4          1         10          0          0          2
15.50/16.84	c   pscost           :       0.00          0          0          0          0          0          0
15.50/16.84	c   inference        :       0.00          0          0          0          0          0          0
15.50/16.84	c   mostinf          :       0.00          0          0          0          0          0          0
15.50/16.84	c   leastinf         :       0.00          0          0          0          0          0          0
15.50/16.84	c   fullstrong       :       0.00          0          0          0          0          0          0
15.50/16.84	c   allfullstrong    :       0.00          0          0          0          0          0          0
15.50/16.84	c   random           :       0.00          0          0          0          0          0          0
15.50/16.84	c Primal Heuristics  :       Time      Calls      Found
15.50/16.84	c   LP solutions     :       0.00          -          0
15.50/16.84	c   pseudo solutions :       0.00          -          0
15.50/16.84	c   simplerounding   :       0.01         12         12
15.50/16.84	c   rounding         :       0.00         12          1
15.50/16.84	c   shifting         :       0.02         12          1
15.50/16.84	c   intshifting      :       0.00          0          0
15.50/16.84	c   oneopt           :       0.00          1          1
15.50/16.84	c   fixandinfer      :       0.00          0          0
15.50/16.84	c   feaspump         :       0.00          0          0
15.50/16.84	c   coefdiving       :       0.00          0          0
15.50/16.84	c   pscostdiving     :       0.00          0          0
15.50/16.84	c   fracdiving       :       0.00          0          0
15.50/16.84	c   veclendiving     :       0.00          0          0
15.50/16.84	c   intdiving        :       0.00          0          0
15.50/16.84	c   actconsdiving    :       0.00          0          0
15.50/16.84	c   objpscostdiving  :       0.00          0          0
15.50/16.84	c   rootsoldiving    :       0.00          0          0
15.50/16.84	c   linesearchdiving :       0.00          0          0
15.50/16.84	c   guideddiving     :       0.00          0          0
15.50/16.84	c   octane           :       0.00          0          0
15.50/16.84	c   rens             :       0.20          1          1
15.50/16.84	c   rins             :       0.00          0          0
15.50/16.84	c   localbranching   :       0.00          0          0
15.50/16.84	c   mutation         :       0.00          0          0
15.50/16.84	c   crossover        :       0.00          0          0
15.50/16.84	c   dins             :       0.00          0          0
15.50/16.84	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
15.50/16.84	c   primal LP        :       0.01          0          0       0.00       0.00
15.50/16.84	c   dual LP          :       1.57         12       5090     424.17    3242.04
15.50/16.84	c   barrier LP       :       0.00          0          0       0.00          -
15.50/16.84	c   diving/probing LP:       0.00          0          0       0.00          -
15.50/16.84	c   strong branching :       7.26         58      18192     313.66    2505.79
15.50/16.84	c     (at root node) :          -         58      18192     313.66          -
15.50/16.84	c   conflict analysis:       0.00          0          0       0.00          -
15.50/16.84	c B&B Tree           :
15.50/16.84	c   number of runs   :          2
15.50/16.84	c   nodes            :          1
15.50/16.84	c   nodes (total)    :          2
15.50/16.84	c   nodes left       :          0
15.50/16.84	c   max depth        :          0
15.50/16.84	c   max depth (total):          0
15.50/16.84	c   backtracks       :          0 (0.0%)
15.50/16.84	c   delayed cutoffs  :          0
15.50/16.84	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
15.50/16.84	c   avg switch length:       2.00
15.50/16.84	c   switching time   :       0.00
15.50/16.84	c Solution           :
15.50/16.84	c   Solutions found  :         16 (5 improvements)
15.50/16.84	c   Primal Bound     : +6.30000000000000e+01   (in run 1, after 1 nodes, 6.75 seconds, depth 0, found by <rens>)
15.50/16.84	c   Dual Bound       : +6.30000000000000e+01
15.50/16.84	c   Gap              :       0.00 %
15.50/16.84	c   Root Dual Bound  : +6.30000000000000e+01
15.50/17.22	c Time complete: 15.66.

Verifier Data 

OK	63

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868886-1245148634/watcher-1868886-1245148634 -o /tmp/evaluation-result-1868886-1245148634/solver-1868886-1245148634 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868886-1245148634.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.19 2.11 3/72 5082
/proc/meminfo: memFree=1072124/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=6100 CPUtime=0
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 692 0 0 0 0 0 0 0 18 0 1 0 182461439 6246400 674 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/5082/statm: 1525 684 325 886 0 635 0

[startup+0.107053 s]
/proc/loadavg: 1.92 2.19 2.11 3/72 5082
/proc/meminfo: memFree=1072124/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=22904 CPUtime=0.09
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 5365 0 0 0 7 2 0 0 19 0 1 0 182461439 23453696 4993 1992294400 4194304 7823515 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5082/statm: 5726 4993 385 886 0 4836 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22904

[startup+0.202064 s]
/proc/loadavg: 1.92 2.19 2.11 3/72 5082
/proc/meminfo: memFree=1072124/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=25508 CPUtime=0.18
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 5848 0 0 0 16 2 0 0 19 0 1 0 182461439 26120192 5476 1992294400 4194304 7823515 548682068736 18446744073709551615 5422761 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 6377 5476 432 886 0 5487 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 25508

[startup+0.301077 s]
/proc/loadavg: 1.92 2.19 2.11 3/72 5082
/proc/meminfo: memFree=1072124/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=33064 CPUtime=0.29
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 7659 0 0 0 26 3 0 0 19 0 1 0 182461439 33857536 7265 1992294400 4194304 7823515 548682068736 18446744073709551615 6110670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 8266 7265 500 886 0 7376 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33064

[startup+0.701112 s]
/proc/loadavg: 1.92 2.19 2.11 3/72 5082
/proc/meminfo: memFree=1072124/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=33304 CPUtime=0.68
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 7851 0 0 0 65 3 0 0 23 0 1 0 182461439 34103296 7457 1992294400 4194304 7823515 548682068736 18446744073709551615 5398380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 8326 7457 513 886 0 7436 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 33304

[startup+1.85865 s]
/proc/loadavg: 1.92 2.19 2.11 4/73 5083
/proc/meminfo: memFree=1030644/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=48028 CPUtime=1.33
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 11171 0 0 0 124 9 0 0 25 0 1 0 182461439 49180672 10777 1992294400 4194304 7823515 548682068736 18446744073709551615 4320153 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5082/statm: 12007 10777 522 886 0 11117 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 48028

[startup+3.10136 s]
/proc/loadavg: 1.92 2.19 2.11 2/73 5083
/proc/meminfo: memFree=1009780/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=73308 CPUtime=2.55
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 17588 0 0 0 242 13 0 0 25 0 1 0 182461439 75067392 17091 1992294400 4194304 7823515 548682068736 18446744073709551615 4271311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 18327 17091 539 886 0 17437 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 73308

[startup+6.3067 s]
/proc/loadavg: 2.01 2.20 2.11 4/73 5083
/proc/meminfo: memFree=966964/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=113864 CPUtime=5.74
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 27178 0 0 0 555 19 0 0 25 0 1 0 182461439 116596736 26640 1992294400 4194304 7823515 548682068736 18446744073709551615 5734747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 28466 26640 541 886 0 27576 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 113864

[startup+12.7014 s]
/proc/loadavg: 2.17 2.23 2.12 4/73 5083
/proc/meminfo: memFree=964220/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=116904 CPUtime=11.41
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 33537 0 0 0 1094 47 0 0 25 0 1 0 182461439 119709696 27304 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 29226 27304 569 886 0 28336 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 116904

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

[startup+13.5018 s]
/proc/loadavg: 2.17 2.23 2.12 3/73 5083
/proc/meminfo: memFree=964220/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=116904 CPUtime=12.22
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 33545 0 0 0 1174 48 0 0 25 0 1 0 182461439 119709696 27312 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 29226 27312 569 886 0 28336 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 116904

[startup+15.1066 s]
/proc/loadavg: 2.39 2.28 2.14 4/73 5083
/proc/meminfo: memFree=964220/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=116904 CPUtime=13.81
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 33548 0 0 0 1332 49 0 0 25 0 1 0 182461439 119709696 27315 1992294400 4194304 7823515 548682068736 18446744073709551615 6180619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 29226 27315 571 886 0 28336 0
Current children cumulated CPU time (s) 13.81
Current children cumulated vsize (KiB) 116904

[startup+15.9017 s]
/proc/loadavg: 2.39 2.28 2.14 4/73 5083
/proc/meminfo: memFree=964220/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=116904 CPUtime=14.6
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 33548 0 0 0 1411 49 0 0 25 0 1 0 182461439 119709696 27315 1992294400 4194304 7823515 548682068736 18446744073709551615 6212437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 29226 27315 571 886 0 28336 0
Current children cumulated CPU time (s) 14.6
Current children cumulated vsize (KiB) 116904

[startup+16.3017 s]
/proc/loadavg: 2.39 2.28 2.14 2/73 5083
/proc/meminfo: memFree=964220/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=116904 CPUtime=15
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 33548 0 0 0 1450 50 0 0 25 0 1 0 182461439 119709696 27315 1992294400 4194304 7823515 548682068736 18446744073709551615 6020073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 29226 27315 571 886 0 28336 0
Current children cumulated CPU time (s) 15
Current children cumulated vsize (KiB) 116904

[startup+16.7018 s]
/proc/loadavg: 2.39 2.28 2.14 2/73 5083
/proc/meminfo: memFree=964220/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=116904 CPUtime=15.4
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 33548 0 0 0 1490 50 0 0 25 0 1 0 182461439 119709696 27315 1992294400 4194304 7823515 548682068736 18446744073709551615 6206209 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 29226 27315 571 886 0 28336 0
Current children cumulated CPU time (s) 15.4
Current children cumulated vsize (KiB) 116904

[startup+16.8018 s]
/proc/loadavg: 2.39 2.28 2.14 2/73 5083
/proc/meminfo: memFree=964220/2055920 swapFree=4178712/4192956
[pid=5082] ppid=5080 vsize=116904 CPUtime=15.5
/proc/5082/stat : 5082 (pbscip.linux.x8) R 5080 5082 4973 0 -1 4194304 33548 0 0 0 1500 50 0 0 25 0 1 0 182461439 119709696 27315 1992294400 4194304 7823515 548682068736 18446744073709551615 6211732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5082/statm: 29226 27315 571 886 0 28336 0
Current children cumulated CPU time (s) 15.5
Current children cumulated vsize (KiB) 116904

Child status: 0
Real time (s): 17.2318
CPU time (s): 15.6766
CPU user time (s): 15.0657
CPU system time (s): 0.610907
CPU usage (%): 90.9748
Max. virtual memory (cumulated for all children) (KiB): 140836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.0657
system time used= 0.610907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33553
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= 7
involuntary context switches= 1185

runsolver used 0.023996 second user time and 0.45793 second system time

The end

Launcher Data 

Begin job on node90 at 2009-06-16 12:37:15
IDJOB=1868886
IDBENCH=2044
IDSOLVER=683
FILE ID=node90/1868886-1245148634
PBS_JOBID= 9363777
Free space on /tmp= 66528 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868886-1245148634/watcher-1868886-1245148634 -o /tmp/evaluation-result-1868886-1245148634/solver-1868886-1245148634 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868886-1245148634.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f
RANDOM SEED=902787312

node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1073372 kB
Buffers:         19468 kB
Cached:         865532 kB
SwapCached:       8452 kB
Active:         375284 kB
Inactive:       536616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1073372 kB
SwapTotal:     4192956 kB
SwapFree:      4178712 kB
Dirty:           10096 kB
Writeback:           0 kB
Mapped:          34320 kB
Slab:            55732 kB
Committed_AS:   593900 kB
PageTables:       2104 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66520 MiB
End job on node90 at 2009-06-16 12:37:33