Trace number 4523425

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22adOPT cert.2 77.0027 78.013

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
MD5SUMf69e8990d47aa59ed46eeada43b05a2f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark11.1464
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1289
Total number of constraints1094
Number of constraints which are clauses13
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1080
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 773
Biggest coefficient in the objective function 134
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 906
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 490
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1759
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.26/0.32	c #variables 1289 #constraints 1095
0.26/0.32	c objective is ce32 
0.26/0.33	c initial watched  CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
0.26/0.33	c initial counting CF 32, 64, 128, Arb: 1077 , 0 , 0 , 0
0.26/0.33	c GLOBAL bounds - >= -134 @ 0.265691
0.26/0.33	c GLOBAL bounds - >= -134 @ 0.267154
0.26/0.34	c GLOBAL bounds - >= -134 @ 0.269257
0.26/0.34	c GLOBAL bounds - >= -134 @ 0.272518
0.26/0.35	c GLOBAL bounds - >= -134 @ 0.275933
0.26/0.35	c GLOBAL bounds - >= -134 @ 0.2772
0.26/0.36	c GLOBAL bounds - >= -134 @ 0.278556
0.26/0.36	c GLOBAL bounds - >= -134 @ 0.278752
0.26/0.36	c GLOBAL bounds - >= -134 @ 0.280995
0.26/0.37	c GLOBAL bounds - >= -134 @ 0.283327
0.26/0.37	c GLOBAL bounds - >= -134 @ 0.286596
0.26/0.38	c GLOBAL bounds - >= -134 @ 0.288885
0.26/0.38	c GLOBAL bounds - >= -134 @ 0.292175
0.26/0.39	c GLOBAL bounds - >= -134 @ 0.294379
0.26/0.39	c GLOBAL bounds - >= -134 @ 0.295397
0.26/0.39	c GLOBAL bounds - >= -134 @ 0.29773
0.26/0.40	c GLOBAL bounds - >= -134 @ 0.299749
0.26/0.40	c GLOBAL bounds - >= -134 @ 0.301073
0.26/0.41	c GLOBAL bounds - >= -134 @ 0.302124
0.26/0.41	c GLOBAL bounds - >= -134 @ 0.302527
0.36/0.41	c GLOBAL bounds - >= -134 @ 0.305483
0.36/0.42	c GLOBAL bounds - >= -134 @ 0.307849
0.36/0.42	c GLOBAL bounds - >= -134 @ 0.310873
0.36/0.43	c GLOBAL bounds - >= -134 @ 0.312147
0.36/0.43	c GLOBAL bounds - >= -134 @ 0.313419
0.36/0.44	c GLOBAL bounds - >= -134 @ 0.316623
0.36/0.44	c GLOBAL bounds - >= -134 @ 0.318704
0.36/0.44	c GLOBAL bounds - >= -134 @ 0.321077
0.36/0.45	c GLOBAL bounds - >= -134 @ 0.322385
0.36/0.45	c GLOBAL bounds - >= -134 @ 0.323563
0.36/0.46	c GLOBAL bounds - >= -134 @ 0.325553
0.36/0.46	c GLOBAL bounds - >= -134 @ 0.328778
0.36/0.47	c GLOBAL bounds - >= -134 @ 0.329891
0.36/0.47	c GLOBAL bounds - >= -134 @ 0.331508
0.36/0.47	c GLOBAL bounds - >= -134 @ 0.333435
0.36/0.48	c GLOBAL bounds - >= -134 @ 0.334727
0.36/0.48	c GLOBAL bounds - >= -134 @ 0.335942
0.36/0.49	c GLOBAL bounds - >= -134 @ 0.336272
0.36/0.49	c GLOBAL bounds - >= -134 @ 0.338243
0.36/0.49	c GLOBAL bounds - >= -134 @ 0.340591
0.36/0.50	c GLOBAL bounds - >= -134 @ 0.342684
0.36/0.50	c GLOBAL bounds - >= -134 @ 0.342894
0.36/0.51	c GLOBAL bounds - >= -134 @ 0.345983
0.36/0.51	c GLOBAL bounds - >= -134 @ 0.348385
0.36/0.52	c GLOBAL bounds - >= -134 @ 0.349479
0.47/0.52	c GLOBAL bounds - >= -134 @ 0.350707
0.47/0.52	c GLOBAL bounds - >= -134 @ 0.352844
0.47/0.53	c GLOBAL bounds - >= -134 @ 0.35504
0.47/0.53	c GLOBAL bounds - >= -134 @ 0.358177
0.47/0.54	c GLOBAL bounds - >= -134 @ 0.36141
0.47/0.54	c GLOBAL bounds - >= -134 @ 0.364545
0.47/0.55	c GLOBAL bounds - >= -134 @ 0.364972
0.47/0.55	c GLOBAL bounds - >= -134 @ 0.366067
0.47/0.55	c GLOBAL bounds - >= -134 @ 0.368217
0.47/0.56	c GLOBAL bounds - >= -134 @ 0.371229
0.47/0.56	c GLOBAL bounds - >= -134 @ 0.372551
0.47/0.57	c GLOBAL bounds - >= -134 @ 0.376602
0.47/0.57	c GLOBAL bounds - >= -134 @ 0.38075
0.47/0.57	c GLOBAL bounds - >= -134 @ 0.383906
0.47/0.58	c GLOBAL bounds - >= -134 @ 0.387052
0.47/0.58	c GLOBAL bounds - >= -134 @ 0.389188
0.47/0.59	c GLOBAL bounds - >= -134 @ 0.389497
0.47/0.59	c GLOBAL bounds - >= -134 @ 0.391342
0.47/0.60	c GLOBAL bounds - >= -134 @ 0.394509
0.47/0.60	c GLOBAL bounds - >= -134 @ 0.396923
0.47/0.60	c GLOBAL bounds - >= -134 @ 0.399329
0.56/0.61	c GLOBAL bounds - >= -134 @ 0.400782
0.56/0.61	c GLOBAL bounds - >= -134 @ 0.402653
0.56/0.62	c GLOBAL bounds - >= -134 @ 0.404042
0.56/0.62	c GLOBAL bounds - >= -134 @ 0.405125
0.56/0.63	c GLOBAL bounds - >= -134 @ 0.408245
0.56/0.63	c GLOBAL bounds - >= -134 @ 0.408681
0.56/0.63	c GLOBAL bounds - >= -134 @ 0.411635
0.56/0.64	c GLOBAL bounds - >= -134 @ 0.413891
0.56/0.64	c GLOBAL bounds - >= -134 @ 0.415927
0.56/0.65	c GLOBAL bounds - >= -134 @ 0.418065
0.56/0.65	c GLOBAL bounds - >= -134 @ 0.421203
0.56/0.65	c GLOBAL bounds - >= -134 @ 0.421278
0.56/0.66	c GLOBAL bounds - >= -134 @ 0.423703
0.56/0.66	c GLOBAL bounds - >= -134 @ 0.424695
0.56/0.67	c GLOBAL bounds - >= -134 @ 0.428674
0.56/0.67	c GLOBAL bounds - >= -134 @ 0.43084
0.56/0.67	c GLOBAL bounds - >= -134 @ 0.43196
0.56/0.68	c GLOBAL bounds - >= -134 @ 0.434825
0.56/0.68	c GLOBAL bounds - >= -134 @ 0.438033
0.56/0.69	c GLOBAL bounds - >= -134 @ 0.440939
0.56/0.69	c GLOBAL bounds - >= -134 @ 0.442054
0.56/0.69	c GLOBAL bounds - >= -134 @ 0.443965
0.64/0.70	c GLOBAL bounds - >= -134 @ 0.447113
0.64/0.70	c GLOBAL bounds - >= -134 @ 0.450018
0.64/0.71	c GLOBAL bounds - >= -134 @ 0.451117
0.64/0.71	c GLOBAL bounds - >= -134 @ 0.452009
0.64/0.72	c GLOBAL bounds - >= -134 @ 0.456149
0.64/0.72	c GLOBAL bounds - >= -134 @ 0.458009
0.64/0.72	c GLOBAL bounds - >= -134 @ 0.459474
0.64/0.73	c GLOBAL bounds - >= -134 @ 0.462065
0.64/0.73	c GLOBAL bounds - >= -134 @ 0.46424
0.64/0.74	c GLOBAL bounds - >= -134 @ 0.466096
0.64/0.74	c GLOBAL bounds - >= -134 @ 0.467985
0.64/0.74	c GLOBAL bounds - >= -134 @ 0.470822
0.64/0.75	c GLOBAL bounds - >= -134 @ 0.471805
0.64/0.75	c GLOBAL bounds - >= -134 @ 0.473718
0.64/0.75	c GLOBAL bounds - >= -134 @ 0.475517
0.64/0.76	c GLOBAL bounds - >= -134 @ 0.478365
0.64/0.76	c GLOBAL bounds - >= -134 @ 0.48123
0.64/0.77	c GLOBAL bounds - >= -134 @ 0.482353
0.64/0.77	c GLOBAL bounds - >= -134 @ 0.483844
0.64/0.77	c GLOBAL bounds - >= -134 @ 0.485646
0.64/0.78	c GLOBAL bounds - >= -134 @ 0.487666
0.64/0.78	c GLOBAL bounds - >= -134 @ 0.491262
0.64/0.79	c GLOBAL bounds - >= -134 @ 0.492405
0.64/0.79	c GLOBAL bounds - >= -134 @ 0.493925
0.64/0.79	c GLOBAL bounds - >= -134 @ 0.4966
0.75/0.80	c GLOBAL bounds - >= -134 @ 0.498534
0.75/0.80	c GLOBAL bounds - >= -134 @ 0.500339
0.75/0.80	c GLOBAL bounds - >= -134 @ 0.502786
0.75/0.81	c GLOBAL bounds - >= -134 @ 0.504399
0.75/0.81	c GLOBAL bounds - >= -134 @ 0.507112
0.75/0.82	c GLOBAL bounds - >= -134 @ 0.50886
0.75/0.82	c GLOBAL bounds - >= -134 @ 0.50964
0.75/0.82	c GLOBAL bounds - >= -134 @ 0.512286
0.75/0.83	c GLOBAL bounds - >= -134 @ 0.513274
0.75/0.83	c GLOBAL bounds - >= -134 @ 0.515821
0.75/0.83	c GLOBAL bounds - >= -134 @ 0.516603
0.75/0.84	c GLOBAL bounds - >= -134 @ 0.519054
0.75/0.84	c GLOBAL bounds - >= -134 @ 0.520802
0.75/0.84	c GLOBAL bounds - >= -134 @ 0.52413
0.75/0.85	c GLOBAL bounds - >= -134 @ 0.52647
0.75/0.85	c GLOBAL bounds - >= -134 @ 0.528214
0.75/0.86	c GLOBAL bounds - >= -134 @ 0.530208
0.75/0.86	c GLOBAL bounds - >= -134 @ 0.531489
0.75/0.86	c GLOBAL bounds - >= -134 @ 0.532565
0.75/0.87	c GLOBAL bounds - >= -134 @ 0.533749
0.75/0.87	c GLOBAL bounds - >= -134 @ 0.536902
0.75/0.87	c GLOBAL bounds - >= -134 @ 0.537735
0.75/0.87	c GLOBAL bounds - >= -134 @ 0.539446
0.75/0.87	c GLOBAL bounds - >= 0 @ 0.539474
0.96/1.03	c rational objective 0
3.05/3.12	c GLOBAL bounds - >= 0 @ 2.73089
3.05/3.15	c GLOBAL bounds - >= 0 @ 2.76341
3.05/3.19	c GLOBAL bounds - >= 0 @ 2.79794
3.13/3.23	c GLOBAL bounds - >= 0 @ 2.83826
3.95/4.02	c GLOBAL bounds - >= 0 @ 3.61895
4.04/4.16	c GLOBAL bounds - >= 0 @ 3.76292
4.13/4.29	c GLOBAL bounds - >= 0 @ 3.88436
4.43/4.53	c GLOBAL bounds - >= 0 @ 4.11859
4.94/5.03	c GLOBAL bounds - >= 0 @ 4.60166
7.04/7.14	c #Conflicts:       1000 | #Constraints:       2251
7.04/7.14	c GLOBAL bounds - >= 0 @ 6.67487
9.72/9.83	c #Conflicts:       2000 | #Constraints:       3260
9.72/9.83	c INPROCESSING
9.72/9.83	c GARBAGE COLLECT
9.72/9.83	c #Conflicts:       3000 | #Constraints:       3178
9.72/9.83	c #Conflicts:       4000 | #Constraints:       4196
9.72/9.83	c INPROCESSING
9.72/9.83	c GARBAGE COLLECT
9.72/9.83	c rational objective 0
12.21/12.30	c #Conflicts:       5000 | #Constraints:       3557
12.21/12.30	c GLOBAL bounds - >= 0 @ 11.7211
14.21/14.32	c #Conflicts:       6000 | #Constraints:       4565
14.21/14.32	c INPROCESSING
14.21/14.32	c GARBAGE COLLECT
14.21/14.32	c rational objective 0
17.60/17.70	c #Conflicts:       7000 | #Constraints:       3538
17.60/17.70	c #Conflicts:       8000 | #Constraints:       4555
17.60/17.70	c GLOBAL bounds - >= 0 @ 17.0182
20.90/21.06	c #Conflicts:       9000 | #Constraints:       5557
20.90/21.06	c INPROCESSING
20.90/21.06	c GARBAGE COLLECT
20.90/21.06	c rational objective 0
27.07/27.23	c #Conflicts:      10000 | #Constraints:       4230
27.07/27.23	c #Conflicts:      11000 | #Constraints:       5233
27.07/27.23	c #Conflicts:      12000 | #Constraints:       6257
27.07/27.23	c INPROCESSING
27.07/27.23	c GARBAGE COLLECT
27.07/27.23	c rational objective 0
36.85/37.06	c #Conflicts:      13000 | #Constraints:       4679
36.85/37.06	c #Conflicts:      14000 | #Constraints:       5685
36.85/37.06	c #Conflicts:      15000 | #Constraints:       6690
36.85/37.06	c INPROCESSING
36.85/37.06	c GARBAGE COLLECT
36.85/37.06	c #Conflicts:      16000 | #Constraints:       4910
36.85/37.06	c #Conflicts:      17000 | #Constraints:       5928
36.85/37.06	c #Conflicts:      18000 | #Constraints:       6929
36.85/37.06	c INPROCESSING
36.85/37.06	c GARBAGE COLLECT
36.85/37.06	c rational objective 0
40.03/40.21	c #Conflicts:      19000 | #Constraints:       4926
40.03/40.21	c GLOBAL bounds - >= 0 @ 39.0672
43.43/43.66	c #Conflicts:      20000 | #Constraints:       5943
43.43/43.66	c #Conflicts:      21000 | #Constraints:       7314
43.43/43.66	c GLOBAL bounds 4 >= 0 @ 42.4539
43.43/43.66	c GLOBAL bounds 4 >= 0 @ 42.4554
43.52/43.70	c GLOBAL bounds 4 >= 0 @ 42.4899
43.52/43.70	c GLOBAL bounds 4 >= 0 @ 42.4912
43.52/43.74	c GLOBAL bounds 4 >= 0 @ 42.526
43.52/43.74	c GLOBAL bounds 4 >= 0 @ 42.5269
43.52/43.78	c GLOBAL bounds 4 >= 0 @ 42.5727
43.52/43.78	c GLOBAL bounds 4 >= 0 @ 42.5728
43.62/43.82	c GLOBAL bounds 4 >= 0 @ 42.612
43.62/43.83	c GLOBAL bounds 4 >= 0 @ 42.6127
43.62/43.87	c GLOBAL bounds 4 >= 0 @ 42.6532
43.62/43.87	c GLOBAL bounds 4 >= 0 @ 42.6536
43.73/43.90	c GLOBAL bounds 4 >= 0 @ 42.6859
43.73/43.90	c GLOBAL bounds 4 >= 0 @ 42.6865
43.73/43.94	c GLOBAL bounds 4 >= 0 @ 42.7198
43.73/43.94	c GLOBAL bounds 4 >= 0 @ 42.7204
43.73/43.98	c GLOBAL bounds 4 >= 0 @ 42.7531
43.73/43.98	c GLOBAL bounds 4 >= 0 @ 42.7543
43.83/44.02	c GLOBAL bounds 4 >= 0 @ 42.7936
43.83/44.02	c GLOBAL bounds 4 >= 0 @ 42.7949
43.83/44.02	c GLOBAL bounds 4 >= 0 @ 42.7952
43.83/44.02	c GLOBAL bounds 4 >= 0 @ 42.7962
43.83/44.02	c GLOBAL bounds 4 >= 1 @ 42.7962
43.83/44.06	c GLOBAL bounds 4 >= 1 @ 42.8293
43.83/44.09	c GLOBAL bounds 4 >= 1 @ 42.8641
43.94/44.13	c GLOBAL bounds 4 >= 1 @ 42.8978
43.94/44.16	c GLOBAL bounds 4 >= 1 @ 42.9304
43.94/44.16	c GLOBAL bounds 4 >= 1 @ 42.9309
44.02/44.20	c GLOBAL bounds 4 >= 1 @ 42.9655
44.02/44.20	c GLOBAL bounds 4 >= 1 @ 42.9658
44.02/44.24	c GLOBAL bounds 4 >= 1 @ 42.9995
44.02/44.24	c GLOBAL bounds 4 >= 1 @ 43.0007
44.02/44.28	c GLOBAL bounds 4 >= 1 @ 43.0394
44.02/44.28	c GLOBAL bounds 4 >= 1 @ 43.0406
44.12/44.31	c GLOBAL bounds 4 >= 1 @ 43.0719
44.12/44.31	c GLOBAL bounds 4 >= 1 @ 43.0725
44.12/44.36	c GLOBAL bounds 4 >= 1 @ 43.1141
44.12/44.36	c GLOBAL bounds 4 >= 1 @ 43.1154
44.12/44.39	c GLOBAL bounds 4 >= 1 @ 43.1476
44.12/44.39	c GLOBAL bounds 4 >= 1 @ 43.1489
44.22/44.43	c GLOBAL bounds 4 >= 1 @ 43.1828
44.22/44.43	c GLOBAL bounds 4 >= 1 @ 43.1832
44.22/44.47	c GLOBAL bounds 4 >= 1 @ 43.2164
44.22/44.47	c GLOBAL bounds 4 >= 1 @ 43.218
44.32/44.50	c GLOBAL bounds 4 >= 1 @ 43.2501
44.32/44.50	c GLOBAL bounds 4 >= 1 @ 43.2511
44.32/44.50	c GLOBAL bounds 4 >= 1 @ 43.2511
44.32/44.51	c GLOBAL bounds 4 >= 1 @ 43.2511
44.32/44.51	c GLOBAL bounds 4 >= 1 @ 43.2511
44.32/44.54	c GLOBAL bounds 4 >= 1 @ 43.2863
44.32/44.58	c GLOBAL bounds 4 >= 1 @ 43.3174
44.42/44.61	c GLOBAL bounds 4 >= 1 @ 43.3511
44.42/44.64	c GLOBAL bounds 4 >= 1 @ 43.3855
44.42/44.65	c GLOBAL bounds 4 >= 1 @ 43.3858
44.42/44.68	c GLOBAL bounds 4 >= 1 @ 43.4207
44.42/44.68	c GLOBAL bounds 4 >= 1 @ 43.4217
44.52/44.73	c GLOBAL bounds 4 >= 1 @ 43.4616
44.52/44.73	c GLOBAL bounds 4 >= 1 @ 43.4628
44.52/44.77	c GLOBAL bounds 4 >= 1 @ 43.5019
44.52/44.77	c GLOBAL bounds 4 >= 1 @ 43.5032
44.62/44.80	c GLOBAL bounds 4 >= 1 @ 43.5373
44.62/44.80	c GLOBAL bounds 4 >= 1 @ 43.5383
44.62/44.84	c GLOBAL bounds 4 >= 1 @ 43.5766
44.62/44.84	c GLOBAL bounds 4 >= 1 @ 43.5772
44.62/44.88	c GLOBAL bounds 4 >= 1 @ 43.6111
44.62/44.88	c GLOBAL bounds 4 >= 1 @ 43.6114
44.72/44.91	c GLOBAL bounds 4 >= 1 @ 43.6452
44.72/44.92	c GLOBAL bounds 4 >= 1 @ 43.6467
44.72/44.96	c GLOBAL bounds 4 >= 1 @ 43.6872
44.72/44.96	c GLOBAL bounds 4 >= 1 @ 43.6885
44.72/44.99	c GLOBAL bounds 4 >= 1 @ 43.7216
44.72/44.99	c GLOBAL bounds 4 >= 1 @ 43.7229
44.72/44.99	c GLOBAL bounds 4 >= 1 @ 43.7245
44.72/45.00	c GLOBAL bounds 4 >= 1 @ 43.7267
44.72/45.00	c GLOBAL bounds 4 >= 1 @ 43.7267
44.84/45.03	c GLOBAL bounds 4 >= 1 @ 43.763
44.84/45.07	c GLOBAL bounds 4 >= 1 @ 43.7981
44.84/45.10	c GLOBAL bounds 4 >= 1 @ 43.8321
44.93/45.14	c GLOBAL bounds 4 >= 1 @ 43.8653
44.93/45.14	c GLOBAL bounds 4 >= 1 @ 43.8655
44.93/45.15	c GLOBAL bounds 2 >= 1 @ 43.8722
44.93/45.15	c GLOBAL bounds 2 >= 1 @ 43.8733
44.93/45.19	c GLOBAL bounds 2 >= 1 @ 43.9096
44.93/45.19	c GLOBAL bounds 2 >= 1 @ 43.9114
45.03/45.22	c GLOBAL bounds 2 >= 1 @ 43.9458
45.03/45.23	c GLOBAL bounds 2 >= 1 @ 43.9473
45.03/45.26	c GLOBAL bounds 2 >= 1 @ 43.9808
45.03/45.26	c GLOBAL bounds 2 >= 1 @ 43.9813
45.12/45.30	c GLOBAL bounds 2 >= 1 @ 44.0165
45.12/45.30	c GLOBAL bounds 2 >= 1 @ 44.0173
45.12/45.34	c GLOBAL bounds 2 >= 1 @ 44.0516
45.12/45.34	c GLOBAL bounds 2 >= 1 @ 44.0535
45.12/45.37	c GLOBAL bounds 2 >= 1 @ 44.0868
45.12/45.38	c GLOBAL bounds 2 >= 1 @ 44.088
45.22/45.41	c GLOBAL bounds 2 >= 1 @ 44.1235
45.22/45.41	c GLOBAL bounds 2 >= 1 @ 44.1239
45.22/45.45	c GLOBAL bounds 2 >= 1 @ 44.1582
45.22/45.45	c GLOBAL bounds 2 >= 1 @ 44.1588
45.22/45.49	c GLOBAL bounds 2 >= 1 @ 44.1916
45.22/45.49	c GLOBAL bounds 2 >= 1 @ 44.1917
45.22/45.49	c GLOBAL bounds 2 >= 1 @ 44.1917
45.32/45.53	c GLOBAL bounds 2 >= 1 @ 44.2247
45.32/45.53	c GLOBAL bounds 2 >= 1 @ 44.2295
45.32/45.53	c GLOBAL bounds 2 >= 1 @ 44.2306
45.32/45.57	c GLOBAL bounds 2 >= 1 @ 44.2657
45.32/45.57	c GLOBAL bounds 2 >= 1 @ 44.2676
45.42/45.61	c GLOBAL bounds 2 >= 1 @ 44.3025
45.42/45.61	c GLOBAL bounds 2 >= 1 @ 44.3035
45.42/45.64	c GLOBAL bounds 2 >= 1 @ 44.3381
45.42/45.64	c GLOBAL bounds 2 >= 1 @ 44.3399
45.42/45.68	c GLOBAL bounds 2 >= 1 @ 44.376
45.42/45.68	c GLOBAL bounds 2 >= 1 @ 44.3773
45.52/45.72	c GLOBAL bounds 2 >= 1 @ 44.4115
45.52/45.72	c GLOBAL bounds 2 >= 1 @ 44.4132
45.52/45.76	c GLOBAL bounds 2 >= 1 @ 44.4476
45.52/45.76	c GLOBAL bounds 2 >= 1 @ 44.4481
45.52/45.79	c GLOBAL bounds 2 >= 1 @ 44.4828
45.62/45.80	c GLOBAL bounds 2 >= 1 @ 44.483
45.62/45.83	c GLOBAL bounds 2 >= 1 @ 44.5167
45.62/45.83	c GLOBAL bounds 2 >= 1 @ 44.5169
45.62/45.87	c GLOBAL bounds 2 >= 1 @ 44.5486
45.62/45.87	c GLOBAL bounds 2 >= 1 @ 44.5495
45.62/45.87	c GLOBAL bounds 2 >= 1 @ 44.5495
45.72/45.91	c GLOBAL bounds 2 >= 1 @ 44.5848
45.72/45.94	c GLOBAL bounds 2 >= 1 @ 44.618
45.72/45.94	c GLOBAL bounds 2 >= 1 @ 44.6201
45.72/45.98	c GLOBAL bounds 2 >= 1 @ 44.656
45.72/45.98	c GLOBAL bounds 2 >= 1 @ 44.6565
45.83/46.02	c GLOBAL bounds 2 >= 1 @ 44.6903
45.83/46.02	c GLOBAL bounds 2 >= 1 @ 44.6904
45.83/46.06	c GLOBAL bounds 2 >= 1 @ 44.7258
45.83/46.06	c GLOBAL bounds 2 >= 1 @ 44.7276
45.83/46.10	c GLOBAL bounds 2 >= 1 @ 44.7637
45.83/46.10	c GLOBAL bounds 2 >= 1 @ 44.7655
45.93/46.13	c GLOBAL bounds 2 >= 1 @ 44.8029
45.93/46.14	c GLOBAL bounds 2 >= 1 @ 44.8039
45.93/46.17	c GLOBAL bounds 2 >= 1 @ 44.8373
45.93/46.18	c GLOBAL bounds 2 >= 1 @ 44.8392
46.01/46.21	c GLOBAL bounds 2 >= 1 @ 44.8706
46.01/46.21	c GLOBAL bounds 2 >= 1 @ 44.8715
46.01/46.25	c GLOBAL bounds 2 >= 1 @ 44.9063
46.01/46.25	c GLOBAL bounds 2 >= 1 @ 44.9079
46.01/46.29	c GLOBAL bounds 2 >= 1 @ 44.9443
46.01/46.29	c GLOBAL bounds 2 >= 1 @ 44.9448
46.01/46.29	c GLOBAL bounds 2 >= 1 @ 44.9448
46.12/46.33	c GLOBAL bounds 2 >= 1 @ 44.9787
46.12/46.36	c GLOBAL bounds 2 >= 1 @ 45.0128
46.12/46.36	c GLOBAL bounds 2 >= 1 @ 45.0136
46.22/46.40	c GLOBAL bounds 2 >= 1 @ 45.0492
46.22/46.40	c GLOBAL bounds 2 >= 1 @ 45.0495
46.22/46.44	c GLOBAL bounds 2 >= 1 @ 45.0846
46.22/46.44	c GLOBAL bounds 2 >= 1 @ 45.0854
46.22/46.48	c GLOBAL bounds 2 >= 1 @ 45.1178
46.22/46.48	c GLOBAL bounds 2 >= 1 @ 45.1187
46.31/46.51	c GLOBAL bounds 2 >= 1 @ 45.1529
46.31/46.51	c GLOBAL bounds 2 >= 1 @ 45.1532
46.31/46.55	c GLOBAL bounds 2 >= 1 @ 45.1894
46.31/46.55	c GLOBAL bounds 2 >= 1 @ 45.1901
46.31/46.59	c GLOBAL bounds 2 >= 1 @ 45.2261
46.31/46.59	c GLOBAL bounds 2 >= 1 @ 45.227
46.42/46.63	c GLOBAL bounds 2 >= 1 @ 45.2615
46.42/46.63	c GLOBAL bounds 2 >= 1 @ 45.2629
46.42/46.67	c GLOBAL bounds 2 >= 1 @ 45.2978
46.42/46.67	c GLOBAL bounds 2 >= 1 @ 45.2988
46.51/46.70	c GLOBAL bounds 2 >= 1 @ 45.3334
46.51/46.71	c GLOBAL bounds 2 >= 1 @ 45.3353
46.51/46.71	c GLOBAL bounds 2 >= 1 @ 45.3353
46.51/46.74	c GLOBAL bounds 2 >= 1 @ 45.3691
46.51/46.78	c GLOBAL bounds 2 >= 1 @ 45.403
46.51/46.78	c GLOBAL bounds 2 >= 1 @ 45.4045
46.62/46.81	c GLOBAL bounds 2 >= 1 @ 45.4384
46.62/46.82	c GLOBAL bounds 2 >= 1 @ 45.4394
46.62/46.85	c GLOBAL bounds 2 >= 1 @ 45.4722
46.62/46.85	c GLOBAL bounds 2 >= 1 @ 45.4732
46.62/46.89	c GLOBAL bounds 2 >= 1 @ 45.5101
46.62/46.89	c GLOBAL bounds 2 >= 1 @ 45.5102
46.72/46.93	c GLOBAL bounds 2 >= 1 @ 45.5476
46.72/46.93	c GLOBAL bounds 2 >= 1 @ 45.5495
46.72/46.97	c GLOBAL bounds 2 >= 1 @ 45.5858
46.72/46.97	c GLOBAL bounds 2 >= 1 @ 45.586
46.72/47.01	c GLOBAL bounds 2 >= 1 @ 45.6206
46.72/47.01	c GLOBAL bounds 2 >= 1 @ 45.6215
46.83/47.04	c GLOBAL bounds 2 >= 1 @ 45.6574
46.83/47.05	c GLOBAL bounds 2 >= 1 @ 45.6583
46.83/47.08	c GLOBAL bounds 2 >= 1 @ 45.6956
46.83/47.09	c GLOBAL bounds 2 >= 1 @ 45.6966
46.93/47.13	c INPROCESSING
46.93/47.13	c GARBAGE COLLECT
46.93/47.13	c rational objective 0
47.62/47.85	c GLOBAL bounds 2 >= 1 @ 46.4525
47.62/47.85	c GLOBAL bounds 2 >= 1 @ 46.4545
47.62/47.85	c GLOBAL bounds 2 >= 1 @ 46.4545
47.62/47.88	c GLOBAL bounds 2 >= 1 @ 46.4886
47.72/47.92	c GLOBAL bounds 2 >= 1 @ 46.5194
47.72/47.92	c GLOBAL bounds 2 >= 1 @ 46.5211
47.72/47.95	c GLOBAL bounds 2 >= 1 @ 46.5518
47.72/47.95	c GLOBAL bounds 2 >= 1 @ 46.5536
47.72/47.99	c GLOBAL bounds 2 >= 1 @ 46.5855
47.72/47.99	c GLOBAL bounds 2 >= 1 @ 46.5875
47.82/48.02	c GLOBAL bounds 2 >= 1 @ 46.6212
47.82/48.03	c GLOBAL bounds 2 >= 1 @ 46.6232
47.82/48.06	c GLOBAL bounds 2 >= 1 @ 46.6573
47.82/48.06	c GLOBAL bounds 2 >= 1 @ 46.6583
47.82/48.10	c GLOBAL bounds 2 >= 1 @ 46.6929
47.82/48.10	c GLOBAL bounds 2 >= 1 @ 46.6936
47.93/48.14	c GLOBAL bounds 2 >= 1 @ 46.7244
47.93/48.14	c GLOBAL bounds 2 >= 1 @ 46.7256
48.01/48.26	c GLOBAL bounds 2 >= 1 @ 46.8358
48.01/48.26	c GLOBAL bounds 2 >= 1 @ 46.8368
48.01/48.29	c GLOBAL bounds 2 >= 1 @ 46.8699
48.11/48.30	c GLOBAL bounds 2 >= 1 @ 46.8711
48.11/48.33	c GLOBAL bounds 2 >= 1 @ 46.9046
48.11/48.33	c GLOBAL bounds 2 >= 1 @ 46.906
48.11/48.33	c GLOBAL bounds 2 >= 1 @ 46.906
48.11/48.37	c GLOBAL bounds 2 >= 1 @ 46.9374
48.21/48.40	c GLOBAL bounds 2 >= 1 @ 46.9688
48.21/48.40	c GLOBAL bounds 2 >= 1 @ 46.9699
48.21/48.43	c GLOBAL bounds 2 >= 1 @ 47.0015
48.21/48.43	c GLOBAL bounds 2 >= 1 @ 47.0018
48.21/48.47	c GLOBAL bounds 2 >= 1 @ 47.0354
48.21/48.47	c GLOBAL bounds 2 >= 1 @ 47.0364
48.32/48.50	c GLOBAL bounds 2 >= 1 @ 47.0684
48.32/48.51	c GLOBAL bounds 2 >= 1 @ 47.0686
48.32/48.54	c GLOBAL bounds 2 >= 1 @ 47.101
48.32/48.54	c GLOBAL bounds 2 >= 1 @ 47.1025
48.32/48.58	c GLOBAL bounds 2 >= 1 @ 47.1345
48.32/48.58	c GLOBAL bounds 2 >= 1 @ 47.1354
48.41/48.61	c GLOBAL bounds 2 >= 1 @ 47.1672
48.41/48.61	c GLOBAL bounds 2 >= 1 @ 47.1683
48.41/48.65	c GLOBAL bounds 2 >= 1 @ 47.2023
48.41/48.65	c GLOBAL bounds 2 >= 1 @ 47.2032
48.41/48.68	c GLOBAL bounds 2 >= 1 @ 47.2338
48.41/48.68	c GLOBAL bounds 2 >= 1 @ 47.2346
48.51/48.72	c GLOBAL bounds 2 >= 1 @ 47.2675
48.51/48.72	c GLOBAL bounds 2 >= 1 @ 47.2695
48.51/48.72	c GLOBAL bounds 2 >= 1 @ 47.2695
48.51/48.76	c GLOBAL bounds 2 >= 1 @ 47.304
48.51/48.79	c GLOBAL bounds 2 >= 1 @ 47.3346
48.51/48.79	c GLOBAL bounds 2 >= 1 @ 47.3365
48.61/48.82	c GLOBAL bounds 2 >= 1 @ 47.3683
48.61/48.82	c GLOBAL bounds 2 >= 1 @ 47.3688
48.61/48.86	c GLOBAL bounds 2 >= 1 @ 47.4013
48.61/48.86	c GLOBAL bounds 2 >= 1 @ 47.4017
48.61/48.89	c GLOBAL bounds 2 >= 1 @ 47.4352
48.61/48.90	c GLOBAL bounds 2 >= 1 @ 47.4356
48.71/48.93	c GLOBAL bounds 2 >= 1 @ 47.4665
48.71/48.93	c GLOBAL bounds 2 >= 1 @ 47.4674
48.71/48.97	c GLOBAL bounds 2 >= 1 @ 47.4998
48.71/48.97	c GLOBAL bounds 2 >= 1 @ 47.5031
48.71/49.00	c GLOBAL bounds 2 >= 1 @ 47.5331
48.71/49.00	c GLOBAL bounds 2 >= 1 @ 47.5351
48.83/49.04	c GLOBAL bounds 2 >= 1 @ 47.5686
48.83/49.04	c GLOBAL bounds 2 >= 1 @ 47.5691
48.83/49.07	c GLOBAL bounds 2 >= 1 @ 47.6005
48.83/49.08	c GLOBAL bounds 2 >= 1 @ 47.601
48.83/49.11	c GLOBAL bounds 2 >= 1 @ 47.6322
48.92/49.11	c GLOBAL bounds 2 >= 1 @ 47.6331
48.92/49.11	c GLOBAL bounds 2 >= 1 @ 47.6331
48.92/49.14	c GLOBAL bounds 2 >= 1 @ 47.6644
48.92/49.18	c GLOBAL bounds 2 >= 1 @ 47.6968
48.92/49.18	c GLOBAL bounds 2 >= 1 @ 47.6988
49.01/49.21	c GLOBAL bounds 2 >= 1 @ 47.7328
49.01/49.22	c GLOBAL bounds 2 >= 1 @ 47.7336
49.01/49.25	c GLOBAL bounds 2 >= 1 @ 47.7661
49.01/49.25	c GLOBAL bounds 2 >= 1 @ 47.7671
49.01/49.29	c GLOBAL bounds 2 >= 1 @ 47.8006
49.01/49.29	c GLOBAL bounds 2 >= 1 @ 47.8014
49.10/49.32	c GLOBAL bounds 2 >= 1 @ 47.8349
49.10/49.33	c GLOBAL bounds 2 >= 1 @ 47.8358
49.10/49.36	c GLOBAL bounds 2 >= 1 @ 47.8697
49.10/49.36	c GLOBAL bounds 2 >= 1 @ 47.8706
49.21/49.40	c GLOBAL bounds 2 >= 1 @ 47.9048
49.21/49.40	c GLOBAL bounds 2 >= 1 @ 47.9057
49.21/49.43	c GLOBAL bounds 2 >= 1 @ 47.9389
49.21/49.44	c GLOBAL bounds 2 >= 1 @ 47.939
49.21/49.47	c GLOBAL bounds 2 >= 1 @ 47.9745
49.21/49.47	c GLOBAL bounds 2 >= 1 @ 47.9754
49.30/49.51	c GLOBAL bounds 2 >= 1 @ 48.0077
49.30/49.51	c GLOBAL bounds 2 >= 1 @ 48.0088
49.30/49.51	c GLOBAL bounds 2 >= 1 @ 48.0088
49.30/49.54	c GLOBAL bounds 2 >= 1 @ 48.0412
49.30/49.57	c GLOBAL bounds 2 >= 1 @ 48.0735
49.30/49.58	c GLOBAL bounds 2 >= 1 @ 48.0744
49.41/49.61	c GLOBAL bounds 2 >= 1 @ 48.1082
49.41/49.61	c GLOBAL bounds 2 >= 1 @ 48.1091
49.41/49.65	c GLOBAL bounds 2 >= 1 @ 48.1432
49.41/49.65	c GLOBAL bounds 2 >= 1 @ 48.1434
49.41/49.68	c GLOBAL bounds 2 >= 1 @ 48.1756
49.41/49.69	c GLOBAL bounds 2 >= 1 @ 48.1773
49.51/49.72	c GLOBAL bounds 2 >= 1 @ 48.2098
49.51/49.72	c GLOBAL bounds 2 >= 1 @ 48.2107
49.51/49.76	c GLOBAL bounds 2 >= 1 @ 48.2446
49.51/49.76	c GLOBAL bounds 2 >= 1 @ 48.2461
49.51/49.79	c GLOBAL bounds 2 >= 1 @ 48.2797
49.51/49.80	c GLOBAL bounds 2 >= 1 @ 48.2816
49.61/49.83	c GLOBAL bounds 2 >= 1 @ 48.3142
49.61/49.83	c GLOBAL bounds 2 >= 1 @ 48.3161
49.61/49.87	c GLOBAL bounds 2 >= 1 @ 48.35
49.61/49.87	c GLOBAL bounds 2 >= 1 @ 48.351
49.71/49.90	c GLOBAL bounds 2 >= 1 @ 48.3835
49.71/49.90	c GLOBAL bounds 2 >= 1 @ 48.3847
49.71/49.90	c GLOBAL bounds 2 >= 1 @ 48.3847
49.71/49.94	c GLOBAL bounds 2 >= 1 @ 48.4194
49.71/49.97	c GLOBAL bounds 2 >= 1 @ 48.4508
49.71/49.97	c GLOBAL bounds 2 >= 1 @ 48.4516
49.71/50.01	c GLOBAL bounds 2 >= 1 @ 48.4827
49.71/50.01	c GLOBAL bounds 2 >= 1 @ 48.4834
49.82/50.04	c GLOBAL bounds 2 >= 1 @ 48.5163
49.82/50.04	c GLOBAL bounds 2 >= 1 @ 48.5173
49.82/50.08	c GLOBAL bounds 2 >= 1 @ 48.5489
49.82/50.08	c GLOBAL bounds 2 >= 1 @ 48.5498
49.92/50.11	c GLOBAL bounds 2 >= 1 @ 48.5827
49.92/50.11	c GLOBAL bounds 2 >= 1 @ 48.5836
49.92/50.15	c GLOBAL bounds 2 >= 1 @ 48.6178
49.92/50.15	c GLOBAL bounds 2 >= 1 @ 48.6187
49.92/50.19	c GLOBAL bounds 2 >= 1 @ 48.6524
49.92/50.19	c GLOBAL bounds 2 >= 1 @ 48.6543
50.01/50.22	c GLOBAL bounds 2 >= 1 @ 48.6855
50.01/50.22	c GLOBAL bounds 2 >= 1 @ 48.6874
50.01/50.26	c GLOBAL bounds 2 >= 1 @ 48.721
50.01/50.26	c GLOBAL bounds 2 >= 1 @ 48.7217
50.01/50.29	c GLOBAL bounds 2 >= 1 @ 48.7552
50.01/50.29	c GLOBAL bounds 2 >= 1 @ 48.7556
50.01/50.29	c GLOBAL bounds 2 >= 1 @ 48.7556
50.10/50.33	c GLOBAL bounds 2 >= 1 @ 48.7888
50.10/50.36	c GLOBAL bounds 2 >= 1 @ 48.8217
50.10/50.36	c GLOBAL bounds 2 >= 1 @ 48.8227
50.20/50.40	c GLOBAL bounds 2 >= 1 @ 48.8554
50.20/50.40	c GLOBAL bounds 2 >= 1 @ 48.8564
50.20/50.43	c GLOBAL bounds 2 >= 1 @ 48.8885
50.20/50.43	c GLOBAL bounds 2 >= 1 @ 48.8903
50.20/50.47	c GLOBAL bounds 2 >= 1 @ 48.9238
50.20/50.47	c GLOBAL bounds 2 >= 1 @ 48.9248
50.31/50.51	c GLOBAL bounds 2 >= 1 @ 48.9595
50.31/50.51	c GLOBAL bounds 2 >= 1 @ 48.961
50.31/50.54	c GLOBAL bounds 2 >= 1 @ 48.994
50.31/50.54	c GLOBAL bounds 2 >= 1 @ 48.9949
50.31/50.58	c GLOBAL bounds 2 >= 1 @ 49.0287
50.31/50.58	c GLOBAL bounds 2 >= 1 @ 49.0298
50.40/50.61	c GLOBAL bounds 2 >= 1 @ 49.0621
50.40/50.62	c GLOBAL bounds 2 >= 1 @ 49.063
50.40/50.65	c GLOBAL bounds 2 >= 1 @ 49.098
50.40/50.65	c GLOBAL bounds 2 >= 1 @ 49.0997
50.40/50.69	c GLOBAL bounds 2 >= 1 @ 49.1333
50.40/50.69	c GLOBAL bounds 2 >= 1 @ 49.1342
50.40/50.69	c GLOBAL bounds 2 >= 1 @ 49.1342
50.51/50.72	c GLOBAL bounds 2 >= 1 @ 49.1663
50.51/50.76	c GLOBAL bounds 2 >= 1 @ 49.1993
50.51/50.76	c GLOBAL bounds 2 >= 1 @ 49.1994
50.51/50.79	c GLOBAL bounds 2 >= 1 @ 49.2339
50.51/50.80	c GLOBAL bounds 2 >= 1 @ 49.2349
50.60/50.83	c GLOBAL bounds 2 >= 1 @ 49.2688
50.60/50.83	c GLOBAL bounds 2 >= 1 @ 49.2697
50.60/50.87	c GLOBAL bounds 2 >= 1 @ 49.3017
50.60/50.87	c GLOBAL bounds 2 >= 1 @ 49.3036
50.71/50.90	c GLOBAL bounds 2 >= 1 @ 49.3369
50.71/50.90	c GLOBAL bounds 2 >= 1 @ 49.3388
50.71/50.94	c GLOBAL bounds 2 >= 1 @ 49.3748
50.71/50.94	c GLOBAL bounds 2 >= 1 @ 49.3749
50.71/50.98	c GLOBAL bounds 2 >= 1 @ 49.4085
50.71/50.98	c GLOBAL bounds 2 >= 1 @ 49.4095
50.82/51.02	c GLOBAL bounds 2 >= 1 @ 49.4451
50.82/51.02	c GLOBAL bounds 2 >= 1 @ 49.447
50.82/51.05	c GLOBAL bounds 2 >= 1 @ 49.4796
50.82/51.05	c GLOBAL bounds 2 >= 1 @ 49.4814
50.82/51.09	c GLOBAL bounds 2 >= 1 @ 49.5124
50.82/51.09	c GLOBAL bounds 2 >= 1 @ 49.5125
50.82/51.09	c GLOBAL bounds 2 >= 1 @ 49.5125
50.92/51.12	c GLOBAL bounds 2 >= 1 @ 49.5459
50.92/51.16	c GLOBAL bounds 2 >= 1 @ 49.578
50.92/51.16	c GLOBAL bounds 2 >= 1 @ 49.579
50.92/51.19	c GLOBAL bounds 2 >= 1 @ 49.6126
50.92/51.19	c GLOBAL bounds 2 >= 1 @ 49.6142
51.00/51.23	c GLOBAL bounds 2 >= 1 @ 49.647
51.00/51.23	c GLOBAL bounds 2 >= 1 @ 49.6479
51.00/51.26	c GLOBAL bounds 2 >= 1 @ 49.6809
51.00/51.26	c GLOBAL bounds 2 >= 1 @ 49.681
51.11/51.30	c GLOBAL bounds 2 >= 1 @ 49.7138
51.11/51.30	c GLOBAL bounds 2 >= 1 @ 49.7139
51.11/51.34	c GLOBAL bounds 2 >= 1 @ 49.748
51.11/51.34	c GLOBAL bounds 2 >= 1 @ 49.7488
51.11/51.37	c GLOBAL bounds 2 >= 1 @ 49.7804
51.11/51.37	c GLOBAL bounds 2 >= 1 @ 49.7814
51.20/51.41	c GLOBAL bounds 2 >= 1 @ 49.8141
51.20/51.41	c GLOBAL bounds 2 >= 1 @ 49.8156
51.20/51.44	c GLOBAL bounds 2 >= 1 @ 49.8469
51.20/51.45	c GLOBAL bounds 2 >= 1 @ 49.849
51.20/51.48	c GLOBAL bounds 2 >= 1 @ 49.8845
51.20/51.48	c GLOBAL bounds 2 >= 1 @ 49.8854
51.20/51.48	c GLOBAL bounds 2 >= 1 @ 49.8854
51.30/51.52	c GLOBAL bounds 2 >= 1 @ 49.917
51.30/51.52	c GLOBAL bounds 2 >= 1 @ 49.9181
51.30/51.52	c GLOBAL bounds 2 >= 1 @ 49.919
51.30/51.56	c GLOBAL bounds 2 >= 1 @ 49.9542
51.30/51.56	c GLOBAL bounds 2 >= 1 @ 49.9552
51.41/51.60	c GLOBAL bounds 2 >= 1 @ 49.9903
51.41/51.60	c GLOBAL bounds 2 >= 1 @ 49.9911
51.41/51.63	c GLOBAL bounds 2 >= 1 @ 50.0255
51.41/51.64	c GLOBAL bounds 2 >= 1 @ 50.0266
51.41/51.67	c GLOBAL bounds 2 >= 1 @ 50.0616
51.41/51.67	c GLOBAL bounds 2 >= 1 @ 50.0618
51.50/51.71	c GLOBAL bounds 2 >= 1 @ 50.0937
51.50/51.71	c GLOBAL bounds 2 >= 1 @ 50.0958
51.50/51.75	c GLOBAL bounds 2 >= 1 @ 50.1294
51.50/51.75	c GLOBAL bounds 2 >= 1 @ 50.1314
51.50/51.78	c GLOBAL bounds 2 >= 1 @ 50.1654
51.50/51.78	c GLOBAL bounds 2 >= 1 @ 50.1673
51.61/51.82	c GLOBAL bounds 2 >= 1 @ 50.203
51.61/51.82	c GLOBAL bounds 2 >= 1 @ 50.2034
51.61/51.86	c GLOBAL bounds 2 >= 1 @ 50.2362
51.61/51.86	c GLOBAL bounds 2 >= 1 @ 50.2371
51.61/51.86	c GLOBAL bounds 2 >= 1 @ 50.2371
51.61/51.89	c GLOBAL bounds 2 >= 1 @ 50.2713
51.70/51.93	c GLOBAL bounds 2 >= 1 @ 50.3048
51.70/51.93	c GLOBAL bounds 2 >= 1 @ 50.3057
51.70/51.96	c GLOBAL bounds 2 >= 1 @ 50.3384
51.70/51.97	c GLOBAL bounds 2 >= 1 @ 50.3394
51.70/52.00	c GLOBAL bounds 2 >= 1 @ 50.3749
51.70/52.00	c GLOBAL bounds 2 >= 1 @ 50.3758
51.82/52.04	c GLOBAL bounds 2 >= 1 @ 50.4077
51.82/52.04	c GLOBAL bounds 2 >= 1 @ 50.4077
51.82/52.07	c GLOBAL bounds 2 >= 1 @ 50.441
51.82/52.08	c GLOBAL bounds 2 >= 1 @ 50.4426
51.82/52.11	c GLOBAL bounds 2 >= 1 @ 50.473
51.91/52.11	c GLOBAL bounds 2 >= 1 @ 50.4745
51.91/52.14	c GLOBAL bounds 2 >= 1 @ 50.5066
51.91/52.15	c GLOBAL bounds 2 >= 1 @ 50.5084
51.91/52.18	c GLOBAL bounds 2 >= 1 @ 50.5402
51.91/52.18	c GLOBAL bounds 2 >= 1 @ 50.5413
52.00/52.22	c GLOBAL bounds 2 >= 1 @ 50.5731
52.00/52.22	c GLOBAL bounds 2 >= 1 @ 50.5732
52.00/52.25	c GLOBAL bounds 2 >= 1 @ 50.6072
52.00/52.26	c GLOBAL bounds 2 >= 1 @ 50.6082
52.00/52.26	c GLOBAL bounds 2 >= 1 @ 50.6082
52.00/52.29	c GLOBAL bounds 2 >= 1 @ 50.6412
52.10/52.32	c GLOBAL bounds 2 >= 1 @ 50.6723
52.10/52.32	c GLOBAL bounds 2 >= 1 @ 50.6733
52.10/52.36	c GLOBAL bounds 2 >= 1 @ 50.7064
52.10/52.36	c GLOBAL bounds 2 >= 1 @ 50.7068
52.10/52.39	c GLOBAL bounds 2 >= 1 @ 50.7385
52.10/52.40	c GLOBAL bounds 2 >= 1 @ 50.7403
52.20/52.43	c GLOBAL bounds 2 >= 1 @ 50.7743
52.20/52.43	c GLOBAL bounds 2 >= 1 @ 50.7762
52.20/52.47	c GLOBAL bounds 2 >= 1 @ 50.8096
52.20/52.47	c GLOBAL bounds 2 >= 1 @ 50.8115
52.30/52.50	c GLOBAL bounds 2 >= 1 @ 50.8443
52.30/52.51	c GLOBAL bounds 2 >= 1 @ 50.8444
52.30/52.54	c GLOBAL bounds 2 >= 1 @ 50.8797
52.30/52.54	c GLOBAL bounds 2 >= 1 @ 50.8813
52.30/52.58	c GLOBAL bounds 2 >= 1 @ 50.9135
52.30/52.58	c GLOBAL bounds 2 >= 1 @ 50.9141
52.40/52.61	c GLOBAL bounds 2 >= 1 @ 50.9482
52.40/52.62	c GLOBAL bounds 2 >= 1 @ 50.9492
52.40/52.65	c GLOBAL bounds 2 >= 1 @ 50.9822
52.40/52.65	c GLOBAL bounds 2 >= 1 @ 50.983
52.40/52.65	c GLOBAL bounds 2 >= 1 @ 50.983
52.40/52.69	c GLOBAL bounds 2 >= 1 @ 51.0152
52.50/52.72	c GLOBAL bounds 2 >= 1 @ 51.0477
52.50/52.72	c GLOBAL bounds 2 >= 1 @ 51.0487
52.50/52.76	c GLOBAL bounds 2 >= 1 @ 51.0831
52.50/52.76	c GLOBAL bounds 2 >= 1 @ 51.0846
52.50/52.79	c GLOBAL bounds 2 >= 1 @ 51.1155
52.50/52.79	c GLOBAL bounds 2 >= 1 @ 51.1165
52.60/52.83	c GLOBAL bounds 2 >= 1 @ 51.1495
52.60/52.83	c GLOBAL bounds 2 >= 1 @ 51.1505
52.60/52.86	c GLOBAL bounds 2 >= 1 @ 51.1833
52.60/52.86	c GLOBAL bounds 2 >= 1 @ 51.1852
52.70/52.90	c GLOBAL bounds 2 >= 1 @ 51.2169
52.70/52.90	c GLOBAL bounds 2 >= 1 @ 51.2193
52.70/52.94	c GLOBAL bounds 2 >= 1 @ 51.2508
52.70/52.94	c GLOBAL bounds 2 >= 1 @ 51.2518
52.70/52.97	c GLOBAL bounds 2 >= 1 @ 51.2861
52.70/52.97	c GLOBAL bounds 2 >= 1 @ 51.288
52.70/53.01	c GLOBAL bounds 2 >= 1 @ 51.3212
52.81/53.01	c GLOBAL bounds 2 >= 1 @ 51.3219
52.81/53.05	c GLOBAL bounds 2 >= 1 @ 51.3563
52.81/53.05	c GLOBAL bounds 2 >= 1 @ 51.3568
52.81/53.05	c GLOBAL bounds 2 >= 1 @ 51.3568
52.81/53.08	c GLOBAL bounds 2 >= 1 @ 51.3892
52.91/53.12	c GLOBAL bounds 2 >= 1 @ 51.4224
52.91/53.12	c GLOBAL bounds 2 >= 1 @ 51.4234
52.91/53.15	c GLOBAL bounds 2 >= 1 @ 51.457
52.91/53.15	c GLOBAL bounds 2 >= 1 @ 51.4581
52.91/53.19	c GLOBAL bounds 2 >= 1 @ 51.4938
52.91/53.19	c GLOBAL bounds 2 >= 1 @ 51.4954
53.00/53.23	c GLOBAL bounds 2 >= 1 @ 51.5292
53.00/53.23	c GLOBAL bounds 2 >= 1 @ 51.53
53.00/53.26	c GLOBAL bounds 2 >= 1 @ 51.5624
53.00/53.26	c GLOBAL bounds 2 >= 1 @ 51.5632
53.10/53.30	c GLOBAL bounds 2 >= 1 @ 51.5952
53.10/53.30	c GLOBAL bounds 2 >= 1 @ 51.5961
53.10/53.34	c GLOBAL bounds 2 >= 1 @ 51.63
53.10/53.34	c GLOBAL bounds 2 >= 1 @ 51.63
53.10/53.37	c GLOBAL bounds 2 >= 1 @ 51.6635
53.10/53.37	c GLOBAL bounds 2 >= 1 @ 51.6639
53.20/53.41	c GLOBAL bounds 2 >= 1 @ 51.6969
53.20/53.41	c GLOBAL bounds 2 >= 1 @ 51.6989
53.20/53.44	c GLOBAL bounds 2 >= 1 @ 51.7322
53.20/53.45	c GLOBAL bounds 2 >= 1 @ 51.7333
53.20/53.45	c GLOBAL bounds 2 >= 1 @ 51.7333
53.20/53.48	c GLOBAL bounds 2 >= 1 @ 51.7671
53.30/53.52	c GLOBAL bounds 2 >= 1 @ 51.7989
53.30/53.52	c GLOBAL bounds 2 >= 1 @ 51.7995
53.30/53.55	c GLOBAL bounds 2 >= 1 @ 51.8312
53.30/53.55	c GLOBAL bounds 2 >= 1 @ 51.8321
53.30/53.59	c GLOBAL bounds 2 >= 1 @ 51.8653
53.30/53.59	c GLOBAL bounds 2 >= 1 @ 51.8672
53.40/53.62	c GLOBAL bounds 2 >= 1 @ 51.9016
53.40/53.63	c GLOBAL bounds 2 >= 1 @ 51.9036
53.40/53.66	c GLOBAL bounds 2 >= 1 @ 51.9385
53.40/53.66	c GLOBAL bounds 2 >= 1 @ 51.9401
53.50/53.70	c GLOBAL bounds 2 >= 1 @ 51.9723
53.50/53.70	c GLOBAL bounds 2 >= 1 @ 51.973
53.50/53.73	c GLOBAL bounds 2 >= 1 @ 52.0055
53.50/53.73	c GLOBAL bounds 2 >= 1 @ 52.0064
53.50/53.77	c GLOBAL bounds 2 >= 1 @ 52.0382
53.50/53.77	c GLOBAL bounds 2 >= 1 @ 52.0398
53.59/53.80	c GLOBAL bounds 2 >= 1 @ 52.0727
53.59/53.81	c GLOBAL bounds 2 >= 1 @ 52.0737
53.59/53.84	c GLOBAL bounds 2 >= 1 @ 52.1049
53.59/53.84	c GLOBAL bounds 2 >= 1 @ 52.1056
53.59/53.84	c GLOBAL bounds 2 >= 1 @ 52.1056
53.59/53.88	c GLOBAL bounds 2 >= 1 @ 52.139
53.70/53.91	c GLOBAL bounds 2 >= 1 @ 52.1712
53.70/53.91	c GLOBAL bounds 2 >= 1 @ 52.1714
53.70/53.95	c GLOBAL bounds 2 >= 1 @ 52.2049
53.70/53.95	c GLOBAL bounds 2 >= 1 @ 52.2069
53.70/53.98	c GLOBAL bounds 2 >= 1 @ 52.2392
53.70/53.99	c GLOBAL bounds 2 >= 1 @ 52.2402
53.81/54.02	c GLOBAL bounds 2 >= 1 @ 52.2714
53.81/54.02	c GLOBAL bounds 2 >= 1 @ 52.273
53.81/54.06	c GLOBAL bounds 2 >= 1 @ 52.3059
53.81/54.06	c GLOBAL bounds 2 >= 1 @ 52.3077
53.81/54.09	c GLOBAL bounds 2 >= 1 @ 52.3398
53.81/54.09	c GLOBAL bounds 2 >= 1 @ 52.3407
53.90/54.13	c GLOBAL bounds 2 >= 1 @ 52.3739
53.90/54.13	c GLOBAL bounds 2 >= 1 @ 52.3757
53.90/54.17	c GLOBAL bounds 2 >= 1 @ 52.411
53.90/54.17	c GLOBAL bounds 2 >= 1 @ 52.413
54.00/54.20	c GLOBAL bounds 2 >= 1 @ 52.448
54.00/54.20	c GLOBAL bounds 2 >= 1 @ 52.4485
54.00/54.24	c GLOBAL bounds 2 >= 1 @ 52.4817
54.00/54.24	c GLOBAL bounds 2 >= 1 @ 52.4826
54.00/54.24	c GLOBAL bounds 2 >= 1 @ 52.4826
54.00/54.28	c GLOBAL bounds 2 >= 1 @ 52.5135
54.09/54.31	c GLOBAL bounds 2 >= 1 @ 52.5439
54.09/54.31	c GLOBAL bounds 2 >= 1 @ 52.5458
54.09/54.34	c GLOBAL bounds 2 >= 1 @ 52.5798
54.09/54.35	c GLOBAL bounds 2 >= 1 @ 52.5818
54.09/54.38	c GLOBAL bounds 2 >= 1 @ 52.616
54.09/54.38	c GLOBAL bounds 2 >= 1 @ 52.617
54.19/54.42	c GLOBAL bounds 2 >= 1 @ 52.6481
54.19/54.42	c GLOBAL bounds 2 >= 1 @ 52.649
54.19/54.45	c GLOBAL bounds 2 >= 1 @ 52.6831
54.19/54.46	c GLOBAL bounds 2 >= 1 @ 52.684
54.19/54.49	c GLOBAL bounds 2 >= 1 @ 52.7186
54.19/54.49	c GLOBAL bounds 2 >= 1 @ 52.7195
54.30/54.53	c GLOBAL bounds 2 >= 1 @ 52.752
54.30/54.53	c GLOBAL bounds 2 >= 1 @ 52.7526
54.30/54.56	c GLOBAL bounds 2 >= 1 @ 52.7845
54.30/54.56	c GLOBAL bounds 2 >= 1 @ 52.7846
54.39/54.60	c GLOBAL bounds 2 >= 1 @ 52.8168
54.39/54.60	c GLOBAL bounds 2 >= 1 @ 52.8175
54.39/54.63	c GLOBAL bounds 2 >= 1 @ 52.8507
54.39/54.64	c GLOBAL bounds 2 >= 1 @ 52.8526
54.39/54.64	c GLOBAL bounds 2 >= 1 @ 52.8527
54.39/54.67	c GLOBAL bounds 2 >= 1 @ 52.8852
54.50/54.70	c GLOBAL bounds 2 >= 1 @ 52.9178
54.50/54.71	c GLOBAL bounds 2 >= 1 @ 52.9198
54.50/54.74	c GLOBAL bounds 2 >= 1 @ 52.9552
54.50/54.74	c GLOBAL bounds 2 >= 1 @ 52.9561
54.50/54.78	c GLOBAL bounds 2 >= 1 @ 52.9891
54.50/54.78	c GLOBAL bounds 2 >= 1 @ 52.99
54.59/54.81	c GLOBAL bounds 2 >= 1 @ 53.0236
54.59/54.81	c GLOBAL bounds 2 >= 1 @ 53.0245
54.59/54.85	c GLOBAL bounds 2 >= 1 @ 53.0579
54.59/54.85	c GLOBAL bounds 2 >= 1 @ 53.0598
54.59/54.88	c GLOBAL bounds 2 >= 1 @ 53.0936
54.59/54.89	c GLOBAL bounds 2 >= 1 @ 53.0936
54.69/54.92	c GLOBAL bounds 2 >= 1 @ 53.1263
54.69/54.92	c GLOBAL bounds 2 >= 1 @ 53.1265
54.69/54.96	c GLOBAL bounds 2 >= 1 @ 53.1584
54.69/54.96	c GLOBAL bounds 2 >= 1 @ 53.1593
54.69/54.99	c GLOBAL bounds 2 >= 1 @ 53.1934
54.69/55.00	c GLOBAL bounds 2 >= 1 @ 53.1944
54.81/55.03	c GLOBAL bounds 2 >= 1 @ 53.2304
54.81/55.03	c GLOBAL bounds 2 >= 1 @ 53.2322
54.81/55.03	c GLOBAL bounds 2 >= 1 @ 53.2322
54.81/55.07	c GLOBAL bounds 2 >= 1 @ 53.2641
54.81/55.10	c GLOBAL bounds 2 >= 1 @ 53.299
54.81/55.10	c GLOBAL bounds 2 >= 1 @ 53.3
54.90/55.14	c GLOBAL bounds 2 >= 1 @ 53.3346
54.90/55.14	c GLOBAL bounds 2 >= 1 @ 53.3355
54.90/55.17	c GLOBAL bounds 2 >= 1 @ 53.3696
54.90/55.18	c GLOBAL bounds 2 >= 1 @ 53.3698
55.00/55.21	c GLOBAL bounds 2 >= 1 @ 53.4036
55.00/55.21	c GLOBAL bounds 2 >= 1 @ 53.4037
55.00/55.25	c GLOBAL bounds 2 >= 1 @ 53.4359
55.00/55.25	c GLOBAL bounds 2 >= 1 @ 53.4376
55.00/55.28	c GLOBAL bounds 2 >= 1 @ 53.47
55.00/55.28	c GLOBAL bounds 2 >= 1 @ 53.471
55.09/55.32	c GLOBAL bounds 2 >= 1 @ 53.5064
55.09/55.32	c GLOBAL bounds 2 >= 1 @ 53.5073
55.09/55.36	c GLOBAL bounds 2 >= 1 @ 53.5393
55.09/55.36	c GLOBAL bounds 2 >= 1 @ 53.5393
55.09/55.39	c GLOBAL bounds 2 >= 1 @ 53.5722
55.09/55.40	c GLOBAL bounds 2 >= 1 @ 53.5732
55.19/55.43	c GLOBAL bounds 2 >= 1 @ 53.6046
55.19/55.43	c GLOBAL bounds 2 >= 1 @ 53.6065
55.19/55.43	c GLOBAL bounds 2 >= 1 @ 53.6065
55.19/55.47	c GLOBAL bounds 2 >= 1 @ 53.6398
55.29/55.50	c GLOBAL bounds 2 >= 1 @ 53.6714
55.29/55.50	c GLOBAL bounds 2 >= 1 @ 53.6734
55.29/55.54	c GLOBAL bounds 2 >= 1 @ 53.7063
55.29/55.54	c GLOBAL bounds 2 >= 1 @ 53.7078
55.29/55.57	c GLOBAL bounds 2 >= 1 @ 53.7413
55.29/55.57	c GLOBAL bounds 2 >= 1 @ 53.7427
55.39/55.61	c GLOBAL bounds 2 >= 1 @ 53.7765
55.39/55.61	c GLOBAL bounds 2 >= 1 @ 53.7774
55.39/55.65	c GLOBAL bounds 2 >= 1 @ 53.8114
55.39/55.65	c GLOBAL bounds 2 >= 1 @ 53.8125
55.39/55.68	c GLOBAL bounds 2 >= 1 @ 53.8467
55.39/55.68	c GLOBAL bounds 2 >= 1 @ 53.8476
55.49/55.72	c GLOBAL bounds 2 >= 1 @ 53.8805
55.49/55.72	c GLOBAL bounds 2 >= 1 @ 53.8823
55.49/55.75	c GLOBAL bounds 2 >= 1 @ 53.9155
55.49/55.76	c GLOBAL bounds 2 >= 1 @ 53.9172
55.49/55.79	c GLOBAL bounds 2 >= 1 @ 53.9488
55.49/55.79	c GLOBAL bounds 2 >= 1 @ 53.9498
55.59/55.83	c GLOBAL bounds 2 >= 1 @ 53.9834
55.59/55.83	c GLOBAL bounds 2 >= 1 @ 53.9854
55.59/55.83	c GLOBAL bounds 2 >= 1 @ 53.9854
55.59/55.86	c GLOBAL bounds 2 >= 1 @ 54.0178
55.69/55.90	c GLOBAL bounds 2 >= 1 @ 54.0494
55.69/55.90	c GLOBAL bounds 2 >= 1 @ 54.0504
55.69/55.93	c GLOBAL bounds 2 >= 1 @ 54.0816
55.69/55.93	c GLOBAL bounds 2 >= 1 @ 54.0826
55.69/55.97	c GLOBAL bounds 2 >= 1 @ 54.1164
55.69/55.97	c GLOBAL bounds 2 >= 1 @ 54.1172
55.69/56.00	c GLOBAL bounds 2 >= 1 @ 54.149
55.69/56.01	c GLOBAL bounds 2 >= 1 @ 54.1504
55.80/56.04	c GLOBAL bounds 2 >= 1 @ 54.184
55.80/56.04	c GLOBAL bounds 2 >= 1 @ 54.185
55.80/56.08	c GLOBAL bounds 2 >= 1 @ 54.2192
55.80/56.08	c GLOBAL bounds 2 >= 1 @ 54.2202
55.91/56.12	c GLOBAL bounds 2 >= 1 @ 54.2545
55.91/56.12	c GLOBAL bounds 2 >= 1 @ 54.2561
55.91/56.15	c GLOBAL bounds 2 >= 1 @ 54.2887
55.91/56.15	c GLOBAL bounds 2 >= 1 @ 54.2907
55.91/56.19	c GLOBAL bounds 2 >= 1 @ 54.324
55.91/56.19	c GLOBAL bounds 2 >= 1 @ 54.3249
55.99/56.23	c GLOBAL bounds 2 >= 1 @ 54.36
55.99/56.23	c GLOBAL bounds 2 >= 1 @ 54.3607
55.99/56.23	c GLOBAL bounds 2 >= 1 @ 54.3607
55.99/56.27	c GLOBAL bounds 2 >= 1 @ 54.3945
56.09/56.30	c GLOBAL bounds 2 >= 1 @ 54.426
56.09/56.30	c GLOBAL bounds 2 >= 1 @ 54.4281
56.09/56.34	c GLOBAL bounds 2 >= 1 @ 54.4619
56.09/56.34	c GLOBAL bounds 2 >= 1 @ 54.463
56.09/56.37	c GLOBAL bounds 2 >= 1 @ 54.4972
56.09/56.37	c GLOBAL bounds 2 >= 1 @ 54.4983
56.19/56.41	c GLOBAL bounds 2 >= 1 @ 54.5328
56.19/56.41	c GLOBAL bounds 2 >= 1 @ 54.5339
56.19/56.45	c GLOBAL bounds 2 >= 1 @ 54.5694
56.19/56.45	c GLOBAL bounds 2 >= 1 @ 54.5703
56.19/56.48	c GLOBAL bounds 2 >= 1 @ 54.6039
56.19/56.48	c GLOBAL bounds 2 >= 1 @ 54.6048
56.29/56.52	c GLOBAL bounds 2 >= 1 @ 54.6383
56.29/56.52	c GLOBAL bounds 2 >= 1 @ 54.6389
56.29/56.56	c GLOBAL bounds 2 >= 1 @ 54.6714
56.29/56.56	c GLOBAL bounds 2 >= 1 @ 54.6728
56.29/56.59	c GLOBAL bounds 2 >= 1 @ 54.7072
56.29/56.59	c GLOBAL bounds 2 >= 1 @ 54.7087
56.39/56.63	c GLOBAL bounds 2 >= 1 @ 54.7426
56.39/56.63	c GLOBAL bounds 2 >= 1 @ 54.7433
56.39/56.63	c GLOBAL bounds 2 >= 1 @ 54.7434
56.39/56.67	c GLOBAL bounds 2 >= 1 @ 54.777
56.48/56.70	c GLOBAL bounds 2 >= 1 @ 54.809
56.48/56.70	c GLOBAL bounds 2 >= 1 @ 54.8104
56.48/56.73	c GLOBAL bounds 2 >= 1 @ 54.8441
56.48/56.74	c GLOBAL bounds 2 >= 1 @ 54.8458
56.48/56.77	c GLOBAL bounds 2 >= 1 @ 54.8763
56.48/56.77	c GLOBAL bounds 2 >= 1 @ 54.8772
56.58/56.81	c GLOBAL bounds 2 >= 1 @ 54.9088
56.58/56.81	c GLOBAL bounds 2 >= 1 @ 54.9101
56.58/56.84	c GLOBAL bounds 2 >= 1 @ 54.9437
56.58/56.85	c GLOBAL bounds 2 >= 1 @ 54.9455
56.58/56.88	c GLOBAL bounds 2 >= 1 @ 54.9787
56.58/56.88	c GLOBAL bounds 2 >= 1 @ 54.9819
56.69/56.92	c GLOBAL bounds 2 >= 1 @ 55.0164
56.69/56.92	c GLOBAL bounds 2 >= 1 @ 55.0178
56.69/56.96	c GLOBAL bounds 2 >= 1 @ 55.0498
56.69/56.96	c GLOBAL bounds 2 >= 1 @ 55.0515
56.69/56.99	c GLOBAL bounds 2 >= 1 @ 55.0855
56.69/56.99	c GLOBAL bounds 2 >= 1 @ 55.0862
56.80/57.03	c GLOBAL bounds 2 >= 1 @ 55.1193
56.80/57.03	c GLOBAL bounds 2 >= 1 @ 55.12
56.80/57.03	c GLOBAL bounds 2 >= 1 @ 55.1201
56.80/57.07	c GLOBAL bounds 2 >= 1 @ 55.1539
56.80/57.10	c GLOBAL bounds 2 >= 1 @ 55.1868
56.80/57.10	c GLOBAL bounds 2 >= 1 @ 55.1882
56.90/57.14	c GLOBAL bounds 2 >= 1 @ 55.2213
56.90/57.14	c GLOBAL bounds 2 >= 1 @ 55.223
56.90/57.17	c GLOBAL bounds 2 >= 1 @ 55.2567
56.90/57.17	c GLOBAL bounds 2 >= 1 @ 55.258
56.99/57.21	c GLOBAL bounds 2 >= 1 @ 55.2925
56.99/57.21	c GLOBAL bounds 2 >= 1 @ 55.2944
56.99/57.25	c GLOBAL bounds 2 >= 1 @ 55.3267
56.99/57.25	c GLOBAL bounds 2 >= 1 @ 55.3274
56.99/57.28	c GLOBAL bounds 2 >= 1 @ 55.3627
56.99/57.28	c GLOBAL bounds 2 >= 1 @ 55.3643
57.08/57.32	c GLOBAL bounds 2 >= 1 @ 55.3991
57.08/57.32	c GLOBAL bounds 2 >= 1 @ 55.4009
57.08/57.36	c GLOBAL bounds 2 >= 1 @ 55.4366
57.08/57.36	c GLOBAL bounds 2 >= 1 @ 55.4385
57.18/57.40	c GLOBAL bounds 2 >= 1 @ 55.4755
57.18/57.40	c GLOBAL bounds 2 >= 1 @ 55.4773
57.18/57.43	c GLOBAL bounds 2 >= 1 @ 55.5096
57.18/57.43	c GLOBAL bounds 2 >= 1 @ 55.5113
57.18/57.43	c GLOBAL bounds 2 >= 1 @ 55.5113
57.18/57.47	c GLOBAL bounds 2 >= 1 @ 55.5442
57.29/57.50	c GLOBAL bounds 2 >= 1 @ 55.5741
57.29/57.50	c GLOBAL bounds 2 >= 1 @ 55.5749
57.29/57.54	c GLOBAL bounds 2 >= 1 @ 55.6104
57.29/57.54	c GLOBAL bounds 2 >= 1 @ 55.6111
57.29/57.58	c GLOBAL bounds 2 >= 1 @ 55.6442
57.29/57.58	c GLOBAL bounds 2 >= 1 @ 55.6449
57.38/57.61	c GLOBAL bounds 2 >= 1 @ 55.6794
57.38/57.61	c GLOBAL bounds 2 >= 1 @ 55.6808
57.38/57.65	c GLOBAL bounds 2 >= 1 @ 55.7147
57.38/57.65	c GLOBAL bounds 2 >= 1 @ 55.7165
57.38/57.68	c GLOBAL bounds 2 >= 1 @ 55.7493
57.38/57.69	c GLOBAL bounds 2 >= 1 @ 55.7506
57.49/57.72	c GLOBAL bounds 2 >= 1 @ 55.785
57.49/57.72	c GLOBAL bounds 2 >= 1 @ 55.7865
57.49/57.76	c GLOBAL bounds 2 >= 1 @ 55.8185
57.49/57.76	c GLOBAL bounds 2 >= 1 @ 55.8194
57.49/57.79	c GLOBAL bounds 2 >= 1 @ 55.8519
57.49/57.79	c GLOBAL bounds 2 >= 1 @ 55.8526
57.58/57.83	c GLOBAL bounds 2 >= 1 @ 55.887
57.58/57.83	c GLOBAL bounds 2 >= 1 @ 55.8878
57.58/57.83	c GLOBAL bounds 2 >= 1 @ 55.8879
57.58/57.87	c GLOBAL bounds 2 >= 1 @ 55.9212
57.69/57.90	c GLOBAL bounds 2 >= 1 @ 55.9533
57.69/57.90	c GLOBAL bounds 2 >= 1 @ 55.955
57.69/57.94	c GLOBAL bounds 2 >= 1 @ 55.9884
57.69/57.94	c GLOBAL bounds 2 >= 1 @ 55.9889
57.69/57.97	c GLOBAL bounds 2 >= 1 @ 56.0228
57.69/57.97	c GLOBAL bounds 2 >= 1 @ 56.0246
57.69/58.01	c GLOBAL bounds 2 >= 1 @ 56.0579
57.80/58.01	c GLOBAL bounds 2 >= 1 @ 56.0588
57.80/58.05	c GLOBAL bounds 2 >= 1 @ 56.0926
57.80/58.05	c GLOBAL bounds 2 >= 1 @ 56.0943
57.80/58.08	c GLOBAL bounds 2 >= 1 @ 56.1261
57.80/58.08	c GLOBAL bounds 2 >= 1 @ 56.128
57.89/58.12	c GLOBAL bounds 2 >= 1 @ 56.1645
57.89/58.12	c GLOBAL bounds 2 >= 1 @ 56.1663
57.89/58.16	c GLOBAL bounds 2 >= 1 @ 56.2016
57.89/58.16	c GLOBAL bounds 2 >= 1 @ 56.2021
57.89/58.19	c GLOBAL bounds 2 >= 1 @ 56.2357
57.89/58.20	c GLOBAL bounds 2 >= 1 @ 56.236
57.98/58.23	c GLOBAL bounds 2 >= 1 @ 56.2703
57.98/58.23	c GLOBAL bounds 2 >= 1 @ 56.2711
57.98/58.23	c GLOBAL bounds 2 >= 1 @ 56.2711
57.98/58.27	c GLOBAL bounds 2 >= 1 @ 56.3049
58.08/58.30	c GLOBAL bounds 2 >= 1 @ 56.3347
58.08/58.30	c GLOBAL bounds 2 >= 1 @ 56.3365
58.08/58.34	c GLOBAL bounds 2 >= 1 @ 56.371
58.08/58.34	c GLOBAL bounds 2 >= 1 @ 56.3717
58.08/58.37	c GLOBAL bounds 2 >= 1 @ 56.4052
58.08/58.38	c GLOBAL bounds 2 >= 1 @ 56.4056
58.18/58.41	c GLOBAL bounds 2 >= 1 @ 56.44
58.18/58.41	c GLOBAL bounds 2 >= 1 @ 56.4405
58.18/58.45	c GLOBAL bounds 2 >= 1 @ 56.474
58.18/58.45	c GLOBAL bounds 2 >= 1 @ 56.4758
58.18/58.49	c GLOBAL bounds 2 >= 1 @ 56.5113
58.18/58.49	c GLOBAL bounds 2 >= 1 @ 56.513
58.28/58.53	c GLOBAL bounds 2 >= 1 @ 56.546
58.28/58.53	c GLOBAL bounds 2 >= 1 @ 56.5477
58.28/58.56	c GLOBAL bounds 2 >= 1 @ 56.5807
58.28/58.56	c GLOBAL bounds 2 >= 1 @ 56.5821
58.38/58.60	c GLOBAL bounds 2 >= 1 @ 56.6141
58.38/58.60	c GLOBAL bounds 2 >= 1 @ 56.615
58.38/58.63	c GLOBAL bounds 2 >= 1 @ 56.6504
58.38/58.64	c GLOBAL bounds 2 >= 1 @ 56.6508
58.38/58.64	c GLOBAL bounds 2 >= 1 @ 56.6508
58.38/58.67	c GLOBAL bounds 2 >= 1 @ 56.6845
58.49/58.70	c GLOBAL bounds 2 >= 1 @ 56.7163
58.49/58.71	c GLOBAL bounds 2 >= 1 @ 56.7181
58.49/58.74	c GLOBAL bounds 2 >= 1 @ 56.7527
58.49/58.75	c GLOBAL bounds 2 >= 1 @ 56.7535
58.49/58.78	c GLOBAL bounds 2 >= 1 @ 56.7859
58.49/58.78	c GLOBAL bounds 2 >= 1 @ 56.7864
58.58/58.82	c GLOBAL bounds 2 >= 1 @ 56.8182
58.58/58.82	c GLOBAL bounds 2 >= 1 @ 56.819
58.58/58.85	c GLOBAL bounds 2 >= 1 @ 56.8525
58.58/58.85	c GLOBAL bounds 2 >= 1 @ 56.8532
58.58/58.89	c GLOBAL bounds 2 >= 1 @ 56.8871
58.58/58.89	c GLOBAL bounds 2 >= 1 @ 56.8889
58.68/58.93	c GLOBAL bounds 2 >= 1 @ 56.925
58.68/58.93	c GLOBAL bounds 2 >= 1 @ 56.9267
58.68/58.96	c GLOBAL bounds 2 >= 1 @ 56.9612
58.68/58.97	c GLOBAL bounds 2 >= 1 @ 56.9629
58.68/59.00	c GLOBAL bounds 2 >= 1 @ 56.9962
58.68/59.00	c GLOBAL bounds 2 >= 1 @ 56.9979
58.79/59.04	c GLOBAL bounds 2 >= 1 @ 57.0324
58.79/59.04	c GLOBAL bounds 2 >= 1 @ 57.0327
58.79/59.04	c GLOBAL bounds 2 >= 1 @ 57.0327
58.79/59.07	c GLOBAL bounds 2 >= 1 @ 57.0657
58.79/59.10	c GLOBAL bounds 2 >= 1 @ 57.0965
58.79/59.11	c GLOBAL bounds 2 >= 1 @ 57.0982
58.90/59.14	c GLOBAL bounds 2 >= 1 @ 57.1283
58.90/59.14	c GLOBAL bounds 2 >= 1 @ 57.129
58.90/59.18	c GLOBAL bounds 2 >= 1 @ 57.1614
58.90/59.18	c GLOBAL bounds 2 >= 1 @ 57.1631
58.98/59.21	c GLOBAL bounds 2 >= 1 @ 57.1962
58.98/59.21	c GLOBAL bounds 2 >= 1 @ 57.1979
58.98/59.25	c GLOBAL bounds 2 >= 1 @ 57.2325
58.98/59.25	c GLOBAL bounds 2 >= 1 @ 57.2332
58.98/59.28	c GLOBAL bounds 2 >= 1 @ 57.2659
58.98/59.29	c GLOBAL bounds 2 >= 1 @ 57.2677
59.07/59.32	c GLOBAL bounds 2 >= 1 @ 57.3031
59.07/59.32	c GLOBAL bounds 2 >= 1 @ 57.3039
59.07/59.36	c GLOBAL bounds 2 >= 1 @ 57.3385
59.07/59.36	c GLOBAL bounds 2 >= 1 @ 57.3397
59.07/59.39	c GLOBAL bounds 2 >= 1 @ 57.371
59.18/59.40	c GLOBAL bounds 2 >= 1 @ 57.3716
59.18/59.43	c GLOBAL bounds 2 >= 1 @ 57.4054
59.18/59.43	c GLOBAL bounds 2 >= 1 @ 57.4066
59.18/59.43	c GLOBAL bounds 2 >= 1 @ 57.4066
59.18/59.47	c GLOBAL bounds 2 >= 1 @ 57.4411
59.28/59.50	c GLOBAL bounds 2 >= 1 @ 57.4746
59.28/59.50	c GLOBAL bounds 2 >= 1 @ 57.4754
59.28/59.54	c GLOBAL bounds 2 >= 1 @ 57.51
59.28/59.54	c GLOBAL bounds 2 >= 1 @ 57.5107
59.28/59.57	c GLOBAL bounds 2 >= 1 @ 57.544
59.28/59.58	c GLOBAL bounds 2 >= 1 @ 57.5447
59.38/59.61	c GLOBAL bounds 2 >= 1 @ 57.5775
59.38/59.61	c GLOBAL bounds 2 >= 1 @ 57.578
59.38/59.65	c GLOBAL bounds 2 >= 1 @ 57.6115
59.38/59.65	c GLOBAL bounds 2 >= 1 @ 57.6129
59.38/59.68	c GLOBAL bounds 2 >= 1 @ 57.648
59.38/59.69	c GLOBAL bounds 2 >= 1 @ 57.6488
59.48/59.72	c GLOBAL bounds 2 >= 1 @ 57.6826
59.48/59.72	c GLOBAL bounds 2 >= 1 @ 57.6834
59.48/59.76	c GLOBAL bounds 2 >= 1 @ 57.7171
59.48/59.76	c GLOBAL bounds 2 >= 1 @ 57.7186
59.48/59.79	c GLOBAL bounds 2 >= 1 @ 57.7513
59.48/59.79	c GLOBAL bounds 2 >= 1 @ 57.7521
59.58/59.83	c GLOBAL bounds 2 >= 1 @ 57.7838
59.58/59.83	c GLOBAL bounds 2 >= 1 @ 57.7844
59.58/59.83	c GLOBAL bounds 2 >= 1 @ 57.7844
59.58/59.87	c GLOBAL bounds 2 >= 1 @ 57.8175
59.67/59.90	c GLOBAL bounds 2 >= 1 @ 57.8501
59.67/59.90	c GLOBAL bounds 2 >= 1 @ 57.852
59.67/59.94	c GLOBAL bounds 2 >= 1 @ 57.8864
59.67/59.94	c GLOBAL bounds 2 >= 1 @ 57.8881
59.67/59.97	c GLOBAL bounds 2 >= 1 @ 57.9212
59.67/59.98	c GLOBAL bounds 2 >= 1 @ 57.923
59.79/60.01	c GLOBAL bounds 2 >= 1 @ 57.9577
59.79/60.01	c GLOBAL bounds 2 >= 1 @ 57.9585
59.79/60.05	c GLOBAL bounds 2 >= 1 @ 57.9932
59.79/60.05	c GLOBAL bounds 2 >= 1 @ 57.9948
59.79/60.09	c GLOBAL bounds 2 >= 1 @ 58.0274
59.79/60.09	c GLOBAL bounds 2 >= 1 @ 58.0287
59.90/60.12	c GLOBAL bounds 2 >= 1 @ 58.0615
59.90/60.12	c GLOBAL bounds 2 >= 1 @ 58.0622
59.90/60.16	c GLOBAL bounds 2 >= 1 @ 58.0966
59.90/60.16	c GLOBAL bounds 2 >= 1 @ 58.0975
59.98/60.20	c GLOBAL bounds 2 >= 1 @ 58.1281
59.98/60.20	c GLOBAL bounds 2 >= 1 @ 58.1284
59.98/60.23	c GLOBAL bounds 2 >= 1 @ 58.1603
59.98/60.23	c GLOBAL bounds 2 >= 1 @ 58.1621
59.98/60.23	c GLOBAL bounds 2 >= 1 @ 58.1622
59.98/60.27	c GLOBAL bounds 2 >= 1 @ 58.1953
60.08/60.30	c GLOBAL bounds 2 >= 1 @ 58.2276
60.08/60.31	c GLOBAL bounds 2 >= 1 @ 58.2291
60.08/60.34	c GLOBAL bounds 2 >= 1 @ 58.2642
60.08/60.34	c GLOBAL bounds 2 >= 1 @ 58.2658
60.08/60.38	c GLOBAL bounds 2 >= 1 @ 58.2992
60.08/60.38	c GLOBAL bounds 2 >= 1 @ 58.3009
60.17/60.41	c GLOBAL bounds 2 >= 1 @ 58.3335
60.17/60.42	c GLOBAL bounds 2 >= 1 @ 58.3354
60.17/60.45	c GLOBAL bounds 2 >= 1 @ 58.3708
60.17/60.45	c GLOBAL bounds 2 >= 1 @ 58.3717
60.17/60.49	c GLOBAL bounds 2 >= 1 @ 58.4081
60.17/60.49	c GLOBAL bounds 2 >= 1 @ 58.4088
60.28/60.53	c GLOBAL bounds 2 >= 1 @ 58.4437
60.28/60.53	c GLOBAL bounds 2 >= 1 @ 58.4445
60.28/60.56	c GLOBAL bounds 2 >= 1 @ 58.4775
60.28/60.57	c GLOBAL bounds 2 >= 1 @ 58.4793
60.37/60.60	c GLOBAL bounds 2 >= 1 @ 58.5113
60.37/60.60	c GLOBAL bounds 2 >= 1 @ 58.5132
60.37/60.64	c GLOBAL bounds 2 >= 1 @ 58.5476
60.37/60.64	c GLOBAL bounds 2 >= 1 @ 58.5494
60.37/60.64	c GLOBAL bounds 2 >= 1 @ 58.5494
60.37/60.67	c GLOBAL bounds 2 >= 1 @ 58.5825
60.47/60.70	c GLOBAL bounds 2 >= 1 @ 58.6139
60.47/60.71	c GLOBAL bounds 2 >= 1 @ 58.6147
60.47/60.74	c GLOBAL bounds 2 >= 1 @ 58.6496
60.47/60.74	c GLOBAL bounds 2 >= 1 @ 58.6513
60.47/60.78	c GLOBAL bounds 2 >= 1 @ 58.6848
60.47/60.78	c GLOBAL bounds 2 >= 1 @ 58.6865
60.57/60.81	c GLOBAL bounds 2 >= 1 @ 58.7216
60.57/60.82	c GLOBAL bounds 2 >= 1 @ 58.7234
60.57/60.85	c GLOBAL bounds 2 >= 1 @ 58.7572
60.57/60.85	c GLOBAL bounds 2 >= 1 @ 58.7586
60.57/60.89	c GLOBAL bounds 2 >= 1 @ 58.7924
60.57/60.89	c GLOBAL bounds 2 >= 1 @ 58.7962
60.68/60.93	c GLOBAL bounds 2 >= 1 @ 58.8317
60.68/60.93	c GLOBAL bounds 2 >= 1 @ 58.8335
60.68/60.97	c GLOBAL bounds 2 >= 1 @ 58.8699
60.68/60.97	c GLOBAL bounds 2 >= 1 @ 58.8713
60.68/61.00	c GLOBAL bounds 2 >= 1 @ 58.9058
60.68/61.01	c GLOBAL bounds 2 >= 1 @ 58.9077
60.79/61.04	c GLOBAL bounds 2 >= 1 @ 58.9425
60.79/61.04	c GLOBAL bounds 2 >= 1 @ 58.9442
60.79/61.04	c GLOBAL bounds 2 >= 1 @ 58.9443
60.79/61.08	c GLOBAL bounds 2 >= 1 @ 58.9777
60.89/61.11	c GLOBAL bounds 2 >= 1 @ 59.0105
60.89/61.11	c GLOBAL bounds 2 >= 1 @ 59.0113
60.89/61.15	c GLOBAL bounds 2 >= 1 @ 59.0455
60.89/61.15	c GLOBAL bounds 2 >= 1 @ 59.0474
60.89/61.19	c GLOBAL bounds 2 >= 1 @ 59.0817
60.89/61.19	c GLOBAL bounds 2 >= 1 @ 59.0825
60.98/61.22	c GLOBAL bounds 2 >= 1 @ 59.1178
60.98/61.22	c GLOBAL bounds 2 >= 1 @ 59.1193
60.98/61.26	c GLOBAL bounds 2 >= 1 @ 59.1553
60.98/61.26	c GLOBAL bounds 2 >= 1 @ 59.1571
61.08/61.30	c GLOBAL bounds 2 >= 1 @ 59.1918
61.08/61.30	c GLOBAL bounds 2 >= 1 @ 59.1936
61.08/61.34	c GLOBAL bounds 2 >= 1 @ 59.2258
61.08/61.34	c GLOBAL bounds 2 >= 1 @ 59.2277
61.08/61.37	c GLOBAL bounds 2 >= 1 @ 59.2627
61.08/61.37	c GLOBAL bounds 2 >= 1 @ 59.2635
61.17/61.41	c GLOBAL bounds 2 >= 1 @ 59.2991
61.17/61.41	c GLOBAL bounds 2 >= 1 @ 59.2997
61.17/61.45	c GLOBAL bounds 2 >= 1 @ 59.3344
61.17/61.45	c GLOBAL bounds 2 >= 1 @ 59.3352
61.17/61.45	c GLOBAL bounds 2 >= 1 @ 59.3353
61.17/61.49	c GLOBAL bounds 2 >= 1 @ 59.3697
61.28/61.52	c GLOBAL bounds 2 >= 1 @ 59.402
61.28/61.52	c GLOBAL bounds 2 >= 1 @ 59.4039
61.28/61.56	c GLOBAL bounds 2 >= 1 @ 59.4369
61.28/61.56	c GLOBAL bounds 2 >= 1 @ 59.4387
61.28/61.59	c GLOBAL bounds 2 >= 1 @ 59.4729
61.28/61.59	c GLOBAL bounds 2 >= 1 @ 59.4747
61.37/61.63	c GLOBAL bounds 2 >= 1 @ 59.5083
61.37/61.63	c GLOBAL bounds 2 >= 1 @ 59.5091
61.37/61.67	c GLOBAL bounds 2 >= 1 @ 59.5443
61.37/61.67	c GLOBAL bounds 2 >= 1 @ 59.5451
61.47/61.70	c GLOBAL bounds 2 >= 1 @ 59.5779
61.47/61.70	c GLOBAL bounds 2 >= 1 @ 59.5796
61.47/61.74	c GLOBAL bounds 2 >= 1 @ 59.6117
61.47/61.74	c GLOBAL bounds 2 >= 1 @ 59.6134
61.47/61.77	c GLOBAL bounds 2 >= 1 @ 59.6471
61.47/61.78	c GLOBAL bounds 2 >= 1 @ 59.6478
61.57/61.81	c GLOBAL bounds 2 >= 1 @ 59.6827
61.57/61.81	c GLOBAL bounds 2 >= 1 @ 59.6836
61.57/61.85	c GLOBAL bounds 2 >= 1 @ 59.717
61.57/61.85	c GLOBAL bounds 2 >= 1 @ 59.7176
61.57/61.85	c GLOBAL bounds 2 >= 1 @ 59.7176
61.57/61.89	c GLOBAL bounds 2 >= 1 @ 59.7512
61.67/61.92	c GLOBAL bounds 2 >= 1 @ 59.7845
61.67/61.92	c GLOBAL bounds 2 >= 1 @ 59.7853
61.67/61.95	c GLOBAL bounds 2 >= 1 @ 59.8195
61.67/61.96	c GLOBAL bounds 2 >= 1 @ 59.8202
61.67/61.99	c GLOBAL bounds 2 >= 1 @ 59.8537
61.67/61.99	c GLOBAL bounds 2 >= 1 @ 59.855
61.79/62.03	c GLOBAL bounds 2 >= 1 @ 59.889
61.79/62.03	c GLOBAL bounds 2 >= 1 @ 59.8907
61.79/62.07	c GLOBAL bounds 2 >= 1 @ 59.9261
61.79/62.07	c GLOBAL bounds 2 >= 1 @ 59.9269
61.79/62.10	c GLOBAL bounds 2 >= 1 @ 59.9609
61.79/62.10	c GLOBAL bounds 2 >= 1 @ 59.9617
61.88/62.14	c GLOBAL bounds 2 >= 1 @ 59.9966
61.88/62.14	c GLOBAL bounds 2 >= 1 @ 59.9984
61.88/62.18	c GLOBAL bounds 2 >= 1 @ 60.0321
61.88/62.18	c GLOBAL bounds 2 >= 1 @ 60.0325
61.97/62.21	c GLOBAL bounds 2 >= 1 @ 60.0655
61.97/62.22	c GLOBAL bounds 2 >= 1 @ 60.0672
61.97/62.25	c GLOBAL bounds 2 >= 1 @ 60.1024
61.97/62.25	c GLOBAL bounds 2 >= 1 @ 60.1041
61.97/62.25	c GLOBAL bounds 2 >= 1 @ 60.1041
61.97/62.29	c GLOBAL bounds 2 >= 1 @ 60.1368
62.07/62.32	c GLOBAL bounds 2 >= 1 @ 60.169
62.07/62.32	c GLOBAL bounds 2 >= 1 @ 60.1708
62.07/62.36	c GLOBAL bounds 2 >= 1 @ 60.2057
62.07/62.36	c GLOBAL bounds 2 >= 1 @ 60.2065
62.17/62.40	c #Conflicts:      22000 | #Constraints:       5404
62.17/62.40	c GLOBAL bounds 2 >= 1 @ 60.2417
62.17/62.40	c GLOBAL bounds 2 >= 1 @ 60.2436
62.17/62.44	c GLOBAL bounds 2 >= 1 @ 60.2768
62.17/62.44	c GLOBAL bounds 2 >= 1 @ 60.2785
62.17/62.47	c GLOBAL bounds 2 >= 1 @ 60.3128
62.17/62.47	c GLOBAL bounds 2 >= 1 @ 60.3144
62.26/62.51	c GLOBAL bounds 2 >= 1 @ 60.3489
62.26/62.51	c GLOBAL bounds 2 >= 1 @ 60.3495
62.26/62.55	c GLOBAL bounds 2 >= 1 @ 60.3843
62.26/62.55	c GLOBAL bounds 2 >= 1 @ 60.3851
62.26/62.58	c GLOBAL bounds 2 >= 1 @ 60.4205
62.26/62.59	c GLOBAL bounds 2 >= 1 @ 60.4222
62.37/62.62	c GLOBAL bounds 2 >= 1 @ 60.4578
62.37/62.62	c GLOBAL bounds 2 >= 1 @ 60.4597
62.37/62.66	c GLOBAL bounds 2 >= 1 @ 60.4935
62.37/62.66	c GLOBAL bounds 2 >= 1 @ 60.4953
62.37/62.66	c GLOBAL bounds 2 >= 1 @ 60.4953
62.47/62.70	c GLOBAL bounds 2 >= 1 @ 60.5306
62.47/62.73	c GLOBAL bounds 2 >= 1 @ 60.5631
62.47/62.73	c GLOBAL bounds 2 >= 1 @ 60.5648
62.47/62.77	c GLOBAL bounds 2 >= 1 @ 60.6001
62.47/62.77	c GLOBAL bounds 2 >= 1 @ 60.6008
62.57/62.80	c GLOBAL bounds 2 >= 1 @ 60.6359
62.57/62.81	c GLOBAL bounds 2 >= 1 @ 60.6376
62.57/62.84	c GLOBAL bounds 2 >= 1 @ 60.6738
62.57/62.84	c GLOBAL bounds 2 >= 1 @ 60.6746
62.57/62.88	c GLOBAL bounds 2 >= 1 @ 60.7098
62.57/62.88	c GLOBAL bounds 2 >= 1 @ 60.7104
62.67/62.92	c GLOBAL bounds 2 >= 1 @ 60.7428
62.67/62.92	c GLOBAL bounds 2 >= 1 @ 60.7433
62.67/62.95	c GLOBAL bounds 2 >= 1 @ 60.7786
62.67/62.96	c GLOBAL bounds 2 >= 1 @ 60.7802
62.67/62.99	c GLOBAL bounds 2 >= 1 @ 60.8125
62.67/62.99	c GLOBAL bounds 2 >= 1 @ 60.813
62.78/63.03	c GLOBAL bounds 2 >= 1 @ 60.8469
62.78/63.03	c GLOBAL bounds 2 >= 1 @ 60.8476
62.78/63.06	c GLOBAL bounds 2 >= 1 @ 60.8793
62.78/63.07	c GLOBAL bounds 2 >= 1 @ 60.8798
62.78/63.07	c GLOBAL bounds 2 >= 1 @ 60.8798
62.78/63.10	c GLOBAL bounds 2 >= 1 @ 60.9152
62.88/63.14	c GLOBAL bounds 2 >= 1 @ 60.9477
62.88/63.14	c GLOBAL bounds 2 >= 1 @ 60.9495
62.88/63.17	c GLOBAL bounds 2 >= 1 @ 60.985
62.88/63.18	c GLOBAL bounds 2 >= 1 @ 60.9855
62.96/63.21	c GLOBAL bounds 2 >= 1 @ 61.0209
62.96/63.21	c GLOBAL bounds 2 >= 1 @ 61.0226
62.96/63.25	c GLOBAL bounds 2 >= 1 @ 61.0575
62.96/63.25	c GLOBAL bounds 2 >= 1 @ 61.0592
62.96/63.28	c GLOBAL bounds 2 >= 1 @ 61.091
62.96/63.29	c GLOBAL bounds 2 >= 1 @ 61.0917
63.07/63.32	c GLOBAL bounds 2 >= 1 @ 61.1257
63.07/63.32	c GLOBAL bounds 2 >= 1 @ 61.1271
63.07/63.36	c GLOBAL bounds 2 >= 1 @ 61.1613
63.07/63.36	c GLOBAL bounds 2 >= 1 @ 61.162
63.17/63.40	c GLOBAL bounds 2 >= 1 @ 61.196
63.17/63.40	c GLOBAL bounds 2 >= 1 @ 61.1979
63.17/63.44	c GLOBAL bounds 2 >= 1 @ 61.2308
63.17/63.44	c GLOBAL bounds 2 >= 1 @ 61.2326
63.17/63.47	c GLOBAL bounds 2 >= 1 @ 61.2654
63.17/63.47	c GLOBAL bounds 2 >= 1 @ 61.2667
63.17/63.47	c GLOBAL bounds 2 >= 1 @ 61.2667
63.26/63.51	c GLOBAL bounds 2 >= 1 @ 61.2995
63.26/63.54	c GLOBAL bounds 2 >= 1 @ 61.3314
63.26/63.54	c GLOBAL bounds 2 >= 1 @ 61.3322
63.26/63.58	c GLOBAL bounds 2 >= 1 @ 61.366
63.26/63.58	c GLOBAL bounds 2 >= 1 @ 61.3669
63.37/63.62	c GLOBAL bounds 2 >= 1 @ 61.4031
63.37/63.62	c GLOBAL bounds 2 >= 1 @ 61.4049
63.37/63.66	c GLOBAL bounds 2 >= 1 @ 61.4393
63.37/63.66	c GLOBAL bounds 2 >= 1 @ 61.4402
63.37/63.69	c GLOBAL bounds 2 >= 1 @ 61.4733
63.37/63.69	c GLOBAL bounds 2 >= 1 @ 61.475
63.46/63.73	c GLOBAL bounds 2 >= 1 @ 61.5108
63.46/63.73	c GLOBAL bounds 2 >= 1 @ 61.5124
63.46/63.77	c GLOBAL bounds 2 >= 1 @ 61.5448
63.46/63.77	c GLOBAL bounds 2 >= 1 @ 61.5465
63.56/63.80	c GLOBAL bounds 2 >= 1 @ 61.5802
63.56/63.80	c GLOBAL bounds 2 >= 1 @ 61.5808
63.56/63.84	c GLOBAL bounds 2 >= 1 @ 61.6127
63.56/63.84	c GLOBAL bounds 2 >= 1 @ 61.6137
63.56/63.88	c GLOBAL bounds 2 >= 1 @ 61.6488
63.56/63.88	c GLOBAL bounds 2 >= 1 @ 61.6497
63.56/63.88	c GLOBAL bounds 2 >= 1 @ 61.6497
63.66/63.91	c GLOBAL bounds 2 >= 1 @ 61.6854
63.66/63.95	c GLOBAL bounds 2 >= 1 @ 61.7185
63.66/63.95	c GLOBAL bounds 2 >= 1 @ 61.7202
63.66/63.98	c GLOBAL bounds 2 >= 1 @ 61.754
63.66/63.99	c GLOBAL bounds 2 >= 1 @ 61.7553
63.78/64.02	c GLOBAL bounds 2 >= 1 @ 61.7905
63.78/64.02	c GLOBAL bounds 2 >= 1 @ 61.7912
63.78/64.06	c GLOBAL bounds 2 >= 1 @ 61.8244
63.78/64.06	c GLOBAL bounds 2 >= 1 @ 61.8261
63.78/64.10	c GLOBAL bounds 2 >= 1 @ 61.861
63.78/64.10	c GLOBAL bounds 2 >= 1 @ 61.8618
63.88/64.14	c GLOBAL bounds 2 >= 1 @ 61.8982
63.88/64.14	c GLOBAL bounds 2 >= 1 @ 61.8999
63.88/64.17	c GLOBAL bounds 2 >= 1 @ 61.9347
63.88/64.17	c GLOBAL bounds 2 >= 1 @ 61.9364
63.96/64.21	c GLOBAL bounds 2 >= 1 @ 61.9707
63.96/64.21	c GLOBAL bounds 2 >= 1 @ 61.9724
63.96/64.25	c GLOBAL bounds 2 >= 1 @ 62.0067
63.96/64.25	c GLOBAL bounds 2 >= 1 @ 62.0084
63.96/64.28	c GLOBAL bounds 2 >= 1 @ 62.0432
63.96/64.29	c GLOBAL bounds 2 >= 1 @ 62.0439
63.96/64.29	c GLOBAL bounds 2 >= 1 @ 62.0439
64.06/64.32	c GLOBAL bounds 2 >= 1 @ 62.0783
64.06/64.36	c GLOBAL bounds 2 >= 1 @ 62.1121
64.06/64.36	c GLOBAL bounds 2 >= 1 @ 62.1128
64.06/64.39	c GLOBAL bounds 2 >= 1 @ 62.1463
64.06/64.39	c GLOBAL bounds 2 >= 1 @ 62.1479
64.17/64.43	c GLOBAL bounds 2 >= 1 @ 62.1829
64.17/64.43	c GLOBAL bounds 2 >= 1 @ 62.1847
64.17/64.47	c GLOBAL bounds 2 >= 1 @ 62.2188
64.17/64.47	c GLOBAL bounds 2 >= 1 @ 62.2196
64.26/64.50	c GLOBAL bounds 2 >= 1 @ 62.2547
64.26/64.51	c GLOBAL bounds 2 >= 1 @ 62.2564
64.26/64.54	c GLOBAL bounds 2 >= 1 @ 62.291
64.26/64.54	c GLOBAL bounds 2 >= 1 @ 62.2917
64.26/64.58	c GLOBAL bounds 2 >= 1 @ 62.324
64.26/64.58	c GLOBAL bounds 2 >= 1 @ 62.3247
64.36/64.61	c GLOBAL bounds 2 >= 1 @ 62.3587
64.36/64.61	c GLOBAL bounds 2 >= 1 @ 62.3603
64.36/64.65	c GLOBAL bounds 2 >= 1 @ 62.3944
64.36/64.65	c GLOBAL bounds 2 >= 1 @ 62.3962
64.36/64.69	c GLOBAL bounds 2 >= 1 @ 62.4302
64.36/64.69	c GLOBAL bounds 2 >= 1 @ 62.4318
64.36/64.69	c GLOBAL bounds 2 >= 1 @ 62.4319
64.46/64.73	c GLOBAL bounds 2 >= 1 @ 62.4665
64.46/64.76	c GLOBAL bounds 2 >= 1 @ 62.4993
64.46/64.76	c GLOBAL bounds 2 >= 1 @ 62.5011
64.46/64.80	c GLOBAL bounds 2 >= 1 @ 62.5341
64.56/64.80	c GLOBAL bounds 2 >= 1 @ 62.5358
64.56/64.83	c GLOBAL bounds 2 >= 1 @ 62.5701
64.56/64.83	c GLOBAL bounds 2 >= 1 @ 62.5718
64.56/64.87	c GLOBAL bounds 2 >= 1 @ 62.6085
64.56/64.87	c GLOBAL bounds 2 >= 1 @ 62.6098
64.66/64.91	c GLOBAL bounds 2 >= 1 @ 62.6443
64.66/64.91	c GLOBAL bounds 2 >= 1 @ 62.6457
64.66/64.95	c GLOBAL bounds 2 >= 1 @ 62.6785
64.66/64.95	c GLOBAL bounds 2 >= 1 @ 62.6825
64.66/64.99	c GLOBAL bounds 2 >= 1 @ 62.7197
64.66/64.99	c GLOBAL bounds 2 >= 1 @ 62.7203
64.77/65.03	c GLOBAL bounds 2 >= 1 @ 62.7569
64.77/65.03	c GLOBAL bounds 2 >= 1 @ 62.7578
64.77/65.07	c GLOBAL bounds 2 >= 1 @ 62.7952
64.77/65.07	c GLOBAL bounds 2 >= 1 @ 62.797
64.87/65.11	c GLOBAL bounds 2 >= 1 @ 62.8345
64.87/65.11	c GLOBAL bounds 2 >= 1 @ 62.8358
64.87/65.11	c GLOBAL bounds 2 >= 1 @ 62.8358
64.87/65.15	c GLOBAL bounds 2 >= 1 @ 62.872
64.87/65.18	c GLOBAL bounds 2 >= 1 @ 62.9033
64.87/65.19	c GLOBAL bounds 2 >= 1 @ 62.9052
64.96/65.22	c GLOBAL bounds 2 >= 1 @ 62.94
64.96/65.22	c GLOBAL bounds 2 >= 1 @ 62.9405
64.96/65.26	c GLOBAL bounds 2 >= 1 @ 62.974
64.96/65.26	c GLOBAL bounds 2 >= 1 @ 62.9757
65.06/65.30	c GLOBAL bounds 2 >= 1 @ 63.0118
65.06/65.30	c GLOBAL bounds 2 >= 1 @ 63.0135
65.06/65.33	c GLOBAL bounds 2 >= 1 @ 63.0485
65.06/65.34	c GLOBAL bounds 2 >= 1 @ 63.0503
65.06/65.37	c GLOBAL bounds 2 >= 1 @ 63.0847
65.06/65.37	c GLOBAL bounds 2 >= 1 @ 63.086
65.16/65.41	c GLOBAL bounds 2 >= 1 @ 63.1197
65.16/65.41	c GLOBAL bounds 2 >= 1 @ 63.1215
65.16/65.45	c GLOBAL bounds 2 >= 1 @ 63.1586
65.16/65.45	c GLOBAL bounds 2 >= 1 @ 63.1604
65.16/65.49	c GLOBAL bounds 2 >= 1 @ 63.1977
65.16/65.49	c GLOBAL bounds 2 >= 1 @ 63.1986
65.26/65.52	c GLOBAL bounds 2 >= 1 @ 63.2312
65.26/65.53	c GLOBAL bounds 2 >= 1 @ 63.2314
65.26/65.53	c GLOBAL bounds 2 >= 1 @ 63.2314
65.26/65.56	c GLOBAL bounds 2 >= 1 @ 63.2656
65.26/65.59	c GLOBAL bounds 2 >= 1 @ 63.2991
65.36/65.60	c GLOBAL bounds 2 >= 1 @ 63.2992
65.36/65.63	c GLOBAL bounds 2 >= 1 @ 63.3336
65.36/65.63	c GLOBAL bounds 2 >= 1 @ 63.3343
65.36/65.67	c GLOBAL bounds 2 >= 1 @ 63.3689
65.36/65.67	c GLOBAL bounds 2 >= 1 @ 63.3697
65.46/65.70	c GLOBAL bounds 2 >= 1 @ 63.4043
65.46/65.71	c GLOBAL bounds 2 >= 1 @ 63.406
65.46/65.74	c GLOBAL bounds 2 >= 1 @ 63.4396
65.46/65.74	c GLOBAL bounds 2 >= 1 @ 63.4398
65.46/65.78	c GLOBAL bounds 2 >= 1 @ 63.473
65.46/65.78	c GLOBAL bounds 2 >= 1 @ 63.4737
65.56/65.81	c GLOBAL bounds 2 >= 1 @ 63.505
65.56/65.82	c GLOBAL bounds 2 >= 1 @ 63.5056
65.56/65.85	c GLOBAL bounds 2 >= 1 @ 63.538
65.56/65.85	c GLOBAL bounds 2 >= 1 @ 63.5387
65.56/65.89	c GLOBAL bounds 2 >= 1 @ 63.5743
65.56/65.89	c GLOBAL bounds 2 >= 1 @ 63.576
65.66/65.93	c GLOBAL bounds 2 >= 1 @ 63.6104
65.66/65.93	c GLOBAL bounds 2 >= 1 @ 63.6121
65.66/65.93	c GLOBAL bounds 2 >= 1 @ 63.6122
65.66/65.97	c GLOBAL bounds 2 >= 1 @ 63.6461
65.66/66.00	c GLOBAL bounds 2 >= 1 @ 63.6755
65.66/66.00	c GLOBAL bounds 2 >= 1 @ 63.6761
65.77/66.03	c GLOBAL bounds 2 >= 1 @ 63.7078
65.77/66.04	c GLOBAL bounds 2 >= 1 @ 63.7086
65.77/66.07	c GLOBAL bounds 2 >= 1 @ 63.7435
65.77/66.07	c GLOBAL bounds 2 >= 1 @ 63.7452
65.87/66.11	c GLOBAL bounds 2 >= 1 @ 63.7831
65.87/66.11	c GLOBAL bounds 2 >= 1 @ 63.7847
65.87/66.15	c GLOBAL bounds 2 >= 1 @ 63.8203
65.87/66.15	c GLOBAL bounds 2 >= 1 @ 63.8216
65.87/66.19	c GLOBAL bounds 2 >= 1 @ 63.8566
65.87/66.19	c GLOBAL bounds 2 >= 1 @ 63.8583
65.96/66.23	c GLOBAL bounds 2 >= 1 @ 63.8933
65.96/66.23	c GLOBAL bounds 2 >= 1 @ 63.8941
65.96/66.26	c GLOBAL bounds 2 >= 1 @ 63.93
65.96/66.26	c GLOBAL bounds 2 >= 1 @ 63.9313
66.06/66.30	c GLOBAL bounds 2 >= 1 @ 63.9636
66.06/66.30	c GLOBAL bounds 2 >= 1 @ 63.9652
66.06/66.34	c GLOBAL bounds 2 >= 1 @ 63.9999
66.06/66.34	c GLOBAL bounds 2 >= 1 @ 64.0017
66.06/66.34	c GLOBAL bounds 2 >= 1 @ 64.0017
66.06/66.38	c GLOBAL bounds 2 >= 1 @ 64.037
66.15/66.41	c GLOBAL bounds 2 >= 1 @ 64.0695
66.15/66.41	c GLOBAL bounds 2 >= 1 @ 64.0714
66.15/66.45	c GLOBAL bounds 2 >= 1 @ 64.1067
66.15/66.45	c GLOBAL bounds 2 >= 1 @ 64.1075
66.15/66.48	c GLOBAL bounds 2 >= 1 @ 64.1427
66.15/66.48	c GLOBAL bounds 2 >= 1 @ 64.1444
66.25/66.52	c GLOBAL bounds 2 >= 1 @ 64.1797
66.25/66.52	c GLOBAL bounds 2 >= 1 @ 64.1815
66.25/66.56	c GLOBAL bounds 2 >= 1 @ 64.2165
66.25/66.56	c GLOBAL bounds 2 >= 1 @ 64.2173
66.25/66.60	c GLOBAL bounds 2 >= 1 @ 64.2529
66.36/66.60	c GLOBAL bounds 2 >= 1 @ 64.2534
66.36/66.63	c GLOBAL bounds 2 >= 1 @ 64.2878
66.36/66.63	c GLOBAL bounds 2 >= 1 @ 64.2893
66.36/66.67	c GLOBAL bounds 2 >= 1 @ 64.3229
66.36/66.67	c GLOBAL bounds 2 >= 1 @ 64.3242
66.45/66.71	c GLOBAL bounds 2 >= 1 @ 64.3572
66.45/66.71	c GLOBAL bounds 2 >= 1 @ 64.359
66.45/66.74	c GLOBAL bounds 2 >= 1 @ 64.3937
66.45/66.75	c GLOBAL bounds 2 >= 1 @ 64.395
66.45/66.75	c GLOBAL bounds 2 >= 1 @ 64.395
66.45/66.78	c GLOBAL bounds 2 >= 1 @ 64.4301
66.56/66.81	c GLOBAL bounds 2 >= 1 @ 64.4615
66.56/66.82	c GLOBAL bounds 2 >= 1 @ 64.4633
66.56/66.85	c GLOBAL bounds 2 >= 1 @ 64.4971
66.56/66.85	c GLOBAL bounds 2 >= 1 @ 64.4986
66.56/66.89	c GLOBAL bounds 2 >= 1 @ 64.5331
66.56/66.89	c GLOBAL bounds 2 >= 1 @ 64.5349
66.66/66.93	c GLOBAL bounds 2 >= 1 @ 64.5697
66.66/66.93	c GLOBAL bounds 2 >= 1 @ 64.5714
66.66/66.97	c GLOBAL bounds 2 >= 1 @ 64.6066
66.66/66.97	c GLOBAL bounds 2 >= 1 @ 64.6083
66.66/67.01	c GLOBAL bounds 2 >= 1 @ 64.6462
66.66/67.01	c GLOBAL bounds 2 >= 1 @ 64.6469
66.77/67.04	c GLOBAL bounds 2 >= 1 @ 64.6837
66.77/67.05	c GLOBAL bounds 2 >= 1 @ 64.6851
66.77/67.08	c GLOBAL bounds 2 >= 1 @ 64.7204
66.77/67.08	c GLOBAL bounds 2 >= 1 @ 64.722
66.87/67.12	c GLOBAL bounds 2 >= 1 @ 64.7548
66.87/67.12	c GLOBAL bounds 2 >= 1 @ 64.7565
66.87/67.16	c GLOBAL bounds 2 >= 1 @ 64.7899
66.87/67.16	c GLOBAL bounds 2 >= 1 @ 64.7916
66.87/67.16	c GLOBAL bounds 2 >= 1 @ 64.7916
66.87/67.20	c GLOBAL bounds 2 >= 1 @ 64.8275
66.96/67.23	c GLOBAL bounds 2 >= 1 @ 64.8597
66.96/67.23	c GLOBAL bounds 2 >= 1 @ 64.8613
66.96/67.27	c GLOBAL bounds 2 >= 1 @ 64.8964
66.96/67.27	c GLOBAL bounds 2 >= 1 @ 64.8981
67.05/67.30	c GLOBAL bounds 2 >= 1 @ 64.9296
67.05/67.30	c GLOBAL bounds 2 >= 1 @ 64.9313
67.05/67.34	c GLOBAL bounds 2 >= 1 @ 64.9667
67.05/67.34	c GLOBAL bounds 2 >= 1 @ 64.9685
67.05/67.38	c GLOBAL bounds 2 >= 1 @ 65.0034
67.05/67.38	c GLOBAL bounds 2 >= 1 @ 65.0041
67.16/67.42	c GLOBAL bounds 2 >= 1 @ 65.0392
67.16/67.42	c GLOBAL bounds 2 >= 1 @ 65.0408
67.16/67.45	c GLOBAL bounds 2 >= 1 @ 65.0774
67.16/67.46	c GLOBAL bounds 2 >= 1 @ 65.0789
67.16/67.49	c GLOBAL bounds 2 >= 1 @ 65.1124
67.16/67.49	c GLOBAL bounds 2 >= 1 @ 65.113
67.25/67.53	c GLOBAL bounds 2 >= 1 @ 65.1465
67.25/67.53	c GLOBAL bounds 2 >= 1 @ 65.1473
67.25/67.57	c GLOBAL bounds 2 >= 1 @ 65.1833
67.25/67.57	c GLOBAL bounds 2 >= 1 @ 65.1845
67.25/67.57	c GLOBAL bounds 2 >= 1 @ 65.1845
67.36/67.60	c GLOBAL bounds 2 >= 1 @ 65.219
67.36/67.64	c GLOBAL bounds 2 >= 1 @ 65.2497
67.36/67.64	c GLOBAL bounds 2 >= 1 @ 65.2513
67.36/67.67	c GLOBAL bounds 2 >= 1 @ 65.2849
67.36/67.68	c GLOBAL bounds 2 >= 1 @ 65.2862
67.45/67.71	c GLOBAL bounds 2 >= 1 @ 65.3207
67.45/67.71	c GLOBAL bounds 2 >= 1 @ 65.3221
67.45/67.75	c GLOBAL bounds 2 >= 1 @ 65.3561
67.45/67.75	c GLOBAL bounds 2 >= 1 @ 65.3576
67.45/67.78	c GLOBAL bounds 2 >= 1 @ 65.3908
67.45/67.78	c GLOBAL bounds 2 >= 1 @ 65.3909
67.55/67.82	c GLOBAL bounds 2 >= 1 @ 65.4262
67.55/67.82	c GLOBAL bounds 2 >= 1 @ 65.4269
67.55/67.86	c GLOBAL bounds 2 >= 1 @ 65.4605
67.55/67.86	c GLOBAL bounds 2 >= 1 @ 65.4622
67.66/67.90	c GLOBAL bounds 2 >= 1 @ 65.4981
67.66/67.90	c GLOBAL bounds 2 >= 1 @ 65.4995
67.66/67.93	c GLOBAL bounds 2 >= 1 @ 65.5336
67.66/67.94	c GLOBAL bounds 2 >= 1 @ 65.5352
67.66/67.97	c GLOBAL bounds 2 >= 1 @ 65.5706
67.66/67.97	c GLOBAL bounds 2 >= 1 @ 65.5721
67.66/67.97	c GLOBAL bounds 2 >= 1 @ 65.5721
67.76/68.01	c GLOBAL bounds 2 >= 1 @ 65.6051
67.76/68.04	c GLOBAL bounds 2 >= 1 @ 65.6372
67.76/68.05	c GLOBAL bounds 2 >= 1 @ 65.6389
67.76/68.08	c GLOBAL bounds 2 >= 1 @ 65.6729
67.76/68.08	c GLOBAL bounds 2 >= 1 @ 65.6747
67.87/68.12	c GLOBAL bounds 2 >= 1 @ 65.7112
67.87/68.12	c GLOBAL bounds 2 >= 1 @ 65.7127
67.87/68.16	c GLOBAL bounds 2 >= 1 @ 65.7489
67.87/68.16	c GLOBAL bounds 2 >= 1 @ 65.7496
67.95/68.20	c GLOBAL bounds 2 >= 1 @ 65.7851
67.95/68.20	c GLOBAL bounds 2 >= 1 @ 65.7864
67.95/68.24	c GLOBAL bounds 2 >= 1 @ 65.8254
67.95/68.24	c GLOBAL bounds 2 >= 1 @ 65.8272
67.95/68.28	c GLOBAL bounds 2 >= 1 @ 65.8638
67.95/68.28	c GLOBAL bounds 2 >= 1 @ 65.8652
68.05/68.32	c GLOBAL bounds 2 >= 1 @ 65.9025
68.05/68.32	c GLOBAL bounds 2 >= 1 @ 65.9041
68.05/68.36	c GLOBAL bounds 2 >= 1 @ 65.9419
68.05/68.36	c GLOBAL bounds 2 >= 1 @ 65.9426
68.15/68.40	c GLOBAL bounds 2 >= 1 @ 65.9816
68.15/68.40	c GLOBAL bounds 2 >= 1 @ 65.9828
68.15/68.40	c GLOBAL bounds 2 >= 1 @ 65.9828
68.15/68.44	c GLOBAL bounds 2 >= 1 @ 66.0213
68.15/68.48	c GLOBAL bounds 2 >= 1 @ 66.0559
68.15/68.48	c GLOBAL bounds 2 >= 1 @ 66.0575
68.25/68.52	c GLOBAL bounds 2 >= 1 @ 66.0949
68.25/68.52	c GLOBAL bounds 2 >= 1 @ 66.0964
68.25/68.56	c GLOBAL bounds 2 >= 1 @ 66.1328
68.25/68.56	c GLOBAL bounds 2 >= 1 @ 66.1342
68.35/68.60	c GLOBAL bounds 2 >= 1 @ 66.1719
68.35/68.60	c GLOBAL bounds 2 >= 1 @ 66.1732
68.35/68.64	c GLOBAL bounds 2 >= 1 @ 66.2121
68.35/68.64	c GLOBAL bounds 2 >= 1 @ 66.2128
68.35/68.68	c GLOBAL bounds 2 >= 1 @ 66.251
68.35/68.69	c GLOBAL bounds 2 >= 1 @ 66.2517
68.45/68.72	c GLOBAL bounds 2 >= 1 @ 66.2891
68.45/68.73	c GLOBAL bounds 2 >= 1 @ 66.2908
68.45/68.76	c GLOBAL bounds 2 >= 1 @ 66.3277
68.45/68.77	c GLOBAL bounds 2 >= 1 @ 66.3284
68.55/68.80	c GLOBAL bounds 2 >= 1 @ 66.3639
68.55/68.81	c GLOBAL bounds 2 >= 1 @ 66.3655
68.55/68.84	c GLOBAL bounds 2 >= 1 @ 66.4045
68.55/68.85	c GLOBAL bounds 2 >= 1 @ 66.4061
68.55/68.85	c GLOBAL bounds 2 >= 1 @ 66.4062
68.55/68.88	c GLOBAL bounds 2 >= 1 @ 66.4438
68.65/68.92	c GLOBAL bounds 2 >= 1 @ 66.4804
68.65/68.92	c GLOBAL bounds 2 >= 1 @ 66.482
68.65/68.96	c GLOBAL bounds 2 >= 1 @ 66.5178
68.65/68.96	c GLOBAL bounds 2 >= 1 @ 66.5192
68.65/69.00	c GLOBAL bounds 2 >= 1 @ 66.5574
68.65/69.00	c GLOBAL bounds 2 >= 1 @ 66.5591
68.76/69.04	c GLOBAL bounds 2 >= 1 @ 66.5971
68.76/69.04	c GLOBAL bounds 2 >= 1 @ 66.5979
68.76/69.08	c GLOBAL bounds 2 >= 1 @ 66.6343
68.76/69.08	c GLOBAL bounds 2 >= 1 @ 66.6359
68.87/69.12	c GLOBAL bounds 2 >= 1 @ 66.671
68.87/69.13	c GLOBAL bounds 2 >= 1 @ 66.6763
68.87/69.17	c GLOBAL bounds 2 >= 1 @ 66.7143
68.87/69.17	c GLOBAL bounds 2 >= 1 @ 66.7159
68.95/69.21	c GLOBAL bounds 2 >= 1 @ 66.7527
68.95/69.21	c GLOBAL bounds 2 >= 1 @ 66.7543
68.95/69.25	c GLOBAL bounds 2 >= 1 @ 66.7921
68.95/69.25	c GLOBAL bounds 2 >= 1 @ 66.7928
68.95/69.29	c GLOBAL bounds 2 >= 1 @ 66.8316
68.95/69.29	c GLOBAL bounds 2 >= 1 @ 66.8321
68.95/69.29	c GLOBAL bounds 2 >= 1 @ 66.8321
69.04/69.33	c GLOBAL bounds 2 >= 1 @ 66.871
69.04/69.37	c GLOBAL bounds 2 >= 1 @ 66.9043
69.04/69.37	c GLOBAL bounds 2 >= 1 @ 66.9048
69.14/69.41	c GLOBAL bounds 2 >= 1 @ 66.9413
69.14/69.41	c GLOBAL bounds 2 >= 1 @ 66.943
69.14/69.45	c GLOBAL bounds 2 >= 1 @ 66.9814
69.14/69.45	c GLOBAL bounds 2 >= 1 @ 66.9826
69.14/69.49	c GLOBAL bounds 2 >= 1 @ 67.0189
69.14/69.49	c GLOBAL bounds 2 >= 1 @ 67.0206
69.25/69.53	c GLOBAL bounds 2 >= 1 @ 67.0594
69.25/69.53	c GLOBAL bounds 2 >= 1 @ 67.0611
69.25/69.58	c GLOBAL bounds 2 >= 1 @ 67.1021
69.25/69.58	c GLOBAL bounds 2 >= 1 @ 67.1033
69.35/69.61	c GLOBAL bounds 2 >= 1 @ 67.1408
69.35/69.62	c GLOBAL bounds 2 >= 1 @ 67.1424
69.35/69.65	c GLOBAL bounds 2 >= 1 @ 67.1794
69.35/69.66	c GLOBAL bounds 2 >= 1 @ 67.1801
69.35/69.70	c GLOBAL bounds 2 >= 1 @ 67.2185
69.45/69.70	c GLOBAL bounds 2 >= 1 @ 67.2189
69.45/69.74	c GLOBAL bounds 2 >= 1 @ 67.2541
69.45/69.74	c GLOBAL bounds 2 >= 1 @ 67.2557
69.45/69.74	c GLOBAL bounds 2 >= 1 @ 67.2558
69.45/69.78	c GLOBAL bounds 2 >= 1 @ 67.2924
69.55/69.81	c GLOBAL bounds 2 >= 1 @ 67.3269
69.55/69.81	c GLOBAL bounds 2 >= 1 @ 67.3285
69.55/69.85	c GLOBAL bounds 2 >= 1 @ 67.3623
69.55/69.85	c GLOBAL bounds 2 >= 1 @ 67.3635
69.55/69.89	c GLOBAL bounds 2 >= 1 @ 67.4015
69.55/69.89	c GLOBAL bounds 2 >= 1 @ 67.4032
69.64/69.93	c GLOBAL bounds 2 >= 1 @ 67.4412
69.64/69.93	c GLOBAL bounds 2 >= 1 @ 67.4419
69.64/69.97	c GLOBAL bounds 2 >= 1 @ 67.4809
69.64/69.97	c GLOBAL bounds 2 >= 1 @ 67.4821
69.75/70.01	c GLOBAL bounds 2 >= 1 @ 67.5209
69.75/70.01	c GLOBAL bounds 2 >= 1 @ 67.5216
69.75/70.05	c GLOBAL bounds 2 >= 1 @ 67.5591
69.75/70.06	c GLOBAL bounds 2 >= 1 @ 67.5608
69.75/70.09	c GLOBAL bounds 2 >= 1 @ 67.5972
69.75/70.10	c GLOBAL bounds 2 >= 1 @ 67.5988
69.86/70.13	c GLOBAL bounds 2 >= 1 @ 67.6368
69.86/70.13	c GLOBAL bounds 2 >= 1 @ 67.6385
69.86/70.17	c GLOBAL bounds 2 >= 1 @ 67.6755
69.86/70.17	c GLOBAL bounds 2 >= 1 @ 67.6772
69.86/70.17	c GLOBAL bounds 2 >= 1 @ 67.6772
69.95/70.21	c GLOBAL bounds 2 >= 1 @ 67.7161
69.95/70.25	c GLOBAL bounds 2 >= 1 @ 67.7517
69.95/70.25	c GLOBAL bounds 2 >= 1 @ 67.7533
69.95/70.29	c GLOBAL bounds 2 >= 1 @ 67.7901
69.95/70.29	c GLOBAL bounds 2 >= 1 @ 67.7908
70.04/70.33	c GLOBAL bounds 2 >= 1 @ 67.8298
70.04/70.33	c GLOBAL bounds 2 >= 1 @ 67.8311
70.04/70.37	c GLOBAL bounds 2 >= 1 @ 67.8671
70.04/70.37	c GLOBAL bounds 2 >= 1 @ 67.8687
70.14/70.41	c GLOBAL bounds 2 >= 1 @ 67.9056
70.14/70.41	c GLOBAL bounds 2 >= 1 @ 67.9073
70.14/70.45	c GLOBAL bounds 2 >= 1 @ 67.9456
70.14/70.45	c GLOBAL bounds 2 >= 1 @ 67.9473
70.14/70.49	c GLOBAL bounds 2 >= 1 @ 67.9857
70.14/70.49	c GLOBAL bounds 2 >= 1 @ 67.9874
70.25/70.53	c GLOBAL bounds 2 >= 1 @ 68.0254
70.25/70.54	c GLOBAL bounds 2 >= 1 @ 68.0271
70.25/70.58	c GLOBAL bounds 2 >= 1 @ 68.0651
70.25/70.58	c GLOBAL bounds 2 >= 1 @ 68.0668
70.34/70.62	c GLOBAL bounds 2 >= 1 @ 68.1054
70.34/70.62	c GLOBAL bounds 2 >= 1 @ 68.107
70.34/70.62	c GLOBAL bounds 2 >= 1 @ 68.1071
70.34/70.66	c GLOBAL bounds 2 >= 1 @ 68.1438
70.34/70.69	c GLOBAL bounds 2 >= 1 @ 68.1776
70.34/70.70	c GLOBAL bounds 2 >= 1 @ 68.1788
70.45/70.73	c GLOBAL bounds 2 >= 1 @ 68.216
70.45/70.74	c GLOBAL bounds 2 >= 1 @ 68.2168
70.45/70.77	c GLOBAL bounds 2 >= 1 @ 68.2548
70.45/70.78	c GLOBAL bounds 2 >= 1 @ 68.2565
70.54/70.81	c GLOBAL bounds 2 >= 1 @ 68.295
70.54/70.82	c GLOBAL bounds 2 >= 1 @ 68.2964
70.54/70.85	c GLOBAL bounds 2 >= 1 @ 68.334
70.54/70.86	c GLOBAL bounds 2 >= 1 @ 68.3353
70.54/70.90	c GLOBAL bounds 2 >= 1 @ 68.3725
70.64/70.90	c GLOBAL bounds 2 >= 1 @ 68.3742
70.64/70.94	c GLOBAL bounds 2 >= 1 @ 68.4129
70.64/70.94	c GLOBAL bounds 2 >= 1 @ 68.4145
70.64/70.98	c GLOBAL bounds 2 >= 1 @ 68.4522
70.64/70.98	c GLOBAL bounds 2 >= 1 @ 68.4538
70.76/71.02	c GLOBAL bounds 2 >= 1 @ 68.4919
70.76/71.02	c GLOBAL bounds 2 >= 1 @ 68.4936
70.76/71.06	c GLOBAL bounds 2 >= 1 @ 68.5324
70.76/71.06	c GLOBAL bounds 2 >= 1 @ 68.5338
70.76/71.06	c GLOBAL bounds 2 >= 1 @ 68.5338
70.76/71.10	c GLOBAL bounds 2 >= 1 @ 68.5718
70.86/71.14	c GLOBAL bounds 2 >= 1 @ 68.6055
70.86/71.14	c GLOBAL bounds 2 >= 1 @ 68.6064
70.86/71.18	c GLOBAL bounds 2 >= 1 @ 68.6449
70.86/71.18	c GLOBAL bounds 2 >= 1 @ 68.6455
70.94/71.22	c GLOBAL bounds 2 >= 1 @ 68.6837
70.94/71.22	c GLOBAL bounds 2 >= 1 @ 68.6852
70.94/71.26	c GLOBAL bounds 2 >= 1 @ 68.7217
70.94/71.26	c GLOBAL bounds 2 >= 1 @ 68.7231
71.05/71.30	c GLOBAL bounds 2 >= 1 @ 68.761
71.05/71.30	c GLOBAL bounds 2 >= 1 @ 68.7627
71.05/71.34	c GLOBAL bounds 2 >= 1 @ 68.8014
71.05/71.34	c GLOBAL bounds 2 >= 1 @ 68.8028
71.05/71.38	c GLOBAL bounds 2 >= 1 @ 68.8402
71.05/71.38	c GLOBAL bounds 2 >= 1 @ 68.8417
71.14/71.42	c GLOBAL bounds 2 >= 1 @ 68.8796
71.14/71.42	c GLOBAL bounds 2 >= 1 @ 68.8812
71.14/71.46	c GLOBAL bounds 2 >= 1 @ 68.9182
71.14/71.46	c GLOBAL bounds 2 >= 1 @ 68.9196
71.24/71.50	c GLOBAL bounds 2 >= 1 @ 68.9565
71.24/71.50	c GLOBAL bounds 2 >= 1 @ 68.9581
71.24/71.50	c GLOBAL bounds 2 >= 1 @ 68.9581
71.24/71.54	c GLOBAL bounds 2 >= 1 @ 68.995
71.24/71.58	c GLOBAL bounds 2 >= 1 @ 69.0288
71.24/71.58	c GLOBAL bounds 2 >= 1 @ 69.0293
71.34/71.62	c GLOBAL bounds 2 >= 1 @ 69.0666
71.34/71.62	c GLOBAL bounds 2 >= 1 @ 69.0682
71.34/71.66	c GLOBAL bounds 2 >= 1 @ 69.1036
71.34/71.66	c GLOBAL bounds 2 >= 1 @ 69.1052
71.44/71.70	c GLOBAL bounds 2 >= 1 @ 69.1403
71.44/71.70	c GLOBAL bounds 2 >= 1 @ 69.1419
71.44/71.74	c GLOBAL bounds 2 >= 1 @ 69.1788
71.44/71.74	c GLOBAL bounds 2 >= 1 @ 69.1804
71.44/71.78	c GLOBAL bounds 2 >= 1 @ 69.2188
71.44/71.78	c GLOBAL bounds 2 >= 1 @ 69.2204
71.54/71.82	c GLOBAL bounds 2 >= 1 @ 69.2584
71.54/71.82	c GLOBAL bounds 2 >= 1 @ 69.2595
71.54/71.86	c GLOBAL bounds 2 >= 1 @ 69.2983
71.54/71.86	c GLOBAL bounds 2 >= 1 @ 69.299
71.64/71.90	c GLOBAL bounds 2 >= 1 @ 69.3375
71.64/71.91	c GLOBAL bounds 2 >= 1 @ 69.3391
71.64/71.95	c GLOBAL bounds 2 >= 1 @ 69.3781
71.64/71.95	c GLOBAL bounds 2 >= 1 @ 69.3788
71.64/71.95	c GLOBAL bounds 2 >= 1 @ 69.3788
71.64/71.99	c GLOBAL bounds 2 >= 1 @ 69.4166
71.76/72.02	c GLOBAL bounds 2 >= 1 @ 69.452
71.76/72.02	c GLOBAL bounds 2 >= 1 @ 69.4527
71.76/72.06	c GLOBAL bounds 2 >= 1 @ 69.49
71.76/72.06	c GLOBAL bounds 2 >= 1 @ 69.4916
71.76/72.10	c GLOBAL bounds 2 >= 1 @ 69.5312
71.76/72.11	c GLOBAL bounds 2 >= 1 @ 69.5318
71.85/72.14	c GLOBAL bounds 2 >= 1 @ 69.5707
71.85/72.15	c GLOBAL bounds 2 >= 1 @ 69.5722
71.85/72.18	c GLOBAL bounds 2 >= 1 @ 69.609
71.85/72.19	c GLOBAL bounds 2 >= 1 @ 69.6095
71.94/72.22	c GLOBAL bounds 2 >= 1 @ 69.646
71.94/72.23	c GLOBAL bounds 2 >= 1 @ 69.6475
71.94/72.26	c GLOBAL bounds 2 >= 1 @ 69.6857
71.94/72.27	c GLOBAL bounds 2 >= 1 @ 69.6872
72.04/72.30	c GLOBAL bounds 2 >= 1 @ 69.7219
72.04/72.31	c GLOBAL bounds 2 >= 1 @ 69.7234
72.04/72.34	c GLOBAL bounds 2 >= 1 @ 69.7615
72.04/72.35	c GLOBAL bounds 2 >= 1 @ 69.7631
72.04/72.39	c GLOBAL bounds 2 >= 1 @ 69.8021
72.04/72.39	c GLOBAL bounds 2 >= 1 @ 69.8036
72.04/72.39	c GLOBAL bounds 2 >= 1 @ 69.8036
72.14/72.43	c GLOBAL bounds 2 >= 1 @ 69.8402
72.14/72.46	c GLOBAL bounds 2 >= 1 @ 69.8739
72.14/72.46	c GLOBAL bounds 2 >= 1 @ 69.8754
72.23/72.50	c GLOBAL bounds 2 >= 1 @ 69.9136
72.23/72.50	c GLOBAL bounds 2 >= 1 @ 69.9151
72.23/72.54	c GLOBAL bounds 2 >= 1 @ 69.9521
72.23/72.55	c GLOBAL bounds 2 >= 1 @ 69.9525
72.23/72.58	c GLOBAL bounds 2 >= 1 @ 69.9884
72.23/72.58	c GLOBAL bounds 2 >= 1 @ 69.9899
72.34/72.62	c GLOBAL bounds 2 >= 1 @ 70.0262
72.34/72.62	c GLOBAL bounds 2 >= 1 @ 70.0273
72.34/72.66	c GLOBAL bounds 2 >= 1 @ 70.0669
72.34/72.67	c GLOBAL bounds 2 >= 1 @ 70.0682
72.43/72.71	c GLOBAL bounds 2 >= 1 @ 70.1071
72.43/72.71	c GLOBAL bounds 2 >= 1 @ 70.1086
72.43/72.75	c GLOBAL bounds 2 >= 1 @ 70.1469
72.43/72.75	c GLOBAL bounds 2 >= 1 @ 70.147
72.43/72.79	c GLOBAL bounds 2 >= 1 @ 70.1834
72.43/72.79	c GLOBAL bounds 2 >= 1 @ 70.1849
72.54/72.83	c GLOBAL bounds 2 >= 1 @ 70.2239
72.54/72.83	c GLOBAL bounds 2 >= 1 @ 70.2254
72.54/72.83	c GLOBAL bounds 2 >= 1 @ 70.2254
72.54/72.87	c GLOBAL bounds 2 >= 1 @ 70.2623
72.64/72.90	c GLOBAL bounds 2 >= 1 @ 70.2985
72.64/72.91	c GLOBAL bounds 2 >= 1 @ 70.2985
72.64/72.94	c GLOBAL bounds 2 >= 1 @ 70.3337
72.64/72.95	c GLOBAL bounds 2 >= 1 @ 70.3352
72.64/72.98	c GLOBAL bounds 2 >= 1 @ 70.3729
72.64/72.99	c GLOBAL bounds 2 >= 1 @ 70.3743
72.75/73.03	c GLOBAL bounds 2 >= 1 @ 70.4117
72.75/73.03	c GLOBAL bounds 2 >= 1 @ 70.4132
72.75/73.07	c GLOBAL bounds 2 >= 1 @ 70.45
72.75/73.07	c GLOBAL bounds 2 >= 1 @ 70.4506
72.75/73.11	c GLOBAL bounds 2 >= 1 @ 70.4865
72.75/73.11	c GLOBAL bounds 2 >= 1 @ 70.487
72.85/73.15	c GLOBAL bounds 2 >= 1 @ 70.5239
72.85/73.15	c GLOBAL bounds 2 >= 1 @ 70.5254
72.85/73.19	c GLOBAL bounds 2 >= 1 @ 70.5626
72.85/73.19	c GLOBAL bounds 2 >= 1 @ 70.5632
72.94/73.23	c GLOBAL bounds 2 >= 1 @ 70.602
72.94/73.23	c GLOBAL bounds 2 >= 1 @ 70.6036
72.94/73.27	c GLOBAL bounds 2 >= 1 @ 70.6421
72.94/73.27	c GLOBAL bounds 2 >= 1 @ 70.6436
72.94/73.27	c GLOBAL bounds 2 >= 1 @ 70.6437
73.04/73.31	c GLOBAL bounds 2 >= 1 @ 70.6817
73.04/73.35	c GLOBAL bounds 2 >= 1 @ 70.7161
73.04/73.35	c GLOBAL bounds 2 >= 1 @ 70.7173
73.04/73.38	c GLOBAL bounds 2 >= 1 @ 70.7531
73.04/73.39	c GLOBAL bounds 2 >= 1 @ 70.7546
73.13/73.42	c GLOBAL bounds 2 >= 1 @ 70.7913
73.13/73.43	c GLOBAL bounds 2 >= 1 @ 70.7928
73.13/73.47	c GLOBAL bounds 2 >= 1 @ 70.8303
73.13/73.47	c GLOBAL bounds 2 >= 1 @ 70.831
73.24/73.51	c GLOBAL bounds 2 >= 1 @ 70.8709
73.24/73.51	c GLOBAL bounds 2 >= 1 @ 70.8724
73.24/73.55	c GLOBAL bounds 2 >= 1 @ 70.9088
73.24/73.55	c GLOBAL bounds 2 >= 1 @ 70.9144
73.24/73.59	c GLOBAL bounds 2 >= 1 @ 70.9527
73.24/73.59	c GLOBAL bounds 2 >= 1 @ 70.9543
73.33/73.63	c GLOBAL bounds 2 >= 1 @ 70.9934
73.33/73.63	c GLOBAL bounds 2 >= 1 @ 70.9949
73.33/73.67	c GLOBAL bounds 2 >= 1 @ 71.0336
73.33/73.67	c GLOBAL bounds 2 >= 1 @ 71.0351
73.43/73.71	c GLOBAL bounds 2 >= 1 @ 71.0718
73.43/73.72	c GLOBAL bounds 2 >= 1 @ 71.0733
73.43/73.72	c GLOBAL bounds 2 >= 1 @ 71.0733
73.43/73.75	c GLOBAL bounds 2 >= 1 @ 71.1106
73.43/73.79	c GLOBAL bounds 2 >= 1 @ 71.1465
73.43/73.79	c GLOBAL bounds 2 >= 1 @ 71.1479
73.53/73.83	c GLOBAL bounds 2 >= 1 @ 71.1875
73.53/73.83	c GLOBAL bounds 2 >= 1 @ 71.188
73.53/73.87	c GLOBAL bounds 2 >= 1 @ 71.2265
73.53/73.87	c GLOBAL bounds 2 >= 1 @ 71.2278
73.64/73.91	c GLOBAL bounds 2 >= 1 @ 71.2642
73.64/73.91	c GLOBAL bounds 2 >= 1 @ 71.2657
73.64/73.95	c GLOBAL bounds 2 >= 1 @ 71.3032
73.64/73.95	c GLOBAL bounds 2 >= 1 @ 71.3045
73.64/73.99	c GLOBAL bounds 2 >= 1 @ 71.3428
73.64/73.99	c GLOBAL bounds 2 >= 1 @ 71.3443
73.75/74.03	c GLOBAL bounds 2 >= 1 @ 71.3816
73.75/74.03	c GLOBAL bounds 2 >= 1 @ 71.3831
73.75/74.07	c GLOBAL bounds 2 >= 1 @ 71.4211
73.75/74.07	c GLOBAL bounds 2 >= 1 @ 71.4222
73.84/74.11	c GLOBAL bounds 2 >= 1 @ 71.4581
73.84/74.11	c GLOBAL bounds 2 >= 1 @ 71.4596
73.84/74.15	c GLOBAL bounds 2 >= 1 @ 71.4983
73.84/74.15	c GLOBAL bounds 2 >= 1 @ 71.4998
73.84/74.15	c GLOBAL bounds 2 >= 1 @ 71.4998
73.84/74.19	c GLOBAL bounds 2 >= 1 @ 71.5357
73.94/74.23	c GLOBAL bounds 2 >= 1 @ 71.5712
73.94/74.23	c GLOBAL bounds 2 >= 1 @ 71.5727
73.94/74.27	c GLOBAL bounds 2 >= 1 @ 71.6098
73.94/74.27	c GLOBAL bounds 2 >= 1 @ 71.6113
74.03/74.31	c GLOBAL bounds 2 >= 1 @ 71.6491
74.03/74.31	c GLOBAL bounds 2 >= 1 @ 71.6505
74.03/74.35	c GLOBAL bounds 2 >= 1 @ 71.6899
74.03/74.35	c GLOBAL bounds 2 >= 1 @ 71.6914
74.03/74.39	c GLOBAL bounds 2 >= 1 @ 71.7295
74.03/74.39	c GLOBAL bounds 2 >= 1 @ 71.731
74.13/74.43	c GLOBAL bounds 2 >= 1 @ 71.7694
74.13/74.43	c GLOBAL bounds 2 >= 1 @ 71.7708
74.13/74.47	c GLOBAL bounds 2 >= 1 @ 71.8076
74.13/74.47	c GLOBAL bounds 2 >= 1 @ 71.809
74.23/74.51	c GLOBAL bounds 2 >= 1 @ 71.8473
74.23/74.51	c GLOBAL bounds 2 >= 1 @ 71.8488
74.23/74.55	c GLOBAL bounds 2 >= 1 @ 71.8853
74.23/74.56	c GLOBAL bounds 2 >= 1 @ 71.8867
74.23/74.59	c GLOBAL bounds 2 >= 1 @ 71.9249
74.23/74.59	c GLOBAL bounds 2 >= 1 @ 71.9264
74.23/74.59	c GLOBAL bounds 2 >= 1 @ 71.9265
74.33/74.64	c GLOBAL bounds 2 >= 1 @ 71.9647
74.33/74.67	c GLOBAL bounds 2 >= 1 @ 71.9996
74.33/74.67	c GLOBAL bounds 2 >= 1 @ 72.0011
74.43/74.71	c GLOBAL bounds 2 >= 1 @ 72.0391
74.43/74.72	c GLOBAL bounds 2 >= 1 @ 72.0404
74.43/74.76	c GLOBAL bounds 2 >= 1 @ 72.0796
74.43/74.76	c GLOBAL bounds 2 >= 1 @ 72.0811
74.43/74.80	c GLOBAL bounds 2 >= 1 @ 72.1188
74.54/74.80	c GLOBAL bounds 2 >= 1 @ 72.1203
74.54/74.84	c GLOBAL bounds 2 >= 1 @ 72.1593
74.54/74.84	c GLOBAL bounds 2 >= 1 @ 72.1608
74.54/74.88	c GLOBAL bounds 2 >= 1 @ 72.198
74.54/74.88	c GLOBAL bounds 2 >= 1 @ 72.1989
74.63/74.92	c GLOBAL bounds 2 >= 1 @ 72.2349
74.63/74.92	c GLOBAL bounds 2 >= 1 @ 72.2364
74.63/74.96	c GLOBAL bounds 2 >= 1 @ 72.2742
74.63/74.96	c GLOBAL bounds 2 >= 1 @ 72.2747
74.63/75.00	c GLOBAL bounds 2 >= 1 @ 72.3111
74.63/75.00	c GLOBAL bounds 2 >= 1 @ 72.3116
74.75/75.04	c GLOBAL bounds 2 >= 1 @ 72.35
74.75/75.04	c GLOBAL bounds 2 >= 1 @ 72.3515
74.75/75.04	c GLOBAL bounds 2 >= 1 @ 72.3515
74.75/75.08	c GLOBAL bounds 2 >= 1 @ 72.3883
74.85/75.11	c GLOBAL bounds 2 >= 1 @ 72.4239
74.85/75.11	c GLOBAL bounds 2 >= 1 @ 72.4254
74.85/75.15	c GLOBAL bounds 2 >= 1 @ 72.4617
74.85/75.15	c GLOBAL bounds 2 >= 1 @ 72.4622
74.85/75.19	c GLOBAL bounds 2 >= 1 @ 72.5007
74.85/75.19	c GLOBAL bounds 2 >= 1 @ 72.5021
74.93/75.24	c GLOBAL bounds 2 >= 1 @ 72.5402
74.93/75.24	c GLOBAL bounds 2 >= 1 @ 72.5416
74.93/75.28	c GLOBAL bounds 2 >= 1 @ 72.5808
74.93/75.28	c GLOBAL bounds 2 >= 1 @ 72.5823
75.03/75.32	c GLOBAL bounds 2 >= 1 @ 72.6196
75.03/75.32	c GLOBAL bounds 2 >= 1 @ 72.6207
75.03/75.36	c GLOBAL bounds 2 >= 1 @ 72.659
75.03/75.36	c GLOBAL bounds 2 >= 1 @ 72.6604
75.13/75.40	c GLOBAL bounds 2 >= 1 @ 72.699
75.13/75.40	c GLOBAL bounds 2 >= 1 @ 72.7004
75.13/75.44	c GLOBAL bounds 2 >= 1 @ 72.7386
75.13/75.44	c GLOBAL bounds 2 >= 1 @ 72.74
75.13/75.48	c GLOBAL bounds 2 >= 1 @ 72.777
75.13/75.48	c GLOBAL bounds 2 >= 1 @ 72.7784
75.13/75.48	c GLOBAL bounds 2 >= 1 @ 72.7784
75.23/75.52	c GLOBAL bounds 2 >= 1 @ 72.8158
75.23/75.56	c GLOBAL bounds 2 >= 1 @ 72.8509
75.23/75.56	c GLOBAL bounds 2 >= 1 @ 72.8523
75.33/75.60	c GLOBAL bounds 2 >= 1 @ 72.8895
75.33/75.60	c GLOBAL bounds 2 >= 1 @ 72.8909
75.33/75.64	c GLOBAL bounds 2 >= 1 @ 72.9267
75.33/75.64	c GLOBAL bounds 2 >= 1 @ 72.9278
75.33/75.68	c GLOBAL bounds 2 >= 1 @ 72.9653
75.33/75.68	c GLOBAL bounds 2 >= 1 @ 72.9667
75.43/75.72	c GLOBAL bounds 2 >= 1 @ 73.0045
75.43/75.72	c GLOBAL bounds 2 >= 1 @ 73.0055
75.43/75.76	c GLOBAL bounds 2 >= 1 @ 73.0435
75.43/75.76	c GLOBAL bounds 2 >= 1 @ 73.0444
75.52/75.80	c GLOBAL bounds 2 >= 1 @ 73.0802
75.52/75.80	c GLOBAL bounds 2 >= 1 @ 73.0813
75.52/75.84	c GLOBAL bounds 2 >= 1 @ 73.1186
75.52/75.84	c GLOBAL bounds 2 >= 1 @ 73.12
75.52/75.88	c GLOBAL bounds 2 >= 1 @ 73.1585
75.52/75.88	c GLOBAL bounds 2 >= 1 @ 73.1591
75.63/75.92	c GLOBAL bounds 2 >= 1 @ 73.1968
75.63/75.92	c GLOBAL bounds 2 >= 1 @ 73.198
75.63/75.92	c GLOBAL bounds 2 >= 1 @ 73.198
75.63/75.96	c GLOBAL bounds 2 >= 1 @ 73.2355
75.63/76.00	c GLOBAL bounds 2 >= 1 @ 73.2715
75.63/76.00	c GLOBAL bounds 2 >= 1 @ 73.2729
75.74/76.04	c GLOBAL bounds 2 >= 1 @ 73.3083
75.74/76.04	c GLOBAL bounds 2 >= 1 @ 73.3096
75.74/76.08	c GLOBAL bounds 2 >= 1 @ 73.3478
75.74/76.08	c GLOBAL bounds 2 >= 1 @ 73.3491
75.84/76.12	c GLOBAL bounds 2 >= 1 @ 73.3882
75.84/76.12	c GLOBAL bounds 2 >= 1 @ 73.3894
75.84/76.16	c GLOBAL bounds 2 >= 1 @ 73.4282
75.84/76.16	c GLOBAL bounds 2 >= 1 @ 73.4292
75.93/76.20	c GLOBAL bounds 2 >= 1 @ 73.4675
75.93/76.20	c GLOBAL bounds 2 >= 1 @ 73.4688
75.93/76.24	c GLOBAL bounds 2 >= 1 @ 73.5066
75.93/76.25	c GLOBAL bounds 2 >= 1 @ 73.508
75.93/76.29	c GLOBAL bounds 2 >= 1 @ 73.5478
75.93/76.29	c GLOBAL bounds 2 >= 1 @ 73.5488
76.02/76.33	c GLOBAL bounds 2 >= 1 @ 73.5872
76.02/76.33	c GLOBAL bounds 2 >= 1 @ 73.5886
76.02/76.37	c GLOBAL bounds 2 >= 1 @ 73.628
76.02/76.37	c GLOBAL bounds 2 >= 1 @ 73.6293
76.02/76.37	c GLOBAL bounds 2 >= 1 @ 73.6294
76.12/76.41	c GLOBAL bounds 2 >= 1 @ 73.6684
76.12/76.45	c GLOBAL bounds 2 >= 1 @ 73.7018
76.12/76.45	c GLOBAL bounds 2 >= 1 @ 73.7029
76.12/76.49	c GLOBAL bounds 2 >= 1 @ 73.7417
76.12/76.49	c GLOBAL bounds 2 >= 1 @ 73.743
76.23/76.53	c GLOBAL bounds 2 >= 1 @ 73.781
76.23/76.53	c GLOBAL bounds 2 >= 1 @ 73.7821
76.23/76.57	c GLOBAL bounds 2 >= 1 @ 73.8176
76.23/76.57	c GLOBAL bounds 2 >= 1 @ 73.8189
76.32/76.61	c GLOBAL bounds 2 >= 1 @ 73.8573
76.32/76.61	c GLOBAL bounds 2 >= 1 @ 73.8586
76.32/76.65	c GLOBAL bounds 2 >= 1 @ 73.8964
76.32/76.65	c GLOBAL bounds 2 >= 1 @ 73.8977
76.32/76.69	c GLOBAL bounds 2 >= 1 @ 73.934
76.32/76.69	c GLOBAL bounds 2 >= 1 @ 73.9353
76.43/76.73	c GLOBAL bounds 2 >= 1 @ 73.9722
76.43/76.73	c GLOBAL bounds 2 >= 1 @ 73.9735
76.43/76.77	c GLOBAL bounds 2 >= 1 @ 74.0119
76.43/76.77	c GLOBAL bounds 2 >= 1 @ 74.0132
76.53/76.81	c GLOBAL bounds 2 >= 1 @ 74.0524
76.53/76.81	c GLOBAL bounds 2 >= 1 @ 74.0537
76.53/76.81	c GLOBAL bounds 2 >= 1 @ 74.0537
76.53/76.85	c GLOBAL bounds 2 >= 1 @ 74.0928
76.53/76.89	c GLOBAL bounds 2 >= 1 @ 74.1299
76.53/76.89	c GLOBAL bounds 2 >= 1 @ 74.1312
76.62/76.93	c GLOBAL bounds 2 >= 1 @ 74.1696
76.62/76.93	c GLOBAL bounds 2 >= 1 @ 74.1709
76.62/76.97	c GLOBAL bounds 2 >= 1 @ 74.209
76.62/76.97	c GLOBAL bounds 2 >= 1 @ 74.21
76.73/77.01	c GLOBAL bounds 2 >= 1 @ 74.2497
76.73/77.01	c GLOBAL bounds 2 >= 1 @ 74.2511
76.73/77.05	c GLOBAL bounds 2 >= 1 @ 74.2912
76.73/77.05	c GLOBAL bounds 2 >= 1 @ 74.2925
76.73/77.09	c GLOBAL bounds 2 >= 1 @ 74.3302
76.73/77.10	c GLOBAL bounds 2 >= 1 @ 74.3315
76.84/77.14	c Inconsistent constraint found
76.84/77.14	c cpu time 74.3703 s
76.84/77.14	c deterministic time 1629872739 1.63e+09
76.84/77.14	c optimization time 1.85611 s
76.84/77.14	c total solve time 72.2611 s
76.84/77.14	c core-guided solve time 0 s
76.84/77.14	c propagation time 12.025 s
76.84/77.14	c conflict analysis time 53.6412 s
76.84/77.14	c propagations 2652322
76.84/77.14	c resolve steps 948305
76.84/77.14	c decisions 1486725
76.84/77.14	c conflicts 22378
76.84/77.14	c restarts 78
76.84/77.14	c inprocessing phases 8
76.84/77.14	c garbage collections 8 ,( 100.00 )
76.84/77.14	c input clauses 904 ,( 45.54 )
76.84/77.14	c input cardinalities 1 ,( 0.05 )
76.84/77.14	c input general constraints 1080 ,( 54.41 )
76.84/77.14	c input average constraint length 545.66
76.84/77.14	c input average constraint degree 100.50
76.84/77.14	c learned clauses 17906 ,( 77.63 )
76.84/77.14	c learned cardinalities 0 ,( 0.00 )
76.84/77.14	c learned general constraints 5159 ,( 22.37 )
76.84/77.14	c learned average constraint length 442.11
76.84/77.14	c learned average constraint degree 21282579.01
76.84/77.14	c watched  CF 32, 64, 128, Arb: 1712 , 0 , 0 , 0
76.84/77.14	c counting CF 32, 64, 128, Arb: 4528 , 0 , 0 , 0
76.84/77.14	c watched   constraints 1712 ,( 27.44 ) 
76.84/77.14	c counting  constraints 4527 ,( 72.56 ) 
76.84/77.14	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 7783371 , 2257 , 50719628 ,( 1175787 , 49543841 )
76.84/77.14	c gcd simplifications 3267
76.84/77.14	c detected cardinalities 0
76.84/77.14	c weakened non-implied lits 825499
76.84/77.14	c weakened non-implying lits 60000
76.84/77.14	c original variables 1289
76.84/77.14	c clausal propagations 33868
76.84/77.14	c cardinality propagations 775
76.84/77.14	c watched propagations 16920
76.84/77.14	c counting propagations 2113363
76.84/77.14	c watch lookups 485298542
76.84/77.14	c watch backjump lookups 0
76.84/77.14	c watch checks 694470255
76.84/77.14	c propagation checks 103278896
76.84/77.14	c constraint additions 338498770
76.84/77.14	c trail pops 4161302
76.84/77.14	c formula constraints 1095
76.84/77.14	c learned constraints 22267
76.84/77.14	c bound constraints 0
76.84/77.14	c core-guided constraints 0
76.84/77.14	c encountered formula constraints 909654
76.84/77.14	c encountered learned constraints 59759
76.84/77.14	c encountered bound constraints 0
76.84/77.14	c encountered core-guided constraints 0
76.84/77.14	c LP total time 10.9473 s
76.84/77.14	c LP solve time 4.83 s
76.84/77.14	c LP constraints added 1152
76.84/77.14	c LP constraints removed 41
76.84/77.14	c LP pivots internal 22154
76.84/77.14	c LP pivots root 3772
76.84/77.14	c LP calls 1048
76.84/77.14	c LP optimalities 370
76.84/77.14	c LP no pivot count 225
76.84/77.14	c LP infeasibilities 675
76.84/77.14	c LP valid Farkas constraints 672
76.84/77.14	c LP learned Farkas constraints 110
76.84/77.14	c LP basis resets 2
76.84/77.14	c LP cycling count 1
76.84/77.14	c LP singular count 0
76.84/77.14	c LP no primal count 0
76.84/77.14	c LP no farkas count 1
76.84/77.14	c LP other issue count 0
76.84/77.14	c LP Gomory cuts 16
76.84/77.14	c LP learned cuts 41
76.84/77.14	c LP deleted cuts 41
76.84/77.14	c LP encountered Gomory constraints 55
76.84/77.14	c LP encountered Farkas constraints 623
76.84/77.14	c LP encountered learned Farkas constraints 482
76.84/77.14	c CG auxiliary variables introduced 135
76.84/77.14	c CG solutions found 2
76.84/77.14	c CG cores constructed 883
76.84/77.14	c CG core cardinality constraints returned 0
76.84/77.14	c CG unit cores 0
76.84/77.14	c CG single cores 0
76.84/77.14	c CG blocks removed during cardinality reduction 0
76.84/77.14	c CG first core best 0
76.84/77.14	c CG decision core best 0
76.84/77.14	c CG core reduction tie 0
76.84/77.14	c CG core degree average 0.00
76.84/77.14	c CG core slack average 0.00
76.84/77.14	c CG core upper bound improvements 0
76.84/77.14	c STR number of successful calls 0
76.84/77.14	c STR number of unsuccessful calls 0
76.84/77.14	c STR number of inconclusive calls 0
76.84/77.14	c STR number of successful attempts 0
76.84/77.14	c STR number of unsuccessful attempts 0
76.84/77.14	c STR number of inconclusive attempts 0
76.84/77.14	c STR average degree increase per successful call inf
76.84/77.14	c STR average degree increase per successful attempt inf
76.84/77.14	c STR total number of conflicts for successful attempts 0
76.84/77.14	c STR total number of conflicts for unsuccessful attempts 0
76.84/77.14	c STR total number of conflicts for inconclusive attempts 0
76.84/77.14	c STR average number of conflicts per successful attempt inf
76.84/77.14	c STR average number of conflicts per unsuccessful attempt inf
76.84/77.14	c STR average number of conflicts per inconclusive attempt inf
76.84/77.14	c AVG.sumWPerc 47.50 
76.84/77.14	c bigint constraints 0 
76.84/77.14	o 2
76.84/77.14	s OPTIMUM FOUND
76.84/77.14	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

Verifier Data 

OK	2

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Fri Jul  4 15:52:11 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 2 <= obj <= 2
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 2 <= obj <= 2
--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 (61566 MiB free)
  memory of node 1: 64507 MiB (60254 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523425-1751602141/watcher-4523425-1751602141 -o /tmp/evaluation-result-4523425-1751602141/solver-4523425-1751602141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84104 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523425-1751602141.opb PROOFDIR/proof-4523425-1751602141 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
solver pid=85239, runsolver pid=85236
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.17 4.12 4.14 5/261 85241
/proc/meminfo: memFree=124744784/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=59052 memory=14444 CPUtime=0.06 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 1328 0 0 0 6 0 0 0 20 0 1 0 75893473 60469248 3611 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 14763 3611 1984 1147 0 2190 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 63244 KiB
Current children cumulated memory: 17260 KiB

[startup+0.209826 s]*
/proc/loadavg: 4.17 4.12 4.14 5/261 85241
/proc/meminfo: memFree=124734960/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=62488 memory=19932 CPUtime=0.16 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 2179 0 0 0 16 0 0 0 20 0 1 0 75893473 63987712 4983 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 15622 4983 1984 1147 0 3049 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 66680 KiB
Current children cumulated memory: 22748 KiB

[startup+0.30942 s]*
/proc/loadavg: 4.17 4.12 4.14 5/261 85241
/proc/meminfo: memFree=124734964/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=76480 memory=35188 CPUtime=0.26 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 5795 0 0 0 25 1 0 0 20 0 1 0 75893473 78315520 8797 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 19120 8797 2304 1147 0 6547 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 80672 KiB
Current children cumulated memory: 38004 KiB

[startup+0.70029 s]
/proc/loadavg: 4.17 4.12 4.14 5/261 85241
/proc/meminfo: memFree=124734964/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=77936 memory=36852 CPUtime=0.64 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 6161 0 0 0 44 20 0 0 20 0 1 0 75893473 79806464 9213 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 19484 9213 2368 1147 0 6911 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 82128 KiB
Current children cumulated memory: 39668 KiB

[startup+1.50034 s]
/proc/loadavg: 4.17 4.12 4.14 5/261 85241
/proc/meminfo: memFree=124698924/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=96548 memory=55220 CPUtime=1.44 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 16752 0 0 0 112 32 0 0 20 0 1 0 75893473 98865152 13805 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 24137 13805 2432 1147 0 11564 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 100740 KiB
Current children cumulated memory: 58036 KiB

[startup+3.11398 s]
/proc/loadavg: 4.15 4.12 4.14 5/261 85241
/proc/meminfo: memFree=124693664/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=105224 memory=63252 CPUtime=3.05 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 19537 0 0 0 272 33 0 0 20 0 1 0 75893473 107749376 15813 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 26306 15813 2432 1147 0 13733 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 109416 KiB
Current children cumulated memory: 66068 KiB

[startup+6.30033 s]
/proc/loadavg: 4.15 4.12 4.14 5/261 85242
/proc/meminfo: memFree=124601072/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=116748 memory=75668 CPUtime=6.23 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 22231 0 0 0 584 39 0 0 20 0 1 0 75893473 119549952 18917 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 29187 18917 2432 1147 0 16614 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 120940 KiB
Current children cumulated memory: 78484 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.12 4.14 5/261 85242
/proc/meminfo: memFree=124451652/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=126140 memory=79976 CPUtime=12.62 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 24372 0 0 0 1211 51 0 0 20 0 1 0 75893473 129167360 19994 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 31535 19994 2432 1147 0 18962 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 130332 KiB
Current children cumulated memory: 82792 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.11 4.14 5/261 85242
/proc/meminfo: memFree=124136356/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=126140 memory=82348 CPUtime=25.37 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 24437 0 0 0 2466 71 0 0 20 0 1 0 75893473 129167360 20587 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 31535 20587 2432 1147 0 18962 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 130332 KiB
Current children cumulated memory: 85164 KiB

[startup+51.1142 s]
/proc/loadavg: 4.15 4.12 4.14 5/263 85244
/proc/meminfo: memFree=123516032/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=159160 memory=112288 CPUtime=50.92 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 28409 0 0 0 4953 139 0 0 20 0 1 0 75893473 162979840 28072 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 39790 28072 2432 1147 0 27217 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 163352 KiB
Current children cumulated memory: 115104 KiB

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

# cumulated CPU time of all completed processes:  user=74.386 s, system=2.61673 s

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

[startup+51.2004 s]
/proc/loadavg: 4.15 4.12 4.14 5/263 85244
/proc/meminfo: memFree=123516032/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=159160 memory=112288 CPUtime=51 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 28409 0 0 0 4961 139 0 0 20 0 1 0 75893473 162979840 28072 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 39790 28072 2432 1147 0 27217 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 163352 KiB
Current children cumulated memory: 115104 KiB

[startup+64.0004 s]*
/proc/loadavg: 4.12 4.11 4.14 5/263 85245
/proc/meminfo: memFree=123113784/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=159160 memory=112288 CPUtime=63.78 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 28409 0 0 0 6178 200 0 0 20 0 1 0 75893473 162979840 28072 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 39790 28072 2432 1147 0 27217 0
Current children cumulated CPU time: 63.78 s
Current children cumulated vsize: 163352 KiB
Current children cumulated memory: 115104 KiB

[startup+70.4004 s]
/proc/loadavg: 4.11 4.11 4.14 5/263 85246
/proc/meminfo: memFree=122914916/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=159160 memory=112288 CPUtime=70.14 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 28409 0 0 0 6789 225 0 0 20 0 1 0 75893473 162979840 28072 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 39790 28072 2432 1147 0 27217 0
Current children cumulated CPU time: 70.14 s
Current children cumulated vsize: 163352 KiB
Current children cumulated memory: 115104 KiB

[startup+73.6004 s]
/proc/loadavg: 4.10 4.11 4.14 5/263 85246
/proc/meminfo: memFree=122834820/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=159160 memory=112288 CPUtime=73.33 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 28421 0 0 0 7095 238 0 0 20 0 1 0 75893473 162979840 28072 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 39790 28072 2432 1147 0 27217 0
Current children cumulated CPU time: 73.33 s
Current children cumulated vsize: 163352 KiB
Current children cumulated memory: 115104 KiB

[startup+75.2003 s]
/proc/loadavg: 4.10 4.11 4.14 5/263 85246
/proc/meminfo: memFree=122786316/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=159304 memory=112288 CPUtime=74.93 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 28465 0 0 0 7250 243 0 0 20 0 1 0 75893473 163127296 28072 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 39826 28072 2432 1147 0 27253 0
Current children cumulated CPU time: 74.93 s
Current children cumulated vsize: 163496 KiB
Current children cumulated memory: 115104 KiB

[startup+76.8004 s]
/proc/loadavg: 4.10 4.11 4.14 5/263 85246
/proc/meminfo: memFree=122762124/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=160792 memory=113824 CPUtime=76.53 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 28858 0 0 0 7404 249 0 0 20 0 1 0 75893473 164651008 28456 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 40198 28456 2432 1147 0 27625 0
Current children cumulated CPU time: 76.53 s
Current children cumulated vsize: 164984 KiB
Current children cumulated memory: 116640 KiB

[startup+77.6003 s]
/proc/loadavg: 4.10 4.11 4.14 5/263 85246
/proc/meminfo: memFree=122726340/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=161096 memory=114208 CPUtime=76.94 cores=1,3
/proc/85241/stat : 85241 (roundingsat) R 85239 85239 84092 0 -1 4194304 28930 0 0 0 7437 257 0 0 20 0 1 0 75893473 164962304 28552 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 40274 28552 2432 1147 0 27701 0
Current children cumulated CPU time: 76.94 s
Current children cumulated vsize: 165288 KiB
Current children cumulated memory: 117024 KiB

[startup+77.8003 s]
/proc/loadavg: 4.10 4.11 4.14 5/263 85246
/proc/meminfo: memFree=122726340/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=161096 memory=114208 CPUtime=76.96 cores=1,3
/proc/85241/stat : 85241 (roundingsat) D 85239 85239 84092 0 -1 4194304 28930 0 0 0 7438 258 0 0 20 0 1 0 75893473 164962304 28552 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 40274 28552 2432 1147 0 27701 0
Current children cumulated CPU time: 76.96 s
Current children cumulated vsize: 165288 KiB
Current children cumulated memory: 117024 KiB

[startup+77.9089 s]
/proc/loadavg: 4.10 4.11 4.14 5/263 85246
/proc/meminfo: memFree=122726340/131382120 swapFree=33010416/33010684
[pid=85239] ppid=85236 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/85239/stat : 85239 (run-opt-log.sh) S 85236 85239 84092 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 75893472 4292608 704 18446744073709551615 94515829587968 94515830482501 140733645856336 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94515830721552 94515830769296 94515852173312 140733645863201 140733645863396 140733645863396 140733645868998 0
/proc/85239/statm: 1048 704 672 219 0 110 0
[pid=85241] ppid=85239 vsize=161096 memory=114208 CPUtime=76.98 cores=1,3
/proc/85241/stat : 85241 (roundingsat) D 85239 85239 84092 0 -1 4194304 28930 0 0 0 7438 260 0 0 20 0 1 0 75893473 164962304 28552 18446744073709551615 4227072 8923433 140734116692080 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 15245312 140734116698450 140734116698664 140734116698664 140734116704234 0
/proc/85241/statm: 40274 28552 2432 1147 0 27701 0
Current children cumulated CPU time: 76.98 s
Current children cumulated vsize: 165288 KiB
Current children cumulated memory: 117024 KiB

Child status: 0

Real time (s): 78.013
CPU time (s): 77.0027
CPU user time (s): 74.386
CPU system time (s): 2.61673
CPU usage (%): 98.7049
Max. virtual memory (cumulated for all children) (KiB): 165288
Max. memory (cumulated for all children) (KiB): 117024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.386
system time used= 2.61673
maximum resident set size= 123564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2775728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30979
involuntary context switches= 168


# summary of solver processes directly reported to runsolver:
#   pid: 85239
#   total CPU time (s): 77.0027
#   total CPU user time (s): 74.386
#   total CPU system time (s): 2.61673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.485613 second user time and 0.944944 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-04 06:09:01
IDJOB=4523425
IDBENCH=180361
IDSOLVER=3351
FILE ID=nodeC006/4523425-1751602141
RUNJOBID= nodeC006-1751594361-84104
SLURM_JOB_ID= 9598859
Free space on /tmp= 431984 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523425-1751602141/watcher-4523425-1751602141 -o /tmp/evaluation-result-4523425-1751602141/solver-4523425-1751602141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84104 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523425-1751602141.opb PROOFDIR/proof-4523425-1751602141

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

MD5SUM BENCH= f69e8990d47aa59ed46eeada43b05a2f
RANDOM SEED=2043974467

nodeC006 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		: 3662.156
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	: 6983.32
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.140
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	: 6983.32
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.427
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	: 6983.32
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		: 2495.109
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	: 6983.32
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		: 3661.868
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	: 6983.32
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		: 3659.785
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	: 6983.32
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.361
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	: 6983.32
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.702
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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        124744784 kB
MemAvailable:   127593736 kB
Buffers:            2128 kB
Cached:          3613348 kB
SwapCached:           12 kB
Active:          2829176 kB
Inactive:        3148700 kB
Active(anon):    2369104 kB
Inactive(anon):    10992 kB
Active(file):     460072 kB
Inactive(file):  3137708 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             72720 kB
Writeback:             8 kB
AnonPages:       2364236 kB
Mapped:           116948 kB
Shmem:             17948 kB
KReclaimable:     181216 kB
Slab:             270440 kB
SReclaimable:     181216 kB
SUnreclaim:        89224 kB
KernelStack:        4160 kB
PageTables:         8000 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    3140744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    778240 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:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431976 MiB
End job on nodeC006 at 2025-07-04 06:10:19