Trace number 3692850

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 1328.77 1329

General information on the benchmark

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

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-3692850-1338028451/watcher-3692850-1338028451 -o /tmp/evaluation-result-3692850-1338028451/solver-3692850-1338028451 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692850-1338028451.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.00 1.18 1.56 5/175 32522
/proc/meminfo: memFree=28678416/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=11672 CPUtime=0 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 1582 0 0 0 0 0 0 0 20 0 1 0 268971154 11952128 1537 33554432000 4194304 10169799 140734505455328 140736865625448 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32522/statm: 2918 1552 409 1459 0 1450 0

[startup+0.0869249 s]
/proc/loadavg: 1.00 1.18 1.56 5/175 32522
/proc/meminfo: memFree=28678416/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=25060 CPUtime=0.07 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 4951 0 0 0 7 0 0 0 20 0 1 0 268971154 25661440 4905 33554432000 4194304 10169799 140734505455328 140736865625448 7527056 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32522/statm: 6522 4924 452 1459 0 5054 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25060

[startup+0.100272 s]
/proc/loadavg: 1.00 1.18 1.56 5/175 32522
/proc/meminfo: memFree=28678416/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=35540 CPUtime=0.09 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 7489 0 0 0 8 1 0 0 20 0 1 0 268971154 36392960 7442 33554432000 4194304 10169799 140734505455328 140736865625448 7543003 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32522/statm: 8885 7478 460 1459 0 7417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35540

[startup+0.300237 s]
/proc/loadavg: 1.00 1.18 1.56 5/175 32522
/proc/meminfo: memFree=28678416/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=75500 CPUtime=0.29 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 17957 0 0 0 26 3 0 0 20 0 1 0 268971154 77312000 17323 33554432000 4194304 10169799 140734505455328 140734505452264 4907536 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32522/statm: 18875 17323 552 1459 0 17407 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75500

[startup+0.700228 s]
/proc/loadavg: 1.00 1.18 1.56 5/175 32522
/proc/meminfo: memFree=28678416/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=120596 CPUtime=0.69 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 30809 0 0 0 60 9 0 0 20 0 1 0 268971154 123490304 28153 33554432000 4194304 10169799 140734505455328 140734505452264 8795236 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32522/statm: 30149 28153 718 1459 0 28681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 120596

[startup+1.50022 s]
/proc/loadavg: 1.00 1.18 1.56 4/177 32524
/proc/meminfo: memFree=28528172/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=132468 CPUtime=1.49 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 33506 0 0 0 139 10 0 0 20 0 1 0 268971154 135647232 30701 33554432000 4194304 10169799 140734505455328 140734505450120 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32522/statm: 33117 30701 763 1459 0 31649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132468

[startup+3.10388 s]
/proc/loadavg: 1.08 1.19 1.57 4/177 32524
/proc/meminfo: memFree=28519832/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=132620 CPUtime=3.09 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 33730 0 0 0 299 10 0 0 20 0 1 0 268971154 135802880 30925 33554432000 4194304 10169799 140734505455328 140734505449736 8009908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 33155 30925 763 1459 0 31687 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132620

[startup+6.30025 s]
/proc/loadavg: 1.08 1.19 1.57 3/177 32524
/proc/meminfo: memFree=28519488/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=132380 CPUtime=6.29 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 34041 0 0 0 617 12 0 0 20 0 1 0 268971154 135557120 30827 33554432000 4194304 10169799 140734505455328 140734505449656 8043980 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 33095 30827 771 1459 0 31627 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 132380

[startup+12.7002 s]
/proc/loadavg: 1.22 1.22 1.57 3/177 32524
/proc/meminfo: memFree=28516828/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=132380 CPUtime=12.68 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 34836 0 0 0 1256 12 0 0 20 0 1 0 268971154 135557120 31602 33554432000 4194304 10169799 140734505455328 140734505447640 8033223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 33095 31602 781 1459 0 31627 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 132380

[startup+25.5002 s]
/proc/loadavg: 1.34 1.24 1.57 3/177 32524
/proc/meminfo: memFree=28516588/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=132380 CPUtime=25.5 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 34843 0 0 0 2536 14 0 0 20 0 1 0 268971154 135557120 31609 33554432000 4194304 10169799 140734505455328 140734505447608 8020231 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 33095 31609 781 1459 0 31627 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 132380

[startup+51.1002 s]
/proc/loadavg: 1.56 1.30 1.58 3/177 32524
/proc/meminfo: memFree=28508960/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=134048 CPUtime=51.08 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 35150 0 0 0 5091 17 0 0 20 0 1 0 268971154 137265152 32076 33554432000 4194304 10169799 140734505455328 140734505448008 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 33512 32076 781 1459 0 32044 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134048

[startup+102.3 s]
/proc/loadavg: 1.82 1.42 1.60 3/177 32524
/proc/meminfo: memFree=28424760/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=215124 CPUtime=102.26 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 64271 0 0 0 10192 34 0 0 20 0 1 0 268971154 220286976 52135 33554432000 4194304 10169799 140734505455328 140734505449928 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 53781 52135 858 1459 0 52313 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 215124

[startup+162.3 s]
/proc/loadavg: 1.93 1.52 1.63 3/176 32524
/proc/meminfo: memFree=28411708/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=218972 CPUtime=162.25 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 65042 0 0 0 16182 43 0 0 20 0 1 0 268971154 224227328 53485 33554432000 4194304 10169799 140734505455328 140734505449928 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 54743 53485 860 1459 0 53275 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 218972

[startup+222.3 s]
/proc/loadavg: 2.01 1.61 1.65 3/177 32525
/proc/meminfo: memFree=28399180/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=218972 CPUtime=222.24 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 65263 0 0 0 22173 51 0 0 20 0 1 0 268971154 224227328 53705 33554432000 4194304 10169799 140734505455328 140734505449784 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 54743 53705 860 1459 0 53275 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 218972

[startup+282.3 s]
/proc/loadavg: 2.00 1.69 1.67 3/177 32525
/proc/meminfo: memFree=28385764/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=221936 CPUtime=282.23 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 66041 0 0 0 28163 60 0 0 20 0 1 0 268971154 227262464 54530 33554432000 4194304 10169799 140734505455328 140734505449656 8038266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 55484 54530 860 1459 0 54016 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 221936

[startup+342.3 s]
/proc/loadavg: 2.00 1.74 1.69 3/177 32525
/proc/meminfo: memFree=28372848/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=222072 CPUtime=342.22 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 66061 0 0 0 34154 68 0 0 20 0 1 0 268971154 227401728 54550 33554432000 4194304 10169799 140734505455328 140734505449752 8044915 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 55518 54550 860 1459 0 54050 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 222072

[startup+402.3 s]
/proc/loadavg: 2.00 1.79 1.70 3/178 32528
/proc/meminfo: memFree=28357752/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=222072 CPUtime=402.21 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 66076 0 0 0 40146 75 0 0 20 0 1 0 268971154 227401728 54565 33554432000 4194304 10169799 140734505455328 140734505449656 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 55518 54565 860 1459 0 54050 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 222072

[startup+462.307 s]
/proc/loadavg: 2.00 1.82 1.72 3/177 32528
/proc/meminfo: memFree=28345884/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=222072 CPUtime=462.21 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 66084 0 0 0 46139 82 0 0 20 0 1 0 268971154 227401728 54573 33554432000 4194304 10169799 140734505455328 140734505449656 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 55518 54573 860 1459 0 54050 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 222072

[startup+522.3 s]
/proc/loadavg: 2.00 1.85 1.74 3/177 32529
/proc/meminfo: memFree=28335424/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=218160 CPUtime=522.19 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 67503 0 0 0 52128 91 0 0 20 0 1 0 268971154 223395840 53707 33554432000 4194304 10169799 140734505455328 140734505449928 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 54540 53707 860 1459 0 53072 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 218160

[startup+582.3 s]
/proc/loadavg: 2.00 1.88 1.75 3/177 32529
/proc/meminfo: memFree=28318608/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=221260 CPUtime=582.18 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 68160 0 0 0 58119 99 0 0 20 0 1 0 268971154 226570240 54336 33554432000 4194304 10169799 140734505455328 140734505449144 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 55315 54336 860 1459 0 53847 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 221260

[startup+642.3 s]

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

/proc/meminfo: memFree=28288340/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=221260 CPUtime=702.16 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 68171 0 0 0 70098 118 0 0 20 0 1 0 268971154 226570240 54346 33554432000 4194304 10169799 140734505455328 140734505451464 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 55315 54346 860 1459 0 53847 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 221260

[startup+762.3 s]
/proc/loadavg: 2.02 1.94 1.79 3/177 32529
/proc/meminfo: memFree=28274792/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=222604 CPUtime=762.15 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 70167 0 0 0 76088 127 0 0 20 0 1 0 268971154 227946496 54659 33554432000 4194304 10169799 140734505455328 140734505451512 8009605 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 55651 54659 860 1459 0 54183 0
Current children cumulated CPU time (s) 762.15
Current children cumulated vsize (KiB) 222604

[startup+822.3 s]
/proc/loadavg: 2.00 1.95 1.80 3/177 32530
/proc/meminfo: memFree=28263380/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=222604 CPUtime=822.14 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 70173 0 0 0 82077 137 0 0 20 0 1 0 268971154 227946496 54665 33554432000 4194304 10169799 140734505455328 140734505451464 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 55651 54665 860 1459 0 54183 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 222604

[startup+882.3 s]
/proc/loadavg: 2.00 1.95 1.81 3/177 32530
/proc/meminfo: memFree=28249024/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=225428 CPUtime=882.13 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 70897 0 0 0 88068 145 0 0 20 0 1 0 268971154 230838272 55387 33554432000 4194304 10169799 140734505455328 140734505449400 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 56357 55387 860 1459 0 54889 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 225428

[startup+942.3 s]
/proc/loadavg: 2.00 1.96 1.82 3/177 32530
/proc/meminfo: memFree=28242760/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=227184 CPUtime=942.12 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 71258 0 0 0 94057 155 0 0 20 0 1 0 268971154 232636416 55748 33554432000 4194304 10169799 140734505455328 140734505449816 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 56796 55748 860 1459 0 55328 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 227184

[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.83 3/178 32533
/proc/meminfo: memFree=28240084/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=228348 CPUtime=1002.12 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 71556 0 0 0 100047 165 0 0 20 0 1 0 268971154 233828352 56046 33554432000 4194304 10169799 140734505455328 140734505449192 8043980 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 57087 56046 860 1459 0 55619 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 228348

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/177 32533
/proc/meminfo: memFree=28238376/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=229384 CPUtime=1062.11 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 71656 0 0 0 106035 176 0 0 20 0 1 0 268971154 234889216 56146 33554432000 4194304 10169799 140734505455328 140734505449400 8009499 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 57346 56146 860 1459 0 55878 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 229384

[startup+1122.31 s]
/proc/loadavg: 2.00 1.97 1.84 3/177 32534
/proc/meminfo: memFree=28230484/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=229384 CPUtime=1122.1 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 71731 0 0 0 112024 186 0 0 20 0 1 0 268971154 234889216 56221 33554432000 4194304 10169799 140734505455328 140734505449736 8044867 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 57346 56221 860 1459 0 55878 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 229384

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/177 32534
/proc/meminfo: memFree=28218668/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=234156 CPUtime=1182.09 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 72879 0 0 0 118012 197 0 0 20 0 1 0 268971154 239775744 57418 33554432000 4194304 10169799 140734505455328 140734505449736 5120223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 58539 57418 860 1459 0 57071 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 234156

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/177 32534
/proc/meminfo: memFree=28204576/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=237440 CPUtime=1242.07 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 73644 0 0 0 124002 205 0 0 20 0 1 0 268971154 243138560 58183 33554432000 4194304 10169799 140734505455328 140734505449576 8044217 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 59360 58183 860 1459 0 57892 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 237440

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 32534
/proc/meminfo: memFree=28194328/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=235424 CPUtime=1302.07 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 75601 0 0 0 129988 219 0 0 20 0 1 0 268971154 241074176 57775 33554432000 4194304 10169799 140734505455328 140734505449448 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 58856 57775 860 1459 0 57388 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 235424

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

[startup+1305.8 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 32534
/proc/meminfo: memFree=28193956/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=236364 CPUtime=1305.56 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 75757 0 0 0 130337 219 0 0 20 0 1 0 268971154 242036736 57931 33554432000 4194304 10169799 140734505455328 140734505449736 7913120 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 59091 57931 860 1459 0 57623 0
Current children cumulated CPU time (s) 1305.56
Current children cumulated vsize (KiB) 236364

[startup+1318.6 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 32534
/proc/meminfo: memFree=28187504/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=239136 CPUtime=1318.36 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 76545 0 0 0 131612 224 0 0 20 0 1 0 268971154 244875264 58719 33554432000 4194304 10169799 140734505455328 140734505449096 7893530 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 59784 58719 860 1459 0 58316 0
Current children cumulated CPU time (s) 1318.36
Current children cumulated vsize (KiB) 239136

[startup+1325 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 32534
/proc/meminfo: memFree=28183224/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=240740 CPUtime=1324.76 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 76920 0 0 0 132250 226 0 0 20 0 1 0 268971154 246517760 59094 33554432000 4194304 10169799 140734505455328 140734505449928 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 60185 59094 860 1459 0 58717 0
Current children cumulated CPU time (s) 1324.76
Current children cumulated vsize (KiB) 240740

[startup+1326.6 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 32534
/proc/meminfo: memFree=28182480/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=240740 CPUtime=1326.36 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 76921 0 0 0 132409 227 0 0 20 0 1 0 268971154 246517760 59095 33554432000 4194304 10169799 140734505455328 140734505449832 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 60185 59095 860 1459 0 58717 0
Current children cumulated CPU time (s) 1326.36
Current children cumulated vsize (KiB) 240740

[startup+1328.2 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 32534
/proc/meminfo: memFree=28181860/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=240740 CPUtime=1327.96 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 76925 0 0 0 132569 227 0 0 20 0 1 0 268971154 246517760 59099 33554432000 4194304 10169799 140734505455328 140734505449096 7929392 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 60185 59099 860 1459 0 58717 0
Current children cumulated CPU time (s) 1327.96
Current children cumulated vsize (KiB) 240740

[startup+1328.6 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 32534
/proc/meminfo: memFree=28181860/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=240740 CPUtime=1328.36 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 76935 0 0 0 132609 227 0 0 20 0 1 0 268971154 246517760 59109 33554432000 4194304 10169799 140734505455328 140734505449096 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 60185 59109 860 1459 0 58717 0
Current children cumulated CPU time (s) 1328.36
Current children cumulated vsize (KiB) 240740

[startup+1328.8 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 32534
/proc/meminfo: memFree=28181860/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=240740 CPUtime=1328.56 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 76936 0 0 0 132629 227 0 0 20 0 1 0 268971154 246517760 59110 33554432000 4194304 10169799 140734505455328 140734505449096 5131728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 60185 59110 860 1459 0 58717 0
Current children cumulated CPU time (s) 1328.56
Current children cumulated vsize (KiB) 240740

[startup+1328.9 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 32534
/proc/meminfo: memFree=28181860/32873648 swapFree=7372/7372
[pid=32522] ppid=32520 vsize=240740 CPUtime=1328.66 cores=0,2,4,6
/proc/32522/stat : 32522 (scip-2.1.1.4sfi) R 32520 32522 31092 0 -1 4202496 76937 0 0 0 132639 227 0 0 20 0 1 0 268971154 246517760 59111 33554432000 4194304 10169799 140734505455328 140734505449096 5757900 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32522/statm: 60185 59111 861 1459 0 58717 0
Current children cumulated CPU time (s) 1328.66
Current children cumulated vsize (KiB) 240740

Child status: 0
Real time (s): 1329
CPU time (s): 1328.77
CPU user time (s): 1326.49
CPU system time (s): 2.28565
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 262120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1326.49
system time used= 2.28565
maximum resident set size= 256260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76941
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= 32
involuntary context switches= 1409

runsolver used 1.86772 second user time and 5.38918 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-26 12:34:12
IDJOB=3692850
IDBENCH=1501
IDSOLVER=2272
FILE ID=node122/3692850-1338028451
RUNJOBID= node122-1338028451-32495
PBS_JOBID= 14624349
Free space on /tmp= 71328 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:1,3-13,19.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-3692850-1338028451/watcher-3692850-1338028451 -o /tmp/evaluation-result-3692850-1338028451/solver-3692850-1338028451 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692850-1338028451.opb -t 1800 -m 15500

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

MD5SUM BENCH= 24c836f3fcb46569dfcfdc2eda4dee98
RANDOM SEED=653107742

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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		: 2666.533
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:       32873648 kB
MemFree:        28678944 kB
Buffers:          225876 kB
Cached:          3181736 kB
SwapCached:            0 kB
Active:          1350852 kB
Inactive:        2067536 kB
Active(anon):       2484 kB
Inactive(anon):    11052 kB
Active(file):    1348368 kB
Inactive(file):  2056484 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             28332 kB
Writeback:             0 kB
AnonPages:         18560 kB
Mapped:            13020 kB
Shmem:               200 kB
Slab:             638420 kB
SReclaimable:      82760 kB
SUnreclaim:       555660 kB
KernelStack:        1392 kB
PageTables:         4036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     106272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71300 MiB
End job on node122 at 2012-05-26 12:56:21