Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 963.154 | 963.316 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat50_4_16_6.opb |
| MD5SUM | 5083e4e53b2d6b5d7b03dffa57422dcf |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5473551 |
| Best CPU time to get the best result obtained on this benchmark | 1800.14 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 160103007 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 54947189218 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 160103007 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 54947189218 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3744425-1338806457.opb>
0.04/0.08 c original problem has 5100 variables (5100 bin, 0 int, 0 impl, 0 cont) and 7606 constraints
0.04/0.08 c problem read
0.04/0.08 c presolving settings loaded
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 2550 del vars, 4902 del conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 0 upgd conss, 5000 impls, 1 clqs
0.09/0.17 c (round 2) 2550 del vars, 4902 del conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 2701 upgd conss, 5000 impls, 1 clqs
0.19/0.23 c (0.2s) probing: 101/2550 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (3 rounds):
0.19/0.23 c 2550 deleted vars, 4902 deleted constraints, 100 tightened bounds, 0 added holes, 1225 changed sides, 1225 changed coefficients
0.19/0.23 c 5000 implications, 1 cliques
0.19/0.23 c presolved problem has 2550 variables (2550 bin, 0 int, 0 impl, 0 cont) and 2704 constraints
0.19/0.23 c 1375 constraints of type <knapsack>
0.19/0.23 c 51 constraints of type <setppc>
0.19/0.23 c 3 constraints of type <linear>
0.19/0.23 c 1275 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.13
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.3
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1789.93
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 13950
0.19/0.23 c
0.19/0.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.23 c # [type: int, range: [1,2], default: 1]
0.19/0.23 c timing/clocktype = 2
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/indicator/addCouplingCons = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c separating/rapidlearning/freq = 0
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.69/0.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.74 c 0.7s| 1 | 0 | 1889 | - | 18M| 0 | 354 |2550 |2704 |2550 |2704 | 0 | 0 | 0 | 1.741926e+06 | -- | Inf
6.79/6.82 o 179929009
6.79/6.82 c y 6.7s| 1 | 0 | 10782 | - | 18M| 0 | 354 |2550 |2704 |2550 |2704 | 0 | 0 | 0 | 1.741926e+06 | 1.799290e+08 | Large
6.99/7.02 c 6.9s| 1 | 0 | 11218 | - | 23M| 0 | 364 |2550 |4384 |2550 |2720 | 16 | 0 | 0 | 1.886631e+06 | 1.799290e+08 |9437.06%
8.80/8.83 c 8.8s| 1 | 0 | 11504 | - | 23M| 0 | 368 |2550 |4384 |2550 |2697 | 29 | 0 | 0 | 1.932210e+06 | 1.799290e+08 |9212.08%
10.49/10.59 c 10.5s| 1 | 0 | 11675 | - | 23M| 0 | 382 |2550 |4384 |2550 |2705 | 37 | 0 | 0 | 1.947908e+06 | 1.799290e+08 |9137.04%
12.28/12.39 c 12.3s| 1 | 0 | 11808 | - | 23M| 0 | 349 |2550 |4384 |2550 |2712 | 44 | 0 | 0 | 1.956481e+06 | 1.799290e+08 |9096.56%
14.20/14.22 c 14.1s| 1 | 0 | 12211 | - | 24M| 0 | 390 |2550 |4384 |2550 |2716 | 48 | 0 | 0 | 1.987090e+06 | 1.799290e+08 |8954.90%
15.79/15.84 c 15.8s| 1 | 0 | 12223 | - | 24M| 0 | 386 |2550 |4384 |2550 |2717 | 49 | 0 | 0 | 1.987207e+06 | 1.799290e+08 |8954.37%
17.49/17.54 c 17.5s| 1 | 0 | 12436 | - | 25M| 0 | 378 |2550 |4384 |2550 |2719 | 51 | 0 | 0 | 1.994568e+06 | 1.799290e+08 |8920.95%
18.99/19.08 c 19.0s| 1 | 0 | 12497 | - | 25M| 0 | 388 |2550 |4384 |2550 |2722 | 54 | 0 | 0 | 1.995424e+06 | 1.799290e+08 |8917.08%
22.68/22.70 c 22.6s| 1 | 2 | 12497 | - | 25M| 0 | 388 |2550 |4384 |2550 |2722 | 54 | 0 | 9 | 1.995424e+06 | 1.799290e+08 |8917.08%
34.48/34.50 o 157038887
34.48/34.50 c *34.4s| 9 | 8 | 15674 | 397.1 | 26M| 8 | - |2550 |4384 |2550 |2716 | 54 | 0 | 93 | 1.995424e+06 | 1.570389e+08 |7769.95%
34.87/34.94 o 154855541
34.87/34.94 c *34.9s| 11 | 8 | 15698 | 320.1 | 26M| 9 | - |2550 |4384 |2550 |2716 | 54 | 0 | 102 | 1.995424e+06 | 1.548555e+08 |7660.53%
35.18/35.28 o 140663621
35.18/35.28 c *35.2s| 13 | 8 | 15717 | 268.3 | 26M| 10 | - |2550 |4384 |2550 |2716 | 54 | 0 | 111 | 1.995424e+06 | 1.406636e+08 |6949.31%
35.57/35.61 o 136030677
35.57/35.61 c *35.5s| 15 | 8 | 15726 | 230.6 | 26M| 11 | - |2550 |4384 |2550 |2716 | 54 | 0 | 120 | 1.995424e+06 | 1.360307e+08 |6717.13%
35.77/35.84 o 84067795
35.77/35.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.77/35.84 c *35.8s| 17 | 8 | 15743 | 202.9 | 26M| 12 | - |2550 |4384 |2550 |2716 | 54 | 0 | 129 | 1.995424e+06 | 8.406780e+07 |4113.03%
36.67/36.74 o 73045503
36.67/36.74 c *36.7s| 19 | 8 | 15798 | 183.4 | 25M| 13 | - |2550 |3830 |2550 |2716 | 54 | 0 | 159 | 1.995424e+06 | 7.304550e+07 |3560.65%
65.56/65.64 o 9423895
65.56/65.64 c *65.6s| 43 | 11 | 25127 | 300.7 | 24M| 14 | - |2550 |3806 |2550 |2716 | 54 | 6 | 315 | 1.995424e+06 | 9.423895e+06 | 372.28%
70.37/70.48 o 7116105
70.37/70.48 c *70.4s| 81 | 19 | 33419 | 261.5 | 24M| 16 | - |2550 |3683 |2550 |2716 | 54 | 9 | 323 | 1.995424e+06 | 7.116105e+06 | 256.62%
158.45/158.54 o 5769053
158.45/158.54 c * 158s| 417 | 260 |228554 | 519.4 | 25M| 57 | - |2550 |3716 |2550 |2716 | 54 | 42 | 508 | 2.109707e+06 | 5.769053e+06 | 173.45%
292.93/293.03 o 5394343
292.93/293.03 c * 293s| 963 | 461 |514372 | 521.7 | 26M| 64 | - |2550 |3774 |2550 |2716 | 54 | 168 |1139 | 2.245144e+06 | 5.394343e+06 | 140.27%
365.12/365.28 o 5091551
365.12/365.28 c * 365s| 1482 | 530 |675353 | 447.6 | 27M| 71 | - |2550 |3815 |2550 |2716 | 54 | 290 |1481 | 2.356991e+06 | 5.091551e+06 | 116.02%
365.51/365.66 o 4402933
365.51/365.66 c v 366s| 1488 | 455 |676139 | 446.3 | 26M| 71 | - |2550 |3821 |2550 |2716 | 54 | 297 |1485 | 2.356991e+06 | 4.402933e+06 | 86.80%
466.51/466.62 o 4396639
466.51/466.62 c * 467s| 2479 | 515 |881078 | 350.5 | 27M| 82 | - |2550 |3844 |2550 |2716 | 54 | 532 |2076 | 2.446751e+06 | 4.396639e+06 | 79.69%
963.03/963.28 c
963.03/963.28 c SCIP Status : problem is solved [optimal solution found]
963.03/963.28 c Solving Time (sec) : 963.21
963.03/963.28 c Solving Nodes : 7390
963.03/963.28 c Primal Bound : +4.39663900000000e+06 (14 solutions)
963.03/963.28 c Dual Bound : +4.39663900000000e+06
963.03/963.28 c Gap : 0.00 %
963.03/963.29 s OPTIMUM FOUND
963.03/963.29 v -x4850 -x4749 -x4698 -x4647 -x4596 -x4545 -x4494 -x4443 -x4392 -x4341 -x4290 -x4189 -x4138 -x4087 -x4036 -x3985 -x3934 -x3883 -x3832
963.03/963.29 v -x3781 -x3730 -x3629 -x3578 -x3527 -x3476 -x3425 -x3374 -x3323 -x3272 -x3221 -x3170 -x3069 -x3018 -x2967 -x2916 -x2865
963.03/963.29 v -x2814 -x2763 -x2712 -x2661 -x2610 -x5059 -x5008 -x4957 -x4906 -x4855 -x4754 -x4203 -x3652 -x3101 -x2300 -x2199 -x2148 -x2097
963.03/963.29 v -x2046 -x1995 -x1944 -x1893 -x1842 -x1791 -x1740 -x1639 -x1588 -x1537 -x1486 -x1435 -x1384 -x1333 -x1282 -x1231 -x1180 -x1079
963.03/963.29 v -x1028 -x977 -x926 -x875 -x824 -x773 -x722 -x671 -x620 -x519 -x468 -x417 -x366 -x315 -x264 -x213 -x162 -x111 -x60 -x2509 -x2458
963.03/963.29 v -x2407 -x2356 -x2305 -x2204 -x1653 -x1102 -x551 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36
963.03/963.29 v -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11
963.03/963.29 v -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838
963.03/963.29 v -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820
963.03/963.29 v -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802
963.03/963.29 v -x4801 -x4750 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733
963.03/963.29 v -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715
963.03/963.29 v -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4697
963.03/963.29 v -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679
963.03/963.29 v -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661
963.03/963.29 v -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4646 -x4645 -x4644 -x4643 -x4642
963.03/963.29 v -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624
963.03/963.29 v -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606
963.03/963.29 v -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587
963.03/963.29 v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570
963.03/963.29 v -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552
963.03/963.29 v -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4544 -x4543 -x4542 x4541 x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533
963.03/963.29 v -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 x4517 -x4516 -x4515
963.03/963.29 v -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497
963.03/963.29 v -x4496 -x4495 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478
963.03/963.29 v -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460
963.03/963.29 v -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4442 -x4441
963.03/963.29 v -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423
963.03/963.29 v -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405
963.03/963.29 v -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4391 -x4390 -x4389 -x4388 -x4387
963.03/963.29 v -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369
963.03/963.29 v -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351
963.03/963.29 v -x4350 -x4349 -x4348 -x4347 -x4346 x4345 -x4344 -x4343 -x4342 x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332
963.03/963.29 v -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314
963.03/963.29 v -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296
963.03/963.29 v x4295 -x4294 -x4293 -x4292 x4291 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277
963.03/963.29 v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259
963.03/963.29 v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191
963.03/963.29 v -x4190 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172
963.03/963.29 v -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154
963.03/963.29 v -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4137 -x4136 -x4135
963.03/963.29 v -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118
963.03/963.29 v -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100
963.03/963.29 v -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081
963.03/963.29 v -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063
963.03/963.29 v -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045
963.03/963.29 v -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026
963.03/963.29 v -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008
963.03/963.29 v -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991
963.03/963.29 v -x3990 -x3989 -x3988 -x3987 -x3986 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972
963.03/963.29 v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954
963.03/963.29 v -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936
963.03/963.29 v -x3935 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917
963.03/963.29 v -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899
963.03/963.29 v -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3882 -x3881 -x3880
963.03/963.29 v -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863
963.03/963.29 v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845
963.03/963.29 v -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826
963.03/963.29 v -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808
963.03/963.29 v -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790
963.03/963.29 v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771
963.03/963.29 v -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753
963.03/963.29 v -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736
963.03/963.29 v -x3735 -x3734 -x3733 -x3732 -x3731 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717
963.03/963.29 v -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3650 -x3649
963.03/963.29 v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631
963.03/963.29 v -x3630 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612
963.03/963.29 v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594
963.03/963.29 v -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3577 -x3576 -x3575
963.03/963.29 v -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558
963.03/963.29 v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540
963.03/963.29 v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521
963.03/963.29 v -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503
963.03/963.29 v -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485
963.03/963.29 v -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466
963.03/963.29 v -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448
963.03/963.29 v -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431
963.03/963.29 v -x3430 -x3429 -x3428 -x3427 -x3426 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412
963.03/963.29 v -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394
963.03/963.29 v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376
963.03/963.29 v -x3375 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357
963.03/963.29 v -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339
963.03/963.29 v -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3322 -x3321 -x3320
963.03/963.29 v -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303
963.03/963.29 v -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285
963.03/963.29 v -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266
963.03/963.29 v -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248
963.03/963.29 v -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230
963.03/963.29 v -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211
963.03/963.29 v -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193
963.03/963.29 v -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176
963.03/963.29 v -x3175 -x3174 -x3173 -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157
963.03/963.29 v -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089
963.03/963.29 v -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071
963.03/963.29 v -x3070 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052
963.03/963.29 v -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034
963.03/963.29 v -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3017 -x3016 -x3015
963.03/963.29 v -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998
963.03/963.29 v -x2997 -x2996 x2995 -x2994 -x2993 -x2992 -x2991 x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979
963.03/963.29 v -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961
963.03/963.29 v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943
963.03/963.29 v -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925
963.03/963.29 v -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906
963.03/963.29 v -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888
963.03/963.29 v -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870
963.03/963.29 v -x2869 -x2868 -x2867 -x2866 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851
963.03/963.29 v -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834
963.03/963.29 v -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816
963.03/963.29 v -x2815 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797
963.03/963.29 v -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779
963.03/963.29 v -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2762 -x2761 -x2760
963.03/963.29 v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742
963.03/963.29 v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724
963.03/963.29 v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706
963.03/963.29 v -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688
963.03/963.29 v -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670
963.03/963.29 v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651
963.03/963.29 v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633
963.03/963.29 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615
963.03/963.29 v -x2614 -x2613 -x2612 -x2611 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x5100 -x5099 -x5098 -x5097 -x5096
963.03/963.29 v -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079
963.03/963.29 v -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061
963.03/963.29 v -x5060 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042
963.03/963.29 v -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024
963.03/963.29 v -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5007 -x5006 -x5005
963.03/963.29 v -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987
963.03/963.29 v -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969
963.03/963.29 v -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951
963.03/963.29 v -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933
963.03/963.29 v -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915
963.03/963.29 v -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896
963.03/963.29 v -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878
963.03/963.29 v -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860
963.03/963.29 v -x4859 -x4858 -x4857 -x4856 -x4854 -x4853 -x4852 -x4851 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791
963.03/963.29 v -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774
963.03/963.29 v -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756
963.03/963.29 v -x4755 -x4753 -x4752 -x4751 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237
963.03/963.29 v -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219
963.03/963.29 v -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4202 -x4201 -x3700
963.03/963.29 v -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682
963.03/963.29 v -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664
963.03/963.29 v -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3651 -x3150 -x3149 -x3148 -x3147 -x3146
963.03/963.29 v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
963.03/963.29 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110
963.03/963.29 v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 x2591
963.03/963.29 v x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573
963.03/963.29 v -x2572 -x2571 -x2570 -x2569 -x2568 x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555
963.03/963.29 v -x2554 -x2553 -x2552 -x2551 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 x2290 -x2289 -x2288 -x2287 -x2286
963.03/963.29 v -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268
963.03/963.29 v -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2200
963.03/963.29 v -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181
963.03/963.29 v -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 x2167 -x2166 -x2165 -x2164 -x2163
963.03/963.29 v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2147 -x2146 -x2145 -x2144
963.03/963.29 v -x2143 -x2142 x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126
963.03/963.29 v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109
963.03/963.29 v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 x2090
963.03/963.29 v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072
963.03/963.29 v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054
963.03/963.29 v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2045 -x2044 -x2043 -x2042 x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035
963.03/963.29 v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017
963.03/963.29 v -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999
963.03/963.29 v -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980
963.03/963.29 v -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962
963.03/963.29 v -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945
963.03/963.29 v -x1943 -x1942 x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926
963.03/963.29 v -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908
963.03/963.29 v -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1892 x1891 -x1890 -x1889
963.03/963.29 v -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871
963.03/963.29 v -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853
963.03/963.29 v -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1841 x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834
963.03/963.29 v -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816
963.03/963.29 v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 x1798
963.03/963.29 v -x1797 x1796 -x1795 x1794 x1793 -x1792 -x1790 -x1789 -x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779
963.03/963.29 v x1778 -x1777 -x1776 -x1775 x1774 -x1773 -x1772 -x1771 x1770 x1769 -x1768 -x1767 x1766 -x1765 -x1764 -x1763 -x1762 x1761 -x1760
963.03/963.29 v x1759 -x1758 -x1757 -x1756 x1755 x1754 x1753 -x1752 -x1751 x1750 -x1749 -x1748 x1747 -x1746 -x1745 -x1744 -x1743 x1742 -x1741
963.03/963.29 v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 x1729 -x1728 x1727 -x1726 x1725 -x1724 -x1723 x1722
963.03/963.29 v x1721 -x1720 -x1719 x1718 -x1717 -x1716 x1715 x1714 x1713 x1712 -x1711 -x1710 -x1709 -x1708 x1707 -x1706 -x1705 -x1704 -x1703
963.03/963.29 v -x1702 x1701 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1638 -x1637 -x1636 -x1635 -x1634
963.03/963.29 v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 x1617 -x1616
963.03/963.29 v -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598
963.03/963.29 v -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579
963.03/963.29 v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561
963.03/963.29 v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543
963.03/963.29 v -x1542 x1541 -x1540 -x1539 -x1538 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524
963.03/963.29 v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506
963.03/963.29 v -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489
963.03/963.29 v -x1488 -x1487 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470
963.03/963.29 v -x1469 -x1468 x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452
963.03/963.29 v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1434 -x1433
963.03/963.29 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 -x1416 -x1415
963.03/963.29 v -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397
963.03/963.29 v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378
963.03/963.29 v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360
963.03/963.29 v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342
963.03/963.29 v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323
963.03/963.29 v -x1322 -x1321 -x1320 -x1319 -x1318 x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305
963.03/963.29 v -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288
963.03/963.29 v -x1287 -x1286 -x1285 -x1284 -x1283 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269
963.03/963.29 v -x1268 x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251
963.03/963.29 v -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233
963.03/963.29 v -x1232 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214
963.03/963.29 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196
963.03/963.29 v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1179 -x1178 -x1177
963.03/963.29 v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159
963.03/963.29 v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091
963.03/963.29 v x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072
963.03/963.29 v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
963.03/963.29 v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039 -x1038 -x1037 -x1036
963.03/963.29 v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
963.03/963.29 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000
963.03/963.29 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
963.03/963.29 v -x978 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957
963.03/963.29 v -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936
963.03/963.29 v -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 x917 -x916 -x915 -x914
963.03/963.29 v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
963.03/963.29 v -x892 -x891 x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x874 -x873 -x872 -x871
963.03/963.29 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850
963.03/963.29 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829
963.03/963.29 v -x828 -x827 -x826 -x825 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808
963.03/963.29 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787
963.03/963.29 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x772 -x771 -x770 -x769 -x768 x767 -x766 -x765
963.03/963.29 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744
963.03/963.29 v -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723
963.03/963.29 v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
963.03/963.29 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680
963.03/963.29 v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658
963.03/963.29 v -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637
963.03/963.29 v -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x619 -x618 -x617 -x616 -x615
963.03/963.29 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x550 -x549 -x548 -x547 -x546 -x545
963.03/963.29 v -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524
963.03/963.29 v -x523 -x522 -x521 -x520 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502
963.03/963.29 v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481
963.03/963.29 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
963.03/963.29 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 x438
963.03/963.29 v -x437 x436 x435 x434 x433 x432 x431 x430 -x429 -x428 -x427 x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x416 -x415 -x414
963.03/963.29 v -x413 -x412 -x411 x410 -x409 x408 -x407 x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
963.03/963.29 v -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
963.03/963.29 v -x371 -x370 -x369 -x368 -x367 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350
963.03/963.29 v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
963.03/963.29 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
963.03/963.29 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286
963.03/963.29 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
963.03/963.29 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
963.03/963.29 v -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
963.03/963.29 v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
963.03/963.29 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180
963.03/963.29 v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x161 -x160 -x159 -x158
963.03/963.29 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137
963.03/963.29 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116
963.03/963.29 v -x115 -x114 -x113 -x112 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93
963.03/963.29 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68
963.03/963.29 v x67 -x66 -x65 -x64 -x63 -x62 -x61 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544
963.03/963.29 v -x2543 -x2542 x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
963.03/963.29 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2508 -x2507
963.03/963.29 v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490
963.03/963.29 v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472
963.03/963.29 v -x2471 -x2470 -x2469 -x2468 x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2457 -x2456 -x2455 -x2454 -x2453
963.03/963.29 v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 x2440 -x2439 -x2438 -x2437 -x2436 -x2435
963.03/963.29 v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417
963.03/963.29 v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398
963.03/963.29 v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380
963.03/963.29 v -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 x2367 -x2366 -x2365 -x2364 -x2363 -x2362
963.03/963.29 v -x2361 -x2360 -x2359 -x2358 -x2357 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
963.03/963.29 v -x2342 x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325
963.03/963.29 v -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307
963.03/963.29 v -x2306 -x2304 -x2303 -x2302 -x2301 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238
963.03/963.29 v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221
963.03/963.29 v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2203 -x2202
963.03/963.29 v -x2201 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684
963.03/963.29 v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666
963.03/963.29 v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1652 -x1651 -x1150 -x1149 -x1148 -x1147
963.03/963.29 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
963.03/963.29 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111
963.03/963.29 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1101 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591
963.03/963.29 v x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570
963.03/963.29 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
963.03/963.29 c SCIP Status : problem is solved [optimal solution found]
963.03/963.29 c Solving Time : 963.21
963.03/963.29 c Original Problem :
963.03/963.29 c Problem name : HOME/instance-3744425-1338806457.opb
963.03/963.29 c Variables : 5100 (5100 binary, 0 integer, 0 implicit integer, 0 continuous)
963.03/963.29 c Constraints : 7606 initial, 7606 maximal
963.03/963.29 c Presolved Problem :
963.03/963.29 c Problem name : t_HOME/instance-3744425-1338806457.opb
963.03/963.29 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
963.03/963.29 c Constraints : 2704 initial, 4384 maximal
963.03/963.29 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
963.03/963.29 c trivial : 0.00 0 0 0 0 0 0 0 0
963.03/963.29 c dualfix : 0.00 0 0 0 0 0 0 0 0
963.03/963.29 c boundshift : 0.00 0 0 0 0 0 0 0 0
963.03/963.29 c inttobinary : 0.00 0 0 0 0 0 0 0 0
963.03/963.29 c implics : 0.00 0 0 0 0 0 0 0 0
963.03/963.29 c probing : 0.04 0 0 0 0 0 0 0 0
963.03/963.29 c knapsack : 0.01 0 0 0 0 0 0 0 0
963.03/963.29 c setppc : 0.00 0 0 0 0 0 0 0 0
963.03/963.29 c linear : 0.06 100 2450 0 100 0 4902 1225 1225
963.03/963.29 c logicor : 0.01 0 0 0 0 0 0 0 0
963.03/963.29 c root node : - 1036 - - 1036 - - - -
963.03/963.29 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
963.03/963.29 c integral : 0 0 0 5167 0 32 3120 0 0 7546
963.03/963.29 c knapsack : 1375 9 43100 12 8 397 99795 140 0 0
963.03/963.29 c setppc : 51 9 33722 1 7 28 26046 0 0 0
963.03/963.29 c linear : 3+ 10 42676 12 0 243 25281 0 0 0
963.03/963.29 c logicor : 1275+ 9 19299 12 8 176 625631 0 0 0
963.03/963.29 c countsols : 0 0 0 12 8 0 0 0 0 0
963.03/963.29 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
963.03/963.29 c integral : 236.10 0.00 0.00 236.10 0.00
963.03/963.29 c knapsack : 5.08 0.07 5.01 0.00 0.00
963.03/963.29 c setppc : 1.52 0.00 1.52 0.00 0.00
963.03/963.29 c linear : 19.12 13.16 5.97 0.00 0.00
963.03/963.29 c logicor : 1.41 0.00 1.41 0.00 0.00
963.03/963.29 c countsols : 0.00 0.00 0.00 0.00 0.00
963.03/963.29 c Propagators : Time Calls Cutoffs DomReds
963.03/963.29 c vbounds : 0.01 2 0 0
963.03/963.29 c rootredcost : 0.01 13 0 997
963.03/963.29 c pseudoobj : 1.84 43044 7 92
963.03/963.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
963.03/963.29 c propagation : 0.05 849 848 2516 43.6 39 20.6 -
963.03/963.29 c infeasible LP : 0.03 129 129 366 55.7 2 6.5 0
963.03/963.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
963.03/963.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
963.03/963.29 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
963.03/963.29 c applied globally : - - - 2341 41.0 - - -
963.03/963.29 c applied locally : - - - 0 0.0 - - -
963.03/963.29 c Separators : Time Calls Cutoffs DomReds Cuts Conss
963.03/963.29 c cut pool : 0.00 8 - - 2 - (maximal pool size: 227)
963.03/963.29 c redcost : 2.14 9547 0 262585 0 0
963.03/963.29 c impliedbounds : 0.00 9 0 0 0 0
963.03/963.29 c intobj : 0.00 0 0 0 0 0
963.03/963.29 c cgmip : 0.00 0 0 0 0 0
963.03/963.29 c gomory : 0.53 9 0 0 218 0
963.03/963.29 c strongcg : 0.56 9 0 0 275 0
963.03/963.29 c cmir : 0.13 9 0 0 1 0
963.03/963.29 c flowcover : 0.29 9 0 0 119 0
963.03/963.29 c clique : 0.00 9 0 0 0 0
963.03/963.29 c zerohalf : 0.00 0 0 0 0 0
963.03/963.29 c mcf : 0.00 1 0 0 0 0
963.03/963.29 c rapidlearning : 1.38 1 0 0 0 1680
963.03/963.29 c Pricers : Time Calls Vars
963.03/963.29 c problem variables: 0.00 0 0
963.03/963.29 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
963.03/963.29 c relpscost : 236.09 5155 32 3120 0 0 7546
963.03/963.29 c pscost : 0.00 0 0 0 0 0 0
963.03/963.29 c inference : 0.00 8 0 0 0 0 16
963.03/963.29 c mostinf : 0.00 0 0 0 0 0 0
963.03/963.29 c leastinf : 0.00 0 0 0 0 0 0
963.03/963.29 c fullstrong : 0.00 0 0 0 0 0 0
963.03/963.29 c allfullstrong : 0.00 0 0 0 0 0 0
963.03/963.29 c random : 0.00 0 0 0 0 0 0
963.03/963.29 c Primal Heuristics : Time Calls Found
963.03/963.29 c LP solutions : 0.00 - 12
963.03/963.29 c pseudo solutions : 0.00 - 0
963.03/963.29 c oneopt : 0.01 14 0
963.03/963.29 c feaspump : 3.08 1 0
963.03/963.29 c rootsoldiving : 12.50 6 0
963.03/963.29 c guideddiving : 18.65 16 0
963.03/963.29 c pscostdiving : 21.54 16 0
963.03/963.29 c coefdiving : 17.71 17 0
963.03/963.29 c linesearchdiving : 10.30 17 0
963.03/963.29 c fracdiving : 23.83 17 0
963.03/963.29 c veclendiving : 17.61 17 1
963.03/963.29 c objpscostdiving : 16.97 9 0
963.03/963.29 c crossover : 0.26 8 0
963.03/963.29 c trivial : 0.00 2 0
963.03/963.29 c simplerounding : 0.00 0 0
963.03/963.29 c zirounding : 0.07 1000 0
963.03/963.29 c rounding : 0.44 1119 0
963.03/963.29 c shifting : 2.45 324 0
963.03/963.29 c intshifting : 0.00 0 0
963.03/963.29 c twoopt : 0.00 0 0
963.03/963.29 c fixandinfer : 0.00 0 0
963.03/963.29 c intdiving : 0.00 0 0
963.03/963.29 c actconsdiving : 0.00 0 0
963.03/963.29 c octane : 0.00 0 0
963.03/963.29 c rens : 0.10 1 0
963.03/963.29 c rins : 0.00 0 0
963.03/963.29 c localbranching : 0.00 0 0
963.03/963.29 c mutation : 0.00 0 0
963.03/963.29 c dins : 0.00 0 0
963.03/963.29 c undercover : 0.00 0 0
963.03/963.29 c nlp : 0.00 0 0
963.03/963.29 c trysol : 0.00 0 0
963.03/963.29 c LP : Time Calls Iterations Iter/call Iter/sec
963.03/963.29 c primal LP : 0.00 0 0 0.00 -
963.03/963.29 c dual LP : 537.86 9560 1540908 161.18 2864.88
963.03/963.29 c lex dual LP : 0.00 0 0 0.00 -
963.03/963.29 c barrier LP : 0.00 0 0 0.00 -
963.03/963.29 c diving/probing LP: 134.22 12231 373464 30.53 2782.39
963.03/963.29 c strong branching : 235.56 5585 684354 122.53 2905.19
963.03/963.29 c (at root node) : - 9 5028 558.67 -
963.03/963.29 c conflict analysis: 0.00 0 0 0.00 -
963.03/963.29 c B&B Tree :
963.03/963.29 c number of runs : 1
963.03/963.29 c nodes : 7390
963.03/963.29 c nodes (total) : 7390
963.03/963.29 c nodes left : 0
963.03/963.29 c max depth : 85
963.03/963.29 c max depth (total): 85
963.03/963.29 c backtracks : 1337 (18.1%)
963.03/963.29 c delayed cutoffs : 27
963.03/963.29 c repropagations : 3030 (21253 domain reductions, 12 cutoffs)
963.03/963.29 c avg switch length: 8.54
963.03/963.29 c switching time : 5.68
963.03/963.29 c Solution :
963.03/963.29 c Solutions found : 14 (14 improvements)
963.03/963.29 c First Solution : +1.79929009000000e+08 (in run 1, after 1 nodes, 6.74 seconds, depth 0, found by <trysol>)
963.03/963.29 c Primal Bound : +4.39663900000000e+06 (in run 1, after 2479 nodes, 466.55 seconds, depth 67, found by <relaxation>)
963.03/963.29 c Dual Bound : +4.39663900000000e+06
963.03/963.29 c Gap : 0.00 %
963.03/963.29 c Root Dual Bound : +1.99542385246495e+06
963.03/963.29 c Root Iterations : 12497
963.13/963.31 c Time complete: 963.14.
OK 4396639
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-3744425-1338806457/watcher-3744425-1338806457 -o /tmp/evaluation-result-3744425-1338806457/solver-3744425-1338806457 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744425-1338806457.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.97 1.86 2/171 11893 /proc/meminfo: memFree=26992004/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=7916 CPUtime=0 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 1247 0 0 0 0 0 0 0 20 0 1 0 346771166 8105984 1193 33554432000 4194304 8395647 140733575546432 140736539670936 7385022 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 1979 1193 370 1026 0 949 0 [startup+0.0573161 s] /proc/loadavg: 2.00 1.97 1.86 2/171 11893 /proc/meminfo: memFree=26992004/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=16980 CPUtime=0.04 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 3531 0 0 0 4 0 0 0 20 0 1 0 346771166 17387520 3476 33554432000 4194304 8395647 140733575546432 140733575411640 5753608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 4245 3476 394 1026 0 3215 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 16980 [startup+0.100219 s] /proc/loadavg: 2.00 1.97 1.86 2/171 11893 /proc/meminfo: memFree=26992004/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=31976 CPUtime=0.09 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 7560 0 0 0 8 1 0 0 20 0 1 0 346771166 32743424 7151 33554432000 4194304 8395647 140733575546432 140733575411640 4601776 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 7994 7151 431 1026 0 6964 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31976 [startup+0.30022 s] /proc/loadavg: 2.00 1.97 1.86 2/171 11893 /proc/meminfo: memFree=26992004/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=45632 CPUtime=0.28 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 10842 0 0 0 27 1 0 0 20 0 1 0 346771166 46727168 10364 33554432000 4194304 8395647 140733575546432 140733575411640 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 11408 10364 579 1026 0 10378 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 45632 [startup+0.700216 s] /proc/loadavg: 2.00 1.97 1.86 2/171 11893 /proc/meminfo: memFree=26992004/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=46944 CPUtime=0.69 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 11217 0 0 0 67 2 0 0 20 0 1 0 346771166 48070656 10727 33554432000 4194304 8395647 140733575546432 140733575541896 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 11736 10727 583 1026 0 10706 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46944 [startup+1.50022 s] /proc/loadavg: 2.00 1.97 1.86 3/175 11925 /proc/meminfo: memFree=26864104/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=47468 CPUtime=1.49 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 11321 0 0 0 147 2 0 0 20 0 1 0 346771166 48607232 10831 33554432000 4194304 8395647 140733575546432 140733575540952 6378447 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 11867 10831 589 1026 0 10837 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47468 [startup+3.10022 s] /proc/loadavg: 2.00 1.97 1.86 3/175 11925 /proc/meminfo: memFree=26832732/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=47468 CPUtime=3.09 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 11362 0 0 0 307 2 0 0 20 0 1 0 346771166 48607232 10872 33554432000 4194304 8395647 140733575546432 140733575540952 6696279 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 11867 10872 589 1026 0 10837 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47468 [startup+6.30022 s] /proc/loadavg: 2.00 1.97 1.86 3/175 11926 /proc/meminfo: memFree=26828640/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=76544 CPUtime=6.29 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 18337 0 0 0 624 5 0 0 20 0 1 0 346771166 78381056 17847 33554432000 4194304 8395647 140733575546432 140733575541560 6041886 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 19136 17847 631 1026 0 18106 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 76544 [startup+12.7002 s] /proc/loadavg: 2.00 1.97 1.86 3/175 11926 /proc/meminfo: memFree=26783476/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=92288 CPUtime=12.69 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 22455 0 0 0 1261 8 0 0 20 0 1 0 346771166 94502912 21965 33554432000 4194304 8395647 140733575546432 140733575541048 4904064 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23072 21965 641 1026 0 22042 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 92288 [startup+25.5002 s] /proc/loadavg: 2.00 1.97 1.86 3/175 11926 /proc/meminfo: memFree=26782972/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=92288 CPUtime=25.48 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 22779 0 0 0 2538 10 0 0 20 0 1 0 346771166 94502912 22214 33554432000 4194304 8395647 140733575546432 140733575541784 6652551 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23072 22214 644 1026 0 22042 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 92288 [startup+51.1002 s] /proc/loadavg: 2.00 1.97 1.87 3/175 11926 /proc/meminfo: memFree=26781004/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=92288 CPUtime=51.07 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 22791 0 0 0 5086 21 0 0 20 0 1 0 346771166 94502912 22508 33554432000 4194304 8395647 140733575546432 140733575541304 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23072 22508 644 1026 0 22042 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 92288 [startup+102.306 s] /proc/loadavg: 2.00 1.97 1.87 3/175 11926 /proc/meminfo: memFree=26780428/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=92288 CPUtime=102.26 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 22795 0 0 0 10186 40 0 0 20 0 1 0 346771166 94502912 22552 33554432000 4194304 8395647 140733575546432 140733575541992 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23072 22552 644 1026 0 22042 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 92288 [startup+162.3 s] /proc/loadavg: 2.00 1.97 1.88 3/175 11926 /proc/meminfo: memFree=26767420/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=92288 CPUtime=162.25 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 22800 0 0 0 16161 64 0 0 20 0 1 0 346771166 94502912 22557 33554432000 4194304 8395647 140733575546432 140733575541896 6693391 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23072 22557 645 1026 0 22042 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 92288 [startup+222.3 s] /proc/loadavg: 2.00 1.97 1.88 3/175 11926 /proc/meminfo: memFree=26766180/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=93488 CPUtime=222.24 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23071 0 0 0 22137 87 0 0 20 0 1 0 346771166 95731712 22828 33554432000 4194304 8395647 140733575546432 140733575541992 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23372 22828 645 1026 0 22342 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 93488 [startup+282.3 s] /proc/loadavg: 2.00 1.97 1.89 3/175 11926 /proc/meminfo: memFree=26766176/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=93488 CPUtime=282.24 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23072 0 0 0 28112 112 0 0 20 0 1 0 346771166 95731712 22829 33554432000 4194304 8395647 140733575546432 140733575541928 6670348 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23372 22829 645 1026 0 22342 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 93488 [startup+342.3 s] /proc/loadavg: 2.00 1.97 1.89 3/175 11927 /proc/meminfo: memFree=26764500/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=93488 CPUtime=342.23 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23110 0 0 0 34085 138 0 0 20 0 1 0 346771166 95731712 22902 33554432000 4194304 8395647 140733575546432 140733575541992 6721270 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23372 22902 645 1026 0 22342 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 93488 [startup+402.3 s] /proc/loadavg: 2.00 1.97 1.90 3/175 11927 /proc/meminfo: memFree=26762692/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=93488 CPUtime=402.22 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23110 0 0 0 40061 161 0 0 20 0 1 0 346771166 95731712 22902 33554432000 4194304 8395647 140733575546432 140733575541560 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23372 22902 645 1026 0 22342 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 93488 [startup+462.3 s] /proc/loadavg: 2.00 1.97 1.91 3/175 11927 /proc/meminfo: memFree=26762196/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=94164 CPUtime=462.2 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23257 0 0 0 46033 187 0 0 20 0 1 0 346771166 96423936 23049 33554432000 4194304 8395647 140733575546432 140733575541688 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23541 23049 645 1026 0 22511 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 94164 [startup+522.3 s] /proc/loadavg: 2.00 1.97 1.91 3/175 11927 /proc/meminfo: memFree=26759220/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=92292 CPUtime=522.19 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23604 0 0 0 52007 212 0 0 20 0 1 0 346771166 94507008 22613 33554432000 4194304 8395647 140733575546432 140733575541896 6721235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23073 22613 645 1026 0 22043 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 92292 [startup+582.3 s] /proc/loadavg: 2.00 1.97 1.91 3/176 11930 /proc/meminfo: memFree=26758836/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=92292 CPUtime=582.18 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23604 0 0 0 57983 235 0 0 20 0 1 0 346771166 94507008 22613 33554432000 4194304 8395647 140733575546432 140733575541560 6696979 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23073 22613 645 1026 0 22043 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 92292 [startup+642.3 s] /proc/loadavg: 2.00 1.97 1.91 3/175 11931 /proc/meminfo: memFree=26754380/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=92292 CPUtime=642.18 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 23604 0 0 0 63957 261 0 0 20 0 1 0 346771166 94507008 22613 33554432000 4194304 8395647 140733575546432 140733575541688 6697376 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23073 22613 645 1026 0 22043 0 Current children cumulated CPU time (s) 642.18 Current children cumulated vsize (KiB) 92292 [startup+702.3 s] /proc/loadavg: 2.00 1.97 1.91 3/175 11931 /proc/meminfo: memFree=26755372/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=92292 CPUtime=702.17 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 24506 0 0 0 69932 285 0 0 20 0 1 0 346771166 94507008 22614 33554432000 4194304 8395647 140733575546432 140733575542104 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23073 22614 646 1026 0 22043 0 Current children cumulated CPU time (s) 702.17 Current children cumulated vsize (KiB) 92292 [startup+762.306 s] /proc/loadavg: 2.00 1.97 1.91 3/175 11931 /proc/meminfo: memFree=26753324/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=93316 CPUtime=762.17 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 24730 0 0 0 75912 305 0 0 20 0 1 0 346771166 95555584 22838 33554432000 4194304 8395647 140733575546432 140733575541944 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23329 22838 646 1026 0 22299 0 Current children cumulated CPU time (s) 762.17 Current children cumulated vsize (KiB) 93316 [startup+822.3 s] /proc/loadavg: 2.05 1.99 1.91 3/175 11931 /proc/meminfo: memFree=26753440/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=93316 CPUtime=822.15 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 24730 0 0 0 81886 329 0 0 20 0 1 0 346771166 95555584 22838 33554432000 4194304 8395647 140733575546432 140733575541560 6700076 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23329 22838 646 1026 0 22299 0 Current children cumulated CPU time (s) 822.15 Current children cumulated vsize (KiB) 93316 [startup+882.3 s] /proc/loadavg: 2.02 1.99 1.91 3/175 11931 /proc/meminfo: memFree=26751828/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=94380 CPUtime=882.14 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 87858 356 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541992 6652558 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23595 23134 646 1026 0 22565 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 94380 [startup+942.3 s] /proc/loadavg: 2.00 1.99 1.91 3/175 11932 /proc/meminfo: memFree=26752760/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=94380 CPUtime=942.13 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 93834 379 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541560 6586935 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23595 23134 646 1026 0 22565 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 94380 Solver just ended. Dumping a history of the last processes samples [startup+947.106 s] /proc/loadavg: 2.00 1.99 1.91 3/175 11932 /proc/meminfo: memFree=26752884/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=94380 CPUtime=946.93 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 94312 381 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541304 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23595 23134 646 1026 0 22565 0 Current children cumulated CPU time (s) 946.93 Current children cumulated vsize (KiB) 94380 [startup+953.5 s] /proc/loadavg: 2.00 1.99 1.91 3/175 11932 /proc/meminfo: memFree=26752884/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=94380 CPUtime=953.33 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 94950 383 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541992 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23595 23134 646 1026 0 22565 0 Current children cumulated CPU time (s) 953.33 Current children cumulated vsize (KiB) 94380 [startup+959.9 s] /proc/loadavg: 2.00 1.99 1.91 3/175 11932 /proc/meminfo: memFree=26752884/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=94380 CPUtime=959.73 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 95587 386 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541640 6721084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23595 23134 646 1026 0 22565 0 Current children cumulated CPU time (s) 959.73 Current children cumulated vsize (KiB) 94380 [startup+961.5 s] /proc/loadavg: 2.00 1.99 1.91 3/175 11932 /proc/meminfo: memFree=26752820/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=94380 CPUtime=961.33 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 95747 386 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541560 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23595 23134 646 1026 0 22565 0 Current children cumulated CPU time (s) 961.33 Current children cumulated vsize (KiB) 94380 [startup+962.3 s] /proc/loadavg: 2.00 1.99 1.91 3/175 11932 /proc/meminfo: memFree=26752820/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=94380 CPUtime=962.13 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 95826 387 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575541736 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23595 23134 646 1026 0 22565 0 Current children cumulated CPU time (s) 962.13 Current children cumulated vsize (KiB) 94380 [startup+963.1 s] /proc/loadavg: 2.00 1.99 1.91 3/175 11932 /proc/meminfo: memFree=26752820/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=94380 CPUtime=962.93 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26047 0 0 0 95906 387 0 0 20 0 1 0 346771166 96645120 23134 33554432000 4194304 8395647 140733575546432 140733575542040 6693364 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23595 23134 646 1026 0 22565 0 Current children cumulated CPU time (s) 962.93 Current children cumulated vsize (KiB) 94380 [startup+963.3 s] /proc/loadavg: 2.00 1.99 1.91 3/175 11932 /proc/meminfo: memFree=26752820/32873852 swapFree=7624/7624 [pid=11893] ppid=11891 vsize=94380 CPUtime=963.13 cores=0,2,4,6 /proc/11893/stat : 11893 (pbscip.linux.x8) R 11891 11893 5924 0 -1 4202496 26049 0 0 0 95926 387 0 0 20 0 1 0 346771166 96645120 23136 33554432000 4194304 8395647 140733575546432 140733575542040 6345887 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/11893/statm: 23595 23136 648 1026 0 22565 0 Current children cumulated CPU time (s) 963.13 Current children cumulated vsize (KiB) 94380 Child status: 0 Real time (s): 963.316 CPU time (s): 963.154 CPU user time (s): 959.275 CPU system time (s): 3.87841 CPU usage (%): 99.9832 Max. virtual memory (cumulated for all children) (KiB): 94380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 959.275 system time used= 3.87841 maximum resident set size= 96620 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26052 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= 18 involuntary context switches= 1447 runsolver used 4.22636 second user time and 9.8795 second system time The end
Begin job on node131 at 2012-06-04 12:40:57 IDJOB=3744425 IDBENCH=92750 IDSOLVER=2326 FILE ID=node131/3744425-1338806457 RUNJOBID= node131-1338804666-11805 PBS_JOBID= 14636826 Free space on /tmp= 71392 MiB SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_6.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744425-1338806457/watcher-3744425-1338806457 -o /tmp/evaluation-result-3744425-1338806457/solver-3744425-1338806457 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744425-1338806457.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5083e4e53b2d6b5d7b03dffa57422dcf RANDOM SEED=708571324 node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 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 : 2666.805 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 : 2666.805 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 : 2666.805 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 : 2666.805 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 26992276 kB Buffers: 1767328 kB Cached: 3210664 kB SwapCached: 2348 kB Active: 2694096 kB Inactive: 2295312 kB Active(anon): 2832 kB Inactive(anon): 3860 kB Active(file): 2691264 kB Inactive(file): 2291452 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67099088 kB Dirty: 10976 kB Writeback: 0 kB AnonPages: 68448 kB Mapped: 14680 kB Shmem: 0 kB Slab: 752836 kB SReclaimable: 194880 kB SUnreclaim: 557956 kB KernelStack: 1456 kB PageTables: 4212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 104528 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 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= 71380 MiB End job on node131 at 2012-06-04 12:57:01