Trace number 2693006

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1801.47 1801.43

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
MD5SUM2dda6fbf8d261259c880dca3531a1919
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.32765
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4622
Total number of constraints12569
Number of soft constraints8453
Number of constraints which are clauses11753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints816
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 425712
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 425711
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 130
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	24700

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 16576
/proc/meminfo: memFree=30853252/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=10872 CPUtime=0
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 1671 0 0 0 0 0 0 0 25 0 1 0 132696765 11132928 1592 4089446400 4194304 9819077 140737409956576 18446744073709551615 4364820 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16576/statm: 2757 1596 392 1374 0 1378 0

[startup+0.0479671 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 16576
/proc/meminfo: memFree=30853252/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=22932 CPUtime=0.04
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 4685 0 0 0 4 0 0 0 25 0 1 0 132696765 23482368 4606 4089446400 4194304 9819077 140737409956576 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16576/statm: 5733 4606 392 1374 0 4354 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22932

[startup+0.100948 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 16576
/proc/meminfo: memFree=30853252/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=34312 CPUtime=0.09
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 7504 0 0 0 9 0 0 0 25 0 1 0 132696765 35135488 7425 4089446400 4194304 9819077 140737409956576 18446744073709551615 6181200 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16576/statm: 8578 7425 392 1374 0 7199 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34312

[startup+0.300914 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 16576
/proc/meminfo: memFree=30853252/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=92480 CPUtime=0.29
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 22223 0 0 0 26 3 0 0 25 0 1 0 132696765 94699520 21240 4089446400 4194304 9819077 140737409956576 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 23120 21300 497 1374 0 21741 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92480

[startup+0.700841 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 16576
/proc/meminfo: memFree=30853252/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=119460 CPUtime=0.69
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 34449 0 0 0 64 5 0 0 25 0 1 0 132696765 122327040 27216 4089446400 4194304 9819077 140737409956576 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 29865 27243 663 1374 0 28486 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 119460

[startup+1.50071 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16577
/proc/meminfo: memFree=30739532/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=124272 CPUtime=1.49
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 40913 0 0 0 142 7 0 0 25 0 1 0 132696765 127254528 28024 4089446400 4194304 9819077 140737409956576 18446744073709551615 8675296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 31068 28024 697 1374 0 29689 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124272

[startup+3.10041 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16577
/proc/meminfo: memFree=30740400/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=127584 CPUtime=3.09
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 45092 0 0 0 301 8 0 0 25 0 1 0 132696765 130646016 28543 4089446400 4194304 9819077 140737409956576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 31896 28543 699 1374 0 30517 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127584

[startup+6.30085 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16577
/proc/meminfo: memFree=30733992/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=139320 CPUtime=6.29
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 97267 0 0 0 615 14 0 0 25 0 1 0 132696765 142663680 29401 4089446400 4194304 9819077 140737409956576 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 34830 29401 724 1374 0 33451 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139320

[startup+12.7007 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16578
/proc/meminfo: memFree=30728664/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=137812 CPUtime=12.69
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 171547 0 0 0 1244 25 0 0 25 0 1 0 132696765 141119488 29698 4089446400 4194304 9819077 140737409956576 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 34453 29698 726 1374 0 33074 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 137812

[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16578
/proc/meminfo: memFree=30722728/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=136220 CPUtime=25.49
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 339249 0 0 0 2499 50 0 0 25 0 1 0 132696765 139489280 29744 4089446400 4194304 9819077 140737409956576 18446744073709551615 7228028 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 34055 29744 726 1374 0 32676 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 136220

[startup+51.1009 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16578
/proc/meminfo: memFree=30711736/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=134060 CPUtime=51.1
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 768562 0 0 0 4999 111 0 0 25 0 1 0 132696765 137277440 30289 4089446400 4194304 9819077 140737409956576 18446744073709551615 6589094 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 33515 30289 729 1374 0 32136 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 134060

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16580
/proc/meminfo: memFree=30670640/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=160608 CPUtime=102.3
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 1664718 0 0 0 9996 234 0 0 25 0 1 0 132696765 164462592 36943 4089446400 4194304 9819077 140737409956576 18446744073709551615 6590480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 40152 36943 730 1374 0 38773 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 160608

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16582
/proc/meminfo: memFree=30627300/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=177468 CPUtime=162.29
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 2691546 0 0 0 15845 384 0 0 25 0 1 0 132696765 181727232 41275 4089446400 4194304 9819077 140737409956576 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 44367 41277 730 1374 0 42988 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 177468

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16583
/proc/meminfo: memFree=30580140/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=196752 CPUtime=222.3
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 3611207 0 0 0 21708 522 0 0 25 0 1 0 132696765 201474048 46147 4089446400 4194304 9819077 140737409956576 18446744073709551615 8678903 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 49188 46147 730 1374 0 47809 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 196752

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16584
/proc/meminfo: memFree=30545356/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=213460 CPUtime=282.3
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 4702940 0 0 0 27547 683 0 0 25 0 1 0 132696765 218583040 50305 4089446400 4194304 9819077 140737409956576 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 53365 50305 730 1374 0 51986 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 213460

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16586
/proc/meminfo: memFree=30503664/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=232176 CPUtime=342.3
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 5767810 0 0 0 33389 841 0 0 25 0 1 0 132696765 237748224 55016 4089446400 4194304 9819077 140737409956576 18446744073709551615 6628350 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 58044 55016 730 1374 0 56665 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 232176

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16588
/proc/meminfo: memFree=30474340/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=253984 CPUtime=402.3
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 6823982 0 0 0 39234 996 0 0 25 0 1 0 132696765 260079616 59058 4089446400 4194304 9819077 140737409956576 18446744073709551615 6519547 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 63496 59058 730 1374 0 62117 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 253984

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16590
/proc/meminfo: memFree=30427304/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=263408 CPUtime=462.3
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 7796940 0 0 0 45096 1134 0 0 25 0 1 0 132696765 269729792 62899 4089446400 4194304 9819077 140737409956576 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 65852 62899 730 1374 0 64473 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 263408

[startup+522.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 16591
/proc/meminfo: memFree=30385480/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=285864 CPUtime=522.31
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 8430040 0 0 0 50986 1245 0 0 25 0 1 0 132696765 292724736 68546 4089446400 4194304 9819077 140737409956576 18446744073709551615 6361872 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 71466 68546 730 1374 0 70087 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 285864

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16592
/proc/meminfo: memFree=30349084/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=303528 CPUtime=582.31
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 9195991 0 0 0 56867 1364 0 0 25 0 1 0 132696765 310812672 72867 4089446400 4194304 9819077 140737409956576 18446744073709551615 6364936 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 75882 72867 730 1374 0 74503 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 303528

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16594
/proc/meminfo: memFree=30305548/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=320264 CPUtime=642.31
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 10000132 0 0 0 62739 1492 0 0 25 0 1 0 132696765 327950336 76975 4089446400 4194304 9819077 140737409956576 18446744073709551615 6589097 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16576/statm: 80066 76975 730 1374 0 78687 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 320264

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16805
/proc/meminfo: memFree=30769172/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=418528 CPUtime=1002.32
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 14392623 0 0 0 97992 2240 0 0 25 0 1 0 132696765 428572672 101684 4089446400 4194304 9819077 140737409956576 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 104632 101684 743 1374 0 103253 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 418528

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16807
/proc/meminfo: memFree=30737260/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=434876 CPUtime=1062.32
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 15000365 0 0 0 103875 2357 0 0 25 0 1 0 132696765 445313024 106052 4089446400 4194304 9819077 140737409956576 18446744073709551615 7226488 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 108719 106052 743 1374 0 107340 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 434876

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16808
/proc/meminfo: memFree=30713016/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=453488 CPUtime=1122.32
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 15509053 0 0 0 109779 2453 0 0 25 0 1 0 132696765 464371712 110404 4089446400 4194304 9819077 140737409956576 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 113372 110404 743 1374 0 111993 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 453488

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16809
/proc/meminfo: memFree=30683184/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=468500 CPUtime=1182.32
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 16288108 0 0 0 115644 2588 0 0 25 0 1 0 132696765 479744000 114171 4089446400 4194304 9819077 140737409956576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 117125 114171 743 1374 0 115746 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 468500

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16811
/proc/meminfo: memFree=30661208/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=489412 CPUtime=1242.32
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 17056332 0 0 0 121516 2716 0 0 25 0 1 0 132696765 501157888 118173 4089446400 4194304 9819077 140737409956576 18446744073709551615 7302019 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 122353 118173 743 1374 0 120974 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 489412

[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 16813
/proc/meminfo: memFree=30635248/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=499444 CPUtime=1302.33
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 17690867 0 0 0 127395 2838 0 0 25 0 1 0 132696765 511430656 121957 4089446400 4194304 9819077 140737409956576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 124861 121957 743 1374 0 123482 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 499444

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16815
/proc/meminfo: memFree=30596020/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=517800 CPUtime=1362.33
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 18200086 0 0 0 133282 2951 0 0 25 0 1 0 132696765 530227200 126553 4089446400 4194304 9819077 140737409956576 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 129450 126553 743 1374 0 128071 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 517800

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16816
/proc/meminfo: memFree=30557408/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=541716 CPUtime=1422.33
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 18683607 0 0 0 139177 3056 0 0 25 0 1 0 132696765 554717184 132547 4089446400 4194304 9819077 140737409956576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 135429 132547 743 1374 0 134050 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 541716

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16817
/proc/meminfo: memFree=30518772/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=565552 CPUtime=1482.33
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 19171603 0 0 0 145068 3165 0 0 25 0 1 0 132696765 579125248 138480 4089446400 4194304 9819077 140737409956576 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 141388 138480 743 1374 0 140009 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 565552

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16822
/proc/meminfo: memFree=30476508/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=588988 CPUtime=1542.33
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 19700386 0 0 0 150961 3272 0 0 25 0 1 0 132696765 603123712 144364 4089446400 4194304 9819077 140737409956576 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 147247 144364 743 1374 0 145868 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 588988

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16824
/proc/meminfo: memFree=30430064/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=615972 CPUtime=1602.33
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 20153706 0 0 0 156862 3371 0 0 25 0 1 0 132696765 630755328 151160 4089446400 4194304 9819077 140737409956576 18446744073709551615 7487731 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 153993 151160 743 1374 0 152614 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 615972

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16826
/proc/meminfo: memFree=30386380/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=640408 CPUtime=1662.33
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 20630131 0 0 0 162763 3470 0 0 25 0 1 0 132696765 655777792 156752 4089446400 4194304 9819077 140737409956576 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 160102 156752 743 1374 0 158723 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 640408

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16827
/proc/meminfo: memFree=30342560/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=667216 CPUtime=1722.33
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 21089539 0 0 0 168660 3573 0 0 25 0 1 0 132696765 683229184 163432 4089446400 4194304 9819077 140737409956576 18446744073709551615 6002989 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 166804 163432 743 1374 0 165425 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 667216

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16828
/proc/meminfo: memFree=30296892/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=695312 CPUtime=1782.33
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 21534169 0 0 0 174561 3672 0 0 25 0 1 0 132696765 711999488 170495 4089446400 4194304 9819077 140737409956576 18446744073709551615 5507241 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 173828 170495 743 1374 0 172449 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 695312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16829
/proc/meminfo: memFree=30283852/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=702084 CPUtime=1800.04
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 21670143 0 0 0 176303 3701 0 0 25 0 1 0 132696765 718934016 172205 4089446400 4194304 9819077 140737409956576 18446744073709551615 6089673 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16576/statm: 175521 172205 743 1374 0 174142 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 702084

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16830
/proc/meminfo: memFree=30283844/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=702084 CPUtime=1800.64
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 21670143 0 0 0 176363 3701 0 0 25 0 1 0 132696765 718934016 172205 4089446400 4194304 9819077 140737409956576 18446744073709551615 4241136 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16576/statm: 175521 172205 743 1374 0 174142 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 702084

[startup+1801 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16830
/proc/meminfo: memFree=30283844/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=702084 CPUtime=1801.03
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 21670143 0 0 0 176402 3701 0 0 25 0 1 0 132696765 718934016 172205 4089446400 4194304 9819077 140737409956576 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16576/statm: 175521 172205 743 1374 0 174142 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 702084

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16830
/proc/meminfo: memFree=30283844/32951124 swapFree=67111528/67111528
[pid=16576] ppid=16574 vsize=113688 CPUtime=1801.43
/proc/16576/stat : 16576 (pbscip.linux.x8) R 16574 16576 16354 0 -1 4202496 21670165 0 0 0 176439 3704 0 0 25 0 1 0 132696765 116416512 26894 4089446400 4194304 9819077 140737409956576 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16576/statm: 28301 26637 744 1374 0 26922 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 113688

Child status: 0
Real time (s): 1801.43
CPU time (s): 1801.47
CPU user time (s): 1764.42
CPU system time (s): 37.0514
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 702340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.42
system time used= 37.0514
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21670169
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= 1
involuntary context switches= 1373

runsolver used 2.99254 second user time and 6.76397 second system time

The end

Launcher Data 

Begin job on node140 at 2010-06-30 18:07:03
IDJOB=2693006
IDBENCH=79025
IDSOLVER=1205
FILE ID=node140/2693006-1277914023
PBS_JOBID= 11197289
Free space on /tmp= 74192 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693006-1277914023/watcher-2693006-1277914023 -o /tmp/evaluation-result-2693006-1277914023/solver-2693006-1277914023 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693006-1277914023.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 2dda6fbf8d261259c880dca3531a1919
RANDOM SEED=279320244

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5421.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.790
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30852292 kB
Buffers:        197220 kB
Cached:        1286896 kB
SwapCached:          0 kB
Active:        1226464 kB
Inactive:       728160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30852292 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6668 kB
Writeback:           0 kB
AnonPages:      470016 kB
Mapped:          17608 kB
Slab:            80092 kB
PageTables:       5828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   637260 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74188 MiB
End job on node140 at 2010-06-30 18:37:05