Trace number 3692855

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
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedSAT 1601.8 1602.07

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUM28d827e98d8e81c3ff9d9e47a6238269
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.3388
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4644
Total number of constraints31254
Number of constraints which are clauses30228
Number of constraints which are cardinality constraints (but not clauses)948
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692855-1338028239/watcher-3692855-1338028239 -o /tmp/evaluation-result-3692855-1338028239/solver-3692855-1338028239 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692855-1338028239.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.97 1.53 1.80 3/176 32034
/proc/meminfo: memFree=29421364/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=11672 CPUtime=0 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 1550 0 0 0 0 0 0 0 20 0 1 0 268949393 11952128 1505 33554432000 4194304 10169799 140733849512656 140734757881512 7543003 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32034/statm: 2918 1516 409 1459 0 1450 0

[startup+0.0702121 s]
/proc/loadavg: 0.97 1.53 1.80 3/176 32034
/proc/meminfo: memFree=29421364/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=22476 CPUtime=0.06 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 4387 0 0 0 5 1 0 0 20 0 1 0 268949393 23015424 4331 33554432000 4194304 10169799 140733849512656 140734757881512 7546686 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32034/statm: 5619 4331 409 1459 0 4151 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22476

[startup+0.100271 s]
/proc/loadavg: 0.97 1.53 1.80 3/176 32034
/proc/meminfo: memFree=29421364/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=33668 CPUtime=0.09 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 7151 0 0 0 8 1 0 0 20 0 1 0 268949393 34476032 7096 33554432000 4194304 10169799 140733849512656 140734757881512 8884104 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32034/statm: 8417 7100 460 1459 0 6949 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33668

[startup+0.30023 s]
/proc/loadavg: 0.97 1.53 1.80 3/176 32034
/proc/meminfo: memFree=29421364/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=71384 CPUtime=0.28 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 17481 0 0 0 24 4 0 0 20 0 1 0 268949393 73097216 16328 33554432000 4194304 10169799 140733849512656 140734757881512 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32034/statm: 17846 16328 552 1459 0 16378 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 71384

[startup+0.700236 s]
/proc/loadavg: 0.97 1.53 1.80 3/176 32034
/proc/meminfo: memFree=29421364/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=108216 CPUtime=0.68 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 28600 0 0 0 59 9 0 0 20 0 1 0 268949393 110813184 25761 33554432000 4194304 10169799 140733849512656 140733849511448 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32034/statm: 27054 25761 684 1459 0 25586 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 108216

[startup+1.50023 s]
/proc/loadavg: 0.97 1.53 1.80 4/178 32036
/proc/meminfo: memFree=29181524/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=133624 CPUtime=1.48 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 34125 0 0 0 137 11 0 0 20 0 1 0 268949393 136830976 31596 33554432000 4194304 10169799 140733849512656 140733849507160 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32034/statm: 33406 31596 763 1459 0 31938 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 133624

[startup+3.10022 s]
/proc/loadavg: 0.97 1.53 1.80 4/178 32036
/proc/meminfo: memFree=29176688/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=134416 CPUtime=3.09 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 34280 0 0 0 297 12 0 0 20 0 1 0 268949393 137641984 31742 33554432000 4194304 10169799 140733849512656 140733849507448 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32034/statm: 33604 31742 763 1459 0 32136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134416

[startup+6.30021 s]
/proc/loadavg: 1.13 1.56 1.81 4/178 32036
/proc/meminfo: memFree=29174628/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=132744 CPUtime=6.29 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 34544 0 0 0 615 14 0 0 20 0 1 0 268949393 135929856 31605 33554432000 4194304 10169799 140733849512656 140733849505064 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32034/statm: 33186 31605 778 1459 0 31718 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 132744

[startup+12.7002 s]
/proc/loadavg: 1.20 1.56 1.81 4/178 32036
/proc/meminfo: memFree=29171460/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=133024 CPUtime=12.69 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 34764 0 0 0 1254 15 0 0 20 0 1 0 268949393 136216576 31825 33554432000 4194304 10169799 140733849512656 140733849505016 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32034/statm: 33256 31825 778 1459 0 31788 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133024

[startup+25.5002 s]
/proc/loadavg: 1.38 1.58 1.81 4/177 32036
/proc/meminfo: memFree=29171916/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=133308 CPUtime=25.49 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 34802 0 0 0 2532 17 0 0 20 0 1 0 268949393 136507392 31912 33554432000 4194304 10169799 140733849512656 140733849505112 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/32034/statm: 33327 31912 781 1459 0 31859 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 133308

[startup+51.1002 s]
/proc/loadavg: 1.59 1.62 1.82 4/177 32036
/proc/meminfo: memFree=29153284/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=153200 CPUtime=51.07 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 38300 0 0 0 5086 21 0 0 20 0 1 0 268949393 156876800 36713 33554432000 4194304 10169799 140733849512656 140733849507064 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 38300 36713 815 1459 0 36832 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 153200

[startup+102.307 s]
/proc/loadavg: 1.82 1.67 1.82 4/177 32037
/proc/meminfo: memFree=29012400/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=222736 CPUtime=102.26 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 66778 0 0 0 10189 37 0 0 20 0 1 0 268949393 228081664 53655 33554432000 4194304 10169799 140733849512656 140733849507304 8009943 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 55684 53655 861 1459 0 54216 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 222736

[startup+162.3 s]
/proc/loadavg: 1.93 1.73 1.83 4/177 32037
/proc/meminfo: memFree=29007724/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=225156 CPUtime=162.25 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 67359 0 0 0 16176 49 0 0 20 0 1 0 268949393 230559744 54236 33554432000 4194304 10169799 140733849512656 140733849506680 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 56289 54236 861 1459 0 54821 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 225156

[startup+222.3 s]
/proc/loadavg: 1.97 1.78 1.84 4/177 32037
/proc/meminfo: memFree=29004788/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=227240 CPUtime=222.23 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 67779 0 0 0 22164 59 0 0 20 0 1 0 268949393 232693760 54656 33554432000 4194304 10169799 140733849512656 140733849507352 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 56810 54656 862 1459 0 55342 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 227240

[startup+282.3 s]
/proc/loadavg: 1.99 1.81 1.84 4/177 32037
/proc/meminfo: memFree=28996660/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=230032 CPUtime=282.22 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 68627 0 0 0 28152 70 0 0 20 0 1 0 268949393 235552768 56056 33554432000 4194304 10169799 140733849512656 140733849506984 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 57508 56056 862 1459 0 56040 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 230032

[startup+342.3 s]
/proc/loadavg: 1.99 1.84 1.85 4/177 32037
/proc/meminfo: memFree=28984620/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=231060 CPUtime=342.21 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 68882 0 0 0 34139 82 0 0 20 0 1 0 268949393 236605440 56536 33554432000 4194304 10169799 140733849512656 140733849506984 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 57765 56536 862 1459 0 56297 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 231060

[startup+402.3 s]
/proc/loadavg: 1.99 1.87 1.85 4/177 32038
/proc/meminfo: memFree=28984184/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=231060 CPUtime=402.2 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 68884 0 0 0 40125 95 0 0 20 0 1 0 268949393 236605440 56538 33554432000 4194304 10169799 140733849512656 140733849506984 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 57765 56538 862 1459 0 56297 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 231060

[startup+462.3 s]
/proc/loadavg: 1.99 1.89 1.86 4/177 32038
/proc/meminfo: memFree=28984296/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=231060 CPUtime=462.19 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 68888 0 0 0 46116 103 0 0 20 0 1 0 268949393 236605440 56542 33554432000 4194304 10169799 140733849512656 140733849507080 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 57765 56542 862 1459 0 56297 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 231060

[startup+522.3 s]
/proc/loadavg: 1.99 1.91 1.86 4/177 32038
/proc/meminfo: memFree=28981072/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=231060 CPUtime=522.18 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 68897 0 0 0 52105 113 0 0 20 0 1 0 268949393 236605440 56551 33554432000 4194304 10169799 140733849512656 140733849506984 8009492 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 57765 56551 862 1459 0 56297 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 231060

[startup+582.3 s]
/proc/loadavg: 1.99 1.92 1.87 4/177 32041
/proc/meminfo: memFree=28998508/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=223916 CPUtime=582.17 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 69336 0 0 0 58091 126 0 0 20 0 1 0 268949393 229289984 54470 33554432000 4194304 10169799 140733849512656 140733849507160 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 55979 54470 862 1459 0 54511 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 223916

[startup+642.3 s]

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

/proc/meminfo: memFree=28981936/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=230444 CPUtime=1002.11 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 71227 0 0 0 99988 223 0 0 20 0 1 0 268949393 235974656 56361 33554432000 4194304 10169799 140733849512656 140733849506968 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 57611 56361 862 1459 0 56143 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 230444

[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 32044
/proc/meminfo: memFree=28982616/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=231928 CPUtime=1062.1 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 71439 0 0 0 105974 236 0 0 20 0 1 0 268949393 237494272 56573 33554432000 4194304 10169799 140733849512656 140733849507160 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 57982 56573 862 1459 0 56514 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 231928

[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/177 32044
/proc/meminfo: memFree=28971952/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=231928 CPUtime=1122.09 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 71446 0 0 0 111961 248 0 0 20 0 1 0 268949393 237494272 56580 33554432000 4194304 10169799 140733849512656 140733849507720 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 57982 56580 862 1459 0 56514 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 231928

[startup+1182.3 s]
/proc/loadavg: 2.08 1.99 1.91 3/178 32085
/proc/meminfo: memFree=29175944/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=231928 CPUtime=1182.09 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 71620 0 0 0 117948 261 0 0 20 0 1 0 268949393 237494272 56754 33554432000 4194304 10169799 140733849512656 140733849507064 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 57982 56754 862 1459 0 56514 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 231928

[startup+1242.3 s]
/proc/loadavg: 2.03 1.99 1.91 3/177 32085
/proc/meminfo: memFree=29174588/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=232768 CPUtime=1242.07 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 71786 0 0 0 123934 273 0 0 20 0 1 0 268949393 238354432 56920 33554432000 4194304 10169799 140733849512656 140733849506936 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 58192 56920 862 1459 0 56724 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 232768

[startup+1302.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/177 32086
/proc/meminfo: memFree=29173532/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=232768 CPUtime=1302.07 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 71852 0 0 0 129923 284 0 0 20 0 1 0 268949393 238354432 56985 33554432000 4194304 10169799 140733849512656 140733849506328 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 58192 56985 862 1459 0 56724 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 232768

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 32086
/proc/meminfo: memFree=29171360/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=234300 CPUtime=1362.06 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 72125 0 0 0 135910 296 0 0 20 0 1 0 268949393 239923200 57258 33554432000 4194304 10169799 140733849512656 140733849507112 7929084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 58575 57258 862 1459 0 57107 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 234300

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 32086
/proc/meminfo: memFree=29171236/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=234300 CPUtime=1422.06 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 72129 0 0 0 141895 311 0 0 20 0 1 0 268949393 239923200 57262 33554432000 4194304 10169799 140733849512656 140733849506680 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 58575 57262 862 1459 0 57107 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 234300

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 32086
/proc/meminfo: memFree=29168008/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=236148 CPUtime=1482.04 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 72583 0 0 0 147879 325 0 0 20 0 1 0 268949393 241815552 57721 33554432000 4194304 10169799 140733849512656 140733849507640 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 59037 57721 862 1459 0 57569 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 236148

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 32086
/proc/meminfo: memFree=29168132/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=236148 CPUtime=1542.03 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 72583 0 0 0 153863 340 0 0 20 0 1 0 268949393 241815552 57721 33554432000 4194304 10169799 140733849512656 140733849507064 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 59037 57721 862 1459 0 57569 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 236148

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

[startup+1561.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 32086
/proc/meminfo: memFree=29168008/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=236148 CPUtime=1561.23 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 72589 0 0 0 155778 345 0 0 20 0 1 0 268949393 241815552 57727 33554432000 4194304 10169799 140733849512656 140733849506328 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 59037 57727 862 1459 0 57569 0
Current children cumulated CPU time (s) 1561.23
Current children cumulated vsize (KiB) 236148

[startup+1587.1 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 32086
/proc/meminfo: memFree=29167760/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=236148 CPUtime=1586.83 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 72589 0 0 0 158333 350 0 0 20 0 1 0 268949393 241815552 57727 33554432000 4194304 10169799 140733849512656 140733849507224 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 59037 57727 862 1459 0 57569 0
Current children cumulated CPU time (s) 1586.83
Current children cumulated vsize (KiB) 236148

[startup+1593.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 32086
/proc/meminfo: memFree=29162676/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=241964 CPUtime=1593.22 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 74003 0 0 0 158970 352 0 0 20 0 1 0 268949393 247771136 59132 33554432000 4194304 10169799 140733849512656 140733849509608 7968532 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 60491 59132 862 1459 0 59023 0
Current children cumulated CPU time (s) 1593.22
Current children cumulated vsize (KiB) 241964

[startup+1596.7 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 32086
/proc/meminfo: memFree=29160568/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=243088 CPUtime=1596.42 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 74412 0 0 0 159288 354 0 0 20 0 1 0 268949393 248922112 59541 33554432000 4194304 10169799 140733849512656 140733849506936 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 60772 59541 862 1459 0 59304 0
Current children cumulated CPU time (s) 1596.42
Current children cumulated vsize (KiB) 243088

[startup+1599.9 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 32086
/proc/meminfo: memFree=29159700/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=244112 CPUtime=1599.62 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 74631 0 0 0 159606 356 0 0 20 0 1 0 268949393 249970688 59760 33554432000 4194304 10169799 140733849512656 140733849509176 5120223 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 61028 59760 862 1459 0 59560 0
Current children cumulated CPU time (s) 1599.62
Current children cumulated vsize (KiB) 244112

[startup+1600.7 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 32086
/proc/meminfo: memFree=29159584/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=244480 CPUtime=1600.42 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 74683 0 0 0 159686 356 0 0 20 0 1 0 268949393 250347520 59812 33554432000 4194304 10169799 140733849512656 140733849509608 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 61120 59812 862 1459 0 59652 0
Current children cumulated CPU time (s) 1600.42
Current children cumulated vsize (KiB) 244480

[startup+1601.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 32086
/proc/meminfo: memFree=29159336/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=244480 CPUtime=1601.22 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 74714 0 0 0 159766 356 0 0 20 0 1 0 268949393 250347520 59843 33554432000 4194304 10169799 140733849512656 140733849507640 5131656 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 61120 59843 862 1459 0 59652 0
Current children cumulated CPU time (s) 1601.22
Current children cumulated vsize (KiB) 244480

[startup+1601.9 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 32086
/proc/meminfo: memFree=29159336/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=245252 CPUtime=1601.63 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 74754 0 0 0 159806 357 0 0 20 0 1 0 268949393 251138048 59883 33554432000 4194304 10169799 140733849512656 140733849507448 5119491 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 61313 59883 862 1459 0 59845 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 245252

[startup+1602 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 32086
/proc/meminfo: memFree=29159336/32873844 swapFree=7384/7384
[pid=32034] ppid=32030 vsize=245252 CPUtime=1601.73 cores=1,3,5,7
/proc/32034/stat : 32034 (scip-2.1.1.4sfi) R 32030 32034 31024 0 -1 4202496 74756 0 0 0 159816 357 0 0 20 0 1 0 268949393 251138048 59885 33554432000 4194304 10169799 140733849512656 140733849510504 7547375 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32034/statm: 61313 59885 864 1459 0 59845 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 245252

Child status: 0
Real time (s): 1602.07
CPU time (s): 1601.8
CPU user time (s): 1598.23
CPU system time (s): 3.57546
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 278192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1598.23
system time used= 3.57546
maximum resident set size= 269848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74758
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= 31
involuntary context switches= 1865

runsolver used 2.6256 second user time and 6.87895 second system time

The end

Launcher Data 

Begin job on node136 at 2012-05-26 12:30:39
IDJOB=3692855
IDBENCH=1496
IDSOLVER=2272
FILE ID=node136/3692855-1338028239
RUNJOBID= node136-1338028239-32008
PBS_JOBID= 14624338
Free space on /tmp= 71672 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692855-1338028239/watcher-3692855-1338028239 -o /tmp/evaluation-result-3692855-1338028239/solver-3692855-1338028239 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692855-1338028239.opb -t 1800 -m 15500

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

MD5SUM BENCH= 28d827e98d8e81c3ff9d9e47a6238269
RANDOM SEED=1784590894

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29422116 kB
Buffers:          316488 kB
Cached:          2333368 kB
SwapCached:        24460 kB
Active:           763716 kB
Inactive:        1915072 kB
Active(anon):       4172 kB
Inactive(anon):    25096 kB
Active(file):     759544 kB
Inactive(file):  1889976 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67079072 kB
Dirty:             29500 kB
Writeback:             0 kB
AnonPages:         10692 kB
Mapped:             8920 kB
Shmem:                 0 kB
Slab:             632896 kB
SReclaimable:      74572 kB
SUnreclaim:       558324 kB
KernelStack:        1416 kB
PageTables:         4004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71648 MiB
End job on node136 at 2012-05-26 12:57:22