Trace number 4443075

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 83.5334 83.7303

General information on the benchmark

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

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: 63968 MiB (61857 MiB free)
  memory of node 1: 64473 MiB (62468 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=969563, runsolver pid=969560
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.09 4.13 4.09 5/255 969564
/proc/meminfo: memFree=127261376/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=108008 memory=64480 CPUtime=0.09 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 12230 0 0 0 8 1 0 0 20 0 1 0 181942042 110600192 16120 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 27002 16120 3777 3540 0 15259 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108008 KiB
Current children cumulated memory: 64480 KiB

[startup+0.205398 s]*
/proc/loadavg: 4.09 4.13 4.09 5/255 969564
/proc/meminfo: memFree=127230736/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=144460 memory=94052 CPUtime=0.2 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 17026 0 0 0 18 2 0 0 20 0 1 0 181942042 147927040 23513 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 36115 23513 3809 3540 0 24372 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 144460 KiB
Current children cumulated memory: 94052 KiB

[startup+0.305358 s]*
/proc/loadavg: 4.09 4.13 4.09 5/255 969564
/proc/meminfo: memFree=127228384/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=145392 memory=95372 CPUtime=0.3 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 17413 0 0 0 28 2 0 0 20 0 1 0 181942042 148881408 23843 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 36348 23843 3809 3540 0 24605 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145392 KiB
Current children cumulated memory: 95372 KiB

[startup+0.700181 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 969564
/proc/meminfo: memFree=127227756/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=145392 memory=95896 CPUtime=0.68 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 17483 0 0 0 66 2 0 0 20 0 1 0 181942042 148881408 23974 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 36348 23974 3809 3540 0 24605 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 145392 KiB
Current children cumulated memory: 95896 KiB

[startup+1.50017 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 969564
/proc/meminfo: memFree=127225040/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=146084 memory=96424 CPUtime=1.48 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 17656 0 0 0 146 2 0 0 20 0 1 0 181942042 149590016 24106 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 36521 24106 3809 3540 0 24778 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 146084 KiB
Current children cumulated memory: 96424 KiB

[startup+3.1053 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 969610
/proc/meminfo: memFree=127096256/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=159024 memory=109756 CPUtime=3.09 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 20794 0 0 0 306 3 0 0 20 0 1 0 181942042 162840576 27439 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 39756 27439 3985 3540 0 28013 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 159024 KiB
Current children cumulated memory: 109756 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.15 4.09 5/255 969610
/proc/meminfo: memFree=127058720/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=182460 memory=131152 CPUtime=6.28 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 26998 0 0 0 624 4 0 0 20 0 1 0 181942042 186839040 32788 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 45615 32788 4049 3540 0 33872 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 182460 KiB
Current children cumulated memory: 131152 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.09 5/255 969611
/proc/meminfo: memFree=127036204/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=182460 memory=131152 CPUtime=12.66 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 27010 0 0 0 1262 4 0 0 20 0 1 0 181942042 186839040 32788 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 45615 32788 4049 3540 0 33872 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 182460 KiB
Current children cumulated memory: 131152 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.09 5/255 969613
/proc/meminfo: memFree=127007388/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=184128 memory=134356 CPUtime=25.43 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 28704 0 0 0 2539 4 0 0 20 0 1 0 181942042 188547072 33589 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 46032 33589 4049 3540 0 34289 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 184128 KiB
Current children cumulated memory: 134356 KiB

[startup+51.1052 s]
/proc/loadavg: 4.07 4.12 4.09 5/255 969618
/proc/meminfo: memFree=126985420/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=187756 memory=138336 CPUtime=50.97 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 34260 0 0 0 5092 5 0 0 20 0 1 0 181942042 192262144 34584 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 46939 34584 4049 3540 0 35196 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 187756 KiB
Current children cumulated memory: 138336 KiB

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

# cumulated CPU time of all completed processes:  user=83.4616 s, system=0.071778 s

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

[startup+51.2002 s]
/proc/loadavg: 4.07 4.12 4.09 5/255 969618
/proc/meminfo: memFree=126985420/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=187756 memory=138336 CPUtime=51.07 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 34260 0 0 0 5102 5 0 0 20 0 1 0 181942042 192262144 34584 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 46939 34584 4049 3540 0 35196 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 187756 KiB
Current children cumulated memory: 138336 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.06 4.12 4.09 5/255 969621
/proc/meminfo: memFree=126984712/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=188064 memory=138652 CPUtime=63.84 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 37918 0 0 0 6379 5 0 0 20 0 1 0 181942042 192577536 34663 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 47016 34663 4049 3540 0 35273 0
Current children cumulated CPU time: 63.84 s
Current children cumulated vsize: 188064 KiB
Current children cumulated memory: 138652 KiB

[startup+76.8002 s]
/proc/loadavg: 4.05 4.11 4.09 5/255 969622
/proc/meminfo: memFree=126978760/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=188244 memory=138832 CPUtime=76.6 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 39441 0 0 0 7655 5 0 0 20 0 1 0 181942042 192761856 34708 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 47061 34708 4049 3540 0 35318 0
Current children cumulated CPU time: 76.6 s
Current children cumulated vsize: 188244 KiB
Current children cumulated memory: 138832 KiB

[startup+80.0001 s]*
/proc/loadavg: 4.04 4.11 4.08 5/255 969624
/proc/meminfo: memFree=126973020/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=195980 memory=144616 CPUtime=79.81 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 40951 0 0 0 7975 6 0 0 20 0 1 0 181942042 200683520 36154 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 48995 36154 4049 3540 0 37252 0
Current children cumulated CPU time: 79.81 s
Current children cumulated vsize: 195980 KiB
Current children cumulated memory: 144616 KiB

[startup+81.6001 s]
/proc/loadavg: 4.04 4.11 4.08 5/255 969624
/proc/meminfo: memFree=126972816/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=195980 memory=144880 CPUtime=81.4 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 40968 0 0 0 8134 6 0 0 20 0 1 0 181942042 200683520 36220 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 48995 36220 4049 3540 0 37252 0
Current children cumulated CPU time: 81.4 s
Current children cumulated vsize: 195980 KiB
Current children cumulated memory: 144880 KiB

[startup+82.4001 s]
/proc/loadavg: 4.04 4.11 4.08 5/255 969624
/proc/meminfo: memFree=126972760/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=196248 memory=144880 CPUtime=82.2 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 41014 0 0 0 8214 6 0 0 20 0 1 0 181942042 200957952 36220 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 49062 36220 4049 3540 0 37319 0
Current children cumulated CPU time: 82.2 s
Current children cumulated vsize: 196248 KiB
Current children cumulated memory: 144880 KiB

[startup+83.2001 s]
/proc/loadavg: 4.04 4.11 4.08 5/255 969624
/proc/meminfo: memFree=126972368/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=196652 memory=145408 CPUtime=83 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 41139 0 0 0 8294 6 0 0 20 0 1 0 181942042 201371648 36352 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 49163 36352 4049 3540 0 37420 0
Current children cumulated CPU time: 83 s
Current children cumulated vsize: 196652 KiB
Current children cumulated memory: 145408 KiB

[startup+83.6002 s]
/proc/loadavg: 4.04 4.11 4.08 5/255 969624
/proc/meminfo: memFree=126972368/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=196652 memory=145408 CPUtime=83.39 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 41152 0 0 0 8333 6 0 0 20 0 1 0 181942042 201371648 36352 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 49163 36352 4049 3540 0 37420 0
Current children cumulated CPU time: 83.39 s
Current children cumulated vsize: 196652 KiB
Current children cumulated memory: 145408 KiB

[startup+83.7002 s]
/proc/loadavg: 4.04 4.11 4.08 5/255 969624
/proc/meminfo: memFree=126972368/131524600 swapFree=131071216/131071996
[pid=969563] ppid=969560 vsize=196652 memory=145672 CPUtime=83.49 cores=4,6
/proc/969563/stat : 969563 (pbscip) R 969560 969563 967139 0 -1 4194304 41162 0 0 0 8343 6 0 0 20 0 1 0 181942042 201371648 36418 134679101440 4194304 18693293 140729930088128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44146688 140729930093571 140729930093670 140729930093670 140729930100686 0
/proc/969563/statm: 49163 36418 4049 3540 0 37420 0
Current children cumulated CPU time: 83.49 s
Current children cumulated vsize: 196652 KiB
Current children cumulated memory: 145672 KiB

Child status: 0

Real time (s): 83.7303
CPU time (s): 83.5334
CPU user time (s): 83.4616
CPU system time (s): 0.071778
CPU usage (%): 99.7648
Max. virtual memory (cumulated for all children) (KiB): 196652
Max. memory (cumulated for all children) (KiB): 145672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.4616
system time used= 0.071778
maximum resident set size= 145700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41234
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= 7
involuntary context switches= 91


# summary of solver processes directly reported to runsolver:
#   pid: 969563
#   total CPU time (s): 83.5334
#   total CPU user time (s): 83.4616
#   total CPU system time (s): 0.071778

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.132198 second user time and 0.380476 second system time

The end

Launcher Data

Begin job on nodeC018 at 2024-07-18 12:16:48
IDJOB=4443075
IDBENCH=147862
IDSOLVER=3059
FILE ID=nodeC018/4443075-1721297796
RUNJOBID= nodeC018-1721294195-967150
SLURM_JOB_ID= 7542613
Free space on /tmp= 890024 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin12.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-4443075-1721297796/watcher-4443075-1721297796 -o /tmp/evaluation-result-4443075-1721297796/solver-4443075-1721297796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721294195-967150 --watchdog 3760  pbscip -f HOME/instance-4443075-1721297796.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= e3014e41fec9c16977639004d85b0b7a
RANDOM SEED=1918292923

nodeC018.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		: 3667.885
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.52
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		: 3685.891
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	: 7005.30
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		: 3663.231
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.52
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		: 3600.132
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	: 7005.30
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		: 3656.216
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.52
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		: 3685.896
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	: 7005.30
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		: 3666.148
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.52
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		: 3600.003
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	: 7005.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127309756 kB
MemAvailable:   129156108 kB
Buffers:          463632 kB
Cached:          2213856 kB
SwapCached:          148 kB
Active:           967432 kB
Inactive:        2659724 kB
Active(anon):       1580 kB
Inactive(anon):   993884 kB
Active(file):     965852 kB
Inactive(file):  1665840 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             37880 kB
Writeback:             0 kB
AnonPages:        947976 kB
Mapped:           143056 kB
Shmem:             45784 kB
KReclaimable:     108968 kB
Slab:             205748 kB
SReclaimable:     108968 kB
SUnreclaim:        96780 kB
KernelStack:        4192 kB
PageTables:        11224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1355192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    499712 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:      262868 kB
DirectMap2M:    24676352 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 890008 MiB
End job on nodeC018 at 2024-07-18 12:18:12