Trace number 3692853

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 1143.91 1144.12

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUMbcdf4c9a1de867d3db370c95867fefb5
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.38794
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4632
Total number of constraints30964
Number of constraints which are clauses29940
Number of constraints which are cardinality constraints (but not clauses)946
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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-3692853-1338028239/watcher-3692853-1338028239 -o /tmp/evaluation-result-3692853-1338028239/solver-3692853-1338028239 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692853-1338028239.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: 0.97 1.53 1.80 3/174 32032
/proc/meminfo: memFree=29421364/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=10492 CPUtime=0 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 1357 0 0 0 0 0 0 0 20 0 1 0 268949393 10743808 1311 33554432000 4194304 10169799 140736196167936 140735878069544 8883659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 2623 1311 409 1459 0 1155 0

[startup+0.0697801 s]
/proc/loadavg: 0.97 1.53 1.80 3/174 32032
/proc/meminfo: memFree=29421364/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=22292 CPUtime=0.06 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 4337 0 0 0 6 0 0 0 20 0 1 0 268949393 22827008 4281 33554432000 4194304 10169799 140736196167936 140735878069544 7169050 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 5573 4281 409 1459 0 4105 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22292

[startup+0.100307 s]
/proc/loadavg: 0.97 1.53 1.80 3/174 32032
/proc/meminfo: memFree=29421364/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=31260 CPUtime=0.08 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 6529 0 0 0 8 0 0 0 20 0 1 0 268949393 32010240 6473 33554432000 4194304 10169799 140736196167936 140735878069544 8883659 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 7864 6485 460 1459 0 6396 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31260

[startup+0.300217 s]
/proc/loadavg: 0.97 1.53 1.80 3/174 32032
/proc/meminfo: memFree=29421364/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=72364 CPUtime=0.29 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 17713 0 0 0 24 5 0 0 20 0 1 0 268949393 74100736 16550 33554432000 4194304 10169799 140736196167936 140735878069544 5651895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 18091 16551 552 1459 0 16623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72364

[startup+0.700227 s]
/proc/loadavg: 0.97 1.53 1.80 3/174 32032
/proc/meminfo: memFree=29421364/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=107596 CPUtime=0.69 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 28320 0 0 0 60 9 0 0 20 0 1 0 268949393 110178304 25106 33554432000 4194304 10169799 140736196167936 140736196165448 4778056 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 26899 25106 684 1459 0 25431 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107596

[startup+1.50017 s]
/proc/loadavg: 0.97 1.53 1.80 3/178 32036
/proc/meminfo: memFree=29181524/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=133284 CPUtime=1.48 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 34112 0 0 0 138 10 0 0 20 0 1 0 268949393 136482816 30695 33554432000 4194304 10169799 140736196167936 140736196162728 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 33321 30695 763 1459 0 31853 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 133284

[startup+3.10022 s]
/proc/loadavg: 0.97 1.53 1.80 3/178 32036
/proc/meminfo: memFree=29176688/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=133284 CPUtime=3.09 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 34331 0 0 0 298 11 0 0 20 0 1 0 268949393 136482816 30914 33554432000 4194304 10169799 140736196167936 140736196162344 7591875 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 33321 30914 763 1459 0 31853 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 133284

[startup+6.30022 s]
/proc/loadavg: 1.13 1.56 1.81 3/178 32036
/proc/meminfo: memFree=29174628/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=133636 CPUtime=6.29 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 35399 0 0 0 617 12 0 0 20 0 1 0 268949393 136843264 31587 33554432000 4194304 10169799 140736196167936 140736196160248 7708674 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 33409 31587 781 1459 0 31941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133636

[startup+12.7002 s]
/proc/loadavg: 1.20 1.56 1.81 3/178 32036
/proc/meminfo: memFree=29171460/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=133636 CPUtime=12.69 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 35725 0 0 0 1256 13 0 0 20 0 1 0 268949393 136843264 31906 33554432000 4194304 10169799 140736196167936 140736196160248 7708182 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 33409 31906 781 1459 0 31941 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133636

[startup+25.5002 s]
/proc/loadavg: 1.38 1.58 1.81 3/177 32036
/proc/meminfo: memFree=29171916/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=133636 CPUtime=25.49 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 35726 0 0 0 2535 14 0 0 20 0 1 0 268949393 136843264 31907 33554432000 4194304 10169799 140736196167936 140736196160216 8004296 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 33409 31907 781 1459 0 31941 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 133636

[startup+51.1003 s]
/proc/loadavg: 1.59 1.62 1.82 3/177 32036
/proc/meminfo: memFree=29153284/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=133636 CPUtime=51.08 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 35767 0 0 0 5091 17 0 0 20 0 1 0 268949393 136843264 31927 33554432000 4194304 10169799 140736196167936 140736196160248 7704935 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 33409 31927 781 1459 0 31941 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 133636

[startup+102.307 s]
/proc/loadavg: 1.82 1.67 1.82 3/177 32037
/proc/meminfo: memFree=29012400/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=208884 CPUtime=102.27 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 65780 0 0 0 10194 33 0 0 20 0 1 0 268949393 213897216 50097 33554432000 4194304 10169799 140736196167936 140736196162536 7978016 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32032/statm: 52221 50097 860 1459 0 50753 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 208884

[startup+162.3 s]
/proc/loadavg: 1.93 1.73 1.83 3/177 32037
/proc/meminfo: memFree=29007724/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=208884 CPUtime=162.24 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 65944 0 0 0 16181 43 0 0 20 0 1 0 268949393 213897216 50604 33554432000 4194304 10169799 140736196167936 140736196162536 8030382 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 52221 50604 861 1459 0 50753 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 208884

[startup+222.3 s]
/proc/loadavg: 1.97 1.78 1.84 3/177 32037
/proc/meminfo: memFree=29004788/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=208884 CPUtime=222.23 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 65957 0 0 0 22171 52 0 0 20 0 1 0 268949393 213897216 51070 33554432000 4194304 10169799 140736196167936 140736196162632 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 52221 51070 861 1459 0 50753 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 208884

[startup+282.3 s]
/proc/loadavg: 1.99 1.81 1.84 3/177 32037
/proc/meminfo: memFree=28996660/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=212032 CPUtime=282.23 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 66683 0 0 0 28160 63 0 0 20 0 1 0 268949393 217120768 51796 33554432000 4194304 10169799 140736196167936 140736196162392 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 53008 51796 861 1459 0 51540 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 212032

[startup+342.3 s]
/proc/loadavg: 1.99 1.84 1.85 3/177 32037
/proc/meminfo: memFree=28984620/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=222064 CPUtime=342.21 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 69219 0 0 0 34150 71 0 0 20 0 1 0 268949393 227393536 54323 33554432000 4194304 10169799 140736196167936 140736196162264 8009592 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 55516 54323 862 1459 0 54048 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 222064

[startup+402.3 s]
/proc/loadavg: 1.99 1.87 1.85 3/177 32038
/proc/meminfo: memFree=28984184/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=222064 CPUtime=402.21 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 69302 0 0 0 40142 79 0 0 20 0 1 0 268949393 227393536 54406 33554432000 4194304 10169799 140736196167936 140736196162344 8009667 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 55516 54406 862 1459 0 54048 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 222064

[startup+462.3 s]
/proc/loadavg: 1.99 1.89 1.86 3/177 32038
/proc/meminfo: memFree=28984296/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=222064 CPUtime=462.2 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 69305 0 0 0 46134 86 0 0 20 0 1 0 268949393 227393536 54409 33554432000 4194304 10169799 140736196167936 140736196162312 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 55516 54409 862 1459 0 54048 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 222064

[startup+522.3 s]
/proc/loadavg: 1.99 1.91 1.86 3/177 32038
/proc/meminfo: memFree=28981072/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=226060 CPUtime=522.18 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 70111 0 0 0 52126 92 0 0 20 0 1 0 268949393 231485440 55205 33554432000 4194304 10169799 140736196167936 140736196162312 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 56515 55205 862 1459 0 55047 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 226060

[startup+582.3 s]
/proc/loadavg: 1.99 1.92 1.87 3/177 32041
/proc/meminfo: memFree=28998508/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=217852 CPUtime=582.17 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 71736 0 0 0 58115 102 0 0 20 0 1 0 268949393 223080448 53250 33554432000 4194304 10169799 140736196167936 140736196162008 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 54463 53250 862 1459 0 52995 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 217852

[startup+642.3 s]
/proc/loadavg: 1.99 1.93 1.88 3/178 32042
/proc/meminfo: memFree=28993664/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=217852 CPUtime=642.18 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 71736 0 0 0 64103 115 0 0 20 0 1 0 268949393 223080448 53250 33554432000 4194304 10169799 140736196167936 140736196162184 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 54463 53250 862 1459 0 52995 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 217852

[startup+702.3 s]
/proc/loadavg: 2.14 1.98 1.89 3/177 32043
/proc/meminfo: memFree=28991932/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=217852 CPUtime=702.16 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 71813 0 0 0 70091 125 0 0 20 0 1 0 268949393 223080448 53327 33554432000 4194304 10169799 140736196167936 140736196161752 8042989 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 54463 53327 862 1459 0 52995 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 217852

[startup+762.307 s]
/proc/loadavg: 2.05 1.98 1.90 3/177 32043
/proc/meminfo: memFree=28997144/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=213472 CPUtime=762.16 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 73065 0 0 0 76085 131 0 0 20 0 1 0 268949393 218595328 52377 33554432000 4194304 10169799 140736196167936 140736196162344 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 53368 52377 862 1459 0 51900 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 213472

[startup+822.3 s]
/proc/loadavg: 2.02 1.98 1.90 3/177 32043
/proc/meminfo: memFree=28991060/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=217580 CPUtime=822.14 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 73908 0 0 0 82074 140 0 0 20 0 1 0 268949393 222801920 53220 33554432000 4194304 10169799 140736196167936 140736196162008 8043926 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 54395 53220 862 1459 0 52927 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 217580

[startup+882.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32043
/proc/meminfo: memFree=28991928/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=217156 CPUtime=882.13 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 75559 0 0 0 88065 148 0 0 20 0 1 0 268949393 222367744 52784 33554432000 4194304 10169799 140736196167936 140736196161160 8044496 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 54289 52784 862 1459 0 52821 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 217156

[startup+942.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32043
/proc/meminfo: memFree=28983672/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=223768 CPUtime=942.12 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 77532 0 0 0 94052 160 0 0 20 0 1 0 268949393 229138432 54754 33554432000 4194304 10169799 140736196167936 140736196162728 8009802 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 55942 54754 862 1459 0 54474 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 223768

[startup+1002.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32044
/proc/meminfo: memFree=28981936/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=224732 CPUtime=1002.11 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 77912 0 0 0 100040 171 0 0 20 0 1 0 268949393 230125568 55134 33554432000 4194304 10169799 140736196167936 140736196162344 8004838 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 56183 55134 862 1459 0 54715 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 224732

[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32044
/proc/meminfo: memFree=28982616/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=224264 CPUtime=1062.1 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 79818 0 0 0 106027 183 0 0 20 0 1 0 268949393 229646336 54853 33554432000 4194304 10169799 140736196167936 140736196162344 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 56066 54853 862 1459 0 54598 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 224264

[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32044
/proc/meminfo: memFree=28971952/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=234948 CPUtime=1122.09 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 82394 0 0 0 112014 195 0 0 20 0 1 0 268949393 240586752 57429 33554432000 4194304 10169799 140736196167936 140736196162536 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 58737 57429 862 1459 0 57269 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 234948

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

[startup+1126.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32044
/proc/meminfo: memFree=28970960/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=235568 CPUtime=1126.09 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 82633 0 0 0 112413 196 0 0 20 0 1 0 268949393 241221632 57668 33554432000 4194304 10169799 140736196167936 140736196164136 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 58892 57668 862 1459 0 57424 0
Current children cumulated CPU time (s) 1126.09
Current children cumulated vsize (KiB) 235568

[startup+1132.7 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32044
/proc/meminfo: memFree=28970216/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=236500 CPUtime=1132.49 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 82870 0 0 0 113050 199 0 0 20 0 1 0 268949393 242176000 57905 33554432000 4194304 10169799 140736196167936 140736196162072 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 59125 57905 862 1459 0 57657 0
Current children cumulated CPU time (s) 1132.49
Current children cumulated vsize (KiB) 236500

[startup+1139.1 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32044
/proc/meminfo: memFree=28968728/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=238064 CPUtime=1138.89 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 83215 0 0 0 113688 201 0 0 20 0 1 0 268949393 243777536 58250 33554432000 4194304 10169799 140736196167936 140736196166456 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 59516 58250 862 1459 0 58048 0
Current children cumulated CPU time (s) 1138.89
Current children cumulated vsize (KiB) 238064

[startup+1142.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32044
/proc/meminfo: memFree=28967984/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=238428 CPUtime=1142.09 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 83298 0 0 0 114007 202 0 0 20 0 1 0 268949393 244150272 58333 33554432000 4194304 10169799 140736196167936 140736196161800 7968551 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 59607 58333 862 1459 0 58139 0
Current children cumulated CPU time (s) 1142.09
Current children cumulated vsize (KiB) 238428

[startup+1143.1 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32044
/proc/meminfo: memFree=28967860/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=238872 CPUtime=1142.89 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 83344 0 0 0 114087 202 0 0 20 0 1 0 268949393 244604928 58379 33554432000 4194304 10169799 140736196167936 140736196162072 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 59718 58379 862 1459 0 58250 0
Current children cumulated CPU time (s) 1142.89
Current children cumulated vsize (KiB) 238872

[startup+1143.9 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32044
/proc/meminfo: memFree=28967612/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=238872 CPUtime=1143.69 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 83374 0 0 0 114167 202 0 0 20 0 1 0 268949393 244604928 58409 33554432000 4194304 10169799 140736196167936 140736196162952 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 59718 58409 862 1459 0 58250 0
Current children cumulated CPU time (s) 1143.69
Current children cumulated vsize (KiB) 238872

[startup+1144.1 s]
/proc/loadavg: 2.00 1.98 1.91 3/177 32044
/proc/meminfo: memFree=28967612/32873844 swapFree=7384/7384
[pid=32032] ppid=32029 vsize=228800 CPUtime=1143.88 cores=0,2,4,6
/proc/32032/stat : 32032 (scip-2.1.1.4sfi) R 32029 32032 31024 0 -1 4202496 83376 0 0 0 114186 202 0 0 20 0 1 0 268949393 234291200 55902 33554432000 4194304 10169799 140736196167936 140736196162952 7436934 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32032/statm: 57200 55902 864 1459 0 55732 0
Current children cumulated CPU time (s) 1143.88
Current children cumulated vsize (KiB) 228800

Child status: 0
Real time (s): 1144.12
CPU time (s): 1143.91
CPU user time (s): 1141.88
CPU system time (s): 2.03269
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 264920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1141.88
system time used= 2.03269
maximum resident set size= 256760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83378
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= 45
involuntary context switches= 1443

runsolver used 4.47832 second user time and 11.3723 second system time

The end

Launcher Data 

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

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.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-3692853-1338028239/watcher-3692853-1338028239 -o /tmp/evaluation-result-3692853-1338028239/solver-3692853-1338028239 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692853-1338028239.opb -t 1800 -m 15500

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

MD5SUM BENCH= bcdf4c9a1de867d3db370c95867fefb5
RANDOM SEED=1784590894

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

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

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

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

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

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

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

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

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


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

Free space on /tmp at the end= 71644 MiB
End job on node136 at 2012-05-26 12:49:44