Trace number 2705072

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.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1791.28 1791.24

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

Verifier Data 

OK	16150

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705072-1278574756/watcher-2705072-1278574756 -o /tmp/evaluation-result-2705072-1278574756/solver-2705072-1278574756 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705072-1278574756.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.71 1.95 1.68 3/182 21533
/proc/meminfo: memFree=30030240/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=12540 CPUtime=0
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1967 0 0 0 0 0 0 0 25 0 1 0 25688899 12840960 1886 4089446400 4194304 10345943 140734303277616 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21533/statm: 3135 1888 429 1502 0 1628 0

[startup+0.0346639 s]
/proc/loadavg: 1.71 1.95 1.68 3/182 21533
/proc/meminfo: memFree=30030240/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=21816 CPUtime=0.02
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 4290 0 0 0 2 0 0 0 25 0 1 0 25688899 22339584 4208 4089446400 4194304 10345943 140734303277616 18446744073709551615 9134628 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21533/statm: 5454 4208 430 1502 0 3947 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21816

[startup+0.100643 s]
/proc/loadavg: 1.71 1.95 1.68 3/182 21533
/proc/meminfo: memFree=30030240/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=37748 CPUtime=0.09
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 8092 0 0 0 9 0 0 0 25 0 1 0 25688899 38653952 8010 4089446400 4194304 10345943 140734303277616 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21533/statm: 9437 8035 430 1502 0 7930 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37748

[startup+0.300641 s]
/proc/loadavg: 1.71 1.95 1.68 3/182 21533
/proc/meminfo: memFree=30030240/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=92384 CPUtime=0.29
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 21843 0 0 0 27 2 0 0 25 0 1 0 25688899 94601216 21371 4089446400 4194304 10345943 140734303277616 18446744073709551615 4982920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21533/statm: 23096 21371 548 1502 0 21589 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92384

[startup+0.700594 s]
/proc/loadavg: 1.71 1.95 1.68 3/182 21533
/proc/meminfo: memFree=30030240/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=120944 CPUtime=0.69
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 28484 0 0 0 66 3 0 0 18 0 1 0 25688899 123846656 27973 4089446400 4194304 10345943 140734303277616 18446744073709551615 5931111 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21533/statm: 30236 27973 733 1502 0 28729 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 120944

[startup+1.50045 s]
/proc/loadavg: 1.74 1.95 1.68 3/183 21534
/proc/meminfo: memFree=29916028/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=126548 CPUtime=1.49
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 29607 0 0 0 146 3 0 0 19 0 1 0 25688899 129585152 29087 4089446400 4194304 10345943 140734303277616 18446744073709551615 9134633 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21533/statm: 31637 29087 758 1502 0 30130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126548

[startup+3.10119 s]
/proc/loadavg: 1.74 1.95 1.68 3/183 21534
/proc/meminfo: memFree=29914060/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=131896 CPUtime=3.09
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 30849 0 0 0 306 3 0 0 22 0 1 0 25688899 135061504 30314 4089446400 4194304 10345943 140734303277616 18446744073709551615 6197808 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21533/statm: 32974 30314 758 1502 0 31467 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131896

[startup+6.30062 s]
/proc/loadavg: 1.76 1.95 1.68 3/183 21534
/proc/meminfo: memFree=29905488/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=142148 CPUtime=6.29
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 51188 0 0 0 622 7 0 0 25 0 1 0 25688899 145559552 31667 4089446400 4194304 10345943 140734303277616 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21533/statm: 35537 31667 787 1502 0 34030 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142148

[startup+12.7004 s]
/proc/loadavg: 1.78 1.95 1.68 3/183 21534
/proc/meminfo: memFree=29893872/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=142172 CPUtime=12.69
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 54096 0 0 0 1261 8 0 0 25 0 1 0 25688899 145584128 31720 4089446400 4194304 10345943 140734303277616 18446744073709551615 7569524 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 35543 31720 788 1502 0 34036 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 142172

[startup+25.5012 s]
/proc/loadavg: 1.88 1.97 1.69 3/183 21534
/proc/meminfo: memFree=29890096/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=134528 CPUtime=25.49
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 65140 0 0 0 2536 13 0 0 25 0 1 0 25688899 137756672 31440 4089446400 4194304 10345943 140734303277616 18446744073709551615 6003211 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 33632 31440 789 1502 0 32125 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 134528

[startup+51.1006 s]
/proc/loadavg: 1.93 1.97 1.70 3/183 21535
/proc/meminfo: memFree=29885064/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=146196 CPUtime=51.09
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 84236 0 0 0 5087 22 0 0 25 0 1 0 25688899 149704704 32861 4089446400 4194304 10345943 140734303277616 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 36549 32861 792 1502 0 35042 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 146196

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.72 3/183 21536
/proc/meminfo: memFree=29884728/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=140288 CPUtime=102.3
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 113223 0 0 0 10194 36 0 0 25 0 1 0 25688899 143654912 32825 4089446400 4194304 10345943 140734303277616 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 35072 32825 808 1502 0 33565 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 140288

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.73 3/183 21538
/proc/meminfo: memFree=29864848/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=159288 CPUtime=162.29
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 202543 0 0 0 16173 56 0 0 25 0 1 0 25688899 163110912 37612 4089446400 4194304 10345943 140734303277616 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 39822 37612 808 1502 0 38315 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 159288

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/183 21540
/proc/meminfo: memFree=29841868/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=185096 CPUtime=222.3
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 286574 0 0 0 22154 76 0 0 25 0 1 0 25688899 189538304 43456 4089446400 4194304 10345943 140734303277616 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 46274 43456 808 1502 0 44767 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 185096

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/183 21541
/proc/meminfo: memFree=29810952/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=211116 CPUtime=282.3
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 331622 0 0 0 28138 92 0 0 25 0 1 0 25688899 216182784 50368 4089446400 4194304 10345943 140734303277616 18446744073709551615 8160845 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 52779 50368 808 1502 0 51272 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 211116

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.77 3/183 21543
/proc/meminfo: memFree=29772836/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=249780 CPUtime=342.3
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 351512 0 0 0 34127 103 0 0 25 0 1 0 25688899 255774720 59473 4089446400 4194304 10345943 140734303277616 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 62445 59473 808 1502 0 60938 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 249780

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.78 3/183 21544
/proc/meminfo: memFree=29727676/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=288140 CPUtime=402.3
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 451699 0 0 0 40105 125 0 0 25 0 1 0 25688899 295055360 69996 4089446400 4194304 10345943 140734303277616 18446744073709551615 6702894 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 72035 69996 810 1502 0 70528 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 288140

[startup+462.3 s]
/proc/loadavg: 2.05 1.99 1.80 3/183 21546
/proc/meminfo: memFree=29685220/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=332268 CPUtime=462.3
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 520176 0 0 0 46091 139 0 0 25 0 1 0 25688899 340242432 80379 4089446400 4194304 10345943 140734303277616 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 83067 80379 810 1502 0 81560 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 332268

[startup+522.301 s]
/proc/loadavg: 2.02 1.99 1.81 3/183 21548
/proc/meminfo: memFree=29652824/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=364112 CPUtime=522.31
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 595421 0 0 0 52075 156 0 0 25 0 1 0 25688899 372850688 88316 4089446400 4194304 10345943 140734303277616 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 91028 88316 810 1502 0 89521 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 364112

[startup+582.301 s]
/proc/loadavg: 2.16 2.02 1.83 3/183 21549
/proc/meminfo: memFree=29617680/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=397108 CPUtime=582.3
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 625777 0 0 0 58065 165 0 0 25 0 1 0 25688899 406638592 96911 4089446400 4194304 10345943 140734303277616 18446744073709551615 6802900 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 99277 96911 810 1502 0 97770 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 397108

[startup+642.3 s]
/proc/loadavg: 2.06 2.01 1.83 3/183 21551
/proc/meminfo: memFree=29586520/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=426776 CPUtime=642.32
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 668511 0 0 0 64057 175 0 0 25 0 1 0 25688899 437018624 104514 4089446400 4194304 10345943 140734303277616 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 106694 104514 810 1502 0 105187 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 426776

[startup+702.301 s]

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

/proc/meminfo: memFree=29379148/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=623892 CPUtime=1062.31
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 872653 0 0 0 106003 228 0 0 25 0 1 0 25688899 638865408 153451 4089446400 4194304 10345943 140734303277616 18446744073709551615 6777152 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 155973 153451 810 1502 0 154466 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 623892

[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 1.91 3/183 21564
/proc/meminfo: memFree=29348108/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=653236 CPUtime=1122.32
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 919154 0 0 0 111990 242 0 0 25 0 1 0 25688899 668913664 160748 4089446400 4194304 10345943 140734303277616 18446744073709551615 6525281 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 163309 160748 810 1502 0 161802 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 653236

[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 1.92 3/183 21565
/proc/meminfo: memFree=29319932/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=679328 CPUtime=1182.32
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 945377 0 0 0 117980 252 0 0 25 0 1 0 25688899 695631872 167501 4089446400 4194304 10345943 140734303277616 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 169832 167501 810 1502 0 168325 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 679328

[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 1.92 3/183 21567
/proc/meminfo: memFree=29289888/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=706184 CPUtime=1242.32
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 952516 0 0 0 123976 256 0 0 25 0 1 0 25688899 723132416 174224 4089446400 4194304 10345943 140734303277616 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 176546 174224 810 1502 0 175039 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 706184

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.92 3/183 21568
/proc/meminfo: memFree=29260856/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=734756 CPUtime=1302.33
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 961360 0 0 0 129973 260 0 0 25 0 1 0 25688899 752390144 181366 4089446400 4194304 10345943 140734303277616 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 183689 181366 810 1502 0 182182 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 734756

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/183 21579
/proc/meminfo: memFree=29231728/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=762448 CPUtime=1362.32
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 969698 0 0 0 135969 263 0 0 25 0 1 0 25688899 780746752 188466 4089446400 4194304 10345943 140734303277616 18446744073709551615 5012556 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 190612 188466 810 1502 0 189105 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 762448

[startup+1422.31 s]
/proc/loadavg: 2.06 2.03 1.93 3/183 21581
/proc/meminfo: memFree=29199816/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=791964 CPUtime=1422.34
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 976994 0 0 0 141966 268 0 0 25 0 1 0 25688899 810971136 195500 4089446400 4194304 10345943 140734303277616 18446744073709551615 6803030 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 197991 195500 810 1502 0 196484 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 791964

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 1.93 3/183 21582
/proc/meminfo: memFree=29168408/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=818972 CPUtime=1482.33
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1023387 0 0 0 147957 276 0 0 25 0 1 0 25688899 838627328 202360 4089446400 4194304 10345943 140734303277616 18446744073709551615 6119608 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 204743 202360 810 1502 0 203236 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 818972

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/183 21584
/proc/meminfo: memFree=29138616/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=848000 CPUtime=1542.33
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1057057 0 0 0 153949 284 0 0 25 0 1 0 25688899 868352000 209266 4089446400 4194304 10345943 140734303277616 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 212000 209266 810 1502 0 210493 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 848000

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 1.93 3/183 21585
/proc/meminfo: memFree=29105976/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=879348 CPUtime=1602.33
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1074831 0 0 0 159943 290 0 0 25 0 1 0 25688899 900452352 217151 4089446400 4194304 10345943 140734303277616 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 219837 217151 810 1502 0 218330 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 879348

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/183 21587
/proc/meminfo: memFree=29079668/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=907888 CPUtime=1662.34
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1094680 0 0 0 165936 298 0 0 25 0 1 0 25688899 929677312 223785 4089446400 4194304 10345943 140734303277616 18446744073709551615 4476200 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 226972 223785 810 1502 0 225465 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 907888

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.94 3/183 21589
/proc/meminfo: memFree=29048372/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=933168 CPUtime=1722.34
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1101584 0 0 0 171932 302 0 0 25 0 1 0 25688899 955564032 230511 4089446400 4194304 10345943 140734303277616 18446744073709551615 4796482 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 233292 230511 810 1502 0 231785 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 933168

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 1.94 3/183 21590
/proc/meminfo: memFree=29021320/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=957980 CPUtime=1782.34
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1109749 0 0 0 177927 307 0 0 25 0 1 0 25688899 980971520 237136 4089446400 4194304 10345943 140734303277616 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 239495 237136 810 1502 0 237988 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 957980

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

[startup+1785.5 s]
/proc/loadavg: 2.05 2.03 1.94 3/183 21590
/proc/meminfo: memFree=29020324/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=960028 CPUtime=1785.54
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1110204 0 0 0 178247 307 0 0 25 0 1 0 25688899 983068672 237591 4089446400 4194304 10345943 140734303277616 18446744073709551615 5012746 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 240007 237591 810 1502 0 238500 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 960028

[startup+1788.7 s]
/proc/loadavg: 2.05 2.03 1.94 2/178 21607
/proc/meminfo: memFree=29135920/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=961052 CPUtime=1788.74
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1110461 0 0 0 178567 307 0 0 25 0 1 0 25688899 984117248 237848 4089446400 4194304 10345943 140734303277616 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21533/statm: 240263 237848 810 1502 0 238756 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 961052

[startup+1790.3 s]
/proc/loadavg: 2.05 2.03 1.94 3/183 21617
/proc/meminfo: memFree=29095212/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=961052 CPUtime=1790.34
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1110487 0 0 0 178727 307 0 0 18 0 1 0 25688899 984117248 237874 4089446400 4194304 10345943 140734303277616 18446744073709551615 4246677 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21533/statm: 240263 237874 810 1502 0 238756 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 961052

[startup+1790.7 s]
/proc/loadavg: 2.04 2.03 1.94 3/183 21618
/proc/meminfo: memFree=29012628/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=961052 CPUtime=1790.74
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1110487 0 0 0 178767 307 0 0 18 0 1 0 25688899 984117248 237874 4089446400 4194304 10345943 140734303277616 18446744073709551615 4246430 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21533/statm: 240263 237874 810 1502 0 238756 0
Current children cumulated CPU time (s) 1790.74
Current children cumulated vsize (KiB) 961052

[startup+1791.1 s]
/proc/loadavg: 2.04 2.03 1.94 3/183 21618
/proc/meminfo: memFree=29012628/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=961052 CPUtime=1791.14
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1110489 0 0 0 178807 307 0 0 19 0 1 0 25688899 984117248 237876 4089446400 4194304 10345943 140734303277616 18446744073709551615 4653837 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21533/statm: 240263 237876 811 1502 0 238756 0
Current children cumulated CPU time (s) 1791.14
Current children cumulated vsize (KiB) 961052

[startup+1791.2 s]
/proc/loadavg: 2.04 2.03 1.94 3/183 21618
/proc/meminfo: memFree=29012628/32951124 swapFree=67111528/67111528
[pid=21533] ppid=21531 vsize=566812 CPUtime=1791.23
/proc/21533/stat : 21533 (pbscip.linux.x8) R 21531 21533 21211 0 -1 4202496 1110489 0 0 0 178815 308 0 0 19 0 1 0 25688899 580415488 133208 4089446400 4194304 10345943 140734303277616 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21533/statm: 141703 132696 811 1502 0 140196 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 566812

Child status: 0
Real time (s): 1791.24
CPU time (s): 1791.28
CPU user time (s): 1788.18
CPU system time (s): 3.10653
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 961052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.18
system time used= 3.10653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1110492
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= 931

runsolver used 3.23351 second user time and 6.53701 second system time

The end

Launcher Data 

Begin job on node132 at 2010-07-08 09:39:16
IDJOB=2705072
IDBENCH=79025
IDSOLVER=1214
FILE ID=node132/2705072-1278574756
PBS_JOBID= 11240190
Free space on /tmp= 73568 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 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-2705072-1278574756/watcher-2705072-1278574756 -o /tmp/evaluation-result-2705072-1278574756/solver-2705072-1278574756 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705072-1278574756.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 2dda6fbf8d261259c880dca3531a1919
RANDOM SEED=1888268753

node132.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.830
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.66
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.830
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	: 5332.83
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.830
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.830
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.82
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.830
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.82
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.830
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.75
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.830
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.74
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.830
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:      30030644 kB
Buffers:        147456 kB
Cached:        2508148 kB
SwapCached:          0 kB
Active:         998876 kB
Inactive:      1762308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30030644 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26244 kB
Writeback:           0 kB
AnonPages:      105184 kB
Mapped:          17756 kB
Slab:            96012 kB
PageTables:       4836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   255084 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73556 MiB
End job on node132 at 2010-07-08 10:09:08