Trace number 2705392

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1793.95 1793.9

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-0-100-0.wbo
MD5SUM850df9cd01e268299cdca754cc055f3b
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark23.5114
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4960
Total number of constraints16157
Number of soft constraints16157
Number of constraints which are clauses15841
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints316
Minimum length of a constraint1
Maximum length of a constraint30
Top cost 812826
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 812825
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 201
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	10754

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705392-1278578372/watcher-2705392-1278578372 -o /tmp/evaluation-result-2705392-1278578372/solver-2705392-1278578372 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705392-1278578372.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.95 1.99 1.94 4/178 21924
/proc/meminfo: memFree=29469672/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=12188 CPUtime=0
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 1882 0 0 0 0 0 0 0 25 0 1 0 26051166 12480512 1801 4089446400 4194304 10345943 140735774616720 18446744073709551615 9107408 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21924/statm: 3047 1805 429 1502 0 1540 0

[startup+0.0481089 s]
/proc/loadavg: 1.95 1.99 1.94 4/178 21924
/proc/meminfo: memFree=29469672/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=26816 CPUtime=0.03
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 5537 0 0 0 3 0 0 0 25 0 1 0 26051166 27459584 5456 4089446400 4194304 10345943 140735774616720 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21924/statm: 6704 5456 430 1502 0 5197 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26816

[startup+0.101105 s]
/proc/loadavg: 1.95 1.99 1.94 4/178 21924
/proc/meminfo: memFree=29469672/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=41096 CPUtime=0.09
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 9121 0 0 0 8 1 0 0 25 0 1 0 26051166 42082304 9040 4089446400 4194304 10345943 140735774616720 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21924/statm: 10274 9040 430 1502 0 8767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41096

[startup+0.301067 s]
/proc/loadavg: 1.95 1.99 1.94 4/178 21924
/proc/meminfo: memFree=29469672/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=126004 CPUtime=0.29
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 30655 0 0 0 26 3 0 0 25 0 1 0 26051166 129028096 30184 4089446400 4194304 10345943 140735774616720 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 31501 30184 494 1502 0 29994 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 126004

[startup+0.700993 s]
/proc/loadavg: 1.95 1.99 1.94 4/178 21924
/proc/meminfo: memFree=29469672/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=138152 CPUtime=0.69
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 32717 0 0 0 66 3 0 0 25 0 1 0 26051166 141467648 32246 4089446400 4194304 10345943 140735774616720 18446744073709551615 9138607 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 34538 32246 509 1502 0 33031 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 138152

[startup+1.50085 s]
/proc/loadavg: 1.95 1.99 1.94 3/179 21925
/proc/meminfo: memFree=29343536/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=138152 CPUtime=1.49
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 32717 0 0 0 146 3 0 0 25 0 1 0 26051166 141467648 32246 4089446400 4194304 10345943 140735774616720 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 34538 32246 509 1502 0 33031 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 138152

[startup+3.10056 s]
/proc/loadavg: 1.95 1.99 1.94 3/179 21926
/proc/meminfo: memFree=29342916/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=138152 CPUtime=3.09
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 32717 0 0 0 306 3 0 0 25 0 1 0 26051166 141467648 32246 4089446400 4194304 10345943 140735774616720 18446744073709551615 4246426 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 34538 32246 509 1502 0 33031 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138152

[startup+6.301 s]
/proc/loadavg: 1.95 1.99 1.94 3/179 21926
/proc/meminfo: memFree=29337948/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=173272 CPUtime=6.29
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 40986 0 0 0 625 4 0 0 25 0 1 0 26051166 177430528 40473 4089446400 4194304 10345943 140735774616720 18446744073709551615 6119558 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 43318 40473 698 1502 0 41811 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 173272

[startup+12.7009 s]
/proc/loadavg: 1.96 1.99 1.94 3/179 21926
/proc/meminfo: memFree=29306556/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=176696 CPUtime=12.69
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 49816 0 0 0 1264 5 0 0 25 0 1 0 26051166 180936704 41330 4089446400 4194304 10345943 140735774616720 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 44174 41330 705 1502 0 42667 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 176696

[startup+25.5006 s]
/proc/loadavg: 1.97 1.99 1.94 3/179 21926
/proc/meminfo: memFree=29171300/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=260312 CPUtime=25.5
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 89276 0 0 0 2539 11 0 0 25 0 1 0 26051166 266559488 61952 4089446400 4194304 10345943 140735774616720 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 65078 61952 714 1502 0 63571 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 260312

[startup+51.1011 s]
/proc/loadavg: 1.98 1.99 1.94 3/179 21927
/proc/meminfo: memFree=29165172/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=260172 CPUtime=51.09
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 91164 0 0 0 5098 11 0 0 25 0 1 0 26051166 266416128 62694 4089446400 4194304 10345943 140735774616720 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 65043 62694 714 1502 0 63536 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 260172

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 21928
/proc/meminfo: memFree=29155652/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=260172 CPUtime=102.3
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 96512 0 0 0 10217 13 0 0 25 0 1 0 26051166 266416128 62838 4089446400 4194304 10345943 140735774616720 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 65043 62838 718 1502 0 63536 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 260172

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 21930
/proc/meminfo: memFree=29070776/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=260172 CPUtime=162.29
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 96548 0 0 0 16215 14 0 0 25 0 1 0 26051166 266416128 62874 4089446400 4194304 10345943 140735774616720 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 65043 62874 719 1502 0 63536 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 260172

[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 21931
/proc/meminfo: memFree=28980464/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=352904 CPUtime=222.3
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 124770 0 0 0 22211 19 0 0 25 0 1 0 26051166 361373696 85307 4089446400 4194304 10345943 140735774616720 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 88226 85307 727 1502 0 86719 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 352904

[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 21933
/proc/meminfo: memFree=28959076/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=352904 CPUtime=282.3
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 124875 0 0 0 28210 20 0 0 25 0 1 0 26051166 361373696 85412 4089446400 4194304 10345943 140735774616720 18446744073709551615 6929871 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 88226 85412 727 1502 0 86719 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 352904

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/179 21934
/proc/meminfo: memFree=28887984/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=384784 CPUtime=342.3
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 135594 0 0 0 34207 23 0 0 25 0 1 0 26051166 394018816 93839 4089446400 4194304 10345943 140735774616720 18446744073709551615 5012752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 96196 93839 727 1502 0 94689 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 384784

[startup+402.301 s]
/proc/loadavg: 2.04 2.00 1.95 3/179 21936
/proc/meminfo: memFree=28853344/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=384784 CPUtime=402.3
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 135863 0 0 0 40206 24 0 0 25 0 1 0 26051166 394018816 94108 4089446400 4194304 10345943 140735774616720 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 96196 94108 727 1502 0 94689 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 384784

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/179 21938
/proc/meminfo: memFree=28816576/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=384784 CPUtime=462.3
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 135875 0 0 0 46205 25 0 0 25 0 1 0 26051166 394018816 94120 4089446400 4194304 10345943 140735774616720 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 96196 94120 727 1502 0 94689 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 384784

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21939
/proc/meminfo: memFree=28771996/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=396000 CPUtime=522.3
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 138615 0 0 0 52204 26 0 0 25 0 1 0 26051166 405504000 96860 4089446400 4194304 10345943 140735774616720 18446744073709551615 5926381 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 99000 96860 727 1502 0 97493 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 396000

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21941
/proc/meminfo: memFree=28712168/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=421032 CPUtime=582.31
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 144499 0 0 0 58202 29 0 0 25 0 1 0 26051166 431136768 102744 4089446400 4194304 10345943 140735774616720 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 105258 102744 727 1502 0 103751 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 421032

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21942
/proc/meminfo: memFree=28656324/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=440992 CPUtime=642.31
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 149643 0 0 0 64200 31 0 0 25 0 1 0 26051166 451575808 107888 4089446400 4194304 10345943 140735774616720 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 110248 107888 727 1502 0 108741 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 440992

[startup+702.301 s]

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

/proc/meminfo: memFree=28198440/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=665928 CPUtime=1062.32
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 205425 0 0 0 106184 48 0 0 25 0 1 0 26051166 681910272 163670 4089446400 4194304 10345943 140735774616720 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 166482 163670 727 1502 0 164975 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 665928

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21955
/proc/meminfo: memFree=28165404/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=665928 CPUtime=1122.32
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 205541 0 0 0 112184 48 0 0 25 0 1 0 26051166 681910272 163786 4089446400 4194304 10345943 140735774616720 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 166482 163786 727 1502 0 164975 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 665928

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21957
/proc/meminfo: memFree=28133108/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=665928 CPUtime=1182.32
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 205552 0 0 0 118183 49 0 0 25 0 1 0 26051166 681910272 163797 4089446400 4194304 10345943 140735774616720 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 166482 163797 727 1502 0 164975 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 665928

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21958
/proc/meminfo: memFree=28088792/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=674416 CPUtime=1242.32
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 208231 0 0 0 124182 50 0 0 25 0 1 0 26051166 690601984 166476 4089446400 4194304 10345943 140735774616720 18446744073709551615 4686816 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 168604 166476 727 1502 0 167097 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 674416

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21969
/proc/meminfo: memFree=28029928/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=699948 CPUtime=1302.33
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 214601 0 0 0 130181 52 0 0 25 0 1 0 26051166 716746752 172846 4089446400 4194304 10345943 140735774616720 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 174987 172846 727 1502 0 173480 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 699948

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21971
/proc/meminfo: memFree=27975540/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=722216 CPUtime=1362.32
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 220299 0 0 0 136178 54 0 0 25 0 1 0 26051166 739549184 178544 4089446400 4194304 10345943 140735774616720 18446744073709551615 4246730 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 180554 178544 727 1502 0 179047 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 722216

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21972
/proc/meminfo: memFree=27921164/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=742908 CPUtime=1422.33
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 225403 0 0 0 142178 55 0 0 25 0 1 0 26051166 760737792 183648 4089446400 4194304 10345943 140735774616720 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 185727 183648 727 1502 0 184220 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 742908

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 1.96 3/179 21974
/proc/meminfo: memFree=27868916/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=763348 CPUtime=1482.32
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 230606 0 0 0 148175 57 0 0 25 0 1 0 26051166 781668352 188851 4089446400 4194304 10345943 140735774616720 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 190837 188851 727 1502 0 189330 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 763348

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 21975
/proc/meminfo: memFree=27818152/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=784212 CPUtime=1542.33
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 235777 0 0 0 154173 60 0 0 25 0 1 0 26051166 803033088 194022 4089446400 4194304 10345943 140735774616720 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 196053 194022 727 1502 0 194546 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 784212

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 21977
/proc/meminfo: memFree=27768396/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=805376 CPUtime=1602.33
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 241151 0 0 0 160171 62 0 0 25 0 1 0 26051166 824705024 199396 4089446400 4194304 10345943 140735774616720 18446744073709551615 8933857 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 201344 199396 727 1502 0 199837 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 805376

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21979
/proc/meminfo: memFree=27715400/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=828936 CPUtime=1662.33
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 248107 0 0 0 166169 64 0 0 25 0 1 0 26051166 848830464 205280 4089446400 4194304 10345943 140735774616720 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 207234 205280 727 1502 0 205727 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 828936

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 21980
/proc/meminfo: memFree=27662048/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=853024 CPUtime=1722.33
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 254169 0 0 0 172167 66 0 0 25 0 1 0 26051166 873496576 211342 4089446400 4194304 10345943 140735774616720 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 213256 211342 727 1502 0 211749 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 853024

[startup+1782.3 s]
/proc/loadavg: 1.78 1.95 1.94 2/171 22003
/proc/meminfo: memFree=28723520/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=878492 CPUtime=1782.34
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 260165 0 0 0 178165 69 0 0 25 0 1 0 26051166 899575808 217338 4089446400 4194304 10345943 140735774616720 18446744073709551615 5012734 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 219623 217338 727 1502 0 218116 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 878492

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

[startup+1785.5 s]
/proc/loadavg: 1.78 1.95 1.94 2/171 22003
/proc/meminfo: memFree=28722804/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=879508 CPUtime=1785.54
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 260455 0 0 0 178485 69 0 0 25 0 1 0 26051166 900616192 217628 4089446400 4194304 10345943 140735774616720 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 219877 217628 727 1502 0 218370 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 879508

[startup+1788.7 s]
/proc/loadavg: 1.72 1.93 1.94 2/171 22003
/proc/meminfo: memFree=28722096/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=880528 CPUtime=1788.74
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 260722 0 0 0 178805 69 0 0 25 0 1 0 26051166 901660672 217895 4089446400 4194304 10345943 140735774616720 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21924/statm: 220132 217895 727 1502 0 218625 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 880528

[startup+1791.91 s]
/proc/loadavg: 1.72 1.93 1.94 2/171 22003
/proc/meminfo: memFree=28721352/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=881548 CPUtime=1791.94
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 260904 0 0 0 179125 69 0 0 25 0 1 0 26051166 902705152 218077 4089446400 4194304 10345943 140735774616720 18446744073709551615 9138281 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21924/statm: 220387 218077 727 1502 0 218880 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 881548

[startup+1792.7 s]
/proc/loadavg: 1.72 1.93 1.94 2/171 22003
/proc/meminfo: memFree=28721352/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=881548 CPUtime=1792.74
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 260904 0 0 0 179205 69 0 0 25 0 1 0 26051166 902705152 218077 4089446400 4194304 10345943 140735774616720 18446744073709551615 9138377 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21924/statm: 220387 218077 727 1502 0 218880 0
Current children cumulated CPU time (s) 1792.74
Current children cumulated vsize (KiB) 881548

[startup+1793.5 s]
/proc/loadavg: 1.66 1.92 1.93 2/171 22003
/proc/meminfo: memFree=28721600/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=881548 CPUtime=1793.54
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 260904 0 0 0 179285 69 0 0 25 0 1 0 26051166 902705152 218077 4089446400 4194304 10345943 140735774616720 18446744073709551615 4246693 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21924/statm: 220387 218077 727 1502 0 218880 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (KiB) 881548

[startup+1793.9 s]
/proc/loadavg: 1.66 1.92 1.93 2/171 22003
/proc/meminfo: memFree=28721600/32950928 swapFree=67111528/67111528
[pid=21924] ppid=21922 vsize=72232 CPUtime=1793.93
/proc/21924/stat : 21924 (pbscip.linux.x8) R 21922 21924 21319 0 -1 4202496 260926 0 0 0 179321 72 0 0 18 0 1 0 26051166 73965568 17239 4089446400 4194304 10345943 140735774616720 18446744073709551615 6058791 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21924/statm: 18058 17239 731 1502 0 16551 0
Current children cumulated CPU time (s) 1793.93
Current children cumulated vsize (KiB) 72232

Child status: 0
Real time (s): 1793.9
CPU time (s): 1793.95
CPU user time (s): 1793.22
CPU system time (s): 0.727889
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 881556

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

runsolver used 2.73158 second user time and 7.04093 second system time

The end

Launcher Data 

Begin job on node123 at 2010-07-08 10:39:33
IDJOB=2705392
IDBENCH=79345
IDSOLVER=1214
FILE ID=node123/2705392-1278578372
PBS_JOBID= 11240208
Free space on /tmp= 73616 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705392-1278578372/watcher-2705392-1278578372 -o /tmp/evaluation-result-2705392-1278578372/solver-2705392-1278578372 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705392-1278578372.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 850df9cd01e268299cdca754cc055f3b
RANDOM SEED=1676477818

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5354.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29470324 kB
Buffers:        157660 kB
Cached:        2993044 kB
SwapCached:          0 kB
Active:        1101664 kB
Inactive:      2220300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29470324 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26332 kB
Writeback:           0 kB
AnonPages:      171196 kB
Mapped:          17492 kB
Slab:            94960 kB
PageTables:       5144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   326744 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73616 MiB
End job on node123 at 2010-07-08 11:09:27