Trace number 4441965

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07SAT 2425.08 2431.76

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUMd1aade7dcf65cc3dbe16a05e614ec6ef
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.105367
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4608
Total number of constraints30348
Number of constraints which are clauses29328
Number of constraints which are cardinality constraints (but not clauses)942
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	0

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (55611 MiB free)
  memory of node 1: 64510 MiB (60723 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441965-1721297361/watcher-4441965-1721297361 -o /tmp/evaluation-result-4441965-1721297361/solver-4441965-1721297361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975187 --watchdog 3760 pbscip -f HOME/instance-4441965-1721297361.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=977215, runsolver pid=977212

[startup+0.110443 s]*
/proc/loadavg: 4.08 4.10 4.06 4/250 977233
/proc/meminfo: memFree=119100444/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=109240 memory=68448 CPUtime=0.1 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 14029 0 0 0 8 2 0 0 20 0 1 0 181901461 111861760 17112 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 27310 17112 3566 3540 0 15567 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 109240 KiB
Current children cumulated memory: 68448 KiB

[startup+0.205451 s]*
/proc/loadavg: 4.08 4.10 4.06 5/252 977244
/proc/meminfo: memFree=119065284/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=124120 memory=83928 CPUtime=0.2 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 20637 0 0 0 17 3 0 0 20 0 1 0 181901461 127098880 20982 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 31030 20982 3709 3540 0 19287 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 124120 KiB
Current children cumulated memory: 83928 KiB

[startup+0.305509 s]*
/proc/loadavg: 4.08 4.10 4.06 5/256 977248
/proc/meminfo: memFree=119012028/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=129160 memory=89336 CPUtime=0.3 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 23194 0 0 0 27 3 0 0 20 0 1 0 181901461 132259840 22334 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 32290 22334 3741 3540 0 20547 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 129160 KiB
Current children cumulated memory: 89336 KiB

[startup+0.700233 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977248
/proc/meminfo: memFree=118954660/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=174856 memory=123272 CPUtime=0.68 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 30682 0 0 0 64 4 0 0 20 0 1 0 181901461 179052544 30818 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 43714 30818 3757 3540 0 31971 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 174856 KiB
Current children cumulated memory: 123272 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977248
/proc/meminfo: memFree=118872808/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=194868 memory=151144 CPUtime=1.48 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 37529 0 0 0 143 5 0 0 20 0 1 0 181901461 199544832 37786 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 48717 37786 3933 3540 0 36974 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 194868 KiB
Current children cumulated memory: 151144 KiB

[startup+3.10544 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977342
/proc/meminfo: memFree=122230988/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=197560 memory=152460 CPUtime=3.08 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 37863 0 0 0 303 5 0 0 20 0 1 0 181901461 202301440 38115 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 49390 38115 3933 3540 0 37647 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 197560 KiB
Current children cumulated memory: 152460 KiB

[startup+6.30019 s]
/proc/loadavg: 4.00 4.08 4.06 4/253 977816
/proc/meminfo: memFree=123350156/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=197560 memory=152720 CPUtime=6.26 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 37869 0 0 0 621 5 0 0 20 0 1 0 181901461 202301440 38180 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 49390 38180 3933 3540 0 37647 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 197560 KiB
Current children cumulated memory: 152720 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 978446
/proc/meminfo: memFree=122499296/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=197560 memory=153232 CPUtime=12.64 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 37879 0 0 0 1259 5 0 0 20 0 1 0 181901461 202301440 38308 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 49390 38308 3933 3540 0 37647 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 197560 KiB
Current children cumulated memory: 153232 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.06 5/256 978449
/proc/meminfo: memFree=121759740/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=207484 memory=161408 CPUtime=25.41 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 39958 0 0 0 2535 6 0 0 20 0 1 0 181901461 212463616 40352 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 51871 40352 3949 3540 0 40128 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 207484 KiB
Current children cumulated memory: 161408 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.12 4.07 5/257 978640
/proc/meminfo: memFree=122277956/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=222156 memory=170088 CPUtime=50.94 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 41349 0 0 0 5088 6 0 0 20 0 1 0 181901461 227487744 42522 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 55539 42522 3949 3540 0 43796 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 222156 KiB
Current children cumulated memory: 170088 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 4.19 4.10 5/257 978787
/proc/meminfo: memFree=122144724/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=242048 memory=192776 CPUtime=101.98 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 42939 0 0 0 10192 6 0 0 20 0 1 0 181901461 247857152 48194 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 60512 48194 3949 3540 0 48769 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 242048 KiB
Current children cumulated memory: 192776 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.17 4.09 5/257 978842
/proc/meminfo: memFree=122677808/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=294696 memory=237056 CPUtime=161.81 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 54136 0 0 0 16173 8 0 0 20 0 1 0 181901461 301768704 59264 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 73674 59264 3996 3540 0 61931 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 294696 KiB
Current children cumulated memory: 237056 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/257 978854
/proc/meminfo: memFree=122653020/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=294696 memory=237184 CPUtime=221.63 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 54205 0 0 0 22155 8 0 0 20 0 1 0 181901461 301768704 59296 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 73674 59296 3996 3540 0 61931 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 294696 KiB
Current children cumulated memory: 237184 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/257 978866
/proc/meminfo: memFree=122649240/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=294696 memory=237184 CPUtime=281.45 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 54274 0 0 0 28137 8 0 0 20 0 1 0 181901461 301768704 59296 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 73674 59296 3996 3540 0 61931 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 294696 KiB
Current children cumulated memory: 237184 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/257 978876
/proc/meminfo: memFree=122638124/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=295240 memory=237812 CPUtime=341.27 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 54529 0 0 0 34119 8 0 0 20 0 1 0 181901461 302325760 59453 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 73810 59453 3996 3540 0 62067 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 295240 KiB
Current children cumulated memory: 237812 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/255 978886
/proc/meminfo: memFree=122614664/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=295240 memory=237816 CPUtime=401.08 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 54608 0 0 0 40100 8 0 0 20 0 1 0 181901461 302325760 59454 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 73810 59454 3996 3540 0 62067 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 295240 KiB
Current children cumulated memory: 237816 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/255 978896
/proc/meminfo: memFree=122600000/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=295240 memory=237816 CPUtime=460.9 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 54677 0 0 0 46082 8 0 0 20 0 1 0 181901461 302325760 59454 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 73810 59454 3996 3540 0 62067 0

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

/proc/loadavg: 4.04 4.09 4.08 5/259 979844
/proc/meminfo: memFree=122357204/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2016.79 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 67467 0 0 0 201669 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2016.79 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2082.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 979856
/proc/meminfo: memFree=122348160/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2076.64 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 67573 0 0 0 207654 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2076.64 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2142.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/259 979867
/proc/meminfo: memFree=122336224/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2136.49 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 67671 0 0 0 213639 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2136.49 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2202.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 979877
/proc/meminfo: memFree=122325552/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2196.32 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 67774 0 0 0 219622 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2196.32 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2262.3 s]
/proc/loadavg: 4.41 4.19 4.12 5/257 979888
/proc/meminfo: memFree=122322960/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2256.14 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 67875 0 0 0 225604 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2256.14 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2322.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/255 979899
/proc/meminfo: memFree=122312640/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2315.95 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 67974 0 0 0 231585 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2315.95 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2382.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/255 979909
/proc/meminfo: memFree=122303628/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2375.76 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 68075 0 0 0 237566 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2375.76 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2431.76 s]
# the end of solver process 977215 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2424.97 s, system=0.107662 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2406.4 s]
/proc/loadavg: 4.15 4.17 4.11 5/255 979915
/proc/meminfo: memFree=122301108/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2399.79 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 68084 0 0 0 239969 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2399.79 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2419.2 s]
/proc/loadavg: 4.13 4.16 4.11 5/256 979917
/proc/meminfo: memFree=122300944/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2412.55 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 68084 0 0 0 241245 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2412.55 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2425.6 s]
/proc/loadavg: 4.18 4.17 4.12 5/256 979919
/proc/meminfo: memFree=122300860/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2418.93 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 68167 0 0 0 241883 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2418.93 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2428.8 s]
/proc/loadavg: 4.18 4.17 4.12 5/256 979919
/proc/meminfo: memFree=122300332/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2422.12 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 68171 0 0 0 242202 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2422.12 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2430.4 s]
/proc/loadavg: 4.17 4.17 4.12 5/256 979919
/proc/meminfo: memFree=122300332/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2423.71 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 68172 0 0 0 242361 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2423.71 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2431.2 s]
/proc/loadavg: 4.17 4.17 4.12 5/256 979919
/proc/meminfo: memFree=122300332/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2424.51 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 68172 0 0 0 242441 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2424.51 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2431.6 s]
/proc/loadavg: 4.17 4.17 4.12 5/256 979919
/proc/meminfo: memFree=122300332/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2424.91 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 68172 0 0 0 242481 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2424.91 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

[startup+2431.7 s]
/proc/loadavg: 4.17 4.17 4.12 5/256 979919
/proc/meminfo: memFree=122300332/131524600 swapFree=131071996/131071996
[pid=977215] ppid=977212 vsize=359712 memory=308236 CPUtime=2425.01 cores=5,7
/proc/977215/stat : 977215 (pbscip) R 977212 977215 975174 0 -1 4194304 68190 0 0 0 242491 10 0 0 20 0 1 0 181901461 368345088 77059 134679101440 4194304 18693293 140722098773808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28078080 140722098775043 140722098775142 140722098775142 140722098782158 0
/proc/977215/statm: 89928 77059 3996 3540 0 78185 0
Current children cumulated CPU time: 2425.01 s
Current children cumulated vsize: 359712 KiB
Current children cumulated memory: 308236 KiB

Child status: 0

Real time (s): 2431.76
CPU time (s): 2425.08
CPU user time (s): 2424.97
CPU system time (s): 0.107662
CPU usage (%): 99.7252
Max. virtual memory (cumulated for all children) (KiB): 359712
Max. memory (cumulated for all children) (KiB): 308236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2424.97
system time used= 0.107662
maximum resident set size= 308236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68213
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= 40
involuntary context switches= 1938


# summary of solver processes directly reported to runsolver:
#   pid: 977215
#   total CPU time (s): 2425.08
#   total CPU user time (s): 2424.97
#   total CPU system time (s): 0.107662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9868 second user time and 11.2136 second system time

The end

Launcher Data

Begin job on nodeC025 at 2024-07-18 12:09:34
IDJOB=4441965
IDBENCH=147758
IDSOLVER=3059
FILE ID=nodeC025/4441965-1721297361
RUNJOBID= nodeC025-1721293764-975187
SLURM_JOB_ID= 7542596
Free space on /tmp= 889948 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441965-1721297361/watcher-4441965-1721297361 -o /tmp/evaluation-result-4441965-1721297361/solver-4441965-1721297361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975187 --watchdog 3760  pbscip -f HOME/instance-4441965-1721297361.opb -t 3600 -j 2 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= d1aade7dcf65cc3dbe16a05e614ec6ef
RANDOM SEED=1858035804

nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3637.330
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3532.679
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.182
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3157.395
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3637.370
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3636.201
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.986
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3561.707
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119127260 kB
MemAvailable:   125128420 kB
Buffers:          498364 kB
Cached:          6266268 kB
SwapCached:            0 kB
Active:          1069668 kB
Inactive:       10546564 kB
Active(anon):       1520 kB
Inactive(anon):  4887848 kB
Active(file):    1068148 kB
Inactive(file):  5658716 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19900 kB
Writeback:            16 kB
AnonPages:       4849688 kB
Mapped:           129184 kB
Shmem:             37720 kB
KReclaimable:     227884 kB
Slab:             356132 kB
SReclaimable:     227884 kB
SUnreclaim:       128248 kB
KernelStack:        4124 kB
PageTables:        18792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5407488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69056 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3172352 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC025 at 2024-07-18 12:50:05