Trace number 2692366

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1801.37 1801.32

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

Verifier Data 

OK	24987

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.90 1.97 1.98 4/178 10855
/proc/meminfo: memFree=31634604/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=9304 CPUtime=0
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 1651 0 0 0 0 0 0 0 25 0 1 0 132694296 9527296 1570 4089446400 4194304 8223781 140733706701360 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10855/statm: 2326 1570 369 984 0 1339 0

[startup+0.0908101 s]
/proc/loadavg: 1.90 1.97 1.98 4/178 10855
/proc/meminfo: memFree=31634604/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=31468 CPUtime=0.08
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 7162 0 0 0 8 0 0 0 25 0 1 0 132694296 32223232 7081 4089446400 4194304 8223781 140733706701360 18446744073709551615 5654940 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10855/statm: 7867 7081 369 984 0 6880 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31468

[startup+0.100804 s]
/proc/loadavg: 1.90 1.97 1.98 4/178 10855
/proc/meminfo: memFree=31634604/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=32744 CPUtime=0.09
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 7485 0 0 0 9 0 0 0 25 0 1 0 132694296 33529856 7404 4089446400 4194304 8223781 140733706701360 18446744073709551615 6639999 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10855/statm: 8186 7404 369 984 0 7199 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32744

[startup+0.300767 s]
/proc/loadavg: 1.90 1.97 1.98 4/178 10855
/proc/meminfo: memFree=31634604/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=91240 CPUtime=0.29
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 22403 0 0 0 26 3 0 0 25 0 1 0 132694296 93429760 21408 4089446400 4194304 8223781 140733706701360 18446744073709551615 4914741 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10855/statm: 22810 21408 452 984 0 21823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91240

[startup+0.700699 s]
/proc/loadavg: 1.90 1.97 1.98 4/178 10855
/proc/meminfo: memFree=31634604/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=114324 CPUtime=0.69
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 31565 0 0 0 64 5 0 0 18 0 1 0 132694296 117067776 26908 4089446400 4194304 8223781 140733706701360 18446744073709551615 5893900 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 28581 26908 561 984 0 27594 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114324

[startup+1.50056 s]
/proc/loadavg: 1.91 1.97 1.98 3/179 10856
/proc/meminfo: memFree=31527708/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=119372 CPUtime=1.49
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 35367 0 0 0 143 6 0 0 19 0 1 0 132694296 122236928 27735 4089446400 4194304 8223781 140733706701360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 29843 27735 592 984 0 28856 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119372

[startup+3.10026 s]
/proc/loadavg: 1.91 1.97 1.98 3/179 10856
/proc/meminfo: memFree=31523108/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=122372 CPUtime=3.09
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 36882 0 0 0 301 8 0 0 22 0 1 0 132694296 125308928 28358 4089446400 4194304 8223781 140733706701360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 30593 28358 593 984 0 29606 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122372

[startup+6.30068 s]
/proc/loadavg: 1.91 1.97 1.98 3/179 10856
/proc/meminfo: memFree=31516784/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=182828 CPUtime=6.29
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 57725 0 0 0 617 12 0 0 25 0 1 0 132694296 187215872 42749 4089446400 4194304 8223781 140733706701360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 45707 42749 594 984 0 44720 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 182828

[startup+12.7005 s]
/proc/loadavg: 1.92 1.97 1.98 3/179 10856
/proc/meminfo: memFree=31513456/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=127984 CPUtime=12.69
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 129299 0 0 0 1249 20 0 0 25 0 1 0 132694296 131055616 29489 4089446400 4194304 8223781 140733706701360 18446744073709551615 6587931 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 31996 29490 605 984 0 31009 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127984

[startup+25.5002 s]
/proc/loadavg: 1.93 1.97 1.98 3/179 10856
/proc/meminfo: memFree=31510464/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=130476 CPUtime=25.49
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 267774 0 0 0 2510 39 0 0 25 0 1 0 132694296 133607424 30263 4089446400 4194304 8223781 140733706701360 18446744073709551615 6599043 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 32619 30263 619 984 0 31632 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 130476

[startup+51.1005 s]
/proc/loadavg: 1.95 1.97 1.98 3/179 10856
/proc/meminfo: memFree=31508324/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=130216 CPUtime=51.09
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 499442 0 0 0 5040 69 0 0 25 0 1 0 132694296 133341184 30206 4089446400 4194304 8223781 140733706701360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 32554 30206 608 984 0 31567 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 130216

[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.98 3/179 10858
/proc/meminfo: memFree=31499836/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=131032 CPUtime=102.3
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 1046902 0 0 0 10084 146 0 0 25 0 1 0 132694296 134176768 30466 4089446400 4194304 8223781 140733706701360 18446744073709551615 6448679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 32758 30466 608 984 0 31771 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 131032

[startup+162.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/179 10860
/proc/meminfo: memFree=31486024/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=137500 CPUtime=162.29
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 1701571 0 0 0 15990 239 0 0 25 0 1 0 132694296 140800000 31907 4089446400 4194304 8223781 140733706701360 18446744073709551615 6569377 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 34375 31907 609 984 0 33388 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 137500

[startup+222.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 10862
/proc/meminfo: memFree=31466752/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=148800 CPUtime=222.3
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 2306895 0 0 0 21909 321 0 0 25 0 1 0 132694296 152371200 34917 4089446400 4194304 8223781 140733706701360 18446744073709551615 6455710 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 37200 34917 609 984 0 36213 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 148800

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 10863
/proc/meminfo: memFree=31444252/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=163296 CPUtime=282.29
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 3003364 0 0 0 27816 413 0 0 25 0 1 0 132694296 167215104 38541 4089446400 4194304 8223781 140733706701360 18446744073709551615 6445097 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 40824 38541 609 984 0 39837 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 163296

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 10864
/proc/meminfo: memFree=31427328/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=175372 CPUtime=342.3
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 3644245 0 0 0 33727 503 0 0 25 0 1 0 132694296 179580928 41446 4089446400 4194304 8223781 140733706701360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 43843 41446 609 984 0 42856 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 175372

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 10866
/proc/meminfo: memFree=31406836/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=189532 CPUtime=402.3
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 4376238 0 0 0 39630 600 0 0 25 0 1 0 132694296 194080768 45079 4089446400 4194304 8223781 140733706701360 18446744073709551615 6524054 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 47383 45079 611 984 0 46396 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 189532

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 10868
/proc/meminfo: memFree=31389168/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=200704 CPUtime=462.3
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 5004575 0 0 0 45546 684 0 0 25 0 1 0 132694296 205520896 47891 4089446400 4194304 8223781 140733706701360 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 50176 47891 609 984 0 49189 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 200704

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 10870
/proc/meminfo: memFree=31366164/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=213360 CPUtime=522.31
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 5746061 0 0 0 51449 782 0 0 25 0 1 0 132694296 218480640 51082 4089446400 4194304 8223781 140733706701360 18446744073709551615 6203234 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 53340 51082 609 984 0 52353 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 213360

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 10871
/proc/meminfo: memFree=31345904/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=227328 CPUtime=582.31
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 6388063 0 0 0 57360 871 0 0 25 0 1 0 132694296 232783872 54561 4089446400 4194304 8223781 140733706701360 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 56832 54561 609 984 0 55845 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 227328

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 10872
/proc/meminfo: memFree=31325884/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=240188 CPUtime=642.32
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 6994758 0 0 0 63276 956 0 0 25 0 1 0 132694296 245952512 57797 4089446400 4194304 8223781 140733706701360 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 60047 57797 609 984 0 59060 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 240188

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 10933
/proc/meminfo: memFree=31269348/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=371164 CPUtime=1062.32
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 11578079 0 0 0 104677 1555 0 0 25 0 1 0 132694296 380071936 90602 4089446400 4194304 8223781 140733706701360 18446744073709551615 6003289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 92791 90602 609 984 0 91804 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 371164

[startup+1122.3 s]
/proc/loadavg: 2.04 1.99 1.99 3/179 10935
/proc/meminfo: memFree=31244732/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=388440 CPUtime=1122.33
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 12338928 0 0 0 110582 1651 0 0 25 0 1 0 132694296 397762560 94912 4089446400 4194304 8223781 140733706701360 18446744073709551615 6444696 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 97110 94912 609 984 0 96123 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 388440

[startup+1182.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 10936
/proc/meminfo: memFree=31215668/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=404888 CPUtime=1182.33
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 12984418 0 0 0 116495 1738 0 0 25 0 1 0 132694296 414605312 99025 4089446400 4194304 8223781 140733706701360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 101222 99025 609 984 0 100235 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 404888

[startup+1242.3 s]
/proc/loadavg: 2.06 2.00 1.99 3/179 10937
/proc/meminfo: memFree=31190056/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=422288 CPUtime=1242.33
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 13564838 0 0 0 122417 1816 0 0 25 0 1 0 132694296 432422912 103440 4089446400 4194304 8223781 140733706701360 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 105572 103440 609 984 0 104585 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 422288

[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 1.99 3/179 10939
/proc/meminfo: memFree=31156772/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=445952 CPUtime=1302.33
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 14189870 0 0 0 128333 1900 0 0 25 0 1 0 132694296 456654848 109293 4089446400 4194304 8223781 140733706701360 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 111488 109293 609 984 0 110501 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 445952

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/179 10941
/proc/meminfo: memFree=31131680/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=466236 CPUtime=1362.33
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 14694415 0 0 0 134260 1973 0 0 25 0 1 0 132694296 477425664 114274 4089446400 4194304 8223781 140733706701360 18446744073709551615 6567983 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 116559 114274 609 984 0 115572 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 466236

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 10943
/proc/meminfo: memFree=31105076/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=482376 CPUtime=1422.34
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 15277783 0 0 0 140178 2056 0 0 25 0 1 0 132694296 493953024 118441 4089446400 4194304 8223781 140733706701360 18446744073709551615 7257293 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 120594 118441 609 984 0 119607 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 482376

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 10944
/proc/meminfo: memFree=31080224/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=500676 CPUtime=1482.34
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 15839576 0 0 0 146099 2135 0 0 25 0 1 0 132694296 512692224 122952 4089446400 4194304 8223781 140733706701360 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 125169 122952 609 984 0 124182 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 500676

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 10948
/proc/meminfo: memFree=31061604/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=513180 CPUtime=1542.34
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 16517961 0 0 0 152009 2225 0 0 25 0 1 0 132694296 525496320 126162 4089446400 4194304 8223781 140733706701360 18446744073709551615 5893910 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 128295 126162 609 984 0 127308 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 513180

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 10950
/proc/meminfo: memFree=31036288/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=531416 CPUtime=1602.34
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 17105689 0 0 0 157931 2303 0 0 25 0 1 0 132694296 544169984 130655 4089446400 4194304 8223781 140733706701360 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 132854 130655 609 984 0 131867 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 531416

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 10952
/proc/meminfo: memFree=31006208/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=550164 CPUtime=1662.34
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 17721356 0 0 0 163845 2389 0 0 25 0 1 0 132694296 563367936 135430 4089446400 4194304 8223781 140733706701360 18446744073709551615 6598932 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 137541 135430 609 984 0 136554 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 550164

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 10954
/proc/meminfo: memFree=30979512/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=569228 CPUtime=1722.34
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 18319488 0 0 0 169760 2474 0 0 25 0 1 0 132694296 582889472 140249 4089446400 4194304 8223781 140733706701360 18446744073709551615 6592395 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 142307 140249 612 984 0 141320 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 569228

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10955
/proc/meminfo: memFree=30954788/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=585044 CPUtime=1782.34
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 19038002 0 0 0 175672 2562 0 0 25 0 1 0 132694296 599085056 144096 4089446400 4194304 8223781 140733706701360 18446744073709551615 6567737 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 146261 144096 609 984 0 145274 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 585044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 10956
/proc/meminfo: memFree=30949684/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=588140 CPUtime=1800.05
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 19242001 0 0 0 177417 2588 0 0 25 0 1 0 132694296 602255360 144908 4089446400 4194304 8223781 140733706701360 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10855/statm: 147035 144908 609 984 0 146048 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 588140

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.07 2.02 2.00 3/180 10957
/proc/meminfo: memFree=30949676/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=588140 CPUtime=1800.65
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 19242001 0 0 0 177477 2588 0 0 25 0 1 0 132694296 602255360 144908 4089446400 4194304 8223781 140733706701360 18446744073709551615 4241142 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10855/statm: 147035 144908 609 984 0 146048 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 588140

[startup+1801 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 10957
/proc/meminfo: memFree=30949676/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=588140 CPUtime=1801.04
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 19242001 0 0 0 177516 2588 0 0 25 0 1 0 132694296 602255360 144908 4089446400 4194304 8223781 140733706701360 18446744073709551615 7257293 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10855/statm: 147035 144908 609 984 0 146048 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 588140

[startup+1801.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 10957
/proc/meminfo: memFree=30949676/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=448368 CPUtime=1801.24
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 19242024 0 0 0 177536 2588 0 0 18 0 1 0 132694296 459128832 110038 4089446400 4194304 8223781 140733706701360 18446744073709551615 4212608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10855/statm: 112092 110038 611 984 0 111105 0
Current children cumulated CPU time (s) 1801.24
Current children cumulated vsize (KiB) 448368

[startup+1801.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 10957
/proc/meminfo: memFree=30949676/32951124 swapFree=67111528/67111528
[pid=10855] ppid=10853 vsize=59172 CPUtime=1801.34
/proc/10855/stat : 10855 (pbscip.linux.x8) R 10853 10855 10460 0 -1 4202496 19242024 0 0 0 177544 2590 0 0 18 0 1 0 132694296 60592128 13800 4089446400 4194304 8223781 140733706701360 18446744073709551615 4692677 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10855/statm: 14793 13800 611 984 0 13806 0
Current children cumulated CPU time (s) 1801.34
Current children cumulated vsize (KiB) 59172

Child status: 0
Real time (s): 1801.32
CPU time (s): 1801.37
CPU user time (s): 1775.46
CPU system time (s): 25.9091
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 588616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.46
system time used= 25.9091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19242028
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= 3
involuntary context switches= 1101

runsolver used 2.83357 second user time and 6.99794 second system time

The end

Launcher Data 

Begin job on node104 at 2010-06-30 18:06:08
IDJOB=2692366
IDBENCH=79025
IDSOLVER=1204
FILE ID=node104/2692366-1277913967
PBS_JOBID= 11197288
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692366-1277913967/watcher-2692366-1277913967 -o /tmp/evaluation-result-2692366-1277913967/solver-2692366-1277913967 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692366-1277913967.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 2dda6fbf8d261259c880dca3531a1919
RANDOM SEED=1351426230

node104.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.839
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.67
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.839
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.12
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.839
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.839
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.84
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.839
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	: 5332.74
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.839
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.839
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.839
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31635132 kB
Buffers:        192708 kB
Cached:         701132 kB
SwapCached:          0 kB
Active:         637480 kB
Inactive:       538812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31635132 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4940 kB
Writeback:           0 kB
AnonPages:      282400 kB
Mapped:          16264 kB
Slab:            77172 kB
PageTables:       5080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   432640 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= 74200 MiB
End job on node104 at 2010-06-30 18:36:10