Trace number 4523424

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 63f22adOPT2 49.7508 49.8826

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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.08/0.14	c #variables 1289 #constraints 1095
0.08/0.14	c objective is ce32 
0.08/0.15	c initial watched  CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
0.08/0.15	c initial counting CF 32, 64, 128, Arb: 1077 , 0 , 0 , 0
0.08/0.15	c GLOBAL bounds - >= -134 @ 0.11517
0.08/0.15	c GLOBAL bounds - >= -134 @ 0.115453
0.08/0.15	c GLOBAL bounds - >= -134 @ 0.115593
0.08/0.15	c GLOBAL bounds - >= -134 @ 0.116457
0.08/0.15	c GLOBAL bounds - >= -134 @ 0.117062
0.08/0.15	c GLOBAL bounds - >= -134 @ 0.118299
0.08/0.15	c GLOBAL bounds - >= -134 @ 0.11953
0.08/0.16	c GLOBAL bounds - >= -134 @ 0.120449
0.08/0.16	c GLOBAL bounds - >= -134 @ 0.120452
0.08/0.16	c GLOBAL bounds - >= -134 @ 0.120455
0.08/0.16	c GLOBAL bounds - >= -134 @ 0.120519
0.08/0.16	c GLOBAL bounds - >= -134 @ 0.121459
0.08/0.16	c GLOBAL bounds - >= -134 @ 0.121956
0.08/0.16	c GLOBAL bounds - >= -134 @ 0.123163
0.08/0.16	c GLOBAL bounds - >= -134 @ 0.124306
0.08/0.16	c GLOBAL bounds - >= -134 @ 0.125517
0.08/0.17	c GLOBAL bounds - >= -134 @ 0.126442
0.08/0.17	c GLOBAL bounds - >= -134 @ 0.126445
0.08/0.17	c GLOBAL bounds - >= -134 @ 0.126449
0.08/0.17	c GLOBAL bounds - >= -134 @ 0.126451
0.08/0.17	c GLOBAL bounds - >= -134 @ 0.126545
0.08/0.17	c GLOBAL bounds - >= -134 @ 0.12774
0.08/0.17	c GLOBAL bounds - >= -134 @ 0.128906
0.08/0.17	c GLOBAL bounds - >= -134 @ 0.129448
0.08/0.18	c GLOBAL bounds - >= -134 @ 0.130306
0.08/0.18	c GLOBAL bounds - >= -134 @ 0.131534
0.08/0.18	c GLOBAL bounds - >= -134 @ 0.13271
0.08/0.18	c GLOBAL bounds - >= -134 @ 0.133939
0.08/0.18	c GLOBAL bounds - >= -134 @ 0.135117
0.08/0.18	c GLOBAL bounds - >= -134 @ 0.135434
0.08/0.18	c GLOBAL bounds - >= -134 @ 0.135534
0.08/0.18	c GLOBAL bounds - >= -134 @ 0.136437
0.08/0.19	c GLOBAL bounds - >= -134 @ 0.13644
0.08/0.19	c GLOBAL bounds - >= -134 @ 0.136443
0.08/0.19	c GLOBAL bounds - >= -134 @ 0.136445
0.08/0.19	c GLOBAL bounds - >= -134 @ 0.137444
0.08/0.19	c GLOBAL bounds - >= -134 @ 0.137447
0.08/0.19	c GLOBAL bounds - >= -134 @ 0.138066
0.08/0.19	c GLOBAL bounds - >= -134 @ 0.138446
0.08/0.19	c GLOBAL bounds - >= -134 @ 0.138514
0.08/0.20	c GLOBAL bounds - >= -134 @ 0.139449
0.08/0.20	c GLOBAL bounds - >= -134 @ 0.139451
0.08/0.20	c GLOBAL bounds - >= -134 @ 0.139454
0.08/0.20	c GLOBAL bounds - >= -134 @ 0.140302
0.08/0.20	c GLOBAL bounds - >= -134 @ 0.140528
0.08/0.20	c GLOBAL bounds - >= -134 @ 0.141451
0.08/0.20	c GLOBAL bounds - >= -134 @ 0.141451
0.08/0.20	c GLOBAL bounds - >= -134 @ 0.142168
0.08/0.20	c GLOBAL bounds - >= -134 @ 0.142411
0.08/0.21	c GLOBAL bounds - >= -134 @ 0.142411
0.19/0.21	c GLOBAL bounds - >= -134 @ 0.142411
0.19/0.21	c GLOBAL bounds - >= -134 @ 0.142411
0.19/0.21	c GLOBAL bounds - >= -134 @ 0.142411
0.19/0.21	c GLOBAL bounds - >= -134 @ 0.143406
0.19/0.21	c GLOBAL bounds - >= -134 @ 0.143609
0.19/0.21	c GLOBAL bounds - >= -134 @ 0.144819
0.19/0.21	c GLOBAL bounds - >= -134 @ 0.145403
0.19/0.22	c GLOBAL bounds - >= -134 @ 0.146211
0.19/0.22	c GLOBAL bounds - >= -134 @ 0.14641
0.19/0.22	c GLOBAL bounds - >= -134 @ 0.147401
0.19/0.22	c GLOBAL bounds - >= -134 @ 0.147404
0.19/0.22	c GLOBAL bounds - >= -134 @ 0.14799
0.19/0.22	c GLOBAL bounds - >= -134 @ 0.149141
0.19/0.22	c GLOBAL bounds - >= -134 @ 0.149399
0.19/0.22	c GLOBAL bounds - >= -134 @ 0.150398
0.19/0.23	c GLOBAL bounds - >= -134 @ 0.150987
0.19/0.23	c GLOBAL bounds - >= -134 @ 0.151399
0.19/0.23	c GLOBAL bounds - >= -134 @ 0.1514
0.19/0.23	c GLOBAL bounds - >= -134 @ 0.151405
0.19/0.23	c GLOBAL bounds - >= -134 @ 0.151407
0.19/0.23	c GLOBAL bounds - >= -134 @ 0.151962
0.19/0.23	c GLOBAL bounds - >= -134 @ 0.152406
0.19/0.23	c GLOBAL bounds - >= -134 @ 0.153339
0.19/0.23	c GLOBAL bounds - >= -134 @ 0.15352
0.19/0.24	c GLOBAL bounds - >= -134 @ 0.154405
0.19/0.24	c GLOBAL bounds - >= -134 @ 0.154407
0.19/0.24	c GLOBAL bounds - >= -134 @ 0.154409
0.19/0.24	c GLOBAL bounds - >= -134 @ 0.154411
0.19/0.24	c GLOBAL bounds - >= -134 @ 0.155416
0.19/0.24	c GLOBAL bounds - >= -134 @ 0.156545
0.19/0.24	c GLOBAL bounds - >= -134 @ 0.157739
0.19/0.24	c GLOBAL bounds - >= -134 @ 0.158401
0.19/0.25	c GLOBAL bounds - >= -134 @ 0.158404
0.19/0.25	c GLOBAL bounds - >= -134 @ 0.158406
0.19/0.25	c GLOBAL bounds - >= -134 @ 0.158408
0.19/0.25	c GLOBAL bounds - >= -134 @ 0.158486
0.19/0.25	c GLOBAL bounds - >= -134 @ 0.15966
0.19/0.25	c GLOBAL bounds - >= -134 @ 0.160762
0.19/0.25	c GLOBAL bounds - >= -134 @ 0.161933
0.19/0.25	c GLOBAL bounds - >= -134 @ 0.16302
0.19/0.25	c GLOBAL bounds - >= -134 @ 0.163396
0.19/0.26	c GLOBAL bounds - >= -134 @ 0.164281
0.19/0.26	c GLOBAL bounds - >= -134 @ 0.164496
0.19/0.26	c GLOBAL bounds - >= -134 @ 0.165394
0.19/0.26	c GLOBAL bounds - >= -134 @ 0.165396
0.19/0.26	c GLOBAL bounds - >= -134 @ 0.165398
0.19/0.26	c GLOBAL bounds - >= -134 @ 0.165399
0.19/0.26	c GLOBAL bounds - >= -134 @ 0.166081
0.19/0.26	c GLOBAL bounds - >= -134 @ 0.167171
0.19/0.26	c GLOBAL bounds - >= -134 @ 0.168245
0.19/0.27	c GLOBAL bounds - >= -134 @ 0.169339
0.19/0.27	c GLOBAL bounds - >= -134 @ 0.170411
0.19/0.27	c GLOBAL bounds - >= -134 @ 0.171505
0.19/0.27	c GLOBAL bounds - >= -134 @ 0.172576
0.19/0.27	c GLOBAL bounds - >= -134 @ 0.173379
0.19/0.27	c GLOBAL bounds - >= -134 @ 0.173381
0.19/0.27	c GLOBAL bounds - >= -134 @ 0.173383
0.19/0.27	c GLOBAL bounds - >= -134 @ 0.173385
0.19/0.27	c GLOBAL bounds - >= -134 @ 0.173385
0.19/0.28	c GLOBAL bounds - >= -134 @ 0.174006
0.19/0.28	c GLOBAL bounds - >= -134 @ 0.175085
0.19/0.28	c GLOBAL bounds - >= -134 @ 0.175382
0.19/0.28	c GLOBAL bounds - >= -134 @ 0.176163
0.19/0.28	c GLOBAL bounds - >= -134 @ 0.176381
0.19/0.28	c GLOBAL bounds - >= -134 @ 0.177239
0.19/0.28	c GLOBAL bounds - >= -134 @ 0.178274
0.19/0.28	c GLOBAL bounds - >= -134 @ 0.179274
0.19/0.28	c GLOBAL bounds - >= -134 @ 0.179373
0.19/0.28	c GLOBAL bounds - >= -134 @ 0.179375
0.19/0.29	c GLOBAL bounds - >= -134 @ 0.180401
0.19/0.29	c GLOBAL bounds - >= -134 @ 0.181427
0.19/0.29	c GLOBAL bounds - >= -134 @ 0.182457
0.19/0.29	c GLOBAL bounds - >= -134 @ 0.183363
0.19/0.29	c GLOBAL bounds - >= -134 @ 0.183366
0.19/0.29	c GLOBAL bounds - >= -134 @ 0.183368
0.19/0.29	c GLOBAL bounds - >= -134 @ 0.183559
0.19/0.29	c GLOBAL bounds - >= -134 @ 0.184366
0.19/0.29	c GLOBAL bounds - >= -134 @ 0.184444
0.19/0.29	c GLOBAL bounds - >= -134 @ 0.185364
0.19/0.30	c GLOBAL bounds - >= -134 @ 0.185364
0.19/0.30	c GLOBAL bounds - >= -134 @ 0.185368
0.19/0.30	c GLOBAL bounds - >= -134 @ 0.185945
0.19/0.30	c GLOBAL bounds - >= -134 @ 0.186366
0.19/0.30	c GLOBAL bounds - >= -134 @ 0.186679
0.19/0.30	c GLOBAL bounds - >= -134 @ 0.187364
0.19/0.30	c GLOBAL bounds - >= -134 @ 0.187364
0.19/0.30	c GLOBAL bounds - >= 0 @ 0.187364
0.28/0.38	c rational objective 0
1.47/1.53	c GLOBAL bounds - >= 0 @ 1.38197
1.47/1.54	c GLOBAL bounds - >= 0 @ 1.3993
1.47/1.56	c GLOBAL bounds - >= 0 @ 1.41674
1.47/1.58	c GLOBAL bounds - >= 0 @ 1.4379
2.26/2.34	c GLOBAL bounds - >= 0 @ 2.18188
2.36/2.45	c GLOBAL bounds - >= 0 @ 2.29479
2.47/2.53	c GLOBAL bounds - >= 0 @ 2.36825
2.57/2.67	c GLOBAL bounds - >= 0 @ 2.51339
2.87/2.98	c GLOBAL bounds - >= 0 @ 2.8155
4.56/4.63	c #Conflicts:       1000 | #Constraints:       2251
4.56/4.63	c GLOBAL bounds - >= 0 @ 4.44663
6.46/6.58	c #Conflicts:       2000 | #Constraints:       3260
6.46/6.58	c INPROCESSING
6.46/6.58	c GARBAGE COLLECT
6.46/6.58	c #Conflicts:       3000 | #Constraints:       3178
6.46/6.58	c #Conflicts:       4000 | #Constraints:       4196
6.46/6.58	c INPROCESSING
6.46/6.58	c GARBAGE COLLECT
6.46/6.58	c rational objective 0
8.06/8.15	c #Conflicts:       5000 | #Constraints:       3557
8.06/8.15	c GLOBAL bounds - >= 0 @ 7.90511
9.35/9.49	c #Conflicts:       6000 | #Constraints:       4565
9.35/9.49	c INPROCESSING
9.35/9.49	c GARBAGE COLLECT
9.35/9.49	c rational objective 0
11.65/11.75	c #Conflicts:       7000 | #Constraints:       3538
11.65/11.75	c #Conflicts:       8000 | #Constraints:       4555
11.65/11.75	c GLOBAL bounds - >= 0 @ 11.4825
13.84/13.92	c #Conflicts:       9000 | #Constraints:       5557
13.84/13.92	c INPROCESSING
13.84/13.92	c GARBAGE COLLECT
13.84/13.92	c rational objective 0
17.94/18.03	c #Conflicts:      10000 | #Constraints:       4230
17.94/18.03	c #Conflicts:      11000 | #Constraints:       5233
17.94/18.03	c #Conflicts:      12000 | #Constraints:       6257
17.94/18.03	c INPROCESSING
17.94/18.03	c GARBAGE COLLECT
17.94/18.03	c rational objective 0
24.62/24.75	c #Conflicts:      13000 | #Constraints:       4679
24.62/24.75	c #Conflicts:      14000 | #Constraints:       5685
24.62/24.75	c #Conflicts:      15000 | #Constraints:       6690
24.62/24.75	c INPROCESSING
24.62/24.75	c GARBAGE COLLECT
24.62/24.75	c #Conflicts:      16000 | #Constraints:       4910
24.62/24.75	c #Conflicts:      17000 | #Constraints:       5928
24.62/24.75	c #Conflicts:      18000 | #Constraints:       6929
24.62/24.75	c INPROCESSING
24.62/24.75	c GARBAGE COLLECT
24.62/24.75	c rational objective 0
26.71/26.83	c #Conflicts:      19000 | #Constraints:       4926
26.71/26.83	c GLOBAL bounds - >= 0 @ 26.4152
29.31/29.43	c #Conflicts:      20000 | #Constraints:       5943
29.31/29.43	c #Conflicts:      21000 | #Constraints:       7314
29.31/29.43	c GLOBAL bounds 4 >= 0 @ 28.9881
29.31/29.43	c GLOBAL bounds 4 >= 0 @ 28.9893
29.31/29.46	c GLOBAL bounds 4 >= 0 @ 29.0096
29.31/29.46	c GLOBAL bounds 4 >= 0 @ 29.0103
29.31/29.48	c GLOBAL bounds 4 >= 0 @ 29.0291
29.31/29.48	c GLOBAL bounds 4 >= 0 @ 29.0303
29.40/29.51	c GLOBAL bounds 4 >= 0 @ 29.0568
29.40/29.51	c GLOBAL bounds 4 >= 0 @ 29.0581
29.40/29.53	c GLOBAL bounds 4 >= 0 @ 29.082
29.40/29.53	c GLOBAL bounds 4 >= 0 @ 29.0821
29.40/29.56	c GLOBAL bounds 4 >= 0 @ 29.1053
29.40/29.56	c GLOBAL bounds 4 >= 0 @ 29.1065
29.40/29.58	c GLOBAL bounds 4 >= 0 @ 29.1266
29.40/29.58	c GLOBAL bounds 4 >= 0 @ 29.1279
29.51/29.60	c GLOBAL bounds 4 >= 0 @ 29.1461
29.51/29.60	c GLOBAL bounds 4 >= 0 @ 29.1475
29.51/29.62	c GLOBAL bounds 4 >= 0 @ 29.1676
29.51/29.62	c GLOBAL bounds 4 >= 0 @ 29.1679
29.51/29.65	c GLOBAL bounds 4 >= 0 @ 29.1898
29.51/29.65	c GLOBAL bounds 4 >= 0 @ 29.19
29.51/29.65	c GLOBAL bounds 4 >= 0 @ 29.1914
29.51/29.65	c GLOBAL bounds 4 >= 0 @ 29.1919
29.51/29.65	c GLOBAL bounds 4 >= 1 @ 29.1919
29.51/29.67	c GLOBAL bounds 4 >= 1 @ 29.2128
29.51/29.69	c GLOBAL bounds 4 >= 1 @ 29.2321
29.60/29.71	c GLOBAL bounds 4 >= 1 @ 29.2526
29.60/29.73	c GLOBAL bounds 4 >= 1 @ 29.2718
29.60/29.73	c GLOBAL bounds 4 >= 1 @ 29.2727
29.60/29.76	c GLOBAL bounds 4 >= 1 @ 29.292
29.60/29.76	c GLOBAL bounds 4 >= 1 @ 29.2932
29.60/29.78	c GLOBAL bounds 4 >= 1 @ 29.3136
29.60/29.78	c GLOBAL bounds 4 >= 1 @ 29.3146
29.71/29.80	c GLOBAL bounds 4 >= 1 @ 29.3381
29.71/29.80	c GLOBAL bounds 4 >= 1 @ 29.3385
29.71/29.82	c GLOBAL bounds 4 >= 1 @ 29.3574
29.71/29.83	c GLOBAL bounds 4 >= 1 @ 29.3575
29.71/29.85	c GLOBAL bounds 4 >= 1 @ 29.3819
29.71/29.85	c GLOBAL bounds 4 >= 1 @ 29.3824
29.71/29.87	c GLOBAL bounds 4 >= 1 @ 29.4014
29.71/29.87	c GLOBAL bounds 4 >= 1 @ 29.4016
29.71/29.89	c GLOBAL bounds 4 >= 1 @ 29.4218
29.80/29.90	c GLOBAL bounds 4 >= 1 @ 29.4232
29.80/29.92	c GLOBAL bounds 4 >= 1 @ 29.4425
29.80/29.92	c GLOBAL bounds 4 >= 1 @ 29.444
29.80/29.94	c GLOBAL bounds 4 >= 1 @ 29.4641
29.80/29.94	c GLOBAL bounds 4 >= 1 @ 29.4642
29.80/29.94	c GLOBAL bounds 4 >= 1 @ 29.4642
29.80/29.94	c GLOBAL bounds 4 >= 1 @ 29.4642
29.80/29.94	c GLOBAL bounds 4 >= 1 @ 29.4642
29.80/29.96	c GLOBAL bounds 4 >= 1 @ 29.4846
29.80/29.98	c GLOBAL bounds 4 >= 1 @ 29.504
29.91/30.00	c GLOBAL bounds 4 >= 1 @ 29.5246
29.91/30.02	c GLOBAL bounds 4 >= 1 @ 29.5447
29.91/30.03	c GLOBAL bounds 4 >= 1 @ 29.5459
29.91/30.05	c GLOBAL bounds 4 >= 1 @ 29.5667
29.91/30.05	c GLOBAL bounds 4 >= 1 @ 29.5679
29.91/30.07	c GLOBAL bounds 4 >= 1 @ 29.5939
29.91/30.07	c GLOBAL bounds 4 >= 1 @ 29.5951
29.91/30.10	c GLOBAL bounds 4 >= 1 @ 29.617
29.91/30.10	c GLOBAL bounds 4 >= 1 @ 29.6182
30.00/30.12	c GLOBAL bounds 4 >= 1 @ 29.6385
30.00/30.12	c GLOBAL bounds 4 >= 1 @ 29.6398
30.00/30.15	c GLOBAL bounds 4 >= 1 @ 29.6619
30.00/30.15	c GLOBAL bounds 4 >= 1 @ 29.6632
30.00/30.17	c GLOBAL bounds 4 >= 1 @ 29.6836
30.00/30.17	c GLOBAL bounds 4 >= 1 @ 29.6837
30.00/30.19	c GLOBAL bounds 4 >= 1 @ 29.7032
30.00/30.19	c GLOBAL bounds 4 >= 1 @ 29.7046
30.10/30.21	c GLOBAL bounds 4 >= 1 @ 29.7276
30.10/30.22	c GLOBAL bounds 4 >= 1 @ 29.7276
30.10/30.24	c GLOBAL bounds 4 >= 1 @ 29.7472
30.10/30.24	c GLOBAL bounds 4 >= 1 @ 29.7484
30.10/30.24	c GLOBAL bounds 4 >= 1 @ 29.7486
30.10/30.24	c GLOBAL bounds 4 >= 1 @ 29.7486
30.10/30.24	c GLOBAL bounds 4 >= 1 @ 29.7486
30.10/30.26	c GLOBAL bounds 4 >= 1 @ 29.7682
30.10/30.28	c GLOBAL bounds 4 >= 1 @ 29.7885
30.20/30.30	c GLOBAL bounds 4 >= 1 @ 29.8094
30.20/30.32	c GLOBAL bounds 4 >= 1 @ 29.8297
30.20/30.33	c GLOBAL bounds 4 >= 1 @ 29.8309
30.20/30.33	c GLOBAL bounds 2 >= 1 @ 29.8368
30.20/30.33	c GLOBAL bounds 2 >= 1 @ 29.8379
30.20/30.35	c GLOBAL bounds 2 >= 1 @ 29.8593
30.20/30.36	c GLOBAL bounds 2 >= 1 @ 29.8593
30.20/30.38	c GLOBAL bounds 2 >= 1 @ 29.8791
30.20/30.38	c GLOBAL bounds 2 >= 1 @ 29.8793
30.30/30.40	c GLOBAL bounds 2 >= 1 @ 29.899
30.30/30.40	c GLOBAL bounds 2 >= 1 @ 29.9008
30.30/30.42	c GLOBAL bounds 2 >= 1 @ 29.9215
30.30/30.43	c GLOBAL bounds 2 >= 1 @ 29.9222
30.30/30.45	c GLOBAL bounds 2 >= 1 @ 29.9428
30.30/30.45	c GLOBAL bounds 2 >= 1 @ 29.9436
30.30/30.47	c GLOBAL bounds 2 >= 1 @ 29.9636
30.30/30.47	c GLOBAL bounds 2 >= 1 @ 29.9651
30.30/30.49	c GLOBAL bounds 2 >= 1 @ 29.9862
30.40/30.50	c GLOBAL bounds 2 >= 1 @ 29.987
30.40/30.52	c GLOBAL bounds 2 >= 1 @ 30.0083
30.40/30.52	c GLOBAL bounds 2 >= 1 @ 30.01
30.40/30.54	c GLOBAL bounds 2 >= 1 @ 30.0305
30.40/30.54	c GLOBAL bounds 2 >= 1 @ 30.0323
30.40/30.54	c GLOBAL bounds 2 >= 1 @ 30.0323
30.40/30.56	c GLOBAL bounds 2 >= 1 @ 30.0515
30.40/30.57	c GLOBAL bounds 2 >= 1 @ 30.0564
30.40/30.57	c GLOBAL bounds 2 >= 1 @ 30.0573
30.40/30.59	c GLOBAL bounds 2 >= 1 @ 30.0784
30.40/30.59	c GLOBAL bounds 2 >= 1 @ 30.0802
30.50/30.61	c GLOBAL bounds 2 >= 1 @ 30.0988
30.50/30.62	c GLOBAL bounds 2 >= 1 @ 30.0998
30.50/30.64	c GLOBAL bounds 2 >= 1 @ 30.1209
30.50/30.64	c GLOBAL bounds 2 >= 1 @ 30.1227
30.50/30.66	c GLOBAL bounds 2 >= 1 @ 30.1433
30.50/30.66	c GLOBAL bounds 2 >= 1 @ 30.1441
30.50/30.68	c GLOBAL bounds 2 >= 1 @ 30.1653
30.50/30.69	c GLOBAL bounds 2 >= 1 @ 30.1661
30.60/30.71	c GLOBAL bounds 2 >= 1 @ 30.187
30.60/30.71	c GLOBAL bounds 2 >= 1 @ 30.1886
30.60/30.73	c GLOBAL bounds 2 >= 1 @ 30.2089
30.60/30.73	c GLOBAL bounds 2 >= 1 @ 30.2097
30.60/30.75	c GLOBAL bounds 2 >= 1 @ 30.2299
30.60/30.76	c GLOBAL bounds 2 >= 1 @ 30.2315
30.60/30.78	c GLOBAL bounds 2 >= 1 @ 30.2518
30.60/30.78	c GLOBAL bounds 2 >= 1 @ 30.2534
30.60/30.78	c GLOBAL bounds 2 >= 1 @ 30.2534
30.70/30.80	c GLOBAL bounds 2 >= 1 @ 30.2736
30.70/30.82	c GLOBAL bounds 2 >= 1 @ 30.293
30.70/30.82	c GLOBAL bounds 2 >= 1 @ 30.2933
30.70/30.84	c GLOBAL bounds 2 >= 1 @ 30.3144
30.70/30.85	c GLOBAL bounds 2 >= 1 @ 30.3153
30.70/30.87	c GLOBAL bounds 2 >= 1 @ 30.3356
30.70/30.87	c GLOBAL bounds 2 >= 1 @ 30.3362
30.70/30.89	c GLOBAL bounds 2 >= 1 @ 30.3574
30.70/30.89	c GLOBAL bounds 2 >= 1 @ 30.3592
30.80/30.92	c GLOBAL bounds 2 >= 1 @ 30.3801
30.80/30.92	c GLOBAL bounds 2 >= 1 @ 30.3811
30.80/30.94	c GLOBAL bounds 2 >= 1 @ 30.4021
30.80/30.94	c GLOBAL bounds 2 >= 1 @ 30.4031
30.80/30.96	c GLOBAL bounds 2 >= 1 @ 30.4244
30.80/30.96	c GLOBAL bounds 2 >= 1 @ 30.426
30.80/30.99	c GLOBAL bounds 2 >= 1 @ 30.4442
30.80/30.99	c GLOBAL bounds 2 >= 1 @ 30.445
30.90/31.01	c GLOBAL bounds 2 >= 1 @ 30.4658
30.90/31.01	c GLOBAL bounds 2 >= 1 @ 30.4669
30.90/31.03	c GLOBAL bounds 2 >= 1 @ 30.4886
30.90/31.04	c GLOBAL bounds 2 >= 1 @ 30.4904
30.90/31.04	c GLOBAL bounds 2 >= 1 @ 30.4904
30.90/31.06	c GLOBAL bounds 2 >= 1 @ 30.5112
30.90/31.08	c GLOBAL bounds 2 >= 1 @ 30.5305
30.90/31.08	c GLOBAL bounds 2 >= 1 @ 30.5313
31.01/31.10	c GLOBAL bounds 2 >= 1 @ 30.5522
31.01/31.10	c GLOBAL bounds 2 >= 1 @ 30.5537
31.01/31.12	c GLOBAL bounds 2 >= 1 @ 30.5748
31.01/31.13	c GLOBAL bounds 2 >= 1 @ 30.5766
31.01/31.15	c GLOBAL bounds 2 >= 1 @ 30.5978
31.01/31.15	c GLOBAL bounds 2 >= 1 @ 30.5986
31.01/31.17	c GLOBAL bounds 2 >= 1 @ 30.6196
31.01/31.17	c GLOBAL bounds 2 >= 1 @ 30.6214
31.01/31.19	c GLOBAL bounds 2 >= 1 @ 30.6431
31.10/31.20	c GLOBAL bounds 2 >= 1 @ 30.6449
31.10/31.22	c GLOBAL bounds 2 >= 1 @ 30.6664
31.10/31.22	c GLOBAL bounds 2 >= 1 @ 30.6672
31.10/31.24	c GLOBAL bounds 2 >= 1 @ 30.6885
31.10/31.24	c GLOBAL bounds 2 >= 1 @ 30.6894
31.10/31.27	c GLOBAL bounds 2 >= 1 @ 30.7106
31.10/31.27	c GLOBAL bounds 2 >= 1 @ 30.7114
31.10/31.29	c GLOBAL bounds 2 >= 1 @ 30.7317
31.10/31.29	c GLOBAL bounds 2 >= 1 @ 30.7335
31.10/31.29	c GLOBAL bounds 2 >= 1 @ 30.7335
31.20/31.31	c GLOBAL bounds 2 >= 1 @ 30.7548
31.20/31.33	c GLOBAL bounds 2 >= 1 @ 30.7752
31.20/31.33	c GLOBAL bounds 2 >= 1 @ 30.777
31.20/31.36	c GLOBAL bounds 2 >= 1 @ 30.7974
31.20/31.36	c GLOBAL bounds 2 >= 1 @ 30.7982
31.20/31.38	c GLOBAL bounds 2 >= 1 @ 30.8191
31.20/31.38	c GLOBAL bounds 2 >= 1 @ 30.821
31.30/31.40	c GLOBAL bounds 2 >= 1 @ 30.8421
31.30/31.40	c GLOBAL bounds 2 >= 1 @ 30.8431
31.30/31.43	c GLOBAL bounds 2 >= 1 @ 30.8655
31.30/31.43	c GLOBAL bounds 2 >= 1 @ 30.867
31.30/31.45	c GLOBAL bounds 2 >= 1 @ 30.8877
31.30/31.45	c GLOBAL bounds 2 >= 1 @ 30.8885
31.30/31.47	c GLOBAL bounds 2 >= 1 @ 30.9095
31.30/31.48	c GLOBAL bounds 2 >= 1 @ 30.9099
31.39/31.50	c GLOBAL bounds 2 >= 1 @ 30.9293
31.39/31.50	c GLOBAL bounds 2 >= 1 @ 30.9309
31.39/31.52	c GLOBAL bounds 2 >= 1 @ 30.9509
31.39/31.52	c GLOBAL bounds 2 >= 1 @ 30.9518
31.39/31.56	c INPROCESSING
31.39/31.56	c GARBAGE COLLECT
31.39/31.56	c rational objective 0
31.90/32.02	c GLOBAL bounds 2 >= 1 @ 31.4528
31.90/32.03	c GLOBAL bounds 2 >= 1 @ 31.4537
31.90/32.03	c GLOBAL bounds 2 >= 1 @ 31.4537
31.90/32.05	c GLOBAL bounds 2 >= 1 @ 31.4719
31.90/32.06	c GLOBAL bounds 2 >= 1 @ 31.4905
31.90/32.07	c GLOBAL bounds 2 >= 1 @ 31.4913
31.90/32.09	c GLOBAL bounds 2 >= 1 @ 31.5085
31.90/32.09	c GLOBAL bounds 2 >= 1 @ 31.5095
32.00/32.11	c GLOBAL bounds 2 >= 1 @ 31.5285
32.00/32.11	c GLOBAL bounds 2 >= 1 @ 31.5293
32.00/32.13	c GLOBAL bounds 2 >= 1 @ 31.5487
32.00/32.13	c GLOBAL bounds 2 >= 1 @ 31.5494
32.00/32.15	c GLOBAL bounds 2 >= 1 @ 31.5681
32.00/32.15	c GLOBAL bounds 2 >= 1 @ 31.5699
32.00/32.17	c GLOBAL bounds 2 >= 1 @ 31.5891
32.00/32.17	c GLOBAL bounds 2 >= 1 @ 31.5893
32.00/32.19	c GLOBAL bounds 2 >= 1 @ 31.6083
32.00/32.19	c GLOBAL bounds 2 >= 1 @ 31.6101
32.20/32.30	c GLOBAL bounds 2 >= 1 @ 31.7097
32.20/32.31	c GLOBAL bounds 2 >= 1 @ 31.711
32.20/32.32	c GLOBAL bounds 2 >= 1 @ 31.7281
32.20/32.33	c GLOBAL bounds 2 >= 1 @ 31.729
32.20/32.35	c GLOBAL bounds 2 >= 1 @ 31.7459
32.20/32.35	c GLOBAL bounds 2 >= 1 @ 31.746
32.20/32.35	c GLOBAL bounds 2 >= 1 @ 31.746
32.20/32.37	c GLOBAL bounds 2 >= 1 @ 31.7651
32.20/32.39	c GLOBAL bounds 2 >= 1 @ 31.7836
32.20/32.39	c GLOBAL bounds 2 >= 1 @ 31.7845
32.30/32.41	c GLOBAL bounds 2 >= 1 @ 31.8024
32.30/32.41	c GLOBAL bounds 2 >= 1 @ 31.8028
32.30/32.43	c GLOBAL bounds 2 >= 1 @ 31.8216
32.30/32.43	c GLOBAL bounds 2 >= 1 @ 31.8225
32.30/32.45	c GLOBAL bounds 2 >= 1 @ 31.8409
32.30/32.45	c GLOBAL bounds 2 >= 1 @ 31.8427
32.30/32.47	c GLOBAL bounds 2 >= 1 @ 31.8615
32.30/32.47	c GLOBAL bounds 2 >= 1 @ 31.8627
32.30/32.49	c GLOBAL bounds 2 >= 1 @ 31.8811
32.30/32.49	c GLOBAL bounds 2 >= 1 @ 31.8829
32.40/32.51	c GLOBAL bounds 2 >= 1 @ 31.9018
32.40/32.51	c GLOBAL bounds 2 >= 1 @ 31.9026
32.40/32.53	c GLOBAL bounds 2 >= 1 @ 31.9214
32.40/32.54	c GLOBAL bounds 2 >= 1 @ 31.9232
32.40/32.55	c GLOBAL bounds 2 >= 1 @ 31.941
32.40/32.56	c GLOBAL bounds 2 >= 1 @ 31.9429
32.40/32.58	c GLOBAL bounds 2 >= 1 @ 31.9625
32.40/32.58	c GLOBAL bounds 2 >= 1 @ 31.9644
32.40/32.58	c GLOBAL bounds 2 >= 1 @ 31.9644
32.50/32.60	c GLOBAL bounds 2 >= 1 @ 31.9841
32.50/32.62	c GLOBAL bounds 2 >= 1 @ 32.0016
32.50/32.62	c GLOBAL bounds 2 >= 1 @ 32.0034
32.50/32.64	c GLOBAL bounds 2 >= 1 @ 32.0212
32.50/32.64	c GLOBAL bounds 2 >= 1 @ 32.022
32.50/32.66	c GLOBAL bounds 2 >= 1 @ 32.041
32.50/32.66	c GLOBAL bounds 2 >= 1 @ 32.0429
32.50/32.68	c GLOBAL bounds 2 >= 1 @ 32.0619
32.50/32.68	c GLOBAL bounds 2 >= 1 @ 32.0628
32.59/32.70	c GLOBAL bounds 2 >= 1 @ 32.0824
32.59/32.70	c GLOBAL bounds 2 >= 1 @ 32.0832
32.59/32.72	c GLOBAL bounds 2 >= 1 @ 32.102
32.59/32.72	c GLOBAL bounds 2 >= 1 @ 32.1038
32.59/32.74	c GLOBAL bounds 2 >= 1 @ 32.1224
32.59/32.74	c GLOBAL bounds 2 >= 1 @ 32.1231
32.59/32.76	c GLOBAL bounds 2 >= 1 @ 32.1415
32.59/32.77	c GLOBAL bounds 2 >= 1 @ 32.143
32.59/32.79	c GLOBAL bounds 2 >= 1 @ 32.1616
32.59/32.79	c GLOBAL bounds 2 >= 1 @ 32.1625
32.70/32.81	c GLOBAL bounds 2 >= 1 @ 32.1814
32.70/32.81	c GLOBAL bounds 2 >= 1 @ 32.1831
32.70/32.81	c GLOBAL bounds 2 >= 1 @ 32.1832
32.70/32.83	c GLOBAL bounds 2 >= 1 @ 32.2022
32.70/32.85	c GLOBAL bounds 2 >= 1 @ 32.2208
32.70/32.85	c GLOBAL bounds 2 >= 1 @ 32.2216
32.70/32.87	c GLOBAL bounds 2 >= 1 @ 32.2417
32.70/32.87	c GLOBAL bounds 2 >= 1 @ 32.2418
32.70/32.89	c GLOBAL bounds 2 >= 1 @ 32.2612
32.70/32.89	c GLOBAL bounds 2 >= 1 @ 32.2628
32.79/32.91	c GLOBAL bounds 2 >= 1 @ 32.2813
32.79/32.91	c GLOBAL bounds 2 >= 1 @ 32.2817
32.79/32.93	c GLOBAL bounds 2 >= 1 @ 32.2998
32.79/32.93	c GLOBAL bounds 2 >= 1 @ 32.3007
32.79/32.96	c GLOBAL bounds 2 >= 1 @ 32.321
32.79/32.96	c GLOBAL bounds 2 >= 1 @ 32.3226
32.79/32.98	c GLOBAL bounds 2 >= 1 @ 32.3421
32.79/32.98	c GLOBAL bounds 2 >= 1 @ 32.3429
32.79/33.00	c GLOBAL bounds 2 >= 1 @ 32.3622
32.90/33.00	c GLOBAL bounds 2 >= 1 @ 32.364
32.90/33.02	c GLOBAL bounds 2 >= 1 @ 32.3834
32.90/33.02	c GLOBAL bounds 2 >= 1 @ 32.3842
32.90/33.04	c GLOBAL bounds 2 >= 1 @ 32.4032
32.90/33.04	c GLOBAL bounds 2 >= 1 @ 32.4034
32.90/33.04	c GLOBAL bounds 2 >= 1 @ 32.4034
32.90/33.06	c GLOBAL bounds 2 >= 1 @ 32.4223
32.90/33.08	c GLOBAL bounds 2 >= 1 @ 32.4397
32.90/33.08	c GLOBAL bounds 2 >= 1 @ 32.4413
33.00/33.10	c GLOBAL bounds 2 >= 1 @ 32.4612
33.00/33.11	c GLOBAL bounds 2 >= 1 @ 32.4613
33.00/33.13	c GLOBAL bounds 2 >= 1 @ 32.4794
33.00/33.13	c GLOBAL bounds 2 >= 1 @ 32.4812
33.00/33.15	c GLOBAL bounds 2 >= 1 @ 32.5006
33.00/33.15	c GLOBAL bounds 2 >= 1 @ 32.5022
33.00/33.17	c GLOBAL bounds 2 >= 1 @ 32.5204
33.00/33.17	c GLOBAL bounds 2 >= 1 @ 32.5211
33.00/33.19	c GLOBAL bounds 2 >= 1 @ 32.5398
33.00/33.20	c GLOBAL bounds 2 >= 1 @ 32.5417
33.10/33.22	c GLOBAL bounds 2 >= 1 @ 32.561
33.10/33.22	c GLOBAL bounds 2 >= 1 @ 32.562
33.10/33.24	c GLOBAL bounds 2 >= 1 @ 32.5814
33.10/33.24	c GLOBAL bounds 2 >= 1 @ 32.583
33.10/33.26	c GLOBAL bounds 2 >= 1 @ 32.602
33.10/33.26	c GLOBAL bounds 2 >= 1 @ 32.6029
33.10/33.28	c GLOBAL bounds 2 >= 1 @ 32.6218
33.10/33.28	c GLOBAL bounds 2 >= 1 @ 32.6237
33.10/33.28	c GLOBAL bounds 2 >= 1 @ 32.6237
33.19/33.30	c GLOBAL bounds 2 >= 1 @ 32.6442
33.19/33.32	c GLOBAL bounds 2 >= 1 @ 32.6617
33.19/33.32	c GLOBAL bounds 2 >= 1 @ 32.6635
33.19/33.34	c GLOBAL bounds 2 >= 1 @ 32.6815
33.19/33.34	c GLOBAL bounds 2 >= 1 @ 32.6833
33.19/33.36	c GLOBAL bounds 2 >= 1 @ 32.7023
33.19/33.36	c GLOBAL bounds 2 >= 1 @ 32.7042
33.19/33.38	c GLOBAL bounds 2 >= 1 @ 32.7237
33.19/33.39	c GLOBAL bounds 2 >= 1 @ 32.7246
33.30/33.41	c GLOBAL bounds 2 >= 1 @ 32.7427
33.30/33.41	c GLOBAL bounds 2 >= 1 @ 32.7436
33.30/33.43	c GLOBAL bounds 2 >= 1 @ 32.7643
33.30/33.43	c GLOBAL bounds 2 >= 1 @ 32.7653
33.30/33.45	c GLOBAL bounds 2 >= 1 @ 32.7835
33.30/33.45	c GLOBAL bounds 2 >= 1 @ 32.7835
33.30/33.47	c GLOBAL bounds 2 >= 1 @ 32.8015
33.30/33.47	c GLOBAL bounds 2 >= 1 @ 32.8033
33.30/33.49	c GLOBAL bounds 2 >= 1 @ 32.8206
33.30/33.49	c GLOBAL bounds 2 >= 1 @ 32.8215
33.40/33.51	c GLOBAL bounds 2 >= 1 @ 32.8412
33.40/33.52	c GLOBAL bounds 2 >= 1 @ 32.8431
33.40/33.52	c GLOBAL bounds 2 >= 1 @ 32.8431
33.40/33.53	c GLOBAL bounds 2 >= 1 @ 32.8614
33.40/33.55	c GLOBAL bounds 2 >= 1 @ 32.8788
33.40/33.56	c GLOBAL bounds 2 >= 1 @ 32.8793
33.40/33.58	c GLOBAL bounds 2 >= 1 @ 32.8965
33.40/33.58	c GLOBAL bounds 2 >= 1 @ 32.8973
33.49/33.60	c GLOBAL bounds 2 >= 1 @ 32.9157
33.49/33.60	c GLOBAL bounds 2 >= 1 @ 32.9162
33.49/33.62	c GLOBAL bounds 2 >= 1 @ 32.9356
33.49/33.62	c GLOBAL bounds 2 >= 1 @ 32.9372
33.49/33.64	c GLOBAL bounds 2 >= 1 @ 32.9569
33.49/33.64	c GLOBAL bounds 2 >= 1 @ 32.9581
33.49/33.66	c GLOBAL bounds 2 >= 1 @ 32.9785
33.49/33.67	c GLOBAL bounds 2 >= 1 @ 32.9804
33.49/33.69	c GLOBAL bounds 2 >= 1 @ 33.0004
33.49/33.69	c GLOBAL bounds 2 >= 1 @ 33.0023
33.60/33.71	c GLOBAL bounds 2 >= 1 @ 33.0217
33.60/33.71	c GLOBAL bounds 2 >= 1 @ 33.0226
33.60/33.73	c GLOBAL bounds 2 >= 1 @ 33.043
33.60/33.73	c GLOBAL bounds 2 >= 1 @ 33.0449
33.60/33.75	c GLOBAL bounds 2 >= 1 @ 33.0648
33.60/33.75	c GLOBAL bounds 2 >= 1 @ 33.0649
33.60/33.75	c GLOBAL bounds 2 >= 1 @ 33.0649
33.60/33.77	c GLOBAL bounds 2 >= 1 @ 33.0838
33.60/33.79	c GLOBAL bounds 2 >= 1 @ 33.1024
33.60/33.79	c GLOBAL bounds 2 >= 1 @ 33.1038
33.69/33.81	c GLOBAL bounds 2 >= 1 @ 33.1239
33.69/33.82	c GLOBAL bounds 2 >= 1 @ 33.1247
33.69/33.84	c GLOBAL bounds 2 >= 1 @ 33.1433
33.69/33.84	c GLOBAL bounds 2 >= 1 @ 33.1452
33.69/33.86	c GLOBAL bounds 2 >= 1 @ 33.1653
33.69/33.86	c GLOBAL bounds 2 >= 1 @ 33.1662
33.69/33.88	c GLOBAL bounds 2 >= 1 @ 33.1842
33.69/33.88	c GLOBAL bounds 2 >= 1 @ 33.1846
33.79/33.90	c GLOBAL bounds 2 >= 1 @ 33.2048
33.79/33.91	c GLOBAL bounds 2 >= 1 @ 33.2065
33.79/33.93	c GLOBAL bounds 2 >= 1 @ 33.2242
33.79/33.93	c GLOBAL bounds 2 >= 1 @ 33.2261
33.79/33.95	c GLOBAL bounds 2 >= 1 @ 33.2459
33.79/33.95	c GLOBAL bounds 2 >= 1 @ 33.2475
33.79/33.97	c GLOBAL bounds 2 >= 1 @ 33.2659
33.79/33.97	c GLOBAL bounds 2 >= 1 @ 33.2664
33.79/33.99	c GLOBAL bounds 2 >= 1 @ 33.2834
33.79/33.99	c GLOBAL bounds 2 >= 1 @ 33.2844
33.79/33.99	c GLOBAL bounds 2 >= 1 @ 33.2844
33.90/34.01	c GLOBAL bounds 2 >= 1 @ 33.3037
33.90/34.03	c GLOBAL bounds 2 >= 1 @ 33.3213
33.90/34.03	c GLOBAL bounds 2 >= 1 @ 33.3213
33.90/34.05	c GLOBAL bounds 2 >= 1 @ 33.3415
33.90/34.06	c GLOBAL bounds 2 >= 1 @ 33.3424
33.90/34.08	c GLOBAL bounds 2 >= 1 @ 33.3618
33.90/34.08	c GLOBAL bounds 2 >= 1 @ 33.3636
33.90/34.10	c GLOBAL bounds 2 >= 1 @ 33.3818
33.90/34.10	c GLOBAL bounds 2 >= 1 @ 33.3831
34.00/34.12	c GLOBAL bounds 2 >= 1 @ 33.4016
34.00/34.12	c GLOBAL bounds 2 >= 1 @ 33.4031
34.00/34.14	c GLOBAL bounds 2 >= 1 @ 33.4221
34.00/34.14	c GLOBAL bounds 2 >= 1 @ 33.4231
34.00/34.16	c GLOBAL bounds 2 >= 1 @ 33.4424
34.00/34.16	c GLOBAL bounds 2 >= 1 @ 33.444
34.00/34.18	c GLOBAL bounds 2 >= 1 @ 33.4626
34.00/34.19	c GLOBAL bounds 2 >= 1 @ 33.4645
34.09/34.20	c GLOBAL bounds 2 >= 1 @ 33.4841
34.09/34.21	c GLOBAL bounds 2 >= 1 @ 33.486
34.09/34.23	c GLOBAL bounds 2 >= 1 @ 33.5059
34.09/34.23	c GLOBAL bounds 2 >= 1 @ 33.5078
34.09/34.23	c GLOBAL bounds 2 >= 1 @ 33.5078
34.09/34.25	c GLOBAL bounds 2 >= 1 @ 33.5262
34.09/34.25	c GLOBAL bounds 2 >= 1 @ 33.5283
34.09/34.25	c GLOBAL bounds 2 >= 1 @ 33.5292
34.09/34.27	c GLOBAL bounds 2 >= 1 @ 33.55
34.09/34.28	c GLOBAL bounds 2 >= 1 @ 33.5519
34.20/34.30	c GLOBAL bounds 2 >= 1 @ 33.5714
34.20/34.30	c GLOBAL bounds 2 >= 1 @ 33.5723
34.20/34.32	c GLOBAL bounds 2 >= 1 @ 33.5927
34.20/34.32	c GLOBAL bounds 2 >= 1 @ 33.5937
34.20/34.34	c GLOBAL bounds 2 >= 1 @ 33.6123
34.20/34.34	c GLOBAL bounds 2 >= 1 @ 33.6142
34.20/34.36	c GLOBAL bounds 2 >= 1 @ 33.6336
34.20/34.36	c GLOBAL bounds 2 >= 1 @ 33.6356
34.20/34.38	c GLOBAL bounds 2 >= 1 @ 33.6554
34.20/34.39	c GLOBAL bounds 2 >= 1 @ 33.6555
34.29/34.41	c GLOBAL bounds 2 >= 1 @ 33.6748
34.29/34.41	c GLOBAL bounds 2 >= 1 @ 33.6755
34.29/34.43	c GLOBAL bounds 2 >= 1 @ 33.6953
34.29/34.43	c GLOBAL bounds 2 >= 1 @ 33.6962
34.29/34.45	c GLOBAL bounds 2 >= 1 @ 33.7141
34.29/34.45	c GLOBAL bounds 2 >= 1 @ 33.716
34.29/34.45	c GLOBAL bounds 2 >= 1 @ 33.716
34.29/34.47	c GLOBAL bounds 2 >= 1 @ 33.7336
34.29/34.49	c GLOBAL bounds 2 >= 1 @ 33.7522
34.29/34.49	c GLOBAL bounds 2 >= 1 @ 33.7523
34.39/34.51	c GLOBAL bounds 2 >= 1 @ 33.7719
34.39/34.51	c GLOBAL bounds 2 >= 1 @ 33.7733
34.39/34.54	c GLOBAL bounds 2 >= 1 @ 33.7925
34.39/34.54	c GLOBAL bounds 2 >= 1 @ 33.7933
34.39/34.56	c GLOBAL bounds 2 >= 1 @ 33.8117
34.39/34.56	c GLOBAL bounds 2 >= 1 @ 33.8132
34.39/34.58	c GLOBAL bounds 2 >= 1 @ 33.8322
34.39/34.58	c GLOBAL bounds 2 >= 1 @ 33.834
34.49/34.60	c GLOBAL bounds 2 >= 1 @ 33.8524
34.49/34.60	c GLOBAL bounds 2 >= 1 @ 33.8531
34.49/34.62	c GLOBAL bounds 2 >= 1 @ 33.8708
34.49/34.62	c GLOBAL bounds 2 >= 1 @ 33.8716
34.49/34.64	c GLOBAL bounds 2 >= 1 @ 33.8893
34.49/34.64	c GLOBAL bounds 2 >= 1 @ 33.8902
34.49/34.66	c GLOBAL bounds 2 >= 1 @ 33.911
34.49/34.67	c GLOBAL bounds 2 >= 1 @ 33.9119
34.49/34.69	c GLOBAL bounds 2 >= 1 @ 33.9312
34.49/34.69	c GLOBAL bounds 2 >= 1 @ 33.9322
34.49/34.69	c GLOBAL bounds 2 >= 1 @ 33.9322
34.59/34.71	c GLOBAL bounds 2 >= 1 @ 33.952
34.59/34.73	c GLOBAL bounds 2 >= 1 @ 33.9705
34.59/34.73	c GLOBAL bounds 2 >= 1 @ 33.9715
34.59/34.75	c GLOBAL bounds 2 >= 1 @ 33.9904
34.59/34.75	c GLOBAL bounds 2 >= 1 @ 33.9913
34.59/34.77	c GLOBAL bounds 2 >= 1 @ 34.0108
34.59/34.77	c GLOBAL bounds 2 >= 1 @ 34.0117
34.59/34.79	c GLOBAL bounds 2 >= 1 @ 34.0315
34.59/34.79	c GLOBAL bounds 2 >= 1 @ 34.0323
34.69/34.81	c GLOBAL bounds 2 >= 1 @ 34.0517
34.69/34.81	c GLOBAL bounds 2 >= 1 @ 34.0526
34.69/34.83	c GLOBAL bounds 2 >= 1 @ 34.0716
34.69/34.84	c GLOBAL bounds 2 >= 1 @ 34.0726
34.69/34.86	c GLOBAL bounds 2 >= 1 @ 34.092
34.69/34.86	c GLOBAL bounds 2 >= 1 @ 34.0939
34.69/34.88	c GLOBAL bounds 2 >= 1 @ 34.113
34.69/34.88	c GLOBAL bounds 2 >= 1 @ 34.1145
34.79/34.90	c GLOBAL bounds 2 >= 1 @ 34.134
34.79/34.90	c GLOBAL bounds 2 >= 1 @ 34.1344
34.79/34.92	c GLOBAL bounds 2 >= 1 @ 34.1538
34.79/34.93	c GLOBAL bounds 2 >= 1 @ 34.1557
34.79/34.93	c GLOBAL bounds 2 >= 1 @ 34.1557
34.79/34.95	c GLOBAL bounds 2 >= 1 @ 34.1749
34.79/34.97	c GLOBAL bounds 2 >= 1 @ 34.1918
34.79/34.97	c GLOBAL bounds 2 >= 1 @ 34.1933
34.79/34.99	c GLOBAL bounds 2 >= 1 @ 34.2116
34.79/34.99	c GLOBAL bounds 2 >= 1 @ 34.2135
34.90/35.01	c GLOBAL bounds 2 >= 1 @ 34.2333
34.90/35.01	c GLOBAL bounds 2 >= 1 @ 34.2342
34.90/35.03	c GLOBAL bounds 2 >= 1 @ 34.2534
34.90/35.03	c GLOBAL bounds 2 >= 1 @ 34.2542
34.90/35.05	c GLOBAL bounds 2 >= 1 @ 34.2741
34.90/35.05	c GLOBAL bounds 2 >= 1 @ 34.2741
34.90/35.07	c GLOBAL bounds 2 >= 1 @ 34.2933
34.90/35.07	c GLOBAL bounds 2 >= 1 @ 34.2941
34.90/35.09	c GLOBAL bounds 2 >= 1 @ 34.3128
34.90/35.10	c GLOBAL bounds 2 >= 1 @ 34.3146
34.99/35.12	c GLOBAL bounds 2 >= 1 @ 34.3343
34.99/35.12	c GLOBAL bounds 2 >= 1 @ 34.335
34.99/35.14	c GLOBAL bounds 2 >= 1 @ 34.3526
34.99/35.14	c GLOBAL bounds 2 >= 1 @ 34.354
34.99/35.16	c GLOBAL bounds 2 >= 1 @ 34.3729
34.99/35.16	c GLOBAL bounds 2 >= 1 @ 34.3739
34.99/35.16	c GLOBAL bounds 2 >= 1 @ 34.3739
34.99/35.18	c GLOBAL bounds 2 >= 1 @ 34.3941
35.09/35.20	c GLOBAL bounds 2 >= 1 @ 34.4128
35.09/35.20	c GLOBAL bounds 2 >= 1 @ 34.4147
35.09/35.22	c GLOBAL bounds 2 >= 1 @ 34.4348
35.09/35.23	c GLOBAL bounds 2 >= 1 @ 34.4367
35.09/35.25	c GLOBAL bounds 2 >= 1 @ 34.4567
35.09/35.25	c GLOBAL bounds 2 >= 1 @ 34.4567
35.09/35.27	c GLOBAL bounds 2 >= 1 @ 34.4766
35.09/35.27	c GLOBAL bounds 2 >= 1 @ 34.4784
35.09/35.29	c GLOBAL bounds 2 >= 1 @ 34.4979
35.09/35.29	c GLOBAL bounds 2 >= 1 @ 34.4988
35.19/35.31	c GLOBAL bounds 2 >= 1 @ 34.5178
35.19/35.31	c GLOBAL bounds 2 >= 1 @ 34.5186
35.19/35.33	c GLOBAL bounds 2 >= 1 @ 34.5371
35.19/35.34	c GLOBAL bounds 2 >= 1 @ 34.5375
35.19/35.36	c GLOBAL bounds 2 >= 1 @ 34.5572
35.19/35.36	c GLOBAL bounds 2 >= 1 @ 34.558
35.19/35.38	c GLOBAL bounds 2 >= 1 @ 34.5769
35.19/35.38	c GLOBAL bounds 2 >= 1 @ 34.5784
35.29/35.40	c GLOBAL bounds 2 >= 1 @ 34.5961
35.29/35.40	c GLOBAL bounds 2 >= 1 @ 34.597
35.29/35.40	c GLOBAL bounds 2 >= 1 @ 34.597
35.29/35.42	c GLOBAL bounds 2 >= 1 @ 34.6178
35.29/35.44	c GLOBAL bounds 2 >= 1 @ 34.6345
35.29/35.44	c GLOBAL bounds 2 >= 1 @ 34.6363
35.29/35.46	c GLOBAL bounds 2 >= 1 @ 34.6547
35.29/35.46	c GLOBAL bounds 2 >= 1 @ 34.6566
35.29/35.48	c GLOBAL bounds 2 >= 1 @ 34.676
35.29/35.49	c GLOBAL bounds 2 >= 1 @ 34.6762
35.39/35.51	c GLOBAL bounds 2 >= 1 @ 34.6968
35.39/35.51	c GLOBAL bounds 2 >= 1 @ 34.6978
35.39/35.53	c GLOBAL bounds 2 >= 1 @ 34.716
35.39/35.53	c GLOBAL bounds 2 >= 1 @ 34.7161
35.39/35.55	c GLOBAL bounds 2 >= 1 @ 34.7345
35.39/35.55	c GLOBAL bounds 2 >= 1 @ 34.7361
35.39/35.57	c GLOBAL bounds 2 >= 1 @ 34.7547
35.39/35.57	c GLOBAL bounds 2 >= 1 @ 34.7566
35.39/35.59	c GLOBAL bounds 2 >= 1 @ 34.7764
35.49/35.60	c GLOBAL bounds 2 >= 1 @ 34.777
35.49/35.62	c GLOBAL bounds 2 >= 1 @ 34.7949
35.49/35.62	c GLOBAL bounds 2 >= 1 @ 34.796
35.49/35.64	c GLOBAL bounds 2 >= 1 @ 34.8153
35.49/35.64	c GLOBAL bounds 2 >= 1 @ 34.8159
35.49/35.64	c GLOBAL bounds 2 >= 1 @ 34.8159
35.49/35.66	c GLOBAL bounds 2 >= 1 @ 34.8333
35.49/35.68	c GLOBAL bounds 2 >= 1 @ 34.8521
35.49/35.68	c GLOBAL bounds 2 >= 1 @ 34.8539
35.58/35.70	c GLOBAL bounds 2 >= 1 @ 34.874
35.58/35.70	c GLOBAL bounds 2 >= 1 @ 34.8748
35.58/35.72	c GLOBAL bounds 2 >= 1 @ 34.8947
35.58/35.72	c GLOBAL bounds 2 >= 1 @ 34.8956
35.58/35.74	c GLOBAL bounds 2 >= 1 @ 34.9154
35.58/35.75	c GLOBAL bounds 2 >= 1 @ 34.9173
35.58/35.77	c GLOBAL bounds 2 >= 1 @ 34.9358
35.58/35.77	c GLOBAL bounds 2 >= 1 @ 34.9376
35.58/35.79	c GLOBAL bounds 2 >= 1 @ 34.9567
35.58/35.79	c GLOBAL bounds 2 >= 1 @ 34.9576
35.69/35.81	c GLOBAL bounds 2 >= 1 @ 34.9773
35.69/35.81	c GLOBAL bounds 2 >= 1 @ 34.9782
35.69/35.83	c GLOBAL bounds 2 >= 1 @ 34.9978
35.69/35.83	c GLOBAL bounds 2 >= 1 @ 34.9985
35.69/35.85	c GLOBAL bounds 2 >= 1 @ 35.0185
35.69/35.86	c GLOBAL bounds 2 >= 1 @ 35.0195
35.69/35.88	c GLOBAL bounds 2 >= 1 @ 35.0406
35.69/35.88	c GLOBAL bounds 2 >= 1 @ 35.0414
35.69/35.88	c GLOBAL bounds 2 >= 1 @ 35.0414
35.79/35.90	c GLOBAL bounds 2 >= 1 @ 35.0594
35.79/35.92	c GLOBAL bounds 2 >= 1 @ 35.078
35.79/35.92	c GLOBAL bounds 2 >= 1 @ 35.0789
35.79/35.94	c GLOBAL bounds 2 >= 1 @ 35.0989
35.79/35.94	c GLOBAL bounds 2 >= 1 @ 35.0993
35.79/35.96	c GLOBAL bounds 2 >= 1 @ 35.1189
35.79/35.96	c GLOBAL bounds 2 >= 1 @ 35.1198
35.79/35.98	c GLOBAL bounds 2 >= 1 @ 35.1391
35.79/35.99	c GLOBAL bounds 2 >= 1 @ 35.1402
35.89/36.01	c GLOBAL bounds 2 >= 1 @ 35.1608
35.89/36.01	c GLOBAL bounds 2 >= 1 @ 35.1617
35.89/36.03	c GLOBAL bounds 2 >= 1 @ 35.1814
35.89/36.03	c GLOBAL bounds 2 >= 1 @ 35.1831
35.89/36.05	c GLOBAL bounds 2 >= 1 @ 35.2015
35.89/36.05	c GLOBAL bounds 2 >= 1 @ 35.203
35.89/36.07	c GLOBAL bounds 2 >= 1 @ 35.2217
35.89/36.07	c GLOBAL bounds 2 >= 1 @ 35.2225
35.89/36.09	c GLOBAL bounds 2 >= 1 @ 35.2414
35.89/36.10	c GLOBAL bounds 2 >= 1 @ 35.2432
35.99/36.12	c GLOBAL bounds 2 >= 1 @ 35.2628
35.99/36.12	c GLOBAL bounds 2 >= 1 @ 35.2639
35.99/36.12	c GLOBAL bounds 2 >= 1 @ 35.2639
35.99/36.14	c GLOBAL bounds 2 >= 1 @ 35.2831
35.99/36.16	c GLOBAL bounds 2 >= 1 @ 35.3014
35.99/36.16	c GLOBAL bounds 2 >= 1 @ 35.3018
35.99/36.18	c GLOBAL bounds 2 >= 1 @ 35.3212
35.99/36.18	c GLOBAL bounds 2 >= 1 @ 35.3228
36.09/36.20	c GLOBAL bounds 2 >= 1 @ 35.3423
36.09/36.20	c GLOBAL bounds 2 >= 1 @ 35.3427
36.09/36.22	c GLOBAL bounds 2 >= 1 @ 35.3617
36.09/36.22	c GLOBAL bounds 2 >= 1 @ 35.3627
36.09/36.24	c GLOBAL bounds 2 >= 1 @ 35.3822
36.09/36.25	c GLOBAL bounds 2 >= 1 @ 35.3826
36.09/36.27	c GLOBAL bounds 2 >= 1 @ 35.402
36.09/36.27	c GLOBAL bounds 2 >= 1 @ 35.4039
36.09/36.29	c GLOBAL bounds 2 >= 1 @ 35.4223
36.09/36.29	c GLOBAL bounds 2 >= 1 @ 35.4242
36.19/36.31	c GLOBAL bounds 2 >= 1 @ 35.4431
36.19/36.31	c GLOBAL bounds 2 >= 1 @ 35.445
36.19/36.33	c GLOBAL bounds 2 >= 1 @ 35.4666
36.19/36.33	c GLOBAL bounds 2 >= 1 @ 35.4684
36.19/36.35	c GLOBAL bounds 2 >= 1 @ 35.4875
36.19/36.36	c GLOBAL bounds 2 >= 1 @ 35.4884
36.19/36.36	c GLOBAL bounds 2 >= 1 @ 35.4884
36.19/36.38	c GLOBAL bounds 2 >= 1 @ 35.5083
36.19/36.40	c GLOBAL bounds 2 >= 1 @ 35.5268
36.29/36.40	c GLOBAL bounds 2 >= 1 @ 35.5287
36.29/36.42	c GLOBAL bounds 2 >= 1 @ 35.5484
36.29/36.42	c GLOBAL bounds 2 >= 1 @ 35.5492
36.29/36.44	c GLOBAL bounds 2 >= 1 @ 35.5671
36.29/36.44	c GLOBAL bounds 2 >= 1 @ 35.568
36.29/36.46	c GLOBAL bounds 2 >= 1 @ 35.5873
36.29/36.46	c GLOBAL bounds 2 >= 1 @ 35.5892
36.29/36.48	c GLOBAL bounds 2 >= 1 @ 35.6088
36.29/36.48	c GLOBAL bounds 2 >= 1 @ 35.6097
36.39/36.50	c GLOBAL bounds 2 >= 1 @ 35.6298
36.39/36.51	c GLOBAL bounds 2 >= 1 @ 35.6307
36.39/36.53	c GLOBAL bounds 2 >= 1 @ 35.6505
36.39/36.53	c GLOBAL bounds 2 >= 1 @ 35.6524
36.39/36.55	c GLOBAL bounds 2 >= 1 @ 35.6715
36.39/36.55	c GLOBAL bounds 2 >= 1 @ 35.6725
36.39/36.57	c GLOBAL bounds 2 >= 1 @ 35.692
36.39/36.57	c GLOBAL bounds 2 >= 1 @ 35.6929
36.39/36.59	c GLOBAL bounds 2 >= 1 @ 35.711
36.39/36.59	c GLOBAL bounds 2 >= 1 @ 35.7129
36.39/36.59	c GLOBAL bounds 2 >= 1 @ 35.7129
36.49/36.61	c GLOBAL bounds 2 >= 1 @ 35.7328
36.49/36.63	c GLOBAL bounds 2 >= 1 @ 35.7512
36.49/36.64	c GLOBAL bounds 2 >= 1 @ 35.7528
36.49/36.66	c GLOBAL bounds 2 >= 1 @ 35.7724
36.49/36.66	c GLOBAL bounds 2 >= 1 @ 35.7734
36.49/36.68	c GLOBAL bounds 2 >= 1 @ 35.7947
36.49/36.68	c GLOBAL bounds 2 >= 1 @ 35.7947
36.58/36.70	c GLOBAL bounds 2 >= 1 @ 35.8128
36.58/36.70	c GLOBAL bounds 2 >= 1 @ 35.8137
36.58/36.72	c GLOBAL bounds 2 >= 1 @ 35.8316
36.58/36.72	c GLOBAL bounds 2 >= 1 @ 35.8325
36.58/36.75	c GLOBAL bounds 2 >= 1 @ 35.8536
36.58/36.75	c GLOBAL bounds 2 >= 1 @ 35.8546
36.58/36.77	c GLOBAL bounds 2 >= 1 @ 35.8743
36.58/36.77	c GLOBAL bounds 2 >= 1 @ 35.8751
36.58/36.79	c GLOBAL bounds 2 >= 1 @ 35.8952
36.58/36.79	c GLOBAL bounds 2 >= 1 @ 35.8971
36.69/36.81	c GLOBAL bounds 2 >= 1 @ 35.9154
36.69/36.81	c GLOBAL bounds 2 >= 1 @ 35.9173
36.69/36.83	c GLOBAL bounds 2 >= 1 @ 35.938
36.69/36.84	c GLOBAL bounds 2 >= 1 @ 35.9389
36.69/36.84	c GLOBAL bounds 2 >= 1 @ 35.9389
36.69/36.86	c GLOBAL bounds 2 >= 1 @ 35.9595
36.69/36.87	c GLOBAL bounds 2 >= 1 @ 35.9772
36.69/36.88	c GLOBAL bounds 2 >= 1 @ 35.9773
36.79/36.90	c GLOBAL bounds 2 >= 1 @ 35.9956
36.79/36.90	c GLOBAL bounds 2 >= 1 @ 35.9972
36.79/36.92	c GLOBAL bounds 2 >= 1 @ 36.0153
36.79/36.92	c GLOBAL bounds 2 >= 1 @ 36.0162
36.79/36.94	c GLOBAL bounds 2 >= 1 @ 36.0359
36.79/36.94	c GLOBAL bounds 2 >= 1 @ 36.0368
36.79/36.96	c GLOBAL bounds 2 >= 1 @ 36.0562
36.79/36.96	c GLOBAL bounds 2 >= 1 @ 36.0581
36.79/36.98	c GLOBAL bounds 2 >= 1 @ 36.079
36.79/36.99	c GLOBAL bounds 2 >= 1 @ 36.0791
36.89/37.01	c GLOBAL bounds 2 >= 1 @ 36.1
36.89/37.01	c GLOBAL bounds 2 >= 1 @ 36.1019
36.89/37.03	c GLOBAL bounds 2 >= 1 @ 36.1227
36.89/37.03	c GLOBAL bounds 2 >= 1 @ 36.1236
36.89/37.05	c GLOBAL bounds 2 >= 1 @ 36.1437
36.89/37.05	c GLOBAL bounds 2 >= 1 @ 36.1446
36.89/37.08	c GLOBAL bounds 2 >= 1 @ 36.1654
36.89/37.08	c GLOBAL bounds 2 >= 1 @ 36.1673
36.89/37.08	c GLOBAL bounds 2 >= 1 @ 36.1673
36.89/37.10	c GLOBAL bounds 2 >= 1 @ 36.1884
37.00/37.12	c GLOBAL bounds 2 >= 1 @ 36.2059
37.00/37.12	c GLOBAL bounds 2 >= 1 @ 36.2069
37.00/37.14	c GLOBAL bounds 2 >= 1 @ 36.2264
37.00/37.14	c GLOBAL bounds 2 >= 1 @ 36.2284
37.00/37.16	c GLOBAL bounds 2 >= 1 @ 36.2458
37.00/37.16	c GLOBAL bounds 2 >= 1 @ 36.2477
37.00/37.18	c GLOBAL bounds 2 >= 1 @ 36.2658
37.00/37.18	c GLOBAL bounds 2 >= 1 @ 36.2676
37.08/37.20	c GLOBAL bounds 2 >= 1 @ 36.2871
37.08/37.21	c GLOBAL bounds 2 >= 1 @ 36.2876
37.08/37.23	c GLOBAL bounds 2 >= 1 @ 36.3073
37.08/37.23	c GLOBAL bounds 2 >= 1 @ 36.3091
37.08/37.25	c GLOBAL bounds 2 >= 1 @ 36.3276
37.08/37.25	c GLOBAL bounds 2 >= 1 @ 36.3294
37.08/37.27	c GLOBAL bounds 2 >= 1 @ 36.3472
37.08/37.27	c GLOBAL bounds 2 >= 1 @ 36.3484
37.08/37.29	c GLOBAL bounds 2 >= 1 @ 36.3685
37.08/37.29	c GLOBAL bounds 2 >= 1 @ 36.3702
37.19/37.31	c GLOBAL bounds 2 >= 1 @ 36.3891
37.19/37.32	c GLOBAL bounds 2 >= 1 @ 36.3908
37.19/37.32	c GLOBAL bounds 2 >= 1 @ 36.3908
37.19/37.34	c GLOBAL bounds 2 >= 1 @ 36.4109
37.19/37.35	c GLOBAL bounds 2 >= 1 @ 36.4285
37.19/37.36	c GLOBAL bounds 2 >= 1 @ 36.4293
37.19/37.38	c GLOBAL bounds 2 >= 1 @ 36.4497
37.19/37.38	c GLOBAL bounds 2 >= 1 @ 36.4512
37.28/37.40	c GLOBAL bounds 2 >= 1 @ 36.4702
37.28/37.40	c GLOBAL bounds 2 >= 1 @ 36.4719
37.28/37.42	c GLOBAL bounds 2 >= 1 @ 36.4911
37.28/37.42	c GLOBAL bounds 2 >= 1 @ 36.4918
37.28/37.44	c GLOBAL bounds 2 >= 1 @ 36.5125
37.28/37.44	c GLOBAL bounds 2 >= 1 @ 36.5132
37.28/37.46	c GLOBAL bounds 2 >= 1 @ 36.531
37.28/37.47	c GLOBAL bounds 2 >= 1 @ 36.5317
37.28/37.49	c GLOBAL bounds 2 >= 1 @ 36.5529
37.28/37.49	c GLOBAL bounds 2 >= 1 @ 36.5536
37.38/37.51	c GLOBAL bounds 2 >= 1 @ 36.5725
37.38/37.51	c GLOBAL bounds 2 >= 1 @ 36.5729
37.38/37.53	c GLOBAL bounds 2 >= 1 @ 36.5923
37.38/37.53	c GLOBAL bounds 2 >= 1 @ 36.594
37.38/37.55	c GLOBAL bounds 2 >= 1 @ 36.6141
37.38/37.55	c GLOBAL bounds 2 >= 1 @ 36.6149
37.38/37.55	c GLOBAL bounds 2 >= 1 @ 36.6149
37.38/37.57	c GLOBAL bounds 2 >= 1 @ 36.6346
37.38/37.59	c GLOBAL bounds 2 >= 1 @ 36.653
37.38/37.59	c GLOBAL bounds 2 >= 1 @ 36.6538
37.49/37.61	c GLOBAL bounds 2 >= 1 @ 36.6716
37.49/37.62	c GLOBAL bounds 2 >= 1 @ 36.6723
37.49/37.64	c GLOBAL bounds 2 >= 1 @ 36.6912
37.49/37.64	c GLOBAL bounds 2 >= 1 @ 36.6919
37.49/37.66	c GLOBAL bounds 2 >= 1 @ 36.7123
37.49/37.66	c GLOBAL bounds 2 >= 1 @ 36.714
37.49/37.68	c GLOBAL bounds 2 >= 1 @ 36.733
37.49/37.68	c GLOBAL bounds 2 >= 1 @ 36.7337
37.58/37.70	c GLOBAL bounds 2 >= 1 @ 36.7549
37.58/37.70	c GLOBAL bounds 2 >= 1 @ 36.7565
37.58/37.73	c GLOBAL bounds 2 >= 1 @ 36.776
37.58/37.73	c GLOBAL bounds 2 >= 1 @ 36.7766
37.58/37.75	c GLOBAL bounds 2 >= 1 @ 36.7961
37.58/37.75	c GLOBAL bounds 2 >= 1 @ 36.7974
37.58/37.77	c GLOBAL bounds 2 >= 1 @ 36.8162
37.58/37.77	c GLOBAL bounds 2 >= 1 @ 36.8174
37.58/37.79	c GLOBAL bounds 2 >= 1 @ 36.8367
37.58/37.79	c GLOBAL bounds 2 >= 1 @ 36.8374
37.58/37.79	c GLOBAL bounds 2 >= 1 @ 36.8374
37.68/37.81	c GLOBAL bounds 2 >= 1 @ 36.856
37.68/37.83	c GLOBAL bounds 2 >= 1 @ 36.8735
37.68/37.83	c GLOBAL bounds 2 >= 1 @ 36.8743
37.68/37.85	c GLOBAL bounds 2 >= 1 @ 36.8927
37.68/37.86	c GLOBAL bounds 2 >= 1 @ 36.8932
37.68/37.88	c GLOBAL bounds 2 >= 1 @ 36.9124
37.68/37.88	c GLOBAL bounds 2 >= 1 @ 36.914
37.78/37.90	c GLOBAL bounds 2 >= 1 @ 36.9337
37.78/37.90	c GLOBAL bounds 2 >= 1 @ 36.9341
37.78/37.92	c GLOBAL bounds 2 >= 1 @ 36.9533
37.78/37.92	c GLOBAL bounds 2 >= 1 @ 36.955
37.78/37.94	c GLOBAL bounds 2 >= 1 @ 36.9747
37.78/37.94	c GLOBAL bounds 2 >= 1 @ 36.976
37.78/37.97	c GLOBAL bounds 2 >= 1 @ 36.9953
37.78/37.97	c GLOBAL bounds 2 >= 1 @ 36.996
37.78/37.99	c GLOBAL bounds 2 >= 1 @ 37.0153
37.78/37.99	c GLOBAL bounds 2 >= 1 @ 37.016
37.89/38.01	c GLOBAL bounds 2 >= 1 @ 37.0348
37.89/38.01	c GLOBAL bounds 2 >= 1 @ 37.0356
37.89/38.03	c GLOBAL bounds 2 >= 1 @ 37.0558
37.89/38.03	c GLOBAL bounds 2 >= 1 @ 37.0559
37.89/38.03	c GLOBAL bounds 2 >= 1 @ 37.0559
37.89/38.05	c GLOBAL bounds 2 >= 1 @ 37.0754
37.89/38.07	c GLOBAL bounds 2 >= 1 @ 37.0928
37.89/38.07	c GLOBAL bounds 2 >= 1 @ 37.0938
37.89/38.09	c GLOBAL bounds 2 >= 1 @ 37.1141
37.89/38.09	c GLOBAL bounds 2 >= 1 @ 37.1157
37.99/38.12	c GLOBAL bounds 2 >= 1 @ 37.1344
37.99/38.12	c GLOBAL bounds 2 >= 1 @ 37.1357
37.99/38.14	c GLOBAL bounds 2 >= 1 @ 37.1555
37.99/38.14	c GLOBAL bounds 2 >= 1 @ 37.1563
37.99/38.16	c GLOBAL bounds 2 >= 1 @ 37.1762
37.99/38.16	c GLOBAL bounds 2 >= 1 @ 37.1776
37.99/38.18	c GLOBAL bounds 2 >= 1 @ 37.1969
37.99/38.18	c GLOBAL bounds 2 >= 1 @ 37.1985
38.09/38.20	c GLOBAL bounds 2 >= 1 @ 37.219
38.09/38.21	c GLOBAL bounds 2 >= 1 @ 37.2195
38.09/38.23	c GLOBAL bounds 2 >= 1 @ 37.2369
38.09/38.23	c GLOBAL bounds 2 >= 1 @ 37.2385
38.09/38.25	c GLOBAL bounds 2 >= 1 @ 37.2562
38.09/38.25	c GLOBAL bounds 2 >= 1 @ 37.257
38.09/38.27	c GLOBAL bounds 2 >= 1 @ 37.2756
38.09/38.27	c GLOBAL bounds 2 >= 1 @ 37.2773
38.09/38.27	c GLOBAL bounds 2 >= 1 @ 37.2773
38.09/38.29	c GLOBAL bounds 2 >= 1 @ 37.2979
38.18/38.31	c GLOBAL bounds 2 >= 1 @ 37.3144
38.18/38.31	c GLOBAL bounds 2 >= 1 @ 37.3162
38.18/38.33	c GLOBAL bounds 2 >= 1 @ 37.3367
38.18/38.34	c GLOBAL bounds 2 >= 1 @ 37.3372
38.18/38.36	c GLOBAL bounds 2 >= 1 @ 37.3561
38.18/38.36	c GLOBAL bounds 2 >= 1 @ 37.3568
38.18/38.38	c GLOBAL bounds 2 >= 1 @ 37.377
38.18/38.38	c GLOBAL bounds 2 >= 1 @ 37.3788
38.28/38.40	c GLOBAL bounds 2 >= 1 @ 37.3997
38.28/38.40	c GLOBAL bounds 2 >= 1 @ 37.4001
38.28/38.43	c GLOBAL bounds 2 >= 1 @ 37.4211
38.28/38.43	c GLOBAL bounds 2 >= 1 @ 37.4228
38.28/38.45	c GLOBAL bounds 2 >= 1 @ 37.442
38.28/38.45	c GLOBAL bounds 2 >= 1 @ 37.4436
38.28/38.47	c GLOBAL bounds 2 >= 1 @ 37.4637
38.28/38.47	c GLOBAL bounds 2 >= 1 @ 37.4649
38.28/38.49	c GLOBAL bounds 2 >= 1 @ 37.4838
38.28/38.49	c GLOBAL bounds 2 >= 1 @ 37.4855
38.38/38.51	c GLOBAL bounds 2 >= 1 @ 37.5046
38.38/38.51	c GLOBAL bounds 2 >= 1 @ 37.5059
38.38/38.51	c GLOBAL bounds 2 >= 1 @ 37.5059
38.38/38.53	c GLOBAL bounds 2 >= 1 @ 37.5258
38.38/38.55	c GLOBAL bounds 2 >= 1 @ 37.5444
38.38/38.56	c GLOBAL bounds 2 >= 1 @ 37.5457
38.38/38.58	c GLOBAL bounds 2 >= 1 @ 37.5662
38.38/38.58	c GLOBAL bounds 2 >= 1 @ 37.5679
38.48/38.60	c GLOBAL bounds 2 >= 1 @ 37.5886
38.48/38.60	c GLOBAL bounds 2 >= 1 @ 37.5903
38.48/38.62	c GLOBAL bounds 2 >= 1 @ 37.6101
38.48/38.62	c GLOBAL bounds 2 >= 1 @ 37.6118
38.48/38.64	c GLOBAL bounds 2 >= 1 @ 37.6308
38.48/38.64	c GLOBAL bounds 2 >= 1 @ 37.6315
38.48/38.66	c GLOBAL bounds 2 >= 1 @ 37.6514
38.48/38.67	c GLOBAL bounds 2 >= 1 @ 37.6522
38.48/38.69	c GLOBAL bounds 2 >= 1 @ 37.6734
38.48/38.69	c GLOBAL bounds 2 >= 1 @ 37.674
38.59/38.71	c GLOBAL bounds 2 >= 1 @ 37.694
38.59/38.71	c GLOBAL bounds 2 >= 1 @ 37.6954
38.59/38.73	c GLOBAL bounds 2 >= 1 @ 37.713
38.59/38.73	c GLOBAL bounds 2 >= 1 @ 37.7143
38.59/38.75	c GLOBAL bounds 2 >= 1 @ 37.7336
38.59/38.75	c GLOBAL bounds 2 >= 1 @ 37.7353
38.59/38.75	c GLOBAL bounds 2 >= 1 @ 37.7353
38.59/38.77	c GLOBAL bounds 2 >= 1 @ 37.7531
38.59/38.79	c GLOBAL bounds 2 >= 1 @ 37.7705
38.59/38.79	c GLOBAL bounds 2 >= 1 @ 37.7712
38.68/38.81	c GLOBAL bounds 2 >= 1 @ 37.7908
38.68/38.82	c GLOBAL bounds 2 >= 1 @ 37.7925
38.68/38.83	c GLOBAL bounds 2 >= 1 @ 37.8123
38.68/38.84	c GLOBAL bounds 2 >= 1 @ 37.8139
38.68/38.86	c GLOBAL bounds 2 >= 1 @ 37.8342
38.68/38.86	c GLOBAL bounds 2 >= 1 @ 37.8359
38.68/38.88	c GLOBAL bounds 2 >= 1 @ 37.8562
38.68/38.88	c GLOBAL bounds 2 >= 1 @ 37.8578
38.78/38.90	c GLOBAL bounds 2 >= 1 @ 37.8767
38.78/38.90	c GLOBAL bounds 2 >= 1 @ 37.8783
38.78/38.92	c GLOBAL bounds 2 >= 1 @ 37.8992
38.78/38.92	c GLOBAL bounds 2 >= 1 @ 37.9009
38.78/38.95	c GLOBAL bounds 2 >= 1 @ 37.9207
38.78/38.95	c GLOBAL bounds 2 >= 1 @ 37.9214
38.78/38.97	c GLOBAL bounds 2 >= 1 @ 37.9403
38.78/38.97	c GLOBAL bounds 2 >= 1 @ 37.9408
38.78/38.99	c GLOBAL bounds 2 >= 1 @ 37.9608
38.78/38.99	c GLOBAL bounds 2 >= 1 @ 37.9614
38.78/38.99	c GLOBAL bounds 2 >= 1 @ 37.9614
38.89/39.01	c GLOBAL bounds 2 >= 1 @ 37.9821
38.89/39.03	c GLOBAL bounds 2 >= 1 @ 37.9997
38.89/39.03	c GLOBAL bounds 2 >= 1 @ 38.0013
38.89/39.05	c GLOBAL bounds 2 >= 1 @ 38.0209
38.89/39.05	c GLOBAL bounds 2 >= 1 @ 38.0225
38.89/39.08	c GLOBAL bounds 2 >= 1 @ 38.0429
38.89/39.08	c GLOBAL bounds 2 >= 1 @ 38.0436
38.89/39.10	c GLOBAL bounds 2 >= 1 @ 38.0624
38.89/39.10	c GLOBAL bounds 2 >= 1 @ 38.0625
38.99/39.12	c GLOBAL bounds 2 >= 1 @ 38.0813
38.99/39.12	c GLOBAL bounds 2 >= 1 @ 38.0832
38.99/39.14	c GLOBAL bounds 2 >= 1 @ 38.104
38.99/39.14	c GLOBAL bounds 2 >= 1 @ 38.1044
38.99/39.16	c GLOBAL bounds 2 >= 1 @ 38.1231
38.99/39.17	c GLOBAL bounds 2 >= 1 @ 38.1244
38.99/39.19	c GLOBAL bounds 2 >= 1 @ 38.1431
38.99/39.19	c GLOBAL bounds 2 >= 1 @ 38.1449
39.08/39.21	c GLOBAL bounds 2 >= 1 @ 38.1643
39.08/39.21	c GLOBAL bounds 2 >= 1 @ 38.1653
39.08/39.23	c GLOBAL bounds 2 >= 1 @ 38.1857
39.08/39.23	c GLOBAL bounds 2 >= 1 @ 38.1873
39.08/39.23	c GLOBAL bounds 2 >= 1 @ 38.1873
39.08/39.25	c GLOBAL bounds 2 >= 1 @ 38.2066
39.08/39.27	c GLOBAL bounds 2 >= 1 @ 38.2251
39.08/39.27	c GLOBAL bounds 2 >= 1 @ 38.2259
39.08/39.29	c GLOBAL bounds 2 >= 1 @ 38.2452
39.18/39.30	c GLOBAL bounds 2 >= 1 @ 38.2468
39.18/39.32	c GLOBAL bounds 2 >= 1 @ 38.267
39.18/39.32	c GLOBAL bounds 2 >= 1 @ 38.2677
39.18/39.34	c GLOBAL bounds 2 >= 1 @ 38.288
39.18/39.34	c GLOBAL bounds 2 >= 1 @ 38.2887
39.18/39.36	c GLOBAL bounds 2 >= 1 @ 38.3099
39.18/39.36	c GLOBAL bounds 2 >= 1 @ 38.3106
39.18/39.38	c GLOBAL bounds 2 >= 1 @ 38.3296
39.18/39.39	c GLOBAL bounds 2 >= 1 @ 38.3309
39.28/39.41	c GLOBAL bounds 2 >= 1 @ 38.3507
39.28/39.41	c GLOBAL bounds 2 >= 1 @ 38.3514
39.28/39.43	c GLOBAL bounds 2 >= 1 @ 38.3719
39.28/39.43	c GLOBAL bounds 2 >= 1 @ 38.3728
39.28/39.45	c GLOBAL bounds 2 >= 1 @ 38.3931
39.28/39.45	c GLOBAL bounds 2 >= 1 @ 38.3938
39.28/39.47	c GLOBAL bounds 2 >= 1 @ 38.4132
39.28/39.47	c GLOBAL bounds 2 >= 1 @ 38.4137
39.28/39.47	c GLOBAL bounds 2 >= 1 @ 38.4137
39.28/39.49	c GLOBAL bounds 2 >= 1 @ 38.4336
39.38/39.51	c GLOBAL bounds 2 >= 1 @ 38.4512
39.38/39.52	c GLOBAL bounds 2 >= 1 @ 38.4526
39.38/39.54	c GLOBAL bounds 2 >= 1 @ 38.4724
39.38/39.54	c GLOBAL bounds 2 >= 1 @ 38.4726
39.38/39.56	c GLOBAL bounds 2 >= 1 @ 38.4911
39.38/39.56	c GLOBAL bounds 2 >= 1 @ 38.4926
39.38/39.58	c GLOBAL bounds 2 >= 1 @ 38.5132
39.38/39.58	c GLOBAL bounds 2 >= 1 @ 38.5145
39.48/39.60	c GLOBAL bounds 2 >= 1 @ 38.5336
39.48/39.60	c GLOBAL bounds 2 >= 1 @ 38.5345
39.48/39.63	c GLOBAL bounds 2 >= 1 @ 38.5556
39.48/39.63	c GLOBAL bounds 2 >= 1 @ 38.5564
39.48/39.65	c GLOBAL bounds 2 >= 1 @ 38.5769
39.48/39.65	c GLOBAL bounds 2 >= 1 @ 38.5776
39.48/39.67	c GLOBAL bounds 2 >= 1 @ 38.5977
39.48/39.67	c GLOBAL bounds 2 >= 1 @ 38.5984
39.48/39.69	c GLOBAL bounds 2 >= 1 @ 38.6185
39.48/39.69	c GLOBAL bounds 2 >= 1 @ 38.6202
39.58/39.71	c GLOBAL bounds 2 >= 1 @ 38.6405
39.58/39.72	c GLOBAL bounds 2 >= 1 @ 38.6422
39.58/39.72	c GLOBAL bounds 2 >= 1 @ 38.6422
39.58/39.74	c GLOBAL bounds 2 >= 1 @ 38.6614
39.58/39.75	c GLOBAL bounds 2 >= 1 @ 38.6797
39.58/39.76	c GLOBAL bounds 2 >= 1 @ 38.6801
39.58/39.78	c GLOBAL bounds 2 >= 1 @ 38.6991
39.58/39.78	c GLOBAL bounds 2 >= 1 @ 38.6998
39.68/39.80	c GLOBAL bounds 2 >= 1 @ 38.7199
39.68/39.80	c GLOBAL bounds 2 >= 1 @ 38.7216
39.68/39.82	c GLOBAL bounds 2 >= 1 @ 38.7411
39.68/39.82	c GLOBAL bounds 2 >= 1 @ 38.7429
39.68/39.84	c GLOBAL bounds 2 >= 1 @ 38.763
39.68/39.84	c GLOBAL bounds 2 >= 1 @ 38.7647
39.68/39.87	c GLOBAL bounds 2 >= 1 @ 38.7847
39.68/39.87	c GLOBAL bounds 2 >= 1 @ 38.7855
39.68/39.89	c GLOBAL bounds 2 >= 1 @ 38.8056
39.68/39.89	c GLOBAL bounds 2 >= 1 @ 38.8064
39.78/39.91	c GLOBAL bounds 2 >= 1 @ 38.8275
39.78/39.91	c GLOBAL bounds 2 >= 1 @ 38.8292
39.78/39.93	c GLOBAL bounds 2 >= 1 @ 38.8487
39.78/39.94	c GLOBAL bounds 2 >= 1 @ 38.8505
39.78/39.96	c GLOBAL bounds 2 >= 1 @ 38.8709
39.78/39.96	c GLOBAL bounds 2 >= 1 @ 38.8717
39.78/39.96	c GLOBAL bounds 2 >= 1 @ 38.8717
39.78/39.98	c GLOBAL bounds 2 >= 1 @ 38.8916
39.78/40.00	c GLOBAL bounds 2 >= 1 @ 38.9103
39.78/40.00	c GLOBAL bounds 2 >= 1 @ 38.9116
39.89/40.02	c GLOBAL bounds 2 >= 1 @ 38.9313
39.89/40.02	c GLOBAL bounds 2 >= 1 @ 38.932
39.89/40.04	c GLOBAL bounds 2 >= 1 @ 38.9516
39.89/40.04	c GLOBAL bounds 2 >= 1 @ 38.9533
39.89/40.06	c GLOBAL bounds 2 >= 1 @ 38.9729
39.89/40.07	c GLOBAL bounds 2 >= 1 @ 38.9734
39.89/40.09	c GLOBAL bounds 2 >= 1 @ 38.9942
39.89/40.09	c GLOBAL bounds 2 >= 1 @ 38.9949
39.98/40.11	c GLOBAL bounds 2 >= 1 @ 39.0145
39.98/40.11	c GLOBAL bounds 2 >= 1 @ 39.0162
39.98/40.13	c GLOBAL bounds 2 >= 1 @ 39.0343
39.98/40.13	c GLOBAL bounds 2 >= 1 @ 39.035
39.98/40.15	c GLOBAL bounds 2 >= 1 @ 39.0555
39.98/40.15	c GLOBAL bounds 2 >= 1 @ 39.0563
39.98/40.18	c GLOBAL bounds 2 >= 1 @ 39.0771
39.98/40.18	c GLOBAL bounds 2 >= 1 @ 39.0779
40.08/40.20	c GLOBAL bounds 2 >= 1 @ 39.0972
40.08/40.20	c GLOBAL bounds 2 >= 1 @ 39.0989
40.08/40.20	c GLOBAL bounds 2 >= 1 @ 39.0989
40.08/40.22	c GLOBAL bounds 2 >= 1 @ 39.1197
40.08/40.24	c GLOBAL bounds 2 >= 1 @ 39.1373
40.08/40.24	c GLOBAL bounds 2 >= 1 @ 39.139
40.08/40.26	c GLOBAL bounds 2 >= 1 @ 39.1581
40.08/40.26	c GLOBAL bounds 2 >= 1 @ 39.1598
40.08/40.28	c GLOBAL bounds 2 >= 1 @ 39.1792
40.08/40.28	c GLOBAL bounds 2 >= 1 @ 39.1809
40.18/40.30	c GLOBAL bounds 2 >= 1 @ 39.2004
40.18/40.31	c GLOBAL bounds 2 >= 1 @ 39.2019
40.18/40.33	c GLOBAL bounds 2 >= 1 @ 39.2214
40.18/40.33	c GLOBAL bounds 2 >= 1 @ 39.2218
40.18/40.35	c GLOBAL bounds 2 >= 1 @ 39.241
40.18/40.35	c GLOBAL bounds 2 >= 1 @ 39.2426
40.18/40.37	c GLOBAL bounds 2 >= 1 @ 39.2639
40.18/40.37	c GLOBAL bounds 2 >= 1 @ 39.2657
40.18/40.39	c GLOBAL bounds 2 >= 1 @ 39.2865
40.18/40.40	c GLOBAL bounds 2 >= 1 @ 39.2872
40.28/40.42	c GLOBAL bounds 2 >= 1 @ 39.306
40.28/40.42	c GLOBAL bounds 2 >= 1 @ 39.3067
40.28/40.44	c GLOBAL bounds 2 >= 1 @ 39.3261
40.28/40.44	c GLOBAL bounds 2 >= 1 @ 39.3276
40.28/40.44	c GLOBAL bounds 2 >= 1 @ 39.3276
40.28/40.46	c GLOBAL bounds 2 >= 1 @ 39.3459
40.28/40.48	c GLOBAL bounds 2 >= 1 @ 39.3646
40.28/40.48	c GLOBAL bounds 2 >= 1 @ 39.3663
40.38/40.50	c GLOBAL bounds 2 >= 1 @ 39.3852
40.38/40.50	c GLOBAL bounds 2 >= 1 @ 39.3865
40.38/40.52	c GLOBAL bounds 2 >= 1 @ 39.4051
40.38/40.52	c GLOBAL bounds 2 >= 1 @ 39.4064
40.38/40.55	c GLOBAL bounds 2 >= 1 @ 39.4258
40.38/40.55	c GLOBAL bounds 2 >= 1 @ 39.4264
40.38/40.57	c GLOBAL bounds 2 >= 1 @ 39.4456
40.38/40.57	c GLOBAL bounds 2 >= 1 @ 39.4463
40.38/40.59	c GLOBAL bounds 2 >= 1 @ 39.467
40.38/40.59	c GLOBAL bounds 2 >= 1 @ 39.4683
40.48/40.61	c GLOBAL bounds 2 >= 1 @ 39.4873
40.48/40.61	c GLOBAL bounds 2 >= 1 @ 39.489
40.48/40.64	c GLOBAL bounds 2 >= 1 @ 39.5077
40.48/40.64	c GLOBAL bounds 2 >= 1 @ 39.5094
40.48/40.66	c GLOBAL bounds 2 >= 1 @ 39.5295
40.48/40.66	c GLOBAL bounds 2 >= 1 @ 39.5311
40.48/40.68	c GLOBAL bounds 2 >= 1 @ 39.5501
40.48/40.68	c GLOBAL bounds 2 >= 1 @ 39.5518
40.48/40.68	c GLOBAL bounds 2 >= 1 @ 39.5518
40.58/40.70	c GLOBAL bounds 2 >= 1 @ 39.5717
40.58/40.72	c GLOBAL bounds 2 >= 1 @ 39.5891
40.58/40.72	c GLOBAL bounds 2 >= 1 @ 39.5908
40.58/40.74	c GLOBAL bounds 2 >= 1 @ 39.6114
40.58/40.74	c GLOBAL bounds 2 >= 1 @ 39.6131
40.58/40.77	c #Conflicts:      22000 | #Constraints:       5403
40.58/40.77	c GLOBAL bounds 2 >= 1 @ 39.6335
40.58/40.77	c GLOBAL bounds 2 >= 1 @ 39.6349
40.58/40.79	c GLOBAL bounds 2 >= 1 @ 39.6539
40.58/40.79	c GLOBAL bounds 2 >= 1 @ 39.6556
40.68/40.81	c GLOBAL bounds 2 >= 1 @ 39.6759
40.68/40.81	c GLOBAL bounds 2 >= 1 @ 39.6775
40.68/40.83	c GLOBAL bounds 2 >= 1 @ 39.6966
40.68/40.83	c GLOBAL bounds 2 >= 1 @ 39.6983
40.68/40.86	c GLOBAL bounds 2 >= 1 @ 39.7192
40.68/40.86	c GLOBAL bounds 2 >= 1 @ 39.7207
40.68/40.88	c GLOBAL bounds 2 >= 1 @ 39.7405
40.68/40.88	c GLOBAL bounds 2 >= 1 @ 39.7421
40.78/40.90	c GLOBAL bounds 2 >= 1 @ 39.7616
40.78/40.90	c GLOBAL bounds 2 >= 1 @ 39.7633
40.78/40.92	c GLOBAL bounds 2 >= 1 @ 39.7836
40.78/40.92	c GLOBAL bounds 2 >= 1 @ 39.7853
40.78/40.92	c GLOBAL bounds 2 >= 1 @ 39.7853
40.78/40.95	c GLOBAL bounds 2 >= 1 @ 39.805
40.78/40.96	c GLOBAL bounds 2 >= 1 @ 39.8216
40.78/40.97	c GLOBAL bounds 2 >= 1 @ 39.8232
40.78/40.99	c GLOBAL bounds 2 >= 1 @ 39.8439
40.78/40.99	c GLOBAL bounds 2 >= 1 @ 39.8455
40.88/41.01	c GLOBAL bounds 2 >= 1 @ 39.8667
40.88/41.01	c GLOBAL bounds 2 >= 1 @ 39.8673
40.88/41.03	c GLOBAL bounds 2 >= 1 @ 39.8863
40.88/41.04	c GLOBAL bounds 2 >= 1 @ 39.888
40.88/41.06	c GLOBAL bounds 2 >= 1 @ 39.9086
40.88/41.06	c GLOBAL bounds 2 >= 1 @ 39.9102
40.88/41.08	c GLOBAL bounds 2 >= 1 @ 39.9295
40.88/41.08	c GLOBAL bounds 2 >= 1 @ 39.9311
40.98/41.10	c GLOBAL bounds 2 >= 1 @ 39.9499
40.98/41.10	c GLOBAL bounds 2 >= 1 @ 39.9506
40.98/41.12	c GLOBAL bounds 2 >= 1 @ 39.9711
40.98/41.13	c GLOBAL bounds 2 >= 1 @ 39.9728
40.98/41.15	c GLOBAL bounds 2 >= 1 @ 39.9924
40.98/41.15	c GLOBAL bounds 2 >= 1 @ 39.9931
40.98/41.17	c GLOBAL bounds 2 >= 1 @ 40.0138
40.98/41.17	c GLOBAL bounds 2 >= 1 @ 40.0146
40.98/41.17	c GLOBAL bounds 2 >= 1 @ 40.0146
40.98/41.19	c GLOBAL bounds 2 >= 1 @ 40.0367
41.07/41.21	c GLOBAL bounds 2 >= 1 @ 40.0544
41.07/41.21	c GLOBAL bounds 2 >= 1 @ 40.0551
41.07/41.23	c GLOBAL bounds 2 >= 1 @ 40.0756
41.07/41.24	c GLOBAL bounds 2 >= 1 @ 40.0769
41.07/41.26	c GLOBAL bounds 2 >= 1 @ 40.0982
41.07/41.26	c GLOBAL bounds 2 >= 1 @ 40.0999
41.07/41.28	c GLOBAL bounds 2 >= 1 @ 40.1203
41.07/41.28	c GLOBAL bounds 2 >= 1 @ 40.122
41.17/41.30	c GLOBAL bounds 2 >= 1 @ 40.1429
41.17/41.30	c GLOBAL bounds 2 >= 1 @ 40.1447
41.17/41.32	c GLOBAL bounds 2 >= 1 @ 40.1656
41.17/41.33	c GLOBAL bounds 2 >= 1 @ 40.1673
41.17/41.35	c GLOBAL bounds 2 >= 1 @ 40.1877
41.17/41.35	c GLOBAL bounds 2 >= 1 @ 40.1894
41.17/41.37	c GLOBAL bounds 2 >= 1 @ 40.2102
41.17/41.37	c GLOBAL bounds 2 >= 1 @ 40.2119
41.17/41.39	c GLOBAL bounds 2 >= 1 @ 40.2322
41.17/41.39	c GLOBAL bounds 2 >= 1 @ 40.2335
41.28/41.41	c GLOBAL bounds 2 >= 1 @ 40.2533
41.28/41.42	c GLOBAL bounds 2 >= 1 @ 40.255
41.28/41.42	c GLOBAL bounds 2 >= 1 @ 40.255
41.28/41.44	c GLOBAL bounds 2 >= 1 @ 40.2758
41.28/41.46	c GLOBAL bounds 2 >= 1 @ 40.2933
41.28/41.46	c GLOBAL bounds 2 >= 1 @ 40.294
41.28/41.48	c GLOBAL bounds 2 >= 1 @ 40.3138
41.28/41.48	c GLOBAL bounds 2 >= 1 @ 40.3143
41.37/41.50	c GLOBAL bounds 2 >= 1 @ 40.3339
41.37/41.50	c GLOBAL bounds 2 >= 1 @ 40.3356
41.37/41.52	c GLOBAL bounds 2 >= 1 @ 40.3571
41.37/41.53	c GLOBAL bounds 2 >= 1 @ 40.3578
41.37/41.55	c GLOBAL bounds 2 >= 1 @ 40.3769
41.37/41.55	c GLOBAL bounds 2 >= 1 @ 40.3786
41.37/41.57	c GLOBAL bounds 2 >= 1 @ 40.3996
41.37/41.57	c GLOBAL bounds 2 >= 1 @ 40.4002
41.37/41.59	c GLOBAL bounds 2 >= 1 @ 40.4206
41.37/41.59	c GLOBAL bounds 2 >= 1 @ 40.4223
41.48/41.61	c GLOBAL bounds 2 >= 1 @ 40.4428
41.48/41.62	c GLOBAL bounds 2 >= 1 @ 40.4445
41.48/41.64	c GLOBAL bounds 2 >= 1 @ 40.4651
41.48/41.64	c GLOBAL bounds 2 >= 1 @ 40.4668
41.48/41.66	c GLOBAL bounds 2 >= 1 @ 40.4866
41.48/41.66	c GLOBAL bounds 2 >= 1 @ 40.4879
41.48/41.66	c GLOBAL bounds 2 >= 1 @ 40.4879
41.48/41.68	c GLOBAL bounds 2 >= 1 @ 40.5079
41.58/41.70	c GLOBAL bounds 2 >= 1 @ 40.5245
41.58/41.70	c GLOBAL bounds 2 >= 1 @ 40.5258
41.58/41.72	c GLOBAL bounds 2 >= 1 @ 40.5459
41.58/41.72	c GLOBAL bounds 2 >= 1 @ 40.5476
41.58/41.75	c GLOBAL bounds 2 >= 1 @ 40.5684
41.58/41.75	c GLOBAL bounds 2 >= 1 @ 40.5697
41.58/41.77	c GLOBAL bounds 2 >= 1 @ 40.5892
41.58/41.77	c GLOBAL bounds 2 >= 1 @ 40.5899
41.58/41.79	c GLOBAL bounds 2 >= 1 @ 40.6099
41.58/41.79	c GLOBAL bounds 2 >= 1 @ 40.6116
41.68/41.81	c GLOBAL bounds 2 >= 1 @ 40.6308
41.68/41.82	c GLOBAL bounds 2 >= 1 @ 40.6316
41.68/41.84	c GLOBAL bounds 2 >= 1 @ 40.6519
41.68/41.84	c GLOBAL bounds 2 >= 1 @ 40.6525
41.68/41.86	c GLOBAL bounds 2 >= 1 @ 40.6729
41.68/41.86	c GLOBAL bounds 2 >= 1 @ 40.6745
41.68/41.88	c GLOBAL bounds 2 >= 1 @ 40.6944
41.68/41.88	c GLOBAL bounds 2 >= 1 @ 40.6961
41.77/41.91	c GLOBAL bounds 2 >= 1 @ 40.7177
41.77/41.91	c GLOBAL bounds 2 >= 1 @ 40.7184
41.77/41.91	c GLOBAL bounds 2 >= 1 @ 40.7184
41.77/41.93	c GLOBAL bounds 2 >= 1 @ 40.7401
41.77/41.95	c GLOBAL bounds 2 >= 1 @ 40.7588
41.77/41.95	c GLOBAL bounds 2 >= 1 @ 40.7603
41.77/41.97	c GLOBAL bounds 2 >= 1 @ 40.7791
41.77/41.97	c GLOBAL bounds 2 >= 1 @ 40.7803
41.77/41.99	c GLOBAL bounds 2 >= 1 @ 40.8007
41.77/41.99	c GLOBAL bounds 2 >= 1 @ 40.8022
41.88/42.01	c GLOBAL bounds 2 >= 1 @ 40.8211
41.88/42.02	c GLOBAL bounds 2 >= 1 @ 40.8228
41.88/42.04	c GLOBAL bounds 2 >= 1 @ 40.8445
41.88/42.04	c GLOBAL bounds 2 >= 1 @ 40.8451
41.88/42.06	c GLOBAL bounds 2 >= 1 @ 40.8645
41.88/42.06	c GLOBAL bounds 2 >= 1 @ 40.8651
41.88/42.08	c GLOBAL bounds 2 >= 1 @ 40.8847
41.88/42.08	c GLOBAL bounds 2 >= 1 @ 40.886
41.98/42.11	c GLOBAL bounds 2 >= 1 @ 40.9053
41.98/42.11	c GLOBAL bounds 2 >= 1 @ 40.9069
41.98/42.13	c GLOBAL bounds 2 >= 1 @ 40.9275
41.98/42.13	c GLOBAL bounds 2 >= 1 @ 40.9281
41.98/42.15	c GLOBAL bounds 2 >= 1 @ 40.9482
41.98/42.15	c GLOBAL bounds 2 >= 1 @ 40.9498
41.98/42.15	c GLOBAL bounds 2 >= 1 @ 40.9498
41.98/42.17	c GLOBAL bounds 2 >= 1 @ 40.9713
41.98/42.19	c GLOBAL bounds 2 >= 1 @ 40.9891
41.98/42.19	c GLOBAL bounds 2 >= 1 @ 40.9908
42.08/42.21	c GLOBAL bounds 2 >= 1 @ 41.0109
42.08/42.22	c GLOBAL bounds 2 >= 1 @ 41.0125
42.08/42.24	c GLOBAL bounds 2 >= 1 @ 41.0336
42.08/42.24	c GLOBAL bounds 2 >= 1 @ 41.0343
42.08/42.26	c GLOBAL bounds 2 >= 1 @ 41.0541
42.08/42.26	c GLOBAL bounds 2 >= 1 @ 41.0546
42.08/42.28	c GLOBAL bounds 2 >= 1 @ 41.073
42.08/42.28	c GLOBAL bounds 2 >= 1 @ 41.0746
42.17/42.31	c GLOBAL bounds 2 >= 1 @ 41.094
42.17/42.31	c GLOBAL bounds 2 >= 1 @ 41.0955
42.17/42.33	c GLOBAL bounds 2 >= 1 @ 41.1153
42.17/42.33	c GLOBAL bounds 2 >= 1 @ 41.116
42.17/42.35	c GLOBAL bounds 2 >= 1 @ 41.138
42.17/42.35	c GLOBAL bounds 2 >= 1 @ 41.1394
42.17/42.38	c GLOBAL bounds 2 >= 1 @ 41.1604
42.17/42.38	c GLOBAL bounds 2 >= 1 @ 41.1621
42.28/42.40	c GLOBAL bounds 2 >= 1 @ 41.1842
42.28/42.40	c GLOBAL bounds 2 >= 1 @ 41.1843
42.28/42.40	c GLOBAL bounds 2 >= 1 @ 41.1843
42.28/42.42	c GLOBAL bounds 2 >= 1 @ 41.2049
42.28/42.44	c GLOBAL bounds 2 >= 1 @ 41.2234
42.28/42.44	c GLOBAL bounds 2 >= 1 @ 41.2251
42.28/42.46	c GLOBAL bounds 2 >= 1 @ 41.247
42.28/42.47	c GLOBAL bounds 2 >= 1 @ 41.2486
42.28/42.49	c GLOBAL bounds 2 >= 1 @ 41.2682
42.28/42.49	c GLOBAL bounds 2 >= 1 @ 41.27
42.37/42.51	c GLOBAL bounds 2 >= 1 @ 41.2913
42.37/42.51	c GLOBAL bounds 2 >= 1 @ 41.2921
42.37/42.53	c GLOBAL bounds 2 >= 1 @ 41.3126
42.37/42.53	c GLOBAL bounds 2 >= 1 @ 41.3133
42.37/42.55	c GLOBAL bounds 2 >= 1 @ 41.3328
42.37/42.56	c GLOBAL bounds 2 >= 1 @ 41.334
42.37/42.58	c GLOBAL bounds 2 >= 1 @ 41.3542
42.37/42.58	c GLOBAL bounds 2 >= 1 @ 41.3558
42.48/42.60	c GLOBAL bounds 2 >= 1 @ 41.3769
42.48/42.60	c GLOBAL bounds 2 >= 1 @ 41.3786
42.48/42.62	c GLOBAL bounds 2 >= 1 @ 41.4001
42.48/42.62	c GLOBAL bounds 2 >= 1 @ 41.4017
42.48/42.65	c GLOBAL bounds 2 >= 1 @ 41.4214
42.48/42.65	c GLOBAL bounds 2 >= 1 @ 41.4228
42.48/42.65	c GLOBAL bounds 2 >= 1 @ 41.4228
42.48/42.67	c GLOBAL bounds 2 >= 1 @ 41.4428
42.48/42.69	c GLOBAL bounds 2 >= 1 @ 41.4613
42.48/42.69	c GLOBAL bounds 2 >= 1 @ 41.4627
42.57/42.71	c GLOBAL bounds 2 >= 1 @ 41.4833
42.57/42.71	c GLOBAL bounds 2 >= 1 @ 41.485
42.57/42.73	c GLOBAL bounds 2 >= 1 @ 41.5039
42.57/42.73	c GLOBAL bounds 2 >= 1 @ 41.5056
42.57/42.75	c GLOBAL bounds 2 >= 1 @ 41.5265
42.57/42.76	c GLOBAL bounds 2 >= 1 @ 41.5281
42.57/42.78	c GLOBAL bounds 2 >= 1 @ 41.5481
42.57/42.78	c GLOBAL bounds 2 >= 1 @ 41.5485
42.67/42.80	c GLOBAL bounds 2 >= 1 @ 41.5678
42.67/42.80	c GLOBAL bounds 2 >= 1 @ 41.5685
42.67/42.82	c GLOBAL bounds 2 >= 1 @ 41.5889
42.67/42.82	c GLOBAL bounds 2 >= 1 @ 41.5897
42.67/42.84	c GLOBAL bounds 2 >= 1 @ 41.6104
42.67/42.85	c GLOBAL bounds 2 >= 1 @ 41.6122
42.67/42.87	c GLOBAL bounds 2 >= 1 @ 41.6328
42.67/42.87	c GLOBAL bounds 2 >= 1 @ 41.6333
42.67/42.89	c GLOBAL bounds 2 >= 1 @ 41.6543
42.67/42.89	c GLOBAL bounds 2 >= 1 @ 41.656
42.67/42.89	c GLOBAL bounds 2 >= 1 @ 41.656
42.77/42.91	c GLOBAL bounds 2 >= 1 @ 41.6772
42.77/42.93	c GLOBAL bounds 2 >= 1 @ 41.6957
42.77/42.94	c GLOBAL bounds 2 >= 1 @ 41.6974
42.77/42.96	c GLOBAL bounds 2 >= 1 @ 41.7183
42.77/42.96	c GLOBAL bounds 2 >= 1 @ 41.72
42.77/42.98	c GLOBAL bounds 2 >= 1 @ 41.7412
42.77/42.98	c GLOBAL bounds 2 >= 1 @ 41.7429
42.88/43.00	c GLOBAL bounds 2 >= 1 @ 41.7648
42.88/43.00	c GLOBAL bounds 2 >= 1 @ 41.7665
42.88/43.03	c GLOBAL bounds 2 >= 1 @ 41.7883
42.88/43.03	c GLOBAL bounds 2 >= 1 @ 41.789
42.88/43.05	c GLOBAL bounds 2 >= 1 @ 41.8101
42.88/43.05	c GLOBAL bounds 2 >= 1 @ 41.8118
42.88/43.07	c GLOBAL bounds 2 >= 1 @ 41.8329
42.88/43.07	c GLOBAL bounds 2 >= 1 @ 41.8346
42.88/43.10	c GLOBAL bounds 2 >= 1 @ 41.8552
42.88/43.10	c GLOBAL bounds 2 >= 1 @ 41.8568
42.98/43.12	c GLOBAL bounds 2 >= 1 @ 41.8766
42.98/43.12	c GLOBAL bounds 2 >= 1 @ 41.8783
42.98/43.14	c GLOBAL bounds 2 >= 1 @ 41.8992
42.98/43.14	c GLOBAL bounds 2 >= 1 @ 41.8997
42.98/43.14	c GLOBAL bounds 2 >= 1 @ 41.8997
42.98/43.16	c GLOBAL bounds 2 >= 1 @ 41.9206
42.98/43.18	c GLOBAL bounds 2 >= 1 @ 41.9381
42.98/43.19	c GLOBAL bounds 2 >= 1 @ 41.9389
43.07/43.21	c GLOBAL bounds 2 >= 1 @ 41.9588
43.07/43.21	c GLOBAL bounds 2 >= 1 @ 41.9605
43.07/43.23	c GLOBAL bounds 2 >= 1 @ 41.9799
43.07/43.23	c GLOBAL bounds 2 >= 1 @ 41.9815
43.07/43.25	c GLOBAL bounds 2 >= 1 @ 42.0025
43.07/43.25	c GLOBAL bounds 2 >= 1 @ 42.0042
43.07/43.28	c GLOBAL bounds 2 >= 1 @ 42.0233
43.07/43.28	c GLOBAL bounds 2 >= 1 @ 42.0241
43.18/43.30	c GLOBAL bounds 2 >= 1 @ 42.0439
43.18/43.30	c GLOBAL bounds 2 >= 1 @ 42.0444
43.18/43.32	c GLOBAL bounds 2 >= 1 @ 42.0647
43.18/43.32	c GLOBAL bounds 2 >= 1 @ 42.0663
43.18/43.34	c GLOBAL bounds 2 >= 1 @ 42.0852
43.18/43.35	c GLOBAL bounds 2 >= 1 @ 42.0858
43.18/43.37	c GLOBAL bounds 2 >= 1 @ 42.1054
43.18/43.37	c GLOBAL bounds 2 >= 1 @ 42.107
43.18/43.39	c GLOBAL bounds 2 >= 1 @ 42.1289
43.18/43.39	c GLOBAL bounds 2 >= 1 @ 42.1301
43.18/43.39	c GLOBAL bounds 2 >= 1 @ 42.1301
43.27/43.41	c GLOBAL bounds 2 >= 1 @ 42.1506
43.27/43.43	c GLOBAL bounds 2 >= 1 @ 42.1691
43.27/43.43	c GLOBAL bounds 2 >= 1 @ 42.1708
43.27/43.45	c GLOBAL bounds 2 >= 1 @ 42.1906
43.27/43.46	c GLOBAL bounds 2 >= 1 @ 42.191
43.27/43.48	c GLOBAL bounds 2 >= 1 @ 42.2112
43.27/43.48	c GLOBAL bounds 2 >= 1 @ 42.2128
43.37/43.50	c GLOBAL bounds 2 >= 1 @ 42.234
43.37/43.50	c GLOBAL bounds 2 >= 1 @ 42.2356
43.37/43.52	c GLOBAL bounds 2 >= 1 @ 42.2557
43.37/43.52	c GLOBAL bounds 2 >= 1 @ 42.2559
43.37/43.55	c GLOBAL bounds 2 >= 1 @ 42.2766
43.37/43.55	c GLOBAL bounds 2 >= 1 @ 42.2782
43.37/43.57	c GLOBAL bounds 2 >= 1 @ 42.3007
43.37/43.57	c GLOBAL bounds 2 >= 1 @ 42.3023
43.37/43.59	c GLOBAL bounds 2 >= 1 @ 42.3236
43.37/43.60	c GLOBAL bounds 2 >= 1 @ 42.3237
43.47/43.62	c GLOBAL bounds 2 >= 1 @ 42.3442
43.47/43.62	c GLOBAL bounds 2 >= 1 @ 42.3457
43.47/43.64	c GLOBAL bounds 2 >= 1 @ 42.3646
43.47/43.64	c GLOBAL bounds 2 >= 1 @ 42.3662
43.47/43.64	c GLOBAL bounds 2 >= 1 @ 42.3662
43.47/43.66	c GLOBAL bounds 2 >= 1 @ 42.3875
43.47/43.68	c GLOBAL bounds 2 >= 1 @ 42.4051
43.47/43.68	c GLOBAL bounds 2 >= 1 @ 42.4055
43.57/43.70	c GLOBAL bounds 2 >= 1 @ 42.4241
43.57/43.70	c GLOBAL bounds 2 >= 1 @ 42.4247
43.57/43.72	c GLOBAL bounds 2 >= 1 @ 42.4454
43.57/43.73	c GLOBAL bounds 2 >= 1 @ 42.447
43.57/43.75	c GLOBAL bounds 2 >= 1 @ 42.4681
43.57/43.75	c GLOBAL bounds 2 >= 1 @ 42.4694
43.57/43.77	c GLOBAL bounds 2 >= 1 @ 42.4888
43.57/43.77	c GLOBAL bounds 2 >= 1 @ 42.4903
43.57/43.79	c GLOBAL bounds 2 >= 1 @ 42.5098
43.57/43.79	c GLOBAL bounds 2 >= 1 @ 42.5113
43.67/43.82	c GLOBAL bounds 2 >= 1 @ 42.5329
43.67/43.82	c GLOBAL bounds 2 >= 1 @ 42.5332
43.67/43.84	c GLOBAL bounds 2 >= 1 @ 42.5536
43.67/43.84	c GLOBAL bounds 2 >= 1 @ 42.5552
43.67/43.86	c GLOBAL bounds 2 >= 1 @ 42.5764
43.67/43.86	c GLOBAL bounds 2 >= 1 @ 42.5781
43.67/43.89	c GLOBAL bounds 2 >= 1 @ 42.5985
43.67/43.89	c GLOBAL bounds 2 >= 1 @ 42.5991
43.67/43.89	c GLOBAL bounds 2 >= 1 @ 42.5991
43.77/43.91	c GLOBAL bounds 2 >= 1 @ 42.6183
43.77/43.93	c GLOBAL bounds 2 >= 1 @ 42.636
43.77/43.93	c GLOBAL bounds 2 >= 1 @ 42.6366
43.77/43.95	c GLOBAL bounds 2 >= 1 @ 42.6552
43.77/43.95	c GLOBAL bounds 2 >= 1 @ 42.6567
43.77/43.97	c GLOBAL bounds 2 >= 1 @ 42.677
43.77/43.97	c GLOBAL bounds 2 >= 1 @ 42.6786
43.77/43.99	c GLOBAL bounds 2 >= 1 @ 42.6994
43.77/44.00	c GLOBAL bounds 2 >= 1 @ 42.6998
43.88/44.02	c GLOBAL bounds 2 >= 1 @ 42.7186
43.88/44.02	c GLOBAL bounds 2 >= 1 @ 42.7201
43.88/44.04	c GLOBAL bounds 2 >= 1 @ 42.7401
43.88/44.04	c GLOBAL bounds 2 >= 1 @ 42.7417
43.88/44.06	c GLOBAL bounds 2 >= 1 @ 42.7616
43.88/44.06	c GLOBAL bounds 2 >= 1 @ 42.7632
43.88/44.08	c GLOBAL bounds 2 >= 1 @ 42.7832
43.88/44.09	c GLOBAL bounds 2 >= 1 @ 42.7846
43.97/44.11	c GLOBAL bounds 2 >= 1 @ 42.8048
43.97/44.11	c GLOBAL bounds 2 >= 1 @ 42.8064
43.97/44.13	c GLOBAL bounds 2 >= 1 @ 42.829
43.97/44.13	c GLOBAL bounds 2 >= 1 @ 42.8305
43.97/44.13	c GLOBAL bounds 2 >= 1 @ 42.8305
43.97/44.15	c GLOBAL bounds 2 >= 1 @ 42.8503
43.97/44.17	c GLOBAL bounds 2 >= 1 @ 42.8667
43.97/44.17	c GLOBAL bounds 2 >= 1 @ 42.8674
43.97/44.20	c GLOBAL bounds 2 >= 1 @ 42.8879
44.07/44.20	c GLOBAL bounds 2 >= 1 @ 42.8885
44.07/44.22	c GLOBAL bounds 2 >= 1 @ 42.9096
44.07/44.22	c GLOBAL bounds 2 >= 1 @ 42.9111
44.07/44.24	c GLOBAL bounds 2 >= 1 @ 42.9338
44.07/44.24	c GLOBAL bounds 2 >= 1 @ 42.9354
44.07/44.27	c GLOBAL bounds 2 >= 1 @ 42.9581
44.07/44.27	c GLOBAL bounds 2 >= 1 @ 42.9592
44.07/44.30	c GLOBAL bounds 2 >= 1 @ 42.9836
44.17/44.30	c GLOBAL bounds 2 >= 1 @ 42.9852
44.17/44.32	c GLOBAL bounds 2 >= 1 @ 43.0086
44.17/44.32	c GLOBAL bounds 2 >= 1 @ 43.0102
44.17/44.35	c GLOBAL bounds 2 >= 1 @ 43.0335
44.17/44.35	c GLOBAL bounds 2 >= 1 @ 43.035
44.17/44.37	c GLOBAL bounds 2 >= 1 @ 43.0575
44.17/44.37	c GLOBAL bounds 2 >= 1 @ 43.058
44.26/44.40	c GLOBAL bounds 2 >= 1 @ 43.0804
44.26/44.40	c GLOBAL bounds 2 >= 1 @ 43.0819
44.26/44.40	c GLOBAL bounds 2 >= 1 @ 43.0819
44.26/44.42	c GLOBAL bounds 2 >= 1 @ 43.1065
44.26/44.44	c GLOBAL bounds 2 >= 1 @ 43.1279
44.26/44.45	c GLOBAL bounds 2 >= 1 @ 43.1294
44.26/44.47	c GLOBAL bounds 2 >= 1 @ 43.1528
44.26/44.47	c GLOBAL bounds 2 >= 1 @ 43.1543
44.26/44.49	c GLOBAL bounds 2 >= 1 @ 43.1789
44.37/44.50	c GLOBAL bounds 2 >= 1 @ 43.1804
44.37/44.52	c GLOBAL bounds 2 >= 1 @ 43.2044
44.37/44.52	c GLOBAL bounds 2 >= 1 @ 43.2059
44.37/44.55	c GLOBAL bounds 2 >= 1 @ 43.2295
44.37/44.55	c GLOBAL bounds 2 >= 1 @ 43.2312
44.37/44.57	c GLOBAL bounds 2 >= 1 @ 43.2535
44.37/44.57	c GLOBAL bounds 2 >= 1 @ 43.2551
44.47/44.60	c GLOBAL bounds 2 >= 1 @ 43.2776
44.47/44.60	c GLOBAL bounds 2 >= 1 @ 43.2792
44.47/44.62	c GLOBAL bounds 2 >= 1 @ 43.3026
44.47/44.62	c GLOBAL bounds 2 >= 1 @ 43.3041
44.47/44.65	c GLOBAL bounds 2 >= 1 @ 43.3272
44.47/44.65	c GLOBAL bounds 2 >= 1 @ 43.3283
44.47/44.67	c GLOBAL bounds 2 >= 1 @ 43.3522
44.47/44.67	c GLOBAL bounds 2 >= 1 @ 43.3523
44.47/44.67	c GLOBAL bounds 2 >= 1 @ 43.3523
44.57/44.70	c GLOBAL bounds 2 >= 1 @ 43.3751
44.57/44.72	c GLOBAL bounds 2 >= 1 @ 43.3954
44.57/44.72	c GLOBAL bounds 2 >= 1 @ 43.3969
44.57/44.74	c GLOBAL bounds 2 >= 1 @ 43.4192
44.57/44.74	c GLOBAL bounds 2 >= 1 @ 43.4207
44.57/44.77	c GLOBAL bounds 2 >= 1 @ 43.444
44.57/44.77	c GLOBAL bounds 2 >= 1 @ 43.4456
44.57/44.79	c GLOBAL bounds 2 >= 1 @ 43.4695
44.57/44.79	c GLOBAL bounds 2 >= 1 @ 43.471
44.67/44.82	c GLOBAL bounds 2 >= 1 @ 43.4943
44.67/44.82	c GLOBAL bounds 2 >= 1 @ 43.4959
44.67/44.84	c GLOBAL bounds 2 >= 1 @ 43.5189
44.67/44.85	c GLOBAL bounds 2 >= 1 @ 43.5205
44.67/44.87	c GLOBAL bounds 2 >= 1 @ 43.5446
44.67/44.87	c GLOBAL bounds 2 >= 1 @ 43.5458
44.67/44.89	c GLOBAL bounds 2 >= 1 @ 43.5676
44.76/44.90	c GLOBAL bounds 2 >= 1 @ 43.5691
44.76/44.92	c GLOBAL bounds 2 >= 1 @ 43.593
44.76/44.92	c GLOBAL bounds 2 >= 1 @ 43.5946
44.76/44.95	c GLOBAL bounds 2 >= 1 @ 43.6181
44.76/44.95	c GLOBAL bounds 2 >= 1 @ 43.6196
44.76/44.95	c GLOBAL bounds 2 >= 1 @ 43.6196
44.76/44.97	c GLOBAL bounds 2 >= 1 @ 43.6432
44.76/44.99	c GLOBAL bounds 2 >= 1 @ 43.6646
44.76/45.00	c GLOBAL bounds 2 >= 1 @ 43.6662
44.88/45.02	c GLOBAL bounds 2 >= 1 @ 43.6904
44.88/45.02	c GLOBAL bounds 2 >= 1 @ 43.692
44.88/45.05	c GLOBAL bounds 2 >= 1 @ 43.7152
44.88/45.05	c GLOBAL bounds 2 >= 1 @ 43.7167
44.88/45.07	c GLOBAL bounds 2 >= 1 @ 43.7402
44.88/45.07	c GLOBAL bounds 2 >= 1 @ 43.7407
44.88/45.10	c GLOBAL bounds 2 >= 1 @ 43.7659
44.88/45.10	c GLOBAL bounds 2 >= 1 @ 43.7672
44.97/45.12	c GLOBAL bounds 2 >= 1 @ 43.7913
44.97/45.13	c GLOBAL bounds 2 >= 1 @ 43.7929
44.97/45.15	c GLOBAL bounds 2 >= 1 @ 43.8165
44.97/45.15	c GLOBAL bounds 2 >= 1 @ 43.8171
44.97/45.17	c GLOBAL bounds 2 >= 1 @ 43.8395
44.97/45.18	c GLOBAL bounds 2 >= 1 @ 43.841
45.06/45.20	c GLOBAL bounds 2 >= 1 @ 43.8644
45.06/45.20	c GLOBAL bounds 2 >= 1 @ 43.8659
45.06/45.23	c GLOBAL bounds 2 >= 1 @ 43.8895
45.06/45.23	c GLOBAL bounds 2 >= 1 @ 43.8909
45.06/45.23	c GLOBAL bounds 2 >= 1 @ 43.8909
45.06/45.25	c GLOBAL bounds 2 >= 1 @ 43.9136
45.06/45.27	c GLOBAL bounds 2 >= 1 @ 43.9337
45.06/45.27	c GLOBAL bounds 2 >= 1 @ 43.9353
45.16/45.30	c GLOBAL bounds 2 >= 1 @ 43.9588
45.16/45.30	c GLOBAL bounds 2 >= 1 @ 43.9594
45.16/45.32	c GLOBAL bounds 2 >= 1 @ 43.9836
45.16/45.32	c GLOBAL bounds 2 >= 1 @ 43.9842
45.16/45.35	c GLOBAL bounds 2 >= 1 @ 44.0068
45.16/45.35	c GLOBAL bounds 2 >= 1 @ 44.0084
45.16/45.37	c GLOBAL bounds 2 >= 1 @ 44.032
45.16/45.37	c GLOBAL bounds 2 >= 1 @ 44.0336
45.27/45.40	c GLOBAL bounds 2 >= 1 @ 44.058
45.27/45.40	c GLOBAL bounds 2 >= 1 @ 44.0595
45.27/45.43	c GLOBAL bounds 2 >= 1 @ 44.0817
45.27/45.43	c GLOBAL bounds 2 >= 1 @ 44.0832
45.27/45.45	c GLOBAL bounds 2 >= 1 @ 44.1068
45.27/45.45	c GLOBAL bounds 2 >= 1 @ 44.1083
45.27/45.48	c GLOBAL bounds 2 >= 1 @ 44.1308
45.27/45.48	c GLOBAL bounds 2 >= 1 @ 44.1323
45.36/45.50	c GLOBAL bounds 2 >= 1 @ 44.1549
45.36/45.50	c GLOBAL bounds 2 >= 1 @ 44.1563
45.36/45.50	c GLOBAL bounds 2 >= 1 @ 44.1563
45.36/45.53	c GLOBAL bounds 2 >= 1 @ 44.1797
45.36/45.55	c GLOBAL bounds 2 >= 1 @ 44.201
45.36/45.55	c GLOBAL bounds 2 >= 1 @ 44.2022
45.36/45.57	c GLOBAL bounds 2 >= 1 @ 44.2255
45.36/45.57	c GLOBAL bounds 2 >= 1 @ 44.2261
45.46/45.60	c GLOBAL bounds 2 >= 1 @ 44.25
45.46/45.60	c GLOBAL bounds 2 >= 1 @ 44.2501
45.46/45.62	c GLOBAL bounds 2 >= 1 @ 44.2729
45.46/45.63	c GLOBAL bounds 2 >= 1 @ 44.2744
45.46/45.65	c GLOBAL bounds 2 >= 1 @ 44.2978
45.46/45.65	c GLOBAL bounds 2 >= 1 @ 44.2994
45.46/45.67	c GLOBAL bounds 2 >= 1 @ 44.3222
45.46/45.68	c GLOBAL bounds 2 >= 1 @ 44.3238
45.57/45.70	c GLOBAL bounds 2 >= 1 @ 44.3488
45.57/45.70	c GLOBAL bounds 2 >= 1 @ 44.3504
45.57/45.73	c GLOBAL bounds 2 >= 1 @ 44.3737
45.57/45.73	c GLOBAL bounds 2 >= 1 @ 44.3738
45.57/45.75	c GLOBAL bounds 2 >= 1 @ 44.3985
45.57/45.76	c GLOBAL bounds 2 >= 1 @ 44.3997
45.57/45.78	c GLOBAL bounds 2 >= 1 @ 44.423
45.57/45.78	c GLOBAL bounds 2 >= 1 @ 44.4245
45.57/45.78	c GLOBAL bounds 2 >= 1 @ 44.4245
45.66/45.81	c GLOBAL bounds 2 >= 1 @ 44.448
45.66/45.83	c GLOBAL bounds 2 >= 1 @ 44.4693
45.66/45.83	c GLOBAL bounds 2 >= 1 @ 44.4705
45.66/45.85	c GLOBAL bounds 2 >= 1 @ 44.4923
45.66/45.85	c GLOBAL bounds 2 >= 1 @ 44.4935
45.66/45.88	c GLOBAL bounds 2 >= 1 @ 44.5156
45.66/45.88	c GLOBAL bounds 2 >= 1 @ 44.5172
45.77/45.90	c GLOBAL bounds 2 >= 1 @ 44.5412
45.77/45.90	c GLOBAL bounds 2 >= 1 @ 44.5427
45.77/45.93	c GLOBAL bounds 2 >= 1 @ 44.5656
45.77/45.93	c GLOBAL bounds 2 >= 1 @ 44.5671
45.77/45.96	c GLOBAL bounds 2 >= 1 @ 44.5916
45.77/45.96	c GLOBAL bounds 2 >= 1 @ 44.5932
45.77/45.98	c GLOBAL bounds 2 >= 1 @ 44.6165
45.77/45.98	c GLOBAL bounds 2 >= 1 @ 44.618
45.87/46.01	c GLOBAL bounds 2 >= 1 @ 44.6431
45.87/46.01	c GLOBAL bounds 2 >= 1 @ 44.6431
45.87/46.03	c GLOBAL bounds 2 >= 1 @ 44.6656
45.87/46.03	c GLOBAL bounds 2 >= 1 @ 44.6671
45.87/46.06	c GLOBAL bounds 2 >= 1 @ 44.6914
45.87/46.06	c GLOBAL bounds 2 >= 1 @ 44.693
45.87/46.06	c GLOBAL bounds 2 >= 1 @ 44.693
45.87/46.09	c GLOBAL bounds 2 >= 1 @ 44.7173
45.97/46.11	c GLOBAL bounds 2 >= 1 @ 44.7387
45.97/46.11	c GLOBAL bounds 2 >= 1 @ 44.7399
45.97/46.13	c GLOBAL bounds 2 >= 1 @ 44.7634
45.97/46.13	c GLOBAL bounds 2 >= 1 @ 44.7648
45.97/46.16	c GLOBAL bounds 2 >= 1 @ 44.7885
45.97/46.16	c GLOBAL bounds 2 >= 1 @ 44.7898
45.97/46.18	c GLOBAL bounds 2 >= 1 @ 44.8132
45.97/46.19	c GLOBAL bounds 2 >= 1 @ 44.8137
46.07/46.21	c GLOBAL bounds 2 >= 1 @ 44.837
46.07/46.21	c GLOBAL bounds 2 >= 1 @ 44.8385
46.07/46.24	c GLOBAL bounds 2 >= 1 @ 44.8626
46.07/46.24	c GLOBAL bounds 2 >= 1 @ 44.8641
46.07/46.26	c GLOBAL bounds 2 >= 1 @ 44.8872
46.07/46.26	c GLOBAL bounds 2 >= 1 @ 44.8875
46.07/46.29	c GLOBAL bounds 2 >= 1 @ 44.9085
46.07/46.29	c GLOBAL bounds 2 >= 1 @ 44.9091
46.16/46.31	c GLOBAL bounds 2 >= 1 @ 44.9332
46.16/46.31	c GLOBAL bounds 2 >= 1 @ 44.9344
46.16/46.34	c GLOBAL bounds 2 >= 1 @ 44.9566
46.16/46.34	c GLOBAL bounds 2 >= 1 @ 44.9581
46.16/46.34	c GLOBAL bounds 2 >= 1 @ 44.9581
46.16/46.36	c GLOBAL bounds 2 >= 1 @ 44.9825
46.16/46.39	c GLOBAL bounds 2 >= 1 @ 45.0028
46.16/46.39	c GLOBAL bounds 2 >= 1 @ 45.0043
46.27/46.41	c GLOBAL bounds 2 >= 1 @ 45.0292
46.27/46.41	c GLOBAL bounds 2 >= 1 @ 45.0302
46.27/46.44	c GLOBAL bounds 2 >= 1 @ 45.0536
46.27/46.44	c GLOBAL bounds 2 >= 1 @ 45.0551
46.27/46.46	c GLOBAL bounds 2 >= 1 @ 45.0783
46.27/46.47	c GLOBAL bounds 2 >= 1 @ 45.0798
46.27/46.49	c GLOBAL bounds 2 >= 1 @ 45.1018
46.27/46.49	c GLOBAL bounds 2 >= 1 @ 45.103
46.36/46.51	c GLOBAL bounds 2 >= 1 @ 45.1259
46.36/46.52	c GLOBAL bounds 2 >= 1 @ 45.1263
46.36/46.54	c GLOBAL bounds 2 >= 1 @ 45.1502
46.36/46.54	c GLOBAL bounds 2 >= 1 @ 45.1516
46.36/46.57	c GLOBAL bounds 2 >= 1 @ 45.1757
46.36/46.57	c GLOBAL bounds 2 >= 1 @ 45.1762
46.36/46.59	c GLOBAL bounds 2 >= 1 @ 45.2007
46.36/46.59	c GLOBAL bounds 2 >= 1 @ 45.2018
46.46/46.62	c GLOBAL bounds 2 >= 1 @ 45.2254
46.46/46.62	c GLOBAL bounds 2 >= 1 @ 45.2267
46.46/46.62	c GLOBAL bounds 2 >= 1 @ 45.2267
46.46/46.64	c GLOBAL bounds 2 >= 1 @ 45.2483
46.46/46.66	c GLOBAL bounds 2 >= 1 @ 45.2695
46.46/46.67	c GLOBAL bounds 2 >= 1 @ 45.2706
46.46/46.69	c GLOBAL bounds 2 >= 1 @ 45.2927
46.46/46.69	c GLOBAL bounds 2 >= 1 @ 45.2942
46.56/46.71	c GLOBAL bounds 2 >= 1 @ 45.317
46.56/46.72	c GLOBAL bounds 2 >= 1 @ 45.3184
46.56/46.74	c GLOBAL bounds 2 >= 1 @ 45.3428
46.56/46.74	c GLOBAL bounds 2 >= 1 @ 45.3442
46.56/46.77	c GLOBAL bounds 2 >= 1 @ 45.3678
46.56/46.77	c GLOBAL bounds 2 >= 1 @ 45.3692
46.56/46.79	c GLOBAL bounds 2 >= 1 @ 45.3928
46.56/46.79	c GLOBAL bounds 2 >= 1 @ 45.3942
46.66/46.82	c GLOBAL bounds 2 >= 1 @ 45.417
46.66/46.82	c GLOBAL bounds 2 >= 1 @ 45.4183
46.66/46.84	c GLOBAL bounds 2 >= 1 @ 45.4402
46.66/46.84	c GLOBAL bounds 2 >= 1 @ 45.4412
46.66/46.87	c GLOBAL bounds 2 >= 1 @ 45.4632
46.66/46.87	c GLOBAL bounds 2 >= 1 @ 45.4642
46.66/46.89	c GLOBAL bounds 2 >= 1 @ 45.4886
46.66/46.89	c GLOBAL bounds 2 >= 1 @ 45.49
46.66/46.89	c GLOBAL bounds 2 >= 1 @ 45.49
46.77/46.92	c GLOBAL bounds 2 >= 1 @ 45.5135
46.77/46.94	c GLOBAL bounds 2 >= 1 @ 45.5347
46.77/46.94	c GLOBAL bounds 2 >= 1 @ 45.5352
46.77/46.96	c GLOBAL bounds 2 >= 1 @ 45.5569
46.77/46.97	c GLOBAL bounds 2 >= 1 @ 45.558
46.77/46.99	c GLOBAL bounds 2 >= 1 @ 45.5804
46.77/46.99	c GLOBAL bounds 2 >= 1 @ 45.5818
46.87/47.01	c GLOBAL bounds 2 >= 1 @ 45.6044
46.87/47.02	c GLOBAL bounds 2 >= 1 @ 45.6058
46.87/47.04	c GLOBAL bounds 2 >= 1 @ 45.6296
46.87/47.04	c GLOBAL bounds 2 >= 1 @ 45.6308
46.87/47.07	c GLOBAL bounds 2 >= 1 @ 45.6525
46.87/47.07	c GLOBAL bounds 2 >= 1 @ 45.6537
46.87/47.09	c GLOBAL bounds 2 >= 1 @ 45.6773
46.87/47.09	c GLOBAL bounds 2 >= 1 @ 45.6787
46.97/47.12	c GLOBAL bounds 2 >= 1 @ 45.7034
46.97/47.12	c GLOBAL bounds 2 >= 1 @ 45.7046
46.97/47.14	c GLOBAL bounds 2 >= 1 @ 45.7263
46.97/47.14	c GLOBAL bounds 2 >= 1 @ 45.7266
46.97/47.17	c GLOBAL bounds 2 >= 1 @ 45.7498
46.97/47.17	c GLOBAL bounds 2 >= 1 @ 45.7512
46.97/47.17	c GLOBAL bounds 2 >= 1 @ 45.7512
46.97/47.19	c GLOBAL bounds 2 >= 1 @ 45.7738
47.06/47.22	c GLOBAL bounds 2 >= 1 @ 45.7941
47.06/47.22	c GLOBAL bounds 2 >= 1 @ 45.7945
47.06/47.24	c GLOBAL bounds 2 >= 1 @ 45.8173
47.06/47.24	c GLOBAL bounds 2 >= 1 @ 45.8174
47.06/47.27	c GLOBAL bounds 2 >= 1 @ 45.8399
47.06/47.27	c GLOBAL bounds 2 >= 1 @ 45.8412
47.06/47.29	c GLOBAL bounds 2 >= 1 @ 45.865
47.06/47.29	c GLOBAL bounds 2 >= 1 @ 45.8662
47.16/47.32	c GLOBAL bounds 2 >= 1 @ 45.8893
47.16/47.32	c GLOBAL bounds 2 >= 1 @ 45.8902
47.16/47.34	c GLOBAL bounds 2 >= 1 @ 45.9143
47.16/47.35	c GLOBAL bounds 2 >= 1 @ 45.9157
47.16/47.37	c GLOBAL bounds 2 >= 1 @ 45.9393
47.16/47.37	c GLOBAL bounds 2 >= 1 @ 45.9406
47.16/47.39	c GLOBAL bounds 2 >= 1 @ 45.9625
47.26/47.40	c GLOBAL bounds 2 >= 1 @ 45.9638
47.26/47.42	c GLOBAL bounds 2 >= 1 @ 45.9878
47.26/47.42	c GLOBAL bounds 2 >= 1 @ 45.9889
47.26/47.44	c GLOBAL bounds 2 >= 1 @ 46.012
47.26/47.45	c GLOBAL bounds 2 >= 1 @ 46.0134
47.26/47.45	c GLOBAL bounds 2 >= 1 @ 46.0134
47.26/47.47	c GLOBAL bounds 2 >= 1 @ 46.0364
47.26/47.49	c GLOBAL bounds 2 >= 1 @ 46.0574
47.26/47.49	c GLOBAL bounds 2 >= 1 @ 46.0588
47.36/47.52	c GLOBAL bounds 2 >= 1 @ 46.0797
47.36/47.52	c GLOBAL bounds 2 >= 1 @ 46.0807
47.36/47.54	c GLOBAL bounds 2 >= 1 @ 46.1026
47.36/47.54	c GLOBAL bounds 2 >= 1 @ 46.1037
47.36/47.57	c GLOBAL bounds 2 >= 1 @ 46.1263
47.36/47.57	c GLOBAL bounds 2 >= 1 @ 46.1276
47.36/47.59	c GLOBAL bounds 2 >= 1 @ 46.1522
47.36/47.59	c GLOBAL bounds 2 >= 1 @ 46.1536
47.46/47.62	c GLOBAL bounds 2 >= 1 @ 46.1754
47.46/47.62	c GLOBAL bounds 2 >= 1 @ 46.1765
47.46/47.64	c GLOBAL bounds 2 >= 1 @ 46.1996
47.46/47.64	c GLOBAL bounds 2 >= 1 @ 46.201
47.46/47.67	c GLOBAL bounds 2 >= 1 @ 46.2261
47.46/47.67	c GLOBAL bounds 2 >= 1 @ 46.2264
47.56/47.70	c GLOBAL bounds 2 >= 1 @ 46.2497
47.56/47.70	c GLOBAL bounds 2 >= 1 @ 46.251
47.56/47.72	c GLOBAL bounds 2 >= 1 @ 46.274
47.56/47.72	c GLOBAL bounds 2 >= 1 @ 46.2753
47.56/47.72	c GLOBAL bounds 2 >= 1 @ 46.2753
47.56/47.75	c GLOBAL bounds 2 >= 1 @ 46.298
47.56/47.77	c GLOBAL bounds 2 >= 1 @ 46.3172
47.56/47.77	c GLOBAL bounds 2 >= 1 @ 46.3186
47.56/47.79	c GLOBAL bounds 2 >= 1 @ 46.3427
47.56/47.79	c GLOBAL bounds 2 >= 1 @ 46.3441
47.66/47.82	c GLOBAL bounds 2 >= 1 @ 46.3682
47.66/47.82	c GLOBAL bounds 2 >= 1 @ 46.3695
47.66/47.84	c GLOBAL bounds 2 >= 1 @ 46.3924
47.66/47.85	c GLOBAL bounds 2 >= 1 @ 46.3937
47.66/47.87	c GLOBAL bounds 2 >= 1 @ 46.4173
47.66/47.87	c GLOBAL bounds 2 >= 1 @ 46.4186
47.66/47.89	c GLOBAL bounds 2 >= 1 @ 46.4419
47.76/47.90	c GLOBAL bounds 2 >= 1 @ 46.4432
47.76/47.92	c GLOBAL bounds 2 >= 1 @ 46.4672
47.76/47.92	c GLOBAL bounds 2 >= 1 @ 46.4686
47.76/47.95	c GLOBAL bounds 2 >= 1 @ 46.4923
47.76/47.95	c GLOBAL bounds 2 >= 1 @ 46.4936
47.76/47.97	c GLOBAL bounds 2 >= 1 @ 46.5178
47.76/47.97	c GLOBAL bounds 2 >= 1 @ 46.5191
47.76/48.00	c GLOBAL bounds 2 >= 1 @ 46.5433
47.76/48.00	c GLOBAL bounds 2 >= 1 @ 46.5446
47.76/48.00	c GLOBAL bounds 2 >= 1 @ 46.5447
47.86/48.02	c GLOBAL bounds 2 >= 1 @ 46.5684
47.86/48.04	c GLOBAL bounds 2 >= 1 @ 46.5878
47.86/48.05	c GLOBAL bounds 2 >= 1 @ 46.5891
47.86/48.07	c GLOBAL bounds 2 >= 1 @ 46.612
47.86/48.07	c GLOBAL bounds 2 >= 1 @ 46.6124
47.86/48.09	c GLOBAL bounds 2 >= 1 @ 46.6352
47.86/48.10	c GLOBAL bounds 2 >= 1 @ 46.6365
47.97/48.12	c GLOBAL bounds 2 >= 1 @ 46.6603
47.97/48.12	c GLOBAL bounds 2 >= 1 @ 46.6616
47.97/48.14	c GLOBAL bounds 2 >= 1 @ 46.6844
47.97/48.15	c GLOBAL bounds 2 >= 1 @ 46.6853
47.97/48.17	c GLOBAL bounds 2 >= 1 @ 46.7085
47.97/48.17	c GLOBAL bounds 2 >= 1 @ 46.7098
48.06/48.20	c GLOBAL bounds 2 >= 1 @ 46.7319
48.06/48.20	c GLOBAL bounds 2 >= 1 @ 46.7333
48.06/48.22	c GLOBAL bounds 2 >= 1 @ 46.758
48.06/48.22	c GLOBAL bounds 2 >= 1 @ 46.7593
48.06/48.25	c GLOBAL bounds 2 >= 1 @ 46.7837
48.06/48.25	c GLOBAL bounds 2 >= 1 @ 46.785
48.06/48.27	c GLOBAL bounds 2 >= 1 @ 46.8091
48.06/48.27	c GLOBAL bounds 2 >= 1 @ 46.8104
48.06/48.27	c GLOBAL bounds 2 >= 1 @ 46.8104
48.16/48.30	c GLOBAL bounds 2 >= 1 @ 46.8362
48.16/48.32	c GLOBAL bounds 2 >= 1 @ 46.8576
48.16/48.32	c GLOBAL bounds 2 >= 1 @ 46.859
48.16/48.35	c GLOBAL bounds 2 >= 1 @ 46.8844
48.16/48.35	c GLOBAL bounds 2 >= 1 @ 46.8858
48.16/48.38	c GLOBAL bounds 2 >= 1 @ 46.9103
48.16/48.38	c GLOBAL bounds 2 >= 1 @ 46.9116
48.26/48.40	c GLOBAL bounds 2 >= 1 @ 46.9359
48.26/48.40	c GLOBAL bounds 2 >= 1 @ 46.9372
48.26/48.43	c GLOBAL bounds 2 >= 1 @ 46.9593
48.26/48.43	c GLOBAL bounds 2 >= 1 @ 46.9606
48.26/48.45	c GLOBAL bounds 2 >= 1 @ 46.9835
48.26/48.45	c GLOBAL bounds 2 >= 1 @ 46.9848
48.26/48.48	c GLOBAL bounds 2 >= 1 @ 47.0088
48.26/48.48	c GLOBAL bounds 2 >= 1 @ 47.0101
48.36/48.50	c GLOBAL bounds 2 >= 1 @ 47.0342
48.36/48.50	c GLOBAL bounds 2 >= 1 @ 47.0354
48.36/48.53	c GLOBAL bounds 2 >= 1 @ 47.0585
48.36/48.53	c GLOBAL bounds 2 >= 1 @ 47.0594
48.36/48.55	c GLOBAL bounds 2 >= 1 @ 47.0833
48.36/48.56	c GLOBAL bounds 2 >= 1 @ 47.0843
48.36/48.56	c GLOBAL bounds 2 >= 1 @ 47.0843
48.36/48.58	c GLOBAL bounds 2 >= 1 @ 47.1062
48.46/48.60	c GLOBAL bounds 2 >= 1 @ 47.1273
48.46/48.60	c GLOBAL bounds 2 >= 1 @ 47.1282
48.46/48.63	c GLOBAL bounds 2 >= 1 @ 47.1506
48.46/48.63	c GLOBAL bounds 2 >= 1 @ 47.1519
48.46/48.65	c GLOBAL bounds 2 >= 1 @ 47.175
48.46/48.65	c GLOBAL bounds 2 >= 1 @ 47.1763
48.46/48.68	c GLOBAL bounds 2 >= 1 @ 47.2004
48.46/48.68	c GLOBAL bounds 2 >= 1 @ 47.2017
48.56/48.70	c GLOBAL bounds 2 >= 1 @ 47.2249
48.56/48.70	c GLOBAL bounds 2 >= 1 @ 47.226
48.56/48.73	c GLOBAL bounds 2 >= 1 @ 47.2479
48.56/48.73	c GLOBAL bounds 2 >= 1 @ 47.2479
48.56/48.75	c GLOBAL bounds 2 >= 1 @ 47.2718
48.56/48.75	c GLOBAL bounds 2 >= 1 @ 47.2729
48.56/48.78	c GLOBAL bounds 2 >= 1 @ 47.2951
48.56/48.78	c GLOBAL bounds 2 >= 1 @ 47.2963
48.66/48.81	c GLOBAL bounds 2 >= 1 @ 47.3211
48.66/48.81	c GLOBAL bounds 2 >= 1 @ 47.3223
48.66/48.83	c GLOBAL bounds 2 >= 1 @ 47.3466
48.66/48.83	c GLOBAL bounds 2 >= 1 @ 47.3477
48.66/48.83	c GLOBAL bounds 2 >= 1 @ 47.3477
48.66/48.86	c GLOBAL bounds 2 >= 1 @ 47.3692
48.66/48.88	c GLOBAL bounds 2 >= 1 @ 47.3905
48.66/48.88	c GLOBAL bounds 2 >= 1 @ 47.3917
48.76/48.90	c GLOBAL bounds 2 >= 1 @ 47.4155
48.76/48.91	c GLOBAL bounds 2 >= 1 @ 47.4155
48.76/48.93	c GLOBAL bounds 2 >= 1 @ 47.439
48.76/48.93	c GLOBAL bounds 2 >= 1 @ 47.4403
48.76/48.95	c GLOBAL bounds 2 >= 1 @ 47.4641
48.76/48.96	c GLOBAL bounds 2 >= 1 @ 47.4654
48.76/48.98	c GLOBAL bounds 2 >= 1 @ 47.4896
48.76/48.98	c GLOBAL bounds 2 >= 1 @ 47.4903
48.86/49.01	c GLOBAL bounds 2 >= 1 @ 47.5138
48.86/49.01	c GLOBAL bounds 2 >= 1 @ 47.515
48.86/49.03	c GLOBAL bounds 2 >= 1 @ 47.539
48.86/49.03	c GLOBAL bounds 2 >= 1 @ 47.5402
48.86/49.06	c GLOBAL bounds 2 >= 1 @ 47.5636
48.86/49.06	c GLOBAL bounds 2 >= 1 @ 47.5649
48.86/49.08	c GLOBAL bounds 2 >= 1 @ 47.5899
48.86/49.08	c GLOBAL bounds 2 >= 1 @ 47.5911
48.96/49.11	c GLOBAL bounds 2 >= 1 @ 47.6144
48.96/49.11	c GLOBAL bounds 2 >= 1 @ 47.6156
48.96/49.11	c GLOBAL bounds 2 >= 1 @ 47.6156
48.96/49.13	c GLOBAL bounds 2 >= 1 @ 47.6389
48.96/49.16	c GLOBAL bounds 2 >= 1 @ 47.6602
48.96/49.16	c GLOBAL bounds 2 >= 1 @ 47.6614
48.96/49.18	c GLOBAL bounds 2 >= 1 @ 47.6856
48.96/49.18	c GLOBAL bounds 2 >= 1 @ 47.6868
49.05/49.21	c GLOBAL bounds 2 >= 1 @ 47.7116
49.05/49.21	c GLOBAL bounds 2 >= 1 @ 47.7128
49.05/49.23	c GLOBAL bounds 2 >= 1 @ 47.7361
49.05/49.24	c GLOBAL bounds 2 >= 1 @ 47.7373
49.05/49.26	c GLOBAL bounds 2 >= 1 @ 47.7611
49.05/49.26	c GLOBAL bounds 2 >= 1 @ 47.7623
49.05/49.29	c GLOBAL bounds 2 >= 1 @ 47.7862
49.05/49.29	c GLOBAL bounds 2 >= 1 @ 47.7875
49.16/49.31	c GLOBAL bounds 2 >= 1 @ 47.8106
49.16/49.31	c GLOBAL bounds 2 >= 1 @ 47.8116
49.16/49.34	c GLOBAL bounds 2 >= 1 @ 47.8364
49.16/49.34	c GLOBAL bounds 2 >= 1 @ 47.8375
49.16/49.36	c GLOBAL bounds 2 >= 1 @ 47.8588
49.16/49.37	c GLOBAL bounds 2 >= 1 @ 47.8595
49.16/49.39	c GLOBAL bounds 2 >= 1 @ 47.8812
49.16/49.39	c GLOBAL bounds 2 >= 1 @ 47.8824
49.16/49.39	c GLOBAL bounds 2 >= 1 @ 47.8824
49.25/49.42	c GLOBAL bounds 2 >= 1 @ 47.907
49.25/49.44	c GLOBAL bounds 2 >= 1 @ 47.9273
49.25/49.44	c GLOBAL bounds 2 >= 1 @ 47.9273
49.25/49.46	c GLOBAL bounds 2 >= 1 @ 47.9504
49.25/49.46	c GLOBAL bounds 2 >= 1 @ 47.9512
49.25/49.49	c GLOBAL bounds 2 >= 1 @ 47.9748
49.25/49.49	c GLOBAL bounds 2 >= 1 @ 47.976
49.36/49.51	c GLOBAL bounds 2 >= 1 @ 47.9996
49.36/49.52	c GLOBAL bounds 2 >= 1 @ 48.0008
49.36/49.54	c GLOBAL bounds 2 >= 1 @ 48.0249
49.36/49.54	c GLOBAL bounds 2 >= 1 @ 48.0261
49.36/49.57	c GLOBAL bounds 2 >= 1 @ 48.0487
49.36/49.57	c GLOBAL bounds 2 >= 1 @ 48.0498
49.36/49.59	c GLOBAL bounds 2 >= 1 @ 48.074
49.36/49.59	c GLOBAL bounds 2 >= 1 @ 48.0752
49.45/49.62	c GLOBAL bounds 2 >= 1 @ 48.0993
49.45/49.62	c GLOBAL bounds 2 >= 1 @ 48.1005
49.45/49.64	c GLOBAL bounds 2 >= 1 @ 48.1251
49.45/49.64	c GLOBAL bounds 2 >= 1 @ 48.1263
49.45/49.67	c GLOBAL bounds 2 >= 1 @ 48.1507
49.45/49.67	c GLOBAL bounds 2 >= 1 @ 48.1517
49.45/49.67	c GLOBAL bounds 2 >= 1 @ 48.1517
49.45/49.69	c GLOBAL bounds 2 >= 1 @ 48.1754
49.55/49.72	c GLOBAL bounds 2 >= 1 @ 48.1959
49.55/49.72	c GLOBAL bounds 2 >= 1 @ 48.1966
49.55/49.74	c GLOBAL bounds 2 >= 1 @ 48.221
49.55/49.74	c GLOBAL bounds 2 >= 1 @ 48.2222
49.55/49.77	c GLOBAL bounds 2 >= 1 @ 48.2456
49.55/49.77	c GLOBAL bounds 2 >= 1 @ 48.2465
49.55/49.79	c GLOBAL bounds 2 >= 1 @ 48.271
49.66/49.80	c GLOBAL bounds 2 >= 1 @ 48.2722
49.66/49.82	c GLOBAL bounds 2 >= 1 @ 48.2974
49.66/49.82	c GLOBAL bounds 2 >= 1 @ 48.2984
49.66/49.85	c GLOBAL bounds 2 >= 1 @ 48.32
49.66/49.85	c GLOBAL bounds 2 >= 1 @ 48.3211
49.66/49.87	c Inconsistent constraint found
49.66/49.87	c cpu time 48.3462 s
49.66/49.87	c deterministic time 1629149687 1.63e+09
49.66/49.87	c optimization time 1.24326 s
49.66/49.87	c total solve time 46.9917 s
49.66/49.87	c core-guided solve time 0 s
49.66/49.87	c propagation time 11.8411 s
49.66/49.87	c conflict analysis time 30.8147 s
49.66/49.87	c propagations 2652322
49.66/49.87	c resolve steps 948305
49.66/49.87	c decisions 1486725
49.66/49.87	c conflicts 22378
49.66/49.87	c restarts 78
49.66/49.87	c inprocessing phases 8
49.66/49.87	c garbage collections 8 ,( 100.00 )
49.66/49.87	c input clauses 904 ,( 45.54 )
49.66/49.87	c input cardinalities 1 ,( 0.05 )
49.66/49.87	c input general constraints 1080 ,( 54.41 )
49.66/49.87	c input average constraint length 545.66
49.66/49.87	c input average constraint degree 100.50
49.66/49.87	c learned clauses 17906 ,( 77.63 )
49.66/49.87	c learned cardinalities 0 ,( 0.00 )
49.66/49.87	c learned general constraints 5159 ,( 22.37 )
49.66/49.87	c learned average constraint length 442.11
49.66/49.87	c learned average constraint degree 21282579.01
49.66/49.87	c watched  CF 32, 64, 128, Arb: 1712 , 0 , 0 , 0
49.66/49.87	c counting CF 32, 64, 128, Arb: 4528 , 0 , 0 , 0
49.66/49.87	c watched   constraints 1712 ,( 27.44 ) 
49.66/49.87	c counting  constraints 4527 ,( 72.56 ) 
49.66/49.87	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 7775726 , 2257 , 50719628 ,( 1175787 , 49543841 )
49.66/49.87	c gcd simplifications 3267
49.66/49.87	c detected cardinalities 0
49.66/49.87	c weakened non-implied lits 825499
49.66/49.87	c weakened non-implying lits 60000
49.66/49.87	c original variables 1289
49.66/49.87	c clausal propagations 33868
49.66/49.87	c cardinality propagations 775
49.66/49.87	c watched propagations 16920
49.66/49.87	c counting propagations 2113363
49.66/49.87	c watch lookups 485290897
49.66/49.87	c watch backjump lookups 0
49.66/49.87	c watch checks 693754848
49.66/49.87	c propagation checks 103278896
49.66/49.87	c constraint additions 338498770
49.66/49.87	c trail pops 4161302
49.66/49.87	c formula constraints 1095
49.66/49.87	c learned constraints 22267
49.66/49.87	c bound constraints 0
49.66/49.87	c core-guided constraints 0
49.66/49.87	c encountered formula constraints 909654
49.66/49.87	c encountered learned constraints 59759
49.66/49.87	c encountered bound constraints 0
49.66/49.87	c encountered core-guided constraints 0
49.66/49.87	c LP total time 8.86777 s
49.66/49.87	c LP solve time 4.99 s
49.66/49.87	c LP constraints added 1152
49.66/49.87	c LP constraints removed 41
49.66/49.87	c LP pivots internal 22154
49.66/49.87	c LP pivots root 3772
49.66/49.87	c LP calls 1048
49.66/49.87	c LP optimalities 370
49.66/49.87	c LP no pivot count 225
49.66/49.87	c LP infeasibilities 675
49.66/49.87	c LP valid Farkas constraints 672
49.66/49.87	c LP learned Farkas constraints 110
49.66/49.87	c LP basis resets 2
49.66/49.87	c LP cycling count 1
49.66/49.87	c LP singular count 0
49.66/49.87	c LP no primal count 0
49.66/49.87	c LP no farkas count 1
49.66/49.87	c LP other issue count 0
49.66/49.87	c LP Gomory cuts 16
49.66/49.87	c LP learned cuts 41
49.66/49.87	c LP deleted cuts 41
49.66/49.87	c LP encountered Gomory constraints 55
49.66/49.87	c LP encountered Farkas constraints 623
49.66/49.87	c LP encountered learned Farkas constraints 482
49.66/49.87	c CG auxiliary variables introduced 135
49.66/49.87	c CG solutions found 2
49.66/49.87	c CG cores constructed 883
49.66/49.87	c CG core cardinality constraints returned 0
49.66/49.87	c CG unit cores 0
49.66/49.87	c CG single cores 0
49.66/49.87	c CG blocks removed during cardinality reduction 0
49.66/49.87	c CG first core best 0
49.66/49.87	c CG decision core best 0
49.66/49.87	c CG core reduction tie 0
49.66/49.87	c CG core degree average 0.00
49.66/49.87	c CG core slack average 0.00
49.66/49.87	c CG core upper bound improvements 0
49.66/49.87	c STR number of successful calls 0
49.66/49.87	c STR number of unsuccessful calls 0
49.66/49.87	c STR number of inconclusive calls 0
49.66/49.87	c STR number of successful attempts 0
49.66/49.87	c STR number of unsuccessful attempts 0
49.66/49.87	c STR number of inconclusive attempts 0
49.66/49.87	c STR average degree increase per successful call inf
49.66/49.87	c STR average degree increase per successful attempt inf
49.66/49.87	c STR total number of conflicts for successful attempts 0
49.66/49.87	c STR total number of conflicts for unsuccessful attempts 0
49.66/49.87	c STR total number of conflicts for inconclusive attempts 0
49.66/49.87	c STR average number of conflicts per successful attempt inf
49.66/49.87	c STR average number of conflicts per unsuccessful attempt inf
49.66/49.87	c STR average number of conflicts per inconclusive attempt inf
49.66/49.87	c AVG.sumWPerc 47.50 
49.66/49.87	c bigint constraints 0 
49.66/49.87	o 2
49.66/49.87	s OPTIMUM FOUND
49.66/49.87	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

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: 63665 MiB (56881 MiB free)
  memory of node 1: 64507 MiB (45315 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523424-1751603687/watcher-4523424-1751603687 -o /tmp/evaluation-result-4523424-1751603687/solver-4523424-1751603687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84773 --watchdog 3760 run-opt.sh HOME/instance-4523424-1751603687.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=84927, runsolver pid=84924
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 3.53 1.78 1.65 5/268 84929
/proc/meminfo: memFree=104651004/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=62380 memory=19672 CPUtime=0.08 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 2156 0 0 0 7 1 0 0 20 0 1 0 76047525 63877120 4918 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 15595 4918 1920 1147 0 3022 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66572 KiB
Current children cumulated memory: 22744 KiB

[startup+0.205568 s]*
/proc/loadavg: 3.53 1.78 1.65 5/268 84929
/proc/meminfo: memFree=104645208/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=77868 memory=36664 CPUtime=0.19 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 6140 0 0 0 14 5 0 0 20 0 1 0 76047525 79736832 9166 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 19467 9166 2336 1147 0 6894 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 82060 KiB
Current children cumulated memory: 39736 KiB

[startup+0.305468 s]*
/proc/loadavg: 3.53 1.78 1.65 5/268 84929
/proc/meminfo: memFree=104645208/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=83444 memory=40964 CPUtime=0.28 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 9070 0 0 0 18 10 0 0 20 0 1 0 76047525 85446656 10209 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 20861 10241 2336 1147 0 8288 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 87636 KiB
Current children cumulated memory: 44036 KiB

[startup+0.70016 s]
/proc/loadavg: 3.53 1.78 1.65 5/268 84929
/proc/meminfo: memFree=104611500/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=96436 memory=54976 CPUtime=0.68 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 16717 0 0 0 56 12 0 0 20 0 1 0 76047525 98750464 13744 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 24109 13744 2400 1147 0 11536 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100628 KiB
Current children cumulated memory: 58048 KiB

[startup+1.50021 s]
/proc/loadavg: 3.53 1.78 1.65 5/268 84929
/proc/meminfo: memFree=104603720/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=102112 memory=60096 CPUtime=1.47 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 18775 0 0 0 135 12 0 0 20 0 1 0 76047525 104562688 15024 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 25528 15024 2400 1147 0 12955 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 106304 KiB
Current children cumulated memory: 63168 KiB

[startup+3.10544 s]
/proc/loadavg: 3.57 1.82 1.66 5/268 84929
/proc/meminfo: memFree=104571460/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=112728 memory=71636 CPUtime=3.07 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 21242 0 0 0 293 14 0 0 20 0 1 0 76047525 115433472 17909 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 28182 17909 2400 1147 0 15609 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 116920 KiB
Current children cumulated memory: 74708 KiB

[startup+6.3002 s]
/proc/loadavg: 3.57 1.82 1.66 5/268 84929
/proc/meminfo: memFree=104482984/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=122120 memory=75860 CPUtime=6.26 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 23330 0 0 0 607 19 0 0 20 0 1 0 76047525 125050880 18965 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 30530 18965 2400 1147 0 17957 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126312 KiB
Current children cumulated memory: 78932 KiB

[startup+12.7002 s]
/proc/loadavg: 3.63 1.89 1.69 5/268 84929
/proc/meminfo: memFree=104414492/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=122120 memory=78112 CPUtime=12.64 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 23393 0 0 0 1241 23 0 0 20 0 1 0 76047525 125050880 19528 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 30530 19528 2400 1147 0 17957 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126312 KiB
Current children cumulated memory: 81184 KiB

[startup+25.5002 s]
/proc/loadavg: 3.69 1.96 1.72 5/269 84930
/proc/meminfo: memFree=104203728/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=145980 memory=96428 CPUtime=25.42 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 26064 0 0 0 2509 33 0 0 20 0 1 0 76047525 149483520 24107 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 36495 24107 2400 1147 0 23922 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 150172 KiB
Current children cumulated memory: 99500 KiB

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

# cumulated CPU time of all completed processes:  user=48.3494 s, system=1.40135 s

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

[startup+25.6002 s]
/proc/loadavg: 3.69 1.96 1.72 5/269 84930
/proc/meminfo: memFree=104203728/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=145980 memory=96428 CPUtime=25.52 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 26064 0 0 0 2519 33 0 0 20 0 1 0 76047525 149483520 24107 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 36495 24107 2400 1147 0 23922 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 150172 KiB
Current children cumulated memory: 99500 KiB

[startup+38.4002 s]
/proc/loadavg: 3.76 2.06 1.75 5/269 84930
/proc/meminfo: memFree=104018916/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=154112 memory=107104 CPUtime=38.28 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 27129 0 0 0 3739 89 0 0 20 0 1 0 76047525 157810688 26776 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 38528 26776 2400 1147 0 25955 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 110176 KiB

[startup+44.8002 s]
/proc/loadavg: 3.78 2.10 1.77 5/269 84930
/proc/meminfo: memFree=103945888/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=154112 memory=107104 CPUtime=44.67 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 27129 0 0 0 4347 120 0 0 20 0 1 0 76047525 157810688 26776 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 38528 26776 2400 1147 0 25955 0
Current children cumulated CPU time: 44.67 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 110176 KiB

[startup+48.0002 s]*
/proc/loadavg: 3.88 2.14 1.78 5/269 84930
/proc/meminfo: memFree=103897372/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=154112 memory=107104 CPUtime=47.86 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 27129 0 0 0 4654 132 0 0 20 0 1 0 76047525 157810688 26776 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 38528 26776 2400 1147 0 25955 0
Current children cumulated CPU time: 47.86 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 110176 KiB

[startup+48.8002 s]
/proc/loadavg: 3.88 2.14 1.78 5/269 84930
/proc/meminfo: memFree=103897372/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=154112 memory=107104 CPUtime=48.66 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 27129 0 0 0 4731 135 0 0 20 0 1 0 76047525 157810688 26776 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 38528 26776 2400 1147 0 25955 0
Current children cumulated CPU time: 48.66 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 110176 KiB

[startup+49.6002 s]
/proc/loadavg: 3.88 2.14 1.78 5/269 84930
/proc/meminfo: memFree=103893528/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=154700 memory=107616 CPUtime=49.45 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 27300 0 0 0 4807 138 0 0 20 0 1 0 76047525 158412800 26904 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 38675 26904 2400 1147 0 26102 0
Current children cumulated CPU time: 49.45 s
Current children cumulated vsize: 158892 KiB
Current children cumulated memory: 110688 KiB

[startup+49.8002 s]
/proc/loadavg: 3.88 2.14 1.78 5/269 84930
/proc/meminfo: memFree=103893528/131249988 swapFree=33010160/33010684
[pid=84927] ppid=84924 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84927/stat : 84927 (run-opt.sh) S 84924 84927 84760 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 76047524 4292608 768 18446744073709551615 94492922490880 94492923385413 140728545075648 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94492923624464 94492923672208 94492951535616 140728545081709 140728545081832 140728545081832 140728545087434 0
/proc/84927/statm: 1048 768 704 219 0 110 0
[pid=84929] ppid=84927 vsize=155004 memory=107872 CPUtime=49.66 cores=5,7
/proc/84929/stat : 84929 (roundingsat) R 84927 84927 84760 0 -1 4194304 27372 0 0 0 4827 139 0 0 20 0 1 0 76047525 158724096 26968 18446744073709551615 4227072 8923433 140737135731216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34881536 140737135737250 140737135737384 140737135737384 140737135742954 0
/proc/84929/statm: 38751 26968 2400 1147 0 26178 0
Current children cumulated CPU time: 49.66 s
Current children cumulated vsize: 159196 KiB
Current children cumulated memory: 110944 KiB

Child status: 0

Real time (s): 49.8826
CPU time (s): 49.7508
CPU user time (s): 48.3494
CPU system time (s): 1.40135
CPU usage (%): 99.7357
Max. virtual memory (cumulated for all children) (KiB): 159196
Max. memory (cumulated for all children) (KiB): 110944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.3494
system time used= 1.40135
maximum resident set size= 118380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27630
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 71


# summary of solver processes directly reported to runsolver:
#   pid: 84927
#   total CPU time (s): 49.7508
#   total CPU user time (s): 48.3494
#   total CPU system time (s): 1.40135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.113729 second user time and 0.295357 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-04 06:34:47
IDJOB=4523424
IDBENCH=180361
IDSOLVER=3350
FILE ID=nodeC034/4523424-1751603687
RUNJOBID= nodeC034-1751603608-84773
SLURM_JOB_ID= 9598888
Free space on /tmp= 430852 MiB

SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523424-1751603687/watcher-4523424-1751603687 -o /tmp/evaluation-result-4523424-1751603687/solver-4523424-1751603687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84773 --watchdog 3760  run-opt.sh HOME/instance-4523424-1751603687.opb

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

MD5SUM BENCH= f69e8990d47aa59ed46eeada43b05a2f
RANDOM SEED=2017864737

nodeC034 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	: 0xb00002a
cpu MHz		: 3599.765
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.726
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3649.139
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.749
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.552
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3603.172
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.752
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.997
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        104650748 kB
MemAvailable:   128225452 kB
Buffers:            2128 kB
Cached:         24312548 kB
SwapCached:           36 kB
Active:          1956000 kB
Inactive:       23837932 kB
Active(anon):    1493116 kB
Inactive(anon):     4208 kB
Active(file):     462884 kB
Inactive(file): 23833724 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17708 kB
Writeback:             0 kB
AnonPages:       1482328 kB
Mapped:           117540 kB
Shmem:             18068 kB
KReclaimable:     234268 kB
Slab:             327328 kB
SReclaimable:     234268 kB
SUnreclaim:        93060 kB
KernelStack:        4336 kB
PageTables:         6116 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    2248484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    606208 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430844 MiB
End job on nodeC034 at 2025-07-04 06:35:37