Trace number 4523517
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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
General information on the benchmark
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb |
| MD5SUM | f833be1967b503cfce1013007946cb2b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 5.27099 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1294 |
| Total number of constraints | 1091 |
| Number of constraints which are clauses | 2 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 785 |
| Number of terms in the objective function | 785 |
| Biggest coefficient in the objective function | 12628 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 55047 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 12628 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 55047 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.37/0.43 c #variables 1294 #constraints 1092
0.37/0.43 c objective is ce32
0.37/0.44 c initial watched CF 32, 64, 128, Arb: 3 , 0 , 0 , 0
0.37/0.44 c initial counting CF 32, 64, 128, Arb: 1086 , 0 , 0 , 0
0.37/0.44 c GLOBAL bounds - >= -12628 @ 0.365239
0.37/0.45 c GLOBAL bounds - >= -12628 @ 0.366983
0.37/0.45 c GLOBAL bounds - >= -12628 @ 0.368622
0.37/0.46 c GLOBAL bounds - >= -12628 @ 0.370407
0.37/0.46 c GLOBAL bounds - >= -12628 @ 0.372072
0.37/0.46 c GLOBAL bounds - >= -12628 @ 0.374846
0.37/0.47 c GLOBAL bounds - >= -12628 @ 0.376523
0.37/0.47 c GLOBAL bounds - >= -12628 @ 0.376681
0.37/0.48 c GLOBAL bounds - >= -12628 @ 0.377929
0.37/0.48 c GLOBAL bounds - >= -12628 @ 0.381702
0.37/0.49 c GLOBAL bounds - >= -12628 @ 0.385435
0.37/0.49 c GLOBAL bounds - >= -12628 @ 0.388195
0.37/0.50 c GLOBAL bounds - >= -12628 @ 0.391954
0.37/0.50 c GLOBAL bounds - >= -12628 @ 0.394662
0.37/0.51 c GLOBAL bounds - >= -12628 @ 0.397401
0.37/0.51 c GLOBAL bounds - >= -12628 @ 0.400163
0.37/0.52 c GLOBAL bounds - >= -12628 @ 0.402934
0.37/0.52 c GLOBAL bounds - >= -12628 @ 0.404972
0.47/0.53 c GLOBAL bounds - >= -12628 @ 0.405928
0.47/0.53 c GLOBAL bounds - >= -12628 @ 0.407682
0.47/0.54 c GLOBAL bounds - >= -12628 @ 0.410433
0.47/0.54 c GLOBAL bounds - >= -12628 @ 0.413287
0.47/0.55 c GLOBAL bounds - >= -12628 @ 0.416049
0.47/0.55 c GLOBAL bounds - >= -12628 @ 0.418926
0.47/0.56 c GLOBAL bounds - >= -12628 @ 0.4228
0.47/0.56 c GLOBAL bounds - >= -12628 @ 0.424681
0.47/0.57 c GLOBAL bounds - >= -12628 @ 0.426528
0.47/0.57 c GLOBAL bounds - >= -12628 @ 0.429238
0.47/0.58 c GLOBAL bounds - >= -12628 @ 0.432069
0.47/0.58 c GLOBAL bounds - >= -12628 @ 0.434935
0.47/0.59 c GLOBAL bounds - >= -12628 @ 0.437045
0.47/0.59 c GLOBAL bounds - >= -12628 @ 0.437782
0.47/0.60 c GLOBAL bounds - >= -12628 @ 0.439712
0.47/0.60 c GLOBAL bounds - >= -12628 @ 0.441875
0.47/0.61 c GLOBAL bounds - >= -12628 @ 0.442838
0.55/0.61 c GLOBAL bounds - >= -12628 @ 0.444734
0.55/0.62 c GLOBAL bounds - >= -12628 @ 0.447614
0.55/0.62 c GLOBAL bounds - >= -12628 @ 0.449603
0.55/0.63 c GLOBAL bounds - >= -12628 @ 0.451429
0.55/0.63 c GLOBAL bounds - >= -12628 @ 0.454448
0.55/0.64 c GLOBAL bounds - >= -12628 @ 0.458243
0.55/0.64 c GLOBAL bounds - >= -12628 @ 0.462239
0.55/0.65 c GLOBAL bounds - >= -12628 @ 0.463383
0.55/0.65 c GLOBAL bounds - >= -12628 @ 0.467276
0.55/0.66 c GLOBAL bounds - >= -12628 @ 0.471228
0.55/0.66 c GLOBAL bounds - >= -12628 @ 0.473324
0.55/0.67 c GLOBAL bounds - >= -12628 @ 0.476294
0.55/0.67 c GLOBAL bounds - >= -12628 @ 0.480361
0.55/0.68 c GLOBAL bounds - >= -12628 @ 0.482353
0.55/0.68 c GLOBAL bounds - >= -12628 @ 0.48434
0.55/0.69 c GLOBAL bounds - >= -12628 @ 0.48735
0.55/0.69 c GLOBAL bounds - >= -12628 @ 0.490309
0.55/0.70 c GLOBAL bounds - >= -12628 @ 0.494312
0.64/0.70 c GLOBAL bounds - >= -12628 @ 0.496466
0.64/0.71 c GLOBAL bounds - >= -12628 @ 0.49847
0.64/0.71 c GLOBAL bounds - >= -12628 @ 0.502486
0.64/0.72 c GLOBAL bounds - >= -12628 @ 0.504611
0.64/0.72 c GLOBAL bounds - >= -12628 @ 0.507763
0.64/0.73 c GLOBAL bounds - >= -12628 @ 0.510821
0.64/0.73 c GLOBAL bounds - >= -12628 @ 0.513061
0.64/0.74 c GLOBAL bounds - >= -12628 @ 0.51613
0.64/0.74 c GLOBAL bounds - >= -12628 @ 0.517237
0.64/0.75 c GLOBAL bounds - >= -12628 @ 0.521245
0.64/0.75 c GLOBAL bounds - >= -12628 @ 0.524421
0.64/0.76 c GLOBAL bounds - >= -12628 @ 0.526438
0.64/0.76 c GLOBAL bounds - >= -12628 @ 0.53006
0.64/0.77 c GLOBAL bounds - >= -12628 @ 0.532136
0.64/0.77 c GLOBAL bounds - >= -12628 @ 0.535213
0.64/0.78 c GLOBAL bounds - >= -12628 @ 0.539164
0.64/0.78 c GLOBAL bounds - >= -12628 @ 0.541229
0.64/0.79 c GLOBAL bounds - >= -12628 @ 0.544163
0.64/0.79 c GLOBAL bounds - >= -12628 @ 0.546231
0.75/0.80 c GLOBAL bounds - >= -12628 @ 0.549533
0.75/0.80 c GLOBAL bounds - >= -12628 @ 0.552728
0.75/0.81 c GLOBAL bounds - >= -12628 @ 0.554898
0.75/0.81 c GLOBAL bounds - >= -12628 @ 0.558007
0.75/0.82 c GLOBAL bounds - >= -12628 @ 0.561216
0.75/0.82 c GLOBAL bounds - >= -12628 @ 0.565253
0.75/0.83 c GLOBAL bounds - >= -12628 @ 0.568454
0.75/0.83 c GLOBAL bounds - >= -12628 @ 0.572622
0.75/0.84 c GLOBAL bounds - >= -12628 @ 0.575831
0.75/0.84 c GLOBAL bounds - >= -12628 @ 0.578943
0.75/0.85 c GLOBAL bounds - >= -12628 @ 0.581648
0.75/0.85 c GLOBAL bounds - >= -12628 @ 0.582966
0.75/0.85 c GLOBAL bounds - >= -12628 @ 0.585494
0.75/0.86 c GLOBAL bounds - >= -12628 @ 0.587929
0.75/0.86 c GLOBAL bounds - >= -12628 @ 0.590446
0.75/0.86 c GLOBAL bounds - >= -12628 @ 0.591925
0.75/0.87 c GLOBAL bounds - >= -12628 @ 0.592089
0.75/0.87 c GLOBAL bounds - >= -12628 @ 0.594914
0.75/0.88 c GLOBAL bounds - >= -12628 @ 0.597506
0.75/0.88 c GLOBAL bounds - >= -12628 @ 0.60005
0.75/0.88 c GLOBAL bounds - >= -12628 @ 0.601848
0.75/0.89 c GLOBAL bounds - >= -12628 @ 0.602883
0.75/0.89 c GLOBAL bounds - >= -12628 @ 0.604611
0.75/0.89 c GLOBAL bounds - >= -12628 @ 0.606034
0.85/0.90 c GLOBAL bounds - >= -12628 @ 0.607687
0.85/0.90 c GLOBAL bounds - >= -12628 @ 0.609148
0.85/0.90 c GLOBAL bounds - >= -12628 @ 0.611646
0.85/0.91 c GLOBAL bounds - >= -12628 @ 0.615234
0.85/0.91 c GLOBAL bounds - >= -12628 @ 0.617965
0.85/0.91 c GLOBAL bounds - >= -12628 @ 0.618505
0.85/0.92 c GLOBAL bounds - >= -12628 @ 0.619951
0.85/0.92 c GLOBAL bounds - >= -12628 @ 0.62146
0.85/0.92 c GLOBAL bounds - >= -12628 @ 0.622822
0.85/0.93 c GLOBAL bounds - >= -12628 @ 0.624407
0.85/0.93 c GLOBAL bounds - >= -12628 @ 0.625753
0.85/0.93 c GLOBAL bounds - >= -12628 @ 0.626354
0.85/0.94 c GLOBAL bounds - >= -12628 @ 0.628717
0.85/0.94 c GLOBAL bounds - >= -12628 @ 0.63028
0.85/0.95 c GLOBAL bounds - >= -12628 @ 0.632561
0.85/0.95 c GLOBAL bounds - >= -12628 @ 0.635278
0.85/0.95 c GLOBAL bounds - >= -12628 @ 0.637461
0.85/0.96 c GLOBAL bounds - >= -12628 @ 0.638836
0.85/0.96 c GLOBAL bounds - >= -12628 @ 0.641518
0.85/0.96 c GLOBAL bounds - >= -12628 @ 0.643717
0.85/0.97 c GLOBAL bounds - >= -12628 @ 0.644488
0.85/0.97 c GLOBAL bounds - >= -12628 @ 0.645674
0.85/0.97 c GLOBAL bounds - >= -12628 @ 0.647383
0.85/0.98 c GLOBAL bounds - >= -12628 @ 0.649601
0.85/0.98 c GLOBAL bounds - >= -12628 @ 0.6521
0.85/0.98 c GLOBAL bounds - >= -12628 @ 0.654585
0.85/0.99 c GLOBAL bounds - >= -12628 @ 0.655332
0.85/0.99 c GLOBAL bounds - >= -12628 @ 0.656553
0.85/0.99 c GLOBAL bounds - >= -12628 @ 0.657278
0.85/1.00 c GLOBAL bounds - >= -12628 @ 0.660604
0.85/1.00 c GLOBAL bounds - >= -12628 @ 0.663134
0.85/1.00 c GLOBAL bounds - >= -12628 @ 0.664693
0.85/1.01 c GLOBAL bounds - >= -12628 @ 0.667086
0.96/1.01 c GLOBAL bounds - >= -12628 @ 0.67126
0.96/1.02 c GLOBAL bounds - >= -12628 @ 0.673729
0.96/1.02 c GLOBAL bounds - >= -12628 @ 0.675276
0.96/1.02 c GLOBAL bounds - >= -12628 @ 0.677071
0.96/1.03 c GLOBAL bounds - >= -12628 @ 0.678273
0.96/1.03 c GLOBAL bounds - >= -12628 @ 0.679806
0.96/1.03 c GLOBAL bounds - >= -12628 @ 0.683315
0.96/1.04 c GLOBAL bounds - >= -12628 @ 0.685076
0.96/1.04 c GLOBAL bounds - >= -12628 @ 0.687166
0.96/1.05 c GLOBAL bounds - >= -12628 @ 0.689025
0.96/1.05 c GLOBAL bounds - >= -12628 @ 0.692261
0.96/1.05 c GLOBAL bounds - >= -12628 @ 0.69392
0.96/1.06 c GLOBAL bounds - >= -12628 @ 0.696416
0.96/1.06 c GLOBAL bounds - >= -12628 @ 0.70001
0.96/1.06 c GLOBAL bounds - >= -12628 @ 0.700877
0.96/1.07 c GLOBAL bounds - >= -12628 @ 0.70336
0.96/1.07 c GLOBAL bounds - >= -12628 @ 0.705584
0.96/1.07 c GLOBAL bounds - >= -12628 @ 0.708002
0.96/1.08 c GLOBAL bounds - >= -12628 @ 0.71147
0.96/1.08 c GLOBAL bounds - >= -12628 @ 0.714988
0.96/1.08 c GLOBAL bounds - >= -12628 @ 0.71544
0.96/1.09 c GLOBAL bounds - >= -12628 @ 0.718036
0.96/1.09 c GLOBAL bounds - >= -12628 @ 0.719843
0.96/1.09 c GLOBAL bounds - >= -12628 @ 0.721104
0.96/1.10 c GLOBAL bounds - >= -12628 @ 0.723407
0.96/1.10 c GLOBAL bounds - >= -12628 @ 0.724986
0.96/1.10 c GLOBAL bounds - >= -12628 @ 0.727184
0.96/1.11 c GLOBAL bounds - >= -12628 @ 0.729442
1.05/1.11 c GLOBAL bounds - >= -12628 @ 0.731372
1.05/1.11 c GLOBAL bounds - >= -12628 @ 0.732279
1.05/1.12 c GLOBAL bounds - >= -12628 @ 0.73389
1.05/1.12 c GLOBAL bounds - >= -12628 @ 0.735189
1.05/1.13 c GLOBAL bounds - >= -12628 @ 0.737673
1.05/1.13 c GLOBAL bounds - >= -12628 @ 0.738338
1.05/1.13 c GLOBAL bounds - >= -12628 @ 0.741503
1.05/1.14 c GLOBAL bounds - >= -12628 @ 0.744143
1.05/1.14 c GLOBAL bounds - >= -12628 @ 0.746727
1.05/1.14 c GLOBAL bounds - >= -12628 @ 0.748153
1.05/1.15 c GLOBAL bounds - >= -12628 @ 0.748721
1.05/1.15 c GLOBAL bounds - >= -12628 @ 0.751053
1.05/1.15 c GLOBAL bounds - >= -12628 @ 0.753379
1.05/1.16 c GLOBAL bounds - >= -12628 @ 0.755719
1.05/1.16 c GLOBAL bounds - >= -12628 @ 0.757981
1.05/1.16 c GLOBAL bounds - >= -12628 @ 0.76028
1.05/1.17 c GLOBAL bounds - >= -12628 @ 0.762863
1.05/1.17 c GLOBAL bounds - >= -12628 @ 0.764131
1.05/1.17 c GLOBAL bounds - >= -12628 @ 0.767411
1.05/1.18 c GLOBAL bounds - >= -12628 @ 0.769903
1.05/1.18 c GLOBAL bounds - >= -12628 @ 0.770631
1.05/1.18 c GLOBAL bounds - >= -12628 @ 0.773788
1.05/1.19 c GLOBAL bounds - >= -12628 @ 0.774999
1.05/1.19 c GLOBAL bounds - >= -12628 @ 0.777655
1.05/1.19 c GLOBAL bounds - >= -12628 @ 0.780748
1.14/1.20 c GLOBAL bounds - >= -12628 @ 0.782384
1.14/1.20 c GLOBAL bounds - >= -12628 @ 0.784755
1.14/1.20 c GLOBAL bounds - >= -12628 @ 0.787194
1.14/1.21 c GLOBAL bounds - >= -12628 @ 0.789596
1.14/1.21 c GLOBAL bounds - >= -12628 @ 0.790789
1.14/1.21 c GLOBAL bounds - >= -12628 @ 0.792244
1.14/1.22 c GLOBAL bounds - >= -12628 @ 0.79378
1.14/1.22 c GLOBAL bounds - >= -12628 @ 0.795027
1.14/1.22 c GLOBAL bounds - >= -12628 @ 0.797644
1.14/1.23 c GLOBAL bounds - >= -12628 @ 0.799078
1.14/1.23 c GLOBAL bounds - >= -12628 @ 0.801619
1.14/1.23 c GLOBAL bounds - >= -12628 @ 0.80374
1.14/1.24 c GLOBAL bounds - >= -12628 @ 0.805452
1.14/1.24 c GLOBAL bounds - >= -12628 @ 0.806683
1.14/1.24 c GLOBAL bounds - >= -12628 @ 0.80994
1.14/1.25 c GLOBAL bounds - >= -12628 @ 0.81247
1.14/1.25 c GLOBAL bounds - >= -12628 @ 0.814508
1.14/1.25 c GLOBAL bounds - >= -12628 @ 0.816568
1.14/1.26 c GLOBAL bounds - >= -12628 @ 0.819029
1.14/1.26 c GLOBAL bounds - >= -12628 @ 0.822053
1.14/1.26 c GLOBAL bounds - >= -12628 @ 0.825481
1.14/1.27 c GLOBAL bounds - >= -12628 @ 0.82678
1.14/1.27 c GLOBAL bounds - >= -12628 @ 0.828041
1.14/1.27 c GLOBAL bounds - >= -12628 @ 0.830386
1.14/1.28 c GLOBAL bounds - >= -12628 @ 0.832628
1.14/1.28 c GLOBAL bounds - >= -12628 @ 0.834614
1.14/1.28 c GLOBAL bounds - >= -12628 @ 0.835826
1.14/1.29 c GLOBAL bounds - >= -12628 @ 0.837163
1.14/1.29 c GLOBAL bounds - >= -12628 @ 0.839733
1.14/1.29 c GLOBAL bounds - >= -12628 @ 0.839921
1.24/1.30 c GLOBAL bounds - >= -12628 @ 0.842149
1.24/1.30 c GLOBAL bounds - >= -12628 @ 0.844478
1.24/1.30 c GLOBAL bounds - >= -12628 @ 0.845702
1.24/1.31 c GLOBAL bounds - >= -12628 @ 0.84589
1.24/1.31 c GLOBAL bounds - >= -12628 @ 0.847492
1.24/1.31 c GLOBAL bounds - >= -12628 @ 0.848408
1.24/1.32 c GLOBAL bounds - >= -12628 @ 0.84954
1.24/1.32 c GLOBAL bounds - >= -12628 @ 0.851692
1.24/1.32 c GLOBAL bounds - >= -12628 @ 0.853693
1.24/1.33 c GLOBAL bounds - >= -12628 @ 0.854696
1.24/1.33 c GLOBAL bounds - >= -12628 @ 0.855896
1.24/1.33 c GLOBAL bounds - >= -12628 @ 0.858411
1.24/1.34 c GLOBAL bounds - >= -12628 @ 0.859592
1.24/1.34 c GLOBAL bounds - >= -12628 @ 0.860798
1.24/1.34 c GLOBAL bounds - >= -12628 @ 0.862762
1.24/1.34 c GLOBAL bounds - >= -12628 @ 0.864312
1.24/1.35 c GLOBAL bounds - >= -12628 @ 0.864783
1.24/1.35 c GLOBAL bounds - >= -12628 @ 0.864783
1.24/1.35 c GLOBAL bounds - >= -12628 @ 0.866205
1.24/1.35 c GLOBAL bounds - >= -12628 @ 0.868041
1.24/1.36 c GLOBAL bounds - >= -12628 @ 0.870597
1.24/1.36 c GLOBAL bounds - >= -12628 @ 0.871755
1.24/1.36 c GLOBAL bounds - >= -12628 @ 0.873268
1.24/1.36 c GLOBAL bounds - >= -12628 @ 0.874261
1.24/1.36 c GLOBAL bounds - >= -12628 @ 0.875557
1.24/1.37 c GLOBAL bounds - >= -12628 @ 0.87674
1.24/1.37 c GLOBAL bounds - >= -12628 @ 0.878593
1.24/1.37 c GLOBAL bounds - >= -12628 @ 0.879212
1.24/1.37 c GLOBAL bounds - >= -12628 @ 0.879729
1.24/1.38 c GLOBAL bounds - >= -12628 @ 0.881576
1.24/1.38 c GLOBAL bounds - >= -12628 @ 0.883246
1.24/1.38 c GLOBAL bounds - >= -12628 @ 0.884231
1.24/1.38 c GLOBAL bounds - >= -12628 @ 0.884713
1.24/1.38 c GLOBAL bounds - >= -12628 @ 0.884713
1.24/1.39 c GLOBAL bounds - >= -12628 @ 0.886193
1.24/1.39 c GLOBAL bounds - >= -12628 @ 0.887074
1.24/1.39 c GLOBAL bounds - >= -12628 @ 0.889168
1.24/1.39 c GLOBAL bounds - >= -12628 @ 0.89031
1.24/1.40 c GLOBAL bounds - >= -12628 @ 0.891683
1.34/1.40 c GLOBAL bounds - >= -12628 @ 0.893175
1.34/1.40 c GLOBAL bounds - >= -12628 @ 0.893677
1.34/1.40 c GLOBAL bounds - >= -12628 @ 0.894672
1.34/1.40 c GLOBAL bounds - >= -12628 @ 0.896085
1.34/1.41 c GLOBAL bounds - >= -12628 @ 0.897082
1.34/1.41 c GLOBAL bounds - >= -12628 @ 0.898221
1.34/1.41 c GLOBAL bounds - >= -12628 @ 0.900526
1.34/1.42 c GLOBAL bounds - >= -12628 @ 0.900649
1.34/1.42 c GLOBAL bounds - >= -12628 @ 0.901163
1.34/1.42 c GLOBAL bounds - >= -12628 @ 0.90164
1.34/1.42 c GLOBAL bounds - >= -12628 @ 0.903156
1.34/1.42 c GLOBAL bounds - >= -12628 @ 0.904629
1.34/1.43 c GLOBAL bounds - >= -12628 @ 0.90463
1.34/1.43 c GLOBAL bounds - >= -12628 @ 0.906123
1.34/1.43 c GLOBAL bounds - >= -12628 @ 0.907121
1.34/1.43 c GLOBAL bounds - >= -12628 @ 0.907612
1.34/1.44 c GLOBAL bounds - >= -12628 @ 0.908185
1.34/1.44 c GLOBAL bounds - >= -12628 @ 0.909601
1.34/1.44 c GLOBAL bounds - >= -12628 @ 0.910366
1.34/1.44 c GLOBAL bounds - >= -12628 @ 0.91103
1.34/1.44 c GLOBAL bounds - >= -12628 @ 0.911593
1.34/1.45 c GLOBAL bounds - >= -12628 @ 0.912547
1.34/1.45 c GLOBAL bounds - >= -12628 @ 0.913586
1.34/1.45 c GLOBAL bounds - >= -12628 @ 0.914097
1.34/1.45 c GLOBAL bounds - >= 0 @ 0.914113
1.44/1.56 c rational objective 0
3.74/3.85 c GLOBAL bounds - >= 0 @ 3.26262
3.74/3.88 c GLOBAL bounds - >= 0 @ 3.29294
3.84/3.92 c GLOBAL bounds - >= 0 @ 3.32862
3.84/3.96 c GLOBAL bounds - >= 0 @ 3.3667
3.94/4.02 c GLOBAL bounds - >= 0 @ 3.4241
3.94/4.10 c GLOBAL bounds - >= 0 @ 3.49912
4.13/4.23 c GLOBAL bounds - >= 0 @ 3.62886
4.34/4.46 c GLOBAL bounds - >= 0 @ 3.85599
4.83/4.99 c GLOBAL bounds - >= 0 @ 4.37474
5.83/5.98 c GLOBAL bounds - >= 0 @ 5.35166
7.72/7.81 c #Conflicts: 1000 | #Constraints: 2106
7.72/7.81 c GLOBAL bounds - >= 0 @ 7.15105
14.80/14.97 c #Conflicts: 2000 | #Constraints: 3110
14.80/14.97 c INPROCESSING
14.80/14.97 c GARBAGE COLLECT
14.80/14.97 c #Conflicts: 3000 | #Constraints: 3188
14.80/14.97 c #Conflicts: 4000 | #Constraints: 4703
14.80/14.97 c INPROCESSING
14.80/14.97 c GARBAGE COLLECT
14.80/14.97 c rational objective 0
18.59/18.70 c GLOBAL bounds - >= 0 @ 17.887
26.18/26.30 c #Conflicts: 5000 | #Constraints: 3937
26.18/26.30 c #Conflicts: 6000 | #Constraints: 4938
26.18/26.30 c INPROCESSING
26.18/26.30 c GARBAGE COLLECT
26.18/26.30 c #Conflicts: 7000 | #Constraints: 3758
26.18/26.30 c #Conflicts: 8000 | #Constraints: 4780
26.18/26.30 c #Conflicts: 9000 | #Constraints: 5782
26.18/26.30 c INPROCESSING
26.18/26.30 c GARBAGE COLLECT
26.18/26.30 c rational objective 0
30.47/30.64 c #Conflicts: 10000 | #Constraints: 4367
30.47/30.64 c #Conflicts: 11000 | #Constraints: 5372
30.47/30.64 c #Conflicts: 12000 | #Constraints: 6375
30.47/30.64 c INPROCESSING
30.47/30.64 c GARBAGE COLLECT
30.47/30.64 c rational objective 0
37.15/37.34 c #Conflicts: 13000 | #Constraints: 4799
37.15/37.34 c GLOBAL bounds - >= 0 @ 36.1932
40.65/40.88 c #Conflicts: 14000 | #Constraints: 5852
40.65/40.88 c #Conflicts: 15000 | #Constraints: 7056
40.65/40.88 c INPROCESSING
40.65/40.88 c GARBAGE COLLECT
40.65/40.88 c rational objective 0
44.24/44.40 c #Conflicts: 16000 | #Constraints: 5094
44.24/44.40 c #Conflicts: 17000 | #Constraints: 6106
44.24/44.40 c #Conflicts: 18000 | #Constraints: 7137
44.24/44.40 c INPROCESSING
44.24/44.40 c GARBAGE COLLECT
44.24/44.40 c rational objective 5.53412
51.32/51.51 c #Conflicts: 19000 | #Constraints: 5047
51.32/51.51 c #Conflicts: 20000 | #Constraints: 6048
51.32/51.51 c #Conflicts: 21000 | #Constraints: 7068
51.32/51.51 c INPROCESSING
51.32/51.51 c GARBAGE COLLECT
51.32/51.51 c rational objective 5.53412
56.50/56.79 c #Conflicts: 22000 | #Constraints: 4927
56.50/56.79 c #Conflicts: 23000 | #Constraints: 6015
56.50/56.79 c GLOBAL bounds 125 >= 0 @ 55.2855
56.50/56.79 c GLOBAL bounds 125 >= 0 @ 55.2872
56.61/56.83 c GLOBAL bounds 125 >= 0 @ 55.3218
56.61/56.83 c GLOBAL bounds 125 >= 0 @ 55.3231
56.61/56.86 c GLOBAL bounds 125 >= 0 @ 55.3582
56.61/56.87 c GLOBAL bounds 125 >= 0 @ 55.3599
56.71/56.92 c GLOBAL bounds 125 >= 0 @ 55.4101
56.71/56.92 c GLOBAL bounds 125 >= 0 @ 55.4112
56.71/57.00 c GLOBAL bounds 125 >= 0 @ 55.4945
56.71/57.00 c GLOBAL bounds 125 >= 0 @ 55.4962
56.82/57.09 c GLOBAL bounds 125 >= 0 @ 55.5779
56.82/57.09 c GLOBAL bounds 125 >= 0 @ 55.5785
56.92/57.11 c GLOBAL bounds 77 >= 0 @ 55.5992
56.92/57.11 c GLOBAL bounds 77 >= 0 @ 55.5997
56.92/57.15 c GLOBAL bounds 11 >= 0 @ 55.637
56.92/57.15 c GLOBAL bounds 11 >= 0 @ 55.6381
56.92/57.18 c GLOBAL bounds 11 >= 0 @ 55.6712
56.92/57.19 c GLOBAL bounds 11 >= 0 @ 55.6724
57.00/57.23 c GLOBAL bounds 11 >= 0 @ 55.7123
57.00/57.23 c GLOBAL bounds 11 >= 0 @ 55.7129
57.00/57.26 c GLOBAL bounds 11 >= 0 @ 55.7487
57.00/57.27 c GLOBAL bounds 11 >= 0 @ 55.7491
57.11/57.30 c GLOBAL bounds 11 >= 0 @ 55.784
57.11/57.30 c GLOBAL bounds 11 >= 0 @ 55.7852
57.11/57.30 c GLOBAL bounds 11 >= 0 @ 55.7862
57.11/57.30 c GLOBAL bounds 11 >= 1 @ 55.7862
57.11/57.34 c GLOBAL bounds 11 >= 1 @ 55.8213
57.11/57.38 c GLOBAL bounds 11 >= 1 @ 55.8573
57.20/57.41 c GLOBAL bounds 11 >= 1 @ 55.8928
57.20/57.42 c GLOBAL bounds 11 >= 1 @ 55.8935
57.20/57.45 c GLOBAL bounds 11 >= 1 @ 55.9278
57.20/57.45 c GLOBAL bounds 11 >= 1 @ 55.9288
57.20/57.49 c GLOBAL bounds 11 >= 1 @ 55.9705
57.20/57.50 c GLOBAL bounds 11 >= 1 @ 55.9706
57.31/57.59 c GLOBAL bounds 11 >= 1 @ 56.059
57.31/57.59 c GLOBAL bounds 11 >= 1 @ 56.0594
57.41/57.69 c GLOBAL bounds 11 >= 1 @ 56.1544
57.41/57.69 c GLOBAL bounds 11 >= 1 @ 56.155
57.50/57.74 c GLOBAL bounds 11 >= 1 @ 56.2046
57.50/57.74 c GLOBAL bounds 11 >= 1 @ 56.205
57.50/57.77 c GLOBAL bounds 11 >= 1 @ 56.2387
57.50/57.77 c GLOBAL bounds 11 >= 1 @ 56.2389
57.61/57.86 c GLOBAL bounds 11 >= 1 @ 56.3182
57.61/57.86 c GLOBAL bounds 11 >= 1 @ 56.3187
57.71/57.96 c GLOBAL bounds 11 >= 1 @ 56.4186
57.71/57.96 c GLOBAL bounds 11 >= 1 @ 56.4194
57.82/58.05 c GLOBAL bounds 11 >= 1 @ 56.5094
57.82/58.05 c GLOBAL bounds 11 >= 1 @ 56.5101
57.82/58.05 c GLOBAL bounds 11 >= 1 @ 56.5103
57.82/58.05 c GLOBAL bounds 11 >= 1 @ 56.5104
57.82/58.05 c GLOBAL bounds 11 >= 1 @ 56.5112
57.82/58.05 c GLOBAL bounds 11 >= 1 @ 56.5113
57.82/58.05 c GLOBAL bounds 11 >= 1 @ 56.5113
57.82/58.09 c GLOBAL bounds 11 >= 1 @ 56.5459
57.91/58.13 c GLOBAL bounds 11 >= 1 @ 56.5826
57.91/58.16 c GLOBAL bounds 11 >= 1 @ 56.6192
58.00/58.20 c GLOBAL bounds 11 >= 1 @ 56.6573
58.00/58.24 c GLOBAL bounds 11 >= 1 @ 56.6941
58.00/58.29 c GLOBAL bounds 11 >= 1 @ 56.7373
58.00/58.29 c GLOBAL bounds 11 >= 1 @ 56.7377
58.11/58.33 c GLOBAL bounds 11 >= 1 @ 56.7762
58.11/58.33 c GLOBAL bounds 11 >= 1 @ 56.7766
58.11/58.37 c GLOBAL bounds 11 >= 1 @ 56.8203
58.11/58.37 c GLOBAL bounds 11 >= 1 @ 56.8205
58.20/58.43 c GLOBAL bounds 11 >= 1 @ 56.8821
58.20/58.43 c GLOBAL bounds 11 >= 1 @ 56.8828
58.20/58.49 c GLOBAL bounds 11 >= 1 @ 56.9351
58.20/58.49 c GLOBAL bounds 11 >= 1 @ 56.9353
58.30/58.54 c GLOBAL bounds 11 >= 1 @ 56.9892
58.30/58.54 c GLOBAL bounds 11 >= 1 @ 56.9898
58.30/58.58 c GLOBAL bounds 11 >= 1 @ 57.0253
58.30/58.58 c GLOBAL bounds 11 >= 1 @ 57.0261
58.40/58.65 c GLOBAL bounds 11 >= 1 @ 57.0932
58.40/58.65 c GLOBAL bounds 11 >= 1 @ 57.0939
58.50/58.70 c GLOBAL bounds 11 >= 1 @ 57.1414
58.50/58.70 c GLOBAL bounds 11 >= 1 @ 57.1418
58.50/58.74 c GLOBAL bounds 11 >= 1 @ 57.1809
58.50/58.74 c GLOBAL bounds 11 >= 1 @ 57.1816
58.50/58.74 c GLOBAL bounds 11 >= 1 @ 57.1817
58.50/58.74 c GLOBAL bounds 11 >= 1 @ 57.1821
58.50/58.74 c GLOBAL bounds 11 >= 1 @ 57.1827
58.50/58.74 c GLOBAL bounds 11 >= 1 @ 57.1827
58.50/58.74 c GLOBAL bounds 11 >= 1 @ 57.1827
58.50/58.74 c GLOBAL bounds 11 >= 1 @ 57.1827
58.50/58.78 c GLOBAL bounds 11 >= 1 @ 57.2182
58.60/58.82 c GLOBAL bounds 11 >= 1 @ 57.2539
58.60/58.86 c GLOBAL bounds 11 >= 1 @ 57.2908
58.60/58.89 c GLOBAL bounds 11 >= 1 @ 57.3255
58.70/58.93 c GLOBAL bounds 11 >= 1 @ 57.3597
58.70/58.96 c GLOBAL bounds 11 >= 1 @ 57.3945
58.70/59.00 c GLOBAL bounds 11 >= 1 @ 57.4346
58.70/59.00 c GLOBAL bounds 11 >= 1 @ 57.435
58.82/59.04 c GLOBAL bounds 11 >= 1 @ 57.4698
58.82/59.04 c GLOBAL bounds 11 >= 1 @ 57.4699
58.82/59.07 c GLOBAL bounds 11 >= 1 @ 57.504
58.82/59.08 c GLOBAL bounds 11 >= 1 @ 57.5046
58.92/59.14 c GLOBAL bounds 11 >= 1 @ 57.5677
58.92/59.14 c GLOBAL bounds 11 >= 1 @ 57.5683
59.00/59.21 c GLOBAL bounds 11 >= 1 @ 57.6413
59.00/59.22 c GLOBAL bounds 11 >= 1 @ 57.6415
59.00/59.30 c GLOBAL bounds 11 >= 1 @ 57.7215
59.10/59.30 c GLOBAL bounds 11 >= 1 @ 57.7222
59.10/59.34 c GLOBAL bounds 11 >= 1 @ 57.7664
59.10/59.34 c GLOBAL bounds 11 >= 1 @ 57.7671
59.10/59.38 c GLOBAL bounds 11 >= 1 @ 57.804
59.10/59.38 c GLOBAL bounds 11 >= 1 @ 57.8047
59.20/59.42 c GLOBAL bounds 11 >= 1 @ 57.8383
59.20/59.42 c GLOBAL bounds 11 >= 1 @ 57.8391
59.20/59.49 c GLOBAL bounds 11 >= 1 @ 57.9067
59.20/59.49 c GLOBAL bounds 11 >= 1 @ 57.9076
59.20/59.49 c GLOBAL bounds 11 >= 1 @ 57.9079
59.20/59.49 c GLOBAL bounds 11 >= 1 @ 57.9079
59.20/59.49 c GLOBAL bounds 11 >= 1 @ 57.9079
59.20/59.49 c GLOBAL bounds 11 >= 1 @ 57.9079
59.20/59.49 c GLOBAL bounds 11 >= 1 @ 57.9079
59.30/59.53 c GLOBAL bounds 11 >= 1 @ 57.9413
59.30/59.53 c GLOBAL bounds 11 >= 1 @ 57.9444
59.30/59.56 c GLOBAL bounds 11 >= 1 @ 57.978
59.30/59.57 c GLOBAL bounds 11 >= 1 @ 57.9817
59.40/59.60 c GLOBAL bounds 11 >= 1 @ 58.0151
59.40/59.64 c GLOBAL bounds 11 >= 1 @ 58.0474
59.40/59.64 c GLOBAL bounds 11 >= 1 @ 58.0476
59.40/59.68 c GLOBAL bounds 11 >= 1 @ 58.083
59.40/59.68 c GLOBAL bounds 11 >= 1 @ 58.0835
59.50/59.72 c GLOBAL bounds 11 >= 1 @ 58.1206
59.50/59.72 c GLOBAL bounds 11 >= 1 @ 58.1212
59.50/59.77 c GLOBAL bounds 11 >= 1 @ 58.1697
59.50/59.77 c GLOBAL bounds 11 >= 1 @ 58.1703
59.60/59.81 c GLOBAL bounds 11 >= 1 @ 58.2147
59.60/59.81 c GLOBAL bounds 11 >= 1 @ 58.2152
59.60/59.85 c GLOBAL bounds 11 >= 1 @ 58.2486
59.60/59.85 c GLOBAL bounds 11 >= 1 @ 58.2492
59.60/59.89 c GLOBAL bounds 11 >= 1 @ 58.2819
59.60/59.89 c GLOBAL bounds 11 >= 1 @ 58.2827
59.70/59.95 c GLOBAL bounds 11 >= 1 @ 58.3471
59.70/59.95 c GLOBAL bounds 11 >= 1 @ 58.3477
59.70/59.99 c GLOBAL bounds 11 >= 1 @ 58.3868
59.70/60.00 c GLOBAL bounds 11 >= 1 @ 58.3874
59.81/60.03 c GLOBAL bounds 11 >= 1 @ 58.422
59.81/60.03 c GLOBAL bounds 11 >= 1 @ 58.4227
59.81/60.03 c GLOBAL bounds 11 >= 1 @ 58.4227
59.81/60.03 c GLOBAL bounds 11 >= 1 @ 58.4227
59.81/60.03 c GLOBAL bounds 11 >= 2 @ 58.4227
59.81/60.07 c GLOBAL bounds 11 >= 2 @ 58.4581
59.81/60.10 c GLOBAL bounds 11 >= 2 @ 58.4917
59.91/60.14 c GLOBAL bounds 11 >= 2 @ 58.5276
59.91/60.18 c GLOBAL bounds 11 >= 2 @ 58.5689
59.91/60.18 c GLOBAL bounds 11 >= 2 @ 58.5696
60.00/60.22 c GLOBAL bounds 11 >= 2 @ 58.6034
60.00/60.22 c GLOBAL bounds 11 >= 2 @ 58.604
60.00/60.26 c GLOBAL bounds 11 >= 2 @ 58.6434
60.00/60.26 c GLOBAL bounds 11 >= 2 @ 58.644
60.10/60.31 c GLOBAL bounds 11 >= 2 @ 58.6858
60.10/60.31 c GLOBAL bounds 11 >= 2 @ 58.6861
60.10/60.34 c GLOBAL bounds 11 >= 2 @ 58.7208
60.10/60.34 c GLOBAL bounds 11 >= 2 @ 58.7216
60.10/60.38 c GLOBAL bounds 11 >= 2 @ 58.7615
60.10/60.38 c GLOBAL bounds 11 >= 2 @ 58.7619
60.20/60.42 c GLOBAL bounds 11 >= 2 @ 58.7967
60.20/60.42 c GLOBAL bounds 11 >= 2 @ 58.7974
60.20/60.46 c GLOBAL bounds 11 >= 2 @ 58.8386
60.20/60.46 c GLOBAL bounds 11 >= 2 @ 58.8394
60.30/60.52 c GLOBAL bounds 11 >= 2 @ 58.9011
60.30/60.52 c GLOBAL bounds 11 >= 2 @ 58.9018
60.30/60.56 c GLOBAL bounds 11 >= 2 @ 58.9393
60.30/60.57 c GLOBAL bounds 11 >= 2 @ 58.9404
60.30/60.57 c GLOBAL bounds 11 >= 2 @ 58.941
60.30/60.57 c GLOBAL bounds 11 >= 2 @ 58.9417
60.30/60.57 c GLOBAL bounds 11 >= 2 @ 58.9422
60.30/60.57 c GLOBAL bounds 11 >= 2 @ 58.9425
60.30/60.57 c GLOBAL bounds 11 >= 2 @ 58.9425
60.30/60.57 c GLOBAL bounds 11 >= 2 @ 58.9425
60.40/60.61 c GLOBAL bounds 11 >= 2 @ 58.9778
60.59/60.83 c GLOBAL bounds 11 >= 2 @ 59.1954
60.59/60.86 c GLOBAL bounds 11 >= 2 @ 59.228
60.69/60.90 c GLOBAL bounds 11 >= 2 @ 59.2642
60.69/60.93 c GLOBAL bounds 11 >= 2 @ 59.2981
60.69/60.97 c GLOBAL bounds 11 >= 2 @ 59.3318
60.69/61.01 c GLOBAL bounds 11 >= 2 @ 59.3717
60.69/61.01 c GLOBAL bounds 11 >= 2 @ 59.3723
60.81/61.04 c GLOBAL bounds 11 >= 2 @ 59.4061
60.81/61.04 c GLOBAL bounds 11 >= 2 @ 59.4065
60.81/61.08 c GLOBAL bounds 11 >= 2 @ 59.4431
60.81/61.08 c GLOBAL bounds 11 >= 2 @ 59.4434
60.91/61.12 c GLOBAL bounds 11 >= 2 @ 59.4828
60.91/61.12 c GLOBAL bounds 11 >= 2 @ 59.4834
60.91/61.17 c GLOBAL bounds 11 >= 2 @ 59.5291
60.91/61.17 c GLOBAL bounds 11 >= 2 @ 59.5292
60.99/61.22 c GLOBAL bounds 11 >= 2 @ 59.5785
60.99/61.22 c GLOBAL bounds 11 >= 2 @ 59.5792
60.99/61.26 c GLOBAL bounds 11 >= 2 @ 59.6151
60.99/61.26 c GLOBAL bounds 11 >= 2 @ 59.6159
61.10/61.30 c GLOBAL bounds 11 >= 2 @ 59.6509
61.10/61.30 c GLOBAL bounds 11 >= 2 @ 59.6517
61.10/61.33 c GLOBAL bounds 11 >= 2 @ 59.6852
61.10/61.33 c GLOBAL bounds 11 >= 2 @ 59.6859
61.10/61.39 c #Conflicts: 24000 | #Constraints: 7128
61.10/61.39 c GLOBAL bounds 11 >= 2 @ 59.7394
61.10/61.39 c GLOBAL bounds 11 >= 2 @ 59.7401
61.10/61.39 c GLOBAL bounds 11 >= 2 @ 59.7406
61.10/61.39 c GLOBAL bounds 11 >= 2 @ 59.7406
61.10/61.39 c GLOBAL bounds 11 >= 2 @ 59.7406
61.10/61.39 c GLOBAL bounds 11 >= 2 @ 59.7407
61.10/61.39 c GLOBAL bounds 11 >= 2 @ 59.7407
61.19/61.43 c GLOBAL bounds 11 >= 2 @ 59.7756
61.19/61.47 c GLOBAL bounds 11 >= 2 @ 59.8087
61.29/61.50 c GLOBAL bounds 11 >= 2 @ 59.8408
61.29/61.54 c GLOBAL bounds 11 >= 2 @ 59.8775
61.29/61.57 c GLOBAL bounds 11 >= 2 @ 59.913
61.39/61.61 c GLOBAL bounds 11 >= 2 @ 59.9475
61.39/61.61 c GLOBAL bounds 11 >= 2 @ 59.9482
61.39/61.65 c GLOBAL bounds 11 >= 2 @ 59.9818
61.39/61.65 c GLOBAL bounds 11 >= 2 @ 59.9825
61.39/61.69 c GLOBAL bounds 11 >= 2 @ 60.0206
61.39/61.69 c GLOBAL bounds 11 >= 2 @ 60.0209
61.50/61.73 c GLOBAL bounds 11 >= 2 @ 60.0608
61.50/61.73 c GLOBAL bounds 11 >= 2 @ 60.0609
61.50/61.77 c GLOBAL bounds 11 >= 2 @ 60.1011
61.50/61.77 c GLOBAL bounds 11 >= 2 @ 60.1018
61.59/61.83 c GLOBAL bounds 11 >= 2 @ 60.1599
61.59/61.83 c GLOBAL bounds 11 >= 2 @ 60.1605
61.59/61.88 c GLOBAL bounds 11 >= 2 @ 60.2078
61.59/61.88 c GLOBAL bounds 11 >= 2 @ 60.2086
61.69/61.92 c GLOBAL bounds 11 >= 2 @ 60.2437
61.69/61.92 c GLOBAL bounds 11 >= 2 @ 60.2445
61.69/61.95 c GLOBAL bounds 11 >= 2 @ 60.2773
61.69/61.95 c GLOBAL bounds 11 >= 2 @ 60.278
61.69/61.99 c GLOBAL bounds 11 >= 2 @ 60.3183
61.69/61.99 c GLOBAL bounds 11 >= 2 @ 60.319
61.69/62.00 c GLOBAL bounds 11 >= 2 @ 60.3193
61.69/62.00 c GLOBAL bounds 11 >= 2 @ 60.3193
61.69/62.00 c GLOBAL bounds 11 >= 2 @ 60.3199
61.69/62.00 c GLOBAL bounds 11 >= 2 @ 60.3205
61.69/62.00 c GLOBAL bounds 11 >= 2 @ 60.3205
61.81/62.03 c GLOBAL bounds 11 >= 2 @ 60.3558
61.81/62.07 c GLOBAL bounds 11 >= 2 @ 60.39
61.81/62.11 c GLOBAL bounds 11 >= 2 @ 60.4246
61.91/62.14 c GLOBAL bounds 11 >= 2 @ 60.4574
61.91/62.18 c GLOBAL bounds 11 >= 2 @ 60.4909
61.99/62.21 c GLOBAL bounds 11 >= 2 @ 60.5254
61.99/62.21 c GLOBAL bounds 11 >= 2 @ 60.5258
61.99/62.25 c GLOBAL bounds 11 >= 2 @ 60.5618
61.99/62.25 c GLOBAL bounds 11 >= 2 @ 60.5625
62.09/62.30 c GLOBAL bounds 11 >= 2 @ 60.6103
62.09/62.30 c GLOBAL bounds 11 >= 2 @ 60.611
62.40/62.62 c GLOBAL bounds 11 >= 2 @ 60.9236
62.40/62.62 c GLOBAL bounds 11 >= 2 @ 60.9243
62.40/62.70 c GLOBAL bounds 11 >= 2 @ 60.9889
62.40/62.70 c GLOBAL bounds 11 >= 2 @ 60.9895
62.49/62.74 c GLOBAL bounds 11 >= 2 @ 61.0321
62.49/62.74 c GLOBAL bounds 11 >= 2 @ 61.0326
62.49/62.77 c GLOBAL bounds 11 >= 2 @ 61.0664
62.49/62.78 c GLOBAL bounds 11 >= 2 @ 61.0672
63.39/63.60 c #Conflicts: 25000 | #Constraints: 8167
63.39/63.60 c INPROCESSING
63.39/63.60 c GARBAGE COLLECT
63.39/63.60 c rational objective 5.53413
65.89/66.11 c GLOBAL bounds 11 >= 2 @ 64.3653
65.89/66.11 c GLOBAL bounds 11 >= 2 @ 64.3654
65.99/66.21 c GLOBAL bounds 11 >= 2 @ 64.4585
65.99/66.21 c GLOBAL bounds 11 >= 2 @ 64.4592
65.99/66.25 c GLOBAL bounds 11 >= 2 @ 64.4983
65.99/66.25 c GLOBAL bounds 11 >= 2 @ 64.4991
65.99/66.25 c GLOBAL bounds 11 >= 2 @ 64.4991
65.99/66.25 c GLOBAL bounds 11 >= 2 @ 64.4991
65.99/66.25 c GLOBAL bounds 11 >= 2 @ 64.4991
65.99/66.28 c GLOBAL bounds 11 >= 2 @ 64.5327
66.08/66.32 c GLOBAL bounds 11 >= 2 @ 64.5673
66.08/66.36 c GLOBAL bounds 11 >= 2 @ 64.6013
66.08/66.39 c GLOBAL bounds 11 >= 2 @ 64.6376
66.08/66.39 c GLOBAL bounds 11 >= 2 @ 64.6378
66.19/66.43 c GLOBAL bounds 11 >= 2 @ 64.6718
66.19/66.43 c GLOBAL bounds 11 >= 2 @ 64.6725
66.19/66.47 c GLOBAL bounds 11 >= 2 @ 64.7118
66.19/66.47 c GLOBAL bounds 11 >= 2 @ 64.7125
66.29/66.52 c GLOBAL bounds 11 >= 2 @ 64.762
66.29/66.52 c GLOBAL bounds 11 >= 2 @ 64.7625
66.29/66.57 c GLOBAL bounds 11 >= 2 @ 64.814
66.29/66.57 c GLOBAL bounds 11 >= 2 @ 64.8144
66.38/66.62 c GLOBAL bounds 11 >= 2 @ 64.8568
66.38/66.62 c GLOBAL bounds 11 >= 2 @ 64.8575
66.38/66.66 c GLOBAL bounds 11 >= 2 @ 64.8928
66.38/66.66 c GLOBAL bounds 11 >= 2 @ 64.8932
66.49/66.71 c GLOBAL bounds 11 >= 2 @ 64.9408
66.49/66.71 c GLOBAL bounds 11 >= 2 @ 64.9415
66.49/66.76 c GLOBAL bounds 11 >= 2 @ 64.995
66.49/66.77 c GLOBAL bounds 11 >= 2 @ 64.995
66.58/66.82 c GLOBAL bounds 11 >= 2 @ 65.0465
66.58/66.82 c GLOBAL bounds 11 >= 2 @ 65.0469
66.58/66.82 c GLOBAL bounds 11 >= 2 @ 65.0469
66.58/66.82 c GLOBAL bounds 11 >= 2 @ 65.0469
66.58/66.82 c GLOBAL bounds 11 >= 2 @ 65.0472
66.58/66.82 c GLOBAL bounds 11 >= 2 @ 65.0479
66.58/66.82 c GLOBAL bounds 11 >= 2 @ 65.0485
66.58/66.82 c GLOBAL bounds 11 >= 2 @ 65.0489
66.58/66.82 c GLOBAL bounds 11 >= 2 @ 65.0489
66.58/66.86 c GLOBAL bounds 11 >= 2 @ 65.0836
66.58/66.89 c GLOBAL bounds 11 >= 2 @ 65.1172
66.69/66.93 c GLOBAL bounds 11 >= 2 @ 65.153
66.69/66.97 c GLOBAL bounds 11 >= 2 @ 65.189
66.69/67.00 c GLOBAL bounds 11 >= 2 @ 65.2233
66.80/67.04 c GLOBAL bounds 11 >= 2 @ 65.2617
66.80/67.08 c GLOBAL bounds 11 >= 2 @ 65.3045
66.90/67.12 c GLOBAL bounds 11 >= 2 @ 65.3377
66.90/67.12 c GLOBAL bounds 11 >= 2 @ 65.3382
66.90/67.15 c GLOBAL bounds 11 >= 2 @ 65.372
66.90/67.15 c GLOBAL bounds 11 >= 2 @ 65.3721
66.90/67.19 c GLOBAL bounds 11 >= 2 @ 65.4054
66.90/67.19 c GLOBAL bounds 11 >= 2 @ 65.406
66.98/67.24 c GLOBAL bounds 11 >= 2 @ 65.4504
66.98/67.24 c GLOBAL bounds 11 >= 2 @ 65.4509
68.28/68.56 c #Conflicts: 26000 | #Constraints: 5667
68.28/68.56 c #Conflicts: 27000 | #Constraints: 6689
68.28/68.56 c #Conflicts: 28000 | #Constraints: 7715
68.28/68.56 c #Conflicts: 29000 | #Constraints: 8734
68.28/68.56 c INPROCESSING
68.28/68.56 c GARBAGE COLLECT
68.28/68.56 c rational objective 0
71.06/71.35 c #Conflicts: 30000 | #Constraints: 6055
71.06/71.35 c #Conflicts: 31000 | #Constraints: 7079
71.06/71.35 c GLOBAL bounds 11 >= 2 @ 69.4556
71.06/71.35 c GLOBAL bounds 11 >= 2 @ 69.4562
71.17/71.42 c GLOBAL bounds 11 >= 2 @ 69.5255
71.17/71.42 c GLOBAL bounds 11 >= 2 @ 69.5261
71.17/71.47 c GLOBAL bounds 11 >= 2 @ 69.5663
71.17/71.47 c GLOBAL bounds 11 >= 2 @ 69.567
71.26/71.53 c GLOBAL bounds 11 >= 2 @ 69.6287
71.26/71.53 c GLOBAL bounds 11 >= 2 @ 69.6294
71.78/72.10 c #Conflicts: 32000 | #Constraints: 8349
71.78/72.10 c #Conflicts: 33000 | #Constraints: 9373
71.78/72.10 c INPROCESSING
71.78/72.10 c GARBAGE COLLECT
71.78/72.10 c rational objective 1
72.56/72.81 c GLOBAL bounds 11 >= 2 @ 70.8901
72.56/72.81 c GLOBAL bounds 11 >= 2 @ 70.8907
72.56/72.85 c GLOBAL bounds 11 >= 2 @ 70.9229
72.56/72.85 c GLOBAL bounds 11 >= 2 @ 70.9235
72.56/72.85 c GLOBAL bounds 11 >= 2 @ 70.9235
72.56/72.85 c GLOBAL bounds 11 >= 2 @ 70.924
72.56/72.85 c GLOBAL bounds 11 >= 2 @ 70.9245
72.56/72.85 c GLOBAL bounds 11 >= 2 @ 70.9245
72.56/72.85 c GLOBAL bounds 11 >= 2 @ 70.9245
72.56/72.89 c GLOBAL bounds 11 >= 2 @ 70.9618
72.66/72.92 c GLOBAL bounds 11 >= 2 @ 70.996
72.66/72.96 c GLOBAL bounds 11 >= 2 @ 71.0303
72.66/72.99 c GLOBAL bounds 11 >= 2 @ 71.0658
72.78/73.03 c GLOBAL bounds 11 >= 2 @ 71.0979
72.78/73.06 c GLOBAL bounds 11 >= 2 @ 71.13
72.78/73.06 c GLOBAL bounds 11 >= 2 @ 71.1307
72.87/73.11 c GLOBAL bounds 11 >= 2 @ 71.1815
72.87/73.11 c GLOBAL bounds 11 >= 2 @ 71.1819
72.87/73.19 c GLOBAL bounds 11 >= 2 @ 71.2561
72.87/73.19 c GLOBAL bounds 11 >= 2 @ 71.2567
72.96/73.24 c GLOBAL bounds 11 >= 2 @ 71.3034
72.96/73.24 c GLOBAL bounds 11 >= 2 @ 71.3036
72.96/73.28 c GLOBAL bounds 11 >= 2 @ 71.3414
72.96/73.28 c GLOBAL bounds 11 >= 2 @ 71.3415
73.06/73.36 c GLOBAL bounds 11 >= 2 @ 71.419
73.06/73.36 c GLOBAL bounds 11 >= 2 @ 71.4193
73.16/73.42 c GLOBAL bounds 11 >= 2 @ 71.4718
73.16/73.42 c GLOBAL bounds 11 >= 2 @ 71.4723
73.26/73.55 c GLOBAL bounds 11 >= 2 @ 71.6019
73.26/73.55 c GLOBAL bounds 11 >= 2 @ 71.6019
73.36/73.61 c GLOBAL bounds 11 >= 2 @ 71.6549
73.36/73.61 c GLOBAL bounds 11 >= 2 @ 71.6556
73.36/73.64 c GLOBAL bounds 11 >= 2 @ 71.6916
73.36/73.64 c GLOBAL bounds 11 >= 2 @ 71.6924
73.36/73.64 c GLOBAL bounds 11 >= 2 @ 71.6927
73.36/73.65 c GLOBAL bounds 11 >= 2 @ 71.6927
73.36/73.65 c GLOBAL bounds 11 >= 2 @ 71.6931
73.36/73.65 c GLOBAL bounds 11 >= 2 @ 71.6937
73.36/73.65 c GLOBAL bounds 11 >= 2 @ 71.6937
73.36/73.69 c GLOBAL bounds 11 >= 2 @ 71.7335
73.46/73.72 c GLOBAL bounds 11 >= 2 @ 71.7657
73.46/73.76 c GLOBAL bounds 11 >= 2 @ 71.8011
73.46/73.79 c GLOBAL bounds 11 >= 2 @ 71.8345
73.56/73.83 c GLOBAL bounds 11 >= 2 @ 71.8684
73.56/73.87 c GLOBAL bounds 11 >= 2 @ 71.9058
73.56/73.87 c GLOBAL bounds 11 >= 2 @ 71.9062
73.66/73.90 c GLOBAL bounds 11 >= 2 @ 71.9394
73.66/73.90 c GLOBAL bounds 11 >= 2 @ 71.9401
73.66/73.94 c GLOBAL bounds 11 >= 2 @ 71.9766
73.66/73.94 c GLOBAL bounds 11 >= 2 @ 71.9771
73.66/73.99 c GLOBAL bounds 11 >= 2 @ 72.0249
73.66/73.99 c GLOBAL bounds 11 >= 2 @ 72.025
73.77/74.05 c GLOBAL bounds 11 >= 2 @ 72.0856
73.77/74.06 c GLOBAL bounds 11 >= 2 @ 72.0858
73.77/74.09 c GLOBAL bounds 11 >= 2 @ 72.1223
73.77/74.10 c GLOBAL bounds 11 >= 2 @ 72.1227
73.87/74.13 c GLOBAL bounds 11 >= 2 @ 72.1555
73.87/74.13 c GLOBAL bounds 11 >= 2 @ 72.1557
73.87/74.18 c GLOBAL bounds 11 >= 2 @ 72.2077
73.87/74.18 c GLOBAL bounds 11 >= 2 @ 72.2083
73.96/74.22 c GLOBAL bounds 11 >= 2 @ 72.2454
73.96/74.22 c GLOBAL bounds 11 >= 2 @ 72.2462
73.96/74.28 c GLOBAL bounds 11 >= 2 @ 72.3002
73.96/74.28 c GLOBAL bounds 11 >= 2 @ 72.3009
73.96/74.28 c GLOBAL bounds 11 >= 2 @ 72.3013
73.96/74.28 c GLOBAL bounds 11 >= 2 @ 72.3014
73.96/74.28 c GLOBAL bounds 11 >= 2 @ 72.3019
73.96/74.28 c GLOBAL bounds 11 >= 2 @ 72.3028
73.96/74.28 c GLOBAL bounds 11 >= 2 @ 72.3033
73.96/74.28 c GLOBAL bounds 11 >= 2 @ 72.3033
74.06/74.32 c GLOBAL bounds 11 >= 2 @ 72.3412
74.06/74.36 c GLOBAL bounds 11 >= 2 @ 72.3767
74.06/74.39 c GLOBAL bounds 11 >= 2 @ 72.4109
74.16/74.43 c GLOBAL bounds 11 >= 2 @ 72.4447
74.16/74.46 c GLOBAL bounds 11 >= 2 @ 72.4787
74.26/74.50 c GLOBAL bounds 11 >= 2 @ 72.5125
74.26/74.53 c GLOBAL bounds 11 >= 2 @ 72.5466
74.26/74.54 c GLOBAL bounds 11 >= 2 @ 72.5468
74.26/74.57 c GLOBAL bounds 11 >= 2 @ 72.5803
74.26/74.57 c GLOBAL bounds 11 >= 2 @ 72.581
74.36/74.60 c GLOBAL bounds 11 >= 2 @ 72.6122
74.36/74.61 c GLOBAL bounds 11 >= 2 @ 72.6129
74.36/74.68 c GLOBAL bounds 11 >= 2 @ 72.6914
74.36/74.68 c GLOBAL bounds 11 >= 2 @ 72.6915
74.46/74.76 c GLOBAL bounds 11 >= 2 @ 72.7601
74.46/74.76 c GLOBAL bounds 11 >= 2 @ 72.7603
74.66/74.98 c GLOBAL bounds 11 >= 2 @ 72.9752
74.66/74.98 c GLOBAL bounds 11 >= 2 @ 72.9759
74.77/75.03 c GLOBAL bounds 11 >= 2 @ 73.0185
74.77/75.03 c GLOBAL bounds 11 >= 2 @ 73.0187
74.77/75.07 c GLOBAL bounds 11 >= 2 @ 73.061
74.77/75.07 c GLOBAL bounds 11 >= 2 @ 73.0618
74.77/75.11 c GLOBAL bounds 11 >= 2 @ 73.0944
74.77/75.11 c GLOBAL bounds 11 >= 2 @ 73.0951
74.87/75.14 c GLOBAL bounds 11 >= 2 @ 73.127
74.87/75.14 c GLOBAL bounds 11 >= 2 @ 73.1275
74.87/75.14 c GLOBAL bounds 11 >= 2 @ 73.1275
74.87/75.14 c GLOBAL bounds 11 >= 2 @ 73.1282
74.87/75.14 c GLOBAL bounds 11 >= 2 @ 73.1285
74.87/75.14 c GLOBAL bounds 11 >= 2 @ 73.1285
74.87/75.14 c GLOBAL bounds 11 >= 2 @ 73.1285
74.87/75.14 c GLOBAL bounds 11 >= 2 @ 73.1285
74.87/75.18 c GLOBAL bounds 11 >= 2 @ 73.1618
74.96/75.21 c GLOBAL bounds 11 >= 2 @ 73.1955
74.96/75.25 c GLOBAL bounds 11 >= 2 @ 73.2308
74.96/75.29 c GLOBAL bounds 11 >= 2 @ 73.2648
75.05/75.32 c GLOBAL bounds 11 >= 2 @ 73.2997
75.05/75.36 c GLOBAL bounds 11 >= 2 @ 73.3388
75.16/75.40 c GLOBAL bounds 11 >= 2 @ 73.3721
75.16/75.40 c GLOBAL bounds 11 >= 2 @ 73.3728
75.16/75.43 c GLOBAL bounds 11 >= 2 @ 73.4059
75.16/75.43 c GLOBAL bounds 11 >= 2 @ 73.4065
75.16/75.47 c GLOBAL bounds 11 >= 2 @ 73.4402
75.16/75.47 c GLOBAL bounds 11 >= 2 @ 73.4408
75.25/75.53 c GLOBAL bounds 11 >= 2 @ 73.5014
75.25/75.53 c GLOBAL bounds 11 >= 2 @ 73.5016
75.25/75.59 c GLOBAL bounds 11 >= 2 @ 73.5566
75.25/75.59 c GLOBAL bounds 11 >= 2 @ 73.5573
75.36/75.63 c GLOBAL bounds 11 >= 2 @ 73.5963
75.36/75.63 c GLOBAL bounds 11 >= 2 @ 73.5964
75.36/75.67 c GLOBAL bounds 11 >= 2 @ 73.629
75.36/75.67 c GLOBAL bounds 11 >= 2 @ 73.6293
75.46/75.70 c GLOBAL bounds 11 >= 2 @ 73.6627
75.46/75.70 c GLOBAL bounds 11 >= 2 @ 73.6636
75.55/75.81 c GLOBAL bounds 11 >= 2 @ 73.7706
75.55/75.82 c GLOBAL bounds 11 >= 2 @ 73.7713
75.96/76.23 c #Conflicts: 34000 | #Constraints: 6419
75.96/76.23 c GLOBAL bounds 11 >= 2 @ 74.175
75.96/76.23 c GLOBAL bounds 11 >= 2 @ 74.1757
75.96/76.23 c GLOBAL bounds 11 >= 2 @ 74.1759
75.96/76.23 c GLOBAL bounds 11 >= 2 @ 74.1759
75.96/76.24 c GLOBAL bounds 11 >= 2 @ 74.1759
75.96/76.24 c GLOBAL bounds 11 >= 2 @ 74.1763
75.96/76.24 c GLOBAL bounds 11 >= 2 @ 74.1764
75.96/76.27 c GLOBAL bounds 11 >= 2 @ 74.2121
76.05/76.31 c GLOBAL bounds 11 >= 2 @ 74.2462
76.05/76.34 c GLOBAL bounds 11 >= 2 @ 74.2802
76.05/76.38 c GLOBAL bounds 11 >= 2 @ 74.3199
76.15/76.42 c GLOBAL bounds 11 >= 2 @ 74.3531
76.15/76.45 c GLOBAL bounds 11 >= 2 @ 74.3868
76.15/76.45 c GLOBAL bounds 11 >= 2 @ 74.3875
76.15/76.49 c GLOBAL bounds 11 >= 2 @ 74.4211
76.15/76.49 c GLOBAL bounds 11 >= 2 @ 74.4218
76.56/76.81 c #Conflicts: 35000 | #Constraints: 7446
76.56/76.81 c GLOBAL bounds 11 >= 2 @ 74.73
76.56/76.81 c GLOBAL bounds 11 >= 2 @ 74.7305
76.56/76.85 c GLOBAL bounds 10 >= 2 @ 74.7673
76.56/76.85 c GLOBAL bounds 10 >= 2 @ 74.7674
76.56/76.88 c GLOBAL bounds 10 >= 2 @ 74.7996
76.56/76.88 c GLOBAL bounds 10 >= 2 @ 74.8003
76.65/76.92 c GLOBAL bounds 10 >= 2 @ 74.8317
76.65/76.92 c GLOBAL bounds 10 >= 2 @ 74.8323
76.65/76.98 c GLOBAL bounds 10 >= 2 @ 74.897
76.65/76.98 c GLOBAL bounds 10 >= 2 @ 74.8977
76.76/77.02 c GLOBAL bounds 10 >= 2 @ 74.933
76.76/77.02 c GLOBAL bounds 10 >= 2 @ 74.9331
76.76/77.06 c GLOBAL bounds 10 >= 2 @ 74.9716
76.76/77.06 c GLOBAL bounds 10 >= 2 @ 74.9723
76.76/77.09 c GLOBAL bounds 10 >= 2 @ 75.0067
76.76/77.09 c GLOBAL bounds 10 >= 2 @ 75.0069
76.87/77.15 c GLOBAL bounds 10 >= 2 @ 75.0576
76.87/77.15 c GLOBAL bounds 10 >= 2 @ 75.0578
76.87/77.15 c GLOBAL bounds 10 >= 2 @ 75.0578
76.87/77.15 c GLOBAL bounds 10 >= 2 @ 75.0578
76.87/77.15 c GLOBAL bounds 10 >= 2 @ 75.0583
76.87/77.15 c GLOBAL bounds 10 >= 2 @ 75.0584
76.87/77.19 c GLOBAL bounds 10 >= 2 @ 75.0942
76.95/77.22 c GLOBAL bounds 10 >= 2 @ 75.1293
76.95/77.26 c GLOBAL bounds 10 >= 2 @ 75.1637
76.95/77.29 c GLOBAL bounds 10 >= 2 @ 75.1988
77.05/77.33 c GLOBAL bounds 10 >= 2 @ 75.2333
77.05/77.33 c GLOBAL bounds 10 >= 2 @ 75.2333
77.05/77.37 c GLOBAL bounds 10 >= 2 @ 75.2672
77.05/77.37 c GLOBAL bounds 10 >= 2 @ 75.2672
77.15/77.41 c GLOBAL bounds 10 >= 2 @ 75.3036
77.15/77.41 c GLOBAL bounds 10 >= 2 @ 75.3043
77.15/77.46 c GLOBAL bounds 10 >= 2 @ 75.3552
77.15/77.46 c GLOBAL bounds 10 >= 2 @ 75.3558
77.15/77.47 c GLOBAL bounds 8 >= 2 @ 75.3648
77.15/77.47 c GLOBAL bounds 8 >= 2 @ 75.3651
77.25/77.51 c GLOBAL bounds 8 >= 2 @ 75.3994
77.25/77.51 c GLOBAL bounds 8 >= 2 @ 75.4
77.25/77.55 c GLOBAL bounds 8 >= 2 @ 75.4405
77.25/77.55 c GLOBAL bounds 8 >= 2 @ 75.4407
77.35/77.60 c GLOBAL bounds 8 >= 2 @ 75.4886
77.35/77.60 c GLOBAL bounds 8 >= 2 @ 75.4888
77.45/77.71 c GLOBAL bounds 8 >= 2 @ 75.5951
77.45/77.71 c GLOBAL bounds 8 >= 2 @ 75.5957
77.45/77.78 c GLOBAL bounds 8 >= 2 @ 75.6638
77.45/77.78 c GLOBAL bounds 8 >= 2 @ 75.6643
77.45/77.79 c GLOBAL bounds 6 >= 2 @ 75.6739
77.45/77.79 c GLOBAL bounds 6 >= 2 @ 75.6746
77.55/77.83 c GLOBAL bounds 6 >= 2 @ 75.7128
77.55/77.83 c GLOBAL bounds 6 >= 2 @ 75.7132
77.55/77.83 c GLOBAL bounds 6 >= 2 @ 75.7132
77.55/77.83 c GLOBAL bounds 6 >= 2 @ 75.7138
77.55/77.83 c GLOBAL bounds 6 >= 2 @ 75.7138
77.55/77.87 c GLOBAL bounds 6 >= 2 @ 75.7493
77.55/77.87 c GLOBAL bounds 6 >= 2 @ 75.7533
77.65/77.91 c GLOBAL bounds 6 >= 2 @ 75.7893
77.65/77.95 c GLOBAL bounds 6 >= 2 @ 75.8249
77.65/77.95 c GLOBAL bounds 6 >= 2 @ 75.8255
77.65/77.98 c GLOBAL bounds 6 >= 2 @ 75.8611
77.65/77.98 c GLOBAL bounds 6 >= 2 @ 75.8617
77.76/78.02 c GLOBAL bounds 6 >= 2 @ 75.8987
77.76/78.02 c GLOBAL bounds 6 >= 2 @ 75.8993
77.76/78.07 c GLOBAL bounds 6 >= 2 @ 75.9408
77.76/78.07 c GLOBAL bounds 6 >= 2 @ 75.9414
77.76/78.10 c GLOBAL bounds 6 >= 2 @ 75.9762
77.76/78.11 c GLOBAL bounds 6 >= 2 @ 75.9766
77.86/78.15 c GLOBAL bounds 6 >= 2 @ 76.0172
77.86/78.15 c GLOBAL bounds 6 >= 2 @ 76.0175
77.86/78.18 c GLOBAL bounds 6 >= 2 @ 76.0513
77.86/78.18 c GLOBAL bounds 6 >= 2 @ 76.052
77.95/78.24 c GLOBAL bounds 6 >= 2 @ 76.1062
77.95/78.24 c GLOBAL bounds 6 >= 2 @ 76.1062
77.95/78.28 c GLOBAL bounds 6 >= 2 @ 76.1419
77.95/78.28 c GLOBAL bounds 6 >= 2 @ 76.1421
78.05/78.32 c GLOBAL bounds 6 >= 2 @ 76.1806
78.05/78.32 c GLOBAL bounds 6 >= 2 @ 76.1809
78.05/78.32 c GLOBAL bounds 6 >= 2 @ 76.1811
78.05/78.32 c GLOBAL bounds 6 >= 2 @ 76.1811
78.05/78.32 c GLOBAL bounds 6 >= 2 @ 76.1811
78.05/78.32 c GLOBAL bounds 6 >= 2 @ 76.1811
78.05/78.36 c GLOBAL bounds 6 >= 2 @ 76.2187
78.15/78.40 c GLOBAL bounds 6 >= 2 @ 76.2578
78.15/78.44 c GLOBAL bounds 6 >= 2 @ 76.2967
78.15/78.48 c GLOBAL bounds 6 >= 2 @ 76.3335
78.25/78.51 c GLOBAL bounds 6 >= 2 @ 76.3707
78.25/78.52 c GLOBAL bounds 6 >= 2 @ 76.3713
78.25/78.55 c GLOBAL bounds 6 >= 2 @ 76.4099
78.25/78.55 c GLOBAL bounds 6 >= 2 @ 76.4105
78.25/78.59 c GLOBAL bounds 6 >= 2 @ 76.4467
78.25/78.59 c GLOBAL bounds 6 >= 2 @ 76.4473
78.35/78.65 c GLOBAL bounds 6 >= 2 @ 76.5009
78.35/78.65 c GLOBAL bounds 6 >= 2 @ 76.5013
78.35/78.69 c GLOBAL bounds 6 >= 2 @ 76.5454
78.35/78.69 c GLOBAL bounds 6 >= 2 @ 76.546
78.45/78.73 c GLOBAL bounds 6 >= 2 @ 76.5801
78.45/78.73 c GLOBAL bounds 6 >= 2 @ 76.5801
78.45/78.76 c GLOBAL bounds 6 >= 2 @ 76.6149
78.45/78.77 c GLOBAL bounds 6 >= 2 @ 76.6151
78.54/78.80 c GLOBAL bounds 6 >= 2 @ 76.6533
78.54/78.80 c GLOBAL bounds 6 >= 2 @ 76.654
78.54/78.84 c GLOBAL bounds 6 >= 2 @ 76.6888
78.54/78.84 c GLOBAL bounds 6 >= 2 @ 76.6889
78.54/78.88 c GLOBAL bounds 6 >= 2 @ 76.728
78.54/78.88 c GLOBAL bounds 6 >= 2 @ 76.7287
78.54/78.88 c GLOBAL bounds 6 >= 2 @ 76.7293
78.54/78.88 c GLOBAL bounds 6 >= 2 @ 76.7298
78.54/78.88 c GLOBAL bounds 6 >= 2 @ 76.7298
78.54/78.88 c GLOBAL bounds 6 >= 2 @ 76.7298
78.65/78.92 c GLOBAL bounds 6 >= 2 @ 76.7654
78.65/78.96 c GLOBAL bounds 6 >= 2 @ 76.8006
78.65/78.99 c GLOBAL bounds 6 >= 2 @ 76.8358
78.76/79.03 c GLOBAL bounds 6 >= 2 @ 76.8721
78.76/79.06 c GLOBAL bounds 6 >= 2 @ 76.9057
78.76/79.06 c GLOBAL bounds 6 >= 2 @ 76.9062
78.76/79.10 c GLOBAL bounds 6 >= 2 @ 76.9417
78.76/79.10 c GLOBAL bounds 6 >= 2 @ 76.9424
78.86/79.15 c GLOBAL bounds 6 >= 2 @ 76.989
78.86/79.15 c GLOBAL bounds 6 >= 2 @ 76.9892
78.94/79.20 c GLOBAL bounds 6 >= 2 @ 77.0363
78.94/79.20 c GLOBAL bounds 6 >= 2 @ 77.0369
78.94/79.25 c GLOBAL bounds 6 >= 2 @ 77.0883
78.94/79.25 c GLOBAL bounds 6 >= 2 @ 77.0889
78.94/79.29 c GLOBAL bounds 6 >= 2 @ 77.1291
78.94/79.29 c GLOBAL bounds 6 >= 2 @ 77.1297
79.05/79.33 c GLOBAL bounds 6 >= 2 @ 77.1634
79.05/79.33 c GLOBAL bounds 6 >= 2 @ 77.1638
79.05/79.37 c GLOBAL bounds 6 >= 2 @ 77.2026
79.05/79.37 c GLOBAL bounds 6 >= 2 @ 77.2032
79.14/79.41 c GLOBAL bounds 6 >= 2 @ 77.2374
79.14/79.41 c GLOBAL bounds 6 >= 2 @ 77.2376
79.14/79.45 c GLOBAL bounds 6 >= 2 @ 77.2728
79.14/79.45 c GLOBAL bounds 6 >= 2 @ 77.2735
79.14/79.45 c GLOBAL bounds 6 >= 2 @ 77.2738
79.14/79.45 c GLOBAL bounds 6 >= 2 @ 77.2738
79.14/79.45 c GLOBAL bounds 6 >= 2 @ 77.2744
79.14/79.45 c GLOBAL bounds 6 >= 2 @ 77.2744
79.14/79.49 c GLOBAL bounds 6 >= 2 @ 77.3109
79.24/79.53 c GLOBAL bounds 6 >= 2 @ 77.3449
79.24/79.56 c GLOBAL bounds 6 >= 2 @ 77.3813
79.34/79.60 c GLOBAL bounds 6 >= 2 @ 77.4172
79.34/79.63 c GLOBAL bounds 6 >= 2 @ 77.4525
79.34/79.63 c GLOBAL bounds 6 >= 2 @ 77.4531
79.34/79.67 c GLOBAL bounds 6 >= 2 @ 77.488
79.34/79.67 c GLOBAL bounds 6 >= 2 @ 77.4883
79.44/79.71 c GLOBAL bounds 6 >= 2 @ 77.5228
79.44/79.71 c GLOBAL bounds 6 >= 2 @ 77.5233
79.44/79.75 c GLOBAL bounds 6 >= 2 @ 77.5612
79.44/79.75 c GLOBAL bounds 6 >= 2 @ 77.5618
79.44/79.78 c GLOBAL bounds 6 >= 2 @ 77.5974
79.44/79.78 c GLOBAL bounds 6 >= 2 @ 77.5981
79.54/79.83 c GLOBAL bounds 6 >= 2 @ 77.6397
79.54/79.83 c GLOBAL bounds 6 >= 2 @ 77.64
79.54/79.86 c GLOBAL bounds 6 >= 2 @ 77.6752
79.54/79.86 c GLOBAL bounds 6 >= 2 @ 77.6758
79.64/79.90 c GLOBAL bounds 6 >= 2 @ 77.7153
79.64/79.90 c GLOBAL bounds 6 >= 2 @ 77.7158
79.64/79.97 c GLOBAL bounds 6 >= 2 @ 77.7799
79.64/79.97 c GLOBAL bounds 6 >= 2 @ 77.7805
79.64/80.01 c GLOBAL bounds 6 >= 2 @ 77.8134
79.64/80.01 c GLOBAL bounds 6 >= 2 @ 77.8136
79.64/80.01 c GLOBAL bounds 6 >= 2 @ 77.8136
79.64/80.01 c GLOBAL bounds 6 >= 2 @ 77.8136
79.75/80.01 c GLOBAL bounds 6 >= 2 @ 77.8136
79.75/80.01 c GLOBAL bounds 6 >= 2 @ 77.8136
79.75/80.05 c GLOBAL bounds 6 >= 2 @ 77.8502
79.75/80.08 c GLOBAL bounds 6 >= 2 @ 77.8821
79.85/80.12 c GLOBAL bounds 6 >= 2 @ 77.9178
79.85/80.15 c GLOBAL bounds 6 >= 2 @ 77.9533
79.85/80.19 c GLOBAL bounds 6 >= 2 @ 77.987
79.85/80.19 c GLOBAL bounds 6 >= 2 @ 77.9871
79.94/80.23 c GLOBAL bounds 6 >= 2 @ 78.0223
79.94/80.23 c GLOBAL bounds 6 >= 2 @ 78.023
79.94/80.26 c GLOBAL bounds 6 >= 2 @ 78.0576
79.94/80.26 c GLOBAL bounds 6 >= 2 @ 78.058
80.04/80.32 c GLOBAL bounds 6 >= 2 @ 78.1098
80.04/80.32 c GLOBAL bounds 6 >= 2 @ 78.1104
80.04/80.36 c GLOBAL bounds 6 >= 2 @ 78.1483
80.04/80.36 c GLOBAL bounds 6 >= 2 @ 78.1487
80.04/80.39 c GLOBAL bounds 6 >= 2 @ 78.1809
80.04/80.39 c GLOBAL bounds 6 >= 2 @ 78.1815
80.14/80.43 c GLOBAL bounds 6 >= 2 @ 78.2124
80.14/80.43 c GLOBAL bounds 6 >= 2 @ 78.2126
80.14/80.47 c GLOBAL bounds 6 >= 2 @ 78.2491
80.14/80.47 c GLOBAL bounds 6 >= 2 @ 78.2495
80.24/80.51 c GLOBAL bounds 6 >= 2 @ 78.2804
80.24/80.51 c GLOBAL bounds 6 >= 2 @ 78.281
80.24/80.54 c GLOBAL bounds 6 >= 2 @ 78.3138
80.24/80.54 c GLOBAL bounds 6 >= 2 @ 78.3144
80.24/80.54 c GLOBAL bounds 6 >= 2 @ 78.3144
80.24/80.54 c GLOBAL bounds 6 >= 2 @ 78.3144
80.24/80.54 c GLOBAL bounds 6 >= 2 @ 78.3144
80.24/80.54 c GLOBAL bounds 6 >= 2 @ 78.3144
80.24/80.58 c GLOBAL bounds 6 >= 2 @ 78.3512
80.33/80.62 c GLOBAL bounds 6 >= 2 @ 78.3855
80.33/80.65 c GLOBAL bounds 6 >= 2 @ 78.4205
80.33/80.69 c GLOBAL bounds 6 >= 2 @ 78.453
80.44/80.72 c GLOBAL bounds 6 >= 2 @ 78.4873
80.44/80.72 c GLOBAL bounds 6 >= 2 @ 78.4878
80.44/80.76 c GLOBAL bounds 6 >= 2 @ 78.5225
80.44/80.76 c GLOBAL bounds 6 >= 2 @ 78.5231
80.44/80.80 c GLOBAL bounds 6 >= 2 @ 78.5596
80.44/80.80 c GLOBAL bounds 6 >= 2 @ 78.5602
80.54/80.84 c GLOBAL bounds 6 >= 2 @ 78.6072
80.54/80.84 c GLOBAL bounds 6 >= 2 @ 78.6078
80.54/80.89 c GLOBAL bounds 6 >= 2 @ 78.6479
80.54/80.89 c GLOBAL bounds 6 >= 2 @ 78.6485
80.64/80.92 c GLOBAL bounds 6 >= 2 @ 78.6808
80.64/80.92 c GLOBAL bounds 6 >= 2 @ 78.6814
80.64/80.96 c GLOBAL bounds 6 >= 2 @ 78.7162
80.64/80.96 c GLOBAL bounds 6 >= 2 @ 78.7165
80.64/81.00 c GLOBAL bounds 6 >= 2 @ 78.7533
80.64/81.00 c GLOBAL bounds 6 >= 2 @ 78.7534
80.75/81.03 c GLOBAL bounds 6 >= 2 @ 78.7857
80.75/81.03 c GLOBAL bounds 6 >= 2 @ 78.7864
80.75/81.06 c GLOBAL bounds 6 >= 2 @ 78.8204
80.75/81.07 c GLOBAL bounds 6 >= 2 @ 78.8209
80.75/81.07 c GLOBAL bounds 6 >= 2 @ 78.8213
80.75/81.07 c GLOBAL bounds 6 >= 2 @ 78.8213
80.75/81.07 c GLOBAL bounds 6 >= 2 @ 78.8218
80.75/81.07 c GLOBAL bounds 6 >= 2 @ 78.8218
80.75/81.10 c GLOBAL bounds 6 >= 2 @ 78.8575
80.85/81.14 c GLOBAL bounds 6 >= 2 @ 78.8888
80.85/81.17 c GLOBAL bounds 6 >= 2 @ 78.9228
80.93/81.21 c GLOBAL bounds 6 >= 2 @ 78.9616
80.93/81.25 c GLOBAL bounds 6 >= 2 @ 78.9948
80.93/81.25 c GLOBAL bounds 6 >= 2 @ 78.9948
80.93/81.29 c GLOBAL bounds 6 >= 2 @ 79.029
80.93/81.29 c GLOBAL bounds 6 >= 2 @ 79.0296
81.04/81.33 c GLOBAL bounds 6 >= 2 @ 79.0718
81.04/81.33 c GLOBAL bounds 6 >= 2 @ 79.0724
81.04/81.37 c GLOBAL bounds 6 >= 2 @ 79.113
81.04/81.37 c GLOBAL bounds 6 >= 2 @ 79.1136
81.13/81.41 c GLOBAL bounds 6 >= 2 @ 79.1474
81.13/81.41 c GLOBAL bounds 6 >= 2 @ 79.148
81.13/81.45 c GLOBAL bounds 6 >= 2 @ 79.186
81.13/81.45 c GLOBAL bounds 6 >= 2 @ 79.1863
81.13/81.49 c GLOBAL bounds 6 >= 2 @ 79.2263
81.13/81.49 c GLOBAL bounds 6 >= 2 @ 79.2269
81.24/81.53 c GLOBAL bounds 6 >= 2 @ 79.2607
81.24/81.53 c GLOBAL bounds 6 >= 2 @ 79.2612
81.24/81.57 c GLOBAL bounds 6 >= 2 @ 79.2984
81.24/81.57 c GLOBAL bounds 6 >= 2 @ 79.299
81.34/81.61 c GLOBAL bounds 6 >= 2 @ 79.3385
81.34/81.61 c GLOBAL bounds 6 >= 2 @ 79.339
81.34/81.61 c GLOBAL bounds 6 >= 2 @ 79.339
81.34/81.61 c GLOBAL bounds 6 >= 2 @ 79.339
81.34/81.61 c GLOBAL bounds 6 >= 3 @ 79.339
81.34/81.65 c GLOBAL bounds 6 >= 3 @ 79.3762
81.34/81.69 c GLOBAL bounds 6 >= 3 @ 79.4128
81.43/81.72 c GLOBAL bounds 6 >= 3 @ 79.4503
81.43/81.76 c GLOBAL bounds 6 >= 3 @ 79.4878
81.43/81.76 c GLOBAL bounds 6 >= 3 @ 79.4885
81.53/81.80 c GLOBAL bounds 6 >= 3 @ 79.5264
81.53/81.80 c GLOBAL bounds 6 >= 3 @ 79.5266
81.53/81.84 c GLOBAL bounds 6 >= 3 @ 79.5633
81.53/81.84 c GLOBAL bounds 6 >= 3 @ 79.5637
81.53/81.88 c GLOBAL bounds 6 >= 3 @ 79.6019
81.53/81.88 c GLOBAL bounds 6 >= 3 @ 79.6024
81.64/81.92 c GLOBAL bounds 6 >= 3 @ 79.6394
81.64/81.92 c GLOBAL bounds 6 >= 3 @ 79.64
81.64/81.96 c GLOBAL bounds 6 >= 3 @ 79.6832
81.64/81.96 c GLOBAL bounds 6 >= 3 @ 79.6838
81.64/82.00 c GLOBAL bounds 6 >= 3 @ 79.7181
81.64/82.00 c GLOBAL bounds 6 >= 3 @ 79.7187
81.75/82.05 c GLOBAL bounds 6 >= 3 @ 79.7634
81.75/82.05 c GLOBAL bounds 6 >= 3 @ 79.764
81.75/82.08 c GLOBAL bounds 6 >= 3 @ 79.796
81.75/82.08 c GLOBAL bounds 6 >= 3 @ 79.796
81.85/82.12 c GLOBAL bounds 6 >= 3 @ 79.8283
81.85/82.12 c GLOBAL bounds 6 >= 3 @ 79.8289
81.85/82.12 c GLOBAL bounds 6 >= 3 @ 79.8289
81.85/82.12 c GLOBAL bounds 6 >= 3 @ 79.8295
81.85/82.12 c GLOBAL bounds 6 >= 3 @ 79.8295
81.85/82.16 c GLOBAL bounds 6 >= 3 @ 79.8644
81.85/82.19 c GLOBAL bounds 6 >= 3 @ 79.898
81.93/82.23 c GLOBAL bounds 6 >= 3 @ 79.9323
81.93/82.27 c GLOBAL bounds 6 >= 3 @ 79.9717
81.93/82.27 c GLOBAL bounds 6 >= 3 @ 79.9723
82.03/82.30 c GLOBAL bounds 6 >= 3 @ 80.0066
82.03/82.30 c GLOBAL bounds 6 >= 3 @ 80.0072
82.03/82.34 c GLOBAL bounds 6 >= 3 @ 80.0411
82.03/82.34 c GLOBAL bounds 6 >= 3 @ 80.0417
82.14/82.42 c GLOBAL bounds 6 >= 3 @ 80.1156
82.14/82.42 c GLOBAL bounds 6 >= 3 @ 80.1162
82.14/82.46 c GLOBAL bounds 6 >= 3 @ 80.155
82.14/82.46 c GLOBAL bounds 6 >= 3 @ 80.1557
82.14/82.50 c GLOBAL bounds 6 >= 3 @ 80.1937
82.14/82.50 c GLOBAL bounds 6 >= 3 @ 80.1944
82.23/82.53 c GLOBAL bounds 6 >= 3 @ 80.2263
82.23/82.53 c GLOBAL bounds 6 >= 3 @ 80.2269
82.23/82.57 c GLOBAL bounds 6 >= 3 @ 80.2622
82.23/82.57 c GLOBAL bounds 6 >= 3 @ 80.2628
82.33/82.60 c GLOBAL bounds 6 >= 3 @ 80.296
82.33/82.60 c GLOBAL bounds 6 >= 3 @ 80.2967
82.33/82.64 c GLOBAL bounds 6 >= 3 @ 80.3299
82.33/82.64 c GLOBAL bounds 6 >= 3 @ 80.3306
82.33/82.64 c GLOBAL bounds 6 >= 3 @ 80.3314
82.33/82.64 c GLOBAL bounds 6 >= 3 @ 80.3317
82.33/82.64 c GLOBAL bounds 6 >= 3 @ 80.3317
82.33/82.68 c GLOBAL bounds 6 >= 3 @ 80.3671
82.44/82.71 c GLOBAL bounds 6 >= 3 @ 80.4037
82.44/82.75 c GLOBAL bounds 6 >= 3 @ 80.4375
82.44/82.78 c GLOBAL bounds 6 >= 3 @ 80.47
82.44/82.78 c GLOBAL bounds 6 >= 3 @ 80.4706
82.53/82.82 c GLOBAL bounds 6 >= 3 @ 80.5053
82.53/82.82 c GLOBAL bounds 6 >= 3 @ 80.5053
82.53/82.85 c GLOBAL bounds 6 >= 3 @ 80.5393
82.53/82.85 c GLOBAL bounds 6 >= 3 @ 80.5399
82.53/82.89 c GLOBAL bounds 6 >= 3 @ 80.5737
82.53/82.89 c GLOBAL bounds 6 >= 3 @ 80.5741
82.63/82.92 c GLOBAL bounds 6 >= 3 @ 80.6065
82.63/82.92 c GLOBAL bounds 6 >= 3 @ 80.6072
82.63/82.96 c GLOBAL bounds 6 >= 3 @ 80.6406
82.63/82.96 c GLOBAL bounds 6 >= 3 @ 80.641
82.63/82.99 c GLOBAL bounds 6 >= 3 @ 80.6758
82.63/83.00 c GLOBAL bounds 6 >= 3 @ 80.6765
82.75/83.03 c GLOBAL bounds 6 >= 3 @ 80.7092
82.75/83.03 c GLOBAL bounds 6 >= 3 @ 80.71
82.75/83.07 c GLOBAL bounds 6 >= 3 @ 80.7486
82.75/83.07 c GLOBAL bounds 6 >= 3 @ 80.7493
82.75/83.11 c GLOBAL bounds 6 >= 3 @ 80.7821
82.75/83.11 c GLOBAL bounds 6 >= 3 @ 80.7827
82.75/83.11 c GLOBAL bounds 6 >= 3 @ 80.7833
82.84/83.11 c GLOBAL bounds 6 >= 3 @ 80.7842
82.84/83.11 c GLOBAL bounds 6 >= 3 @ 80.7842
82.84/83.15 c GLOBAL bounds 6 >= 3 @ 80.8171
82.84/83.18 c GLOBAL bounds 6 >= 3 @ 80.8488
82.93/83.22 c GLOBAL bounds 6 >= 3 @ 80.8841
82.93/83.25 c GLOBAL bounds 6 >= 3 @ 80.918
82.93/83.25 c GLOBAL bounds 6 >= 3 @ 80.9186
82.93/83.29 c GLOBAL bounds 6 >= 3 @ 80.9538
82.93/83.29 c GLOBAL bounds 6 >= 3 @ 80.9542
83.03/83.33 c GLOBAL bounds 6 >= 3 @ 80.992
83.03/83.33 c GLOBAL bounds 6 >= 3 @ 80.9921
83.03/83.37 c GLOBAL bounds 6 >= 3 @ 81.0315
83.03/83.37 c GLOBAL bounds 6 >= 3 @ 81.032
83.13/83.41 c GLOBAL bounds 6 >= 3 @ 81.0684
83.13/83.41 c GLOBAL bounds 6 >= 3 @ 81.0689
83.13/83.45 c GLOBAL bounds 6 >= 3 @ 81.1115
83.13/83.45 c GLOBAL bounds 6 >= 3 @ 81.1118
83.13/83.49 c GLOBAL bounds 6 >= 3 @ 81.1483
83.13/83.49 c GLOBAL bounds 6 >= 3 @ 81.1488
83.23/83.53 c GLOBAL bounds 6 >= 3 @ 81.1855
83.23/83.53 c GLOBAL bounds 6 >= 3 @ 81.1862
83.23/83.58 c GLOBAL bounds 6 >= 3 @ 81.234
83.23/83.58 c GLOBAL bounds 6 >= 3 @ 81.2354
83.33/83.61 c GLOBAL bounds 6 >= 3 @ 81.268
83.33/83.61 c GLOBAL bounds 6 >= 3 @ 81.2686
83.33/83.62 c GLOBAL bounds 6 >= 3 @ 81.2693
83.33/83.62 c GLOBAL bounds 6 >= 3 @ 81.2695
83.33/83.62 c GLOBAL bounds 6 >= 3 @ 81.2695
83.33/83.65 c GLOBAL bounds 6 >= 3 @ 81.3032
83.33/83.69 c GLOBAL bounds 6 >= 3 @ 81.3371
83.43/83.72 c GLOBAL bounds 6 >= 3 @ 81.3727
83.43/83.76 c GLOBAL bounds 6 >= 3 @ 81.407
83.43/83.76 c GLOBAL bounds 6 >= 3 @ 81.4076
83.43/83.79 c GLOBAL bounds 6 >= 3 @ 81.4432
83.43/83.79 c GLOBAL bounds 6 >= 3 @ 81.4438
83.53/83.83 c GLOBAL bounds 6 >= 3 @ 81.4777
83.53/83.83 c GLOBAL bounds 6 >= 3 @ 81.478
83.53/83.86 c GLOBAL bounds 6 >= 3 @ 81.5099
83.53/83.86 c GLOBAL bounds 6 >= 3 @ 81.5105
83.63/83.90 c GLOBAL bounds 6 >= 3 @ 81.5445
83.63/83.90 c GLOBAL bounds 6 >= 3 @ 81.5451
83.63/83.94 c GLOBAL bounds 6 >= 3 @ 81.5868
83.63/83.94 c GLOBAL bounds 6 >= 3 @ 81.5875
83.63/83.98 c GLOBAL bounds 6 >= 3 @ 81.6219
83.63/83.98 c GLOBAL bounds 6 >= 3 @ 81.6225
83.74/84.01 c GLOBAL bounds 6 >= 3 @ 81.6554
83.74/84.01 c GLOBAL bounds 6 >= 3 @ 81.6556
83.74/84.05 c GLOBAL bounds 6 >= 3 @ 81.6877
83.74/84.05 c GLOBAL bounds 6 >= 3 @ 81.6884
83.74/84.08 c GLOBAL bounds 6 >= 3 @ 81.722
83.74/84.08 c GLOBAL bounds 6 >= 3 @ 81.7223
83.74/84.08 c GLOBAL bounds 6 >= 3 @ 81.723
83.74/84.08 c GLOBAL bounds 6 >= 3 @ 81.7234
83.74/84.08 c GLOBAL bounds 6 >= 3 @ 81.7234
83.84/84.12 c GLOBAL bounds 6 >= 3 @ 81.7569
83.84/84.16 c GLOBAL bounds 6 >= 3 @ 81.7911
83.84/84.19 c GLOBAL bounds 6 >= 3 @ 81.8243
83.93/84.23 c GLOBAL bounds 6 >= 3 @ 81.8558
83.93/84.23 c GLOBAL bounds 6 >= 3 @ 81.8561
83.93/84.27 c GLOBAL bounds 6 >= 3 @ 81.891
83.93/84.27 c GLOBAL bounds 6 >= 3 @ 81.8916
84.03/84.30 c GLOBAL bounds 6 >= 3 @ 81.9267
84.03/84.30 c GLOBAL bounds 6 >= 3 @ 81.9274
84.03/84.34 c GLOBAL bounds 6 >= 3 @ 81.9632
84.03/84.34 c GLOBAL bounds 6 >= 3 @ 81.9638
84.03/84.38 c GLOBAL bounds 6 >= 3 @ 81.998
84.03/84.38 c GLOBAL bounds 6 >= 3 @ 81.9986
84.13/84.42 c GLOBAL bounds 6 >= 3 @ 82.0368
84.13/84.42 c GLOBAL bounds 6 >= 3 @ 82.0374
84.13/84.45 c GLOBAL bounds 6 >= 3 @ 82.0707
84.13/84.45 c GLOBAL bounds 6 >= 3 @ 82.0714
84.13/84.49 c GLOBAL bounds 6 >= 3 @ 82.1117
84.13/84.49 c GLOBAL bounds 6 >= 3 @ 82.1123
84.23/84.53 c GLOBAL bounds 6 >= 3 @ 82.1466
84.23/84.53 c GLOBAL bounds 6 >= 3 @ 82.1472
84.23/84.57 c GLOBAL bounds 6 >= 3 @ 82.1809
84.23/84.57 c GLOBAL bounds 6 >= 3 @ 82.1818
84.23/84.57 c GLOBAL bounds 6 >= 3 @ 82.1824
84.23/84.57 c GLOBAL bounds 6 >= 3 @ 82.1824
84.23/84.57 c GLOBAL bounds 6 >= 3 @ 82.1824
84.33/84.61 c GLOBAL bounds 6 >= 3 @ 82.219
84.33/84.64 c GLOBAL bounds 6 >= 3 @ 82.2544
84.33/84.68 c GLOBAL bounds 6 >= 3 @ 82.2908
84.43/84.71 c GLOBAL bounds 6 >= 3 @ 82.324
84.43/84.71 c GLOBAL bounds 6 >= 3 @ 82.3246
84.43/84.75 c GLOBAL bounds 6 >= 3 @ 82.3598
84.43/84.75 c GLOBAL bounds 6 >= 3 @ 82.3599
84.43/84.78 c GLOBAL bounds 6 >= 3 @ 82.3938
84.43/84.78 c GLOBAL bounds 6 >= 3 @ 82.3938
84.52/84.83 c GLOBAL bounds 6 >= 3 @ 82.4395
84.52/84.83 c GLOBAL bounds 6 >= 3 @ 82.4397
84.52/84.88 c GLOBAL bounds 6 >= 3 @ 82.4808
84.52/84.88 c GLOBAL bounds 6 >= 3 @ 82.4815
84.74/85.06 c #Conflicts: 36000 | #Constraints: 8690
84.74/85.06 c GLOBAL bounds 6 >= 3 @ 82.657
84.74/85.06 c GLOBAL bounds 6 >= 3 @ 82.6576
84.74/85.09 c GLOBAL bounds 6 >= 3 @ 82.6923
84.74/85.09 c GLOBAL bounds 6 >= 3 @ 82.6929
84.84/85.13 c GLOBAL bounds 6 >= 3 @ 82.7245
84.84/85.13 c GLOBAL bounds 6 >= 3 @ 82.7252
84.84/85.16 c GLOBAL bounds 6 >= 3 @ 82.7583
84.84/85.16 c GLOBAL bounds 6 >= 3 @ 82.7589
84.93/85.20 c GLOBAL bounds 6 >= 3 @ 82.792
84.93/85.20 c GLOBAL bounds 6 >= 3 @ 82.7926
84.93/85.20 c GLOBAL bounds 6 >= 3 @ 82.7935
84.93/85.20 c GLOBAL bounds 6 >= 3 @ 82.7939
84.93/85.20 c GLOBAL bounds 6 >= 3 @ 82.7939
84.93/85.23 c GLOBAL bounds 6 >= 3 @ 82.829
84.93/85.27 c GLOBAL bounds 6 >= 3 @ 82.8616
85.03/85.31 c GLOBAL bounds 6 >= 3 @ 82.8965
85.03/85.34 c GLOBAL bounds 6 >= 3 @ 82.9314
85.03/85.34 c GLOBAL bounds 6 >= 3 @ 82.9315
85.03/85.38 c GLOBAL bounds 6 >= 3 @ 82.9669
85.03/85.38 c GLOBAL bounds 6 >= 3 @ 82.9675
85.12/85.45 c GLOBAL bounds 6 >= 3 @ 83.032
85.12/85.45 c GLOBAL bounds 6 >= 3 @ 83.0323
85.12/85.48 c GLOBAL bounds 6 >= 3 @ 83.0658
85.12/85.48 c GLOBAL bounds 6 >= 3 @ 83.0662
85.23/85.52 c GLOBAL bounds 6 >= 3 @ 83.0991
85.23/85.52 c GLOBAL bounds 6 >= 3 @ 83.0991
85.23/85.57 c GLOBAL bounds 6 >= 3 @ 83.1502
85.23/85.57 c GLOBAL bounds 6 >= 3 @ 83.1509
85.32/85.61 c GLOBAL bounds 6 >= 3 @ 83.1847
85.32/85.61 c GLOBAL bounds 6 >= 3 @ 83.1849
85.32/85.64 c GLOBAL bounds 6 >= 3 @ 83.2181
85.32/85.64 c GLOBAL bounds 6 >= 3 @ 83.2188
85.32/85.68 c GLOBAL bounds 6 >= 3 @ 83.2527
85.32/85.68 c GLOBAL bounds 6 >= 3 @ 83.2534
85.43/85.71 c GLOBAL bounds 6 >= 3 @ 83.2884
85.43/85.72 c GLOBAL bounds 6 >= 3 @ 83.2887
85.43/85.72 c GLOBAL bounds 6 >= 3 @ 83.2887
85.43/85.72 c GLOBAL bounds 6 >= 3 @ 83.2893
85.43/85.72 c GLOBAL bounds 6 >= 3 @ 83.2894
85.43/85.75 c GLOBAL bounds 6 >= 3 @ 83.3265
85.43/85.79 c GLOBAL bounds 6 >= 3 @ 83.3601
85.53/85.82 c GLOBAL bounds 6 >= 3 @ 83.3959
85.53/85.86 c GLOBAL bounds 6 >= 3 @ 83.4308
85.53/85.86 c GLOBAL bounds 6 >= 3 @ 83.4313
85.53/85.90 c GLOBAL bounds 6 >= 3 @ 83.466
85.53/85.90 c GLOBAL bounds 6 >= 3 @ 83.4663
85.73/86.02 c GLOBAL bounds 6 >= 3 @ 83.5848
85.73/86.02 c GLOBAL bounds 6 >= 3 @ 83.5849
85.73/86.05 c GLOBAL bounds 6 >= 3 @ 83.617
85.73/86.05 c GLOBAL bounds 6 >= 3 @ 83.6176
85.73/86.09 c GLOBAL bounds 6 >= 3 @ 83.6501
85.73/86.09 c GLOBAL bounds 6 >= 3 @ 83.6507
85.84/86.12 c GLOBAL bounds 6 >= 3 @ 83.6843
85.84/86.12 c GLOBAL bounds 6 >= 3 @ 83.6846
85.84/86.16 c GLOBAL bounds 6 >= 3 @ 83.719
85.84/86.16 c GLOBAL bounds 6 >= 3 @ 83.7196
85.84/86.19 c GLOBAL bounds 6 >= 3 @ 83.7524
85.84/86.19 c GLOBAL bounds 6 >= 3 @ 83.7525
85.92/86.23 c GLOBAL bounds 6 >= 3 @ 83.7845
85.92/86.23 c GLOBAL bounds 6 >= 3 @ 83.7851
85.92/86.26 c GLOBAL bounds 6 >= 3 @ 83.8181
85.92/86.27 c GLOBAL bounds 6 >= 3 @ 83.8188
85.92/86.27 c GLOBAL bounds 6 >= 3 @ 83.8193
85.92/86.27 c GLOBAL bounds 6 >= 3 @ 83.8193
85.92/86.27 c GLOBAL bounds 6 >= 3 @ 83.8193
86.03/86.30 c GLOBAL bounds 6 >= 3 @ 83.8542
86.03/86.34 c GLOBAL bounds 6 >= 3 @ 83.889
86.03/86.37 c GLOBAL bounds 6 >= 3 @ 83.9247
86.12/86.41 c GLOBAL bounds 6 >= 3 @ 83.959
86.12/86.41 c GLOBAL bounds 6 >= 3 @ 83.959
86.12/86.45 c GLOBAL bounds 6 >= 3 @ 83.9946
86.12/86.45 c GLOBAL bounds 6 >= 3 @ 83.9949
86.42/86.79 c #Conflicts: 37000 | #Constraints: 9742
86.42/86.79 c INPROCESSING
86.42/86.79 c GARBAGE COLLECT
86.42/86.79 c rational objective 1
93.71/94.07 c #Conflicts: 38000 | #Constraints: 6740
93.71/94.07 c #Conflicts: 39000 | #Constraints: 8233
93.71/94.07 c #Conflicts: 40000 | #Constraints: 9730
93.71/94.07 c #Conflicts: 41000 | #Constraints: 11207
93.71/94.07 c INPROCESSING
93.71/94.07 c GARBAGE COLLECT
93.71/94.07 c #Conflicts: 42000 | #Constraints: 7473
93.71/94.07 c GLOBAL bounds 6 >= 3 @ 91.4896
93.71/94.07 c GLOBAL bounds 6 >= 3 @ 91.49
94.10/94.49 c GLOBAL bounds 6 >= 3 @ 91.8945
94.10/94.49 c GLOBAL bounds 6 >= 3 @ 91.8951
94.40/94.73 c GLOBAL bounds 6 >= 3 @ 92.1309
94.40/94.73 c GLOBAL bounds 6 >= 3 @ 92.1315
97.59/97.96 c #Conflicts: 43000 | #Constraints: 8716
97.59/97.96 c #Conflicts: 44000 | #Constraints: 10246
97.59/97.96 c GLOBAL bounds 6 >= 3 @ 95.2886
97.59/97.96 c GLOBAL bounds 6 >= 3 @ 95.2893
102.37/102.72 c #Conflicts: 45000 | #Constraints: 11592
102.37/102.72 c #Conflicts: 46000 | #Constraints: 13057
102.37/102.72 c INPROCESSING
102.37/102.72 c GARBAGE COLLECT
102.37/102.72 c #Conflicts: 47000 | #Constraints: 8669
102.37/102.72 c GLOBAL bounds 6 >= 3 @ 99.9566
102.37/102.72 c GLOBAL bounds 6 >= 3 @ 99.9572
103.27/103.64 c GLOBAL bounds 6 >= 3 @ 100.855
103.27/103.64 c GLOBAL bounds 6 >= 3 @ 100.856
103.57/103.95 c GLOBAL bounds 6 >= 3 @ 101.156
103.57/103.95 c GLOBAL bounds 6 >= 3 @ 101.157
103.57/103.98 c GLOBAL bounds 6 >= 3 @ 101.194
103.57/103.98 c GLOBAL bounds 6 >= 3 @ 101.194
103.57/103.99 c GLOBAL bounds 6 >= 3 @ 101.195
103.57/103.99 c GLOBAL bounds 6 >= 3 @ 101.195
103.57/103.99 c GLOBAL bounds 6 >= 3 @ 101.195
103.68/104.02 c GLOBAL bounds 6 >= 3 @ 101.232
103.68/104.06 c GLOBAL bounds 6 >= 3 @ 101.267
103.68/104.10 c GLOBAL bounds 6 >= 3 @ 101.303
103.79/104.14 c GLOBAL bounds 6 >= 3 @ 101.341
103.79/104.14 c GLOBAL bounds 6 >= 3 @ 101.341
103.88/104.22 c GLOBAL bounds 6 >= 3 @ 101.417
103.88/104.22 c GLOBAL bounds 6 >= 3 @ 101.418
103.88/104.26 c GLOBAL bounds 6 >= 3 @ 101.456
103.88/104.26 c GLOBAL bounds 6 >= 3 @ 101.456
103.97/104.31 c GLOBAL bounds 6 >= 3 @ 101.505
103.97/104.31 c GLOBAL bounds 6 >= 3 @ 101.506
103.97/104.35 c GLOBAL bounds 6 >= 3 @ 101.542
103.97/104.35 c GLOBAL bounds 6 >= 3 @ 101.542
103.97/104.38 c GLOBAL bounds 6 >= 3 @ 101.578
103.97/104.38 c GLOBAL bounds 6 >= 3 @ 101.579
104.08/104.42 c GLOBAL bounds 6 >= 3 @ 101.615
104.08/104.42 c GLOBAL bounds 6 >= 3 @ 101.616
104.08/104.46 c GLOBAL bounds 6 >= 3 @ 101.652
104.08/104.46 c GLOBAL bounds 6 >= 3 @ 101.653
104.18/104.50 c GLOBAL bounds 6 >= 3 @ 101.689
104.18/104.50 c GLOBAL bounds 6 >= 3 @ 101.69
104.18/104.54 c GLOBAL bounds 6 >= 3 @ 101.729
104.18/104.54 c GLOBAL bounds 6 >= 3 @ 101.729
104.18/104.54 c GLOBAL bounds 6 >= 3 @ 101.729
104.18/104.54 c GLOBAL bounds 6 >= 3 @ 101.73
104.18/104.54 c GLOBAL bounds 6 >= 3 @ 101.73
104.18/104.58 c GLOBAL bounds 6 >= 3 @ 101.769
104.27/104.62 c GLOBAL bounds 6 >= 3 @ 101.806
104.27/104.65 c GLOBAL bounds 6 >= 3 @ 101.844
104.27/104.69 c GLOBAL bounds 6 >= 3 @ 101.88
104.27/104.69 c GLOBAL bounds 6 >= 3 @ 101.88
104.37/104.73 c GLOBAL bounds 6 >= 3 @ 101.915
104.37/104.73 c GLOBAL bounds 6 >= 3 @ 101.916
104.37/104.77 c GLOBAL bounds 6 >= 3 @ 101.951
104.37/104.77 c GLOBAL bounds 6 >= 3 @ 101.952
104.57/104.92 c GLOBAL bounds 6 >= 3 @ 102.09
104.57/104.92 c GLOBAL bounds 6 >= 3 @ 102.09
104.57/104.96 c GLOBAL bounds 6 >= 3 @ 102.126
104.57/104.96 c GLOBAL bounds 6 >= 3 @ 102.126
104.57/104.99 c GLOBAL bounds 6 >= 3 @ 102.159
104.57/104.99 c GLOBAL bounds 6 >= 3 @ 102.159
104.68/105.03 c GLOBAL bounds 6 >= 3 @ 102.195
104.68/105.03 c GLOBAL bounds 6 >= 3 @ 102.195
104.68/105.07 c #Conflicts: 48000 | #Constraints: 9905
104.68/105.07 c GLOBAL bounds 6 >= 3 @ 102.23
104.68/105.07 c GLOBAL bounds 6 >= 3 @ 102.231
104.68/105.11 c GLOBAL bounds 6 >= 3 @ 102.268
104.68/105.11 c GLOBAL bounds 6 >= 3 @ 102.268
104.79/105.15 c GLOBAL bounds 6 >= 3 @ 102.304
104.79/105.15 c GLOBAL bounds 6 >= 3 @ 102.305
104.79/105.15 c GLOBAL bounds 6 >= 3 @ 102.305
104.79/105.15 c GLOBAL bounds 6 >= 3 @ 102.306
104.79/105.15 c GLOBAL bounds 6 >= 3 @ 102.306
104.79/105.19 c GLOBAL bounds 6 >= 3 @ 102.344
104.87/105.22 c GLOBAL bounds 6 >= 3 @ 102.381
104.87/105.26 c GLOBAL bounds 6 >= 3 @ 102.417
104.97/105.35 c GLOBAL bounds 6 >= 3 @ 102.499
104.97/105.35 c GLOBAL bounds 6 >= 3 @ 102.499
104.97/105.39 c GLOBAL bounds 6 >= 3 @ 102.537
104.97/105.39 c GLOBAL bounds 6 >= 3 @ 102.538
105.07/105.43 c GLOBAL bounds 6 >= 3 @ 102.578
105.07/105.43 c GLOBAL bounds 6 >= 3 @ 102.578
105.97/106.35 c #Conflicts: 49000 | #Constraints: 10922
105.97/106.35 c GLOBAL bounds 6 >= 3 @ 103.476
105.97/106.35 c GLOBAL bounds 6 >= 3 @ 103.476
106.07/106.43 c GLOBAL bounds 6 >= 3 @ 103.548
106.07/106.43 c GLOBAL bounds 6 >= 3 @ 103.548
106.07/106.47 c GLOBAL bounds 6 >= 3 @ 103.588
106.07/106.47 c GLOBAL bounds 6 >= 3 @ 103.588
106.17/106.51 c GLOBAL bounds 6 >= 3 @ 103.623
106.17/106.51 c GLOBAL bounds 6 >= 3 @ 103.624
106.17/106.54 c GLOBAL bounds 6 >= 3 @ 103.661
106.17/106.54 c GLOBAL bounds 6 >= 3 @ 103.662
106.17/106.58 c GLOBAL bounds 6 >= 3 @ 103.698
106.17/106.58 c GLOBAL bounds 6 >= 3 @ 103.699
106.27/106.62 c GLOBAL bounds 6 >= 3 @ 103.736
106.27/106.62 c GLOBAL bounds 6 >= 3 @ 103.737
106.27/106.62 c GLOBAL bounds 6 >= 3 @ 103.737
106.27/106.62 c GLOBAL bounds 6 >= 3 @ 103.738
106.27/106.62 c GLOBAL bounds 6 >= 3 @ 103.738
106.27/106.67 c GLOBAL bounds 6 >= 3 @ 103.781
106.37/106.71 c GLOBAL bounds 6 >= 3 @ 103.817
106.37/106.75 c GLOBAL bounds 6 >= 3 @ 103.855
106.37/106.79 c GLOBAL bounds 6 >= 3 @ 103.895
106.37/106.79 c GLOBAL bounds 6 >= 3 @ 103.895
106.47/106.83 c GLOBAL bounds 6 >= 3 @ 103.931
106.47/106.83 c GLOBAL bounds 6 >= 3 @ 103.932
106.47/106.87 c GLOBAL bounds 6 >= 3 @ 103.97
106.47/106.87 c GLOBAL bounds 6 >= 3 @ 103.97
106.47/106.87 c GLOBAL bounds 5 >= 3 @ 103.978
106.47/106.88 c GLOBAL bounds 5 >= 3 @ 103.978
106.57/106.91 c GLOBAL bounds 5 >= 3 @ 104.014
106.57/106.91 c GLOBAL bounds 5 >= 3 @ 104.015
106.57/106.95 c GLOBAL bounds 5 >= 3 @ 104.052
106.57/106.95 c GLOBAL bounds 5 >= 3 @ 104.053
106.57/107.00 c GLOBAL bounds 5 >= 3 @ 104.095
106.57/107.00 c GLOBAL bounds 5 >= 3 @ 104.096
106.68/107.04 c GLOBAL bounds 5 >= 3 @ 104.14
106.68/107.04 c GLOBAL bounds 5 >= 3 @ 104.14
106.68/107.08 c GLOBAL bounds 5 >= 3 @ 104.178
106.68/107.08 c GLOBAL bounds 5 >= 3 @ 104.179
106.78/107.12 c GLOBAL bounds 5 >= 3 @ 104.215
106.78/107.12 c GLOBAL bounds 5 >= 3 @ 104.216
106.78/107.16 c GLOBAL bounds 5 >= 3 @ 104.253
106.78/107.16 c GLOBAL bounds 5 >= 3 @ 104.254
106.78/107.16 c GLOBAL bounds 5 >= 3 @ 104.255
106.78/107.16 c GLOBAL bounds 5 >= 3 @ 104.255
106.87/107.20 c GLOBAL bounds 5 >= 3 @ 104.294
106.87/107.24 c GLOBAL bounds 5 >= 3 @ 104.335
106.87/107.28 c GLOBAL bounds 5 >= 3 @ 104.378
106.87/107.28 c GLOBAL bounds 5 >= 3 @ 104.379
106.97/107.33 c GLOBAL bounds 5 >= 3 @ 104.421
106.97/107.33 c GLOBAL bounds 5 >= 3 @ 104.422
106.97/107.37 c GLOBAL bounds 5 >= 3 @ 104.467
106.97/107.37 c GLOBAL bounds 5 >= 3 @ 104.467
107.07/107.42 c GLOBAL bounds 5 >= 3 @ 104.509
107.07/107.42 c GLOBAL bounds 5 >= 3 @ 104.51
107.07/107.46 c GLOBAL bounds 5 >= 3 @ 104.551
107.07/107.46 c GLOBAL bounds 5 >= 3 @ 104.552
107.16/107.50 c GLOBAL bounds 5 >= 3 @ 104.591
107.16/107.50 c GLOBAL bounds 5 >= 3 @ 104.592
107.16/107.55 c GLOBAL bounds 5 >= 3 @ 104.637
107.16/107.55 c GLOBAL bounds 5 >= 3 @ 104.637
107.16/107.59 c GLOBAL bounds 5 >= 3 @ 104.678
107.16/107.59 c GLOBAL bounds 5 >= 3 @ 104.679
107.26/107.63 c GLOBAL bounds 5 >= 3 @ 104.721
107.26/107.64 c GLOBAL bounds 5 >= 3 @ 104.721
107.26/107.68 c GLOBAL bounds 5 >= 3 @ 104.762
107.26/107.68 c GLOBAL bounds 5 >= 3 @ 104.762
107.26/107.68 c GLOBAL bounds 5 >= 3 @ 104.763
107.26/107.68 c GLOBAL bounds 5 >= 3 @ 104.763
107.37/107.72 c GLOBAL bounds 5 >= 3 @ 104.805
107.37/107.77 c GLOBAL bounds 5 >= 3 @ 104.847
107.47/107.81 c GLOBAL bounds 5 >= 3 @ 104.89
107.47/107.81 c GLOBAL bounds 5 >= 3 @ 104.891
107.47/107.85 c GLOBAL bounds 5 >= 3 @ 104.93
107.47/107.85 c GLOBAL bounds 5 >= 3 @ 104.93
107.47/107.89 c GLOBAL bounds 5 >= 3 @ 104.972
107.47/107.90 c GLOBAL bounds 5 >= 3 @ 104.972
107.56/107.94 c GLOBAL bounds 5 >= 3 @ 105.018
107.56/107.94 c GLOBAL bounds 5 >= 3 @ 105.019
107.56/107.99 c GLOBAL bounds 5 >= 3 @ 105.06
107.56/107.99 c GLOBAL bounds 5 >= 3 @ 105.06
107.68/108.03 c GLOBAL bounds 5 >= 3 @ 105.1
107.68/108.03 c GLOBAL bounds 5 >= 3 @ 105.101
107.68/108.07 c GLOBAL bounds 5 >= 3 @ 105.142
107.68/108.07 c GLOBAL bounds 5 >= 3 @ 105.142
107.78/108.11 c GLOBAL bounds 5 >= 3 @ 105.183
107.78/108.11 c GLOBAL bounds 5 >= 3 @ 105.183
107.78/108.16 c GLOBAL bounds 5 >= 3 @ 105.225
107.78/108.16 c GLOBAL bounds 5 >= 3 @ 105.226
107.86/108.20 c GLOBAL bounds 5 >= 3 @ 105.267
107.86/108.20 c GLOBAL bounds 5 >= 3 @ 105.268
107.86/108.20 c GLOBAL bounds 5 >= 3 @ 105.269
107.86/108.20 c GLOBAL bounds 5 >= 3 @ 105.269
107.86/108.25 c GLOBAL bounds 5 >= 3 @ 105.312
107.86/108.29 c GLOBAL bounds 5 >= 3 @ 105.354
107.96/108.33 c GLOBAL bounds 5 >= 3 @ 105.396
107.96/108.33 c GLOBAL bounds 5 >= 3 @ 105.397
107.96/108.38 c GLOBAL bounds 5 >= 3 @ 105.439
107.96/108.38 c GLOBAL bounds 5 >= 3 @ 105.44
108.07/108.42 c GLOBAL bounds 5 >= 3 @ 105.482
108.07/108.42 c GLOBAL bounds 5 >= 3 @ 105.483
108.07/108.47 c GLOBAL bounds 5 >= 3 @ 105.524
108.07/108.47 c GLOBAL bounds 5 >= 3 @ 105.525
108.16/108.51 c GLOBAL bounds 5 >= 3 @ 105.567
108.16/108.51 c GLOBAL bounds 5 >= 3 @ 105.568
108.16/108.55 c GLOBAL bounds 5 >= 3 @ 105.61
108.16/108.55 c GLOBAL bounds 5 >= 3 @ 105.611
108.16/108.60 c GLOBAL bounds 5 >= 3 @ 105.653
108.16/108.60 c GLOBAL bounds 5 >= 3 @ 105.654
108.26/108.64 c GLOBAL bounds 5 >= 3 @ 105.695
108.26/108.64 c GLOBAL bounds 5 >= 3 @ 105.696
108.26/108.68 c GLOBAL bounds 5 >= 3 @ 105.736
108.26/108.68 c GLOBAL bounds 5 >= 3 @ 105.737
108.36/108.74 c GLOBAL bounds 5 >= 3 @ 105.794
108.36/108.74 c GLOBAL bounds 5 >= 3 @ 105.795
108.36/108.74 c GLOBAL bounds 5 >= 3 @ 105.795
108.36/108.74 c GLOBAL bounds 5 >= 3 @ 105.795
108.36/108.79 c GLOBAL bounds 5 >= 3 @ 105.841
108.46/108.80 c GLOBAL bounds 5 >= 3 @ 105.848
108.46/108.84 c GLOBAL bounds 5 >= 3 @ 105.884
108.46/108.84 c GLOBAL bounds 5 >= 3 @ 105.884
108.46/108.88 c GLOBAL bounds 5 >= 3 @ 105.925
108.46/108.88 c GLOBAL bounds 5 >= 3 @ 105.926
108.56/108.93 c GLOBAL bounds 5 >= 3 @ 105.971
108.56/108.93 c GLOBAL bounds 5 >= 3 @ 105.971
108.56/108.97 c GLOBAL bounds 5 >= 3 @ 106.016
108.56/108.97 c GLOBAL bounds 5 >= 3 @ 106.016
108.68/109.02 c GLOBAL bounds 5 >= 3 @ 106.058
108.68/109.02 c GLOBAL bounds 5 >= 3 @ 106.058
108.68/109.06 c GLOBAL bounds 5 >= 3 @ 106.097
108.68/109.06 c GLOBAL bounds 5 >= 3 @ 106.098
108.68/109.10 c GLOBAL bounds 5 >= 3 @ 106.138
108.68/109.10 c GLOBAL bounds 5 >= 3 @ 106.138
108.77/109.15 c GLOBAL bounds 5 >= 3 @ 106.181
108.77/109.15 c GLOBAL bounds 5 >= 3 @ 106.182
108.77/109.19 c GLOBAL bounds 5 >= 3 @ 106.224
108.77/109.19 c GLOBAL bounds 5 >= 3 @ 106.224
108.87/109.24 c GLOBAL bounds 5 >= 3 @ 106.264
108.87/109.24 c GLOBAL bounds 5 >= 3 @ 106.265
108.87/109.24 c GLOBAL bounds 5 >= 3 @ 106.265
108.87/109.24 c GLOBAL bounds 5 >= 3 @ 106.265
108.87/109.28 c GLOBAL bounds 5 >= 3 @ 106.306
108.87/109.29 c GLOBAL bounds 5 >= 3 @ 106.317
108.96/109.33 c GLOBAL bounds 5 >= 3 @ 106.356
108.96/109.33 c GLOBAL bounds 5 >= 3 @ 106.357
108.96/109.37 c GLOBAL bounds 5 >= 3 @ 106.398
108.96/109.38 c GLOBAL bounds 5 >= 3 @ 106.398
109.07/109.42 c GLOBAL bounds 5 >= 3 @ 106.439
109.07/109.42 c GLOBAL bounds 5 >= 3 @ 106.439
109.07/109.46 c GLOBAL bounds 5 >= 3 @ 106.481
109.07/109.46 c GLOBAL bounds 5 >= 3 @ 106.482
109.17/109.50 c GLOBAL bounds 5 >= 3 @ 106.524
109.17/109.50 c GLOBAL bounds 5 >= 3 @ 106.524
109.17/109.55 c GLOBAL bounds 5 >= 3 @ 106.565
109.17/109.55 c GLOBAL bounds 5 >= 3 @ 106.565
109.17/109.59 c GLOBAL bounds 5 >= 3 @ 106.606
109.17/109.59 c GLOBAL bounds 5 >= 3 @ 106.607
109.26/109.63 c GLOBAL bounds 5 >= 3 @ 106.649
109.26/109.63 c GLOBAL bounds 5 >= 3 @ 106.65
109.26/109.68 c GLOBAL bounds 5 >= 3 @ 106.691
109.26/109.68 c GLOBAL bounds 5 >= 3 @ 106.692
109.36/109.72 c GLOBAL bounds 5 >= 3 @ 106.732
109.36/109.72 c GLOBAL bounds 5 >= 3 @ 106.732
109.36/109.72 c GLOBAL bounds 5 >= 3 @ 106.732
109.36/109.72 c GLOBAL bounds 5 >= 3 @ 106.732
109.36/109.76 c GLOBAL bounds 5 >= 3 @ 106.775
109.47/109.81 c GLOBAL bounds 5 >= 3 @ 106.817
109.47/109.85 c GLOBAL bounds 5 >= 3 @ 106.858
109.47/109.85 c GLOBAL bounds 5 >= 3 @ 106.858
109.47/109.89 c GLOBAL bounds 5 >= 3 @ 106.901
109.47/109.89 c GLOBAL bounds 5 >= 3 @ 106.902
109.56/109.94 c GLOBAL bounds 5 >= 3 @ 106.944
109.56/109.94 c GLOBAL bounds 5 >= 3 @ 106.945
109.56/109.98 c GLOBAL bounds 5 >= 3 @ 106.986
109.56/109.98 c GLOBAL bounds 5 >= 3 @ 106.986
109.67/110.02 c GLOBAL bounds 5 >= 3 @ 107.026
109.67/110.03 c GLOBAL bounds 5 >= 3 @ 107.027
109.67/110.07 c GLOBAL bounds 5 >= 3 @ 107.067
109.67/110.07 c GLOBAL bounds 5 >= 3 @ 107.068
109.77/110.11 c GLOBAL bounds 5 >= 3 @ 107.105
109.77/110.11 c GLOBAL bounds 5 >= 3 @ 107.106
109.77/110.15 c GLOBAL bounds 5 >= 3 @ 107.146
109.77/110.16 c GLOBAL bounds 5 >= 3 @ 107.147
109.85/110.20 c GLOBAL bounds 5 >= 3 @ 107.189
109.85/110.20 c GLOBAL bounds 5 >= 3 @ 107.19
109.85/110.24 c GLOBAL bounds 5 >= 3 @ 107.23
109.85/110.24 c GLOBAL bounds 5 >= 3 @ 107.23
109.85/110.24 c GLOBAL bounds 5 >= 3 @ 107.23
109.85/110.24 c GLOBAL bounds 5 >= 3 @ 107.23
109.85/110.29 c GLOBAL bounds 5 >= 3 @ 107.273
109.96/110.33 c GLOBAL bounds 5 >= 3 @ 107.312
109.96/110.37 c GLOBAL bounds 5 >= 3 @ 107.355
109.96/110.37 c GLOBAL bounds 5 >= 3 @ 107.355
110.06/110.41 c GLOBAL bounds 5 >= 3 @ 107.393
110.06/110.41 c GLOBAL bounds 5 >= 3 @ 107.394
110.06/110.46 c GLOBAL bounds 5 >= 3 @ 107.432
110.06/110.46 c GLOBAL bounds 5 >= 3 @ 107.433
110.16/110.50 c GLOBAL bounds 5 >= 3 @ 107.476
110.16/110.50 c GLOBAL bounds 5 >= 3 @ 107.476
110.16/110.54 c GLOBAL bounds 5 >= 3 @ 107.517
110.16/110.54 c GLOBAL bounds 5 >= 3 @ 107.518
110.16/110.58 c GLOBAL bounds 5 >= 3 @ 107.556
110.16/110.59 c GLOBAL bounds 5 >= 3 @ 107.557
110.26/110.63 c GLOBAL bounds 5 >= 3 @ 107.599
110.26/110.63 c GLOBAL bounds 5 >= 3 @ 107.599
110.26/110.67 c GLOBAL bounds 5 >= 3 @ 107.642
110.26/110.68 c GLOBAL bounds 5 >= 3 @ 107.645
110.35/110.72 c GLOBAL bounds 5 >= 3 @ 107.686
110.35/110.72 c GLOBAL bounds 5 >= 3 @ 107.687
110.35/110.76 c GLOBAL bounds 5 >= 3 @ 107.729
110.35/110.76 c GLOBAL bounds 5 >= 3 @ 107.73
110.35/110.76 c GLOBAL bounds 5 >= 3 @ 107.73
110.35/110.76 c GLOBAL bounds 5 >= 3 @ 107.73
110.46/110.81 c GLOBAL bounds 5 >= 3 @ 107.772
110.46/110.85 c GLOBAL bounds 5 >= 3 @ 107.814
110.46/110.89 c GLOBAL bounds 5 >= 3 @ 107.855
110.46/110.89 c GLOBAL bounds 5 >= 3 @ 107.856
110.56/110.93 c GLOBAL bounds 5 >= 3 @ 107.896
110.56/110.93 c GLOBAL bounds 5 >= 3 @ 107.896
110.56/110.98 c GLOBAL bounds 5 >= 3 @ 107.937
110.56/110.98 c GLOBAL bounds 5 >= 3 @ 107.938
110.66/111.02 c GLOBAL bounds 5 >= 3 @ 107.976
110.66/111.02 c GLOBAL bounds 5 >= 3 @ 107.977
110.66/111.06 c GLOBAL bounds 5 >= 3 @ 108.017
110.66/111.06 c GLOBAL bounds 5 >= 3 @ 108.018
110.66/111.11 c GLOBAL bounds 5 >= 3 @ 108.06
110.66/111.11 c GLOBAL bounds 5 >= 3 @ 108.061
110.77/111.15 c GLOBAL bounds 5 >= 3 @ 108.104
110.77/111.15 c GLOBAL bounds 5 >= 3 @ 108.104
110.77/111.19 c GLOBAL bounds 5 >= 3 @ 108.144
110.77/111.19 c GLOBAL bounds 5 >= 3 @ 108.145
110.86/111.24 c GLOBAL bounds 5 >= 3 @ 108.185
110.86/111.24 c GLOBAL bounds 5 >= 3 @ 108.186
110.86/111.28 c GLOBAL bounds 5 >= 3 @ 108.224
110.86/111.28 c GLOBAL bounds 5 >= 3 @ 108.225
110.86/111.28 c GLOBAL bounds 5 >= 3 @ 108.225
110.86/111.28 c GLOBAL bounds 5 >= 3 @ 108.225
110.96/111.32 c GLOBAL bounds 5 >= 3 @ 108.268
110.96/111.37 c GLOBAL bounds 5 >= 3 @ 108.306
111.05/111.41 c GLOBAL bounds 5 >= 3 @ 108.348
111.05/111.41 c GLOBAL bounds 5 >= 3 @ 108.349
111.05/111.45 c GLOBAL bounds 5 >= 3 @ 108.39
111.05/111.45 c GLOBAL bounds 5 >= 3 @ 108.39
111.16/111.52 c GLOBAL bounds 5 >= 3 @ 108.448
111.16/111.52 c GLOBAL bounds 5 >= 3 @ 108.449
111.16/111.57 c GLOBAL bounds 5 >= 3 @ 108.496
111.16/111.57 c GLOBAL bounds 5 >= 3 @ 108.497
111.25/111.61 c GLOBAL bounds 5 >= 3 @ 108.537
111.25/111.61 c GLOBAL bounds 5 >= 3 @ 108.538
111.25/111.65 c GLOBAL bounds 5 >= 3 @ 108.575
111.25/111.65 c GLOBAL bounds 5 >= 3 @ 108.576
111.25/111.69 c GLOBAL bounds 5 >= 3 @ 108.621
111.25/111.70 c GLOBAL bounds 5 >= 3 @ 108.622
111.35/111.74 c GLOBAL bounds 5 >= 3 @ 108.663
111.35/111.74 c GLOBAL bounds 5 >= 3 @ 108.663
111.35/111.78 c GLOBAL bounds 5 >= 3 @ 108.704
111.35/111.78 c GLOBAL bounds 5 >= 3 @ 108.704
111.45/111.82 c GLOBAL bounds 5 >= 3 @ 108.74
111.45/111.82 c GLOBAL bounds 5 >= 3 @ 108.74
111.45/111.82 c GLOBAL bounds 5 >= 3 @ 108.741
111.45/111.82 c GLOBAL bounds 5 >= 3 @ 108.741
111.45/111.87 c GLOBAL bounds 5 >= 3 @ 108.783
111.55/111.91 c GLOBAL bounds 5 >= 3 @ 108.824
111.55/111.95 c GLOBAL bounds 5 >= 3 @ 108.867
111.55/111.95 c GLOBAL bounds 5 >= 3 @ 108.867
111.55/111.99 c GLOBAL bounds 5 >= 3 @ 108.907
111.55/111.99 c GLOBAL bounds 5 >= 3 @ 108.907
111.67/112.03 c GLOBAL bounds 5 >= 3 @ 108.947
111.67/112.04 c GLOBAL bounds 5 >= 3 @ 108.947
111.67/112.07 c GLOBAL bounds 5 >= 3 @ 108.986
111.67/112.08 c GLOBAL bounds 5 >= 3 @ 108.987
111.77/112.12 c GLOBAL bounds 5 >= 3 @ 109.027
111.77/112.12 c GLOBAL bounds 5 >= 3 @ 109.028
111.77/112.16 c GLOBAL bounds 5 >= 3 @ 109.068
111.77/112.16 c GLOBAL bounds 5 >= 3 @ 109.068
111.85/112.20 c GLOBAL bounds 5 >= 3 @ 109.109
111.85/112.20 c GLOBAL bounds 5 >= 3 @ 109.11
111.85/112.25 c GLOBAL bounds 5 >= 3 @ 109.149
111.85/112.25 c GLOBAL bounds 5 >= 3 @ 109.15
111.85/112.29 c GLOBAL bounds 5 >= 3 @ 109.19
111.85/112.29 c GLOBAL bounds 5 >= 3 @ 109.191
111.96/112.33 c GLOBAL bounds 5 >= 3 @ 109.233
111.96/112.33 c GLOBAL bounds 5 >= 3 @ 109.233
111.96/112.33 c GLOBAL bounds 5 >= 3 @ 109.233
111.96/112.33 c GLOBAL bounds 5 >= 3 @ 109.233
111.96/112.37 c GLOBAL bounds 5 >= 3 @ 109.274
112.05/112.42 c GLOBAL bounds 5 >= 3 @ 109.313
112.05/112.46 c GLOBAL bounds 5 >= 3 @ 109.354
112.05/112.46 c GLOBAL bounds 5 >= 3 @ 109.355
112.16/112.50 c GLOBAL bounds 5 >= 3 @ 109.393
112.16/112.50 c GLOBAL bounds 5 >= 3 @ 109.394
112.16/112.54 c GLOBAL bounds 5 >= 3 @ 109.433
112.16/112.54 c GLOBAL bounds 5 >= 3 @ 109.434
112.16/112.59 c GLOBAL bounds 5 >= 3 @ 109.475
112.16/112.59 c GLOBAL bounds 5 >= 3 @ 109.476
112.25/112.63 c GLOBAL bounds 5 >= 3 @ 109.515
112.25/112.63 c GLOBAL bounds 5 >= 3 @ 109.515
112.25/112.67 c GLOBAL bounds 5 >= 3 @ 109.555
112.25/112.67 c GLOBAL bounds 5 >= 3 @ 109.556
112.35/112.71 c GLOBAL bounds 5 >= 3 @ 109.596
112.35/112.71 c GLOBAL bounds 5 >= 3 @ 109.597
112.35/112.75 c GLOBAL bounds 5 >= 3 @ 109.638
112.35/112.75 c GLOBAL bounds 5 >= 3 @ 109.638
112.46/112.80 c GLOBAL bounds 5 >= 3 @ 109.679
112.46/112.80 c GLOBAL bounds 5 >= 3 @ 109.68
112.46/112.84 c GLOBAL bounds 5 >= 3 @ 109.719
112.46/112.84 c GLOBAL bounds 5 >= 3 @ 109.719
112.46/112.84 c GLOBAL bounds 5 >= 3 @ 109.72
112.46/112.84 c GLOBAL bounds 5 >= 3 @ 109.72
112.46/112.89 c GLOBAL bounds 5 >= 3 @ 109.76
112.56/112.93 c GLOBAL bounds 5 >= 3 @ 109.799
112.56/112.97 c GLOBAL bounds 5 >= 3 @ 109.838
112.56/112.97 c GLOBAL bounds 5 >= 3 @ 109.839
112.56/113.01 c GLOBAL bounds 5 >= 3 @ 109.88
112.67/113.01 c GLOBAL bounds 5 >= 3 @ 109.88
112.67/113.05 c GLOBAL bounds 5 >= 3 @ 109.922
112.67/113.05 c GLOBAL bounds 5 >= 3 @ 109.923
112.67/113.09 c GLOBAL bounds 5 >= 3 @ 109.964
112.67/113.10 c GLOBAL bounds 5 >= 3 @ 109.964
112.77/113.14 c GLOBAL bounds 5 >= 3 @ 110.005
112.77/113.14 c GLOBAL bounds 5 >= 3 @ 110.006
112.77/113.18 c GLOBAL bounds 5 >= 3 @ 110.047
112.77/113.18 c GLOBAL bounds 5 >= 3 @ 110.048
112.85/113.22 c GLOBAL bounds 5 >= 3 @ 110.087
112.85/113.22 c GLOBAL bounds 5 >= 3 @ 110.088
112.85/113.26 c GLOBAL bounds 5 >= 3 @ 110.128
112.85/113.26 c GLOBAL bounds 5 >= 3 @ 110.128
112.95/113.31 c GLOBAL bounds 5 >= 3 @ 110.169
112.95/113.31 c GLOBAL bounds 5 >= 3 @ 110.169
112.95/113.35 c GLOBAL bounds 5 >= 3 @ 110.209
112.95/113.35 c GLOBAL bounds 5 >= 3 @ 110.21
112.95/113.35 c GLOBAL bounds 5 >= 3 @ 110.211
112.95/113.35 c GLOBAL bounds 5 >= 3 @ 110.211
112.95/113.39 c GLOBAL bounds 5 >= 3 @ 110.254
113.06/113.43 c GLOBAL bounds 5 >= 3 @ 110.294
113.06/113.48 c GLOBAL bounds 5 >= 3 @ 110.336
113.06/113.48 c GLOBAL bounds 5 >= 3 @ 110.336
113.15/113.52 c GLOBAL bounds 5 >= 3 @ 110.377
113.15/113.52 c GLOBAL bounds 5 >= 3 @ 110.377
113.15/113.56 c GLOBAL bounds 5 >= 3 @ 110.419
113.15/113.56 c GLOBAL bounds 5 >= 3 @ 110.419
113.25/113.60 c GLOBAL bounds 5 >= 3 @ 110.46
113.25/113.60 c GLOBAL bounds 5 >= 3 @ 110.46
113.25/113.65 c GLOBAL bounds 5 >= 3 @ 110.5
113.25/113.65 c GLOBAL bounds 5 >= 3 @ 110.5
113.25/113.69 c GLOBAL bounds 5 >= 3 @ 110.54
113.25/113.69 c GLOBAL bounds 5 >= 3 @ 110.541
113.35/113.73 c GLOBAL bounds 5 >= 3 @ 110.582
113.35/113.73 c GLOBAL bounds 5 >= 3 @ 110.583
113.35/113.77 c GLOBAL bounds 5 >= 3 @ 110.621
113.35/113.77 c GLOBAL bounds 5 >= 3 @ 110.621
113.45/113.81 c GLOBAL bounds 5 >= 3 @ 110.662
113.45/113.82 c GLOBAL bounds 5 >= 3 @ 110.662
113.45/113.86 c GLOBAL bounds 5 >= 3 @ 110.702
113.45/113.86 c GLOBAL bounds 5 >= 3 @ 110.703
113.45/113.86 c GLOBAL bounds 5 >= 3 @ 110.703
113.45/113.86 c GLOBAL bounds 5 >= 3 @ 110.703
113.55/113.90 c GLOBAL bounds 5 >= 3 @ 110.745
113.55/113.94 c GLOBAL bounds 5 >= 3 @ 110.785
113.55/113.98 c GLOBAL bounds 5 >= 3 @ 110.825
113.55/113.98 c GLOBAL bounds 5 >= 3 @ 110.825
113.66/114.03 c GLOBAL bounds 5 >= 3 @ 110.864
113.66/114.03 c GLOBAL bounds 5 >= 3 @ 110.865
113.66/114.07 c GLOBAL bounds 5 >= 3 @ 110.906
113.66/114.07 c GLOBAL bounds 5 >= 3 @ 110.906
113.76/114.11 c GLOBAL bounds 5 >= 3 @ 110.944
113.76/114.11 c GLOBAL bounds 5 >= 3 @ 110.945
113.76/114.15 c GLOBAL bounds 5 >= 3 @ 110.985
113.76/114.15 c GLOBAL bounds 5 >= 3 @ 110.986
113.76/114.20 c GLOBAL bounds 5 >= 3 @ 111.027
113.76/114.20 c GLOBAL bounds 5 >= 3 @ 111.027
113.85/114.24 c GLOBAL bounds 5 >= 3 @ 111.068
113.85/114.24 c GLOBAL bounds 5 >= 3 @ 111.069
113.85/114.28 c GLOBAL bounds 5 >= 3 @ 111.11
113.85/114.28 c GLOBAL bounds 5 >= 3 @ 111.111
113.94/114.32 c GLOBAL bounds 5 >= 3 @ 111.152
113.94/114.32 c GLOBAL bounds 5 >= 3 @ 111.152
113.94/114.37 c GLOBAL bounds 5 >= 3 @ 111.193
113.94/114.37 c GLOBAL bounds 5 >= 3 @ 111.193
113.94/114.37 c GLOBAL bounds 5 >= 3 @ 111.194
113.94/114.37 c GLOBAL bounds 5 >= 3 @ 111.194
114.05/114.41 c GLOBAL bounds 5 >= 3 @ 111.234
114.05/114.45 c GLOBAL bounds 5 >= 3 @ 111.271
114.05/114.49 c GLOBAL bounds 5 >= 3 @ 111.312
114.05/114.49 c GLOBAL bounds 5 >= 3 @ 111.313
114.15/114.53 c GLOBAL bounds 5 >= 3 @ 111.353
114.15/114.53 c GLOBAL bounds 5 >= 3 @ 111.353
114.15/114.58 c GLOBAL bounds 5 >= 3 @ 111.393
114.15/114.58 c GLOBAL bounds 5 >= 3 @ 111.393
114.25/114.62 c GLOBAL bounds 5 >= 3 @ 111.434
114.25/114.62 c GLOBAL bounds 5 >= 3 @ 111.435
114.25/114.66 c GLOBAL bounds 5 >= 3 @ 111.473
114.25/114.66 c GLOBAL bounds 5 >= 3 @ 111.474
114.35/114.70 c GLOBAL bounds 5 >= 3 @ 111.515
114.35/114.71 c GLOBAL bounds 5 >= 3 @ 111.518
114.35/114.75 c GLOBAL bounds 5 >= 3 @ 111.559
114.35/114.75 c GLOBAL bounds 5 >= 3 @ 111.56
114.35/114.79 c GLOBAL bounds 5 >= 3 @ 111.598
114.35/114.79 c GLOBAL bounds 5 >= 3 @ 111.599
114.44/114.83 c GLOBAL bounds 5 >= 3 @ 111.64
114.44/114.83 c GLOBAL bounds 5 >= 3 @ 111.64
114.44/114.87 c GLOBAL bounds 5 >= 3 @ 111.677
114.44/114.88 c GLOBAL bounds 5 >= 3 @ 111.678
114.44/114.88 c GLOBAL bounds 5 >= 3 @ 111.678
114.44/114.88 c GLOBAL bounds 5 >= 3 @ 111.678
114.55/114.92 c GLOBAL bounds 5 >= 3 @ 111.72
114.55/114.96 c GLOBAL bounds 5 >= 3 @ 111.762
114.55/114.97 c GLOBAL bounds 4 >= 3 @ 111.773
114.55/114.97 c GLOBAL bounds 4 >= 3 @ 111.773
114.66/115.02 c Inconsistent constraint found
114.66/115.02 c cpu time 111.814 s
114.66/115.02 c deterministic time 1240086986 1.24e+09
114.66/115.02 c optimization time 1.39109 s
114.66/115.02 c total solve time 110.07 s
114.66/115.02 c core-guided solve time 0 s
114.66/115.02 c propagation time 37.1119 s
114.66/115.02 c conflict analysis time 53.2434 s
114.66/115.02 c propagations 3423386
114.66/115.02 c resolve steps 1116514
114.66/115.02 c decisions 1370520
114.66/115.02 c conflicts 49900
114.66/115.02 c restarts 154
114.66/115.02 c inprocessing phases 14
114.66/115.02 c garbage collections 14 ,( 100.00 )
114.66/115.02 c input clauses 800 ,( 41.93 )
114.66/115.02 c input cardinalities 1 ,( 0.05 )
114.66/115.02 c input general constraints 1107 ,( 58.02 )
114.66/115.02 c input average constraint length 508.21
114.66/115.02 c input average constraint degree 108.05
114.66/115.02 c learned clauses 43206 ,( 76.59 )
114.66/115.02 c learned cardinalities 1 ,( 0.00 )
114.66/115.02 c learned general constraints 13207 ,( 23.41 )
114.66/115.02 c learned average constraint length 369.04
114.66/115.02 c learned average constraint degree 76463324.98
114.66/115.02 c watched CF 32, 64, 128, Arb: 2642 , 0 , 0 , 0
114.66/115.02 c counting CF 32, 64, 128, Arb: 11673 , 0 , 0 , 0
114.66/115.02 c watched constraints 2642 ,( 18.46 )
114.66/115.02 c counting constraints 11672 ,( 81.54 )
114.66/115.02 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 6168169 , 10923 , 76793929 ,( 3811405 , 72982524 )
114.66/115.02 c gcd simplifications 9478
114.66/115.02 c detected cardinalities 0
114.66/115.02 c weakened non-implied lits 1536525
114.66/115.02 c weakened non-implying lits 279943
114.66/115.02 c original variables 1294
114.66/115.02 c clausal propagations 104791
114.66/115.02 c cardinality propagations 4647
114.66/115.02 c watched propagations 62398
114.66/115.02 c counting propagations 2804389
114.66/115.02 c watch lookups 585601997
114.66/115.02 c watch backjump lookups 0
114.66/115.02 c watch checks 210844620
114.66/115.02 c propagation checks 115270631
114.66/115.02 c constraint additions 318664203
114.66/115.02 c trail pops 4843477
114.66/115.02 c formula constraints 1092
114.66/115.02 c learned constraints 49572
114.66/115.02 c bound constraints 0
114.66/115.02 c core-guided constraints 0
114.66/115.02 c encountered formula constraints 1001199
114.66/115.02 c encountered learned constraints 158593
114.66/115.02 c encountered bound constraints 0
114.66/115.02 c encountered core-guided constraints 0
114.66/115.02 c LP total time 44.9835 s
114.66/115.02 c LP solve time 24.29 s
114.66/115.02 c LP constraints added 1198
114.66/115.02 c LP constraints removed 92
114.66/115.02 c LP pivots internal 49784
114.66/115.02 c LP pivots root 18367
114.66/115.02 c LP calls 7046
114.66/115.02 c LP optimalities 531
114.66/115.02 c LP no pivot count 230
114.66/115.02 c LP infeasibilities 6502
114.66/115.02 c LP valid Farkas constraints 6493
114.66/115.02 c LP learned Farkas constraints 327
114.66/115.02 c LP basis resets 19
114.66/115.02 c LP cycling count 10
114.66/115.02 c LP singular count 0
114.66/115.02 c LP no primal count 0
114.66/115.02 c LP no farkas count 9
114.66/115.02 c LP other issue count 0
114.66/115.02 c LP Gomory cuts 22
114.66/115.02 c LP learned cuts 84
114.66/115.02 c LP deleted cuts 92
114.66/115.02 c LP encountered Gomory constraints 0
114.66/115.02 c LP encountered Farkas constraints 3893
114.66/115.02 c LP encountered learned Farkas constraints 2341
114.66/115.02 c CG auxiliary variables introduced 291
114.66/115.02 c CG solutions found 8
114.66/115.02 c CG cores constructed 722
114.66/115.02 c CG core cardinality constraints returned 0
114.66/115.02 c CG unit cores 0
114.66/115.02 c CG single cores 0
114.66/115.02 c CG blocks removed during cardinality reduction 0
114.66/115.02 c CG first core best 0
114.66/115.02 c CG decision core best 0
114.66/115.02 c CG core reduction tie 0
114.66/115.02 c CG core degree average 0.00
114.66/115.02 c CG core slack average 0.00
114.66/115.02 c CG core upper bound improvements 0
114.66/115.02 c STR number of successful calls 0
114.66/115.02 c STR number of unsuccessful calls 0
114.66/115.02 c STR number of inconclusive calls 0
114.66/115.02 c STR number of successful attempts 0
114.66/115.02 c STR number of unsuccessful attempts 0
114.66/115.02 c STR number of inconclusive attempts 0
114.66/115.02 c STR average degree increase per successful call inf
114.66/115.02 c STR average degree increase per successful attempt inf
114.66/115.02 c STR total number of conflicts for successful attempts 0
114.66/115.02 c STR total number of conflicts for unsuccessful attempts 0
114.66/115.02 c STR total number of conflicts for inconclusive attempts 0
114.66/115.02 c STR average number of conflicts per successful attempt inf
114.66/115.02 c STR average number of conflicts per unsuccessful attempt inf
114.66/115.02 c STR average number of conflicts per inconclusive attempt inf
114.66/115.02 c AVG.sumWPerc 55.86
114.66/115.02 c bigint constraints 0
114.66/115.02 o 4
114.66/115.02 s OPTIMUM FOUND
114.66/115.02 v -x1 x2 -x3 x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 x34 -x35 x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 x51 x52 x53 -x54 -x55 -x56 x57 -x58 -x59 x60 x61 -x62 -x63 x64 -x65 -x66 x67 x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 x92 x93 x94 -x95 x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 x109 x110 -x111 -x112 x113 x114 x115 x116 x117 x118 -x119 x120 x121 x122 -x123 x124 x125 x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 x137 x138 x139 -x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 x193 x194 x195 x196 x197 x198 -x199 x200 x201 -x202 -x203 x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 x220 -x221 -x222 x223 x224 x225 x226 x227 -x228 x229 -x230 -x231 x232 x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 x252 -x253 -x254 x255 x256 -x257 -x258 x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 x277 -x278 x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 x297 x298 x299 x300 x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x310 -x311 -x312 -x313 -x314 x315 x316 -x317 -x318 -x319 x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 x332 x333 -x334 -x335 -x336 x337 x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 x348 -x349 x350 x351 x352 x353 x354 -x355 -x356 -x357 x358 -x359 x360 -x361 x362 -x363 x364 -x365 -x366 -x367 x368 -x369 x370 x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 x388 -x389 -x390 x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 x415 -x416 x417 -x418 x419 x420 -x421 -x422 x423 -x424 -x425 x426 x427 -x428 -x429 -x430 x431 x432 x433 x434 x435 -x436 -x437 -x438 -x439 -x440 x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 -x465 -x466 -x467 x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 x492 -x493 x494 x495 x496 x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 x520 x521 x522 x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 x549 x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 x638 x639 -x640 -x641 x642 x643 x644 -x645 -x646 -x647 x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 x668 -x669 x670 -x671 x672 -x673 x674 x675 x676 -x677 x678 x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 x688 -x689 x690 -x691 -x692 -x693 -x694 x695 x696 x697 x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 x707 x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 x726 -x727 x728 -x729 x730 -x731 -x732 x733 x734 -x735 x736 -x737 -x738 -x739 x740 -x741 x742 x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 x763 x764 -x765 x766 x767 x768 -x769 -x770 x771 -x772 x773 x774 -x775 -x776 -x777 -x778 -x779 x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 -x796 -x797 x798 x799 x800 x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 x822 x823 x824 -x825 -x826 x827 -x828 -x829 x830 -x831 -x832 -x833 x834 x835 x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 x850 x851 x852 -x853 x854 -x855 x856 -x857 x858 -x859 x860 x861 x862 x863 -x864 -x865 x866 x867 x868 x869 x870 x871 -x872 -x873 -x874 x875 -x876 x877 -x878 x879 x880 -x881 x882 x883 -x884 x885 -x886 x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 x898 -x899 x900 x901 x902 x903 x904 -x905 x906 -x907 -x908 x909 -x910 x911 -x912 x913 -x914 x915 x916 -x917 -x918 x919 x920 -x921 x922 x923 -x924 -x925 -x926 x927 -x928 x929 x930 x931 -x932 x933 x934 -x935 -x936 -x937 x938 x939 x940 x941 -x942 -x943 x944 -x945 x946 x947 x948 -x949 x950 x951 -x952 x953 x954 -x955 x956 x957 x958 -x959 x960 x961 x962 x963 -x964 -x965 -x966 x967 x968 x969 x970 -x971 -x972 -x973 x974 x975 -x976 -x977 x978 -x979 -x980 x981 x982 -x983 x984 x985 -x986 -x987 -x988 -x989 x990 x991 x992 -x993 -x994 -x995 x996 -x997 -x998 x999 -x1000 -x1001 -x1002 x1003 x1004 x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 x1012 x1013 -x1014 x1015 x1016 -x1017 -x1018 -x1019 x1020 x1021 -x1022 -x1023 -x1024 x1025 x1026 x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 x1035 x1036 x1037 -x1038 x1039 x1040 -x1041 -x1042 x1043 -x1044 -x1045 x1046 -x1047 x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 x1063 x1064 x1065 x1066 -x1067 -x1068 x1069 -x1070 x1071 -x1072 -x1073 x1074 x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 x1095 x1096 -x1097 x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 x1113 x1114 -x1115 x1116 x1117 -x1118 -x1119 x1120 -x1121 x1122 -x1123 x1124 x1125 x1126 -x1127 x1128 x1129 -x1130 -x1131 x1132 -x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 -x1141 -x1142 -x1143 x1144 x1145 x1146 x1147 x1148 -x1149 x1150 -x1151 x1152 x1153 -x1154 -x1155 x1156 -x1157 x1158 x1159 -x1160 x1161 -x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 -x1171 -x1172 -x1173 x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186 x1187 x1188 -x1189 -x1190 -x1191 x1192 -x1193 x1194 x1195 x1196 x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 x1206 x1207 x1208 -x1209 x1210 x1211 x1212 -x1213 -x1214 x1215 -x1216 -x1217 x1218 x1219 x1220 -x1221 x1222 -x1223 -x1224 x1225 x1226 -x1227 -x1228 x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 x1252 x1253 x1254 -x1255 x1256 -x1257 x1258 -x1259 x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 x1277 x1278 -x1279 x1280 -x1281 x1282 -x1283 -x1284 -x1285 x1286 -x1287 x1288 -x1289 x1290 -x1291 -x1292 x1293 x1294
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Fri Jul 4 21:54:44 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 4 <= obj <= 4
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 4 <= obj <= 4
--summary--
ALL OK
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: 63794 MiB (62425 MiB free)
memory of node 1: 64507 MiB (61755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523517-1751606131/watcher-4523517-1751606131 -o /tmp/evaluation-result-4523517-1751606131/solver-4523517-1751606131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751606131-90789 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523517-1751606131.opb PROOFDIR/proof-4523517-1751606131
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=90836, runsolver pid=90829
[startup+0.100071 s]*
/proc/loadavg: 0.67 1.19 2.17 5/258 90853
/proc/meminfo: memFree=127163904/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=57384 memory=12412 CPUtime=0.06 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 897 0 0 0 6 0 0 0 20 0 1 0 76292862 58761216 3103 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 14346 3103 1920 1147 0 1773 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61576 KiB
Current children cumulated memory: 15356 KiB
[startup+0.214453 s]*
/proc/loadavg: 0.67 1.19 2.17 5/258 90853
/proc/meminfo: memFree=127156880/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=62444 memory=17532 CPUtime=0.17 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 2178 0 0 0 16 1 0 0 20 0 1 0 76292862 63942656 4383 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 15611 4383 1920 1147 0 3038 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 66636 KiB
Current children cumulated memory: 20476 KiB
[startup+0.313835 s]*
/proc/loadavg: 0.67 1.19 2.17 5/258 90853
/proc/meminfo: memFree=127156880/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=62444 memory=19628 CPUtime=0.27 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 2179 0 0 0 26 1 0 0 20 0 1 0 76292862 63942656 4907 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 15611 4907 1920 1147 0 3038 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 66636 KiB
Current children cumulated memory: 22572 KiB
[startup+0.700372 s]
/proc/loadavg: 0.67 1.19 2.17 5/258 90853
/proc/meminfo: memFree=127048072/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=77820 memory=36616 CPUtime=0.64 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 6159 0 0 0 49 15 0 0 20 0 1 0 76292862 79687680 9154 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 19455 9154 2336 1147 0 6882 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 82012 KiB
Current children cumulated memory: 39560 KiB
[startup+1.50034 s]
/proc/loadavg: 0.67 1.19 2.17 5/258 90853
/proc/meminfo: memFree=127008820/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=95740 memory=54500 CPUtime=1.44 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 16352 0 0 0 94 50 0 0 20 0 1 0 76292862 98037760 13625 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 23935 13625 2336 1147 0 11362 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 99932 KiB
Current children cumulated memory: 57444 KiB
[startup+3.11306 s]
/proc/loadavg: 0.67 1.19 2.17 5/258 90853
/proc/meminfo: memFree=126930204/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=103304 memory=61796 CPUtime=3.05 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 18155 0 0 0 254 51 0 0 20 0 1 0 76292862 105783296 15449 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 25826 15449 2368 1147 0 13253 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 107496 KiB
Current children cumulated memory: 64740 KiB
[startup+6.30036 s]
/proc/loadavg: 1.02 1.25 2.19 5/259 90855
/proc/meminfo: memFree=126790452/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=112764 memory=70104 CPUtime=6.23 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 20702 0 0 0 567 56 0 0 20 0 1 0 76292862 115470336 17526 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 28191 17526 2368 1147 0 15618 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 116956 KiB
Current children cumulated memory: 73048 KiB
[startup+12.7003 s]
/proc/loadavg: 1.26 1.30 2.20 6/260 90903
/proc/meminfo: memFree=126682336/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=136840 memory=94552 CPUtime=12.61 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 24386 0 0 0 1195 66 0 0 20 0 1 0 76292862 140124160 23638 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 34210 23638 2368 1147 0 21637 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 141032 KiB
Current children cumulated memory: 97496 KiB
[startup+25.5004 s]
/proc/loadavg: 1.87 1.43 2.22 5/260 90950
/proc/meminfo: memFree=126152368/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=170624 memory=122716 CPUtime=25.38 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 26836 0 0 0 2458 80 0 0 20 0 1 0 76292862 174718976 30679 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 42656 30679 2368 1147 0 30083 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 174816 KiB
Current children cumulated memory: 125660 KiB
[startup+51.1132 s]
/proc/loadavg: 3.41 1.83 2.34 5/260 90950
/proc/meminfo: memFree=124883824/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=173128 memory=126144 CPUtime=50.93 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 29323 0 0 0 4967 126 0 0 20 0 1 0 76292862 177283072 31536 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 43282 31536 2368 1147 0 30709 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 177320 KiB
Current children cumulated memory: 129088 KiB
[startup+102.3 s]
/proc/loadavg: 4.57 2.41 2.51 5/261 90953
/proc/meminfo: memFree=122489868/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=241376 memory=183700 CPUtime=101.98 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 41656 0 0 0 9954 244 0 0 20 0 1 0 76292862 247169024 45925 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 60344 45925 2368 1147 0 47771 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 245568 KiB
Current children cumulated memory: 186644 KiB
[startup+117.47 s]
# the end of solver process 90836 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=111.84 s, system=3.11654 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.57 2.41 2.51 5/261 90953
/proc/meminfo: memFree=122489868/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=241376 memory=183700 CPUtime=102.08 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 41656 0 0 0 9964 244 0 0 20 0 1 0 76292862 247169024 45925 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 60344 45925 2368 1147 0 47771 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 245568 KiB
Current children cumulated memory: 186644 KiB
[startup+108.8 s]
/proc/loadavg: 4.52 2.44 2.52 5/261 90953
/proc/meminfo: memFree=122279012/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=242204 memory=184468 CPUtime=108.46 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 41863 0 0 0 10584 262 0 0 20 0 1 0 76292862 248016896 46117 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 60551 46117 2368 1147 0 47978 0
Current children cumulated CPU time: 108.46 s
Current children cumulated vsize: 246396 KiB
Current children cumulated memory: 187412 KiB
[startup+112 s]*
/proc/loadavg: 4.48 2.46 2.53 5/261 90953
/proc/meminfo: memFree=122028972/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=242204 memory=184468 CPUtime=111.67 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 41865 0 0 0 10892 275 0 0 20 0 1 0 76292862 248016896 46117 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 60551 46117 2368 1147 0 47978 0
Current children cumulated CPU time: 111.67 s
Current children cumulated vsize: 246396 KiB
Current children cumulated memory: 187412 KiB
[startup+115.2 s]
/proc/loadavg: 4.44 2.49 2.53 5/261 90953
/proc/meminfo: memFree=121895932/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=242204 memory=184468 CPUtime=114.76 cores=4,6
/proc/90838/stat : 90838 (roundingsat) D 90836 90836 90778 0 -1 4194304 41865 0 0 0 11181 295 0 0 20 0 1 0 76292862 248016896 46117 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 60551 46117 2368 1147 0 47978 0
Current children cumulated CPU time: 114.76 s
Current children cumulated vsize: 246396 KiB
Current children cumulated memory: 187412 KiB
[startup+116.8 s]
/proc/loadavg: 4.44 2.49 2.53 4/261 90953
/proc/meminfo: memFree=121850572/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=242204 memory=184468 CPUtime=114.83 cores=4,6
/proc/90838/stat : 90838 (roundingsat) D 90836 90836 90778 0 -1 4194304 41865 0 0 0 11183 300 0 0 20 0 1 0 76292862 248016896 46117 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 60551 46117 2368 1147 0 47978 0
Current children cumulated CPU time: 114.83 s
Current children cumulated vsize: 246396 KiB
Current children cumulated memory: 187412 KiB
[startup+117.2 s]
/proc/loadavg: 4.44 2.49 2.53 4/261 90953
/proc/meminfo: memFree=121800648/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=242204 memory=184468 CPUtime=114.86 cores=4,6
/proc/90838/stat : 90838 (roundingsat) R 90836 90836 90778 0 -1 4194304 41865 0 0 0 11183 303 0 0 20 0 1 0 76292862 248016896 46117 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 60551 46117 2368 1147 0 47978 0
Current children cumulated CPU time: 114.86 s
Current children cumulated vsize: 246396 KiB
Current children cumulated memory: 187412 KiB
[startup+117.4 s]
/proc/loadavg: 4.44 2.49 2.53 4/261 90953
/proc/meminfo: memFree=121800648/131382116 swapFree=33010684/33010684
[pid=90836] ppid=90829 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90836/stat : 90836 (run-opt-log.sh) S 90829 90836 90778 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 76292860 4292608 736 18446744073709551615 94049170620416 94049171514949 140733008069152 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94049171754000 94049171801744 94049198194688 140733008075041 140733008075236 140733008075236 140733008080838 0
/proc/90836/statm: 1048 736 672 219 0 110 0
[pid=90838] ppid=90836 vsize=242204 memory=184468 CPUtime=114.93 cores=4,6
/proc/90838/stat : 90838 (roundingsat) D 90836 90836 90778 0 -1 4194304 41865 0 0 0 11183 310 0 0 20 0 1 0 76292862 248016896 46117 18446744073709551615 4227072 8923433 140720997002768 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 15499264 140720997005650 140720997005864 140720997005864 140720997011434 0
/proc/90838/statm: 60551 46117 2368 1147 0 47978 0
Current children cumulated CPU time: 114.93 s
Current children cumulated vsize: 246396 KiB
Current children cumulated memory: 187412 KiB
Child status: 0
Real time (s): 117.47
CPU time (s): 114.957
CPU user time (s): 111.84
CPU system time (s): 3.11654
CPU usage (%): 97.86
Max. virtual memory (cumulated for all children) (KiB): 246396
Max. memory (cumulated for all children) (KiB): 187412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.84
system time used= 3.11654
maximum resident set size= 185272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2706656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37063
involuntary context switches= 194
# summary of solver processes directly reported to runsolver:
# pid: 90836
# total CPU time (s): 114.957
# total CPU user time (s): 111.84
# total CPU system time (s): 3.11654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.681044 second user time and 1.2969 second system time
The end
Launcher Data
Begin job on nodeC011 at 2025-07-04 07:15:31
IDJOB=4523517
IDBENCH=180364
IDSOLVER=3351
FILE ID=nodeC011/4523517-1751606131
RUNJOBID= nodeC011-1751606131-90789
SLURM_JOB_ID= 9598893
Free space on /tmp= 430528 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523517-1751606131/watcher-4523517-1751606131 -o /tmp/evaluation-result-4523517-1751606131/solver-4523517-1751606131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751606131-90789 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523517-1751606131.opb PROOFDIR/proof-4523517-1751606131
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f833be1967b503cfce1013007946cb2b
RANDOM SEED=1029855517
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 0xb00001f
cpu MHz : 1197.306
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 0xb00001f
cpu MHz : 1197.294
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 0xb00001f
cpu MHz : 1197.727
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 0xb00001f
cpu MHz : 1197.596
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 0xb00001f
cpu MHz : 1197.452
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 0xb00001f
cpu MHz : 1197.289
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 0xb00001f
cpu MHz : 1197.293
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 0xb00001f
cpu MHz : 1197.746
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 127120920 kB
MemAvailable: 129832748 kB
Buffers: 3276 kB
Cached: 3507056 kB
SwapCached: 0 kB
Active: 513736 kB
Inactive: 3065304 kB
Active(anon): 84564 kB
Inactive(anon): 2104 kB
Active(file): 429172 kB
Inactive(file): 3063200 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 40504 kB
Writeback: 0 kB
AnonPages: 72076 kB
Mapped: 103168 kB
Shmem: 17960 kB
KReclaimable: 117784 kB
Slab: 203436 kB
SReclaimable: 117784 kB
SUnreclaim: 85652 kB
KernelStack: 3848 kB
PageTables: 2388 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 332692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430496 MiB
End job on nodeC011 at 2025-07-04 07:17:29