0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
2.54/2.60	c #variables 15008 #constraints 65280
2.54/2.60	c objective is ce32 
2.96/3.09	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.96/3.09	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.96/3.09	c GLOBAL bounds - >= 0 @ 2.78663
3.25/3.38	c GLOBAL bounds - >= 0 @ 3.06837
3.25/3.39	c GLOBAL bounds - >= 0 @ 3.0789
3.34/3.42	c GLOBAL bounds - >= 0 @ 3.09496
3.34/3.44	c GLOBAL bounds - >= 0 @ 3.11201
3.34/3.47	c GLOBAL bounds - >= 0 @ 3.13139
3.34/3.49	c GLOBAL bounds - >= 0 @ 3.14572
3.45/3.52	c GLOBAL bounds - >= 0 @ 3.17165
3.45/3.55	c GLOBAL bounds - >= 0 @ 3.18937
3.45/3.58	c GLOBAL bounds - >= 0 @ 3.20922
3.54/3.61	c GLOBAL bounds - >= 0 @ 3.22972
3.64/3.74	c GLOBAL bounds - >= 0 @ 3.34911
3.74/3.85	c GLOBAL bounds - >= 0 @ 3.45629
3.84/3.90	c GLOBAL bounds - >= 0 @ 3.49184
3.84/3.93	c GLOBAL bounds - >= 0 @ 3.51784
3.84/3.97	c GLOBAL bounds - >= 0 @ 3.54557
3.95/4.05	c GLOBAL bounds - >= 0 @ 3.61016
3.95/4.07	c GLOBAL bounds - >= 0 @ 3.63069
3.95/4.10	c GLOBAL bounds - >= 0 @ 3.64406
4.05/4.13	c GLOBAL bounds - >= 0 @ 3.66747
4.05/4.18	c GLOBAL bounds - >= 0 @ 3.70748
4.14/4.22	c GLOBAL bounds - >= 0 @ 3.73516
4.14/4.26	c GLOBAL bounds - >= 0 @ 3.76519
4.14/4.29	c GLOBAL bounds - >= 0 @ 3.78448
4.24/4.32	c GLOBAL bounds - >= 0 @ 3.80889
4.24/4.37	c GLOBAL bounds - >= 0 @ 3.85061
4.34/4.41	c GLOBAL bounds - >= 0 @ 3.88038
4.34/4.43	c GLOBAL bounds - >= 0 @ 3.89698
4.34/4.46	c GLOBAL bounds - >= 0 @ 3.92109
4.34/4.49	c GLOBAL bounds - >= 0 @ 3.9349
4.44/4.52	c GLOBAL bounds - >= 0 @ 3.96068
4.44/4.55	c GLOBAL bounds - >= 0 @ 3.98323
4.44/4.60	c GLOBAL bounds - >= 0 @ 4.02009
4.54/4.64	c GLOBAL bounds - >= 0 @ 4.05197
4.54/4.66	c GLOBAL bounds - >= 0 @ 4.07153
4.54/4.69	c GLOBAL bounds - >= 0 @ 4.09384
4.63/4.72	c GLOBAL bounds - >= 0 @ 4.10974
4.63/4.74	c GLOBAL bounds - >= 0 @ 4.12356
4.63/4.77	c GLOBAL bounds - >= 0 @ 4.14104
4.74/4.80	c GLOBAL bounds - >= 0 @ 4.16211
4.74/4.83	c GLOBAL bounds - >= 0 @ 4.18494
4.74/4.88	c GLOBAL bounds - >= 0 @ 4.2289
4.84/4.91	c GLOBAL bounds - >= 0 @ 4.25309
4.84/4.93	c GLOBAL bounds - >= 0 @ 4.27388
4.84/4.96	c GLOBAL bounds - >= 0 @ 4.29591
4.84/4.99	c GLOBAL bounds - >= 0 @ 4.31271
4.95/5.01	c GLOBAL bounds - >= 0 @ 4.33096
4.95/5.03	c GLOBAL bounds - >= 0 @ 4.3399
4.95/5.06	c GLOBAL bounds - >= 0 @ 4.35493
4.95/5.08	c GLOBAL bounds - >= 0 @ 4.36917
4.95/5.10	c GLOBAL bounds - >= 0 @ 4.38457
5.05/5.13	c GLOBAL bounds - >= 0 @ 4.39778
5.05/5.15	c GLOBAL bounds - >= 0 @ 4.40983
5.05/5.17	c GLOBAL bounds - >= 0 @ 4.4243
5.05/5.19	c GLOBAL bounds - >= 0 @ 4.43683
5.14/5.21	c GLOBAL bounds - >= 0 @ 4.45029
5.14/5.24	c GLOBAL bounds - >= 0 @ 4.4712
5.14/5.30	c GLOBAL bounds - >= 0 @ 4.50738
5.24/5.33	c GLOBAL bounds - >= 0 @ 4.52518
5.24/5.35	c GLOBAL bounds - >= 0 @ 4.5429
5.24/5.38	c GLOBAL bounds - >= 0 @ 4.56058
5.34/5.41	c GLOBAL bounds - >= 0 @ 4.58422
5.34/5.44	c GLOBAL bounds - >= 0 @ 4.60212
5.34/5.46	c GLOBAL bounds - >= 0 @ 4.62041
5.34/5.49	c GLOBAL bounds - >= 0 @ 4.63488
5.44/5.51	c GLOBAL bounds - >= 0 @ 4.64792
5.44/5.54	c GLOBAL bounds - >= 0 @ 4.66148
5.44/5.56	c GLOBAL bounds - >= 0 @ 4.67937
5.44/5.59	c GLOBAL bounds - >= 0 @ 4.69695
5.54/5.62	c GLOBAL bounds - >= 0 @ 4.71556
5.54/5.65	c GLOBAL bounds - >= 0 @ 4.73524
5.54/5.68	c GLOBAL bounds - >= 0 @ 4.75846
5.64/5.71	c GLOBAL bounds - >= 0 @ 4.78003
5.64/5.73	c GLOBAL bounds - >= 0 @ 4.7938
5.64/5.76	c GLOBAL bounds - >= 0 @ 4.80543
5.64/5.78	c GLOBAL bounds - >= 0 @ 4.82371
5.74/5.81	c GLOBAL bounds - >= 0 @ 4.84216
5.74/5.84	c GLOBAL bounds - >= 0 @ 4.8617
5.74/5.87	c GLOBAL bounds - >= 0 @ 4.88087
5.84/5.90	c GLOBAL bounds - >= 0 @ 4.90254
5.84/5.92	c GLOBAL bounds - >= 0 @ 4.92251
5.84/5.95	c GLOBAL bounds - >= 0 @ 4.94048
5.84/5.98	c GLOBAL bounds - >= 0 @ 4.95822
5.84/6.01	c GLOBAL bounds - >= 0 @ 4.97901
5.95/6.03	c GLOBAL bounds - >= 0 @ 4.99478
5.95/6.06	c GLOBAL bounds - >= 0 @ 5.01581
5.95/6.09	c GLOBAL bounds - >= 0 @ 5.03505
6.05/6.12	c GLOBAL bounds - >= 0 @ 5.05118
6.05/6.14	c GLOBAL bounds - >= 0 @ 5.07019
6.05/6.17	c GLOBAL bounds - >= 0 @ 5.08516
6.05/6.19	c GLOBAL bounds - >= 0 @ 5.10299
6.13/6.23	c GLOBAL bounds - >= 0 @ 5.1346
6.13/6.27	c GLOBAL bounds - >= 0 @ 5.16535
6.24/6.30	c GLOBAL bounds - >= 0 @ 5.18741
6.24/6.33	c GLOBAL bounds - >= 0 @ 5.20831
6.24/6.36	c GLOBAL bounds - >= 0 @ 5.22855
6.24/6.38	c GLOBAL bounds - >= 0 @ 5.24964
6.33/6.41	c GLOBAL bounds - >= 0 @ 5.26636
6.33/6.44	c GLOBAL bounds - >= 0 @ 5.28971
6.33/6.48	c GLOBAL bounds - >= 0 @ 5.31103
6.43/6.51	c GLOBAL bounds - >= 0 @ 5.33647
6.43/6.54	c GLOBAL bounds - >= 0 @ 5.36027
6.43/6.58	c GLOBAL bounds - >= 0 @ 5.384
6.53/6.60	c GLOBAL bounds - >= 0 @ 5.40285
6.53/6.64	c GLOBAL bounds - >= 0 @ 5.43038
6.53/6.68	c GLOBAL bounds - >= 0 @ 5.45849
6.63/6.74	c GLOBAL bounds - >= 0 @ 5.5051
6.63/6.78	c GLOBAL bounds - >= 0 @ 5.54007
6.73/6.82	c GLOBAL bounds - >= 0 @ 5.56441
6.73/6.85	c GLOBAL bounds - >= 0 @ 5.58832
6.83/6.91	c GLOBAL bounds - >= 0 @ 5.63336
6.83/6.95	c GLOBAL bounds - >= 0 @ 5.66131
6.83/7.00	c GLOBAL bounds - >= 0 @ 5.69789
6.94/7.03	c GLOBAL bounds - >= 0 @ 5.7217
6.94/7.06	c GLOBAL bounds - >= 0 @ 5.74564
6.94/7.09	c GLOBAL bounds - >= 0 @ 5.7646
7.05/7.11	c GLOBAL bounds - >= 0 @ 5.78429
7.05/7.14	c GLOBAL bounds - >= 0 @ 5.80417
7.05/7.17	c GLOBAL bounds - >= 0 @ 5.82175
7.05/7.20	c GLOBAL bounds - >= 0 @ 5.84352
7.13/7.22	c GLOBAL bounds - >= 0 @ 5.86571
7.13/7.25	c GLOBAL bounds - >= 0 @ 5.88602
7.13/7.28	c GLOBAL bounds - >= 0 @ 5.90707
7.23/7.31	c GLOBAL bounds - >= 0 @ 5.92666
7.23/7.33	c GLOBAL bounds - >= 0 @ 5.94427
7.23/7.36	c GLOBAL bounds - >= 0 @ 5.96103
7.23/7.39	c GLOBAL bounds - >= 0 @ 5.97866
7.33/7.41	c GLOBAL bounds - >= 0 @ 5.99627
7.33/7.44	c GLOBAL bounds - >= 0 @ 6.01282
7.33/7.46	c GLOBAL bounds - >= 0 @ 6.03238
7.33/7.49	c GLOBAL bounds - >= 0 @ 6.05086
7.43/7.52	c GLOBAL bounds - >= 0 @ 6.06786
7.43/7.54	c GLOBAL bounds - >= 0 @ 6.08598
7.43/7.57	c GLOBAL bounds - >= 0 @ 6.10087
7.43/7.60	c GLOBAL bounds - >= 0 @ 6.1206
7.53/7.63	c GLOBAL bounds - >= 0 @ 6.14704
7.53/7.66	c GLOBAL bounds - >= 0 @ 6.16869
7.53/7.69	c GLOBAL bounds - >= 0 @ 6.19721
7.63/7.72	c GLOBAL bounds - >= 0 @ 6.21614
7.63/7.75	c GLOBAL bounds - >= 0 @ 6.23438
7.63/7.78	c GLOBAL bounds - >= 0 @ 6.25517
7.73/7.81	c GLOBAL bounds - >= 0 @ 6.28244
7.73/7.84	c GLOBAL bounds - >= 0 @ 6.30924
7.73/7.87	c GLOBAL bounds - >= 0 @ 6.33053
7.83/7.90	c GLOBAL bounds - >= 0 @ 6.35328
7.83/7.93	c GLOBAL bounds - >= 0 @ 6.37609
7.83/7.95	c GLOBAL bounds - >= 0 @ 6.39334
7.83/7.98	c GLOBAL bounds - >= 0 @ 6.40857
7.83/8.01	c GLOBAL bounds - >= 0 @ 6.42498
7.94/8.04	c GLOBAL bounds - >= 0 @ 6.44397
7.94/8.06	c GLOBAL bounds - >= 0 @ 6.46436
7.94/8.09	c GLOBAL bounds - >= 0 @ 6.48376
8.04/8.12	c GLOBAL bounds - >= 0 @ 6.5045
8.04/8.15	c GLOBAL bounds - >= 0 @ 6.5248
8.04/8.17	c GLOBAL bounds - >= 0 @ 6.54732
8.13/8.21	c GLOBAL bounds - >= 0 @ 6.581
8.13/8.25	c GLOBAL bounds - >= 0 @ 6.60626
8.13/8.28	c GLOBAL bounds - >= 0 @ 6.6299
8.23/8.32	c GLOBAL bounds - >= 0 @ 6.66359
8.23/8.35	c GLOBAL bounds - >= 0 @ 6.68764
8.23/8.38	c GLOBAL bounds - >= 0 @ 6.71343
8.33/8.41	c GLOBAL bounds - >= 0 @ 6.7311
8.43/8.51	c GLOBAL bounds - >= 0 @ 6.79387
8.43/8.55	c GLOBAL bounds - >= 0 @ 6.82179
8.43/8.58	c GLOBAL bounds - >= 0 @ 6.85157
8.52/8.62	c GLOBAL bounds - >= 0 @ 6.87725
8.52/8.65	c GLOBAL bounds - >= 0 @ 6.90524
8.52/8.69	c GLOBAL bounds - >= 0 @ 6.9265
8.63/8.73	c GLOBAL bounds - >= 0 @ 6.95382
8.63/8.76	c GLOBAL bounds - >= 0 @ 6.97836
8.63/8.79	c GLOBAL bounds - >= 0 @ 7.00581
8.73/8.83	c GLOBAL bounds - >= 0 @ 7.03134
8.73/8.86	c GLOBAL bounds - >= 0 @ 7.05754
8.73/8.89	c GLOBAL bounds - >= 0 @ 7.08195
8.83/8.93	c GLOBAL bounds - >= 0 @ 7.11389
8.83/8.97	c GLOBAL bounds - >= 0 @ 7.13961
8.83/8.99	c GLOBAL bounds - >= 0 @ 7.16097
8.94/9.02	c GLOBAL bounds - >= 0 @ 7.18198
8.94/9.06	c GLOBAL bounds - >= 0 @ 7.20916
8.94/9.09	c GLOBAL bounds - >= 0 @ 7.23584
9.04/9.12	c GLOBAL bounds - >= 0 @ 7.25408
9.04/9.15	c GLOBAL bounds - >= 0 @ 7.27436
9.04/9.19	c GLOBAL bounds - >= 0 @ 7.29654
9.13/9.23	c GLOBAL bounds - >= 0 @ 7.33099
9.13/9.27	c GLOBAL bounds - >= 0 @ 7.36077
9.22/9.31	c GLOBAL bounds - >= 0 @ 7.39799
9.22/9.39	c GLOBAL bounds - >= 0 @ 7.46351
9.33/9.42	c GLOBAL bounds - >= 0 @ 7.49143
9.33/9.46	c GLOBAL bounds - >= 0 @ 7.5171
9.42/9.50	c GLOBAL bounds - >= 0 @ 7.54924
9.42/9.54	c GLOBAL bounds - >= 0 @ 7.57964
9.42/9.58	c GLOBAL bounds - >= 0 @ 7.60522
9.53/9.61	c GLOBAL bounds - >= 0 @ 7.63323
9.53/9.64	c GLOBAL bounds - >= 0 @ 7.65799
9.53/9.67	c GLOBAL bounds - >= 0 @ 7.6805
9.63/9.70	c GLOBAL bounds - >= 0 @ 7.70433
9.63/9.73	c GLOBAL bounds - >= 0 @ 7.72991
9.63/9.76	c GLOBAL bounds - >= 0 @ 7.75241
9.73/9.81	c GLOBAL bounds - >= 0 @ 7.79341
9.73/9.85	c GLOBAL bounds - >= 0 @ 7.82981
9.73/9.89	c GLOBAL bounds - >= 0 @ 7.86059
9.82/9.93	c GLOBAL bounds - >= 0 @ 7.88984
9.82/9.97	c GLOBAL bounds - >= 0 @ 7.91602
9.93/10.02	c GLOBAL bounds - >= 0 @ 7.95928
9.93/10.07	c GLOBAL bounds - >= 0 @ 8.00492
10.04/10.11	c GLOBAL bounds - >= 0 @ 8.03491
10.04/10.15	c GLOBAL bounds - >= 0 @ 8.06449
10.04/10.19	c GLOBAL bounds - >= 0 @ 8.0922
10.13/10.22	c GLOBAL bounds - >= 0 @ 8.12451
10.13/10.26	c GLOBAL bounds - >= 0 @ 8.15112
10.23/10.30	c GLOBAL bounds - >= 0 @ 8.18115
10.23/10.33	c GLOBAL bounds - >= 0 @ 8.20899
10.23/10.37	c GLOBAL bounds - >= 0 @ 8.22843
10.33/10.40	c GLOBAL bounds - >= 0 @ 8.25699
10.33/10.44	c GLOBAL bounds - >= 0 @ 8.28709
10.33/10.47	c GLOBAL bounds - >= 0 @ 8.31273
10.42/10.51	c GLOBAL bounds - >= 0 @ 8.33374
10.42/10.54	c GLOBAL bounds - >= 0 @ 8.35654
10.42/10.57	c GLOBAL bounds - >= 0 @ 8.38271
10.52/10.61	c GLOBAL bounds - >= 0 @ 8.4115
10.52/10.65	c GLOBAL bounds - >= 0 @ 8.44137
10.52/10.68	c GLOBAL bounds - >= 0 @ 8.46027
10.62/10.72	c GLOBAL bounds - >= 0 @ 8.4932
10.62/10.75	c GLOBAL bounds - >= 0 @ 8.51958
10.62/10.78	c GLOBAL bounds - >= 0 @ 8.54377
10.72/10.81	c GLOBAL bounds - >= 0 @ 8.56692
10.72/10.85	c GLOBAL bounds - >= 0 @ 8.58691
10.72/10.88	c GLOBAL bounds - >= 0 @ 8.61392
10.82/10.92	c GLOBAL bounds - >= 0 @ 8.6397
10.82/10.95	c GLOBAL bounds - >= 0 @ 8.66094
10.82/10.98	c GLOBAL bounds - >= 0 @ 8.68516
10.94/11.02	c GLOBAL bounds - >= 0 @ 8.7195
10.94/11.06	c GLOBAL bounds - >= 0 @ 8.75537
10.94/11.10	c GLOBAL bounds - >= 0 @ 8.78515
11.04/11.14	c GLOBAL bounds - >= 0 @ 8.81083
11.04/11.18	c GLOBAL bounds - >= 0 @ 8.84377
11.12/11.23	c GLOBAL bounds - >= 0 @ 8.88732
11.12/11.26	c GLOBAL bounds - >= 0 @ 8.91259
11.22/11.30	c GLOBAL bounds - >= 0 @ 8.94414
11.22/11.35	c GLOBAL bounds - >= 0 @ 8.98456
11.22/11.39	c GLOBAL bounds - >= 0 @ 9.01893
11.32/11.43	c GLOBAL bounds - >= 0 @ 9.0488
11.32/11.46	c GLOBAL bounds - >= 0 @ 9.06781
11.42/11.54	c GLOBAL bounds - >= 0 @ 9.13305
11.42/11.58	c GLOBAL bounds - >= 0 @ 9.16596
11.62/11.71	c GLOBAL bounds - >= 0 @ 9.28574
11.62/11.76	c GLOBAL bounds - >= 0 @ 9.33088
11.93/12.10	c GLOBAL bounds - >= 0 @ 9.65316
12.04/12.15	c GLOBAL bounds - >= 0 @ 9.69691
12.12/12.22	c GLOBAL bounds - >= 0 @ 9.75492
12.12/12.27	c GLOBAL bounds - >= 0 @ 9.79272
12.22/12.32	c GLOBAL bounds - >= 0 @ 9.83697
12.22/12.37	c GLOBAL bounds - >= 0 @ 9.8744
12.32/12.42	c GLOBAL bounds - >= 0 @ 9.91992
12.32/12.47	c GLOBAL bounds - >= 0 @ 9.95323
12.42/12.51	c GLOBAL bounds - >= 0 @ 9.98615
12.42/12.56	c GLOBAL bounds - >= 0 @ 10.0204
12.52/12.60	c GLOBAL bounds - >= 0 @ 10.0548
12.52/12.64	c GLOBAL bounds - >= 0 @ 10.0919
12.62/12.70	c GLOBAL bounds - >= 0 @ 10.1348
12.62/12.75	c GLOBAL bounds - >= 0 @ 10.179
12.62/12.79	c GLOBAL bounds - >= 0 @ 10.2189
12.72/12.83	c GLOBAL bounds - >= 0 @ 10.2538
12.72/12.88	c GLOBAL bounds - >= 0 @ 10.287
12.82/12.93	c GLOBAL bounds - >= 0 @ 10.3279
12.82/12.97	c GLOBAL bounds - >= 0 @ 10.3647
12.93/13.01	c GLOBAL bounds - >= 0 @ 10.3989
12.93/13.05	c GLOBAL bounds - >= 0 @ 10.4334
12.93/13.10	c GLOBAL bounds - >= 0 @ 10.4666
13.03/13.14	c GLOBAL bounds - >= 0 @ 10.4998
13.03/13.18	c GLOBAL bounds - >= 0 @ 10.5344
13.11/13.22	c GLOBAL bounds - >= 0 @ 10.568
13.11/13.26	c GLOBAL bounds - >= 0 @ 10.6005
13.21/13.30	c GLOBAL bounds - >= 0 @ 10.6276
13.21/13.34	c GLOBAL bounds - >= 0 @ 10.661
13.21/13.38	c GLOBAL bounds - >= 0 @ 10.6964
13.32/13.42	c GLOBAL bounds - >= 0 @ 10.7298
13.32/13.46	c GLOBAL bounds - >= 0 @ 10.7643
13.42/13.50	c GLOBAL bounds - >= 0 @ 10.7948
13.42/13.54	c GLOBAL bounds - >= 0 @ 10.8311
13.42/13.59	c GLOBAL bounds - >= 0 @ 10.871
13.51/13.63	c GLOBAL bounds - >= 0 @ 10.9063
13.51/13.67	c GLOBAL bounds - >= 0 @ 10.937
13.61/13.71	c GLOBAL bounds - >= 0 @ 10.9677
13.61/13.75	c GLOBAL bounds - >= 0 @ 10.9972
13.61/13.79	c GLOBAL bounds - >= 0 @ 11.0321
13.71/13.83	c GLOBAL bounds - >= 0 @ 11.0618
13.82/13.93	c GLOBAL bounds - >= 0 @ 11.1418
13.82/13.99	c GLOBAL bounds - >= 0 @ 11.1969
13.92/14.04	c GLOBAL bounds - >= 0 @ 11.2351
13.92/14.08	c GLOBAL bounds - >= 0 @ 11.2708
14.03/14.14	c GLOBAL bounds - >= 0 @ 11.319
14.03/14.18	c GLOBAL bounds - >= 0 @ 11.3595
14.12/14.22	c GLOBAL bounds - >= 0 @ 11.3872
14.12/14.27	c GLOBAL bounds - >= 0 @ 11.4209
14.21/14.32	c GLOBAL bounds - >= 0 @ 11.4664
14.21/14.37	c GLOBAL bounds - >= 0 @ 11.5157
14.31/14.42	c GLOBAL bounds - >= 0 @ 11.553
14.41/14.51	c GLOBAL bounds - >= 0 @ 11.6158
14.41/14.59	c GLOBAL bounds - >= 0 @ 11.6666
14.52/14.64	c GLOBAL bounds - >= 0 @ 11.7024
14.61/14.70	c GLOBAL bounds - >= 0 @ 11.7585
14.61/14.75	c GLOBAL bounds - >= 0 @ 11.802
14.71/14.80	c GLOBAL bounds - >= 0 @ 11.8426
14.71/14.85	c GLOBAL bounds - >= 0 @ 11.8715
14.81/14.90	c GLOBAL bounds - >= 0 @ 11.915
14.81/14.95	c GLOBAL bounds - >= 0 @ 11.9573
14.81/14.99	c GLOBAL bounds - >= 0 @ 11.9949
14.92/15.04	c GLOBAL bounds - >= 0 @ 12.0296
14.92/15.08	c GLOBAL bounds - >= 0 @ 12.0599
15.02/15.12	c GLOBAL bounds - >= 0 @ 12.0934
15.02/15.17	c GLOBAL bounds - >= 0 @ 12.1362
15.11/15.22	c GLOBAL bounds - >= 0 @ 12.1717
15.11/15.26	c GLOBAL bounds - >= 0 @ 12.2053
15.21/15.30	c GLOBAL bounds - >= 0 @ 12.2358
15.21/15.34	c GLOBAL bounds - >= 0 @ 12.2697
15.21/15.38	c GLOBAL bounds - >= 0 @ 12.307
15.31/15.42	c GLOBAL bounds - >= 0 @ 12.3394
15.31/15.47	c GLOBAL bounds - >= 0 @ 12.3785
15.41/15.53	c GLOBAL bounds - >= 0 @ 12.4208
15.41/15.58	c GLOBAL bounds - >= 0 @ 12.4594
15.51/15.62	c GLOBAL bounds - >= 0 @ 12.4924
15.51/15.67	c GLOBAL bounds - >= 0 @ 12.5312
15.61/15.71	c GLOBAL bounds - >= 0 @ 12.5655
15.61/15.76	c GLOBAL bounds - >= 0 @ 12.6032
15.71/15.80	c GLOBAL bounds - >= 0 @ 12.6404
15.71/15.85	c GLOBAL bounds - >= 0 @ 12.68
15.71/15.89	c GLOBAL bounds - >= 0 @ 12.7195
15.81/15.94	c GLOBAL bounds - >= 0 @ 12.7572
15.81/15.99	c GLOBAL bounds - >= 0 @ 12.7955
15.92/16.03	c GLOBAL bounds - >= 0 @ 12.8295
15.92/16.09	c GLOBAL bounds - >= 0 @ 12.8836
16.02/16.14	c GLOBAL bounds - >= 0 @ 12.9275
16.02/16.19	c GLOBAL bounds - >= 0 @ 12.9691
16.10/16.24	c GLOBAL bounds - >= 0 @ 13.013
16.10/16.28	c GLOBAL bounds - >= 0 @ 13.0461
16.21/16.32	c GLOBAL bounds - >= 0 @ 13.0732
16.21/16.36	c GLOBAL bounds - >= 0 @ 13.1091
16.31/16.41	c GLOBAL bounds - >= 0 @ 13.136
16.31/16.45	c GLOBAL bounds - >= 0 @ 13.1678
16.31/16.50	c GLOBAL bounds - >= 0 @ 13.1976
16.41/16.54	c GLOBAL bounds - >= 0 @ 13.2315
16.41/16.58	c GLOBAL bounds - >= 0 @ 13.2644
16.50/16.62	c GLOBAL bounds - >= 0 @ 13.3004
16.50/16.67	c GLOBAL bounds - >= 0 @ 13.3384
16.61/16.71	c GLOBAL bounds - >= 0 @ 13.3709
16.61/16.75	c GLOBAL bounds - >= 0 @ 13.4082
16.71/16.80	c GLOBAL bounds - >= 0 @ 13.4406
16.71/16.85	c GLOBAL bounds - >= 0 @ 13.4825
16.71/16.90	c GLOBAL bounds - >= 0 @ 13.5222
16.81/16.94	c GLOBAL bounds - >= 0 @ 13.5585
16.81/16.99	c GLOBAL bounds - >= 0 @ 13.6036
16.92/17.04	c GLOBAL bounds - >= 0 @ 13.6424
16.92/17.08	c GLOBAL bounds - >= 0 @ 13.6768
17.02/17.12	c GLOBAL bounds - >= 0 @ 13.7101
17.02/17.17	c GLOBAL bounds - >= 0 @ 13.7449
17.11/17.22	c GLOBAL bounds - >= 0 @ 13.7809
17.11/17.27	c GLOBAL bounds - >= 0 @ 13.8242
17.20/17.31	c GLOBAL bounds - >= 0 @ 13.8622
17.20/17.37	c GLOBAL bounds - >= 0 @ 13.9072
17.31/17.42	c GLOBAL bounds - >= 0 @ 13.9515
17.31/17.46	c GLOBAL bounds - >= 0 @ 13.9842
17.40/17.50	c GLOBAL bounds - >= 0 @ 14.0193
17.40/17.55	c GLOBAL bounds - >= 0 @ 14.0592
17.51/17.60	c GLOBAL bounds - >= 0 @ 14.1074
17.51/17.66	c GLOBAL bounds - >= 0 @ 14.1503
17.60/17.72	c GLOBAL bounds - >= 0 @ 14.1947
17.60/17.77	c GLOBAL bounds - >= 0 @ 14.2445
17.71/17.83	c GLOBAL bounds - >= 0 @ 14.2905
17.71/17.88	c GLOBAL bounds - >= 0 @ 14.3339
17.80/17.93	c GLOBAL bounds - >= 0 @ 14.3699
17.80/17.98	c GLOBAL bounds - >= 0 @ 14.4127
17.92/18.02	c GLOBAL bounds - >= 0 @ 14.4516
17.92/18.07	c GLOBAL bounds - >= 0 @ 14.4887
18.02/18.12	c GLOBAL bounds - >= 0 @ 14.5315
18.02/18.17	c GLOBAL bounds - >= 0 @ 14.5727
18.10/18.21	c GLOBAL bounds - >= 0 @ 14.6109
18.10/18.27	c GLOBAL bounds - >= 0 @ 14.652
18.20/18.32	c GLOBAL bounds - >= 0 @ 14.6935
18.20/18.37	c GLOBAL bounds - >= 0 @ 14.7304
18.31/18.41	c GLOBAL bounds - >= 0 @ 14.7697
18.31/18.45	c GLOBAL bounds - >= 0 @ 14.8035
18.31/18.49	c GLOBAL bounds - >= 0 @ 14.8393
18.40/18.53	c GLOBAL bounds - >= 0 @ 14.8763
18.40/18.58	c GLOBAL bounds - >= 0 @ 14.9122
18.50/18.63	c GLOBAL bounds - >= 0 @ 14.9572
18.50/18.69	c GLOBAL bounds - >= 0 @ 15.0114
18.60/18.74	c GLOBAL bounds - >= 0 @ 15.0514
18.70/18.80	c GLOBAL bounds - >= 0 @ 15.1062
18.70/18.87	c GLOBAL bounds - >= 0 @ 15.168
18.80/18.94	c GLOBAL bounds - >= 0 @ 15.227
18.80/19.00	c GLOBAL bounds - >= 0 @ 15.2806
18.91/19.06	c GLOBAL bounds - >= 0 @ 15.3307
19.01/19.11	c GLOBAL bounds - >= 0 @ 15.3789
19.01/19.16	c GLOBAL bounds - >= 0 @ 15.4243
19.10/19.21	c GLOBAL bounds - >= 0 @ 15.4624
19.10/19.25	c GLOBAL bounds - >= 0 @ 15.4952
19.10/19.30	c GLOBAL bounds - >= 0 @ 15.531
19.20/19.34	c GLOBAL bounds - >= 0 @ 15.5711
19.20/19.38	c GLOBAL bounds - >= 0 @ 15.607
19.30/19.43	c GLOBAL bounds - >= 0 @ 15.6438
19.30/19.47	c GLOBAL bounds - >= 0 @ 15.68
19.40/19.52	c GLOBAL bounds - >= 0 @ 15.7186
19.40/19.56	c GLOBAL bounds - >= 0 @ 15.7547
19.50/19.61	c GLOBAL bounds - >= 0 @ 15.7864
19.50/19.65	c GLOBAL bounds - >= 0 @ 15.8232
19.50/19.69	c GLOBAL bounds - >= 0 @ 15.8615
19.60/19.75	c GLOBAL bounds - >= 0 @ 15.9086
19.70/19.80	c GLOBAL bounds - >= 0 @ 15.9534
19.70/19.85	c GLOBAL bounds - >= 0 @ 15.996
19.70/19.89	c GLOBAL bounds - >= 0 @ 16.0375
19.80/19.94	c GLOBAL bounds - >= 0 @ 16.0762
19.80/19.99	c GLOBAL bounds - >= 0 @ 16.1098
19.91/20.04	c GLOBAL bounds - >= 0 @ 16.1579
19.91/20.11	c GLOBAL bounds - >= 0 @ 16.2105
20.01/20.15	c GLOBAL bounds - >= 0 @ 16.2546
20.09/20.20	c GLOBAL bounds - >= 0 @ 16.2896
20.09/20.24	c GLOBAL bounds - >= 0 @ 16.3306
20.09/20.29	c GLOBAL bounds - >= 0 @ 16.3751
20.20/20.34	c GLOBAL bounds - >= 0 @ 16.4122
20.30/20.40	c GLOBAL bounds - >= 0 @ 16.4683
20.30/20.46	c GLOBAL bounds - >= 0 @ 16.5263
20.39/20.51	c GLOBAL bounds - >= 0 @ 16.5711
20.39/20.58	c GLOBAL bounds - >= 0 @ 16.6285
20.50/20.64	c GLOBAL bounds - >= 0 @ 16.6808
20.50/20.69	c GLOBAL bounds - >= 0 @ 16.7232
20.59/20.74	c GLOBAL bounds - >= 0 @ 16.7738
20.69/20.80	c GLOBAL bounds - >= 0 @ 16.8149
20.69/20.85	c GLOBAL bounds - >= 0 @ 16.8536
20.69/20.90	c GLOBAL bounds - >= 0 @ 16.8958
20.79/20.95	c GLOBAL bounds - >= 0 @ 16.9379
20.79/21.00	c GLOBAL bounds - >= 0 @ 16.9765
20.90/21.05	c GLOBAL bounds - >= 0 @ 17.017
20.90/21.10	c GLOBAL bounds - >= 0 @ 17.0585
21.00/21.15	c GLOBAL bounds - >= 0 @ 17.1021
21.00/21.20	c GLOBAL bounds - >= 0 @ 17.1414
21.09/21.25	c GLOBAL bounds - >= 0 @ 17.1858
21.09/21.29	c GLOBAL bounds - >= 0 @ 17.2213
21.19/21.34	c GLOBAL bounds - >= 0 @ 17.2566
21.19/21.39	c GLOBAL bounds - >= 0 @ 17.2948
21.29/21.43	c GLOBAL bounds - >= 0 @ 17.3319
21.29/21.48	c GLOBAL bounds - >= 0 @ 17.3661
21.40/21.53	c GLOBAL bounds - >= 0 @ 17.4041
21.40/21.58	c GLOBAL bounds - >= 0 @ 17.4405
21.49/21.62	c GLOBAL bounds - >= 0 @ 17.4815
21.49/21.67	c GLOBAL bounds - >= 0 @ 17.523
21.59/21.72	c GLOBAL bounds - >= 0 @ 17.5615
21.59/21.77	c GLOBAL bounds - >= 0 @ 17.5952
21.70/21.82	c GLOBAL bounds - >= 0 @ 17.6374
21.70/21.87	c GLOBAL bounds - >= 0 @ 17.6779
21.80/21.91	c GLOBAL bounds - >= 0 @ 17.7151
21.80/21.97	c GLOBAL bounds - >= 0 @ 17.7616
21.90/22.02	c GLOBAL bounds - >= 0 @ 17.807
21.90/22.07	c GLOBAL bounds - >= 0 @ 17.8483
22.00/22.12	c GLOBAL bounds - >= 0 @ 17.8853
22.00/22.17	c GLOBAL bounds - >= 0 @ 17.9346
22.09/22.23	c GLOBAL bounds - >= 0 @ 17.9834
22.19/22.31	c GLOBAL bounds - >= 0 @ 18.0504
22.19/22.39	c GLOBAL bounds - >= 0 @ 18.1207
22.30/22.47	c GLOBAL bounds - >= 0 @ 18.1965
22.39/22.54	c GLOBAL bounds - >= 0 @ 18.2562
22.49/22.60	c GLOBAL bounds - >= 0 @ 18.3051
22.49/22.65	c GLOBAL bounds - >= 0 @ 18.3514
22.59/22.71	c GLOBAL bounds - >= 0 @ 18.398
22.59/22.77	c GLOBAL bounds - >= 0 @ 18.4482
22.69/22.82	c GLOBAL bounds - >= 0 @ 18.4979
22.69/22.88	c GLOBAL bounds - >= 0 @ 18.542
22.79/22.93	c GLOBAL bounds - >= 0 @ 18.5867
22.79/22.98	c GLOBAL bounds - >= 0 @ 18.6311
22.90/23.04	c GLOBAL bounds - >= 0 @ 18.679
22.90/23.09	c GLOBAL bounds - >= 0 @ 18.7239
23.00/23.14	c GLOBAL bounds - >= 0 @ 18.7686
23.09/23.21	c #Conflicts:       1000 | #Constraints:      67220
23.09/23.21	c GLOBAL bounds - >= 0 @ 18.8307
23.09/23.29	c GLOBAL bounds - >= 0 @ 18.8947
23.19/23.39	c GLOBAL bounds - >= 0 @ 18.9812
23.28/23.46	c GLOBAL bounds - >= 0 @ 19.048
23.39/23.53	c GLOBAL bounds - >= 0 @ 19.1071
23.49/23.60	c GLOBAL bounds - >= 0 @ 19.172
23.49/23.69	c GLOBAL bounds - >= 0 @ 19.251
23.69/23.88	c GLOBAL bounds - >= 0 @ 19.4311
23.79/24.01	c GLOBAL bounds - >= 0 @ 19.5398
23.90/24.07	c GLOBAL bounds - >= 0 @ 19.5947
24.00/24.14	c GLOBAL bounds - >= 0 @ 19.6494
24.08/24.20	c GLOBAL bounds - >= 0 @ 19.7109
24.08/24.28	c GLOBAL bounds - >= 0 @ 19.7834
24.18/24.36	c GLOBAL bounds - >= 0 @ 19.855
24.28/24.42	c GLOBAL bounds - >= 0 @ 19.9084
24.28/24.48	c GLOBAL bounds - >= 0 @ 19.9651
24.39/24.55	c GLOBAL bounds - >= 0 @ 20.0198
24.48/24.62	c GLOBAL bounds - >= 0 @ 20.0832
24.48/24.67	c GLOBAL bounds - >= 0 @ 20.1329
24.59/24.73	c GLOBAL bounds - >= 0 @ 20.1842
24.59/24.79	c GLOBAL bounds - >= 0 @ 20.2323
24.68/24.85	c GLOBAL bounds - >= 0 @ 20.2829
24.78/24.90	c GLOBAL bounds - >= 0 @ 20.3281
24.78/24.96	c GLOBAL bounds - >= 0 @ 20.3774
24.89/25.01	c GLOBAL bounds - >= 0 @ 20.4295
24.89/25.06	c GLOBAL bounds - >= 0 @ 20.4708
25.00/25.12	c GLOBAL bounds - >= 0 @ 20.5169
25.00/25.17	c GLOBAL bounds - >= 0 @ 20.5641
25.08/25.23	c GLOBAL bounds - >= 0 @ 20.6175
25.18/25.31	c GLOBAL bounds - >= 0 @ 20.6859
25.18/25.37	c GLOBAL bounds - >= 0 @ 20.743
25.28/25.43	c GLOBAL bounds - >= 0 @ 20.7944
25.28/25.48	c GLOBAL bounds - >= 0 @ 20.8436
25.38/25.54	c GLOBAL bounds - >= 0 @ 20.8875
25.48/25.60	c GLOBAL bounds - >= 0 @ 20.9336
25.48/25.65	c GLOBAL bounds - >= 0 @ 20.9823
25.58/25.71	c GLOBAL bounds - >= 0 @ 21.0287
25.58/25.77	c GLOBAL bounds - >= 0 @ 21.0794
25.68/25.82	c GLOBAL bounds - >= 0 @ 21.1154
25.68/25.88	c GLOBAL bounds - >= 0 @ 21.1686
25.78/25.94	c GLOBAL bounds - >= 0 @ 21.2221
25.78/26.00	c GLOBAL bounds - >= 0 @ 21.2743
25.89/26.06	c GLOBAL bounds - >= 0 @ 21.3262
26.00/26.11	c GLOBAL bounds - >= 0 @ 21.3694
26.00/26.16	c GLOBAL bounds - >= 0 @ 21.4066
26.08/26.22	c GLOBAL bounds - >= 0 @ 21.4561
26.08/26.27	c GLOBAL bounds - >= 0 @ 21.4995
26.18/26.32	c GLOBAL bounds - >= 0 @ 21.5426
26.18/26.38	c GLOBAL bounds - >= 0 @ 21.59
26.28/26.45	c GLOBAL bounds - >= 0 @ 21.651
26.38/26.56	c GLOBAL bounds - >= 0 @ 21.7435
26.48/26.62	c GLOBAL bounds - >= 0 @ 21.8029
26.48/26.69	c GLOBAL bounds - >= 0 @ 21.8512
26.58/26.74	c GLOBAL bounds - >= 0 @ 21.8954
26.68/26.80	c GLOBAL bounds - >= 0 @ 21.9436
26.68/26.85	c GLOBAL bounds - >= 0 @ 21.987
26.78/26.90	c GLOBAL bounds - >= 0 @ 22.0302
26.78/26.95	c GLOBAL bounds - >= 0 @ 22.0745
26.89/27.01	c GLOBAL bounds - >= 0 @ 22.12
26.89/27.08	c GLOBAL bounds - >= 0 @ 22.178
26.99/27.13	c GLOBAL bounds - >= 0 @ 22.2187
26.99/27.19	c GLOBAL bounds - >= 0 @ 22.2699
27.08/27.25	c GLOBAL bounds - >= 0 @ 22.3192
27.17/27.31	c GLOBAL bounds - >= 0 @ 22.3707
27.17/27.38	c GLOBAL bounds - >= 0 @ 22.4258
27.27/27.44	c GLOBAL bounds - >= 0 @ 22.4718
27.37/27.51	c GLOBAL bounds - >= 0 @ 22.5408
27.37/27.58	c GLOBAL bounds - >= 0 @ 22.5974
27.47/27.65	c GLOBAL bounds - >= 0 @ 22.6479
27.58/27.71	c GLOBAL bounds - >= 0 @ 22.7036
27.58/27.77	c GLOBAL bounds - >= 0 @ 22.753
27.67/27.82	c GLOBAL bounds - >= 0 @ 22.7971
27.67/27.87	c GLOBAL bounds - >= 0 @ 22.8427
27.78/27.93	c GLOBAL bounds - >= 0 @ 22.8925
27.78/27.98	c GLOBAL bounds - >= 0 @ 22.9417
27.89/28.04	c GLOBAL bounds - >= 0 @ 22.9877
27.89/28.09	c GLOBAL bounds - >= 0 @ 23.0302
27.99/28.14	c GLOBAL bounds - >= 0 @ 23.0748
28.08/28.20	c GLOBAL bounds - >= 0 @ 23.1381
28.08/28.27	c GLOBAL bounds - >= 0 @ 23.1948
28.17/28.33	c GLOBAL bounds - >= 0 @ 23.2423
28.17/28.38	c GLOBAL bounds - >= 0 @ 23.2889
28.28/28.44	c GLOBAL bounds - >= 0 @ 23.3402
28.28/28.49	c GLOBAL bounds - >= 0 @ 23.3884
28.38/28.55	c GLOBAL bounds - >= 0 @ 23.4353
28.48/28.60	c GLOBAL bounds - >= 0 @ 23.4819
28.48/28.65	c GLOBAL bounds - >= 0 @ 23.5267
28.57/28.71	c GLOBAL bounds - >= 0 @ 23.5706
28.57/28.76	c GLOBAL bounds - >= 0 @ 23.6222
28.67/28.82	c GLOBAL bounds - >= 0 @ 23.6665
28.67/28.87	c GLOBAL bounds - >= 0 @ 23.7147
28.77/28.93	c GLOBAL bounds - >= 0 @ 23.7672
28.77/28.98	c GLOBAL bounds - >= 0 @ 23.8131
28.89/29.04	c GLOBAL bounds - >= 0 @ 23.859
28.89/29.09	c GLOBAL bounds - >= 0 @ 23.9017
28.98/29.15	c GLOBAL bounds - >= 0 @ 23.9468
29.07/29.20	c GLOBAL bounds - >= 0 @ 23.9946
29.07/29.25	c GLOBAL bounds - >= 0 @ 24.0405
29.17/29.31	c GLOBAL bounds - >= 0 @ 24.0841
29.17/29.37	c GLOBAL bounds - >= 0 @ 24.1364
29.27/29.42	c GLOBAL bounds - >= 0 @ 24.1875
29.27/29.48	c GLOBAL bounds - >= 0 @ 24.2277
29.37/29.53	c GLOBAL bounds - >= 0 @ 24.2711
29.37/29.58	c GLOBAL bounds - >= 0 @ 24.3184
29.47/29.63	c GLOBAL bounds - >= 0 @ 24.3634
29.47/29.69	c GLOBAL bounds - >= 0 @ 24.4098
29.57/29.74	c GLOBAL bounds - >= 0 @ 24.4517
29.67/29.80	c GLOBAL bounds - >= 0 @ 24.4954
29.67/29.85	c GLOBAL bounds - >= 0 @ 24.539
29.77/29.90	c GLOBAL bounds - >= 0 @ 24.5832
29.77/29.96	c GLOBAL bounds - >= 0 @ 24.6312
29.88/30.01	c GLOBAL bounds - >= 0 @ 24.6765
29.88/30.07	c GLOBAL bounds - >= 0 @ 24.7237
29.98/30.12	c GLOBAL bounds - >= 0 @ 24.7693
29.98/30.17	c GLOBAL bounds - >= 0 @ 24.8144
30.07/30.22	c GLOBAL bounds - >= 0 @ 24.8624
30.07/30.28	c GLOBAL bounds - >= 0 @ 24.9097
30.17/30.33	c GLOBAL bounds - >= 0 @ 24.9579
30.26/30.43	c GLOBAL bounds - >= 0 @ 25.0524
30.46/30.63	c GLOBAL bounds - >= 0 @ 25.2285
30.56/30.70	c GLOBAL bounds - >= 0 @ 25.2892
30.67/30.81	c GLOBAL bounds - >= 0 @ 25.3891
30.67/30.87	c GLOBAL bounds - >= 0 @ 25.4388
30.76/30.93	c GLOBAL bounds - >= 0 @ 25.4847
30.76/30.98	c GLOBAL bounds - >= 0 @ 25.5327
30.88/31.05	c GLOBAL bounds - >= 0 @ 25.5912
30.88/31.11	c GLOBAL bounds - >= 0 @ 25.6445
30.98/31.16	c GLOBAL bounds - >= 0 @ 25.6901
31.07/31.22	c GLOBAL bounds - >= 0 @ 25.7446
31.07/31.29	c GLOBAL bounds - >= 0 @ 25.8016
31.16/31.35	c GLOBAL bounds - >= 0 @ 25.851
31.27/31.41	c GLOBAL bounds - >= 0 @ 25.9051
31.27/31.48	c GLOBAL bounds - >= 0 @ 25.9592
31.37/31.55	c GLOBAL bounds - >= 0 @ 26.024
31.47/31.62	c GLOBAL bounds - >= 0 @ 26.0848
31.47/31.68	c GLOBAL bounds - >= 0 @ 26.1377
31.57/31.74	c GLOBAL bounds - >= 0 @ 26.1902
31.66/31.81	c GLOBAL bounds - >= 0 @ 26.2449
31.66/31.87	c GLOBAL bounds - >= 0 @ 26.2995
31.77/31.93	c GLOBAL bounds - >= 0 @ 26.3501
31.77/31.98	c GLOBAL bounds - >= 0 @ 26.3961
31.87/32.05	c GLOBAL bounds - >= 0 @ 26.4547
31.87/32.11	c GLOBAL bounds - >= 0 @ 26.5079
31.98/32.16	c GLOBAL bounds - >= 0 @ 26.5558
32.06/32.22	c GLOBAL bounds - >= 0 @ 26.6037
32.06/32.27	c GLOBAL bounds - >= 0 @ 26.6525
32.17/32.32	c GLOBAL bounds - >= 0 @ 26.6938
32.17/32.38	c GLOBAL bounds - >= 0 @ 26.7399
32.26/32.43	c GLOBAL bounds - >= 0 @ 26.7844
32.26/32.49	c GLOBAL bounds - >= 0 @ 26.8273
32.36/32.54	c GLOBAL bounds - >= 0 @ 26.8713
32.36/32.59	c GLOBAL bounds - >= 0 @ 26.9125
32.46/32.65	c GLOBAL bounds - >= 0 @ 26.9561
32.56/32.70	c GLOBAL bounds - >= 0 @ 27.0025
32.56/32.75	c GLOBAL bounds - >= 0 @ 27.0463
32.66/32.80	c GLOBAL bounds - >= 0 @ 27.0881
32.66/32.86	c GLOBAL bounds - >= 0 @ 27.1313
32.76/32.91	c GLOBAL bounds - >= 0 @ 27.1717
32.76/32.96	c GLOBAL bounds - >= 0 @ 27.2172
32.87/33.02	c GLOBAL bounds - >= 0 @ 27.2647
32.87/33.09	c GLOBAL bounds - >= 0 @ 27.3257
32.98/33.15	c GLOBAL bounds - >= 0 @ 27.3802
33.06/33.23	c GLOBAL bounds - >= 0 @ 27.4432
33.16/33.33	c GLOBAL bounds - >= 0 @ 27.5403
33.26/33.43	c GLOBAL bounds - >= 0 @ 27.6364
33.36/33.50	c GLOBAL bounds - >= 0 @ 27.6925
33.45/33.63	c GLOBAL bounds - >= 0 @ 27.7847
33.56/33.74	c GLOBAL bounds - >= 0 @ 27.8657
33.66/33.84	c GLOBAL bounds - >= 0 @ 27.9425
33.75/33.92	c GLOBAL bounds - >= 0 @ 28.0068
33.75/34.00	c GLOBAL bounds - >= 0 @ 28.0684
33.87/34.06	c GLOBAL bounds - >= 0 @ 28.1232
33.97/34.13	c GLOBAL bounds - >= 0 @ 28.1808
33.97/34.20	c GLOBAL bounds - >= 0 @ 28.2303
34.06/34.26	c GLOBAL bounds - >= 0 @ 28.281
34.16/34.33	c GLOBAL bounds - >= 0 @ 28.3445
34.25/34.40	c GLOBAL bounds - >= 0 @ 28.4097
34.25/34.48	c GLOBAL bounds - >= 0 @ 28.477
34.36/34.54	c GLOBAL bounds - >= 0 @ 28.5349
34.46/34.61	c GLOBAL bounds - >= 0 @ 28.5873
34.46/34.67	c GLOBAL bounds - >= 0 @ 28.6383
34.55/34.72	c GLOBAL bounds - >= 0 @ 28.6894
34.55/34.78	c GLOBAL bounds - >= 0 @ 28.7381
34.66/34.85	c GLOBAL bounds - >= 0 @ 28.7955
34.76/34.91	c GLOBAL bounds - >= 0 @ 28.8514
34.76/34.97	c GLOBAL bounds - >= 0 @ 28.9047
34.87/35.04	c GLOBAL bounds - >= 0 @ 28.9603
34.87/35.10	c GLOBAL bounds - >= 0 @ 29.0104
34.97/35.16	c GLOBAL bounds - >= 0 @ 29.0632
35.06/35.21	c GLOBAL bounds - >= 0 @ 29.1082
35.06/35.27	c GLOBAL bounds - >= 0 @ 29.1546
35.16/35.33	c GLOBAL bounds - >= 0 @ 29.1986
35.25/35.40	c GLOBAL bounds - >= 0 @ 29.2576
35.25/35.47	c GLOBAL bounds - >= 0 @ 29.3176
35.36/35.54	c GLOBAL bounds - >= 0 @ 29.3772
35.46/35.61	c GLOBAL bounds - >= 0 @ 29.4399
35.46/35.68	c GLOBAL bounds - >= 0 @ 29.4979
35.55/35.74	c GLOBAL bounds - >= 0 @ 29.5558
35.65/35.86	c GLOBAL bounds - >= 0 @ 29.6556
35.75/35.93	c GLOBAL bounds - >= 0 @ 29.7172
35.75/36.00	c GLOBAL bounds - >= 0 @ 29.7736
35.87/36.07	c GLOBAL bounds - >= 0 @ 29.834
35.96/36.13	c GLOBAL bounds - >= 0 @ 29.896
36.05/36.22	c GLOBAL bounds - >= 0 @ 29.9796
36.05/36.29	c GLOBAL bounds - >= 0 @ 30.0405
36.15/36.37	c GLOBAL bounds - >= 0 @ 30.1055
36.25/36.43	c GLOBAL bounds - >= 0 @ 30.156
36.25/36.50	c GLOBAL bounds - >= 0 @ 30.202
36.35/36.55	c GLOBAL bounds - >= 0 @ 30.2512
36.45/36.61	c GLOBAL bounds - >= 0 @ 30.3022
36.45/36.67	c GLOBAL bounds - >= 0 @ 30.3496
36.55/36.73	c GLOBAL bounds - >= 0 @ 30.4031
36.55/36.79	c GLOBAL bounds - >= 0 @ 30.4547
36.65/36.86	c GLOBAL bounds - >= 0 @ 30.5049
36.75/36.91	c GLOBAL bounds - >= 0 @ 30.5553
36.75/36.97	c GLOBAL bounds - >= 0 @ 30.608
36.86/37.04	c GLOBAL bounds - >= 0 @ 30.6604
36.86/37.09	c GLOBAL bounds - >= 0 @ 30.7108
36.97/37.15	c GLOBAL bounds - >= 0 @ 30.7548
37.05/37.21	c GLOBAL bounds - >= 0 @ 30.8107
37.05/37.26	c GLOBAL bounds - >= 0 @ 30.8561
37.15/37.31	c GLOBAL bounds - >= 0 @ 30.9013
37.15/37.37	c GLOBAL bounds - >= 0 @ 30.948
37.25/37.42	c GLOBAL bounds - >= 0 @ 30.9954
37.25/37.48	c GLOBAL bounds - >= 0 @ 31.0461
37.35/37.53	c GLOBAL bounds - >= 0 @ 31.0926
37.35/37.58	c GLOBAL bounds - >= 0 @ 31.1388
37.44/37.64	c GLOBAL bounds - >= 0 @ 31.1836
37.44/37.69	c GLOBAL bounds - >= 0 @ 31.226
37.55/37.75	c GLOBAL bounds - >= 0 @ 31.2739
37.65/37.81	c GLOBAL bounds - >= 0 @ 31.3196
37.65/37.86	c GLOBAL bounds - >= 0 @ 31.3599
37.75/37.91	c GLOBAL bounds - >= 0 @ 31.4046
37.75/37.97	c GLOBAL bounds - >= 0 @ 31.4465
37.86/38.02	c GLOBAL bounds - >= 0 @ 31.4923
37.86/38.08	c GLOBAL bounds - >= 0 @ 31.5361
37.96/38.13	c GLOBAL bounds - >= 0 @ 31.582
37.96/38.18	c GLOBAL bounds - >= 0 @ 31.6277
38.04/38.24	c GLOBAL bounds - >= 0 @ 31.6703
38.04/38.29	c GLOBAL bounds - >= 0 @ 31.7144
38.15/38.34	c GLOBAL bounds - >= 0 @ 31.7629
38.25/38.41	c GLOBAL bounds - >= 0 @ 31.8232
38.25/38.47	c GLOBAL bounds - >= 0 @ 31.8774
38.34/38.53	c GLOBAL bounds - >= 0 @ 31.9251
38.34/38.59	c GLOBAL bounds - >= 0 @ 31.9749
38.45/38.65	c GLOBAL bounds - >= 0 @ 32.026
38.54/38.71	c GLOBAL bounds - >= 0 @ 32.0775
38.54/38.76	c GLOBAL bounds - >= 0 @ 32.1228
38.65/38.82	c GLOBAL bounds - >= 0 @ 32.1728
38.65/38.88	c GLOBAL bounds - >= 0 @ 32.221
38.74/38.96	c GLOBAL bounds - >= 0 @ 32.2919
38.86/39.04	c GLOBAL bounds - >= 0 @ 32.359
38.96/39.14	c GLOBAL bounds - >= 0 @ 32.4447
39.04/39.20	c GLOBAL bounds - >= 0 @ 32.5019
39.14/39.34	c GLOBAL bounds - >= 0 @ 32.612
39.24/39.41	c GLOBAL bounds - >= 0 @ 32.6745
39.24/39.48	c GLOBAL bounds - >= 0 @ 32.7294
39.34/39.54	c GLOBAL bounds - >= 0 @ 32.7821
39.44/39.60	c GLOBAL bounds - >= 0 @ 32.8304
39.44/39.66	c GLOBAL bounds - >= 0 @ 32.8813
39.54/39.72	c GLOBAL bounds - >= 0 @ 32.9306
39.54/39.78	c GLOBAL bounds - >= 0 @ 32.9855
39.64/39.84	c GLOBAL bounds - >= 0 @ 33.0368
39.74/39.92	c GLOBAL bounds - >= 0 @ 33.1031
39.74/39.98	c GLOBAL bounds - >= 0 @ 33.1545
39.86/40.04	c GLOBAL bounds - >= 0 @ 33.2059
39.86/40.10	c GLOBAL bounds - >= 0 @ 33.2626
39.96/40.18	c GLOBAL bounds - >= 0 @ 33.3362
40.04/40.25	c GLOBAL bounds - >= 0 @ 33.3935
40.15/40.31	c GLOBAL bounds - >= 0 @ 33.4451
40.15/40.38	c GLOBAL bounds - >= 0 @ 33.5053
40.24/40.44	c GLOBAL bounds - >= 0 @ 33.5584
40.34/40.50	c GLOBAL bounds - >= 0 @ 33.6139
40.34/40.57	c GLOBAL bounds - >= 0 @ 33.6681
40.44/40.62	c GLOBAL bounds - >= 0 @ 33.7189
40.44/40.68	c GLOBAL bounds - >= 0 @ 33.7665
40.54/40.74	c GLOBAL bounds - >= 0 @ 33.8151
40.54/40.79	c GLOBAL bounds - >= 0 @ 33.8659
40.64/40.85	c GLOBAL bounds - >= 0 @ 33.9144
40.74/40.90	c GLOBAL bounds - >= 0 @ 33.9583
40.74/40.96	c GLOBAL bounds - >= 0 @ 34.0103
40.74/41.01	c GLOBAL bounds - >= 0 @ 34.0604
40.85/41.06	c GLOBAL bounds - >= 0 @ 34.1073
40.95/41.13	c GLOBAL bounds - >= 0 @ 34.173
41.04/41.21	c GLOBAL bounds - >= 0 @ 34.2422
41.04/41.30	c GLOBAL bounds - >= 0 @ 34.3134
41.14/41.38	c GLOBAL bounds - >= 0 @ 34.3903
41.33/41.53	c GLOBAL bounds - >= 0 @ 34.5154
41.44/41.63	c GLOBAL bounds - >= 0 @ 34.6056
41.44/41.69	c GLOBAL bounds - >= 0 @ 34.6608
41.53/41.75	c GLOBAL bounds - >= 0 @ 34.713
41.64/41.82	c GLOBAL bounds - >= 0 @ 34.769
41.64/41.88	c GLOBAL bounds - >= 0 @ 34.8241
41.73/41.94	c GLOBAL bounds - >= 0 @ 34.877
41.73/42.00	c GLOBAL bounds - >= 0 @ 34.9247
41.85/42.06	c GLOBAL bounds - >= 0 @ 34.9806
41.95/42.13	c GLOBAL bounds - >= 0 @ 35.035
41.95/42.19	c GLOBAL bounds - >= 0 @ 35.0874
42.03/42.25	c GLOBAL bounds - >= 0 @ 35.1374
42.14/42.31	c GLOBAL bounds - >= 0 @ 35.1884
42.14/42.36	c GLOBAL bounds - >= 0 @ 35.2335
42.24/42.41	c GLOBAL bounds - >= 0 @ 35.2731
42.24/42.47	c GLOBAL bounds - >= 0 @ 35.3191
42.33/42.52	c GLOBAL bounds - >= 0 @ 35.3561
42.33/42.58	c GLOBAL bounds - >= 0 @ 35.4085
42.44/42.63	c GLOBAL bounds - >= 0 @ 35.4522
42.53/42.70	c GLOBAL bounds - >= 0 @ 35.5071
42.53/42.76	c GLOBAL bounds - >= 0 @ 35.558
42.63/42.81	c GLOBAL bounds - >= 0 @ 35.6101
42.63/42.87	c GLOBAL bounds - >= 0 @ 35.6535
42.73/42.92	c GLOBAL bounds - >= 0 @ 35.6994
42.73/42.98	c GLOBAL bounds - >= 0 @ 35.7391
42.85/43.03	c GLOBAL bounds - >= 0 @ 35.7837
42.85/43.09	c GLOBAL bounds - >= 0 @ 35.8247
42.94/43.14	c GLOBAL bounds - >= 0 @ 35.8724
43.03/43.20	c GLOBAL bounds - >= 0 @ 35.9144
43.03/43.25	c GLOBAL bounds - >= 0 @ 35.9541
43.13/43.31	c GLOBAL bounds - >= 0 @ 36.0066
43.13/43.37	c GLOBAL bounds - >= 0 @ 36.0553
43.23/43.42	c GLOBAL bounds - >= 0 @ 36.0966
43.23/43.48	c GLOBAL bounds - >= 0 @ 36.14
43.33/43.53	c GLOBAL bounds - >= 0 @ 36.1845
43.33/43.58	c GLOBAL bounds - >= 0 @ 36.2337
43.43/43.64	c GLOBAL bounds - >= 0 @ 36.2818
43.53/43.71	c GLOBAL bounds - >= 0 @ 36.3344
43.53/43.76	c GLOBAL bounds - >= 0 @ 36.3836
43.63/43.83	c GLOBAL bounds - >= 0 @ 36.4421
43.63/43.89	c GLOBAL bounds - >= 0 @ 36.4976
43.73/43.96	c GLOBAL bounds - >= 0 @ 36.5571
43.85/44.03	c GLOBAL bounds - >= 0 @ 36.6168
43.85/44.10	c GLOBAL bounds - >= 0 @ 36.6777
44.03/44.26	c GLOBAL bounds - >= 0 @ 36.8259
44.13/44.34	c GLOBAL bounds - >= 0 @ 36.8953
44.23/44.42	c GLOBAL bounds - >= 0 @ 36.9624
44.23/44.49	c GLOBAL bounds - >= 0 @ 37.036
44.33/44.57	c GLOBAL bounds - >= 0 @ 37.1003
44.43/44.64	c GLOBAL bounds - >= 0 @ 37.1614
44.52/44.72	c GLOBAL bounds - >= 0 @ 37.2256
44.52/44.78	c GLOBAL bounds - >= 0 @ 37.2819
44.63/44.87	c GLOBAL bounds - >= 0 @ 37.3606
44.73/45.01	c GLOBAL bounds - >= 0 @ 37.4902
44.84/45.09	c GLOBAL bounds - >= 0 @ 37.563
44.94/45.17	c GLOBAL bounds - >= 0 @ 37.6317
45.03/45.24	c GLOBAL bounds - >= 0 @ 37.6902
45.13/45.32	c GLOBAL bounds - >= 0 @ 37.7639
45.13/45.39	c GLOBAL bounds - >= 0 @ 37.8245
45.23/45.47	c GLOBAL bounds - >= 0 @ 37.8921
45.32/45.53	c GLOBAL bounds - >= 0 @ 37.9438
45.32/45.59	c GLOBAL bounds - >= 0 @ 38.0019
45.52/45.71	c GLOBAL bounds - >= 0 @ 38.1107
45.52/45.78	c GLOBAL bounds - >= 0 @ 38.1697
45.63/45.84	c GLOBAL bounds - >= 0 @ 38.2189
45.63/45.89	c GLOBAL bounds - >= 0 @ 38.268
45.73/45.95	c GLOBAL bounds - >= 0 @ 38.3132
45.73/46.01	c GLOBAL bounds - >= 0 @ 38.3677
45.83/46.07	c GLOBAL bounds - >= 0 @ 38.4166
45.94/46.12	c GLOBAL bounds - >= 0 @ 38.4547
45.94/46.18	c GLOBAL bounds - >= 0 @ 38.5007
46.02/46.24	c GLOBAL bounds - >= 0 @ 38.5543
46.02/46.29	c GLOBAL bounds - >= 0 @ 38.598
46.12/46.35	c GLOBAL bounds - >= 0 @ 38.6463
46.22/46.40	c GLOBAL bounds - >= 0 @ 38.6896
46.22/46.45	c GLOBAL bounds - >= 0 @ 38.7373
46.33/46.51	c GLOBAL bounds - >= 0 @ 38.7794
46.33/46.56	c GLOBAL bounds - >= 0 @ 38.8287
46.42/46.62	c GLOBAL bounds - >= 0 @ 38.8729
46.42/46.67	c GLOBAL bounds - >= 0 @ 38.9168
46.52/46.73	c GLOBAL bounds - >= 0 @ 38.9672
46.52/46.79	c GLOBAL bounds - >= 0 @ 39.0159
46.62/46.85	c GLOBAL bounds - >= 0 @ 39.0701
46.72/46.92	c GLOBAL bounds - >= 0 @ 39.1243
46.72/46.98	c GLOBAL bounds - >= 0 @ 39.1799
46.83/47.05	c GLOBAL bounds - >= 0 @ 39.2363
46.94/47.12	c GLOBAL bounds - >= 0 @ 39.2968
46.94/47.19	c GLOBAL bounds - >= 0 @ 39.3585
47.02/47.26	c GLOBAL bounds - >= 0 @ 39.4152
47.12/47.33	c GLOBAL bounds - >= 0 @ 39.4703
47.12/47.39	c GLOBAL bounds - >= 0 @ 39.5232
47.22/47.46	c GLOBAL bounds - >= 0 @ 39.5816
47.32/47.53	c GLOBAL bounds - >= 0 @ 39.6387
47.42/47.60	c GLOBAL bounds - >= 0 @ 39.6904
47.42/47.67	c GLOBAL bounds - >= 0 @ 39.7488
47.52/47.74	c GLOBAL bounds - >= 0 @ 39.8089
47.62/47.82	c GLOBAL bounds - >= 0 @ 39.8708
47.72/47.91	c GLOBAL bounds - >= 0 @ 39.9459
47.72/47.98	c GLOBAL bounds - >= 0 @ 40.0182
47.83/48.06	c GLOBAL bounds - >= 0 @ 40.0814
47.93/48.14	c GLOBAL bounds - >= 0 @ 40.1506
48.01/48.21	c GLOBAL bounds - >= 0 @ 40.2203
48.01/48.28	c GLOBAL bounds - >= 0 @ 40.2852
48.11/48.35	c GLOBAL bounds - >= 0 @ 40.3415
48.22/48.41	c GLOBAL bounds - >= 0 @ 40.4016
48.22/48.48	c GLOBAL bounds - >= 0 @ 40.4605
48.31/48.54	c GLOBAL bounds - >= 0 @ 40.5153
48.42/48.61	c GLOBAL bounds - >= 0 @ 40.569
48.42/48.67	c GLOBAL bounds - >= 0 @ 40.622
48.52/48.75	c GLOBAL bounds - >= 0 @ 40.6911
48.61/48.83	c GLOBAL bounds - >= 0 @ 40.7556
48.72/48.90	c GLOBAL bounds - >= 0 @ 40.8158
48.72/48.96	c GLOBAL bounds - >= 0 @ 40.8744
48.83/49.03	c GLOBAL bounds - >= 0 @ 40.9337
48.83/49.09	c GLOBAL bounds - >= 0 @ 40.9855
48.92/49.17	c GLOBAL bounds - >= 0 @ 41.0516
49.01/49.24	c GLOBAL bounds - >= 0 @ 41.1172
49.11/49.32	c GLOBAL bounds - >= 0 @ 41.1858
49.22/49.40	c GLOBAL bounds - >= 0 @ 41.2504
50.61/50.86	c #Conflicts:       2000 | #Constraints:      69032
50.61/50.86	c INPROCESSING
50.61/50.86	c GARBAGE COLLECT
50.61/50.86	c GLOBAL bounds - >= 0 @ 42.6802
51.11/51.32	c GLOBAL bounds - >= 0 @ 43.1304
51.21/51.43	c GLOBAL bounds - >= 0 @ 43.2384
51.31/51.59	c GLOBAL bounds - >= 0 @ 43.3793
51.51/51.74	c GLOBAL bounds - >= 0 @ 43.5269
52.20/52.45	c GLOBAL bounds - >= 0 @ 44.2203
52.30/52.55	c GLOBAL bounds - >= 0 @ 44.3099
52.40/52.64	c GLOBAL bounds - >= 0 @ 44.387
52.51/52.71	c GLOBAL bounds - >= 0 @ 44.4541
52.51/52.78	c GLOBAL bounds - >= 0 @ 44.5106
52.61/52.84	c GLOBAL bounds - >= 0 @ 44.5689
55.40/55.68	c GLOBAL bounds - >= 0 @ 47.3483
57.59/57.82	c #Conflicts:       3000 | #Constraints:      69062
57.59/57.82	c GLOBAL bounds - >= 0 @ 49.4257
58.79/59.03	c GLOBAL bounds - >= 0 @ 50.5925
58.89/59.17	c GLOBAL bounds - >= 0 @ 50.7254
59.18/59.46	c GLOBAL bounds - >= 0 @ 50.9884
60.79/61.11	c GLOBAL bounds - >= 0 @ 52.5844
61.17/61.49	c GLOBAL bounds - >= 0 @ 52.956
61.27/61.58	c GLOBAL bounds - >= 0 @ 53.0376
61.38/61.67	c #Conflicts:       4000 | #Constraints:      70076
61.38/61.67	c GLOBAL bounds - >= 0 @ 53.1218
61.48/61.76	c GLOBAL bounds - >= 0 @ 53.2102
61.58/61.85	c GLOBAL bounds - >= 0 @ 53.2965
61.67/61.93	c GLOBAL bounds - >= 0 @ 53.379
61.79/62.02	c GLOBAL bounds - >= 0 @ 53.4661
61.79/62.10	c GLOBAL bounds - >= 0 @ 53.5398
61.89/62.17	c GLOBAL bounds - >= 0 @ 53.6076
61.97/62.24	c GLOBAL bounds - >= 0 @ 53.6803
62.08/62.31	c GLOBAL bounds - >= 0 @ 53.7506
62.08/62.39	c GLOBAL bounds - >= 0 @ 53.8172
62.18/62.46	c GLOBAL bounds - >= 0 @ 53.8883
62.28/62.54	c GLOBAL bounds - >= 0 @ 53.9566
62.37/62.60	c GLOBAL bounds - >= 0 @ 54.0217
62.37/62.67	c GLOBAL bounds - >= 0 @ 54.083
62.47/62.73	c GLOBAL bounds - >= 0 @ 54.1449
62.47/62.79	c GLOBAL bounds - >= 0 @ 54.2058
62.58/62.88	c GLOBAL bounds - >= 0 @ 54.2868
62.67/62.96	c GLOBAL bounds - >= 0 @ 54.3596
62.78/63.03	c GLOBAL bounds - >= 0 @ 54.4284
62.89/63.11	c GLOBAL bounds - >= 0 @ 54.5062
62.97/63.23	c GLOBAL bounds - >= 0 @ 54.6038
63.08/63.30	c GLOBAL bounds - >= 0 @ 54.6746
63.17/63.40	c GLOBAL bounds - >= 0 @ 54.7692
63.17/63.47	c GLOBAL bounds - >= 0 @ 54.8379
63.57/63.80	c GLOBAL bounds - >= 0 @ 55.1582
63.67/63.93	c GLOBAL bounds - >= 0 @ 55.28
63.79/64.01	c GLOBAL bounds - >= 0 @ 55.3501
63.79/64.09	c GLOBAL bounds - >= 0 @ 55.4277
63.89/64.17	c GLOBAL bounds - >= 0 @ 55.499
65.57/65.83	c INPROCESSING
65.57/65.83	c GARBAGE COLLECT
65.57/65.83	c GLOBAL bounds - >= 0 @ 57.1568
65.67/65.93	c GLOBAL bounds - >= 0 @ 57.2428
65.78/66.03	c GLOBAL bounds - >= 0 @ 57.3347
65.88/66.12	c GLOBAL bounds - >= 0 @ 57.4237
65.88/66.19	c GLOBAL bounds - >= 0 @ 57.4925
65.96/66.27	c GLOBAL bounds - >= 0 @ 57.5677
66.07/66.33	c GLOBAL bounds - >= 0 @ 57.6257
66.07/66.40	c GLOBAL bounds - >= 0 @ 57.6888
66.17/66.45	c GLOBAL bounds - >= 0 @ 57.7421
66.26/66.51	c GLOBAL bounds - >= 0 @ 57.7942
66.26/66.56	c GLOBAL bounds - >= 0 @ 57.848
66.37/66.62	c GLOBAL bounds - >= 0 @ 57.8979
66.37/66.67	c GLOBAL bounds - >= 0 @ 57.949
66.46/66.74	c GLOBAL bounds - >= 0 @ 58.0173
66.56/66.80	c GLOBAL bounds - >= 0 @ 58.0718
66.67/66.91	c GLOBAL bounds - >= 0 @ 58.1827
66.78/67.01	c GLOBAL bounds - >= 0 @ 58.2795
66.78/67.07	c GLOBAL bounds - >= 0 @ 58.3353
66.88/67.13	c GLOBAL bounds - >= 0 @ 58.3853
66.96/67.20	c GLOBAL bounds - >= 0 @ 58.4584
66.96/67.26	c GLOBAL bounds - >= 0 @ 58.5172
67.06/67.32	c GLOBAL bounds - >= 0 @ 58.5645
67.06/67.38	c GLOBAL bounds - >= 0 @ 58.6216
67.16/67.44	c GLOBAL bounds - >= 0 @ 58.6854
67.26/67.50	c GLOBAL bounds - >= 0 @ 58.737
67.26/67.55	c GLOBAL bounds - >= 0 @ 58.7879
67.36/67.61	c GLOBAL bounds - >= 0 @ 58.8392
67.36/67.66	c GLOBAL bounds - >= 0 @ 58.8948
67.46/67.74	c GLOBAL bounds - >= 0 @ 58.967
67.56/67.82	c GLOBAL bounds - >= 0 @ 59.0341
67.66/67.94	c GLOBAL bounds - >= 0 @ 59.1553
69.95/70.27	c GLOBAL bounds - >= 0 @ 61.446
70.25/70.57	c GLOBAL bounds - >= 0 @ 61.7301
70.35/70.65	c GLOBAL bounds - >= 0 @ 61.8005
70.45/70.77	c GLOBAL bounds - >= 0 @ 61.9122
70.65/70.93	c GLOBAL bounds - >= 0 @ 62.0623
70.95/71.27	c GLOBAL bounds - >= 0 @ 62.3857
71.05/71.37	c GLOBAL bounds - >= 0 @ 62.4703
71.15/71.47	c GLOBAL bounds - >= 0 @ 62.5624
71.25/71.55	c GLOBAL bounds - >= 0 @ 62.6297
71.35/71.63	c #Conflicts:       5000 | #Constraints:      69612
71.35/71.63	c GLOBAL bounds - >= 0 @ 62.7044
71.45/71.70	c GLOBAL bounds - >= 0 @ 62.7756
71.64/72.00	c GLOBAL bounds - >= 0 @ 63.0473
71.94/72.25	c GLOBAL bounds - >= 0 @ 63.2888
72.05/72.34	c GLOBAL bounds - >= 0 @ 63.3706
72.14/72.42	c GLOBAL bounds - >= 0 @ 63.4428
74.43/74.72	c GLOBAL bounds - >= 0 @ 65.7007
74.54/74.81	c GLOBAL bounds - >= 0 @ 65.7797
80.62/80.95	c #Conflicts:       6000 | #Constraints:      70628
80.62/80.95	c GLOBAL bounds - >= 0 @ 71.6275
80.73/81.10	c GLOBAL bounds - >= 0 @ 71.7568
80.83/81.18	c GLOBAL bounds - >= 0 @ 71.8307
80.92/81.26	c GLOBAL bounds - >= 0 @ 71.9126
81.02/81.34	c GLOBAL bounds - >= 0 @ 71.9899
81.12/81.44	c GLOBAL bounds - >= 0 @ 72.072
81.22/81.51	c GLOBAL bounds - >= 0 @ 72.1448
81.22/81.59	c GLOBAL bounds - >= 0 @ 72.2183
81.32/81.66	c GLOBAL bounds - >= 0 @ 72.2905
81.42/81.74	c GLOBAL bounds - >= 0 @ 72.3587
81.51/81.81	c GLOBAL bounds - >= 0 @ 72.4294
81.51/81.88	c GLOBAL bounds - >= 0 @ 72.4961
81.61/81.95	c GLOBAL bounds - >= 0 @ 72.5609
81.73/82.03	c GLOBAL bounds - >= 0 @ 72.6389
81.73/82.10	c GLOBAL bounds - >= 0 @ 72.7019
81.83/82.17	c GLOBAL bounds - >= 0 @ 72.7778
81.91/82.24	c GLOBAL bounds - >= 0 @ 72.8438
82.02/82.31	c GLOBAL bounds - >= 0 @ 72.9038
82.02/82.37	c GLOBAL bounds - >= 0 @ 72.9648
82.11/82.44	c GLOBAL bounds - >= 0 @ 73.0256
84.01/84.36	c INPROCESSING
84.01/84.36	c GARBAGE COLLECT
84.01/84.36	c GLOBAL bounds - >= 0 @ 74.9395
84.11/84.41	c GLOBAL bounds - >= 0 @ 74.9893
84.11/84.48	c GLOBAL bounds - >= 0 @ 75.0482
84.20/84.53	c GLOBAL bounds - >= 0 @ 75.0987
84.20/84.58	c GLOBAL bounds - >= 0 @ 75.1447
84.31/84.63	c GLOBAL bounds - >= 0 @ 75.1932
84.31/84.68	c GLOBAL bounds - >= 0 @ 75.2509
84.41/84.76	c GLOBAL bounds - >= 0 @ 75.3211
84.51/84.81	c GLOBAL bounds - >= 0 @ 75.3736
84.51/84.87	c GLOBAL bounds - >= 0 @ 75.4261
84.61/84.92	c GLOBAL bounds - >= 0 @ 75.4698
84.61/84.96	c GLOBAL bounds - >= 0 @ 75.511
84.61/85.00	c GLOBAL bounds - >= 0 @ 75.5487
84.72/85.04	c GLOBAL bounds - >= 0 @ 75.5898
84.72/85.09	c GLOBAL bounds - >= 0 @ 75.629
84.82/85.14	c GLOBAL bounds - >= 0 @ 75.6768
84.82/85.19	c GLOBAL bounds - >= 0 @ 75.7238
84.91/85.23	c GLOBAL bounds - >= 0 @ 75.7622
84.91/85.28	c GLOBAL bounds - >= 0 @ 75.8062
85.01/85.33	c GLOBAL bounds - >= 0 @ 75.8533
85.01/85.39	c GLOBAL bounds - >= 0 @ 75.9095
85.11/85.44	c GLOBAL bounds - >= 0 @ 75.9626
85.11/85.49	c GLOBAL bounds - >= 0 @ 76.0125
85.20/85.55	c GLOBAL bounds - >= 0 @ 76.0609
85.31/85.60	c GLOBAL bounds - >= 0 @ 76.1092
85.31/85.65	c GLOBAL bounds - >= 0 @ 76.1556
85.41/85.70	c GLOBAL bounds - >= 0 @ 76.206
85.41/85.76	c GLOBAL bounds - >= 0 @ 76.2526
85.51/85.80	c GLOBAL bounds - >= 0 @ 76.2987
85.51/85.85	c GLOBAL bounds - >= 0 @ 76.3442
85.60/85.90	c GLOBAL bounds - >= 0 @ 76.39
85.60/85.95	c GLOBAL bounds - >= 0 @ 76.4365
85.60/86.00	c GLOBAL bounds - >= 0 @ 76.4813
85.72/86.04	c GLOBAL bounds - >= 0 @ 76.5179
85.72/86.08	c GLOBAL bounds - >= 0 @ 76.5576
85.82/86.13	c GLOBAL bounds - >= 0 @ 76.6048
85.82/86.19	c GLOBAL bounds - >= 0 @ 76.6541
85.90/86.24	c GLOBAL bounds - >= 0 @ 76.7027
85.90/86.29	c GLOBAL bounds - >= 0 @ 76.752
86.01/86.34	c GLOBAL bounds - >= 0 @ 76.7946
86.10/86.40	c GLOBAL bounds - >= 0 @ 76.8537
86.10/86.45	c GLOBAL bounds - >= 0 @ 76.9044
86.20/86.50	c GLOBAL bounds - >= 0 @ 76.9517
86.20/86.56	c GLOBAL bounds - >= 0 @ 77.0038
86.31/86.61	c GLOBAL bounds - >= 0 @ 77.0538
86.31/86.66	c GLOBAL bounds - >= 0 @ 77.0968
86.41/86.71	c GLOBAL bounds - >= 0 @ 77.1389
86.41/86.76	c GLOBAL bounds - >= 0 @ 77.1907
86.50/86.81	c GLOBAL bounds - >= 0 @ 77.2395
86.50/86.86	c GLOBAL bounds - >= 0 @ 77.2799
86.60/86.91	c GLOBAL bounds - >= 0 @ 77.3253
86.60/86.95	c GLOBAL bounds - >= 0 @ 77.3627
86.60/87.00	c GLOBAL bounds - >= 0 @ 77.4124
86.72/87.05	c GLOBAL bounds - >= 0 @ 77.4547
86.72/87.09	c GLOBAL bounds - >= 0 @ 77.4977
86.81/87.14	c GLOBAL bounds - >= 0 @ 77.5434
86.81/87.18	c GLOBAL bounds - >= 0 @ 77.5842
86.90/87.23	c GLOBAL bounds - >= 0 @ 77.625
86.90/87.27	c GLOBAL bounds - >= 0 @ 77.665
87.00/87.31	c GLOBAL bounds - >= 0 @ 77.7015
87.00/87.36	c GLOBAL bounds - >= 0 @ 77.7464
87.10/87.40	c GLOBAL bounds - >= 0 @ 77.7897
87.10/87.45	c GLOBAL bounds - >= 0 @ 77.8361
87.20/87.50	c GLOBAL bounds - >= 0 @ 77.8831
87.20/87.56	c GLOBAL bounds - >= 0 @ 77.9335
87.30/87.61	c GLOBAL bounds - >= 0 @ 77.9789
87.30/87.66	c GLOBAL bounds - >= 0 @ 78.0278
87.40/87.71	c GLOBAL bounds - >= 0 @ 78.0732
87.40/87.79	c GLOBAL bounds - >= 0 @ 78.1458
87.50/87.86	c GLOBAL bounds - >= 0 @ 78.2059
87.60/87.91	c GLOBAL bounds - >= 0 @ 78.2498
87.60/87.96	c GLOBAL bounds - >= 0 @ 78.2961
87.60/88.00	c GLOBAL bounds - >= 0 @ 78.3385
87.71/88.05	c GLOBAL bounds - >= 0 @ 78.3782
87.71/88.09	c GLOBAL bounds - >= 0 @ 78.4174
87.81/88.13	c GLOBAL bounds - >= 0 @ 78.4527
87.81/88.17	c GLOBAL bounds - >= 0 @ 78.4908
87.90/88.21	c GLOBAL bounds - >= 0 @ 78.5275
87.90/88.26	c GLOBAL bounds - >= 0 @ 78.5683
88.00/88.30	c GLOBAL bounds - >= 0 @ 78.6056
88.00/88.34	c GLOBAL bounds - >= 0 @ 78.6437
88.00/88.38	c GLOBAL bounds - >= 0 @ 78.6815
88.09/88.43	c GLOBAL bounds - >= 0 @ 78.7256
88.09/88.47	c GLOBAL bounds - >= 0 @ 78.7617
88.20/88.51	c GLOBAL bounds - >= 0 @ 78.7955
88.20/88.55	c GLOBAL bounds - >= 0 @ 78.8318
88.20/88.59	c GLOBAL bounds - >= 0 @ 78.8716
88.29/88.64	c GLOBAL bounds - >= 0 @ 78.913
88.29/88.68	c GLOBAL bounds - >= 0 @ 78.9517
88.40/88.72	c GLOBAL bounds - >= 0 @ 78.9891
88.40/88.76	c GLOBAL bounds - >= 0 @ 79.0255
88.50/88.80	c GLOBAL bounds - >= 0 @ 79.066
88.50/88.84	c GLOBAL bounds - >= 0 @ 79.101
88.50/88.89	c GLOBAL bounds - >= 0 @ 79.1475
88.60/88.93	c GLOBAL bounds - >= 0 @ 79.1866
88.60/88.97	c GLOBAL bounds - >= 0 @ 79.2195
88.71/89.02	c GLOBAL bounds - >= 0 @ 79.2589
88.71/89.06	c GLOBAL bounds - >= 0 @ 79.2974
88.71/89.11	c GLOBAL bounds - >= 0 @ 79.3376
88.81/89.15	c GLOBAL bounds - >= 0 @ 79.3756
88.81/89.20	c GLOBAL bounds - >= 0 @ 79.4228
88.89/89.24	c GLOBAL bounds - >= 0 @ 79.463
88.89/89.29	c GLOBAL bounds - >= 0 @ 79.5062
89.00/89.33	c GLOBAL bounds - >= 0 @ 79.5401
89.00/89.37	c GLOBAL bounds - >= 0 @ 79.582
89.09/89.41	c GLOBAL bounds - >= 0 @ 79.6205
89.09/89.45	c GLOBAL bounds - >= 0 @ 79.6535
89.20/89.50	c GLOBAL bounds - >= 0 @ 79.691
89.20/89.54	c GLOBAL bounds - >= 0 @ 79.7267
89.20/89.59	c GLOBAL bounds - >= 0 @ 79.7765
89.29/89.66	c GLOBAL bounds - >= 0 @ 79.8322
89.40/89.70	c GLOBAL bounds - >= 0 @ 79.873
89.40/89.75	c GLOBAL bounds - >= 0 @ 79.9193
89.49/89.80	c GLOBAL bounds - >= 0 @ 79.9631
89.49/89.85	c GLOBAL bounds - >= 0 @ 80.0093
89.49/89.89	c GLOBAL bounds - >= 0 @ 80.0474
89.59/89.94	c GLOBAL bounds - >= 0 @ 80.0886
89.59/89.98	c GLOBAL bounds - >= 0 @ 80.1328
89.70/90.03	c GLOBAL bounds - >= 0 @ 80.1737
89.70/90.07	c GLOBAL bounds - >= 0 @ 80.2082
89.70/90.11	c GLOBAL bounds - >= 0 @ 80.2463
89.81/90.15	c GLOBAL bounds - >= 0 @ 80.2804
89.81/90.19	c GLOBAL bounds - >= 0 @ 80.3141
89.89/90.23	c GLOBAL bounds - >= 0 @ 80.3545
89.89/90.27	c GLOBAL bounds - >= 0 @ 80.3873
89.99/90.31	c GLOBAL bounds - >= 0 @ 80.4219
89.99/90.35	c GLOBAL bounds - >= 0 @ 80.4596
89.99/90.39	c GLOBAL bounds - >= 0 @ 80.4949
90.09/90.43	c GLOBAL bounds - >= 0 @ 80.5298
90.09/90.46	c GLOBAL bounds - >= 0 @ 80.5639
90.19/90.51	c GLOBAL bounds - >= 0 @ 80.6059
90.19/90.55	c GLOBAL bounds - >= 0 @ 80.6459
90.19/90.59	c GLOBAL bounds - >= 0 @ 80.6761
90.29/90.64	c GLOBAL bounds - >= 0 @ 80.7128
90.29/90.68	c GLOBAL bounds - >= 0 @ 80.7501
90.39/90.72	c GLOBAL bounds - >= 0 @ 80.7916
90.39/90.77	c GLOBAL bounds - >= 0 @ 80.83
90.49/90.81	c GLOBAL bounds - >= 0 @ 80.8645
90.49/90.84	c GLOBAL bounds - >= 0 @ 80.8942
90.49/90.88	c GLOBAL bounds - >= 0 @ 80.9259
90.59/90.92	c GLOBAL bounds - >= 0 @ 80.9596
90.59/90.96	c GLOBAL bounds - >= 0 @ 80.9896
90.59/90.99	c GLOBAL bounds - >= 0 @ 81.0192
90.70/91.03	c GLOBAL bounds - >= 0 @ 81.0535
90.70/91.07	c GLOBAL bounds - >= 0 @ 81.0912
90.80/91.11	c GLOBAL bounds - >= 0 @ 81.127
90.80/91.15	c GLOBAL bounds - >= 0 @ 81.1632
90.80/91.19	c GLOBAL bounds - >= 0 @ 81.2029
90.89/91.23	c GLOBAL bounds - >= 0 @ 81.237
90.89/91.29	c GLOBAL bounds - >= 0 @ 81.2936
90.99/91.36	c GLOBAL bounds - >= 0 @ 81.3482
91.09/91.47	c GLOBAL bounds - >= 0 @ 81.4569
91.19/91.54	c GLOBAL bounds - >= 0 @ 81.5266
91.19/91.60	c GLOBAL bounds - >= 0 @ 81.579
91.29/91.65	c GLOBAL bounds - >= 0 @ 81.6295
91.39/91.71	c GLOBAL bounds - >= 0 @ 81.6891
91.39/91.76	c GLOBAL bounds - >= 0 @ 81.734
91.49/91.81	c GLOBAL bounds - >= 0 @ 81.7749
91.49/91.86	c GLOBAL bounds - >= 0 @ 81.82
91.59/91.92	c GLOBAL bounds - >= 0 @ 81.874
91.59/91.97	c GLOBAL bounds - >= 0 @ 81.9176
91.70/92.01	c GLOBAL bounds - >= 0 @ 81.9593
91.70/92.06	c GLOBAL bounds - >= 0 @ 81.9989
91.80/92.11	c GLOBAL bounds - >= 0 @ 82.0468
91.80/92.16	c GLOBAL bounds - >= 0 @ 82.0882
98.46/98.80	c #Conflicts:       7000 | #Constraints:      69997
98.46/98.80	c #Conflicts:       8000 | #Constraints:      70997
98.46/98.80	c GLOBAL bounds - >= 0 @ 88.6255
103.95/104.38	c #Conflicts:       9000 | #Constraints:      71999
103.95/104.38	c GLOBAL bounds - >= 0 @ 94.0863
107.34/107.73	c INPROCESSING
107.34/107.73	c GARBAGE COLLECT
107.34/107.73	c GLOBAL bounds - >= 0 @ 97.3221
107.65/108.04	c GLOBAL bounds - >= 0 @ 97.5988
107.75/108.17	c GLOBAL bounds - >= 0 @ 97.7207
107.83/108.26	c GLOBAL bounds - >= 0 @ 97.8083
107.93/108.34	c GLOBAL bounds - >= 0 @ 97.8939
108.04/108.43	c GLOBAL bounds - >= 0 @ 97.9734
108.13/108.50	c GLOBAL bounds - >= 0 @ 98.0401
108.13/108.58	c GLOBAL bounds - >= 0 @ 98.1149
108.24/108.67	c GLOBAL bounds - >= 0 @ 98.2014
108.33/108.73	c GLOBAL bounds - >= 0 @ 98.2581
108.33/108.79	c GLOBAL bounds - >= 0 @ 98.3179
108.44/108.85	c GLOBAL bounds - >= 0 @ 98.3715
108.54/108.90	c GLOBAL bounds - >= 0 @ 98.4254
108.54/108.97	c GLOBAL bounds - >= 0 @ 98.4875
108.64/109.05	c GLOBAL bounds - >= 0 @ 98.5667
108.64/109.10	c GLOBAL bounds - >= 0 @ 98.6205
108.74/109.16	c GLOBAL bounds - >= 0 @ 98.6736
108.84/109.23	c GLOBAL bounds - >= 0 @ 98.7405
108.84/109.27	c GLOBAL bounds - >= 0 @ 98.7853
108.93/109.32	c GLOBAL bounds - >= 0 @ 98.8329
108.93/109.37	c GLOBAL bounds - >= 0 @ 98.8781
109.03/109.42	c GLOBAL bounds - >= 0 @ 98.9231
109.03/109.47	c GLOBAL bounds - >= 0 @ 98.9718
109.14/109.51	c GLOBAL bounds - >= 0 @ 99.0148
109.14/109.56	c GLOBAL bounds - >= 0 @ 99.0595
109.23/109.61	c GLOBAL bounds - >= 0 @ 99.113
109.23/109.66	c GLOBAL bounds - >= 0 @ 99.1581
109.33/109.71	c GLOBAL bounds - >= 0 @ 99.2035
109.33/109.75	c GLOBAL bounds - >= 0 @ 99.2431
109.33/109.79	c GLOBAL bounds - >= 0 @ 99.2808
109.43/109.85	c GLOBAL bounds - >= 0 @ 99.341
109.43/109.89	c GLOBAL bounds - >= 0 @ 99.3769
109.53/109.93	c GLOBAL bounds - >= 0 @ 99.4099
109.53/109.98	c GLOBAL bounds - >= 0 @ 99.4586
109.64/110.03	c GLOBAL bounds - >= 0 @ 99.5012
109.64/110.07	c GLOBAL bounds - >= 0 @ 99.5429
109.74/110.12	c GLOBAL bounds - >= 0 @ 99.5891
109.74/110.16	c GLOBAL bounds - >= 0 @ 99.6236
109.83/110.21	c GLOBAL bounds - >= 0 @ 99.6752
109.83/110.25	c GLOBAL bounds - >= 0 @ 99.7109
109.83/110.29	c GLOBAL bounds - >= 0 @ 99.744
109.94/110.35	c GLOBAL bounds - >= 0 @ 99.7995
109.94/110.40	c GLOBAL bounds - >= 0 @ 99.8423
110.03/110.44	c GLOBAL bounds - >= 0 @ 99.8834
110.13/110.50	c GLOBAL bounds - >= 0 @ 99.9408
110.13/110.54	c GLOBAL bounds - >= 0 @ 99.9792
110.23/110.61	c GLOBAL bounds - >= 0 @ 100.043
110.23/110.66	c GLOBAL bounds - >= 0 @ 100.089
110.33/110.70	c GLOBAL bounds - >= 0 @ 100.129
110.33/110.78	c GLOBAL bounds - >= 0 @ 100.208
110.43/110.83	c GLOBAL bounds - >= 0 @ 100.251
110.43/110.87	c GLOBAL bounds - >= 0 @ 100.292
110.53/110.92	c GLOBAL bounds - >= 0 @ 100.336
110.53/110.96	c GLOBAL bounds - >= 0 @ 100.372
110.53/111.01	c GLOBAL bounds - >= 0 @ 100.41
110.64/111.05	c GLOBAL bounds - >= 0 @ 100.448
110.74/111.12	c GLOBAL bounds - >= 0 @ 100.515
110.74/111.17	c GLOBAL bounds - >= 0 @ 100.556
110.83/111.29	c GLOBAL bounds - >= 0 @ 100.67
110.92/111.38	c GLOBAL bounds - >= 0 @ 100.747
111.02/111.44	c GLOBAL bounds - >= 0 @ 100.802
111.12/111.52	c GLOBAL bounds - >= 0 @ 100.876
111.42/111.81	c GLOBAL bounds - >= 0 @ 101.161
111.53/111.91	c GLOBAL bounds - >= 0 @ 101.249
111.53/111.96	c GLOBAL bounds - >= 0 @ 101.298
111.63/112.01	c GLOBAL bounds - >= 0 @ 101.34
111.63/112.05	c GLOBAL bounds - >= 0 @ 101.373
111.63/112.09	c GLOBAL bounds - >= 0 @ 101.404
111.74/112.13	c GLOBAL bounds - >= 0 @ 101.445
111.74/112.18	c GLOBAL bounds - >= 0 @ 101.489
111.82/112.22	c GLOBAL bounds - >= 0 @ 101.524
111.82/112.27	c GLOBAL bounds - >= 0 @ 101.567
111.92/112.31	c GLOBAL bounds - >= 0 @ 101.605
111.92/112.35	c GLOBAL bounds - >= 0 @ 101.641
112.02/112.40	c GLOBAL bounds - >= 0 @ 101.69
112.02/112.44	c GLOBAL bounds - >= 0 @ 101.723
112.02/112.48	c GLOBAL bounds - >= 0 @ 101.757
112.12/112.52	c GLOBAL bounds - >= 0 @ 101.792
112.12/112.55	c GLOBAL bounds - >= 0 @ 101.826
112.12/112.59	c GLOBAL bounds - >= 0 @ 101.86
112.23/112.62	c GLOBAL bounds - >= 0 @ 101.889
112.23/112.65	c GLOBAL bounds - >= 0 @ 101.912
112.23/112.68	c GLOBAL bounds - >= 0 @ 101.94
112.32/112.71	c GLOBAL bounds - >= 0 @ 101.967
112.32/112.76	c GLOBAL bounds - >= 0 @ 102.013
112.43/112.83	c GLOBAL bounds - >= 0 @ 102.076
112.52/112.92	c GLOBAL bounds - >= 0 @ 102.152
112.52/112.98	c GLOBAL bounds - >= 0 @ 102.196
112.63/113.01	c GLOBAL bounds - >= 0 @ 102.228
112.63/113.05	c GLOBAL bounds - >= 0 @ 102.262
112.63/113.10	c GLOBAL bounds - >= 0 @ 102.305
120.50/120.99	c #Conflicts:      10000 | #Constraints:      70895
120.50/120.99	c #Conflicts:      11000 | #Constraints:      71895
120.50/120.99	c GLOBAL bounds - >= 0 @ 110.046
122.99/123.48	c GLOBAL bounds - >= 0 @ 112.441
123.70/124.19	c GLOBAL bounds - >= 0 @ 113.133
124.09/124.58	c GLOBAL bounds - >= 0 @ 113.501
124.28/124.75	c GLOBAL bounds - >= 0 @ 113.656
124.39/124.88	c GLOBAL bounds - >= 0 @ 113.78
128.08/128.50	c #Conflicts:      12000 | #Constraints:      72907
128.08/128.50	c INPROCESSING
128.08/128.50	c GARBAGE COLLECT
128.08/128.50	c GLOBAL bounds - >= 0 @ 117.35
128.08/128.58	c GLOBAL bounds - >= 0 @ 117.427
128.27/128.75	c GLOBAL bounds - >= 0 @ 117.603
129.77/130.27	c GLOBAL bounds - >= 0 @ 119.11
129.87/130.36	c GLOBAL bounds - >= 0 @ 119.199
131.68/132.16	c GLOBAL bounds - >= 0 @ 120.965
131.87/132.34	c GLOBAL bounds - >= 0 @ 121.143
131.96/132.40	c GLOBAL bounds - >= 0 @ 121.2
131.96/132.47	c GLOBAL bounds - >= 0 @ 121.259
134.76/135.20	c #Conflicts:      13000 | #Constraints:      71375
134.76/135.20	c GLOBAL bounds - >= 0 @ 123.945
134.76/135.26	c GLOBAL bounds - >= 0 @ 123.999
134.95/135.41	c GLOBAL bounds - >= 0 @ 124.142
135.05/135.53	c GLOBAL bounds - >= 0 @ 124.258
135.46/135.91	c GLOBAL bounds - >= 0 @ 124.63
136.25/136.76	c GLOBAL bounds - >= 0 @ 125.462
147.53/148.02	c #Conflicts:      14000 | #Constraints:      72387
147.53/148.02	c #Conflicts:      15000 | #Constraints:      73387
147.53/148.02	c INPROCESSING
147.53/148.02	c GARBAGE COLLECT
147.53/148.02	c GLOBAL bounds - >= 0 @ 136.59
147.72/148.22	c GLOBAL bounds - >= 0 @ 136.788
147.72/148.29	c GLOBAL bounds - >= 0 @ 136.854
147.82/148.33	c GLOBAL bounds - >= 0 @ 136.893
147.82/148.38	c GLOBAL bounds - >= 0 @ 136.94
147.92/148.44	c GLOBAL bounds - >= 0 @ 136.989
148.02/148.50	c GLOBAL bounds - >= 0 @ 137.044
148.21/148.71	c GLOBAL bounds - >= 0 @ 137.243
148.31/148.89	c GLOBAL bounds - >= 0 @ 137.411
148.52/149.03	c GLOBAL bounds - >= 0 @ 137.542
148.52/149.08	c GLOBAL bounds - >= 0 @ 137.594
148.62/149.13	c GLOBAL bounds - >= 0 @ 137.64
148.62/149.18	c GLOBAL bounds - >= 0 @ 137.681
148.71/149.29	c GLOBAL bounds - >= 0 @ 137.786
148.81/149.36	c GLOBAL bounds - >= 0 @ 137.846
153.00/153.53	c #Conflicts:      16000 | #Constraints:      71651
153.00/153.53	c GLOBAL bounds - >= 0 @ 141.985
153.10/153.61	c GLOBAL bounds - >= 0 @ 142.057
153.10/153.67	c GLOBAL bounds - >= 0 @ 142.125
153.20/153.74	c GLOBAL bounds - >= 0 @ 142.186
153.20/153.79	c GLOBAL bounds - >= 0 @ 142.237
153.30/153.84	c GLOBAL bounds - >= 0 @ 142.287
153.30/153.89	c GLOBAL bounds - >= 0 @ 142.329
153.40/154.00	c GLOBAL bounds - >= 0 @ 142.438
153.61/154.13	c GLOBAL bounds - >= 0 @ 142.568
153.70/154.24	c GLOBAL bounds - >= 0 @ 142.677
153.99/154.50	c GLOBAL bounds - >= 0 @ 142.932
175.93/176.58	c #Conflicts:      17000 | #Constraints:      72673
175.93/176.58	c #Conflicts:      18000 | #Constraints:      73673
175.93/176.58	c INPROCESSING
175.93/176.58	c GARBAGE COLLECT
175.93/176.58	c #Conflicts:      19000 | #Constraints:      71691
175.93/176.58	c GLOBAL bounds - >= 0 @ 164.805
176.83/177.48	c GLOBAL bounds - >= 0 @ 165.66
176.93/177.58	c GLOBAL bounds - >= 0 @ 165.737
177.22/177.86	c GLOBAL bounds - >= 0 @ 166.012
177.32/178.00	c GLOBAL bounds - >= 0 @ 166.143
177.44/178.04	c GLOBAL bounds - >= 0 @ 166.183
177.92/178.56	c GLOBAL bounds - >= 0 @ 166.695
179.54/180.16	c #Conflicts:      20000 | #Constraints:      72705
179.54/180.16	c GLOBAL bounds - >= 0 @ 168.276
182.61/183.23	c GLOBAL bounds - >= 0 @ 171.315
182.71/183.33	c GLOBAL bounds - >= 0 @ 171.402
186.51/187.19	c #Conflicts:      21000 | #Constraints:      73711
186.51/187.19	c GLOBAL bounds - >= 0 @ 175.118
186.59/187.28	c GLOBAL bounds - >= 0 @ 175.203
188.09/188.74	c GLOBAL bounds - >= 0 @ 176.628
190.88/191.58	c INPROCESSING
190.88/191.58	c GARBAGE COLLECT
190.88/191.58	c GLOBAL bounds - >= 0 @ 179.442
191.09/191.80	c GLOBAL bounds - >= 0 @ 179.647
192.09/192.78	c GLOBAL bounds - >= 0 @ 180.624
192.57/193.26	c GLOBAL bounds - >= 0 @ 181.09
194.27/194.94	c #Conflicts:      22000 | #Constraints:      71526
194.27/194.94	c GLOBAL bounds - >= 0 @ 182.747
202.46/203.18	c #Conflicts:      23000 | #Constraints:      72528
202.46/203.18	c GLOBAL bounds - >= 0 @ 190.725
204.25/204.95	c #Conflicts:      24000 | #Constraints:      73530
204.25/204.95	c GLOBAL bounds - >= 0 @ 192.462
204.54/205.28	c GLOBAL bounds - >= 0 @ 192.782
204.74/205.49	c GLOBAL bounds - >= 0 @ 192.984
205.35/206.05	c GLOBAL bounds - >= 0 @ 193.482
205.54/206.22	c GLOBAL bounds - >= 0 @ 193.642
205.64/206.36	c GLOBAL bounds - >= 0 @ 193.775
205.74/206.44	c GLOBAL bounds - >= 0 @ 193.846
205.83/206.55	c GLOBAL bounds - >= 0 @ 193.948
206.14/206.88	c GLOBAL bounds - >= 0 @ 194.274
302.94/303.90	c #Conflicts:      25000 | #Constraints:      74548
302.94/303.90	c INPROCESSING
302.94/303.90	c GARBAGE COLLECT
302.94/303.90	c #Conflicts:      26000 | #Constraints:      72153
302.94/303.90	c #Conflicts:      27000 | #Constraints:      73153
302.94/303.90	c #Conflicts:      28000 | #Constraints:      74153
302.94/303.90	c #Conflicts:      29000 | #Constraints:      75153
302.94/303.90	c INPROCESSING
302.94/303.90	c GARBAGE COLLECT
302.94/303.90	c #Conflicts:      30000 | #Constraints:      72555
302.94/303.90	c #Conflicts:      31000 | #Constraints:      73555
302.94/303.90	c #Conflicts:      32000 | #Constraints:      74555
302.94/303.90	c #Conflicts:      33000 | #Constraints:      75555
302.94/303.90	c INPROCESSING
302.94/303.90	c GARBAGE COLLECT
302.94/303.90	c #Conflicts:      34000 | #Constraints:      72756
302.94/303.90	c #Conflicts:      35000 | #Constraints:      73756
302.94/303.90	c #Conflicts:      36000 | #Constraints:      74756
302.94/303.90	c #Conflicts:      37000 | #Constraints:      75756
302.94/303.90	c INPROCESSING
302.94/303.90	c GARBAGE COLLECT
302.94/303.90	c GLOBAL bounds - >= 0 @ 289.359
477.42/478.99	c #Conflicts:      38000 | #Constraints:      72765
477.42/478.99	c #Conflicts:      39000 | #Constraints:      73765
477.42/478.99	c #Conflicts:      40000 | #Constraints:      74765
477.42/478.99	c #Conflicts:      41000 | #Constraints:      75765
477.42/478.99	c INPROCESSING
477.42/478.99	c GARBAGE COLLECT
477.42/478.99	c #Conflicts:      42000 | #Constraints:      72570
477.42/478.99	c #Conflicts:      43000 | #Constraints:      73570
477.42/478.99	c #Conflicts:      44000 | #Constraints:      74570
477.42/478.99	c #Conflicts:      45000 | #Constraints:      75570
477.42/478.99	c #Conflicts:      46000 | #Constraints:      76570
477.42/478.99	c INPROCESSING
477.42/478.99	c GARBAGE COLLECT
477.42/478.99	c #Conflicts:      47000 | #Constraints:      73165
477.42/478.99	c #Conflicts:      48000 | #Constraints:      74165
477.42/478.99	c #Conflicts:      49000 | #Constraints:      75165
477.42/478.99	c #Conflicts:      50000 | #Constraints:      76165
477.42/478.99	c #Conflicts:      51000 | #Constraints:      77165
477.42/478.99	c INPROCESSING
477.42/478.99	c GARBAGE COLLECT
477.42/478.99	c #Conflicts:      52000 | #Constraints:      73579
477.42/478.99	c #Conflicts:      53000 | #Constraints:      74579
477.42/478.99	c #Conflicts:      54000 | #Constraints:      75579
477.42/478.99	c #Conflicts:      55000 | #Constraints:      76579
477.42/478.99	c #Conflicts:      56000 | #Constraints:      77579
477.42/478.99	c INPROCESSING
477.42/478.99	c GARBAGE COLLECT
477.42/478.99	c #Conflicts:      57000 | #Constraints:      73777
477.42/478.99	c #Conflicts:      58000 | #Constraints:      74777
477.42/478.99	c #Conflicts:      59000 | #Constraints:      75777
477.42/478.99	c #Conflicts:      60000 | #Constraints:      76777
477.42/478.99	c #Conflicts:      61000 | #Constraints:      77777
477.42/478.99	c INPROCESSING
477.42/478.99	c GARBAGE COLLECT
477.42/478.99	c #Conflicts:      62000 | #Constraints:      73776
477.42/478.99	c GLOBAL bounds - >= 0 @ 461.169
521.19/522.89	c #Conflicts:      63000 | #Constraints:      74778
521.19/522.89	c #Conflicts:      64000 | #Constraints:      75778
521.19/522.89	c #Conflicts:      65000 | #Constraints:      76778
521.19/522.89	c #Conflicts:      66000 | #Constraints:      77778
521.19/522.89	c INPROCESSING
521.19/522.89	c GARBAGE COLLECT
521.19/522.89	c #Conflicts:      67000 | #Constraints:      73585
521.19/522.89	c #Conflicts:      68000 | #Constraints:      74585
521.19/522.89	c #Conflicts:      69000 | #Constraints:      75585
521.19/522.89	c GLOBAL bounds - >= 0 @ 503.927
523.58/525.27	c GLOBAL bounds - >= 0 @ 506.25
804.33/806.81	c #Conflicts:      70000 | #Constraints:      76589
804.33/806.81	c #Conflicts:      71000 | #Constraints:      77589
804.33/806.81	c #Conflicts:      72000 | #Constraints:      78589
804.33/806.81	c INPROCESSING
804.33/806.81	c GARBAGE COLLECT
804.33/806.81	c #Conflicts:      73000 | #Constraints:      74179
804.33/806.81	c #Conflicts:      74000 | #Constraints:      75179
804.33/806.81	c #Conflicts:      75000 | #Constraints:      76179
804.33/806.81	c #Conflicts:      76000 | #Constraints:      77179
804.33/806.81	c #Conflicts:      77000 | #Constraints:      78179
804.33/806.81	c #Conflicts:      78000 | #Constraints:      79179
804.33/806.81	c INPROCESSING
804.33/806.81	c GARBAGE COLLECT
804.33/806.81	c #Conflicts:      79000 | #Constraints:      74571
804.33/806.81	c #Conflicts:      80000 | #Constraints:      75571
804.33/806.81	c #Conflicts:      81000 | #Constraints:      76571
804.33/806.81	c #Conflicts:      82000 | #Constraints:      77571
804.33/806.81	c #Conflicts:      83000 | #Constraints:      78571
804.33/806.81	c #Conflicts:      84000 | #Constraints:      79571
804.33/806.81	c INPROCESSING
804.33/806.81	c GARBAGE COLLECT
804.33/806.81	c #Conflicts:      85000 | #Constraints:      74772
804.33/806.81	c #Conflicts:      86000 | #Constraints:      75772
804.33/806.81	c #Conflicts:      87000 | #Constraints:      76772
804.33/806.81	c #Conflicts:      88000 | #Constraints:      77772
804.33/806.81	c #Conflicts:      89000 | #Constraints:      78772
804.33/806.81	c #Conflicts:      90000 | #Constraints:      79772
804.33/806.81	c INPROCESSING
804.33/806.81	c GARBAGE COLLECT
804.33/806.81	c #Conflicts:      91000 | #Constraints:      74781
804.33/806.81	c #Conflicts:      92000 | #Constraints:      75781
804.33/806.81	c #Conflicts:      93000 | #Constraints:      76781
804.33/806.81	c #Conflicts:      94000 | #Constraints:      77781
804.33/806.81	c #Conflicts:      95000 | #Constraints:      78781
804.33/806.81	c #Conflicts:      96000 | #Constraints:      79781
804.33/806.81	c INPROCESSING
804.33/806.81	c GARBAGE COLLECT
804.33/806.81	c #Conflicts:      97000 | #Constraints:      74587
804.33/806.81	c #Conflicts:      98000 | #Constraints:      75587
804.33/806.81	c #Conflicts:      99000 | #Constraints:      76587
804.33/806.81	c #Conflicts:     100000 | #Constraints:      77587
804.33/806.81	c #Conflicts:     101000 | #Constraints:      78587
804.33/806.81	c #Conflicts:     102000 | #Constraints:      79587
804.33/806.81	c #Conflicts:     103000 | #Constraints:      80587
804.33/806.81	c GLOBAL bounds - >= 0 @ 784.38
842.91/845.51	c INPROCESSING
842.91/845.51	c GARBAGE COLLECT
842.91/845.51	c #Conflicts:     104000 | #Constraints:      75178
842.91/845.51	c #Conflicts:     105000 | #Constraints:      76178
842.91/845.51	c #Conflicts:     106000 | #Constraints:      77178
842.91/845.51	c #Conflicts:     107000 | #Constraints:      78178
842.91/845.51	c GLOBAL bounds - >= 0 @ 822.519
854.39/857.02	c #Conflicts:     108000 | #Constraints:      79180
854.39/857.02	c #Conflicts:     109000 | #Constraints:      80180
854.39/857.02	c GLOBAL bounds - >= 0 @ 833.803
872.12/874.80	c #Conflicts:     110000 | #Constraints:      81182
872.12/874.80	c INPROCESSING
872.12/874.80	c GARBAGE COLLECT
872.12/874.80	c #Conflicts:     111000 | #Constraints:      75579
872.12/874.80	c GLOBAL bounds - >= 0 @ 851.131
876.81/879.54	c GLOBAL bounds - >= 0 @ 855.805
883.49/886.28	c #Conflicts:     112000 | #Constraints:      76583
883.49/886.28	c #Conflicts:     113000 | #Constraints:      77583
883.49/886.28	c GLOBAL bounds - >= 0 @ 862.366
988.17/991.21	c #Conflicts:     114000 | #Constraints:      78585
988.17/991.21	c #Conflicts:     115000 | #Constraints:      79585
988.17/991.21	c #Conflicts:     116000 | #Constraints:      80585
988.17/991.21	c #Conflicts:     117000 | #Constraints:      81585
988.17/991.21	c INPROCESSING
988.17/991.21	c GARBAGE COLLECT
988.17/991.21	c #Conflicts:     118000 | #Constraints:      75783
988.17/991.21	c #Conflicts:     119000 | #Constraints:      76783
988.17/991.21	c #Conflicts:     120000 | #Constraints:      77783
988.17/991.21	c #Conflicts:     121000 | #Constraints:      78783
988.17/991.21	c #Conflicts:     122000 | #Constraints:      79783
988.17/991.21	c #Conflicts:     123000 | #Constraints:      80783
988.17/991.21	c #Conflicts:     124000 | #Constraints:      81783
988.17/991.21	c INPROCESSING
988.17/991.21	c GARBAGE COLLECT
988.17/991.21	c #Conflicts:     125000 | #Constraints:      75783
988.17/991.21	c #Conflicts:     126000 | #Constraints:      76783
988.17/991.21	c GLOBAL bounds - >= 0 @ 965.298
1027.26/1030.45	c #Conflicts:     127000 | #Constraints:      77785
1027.26/1030.45	c #Conflicts:     128000 | #Constraints:      78785
1027.26/1030.45	c #Conflicts:     129000 | #Constraints:      79785
1027.26/1030.45	c #Conflicts:     130000 | #Constraints:      80785
1027.26/1030.45	c #Conflicts:     131000 | #Constraints:      81785
1027.26/1030.45	c INPROCESSING
1027.26/1030.45	c GARBAGE COLLECT
1027.26/1030.45	c GLOBAL bounds - >= 0 @ 1003.88
1027.55/1030.75	c GLOBAL bounds - >= 0 @ 1004.15
1293.44/1297.42	c #Conflicts:     132000 | #Constraints:      75593
1293.44/1297.42	c #Conflicts:     133000 | #Constraints:      76593
1293.44/1297.42	c #Conflicts:     134000 | #Constraints:      77593
1293.44/1297.42	c #Conflicts:     135000 | #Constraints:      78593
1293.44/1297.42	c #Conflicts:     136000 | #Constraints:      79593
1293.44/1297.42	c #Conflicts:     137000 | #Constraints:      80593
1293.44/1297.42	c #Conflicts:     138000 | #Constraints:      81593
1293.44/1297.42	c #Conflicts:     139000 | #Constraints:      82593
1293.44/1297.42	c INPROCESSING
1293.44/1297.42	c GARBAGE COLLECT
1293.44/1297.42	c #Conflicts:     140000 | #Constraints:      76191
1293.44/1297.42	c #Conflicts:     141000 | #Constraints:      77191
1293.44/1297.42	c #Conflicts:     142000 | #Constraints:      78191
1293.44/1297.42	c #Conflicts:     143000 | #Constraints:      79191
1293.44/1297.42	c #Conflicts:     144000 | #Constraints:      80191
1293.44/1297.42	c #Conflicts:     145000 | #Constraints:      81191
1293.44/1297.42	c #Conflicts:     146000 | #Constraints:      82191
1293.44/1297.42	c #Conflicts:     147000 | #Constraints:      83191
1293.44/1297.42	c INPROCESSING
1293.44/1297.42	c GARBAGE COLLECT
1293.44/1297.42	c #Conflicts:     148000 | #Constraints:      76610
1293.44/1297.42	c #Conflicts:     149000 | #Constraints:      77610
1293.44/1297.42	c #Conflicts:     150000 | #Constraints:      78610
1293.44/1297.42	c #Conflicts:     151000 | #Constraints:      79610
1293.44/1297.42	c #Conflicts:     152000 | #Constraints:      80610
1293.44/1297.42	c #Conflicts:     153000 | #Constraints:      81610
1293.44/1297.42	c #Conflicts:     154000 | #Constraints:      82610
1293.44/1297.42	c #Conflicts:     155000 | #Constraints:      83610
1293.44/1297.42	c INPROCESSING
1293.44/1297.42	c GARBAGE COLLECT
1293.44/1297.42	c #Conflicts:     156000 | #Constraints:      76805
1293.44/1297.42	c #Conflicts:     157000 | #Constraints:      77805
1293.44/1297.42	c #Conflicts:     158000 | #Constraints:      78805
1293.44/1297.42	c #Conflicts:     159000 | #Constraints:      79805
1293.44/1297.42	c #Conflicts:     160000 | #Constraints:      80805
1293.44/1297.42	c #Conflicts:     161000 | #Constraints:      81805
1293.44/1297.42	c #Conflicts:     162000 | #Constraints:      82805
1293.44/1297.42	c #Conflicts:     163000 | #Constraints:      83805
1293.44/1297.42	c INPROCESSING
1293.44/1297.42	c GARBAGE COLLECT
1293.44/1297.42	c #Conflicts:     164000 | #Constraints:      76803
1293.44/1297.42	c GLOBAL bounds - >= 0 @ 1266.99
1935.97/1941.94	c #Conflicts:     165000 | #Constraints:      77805
1935.97/1941.94	c #Conflicts:     166000 | #Constraints:      78805
1935.97/1941.94	c #Conflicts:     167000 | #Constraints:      79805
1935.97/1941.94	c #Conflicts:     168000 | #Constraints:      80805
1935.97/1941.94	c #Conflicts:     169000 | #Constraints:      81805
1935.97/1941.94	c #Conflicts:     170000 | #Constraints:      82805
1935.97/1941.94	c #Conflicts:     171000 | #Constraints:      83805
1935.97/1941.94	c INPROCESSING
1935.97/1941.94	c GARBAGE COLLECT
1935.97/1941.94	c #Conflicts:     172000 | #Constraints:      76594
1935.97/1941.94	c #Conflicts:     173000 | #Constraints:      77594
1935.97/1941.94	c #Conflicts:     174000 | #Constraints:      78594
1935.97/1941.94	c #Conflicts:     175000 | #Constraints:      79594
1935.97/1941.94	c #Conflicts:     176000 | #Constraints:      80594
1935.97/1941.94	c #Conflicts:     177000 | #Constraints:      81594
1935.97/1941.94	c #Conflicts:     178000 | #Constraints:      82594
1935.97/1941.94	c #Conflicts:     179000 | #Constraints:      83594
1935.97/1941.94	c #Conflicts:     180000 | #Constraints:      84594
1935.97/1941.94	c INPROCESSING
1935.97/1941.94	c GARBAGE COLLECT
1935.97/1941.94	c #Conflicts:     181000 | #Constraints:      77197
1935.97/1941.94	c #Conflicts:     182000 | #Constraints:      78197
1935.97/1941.94	c #Conflicts:     183000 | #Constraints:      79197
1935.97/1941.94	c #Conflicts:     184000 | #Constraints:      80197
1935.97/1941.94	c #Conflicts:     185000 | #Constraints:      81197
1935.97/1941.94	c #Conflicts:     186000 | #Constraints:      82197
1935.97/1941.94	c #Conflicts:     187000 | #Constraints:      83197
1935.97/1941.94	c #Conflicts:     188000 | #Constraints:      84197
1935.97/1941.94	c #Conflicts:     189000 | #Constraints:      85197
1935.97/1941.94	c INPROCESSING
1935.97/1941.94	c GARBAGE COLLECT
1935.97/1941.94	c #Conflicts:     190000 | #Constraints:      77600
1935.97/1941.94	c #Conflicts:     191000 | #Constraints:      78600
1935.97/1941.94	c #Conflicts:     192000 | #Constraints:      79600
1935.97/1941.94	c #Conflicts:     193000 | #Constraints:      80600
1935.97/1941.94	c #Conflicts:     194000 | #Constraints:      81600
1935.97/1941.94	c #Conflicts:     195000 | #Constraints:      82600
1935.97/1941.94	c #Conflicts:     196000 | #Constraints:      83600
1935.97/1941.94	c #Conflicts:     197000 | #Constraints:      84600
1935.97/1941.94	c #Conflicts:     198000 | #Constraints:      85600
1935.97/1941.94	c INPROCESSING
1935.97/1941.94	c GARBAGE COLLECT
1935.97/1941.94	c #Conflicts:     199000 | #Constraints:      77808
1935.97/1941.94	c #Conflicts:     200000 | #Constraints:      78808
1935.97/1941.94	c #Conflicts:     201000 | #Constraints:      79808
1935.97/1941.94	c #Conflicts:     202000 | #Constraints:      80808
1935.97/1941.94	c #Conflicts:     203000 | #Constraints:      81808
1935.97/1941.94	c #Conflicts:     204000 | #Constraints:      82808
1935.97/1941.94	c #Conflicts:     205000 | #Constraints:      83808
1935.97/1941.94	c #Conflicts:     206000 | #Constraints:      84808
1935.97/1941.94	c #Conflicts:     207000 | #Constraints:      85808
1935.97/1941.94	c INPROCESSING
1935.97/1941.94	c GARBAGE COLLECT
1935.97/1941.94	c #Conflicts:     208000 | #Constraints:      77801
1935.97/1941.94	c #Conflicts:     209000 | #Constraints:      78801
1935.97/1941.94	c #Conflicts:     210000 | #Constraints:      79801
1935.97/1941.94	c #Conflicts:     211000 | #Constraints:      80801
1935.97/1941.94	c #Conflicts:     212000 | #Constraints:      81801
1935.97/1941.94	c #Conflicts:     213000 | #Constraints:      82801
1935.97/1941.94	c #Conflicts:     214000 | #Constraints:      83801
1935.97/1941.94	c #Conflicts:     215000 | #Constraints:      84801
1935.97/1941.94	c #Conflicts:     216000 | #Constraints:      85801
1935.97/1941.94	c INPROCESSING
1935.97/1941.94	c GARBAGE COLLECT
1935.97/1941.94	c #Conflicts:     217000 | #Constraints:      77600
1935.97/1941.94	c #Conflicts:     218000 | #Constraints:      78600
1935.97/1941.94	c #Conflicts:     219000 | #Constraints:      79600
1935.97/1941.94	c #Conflicts:     220000 | #Constraints:      80600
1935.97/1941.94	c #Conflicts:     221000 | #Constraints:      81600
1935.97/1941.94	c #Conflicts:     222000 | #Constraints:      82600
1935.97/1941.94	c #Conflicts:     223000 | #Constraints:      83600
1935.97/1941.94	c #Conflicts:     224000 | #Constraints:      84600
1935.97/1941.94	c #Conflicts:     225000 | #Constraints:      85600
1935.97/1941.94	c #Conflicts:     226000 | #Constraints:      86600
1935.97/1941.94	c INPROCESSING
1935.97/1941.94	c GARBAGE COLLECT
1935.97/1941.94	c #Conflicts:     227000 | #Constraints:      78201
1935.97/1941.94	c #Conflicts:     228000 | #Constraints:      79201
1935.97/1941.94	c #Conflicts:     229000 | #Constraints:      80201
1935.97/1941.94	c #Conflicts:     230000 | #Constraints:      81201
1935.97/1941.94	c #Conflicts:     231000 | #Constraints:      82201
1935.97/1941.94	c #Conflicts:     232000 | #Constraints:      83201
1935.97/1941.94	c #Conflicts:     233000 | #Constraints:      84201
1935.97/1941.94	c #Conflicts:     234000 | #Constraints:      85201
1935.97/1941.94	c #Conflicts:     235000 | #Constraints:      86201
1935.97/1941.94	c #Conflicts:     236000 | #Constraints:      87201
1935.97/1941.94	c INPROCESSING
1935.97/1941.94	c GARBAGE COLLECT
1935.97/1941.94	c #Conflicts:     237000 | #Constraints:      78598
1935.97/1941.94	c #Conflicts:     238000 | #Constraints:      79598
2313.43/2320.59	c #Conflicts:     239000 | #Constraints:      80598
2313.43/2320.59	c #Conflicts:     240000 | #Constraints:      81598
2313.43/2320.59	c #Conflicts:     241000 | #Constraints:      82598
2313.43/2320.59	c #Conflicts:     242000 | #Constraints:      83598
2313.43/2320.59	c #Conflicts:     243000 | #Constraints:      84598
2313.43/2320.59	c #Conflicts:     244000 | #Constraints:      85598
2313.43/2320.59	c #Conflicts:     245000 | #Constraints:      86598
2313.43/2320.59	c #Conflicts:     246000 | #Constraints:      87598
2313.43/2320.59	c INPROCESSING
2313.43/2320.59	c GARBAGE COLLECT
2313.43/2320.59	c #Conflicts:     247000 | #Constraints:      78791
2313.43/2320.59	c #Conflicts:     248000 | #Constraints:      79791
2313.43/2320.59	c #Conflicts:     249000 | #Constraints:      80791
2313.43/2320.59	c #Conflicts:     250000 | #Constraints:      81791
2313.43/2320.59	c #Conflicts:     251000 | #Constraints:      82791
2313.43/2320.59	c #Conflicts:     252000 | #Constraints:      83791
2313.43/2320.59	c #Conflicts:     253000 | #Constraints:      84791
2313.43/2320.59	c #Conflicts:     254000 | #Constraints:      85791
2313.43/2320.59	c #Conflicts:     255000 | #Constraints:      86791
2313.43/2320.59	c #Conflicts:     256000 | #Constraints:      87791
2313.43/2320.59	c INPROCESSING
2313.43/2320.59	c GARBAGE COLLECT
2313.43/2320.59	c #Conflicts:     257000 | #Constraints:      78796
2313.43/2320.59	c #Conflicts:     258000 | #Constraints:      79796
2313.43/2320.59	c #Conflicts:     259000 | #Constraints:      80796
2313.43/2320.59	c #Conflicts:     260000 | #Constraints:      81796
2313.43/2320.59	c #Conflicts:     261000 | #Constraints:      82796
2313.43/2320.59	c #Conflicts:     262000 | #Constraints:      83796
2313.43/2320.59	c #Conflicts:     263000 | #Constraints:      84796
2313.43/2320.59	c #Conflicts:     264000 | #Constraints:      85796
2313.43/2320.59	c #Conflicts:     265000 | #Constraints:      86796
2313.43/2320.59	c #Conflicts:     266000 | #Constraints:      87796
2313.43/2320.59	c INPROCESSING
2313.43/2320.59	c GARBAGE COLLECT
2313.43/2320.59	c #Conflicts:     267000 | #Constraints:      78609
2313.43/2320.59	c #Conflicts:     268000 | #Constraints:      79609
2313.43/2320.59	c #Conflicts:     269000 | #Constraints:      80609
2313.43/2320.59	c #Conflicts:     270000 | #Constraints:      81609
2313.43/2320.59	c #Conflicts:     271000 | #Constraints:      82609
2313.43/2320.59	c #Conflicts:     272000 | #Constraints:      83609
2313.43/2320.59	c #Conflicts:     273000 | #Constraints:      84609
2313.43/2320.59	c #Conflicts:     274000 | #Constraints:      85609
2313.43/2320.59	c #Conflicts:     275000 | #Constraints:      86609
2313.43/2320.59	c #Conflicts:     276000 | #Constraints:      87609
2313.43/2320.59	c #Conflicts:     277000 | #Constraints:      88609
2313.43/2320.59	c INPROCESSING
2313.43/2320.59	c GARBAGE COLLECT
2313.43/2320.59	c #Conflicts:     278000 | #Constraints:      79212
2313.43/2320.59	c #Conflicts:     279000 | #Constraints:      80212
2313.43/2320.59	c #Conflicts:     280000 | #Constraints:      81212
2313.43/2320.59	c GLOBAL bounds - >= 0 @ 2277.76
3008.00/3017.23	c #Conflicts:     281000 | #Constraints:      82214
3008.00/3017.23	c #Conflicts:     282000 | #Constraints:      83214
3008.00/3017.23	c #Conflicts:     283000 | #Constraints:      84214
3008.00/3017.23	c #Conflicts:     284000 | #Constraints:      85214
3008.00/3017.23	c #Conflicts:     285000 | #Constraints:      86214
3008.00/3017.23	c #Conflicts:     286000 | #Constraints:      87214
3008.00/3017.23	c #Conflicts:     287000 | #Constraints:      88214
3008.00/3017.23	c #Conflicts:     288000 | #Constraints:      89214
3008.00/3017.23	c INPROCESSING
3008.00/3017.23	c GARBAGE COLLECT
3008.00/3017.23	c #Conflicts:     289000 | #Constraints:      79607
3008.00/3017.23	c #Conflicts:     290000 | #Constraints:      80607
3008.00/3017.23	c #Conflicts:     291000 | #Constraints:      81607
3008.00/3017.23	c #Conflicts:     292000 | #Constraints:      82607
3008.00/3017.23	c #Conflicts:     293000 | #Constraints:      83607
3008.00/3017.23	c #Conflicts:     294000 | #Constraints:      84607
3008.00/3017.23	c #Conflicts:     295000 | #Constraints:      85607
3008.00/3017.23	c #Conflicts:     296000 | #Constraints:      86607
3008.00/3017.23	c #Conflicts:     297000 | #Constraints:      87607
3008.00/3017.23	c #Conflicts:     298000 | #Constraints:      88607
3008.00/3017.23	c #Conflicts:     299000 | #Constraints:      89607
3008.00/3017.23	c INPROCESSING
3008.00/3017.23	c GARBAGE COLLECT
3008.00/3017.23	c #Conflicts:     300000 | #Constraints:      79801
3008.00/3017.23	c #Conflicts:     301000 | #Constraints:      80801
3008.00/3017.23	c #Conflicts:     302000 | #Constraints:      81801
3008.00/3017.23	c #Conflicts:     303000 | #Constraints:      82801
3008.00/3017.23	c #Conflicts:     304000 | #Constraints:      83801
3008.00/3017.23	c #Conflicts:     305000 | #Constraints:      84801
3008.00/3017.23	c #Conflicts:     306000 | #Constraints:      85801
3008.00/3017.23	c #Conflicts:     307000 | #Constraints:      86801
3008.00/3017.23	c #Conflicts:     308000 | #Constraints:      87801
3008.00/3017.23	c #Conflicts:     309000 | #Constraints:      88801
3008.00/3017.23	c #Conflicts:     310000 | #Constraints:      89801
3008.00/3017.23	c INPROCESSING
3008.00/3017.23	c GARBAGE COLLECT
3008.00/3017.23	c #Conflicts:     311000 | #Constraints:      79805
3008.00/3017.23	c #Conflicts:     312000 | #Constraints:      80805
3008.00/3017.23	c #Conflicts:     313000 | #Constraints:      81805
3008.00/3017.23	c #Conflicts:     314000 | #Constraints:      82805
3008.00/3017.23	c #Conflicts:     315000 | #Constraints:      83805
3008.00/3017.23	c #Conflicts:     316000 | #Constraints:      84805
3008.00/3017.23	c #Conflicts:     317000 | #Constraints:      85805
3008.00/3017.23	c #Conflicts:     318000 | #Constraints:      86805
3008.00/3017.23	c #Conflicts:     319000 | #Constraints:      87805
3008.00/3017.23	c #Conflicts:     320000 | #Constraints:      88805
3008.00/3017.23	c #Conflicts:     321000 | #Constraints:      89805
3008.00/3017.23	c INPROCESSING
3008.00/3017.23	c GARBAGE COLLECT
3008.00/3017.23	c #Conflicts:     322000 | #Constraints:      79607
3008.00/3017.23	c #Conflicts:     323000 | #Constraints:      80607
3008.00/3017.23	c #Conflicts:     324000 | #Constraints:      81607
3008.00/3017.23	c #Conflicts:     325000 | #Constraints:      82607
3008.00/3017.23	c #Conflicts:     326000 | #Constraints:      83607
3008.00/3017.23	c #Conflicts:     327000 | #Constraints:      84607
3008.00/3017.23	c #Conflicts:     328000 | #Constraints:      85607
3008.00/3017.23	c #Conflicts:     329000 | #Constraints:      86607
3008.00/3017.23	c #Conflicts:     330000 | #Constraints:      87607
3008.00/3017.23	c #Conflicts:     331000 | #Constraints:      88607
3008.00/3017.23	c #Conflicts:     332000 | #Constraints:      89607
3008.00/3017.23	c #Conflicts:     333000 | #Constraints:      90607
3008.00/3017.23	c INPROCESSING
3008.00/3017.23	c GARBAGE COLLECT
3008.00/3017.23	c #Conflicts:     334000 | #Constraints:      80212
3008.00/3017.23	c #Conflicts:     335000 | #Constraints:      81212
3008.00/3017.23	c #Conflicts:     336000 | #Constraints:      82212
3008.00/3017.23	c #Conflicts:     337000 | #Constraints:      83212
3008.00/3017.23	c #Conflicts:     338000 | #Constraints:      84212
3008.00/3017.23	c #Conflicts:     339000 | #Constraints:      85212
3008.00/3017.23	c #Conflicts:     340000 | #Constraints:      86212
3008.00/3017.23	c #Conflicts:     341000 | #Constraints:      87212
3008.00/3017.23	c #Conflicts:     342000 | #Constraints:      88212
3008.00/3017.23	c #Conflicts:     343000 | #Constraints:      89212
3008.00/3017.23	c #Conflicts:     344000 | #Constraints:      90212
3008.00/3017.23	c #Conflicts:     345000 | #Constraints:      91212
3008.00/3017.23	c INPROCESSING
3008.00/3017.23	c GARBAGE COLLECT
3008.00/3017.23	c #Conflicts:     346000 | #Constraints:      80614
3008.00/3017.23	c #Conflicts:     347000 | #Constraints:      81614
3008.00/3017.23	c #Conflicts:     348000 | #Constraints:      82614
3008.00/3017.23	c #Conflicts:     349000 | #Constraints:      83614
3008.00/3017.23	c #Conflicts:     350000 | #Constraints:      84614
3008.00/3017.23	c #Conflicts:     351000 | #Constraints:      85614
3008.00/3017.23	c #Conflicts:     352000 | #Constraints:      86614
3008.00/3017.23	c #Conflicts:     353000 | #Constraints:      87614
3008.00/3017.23	c #Conflicts:     354000 | #Constraints:      88614
3008.00/3017.23	c #Conflicts:     355000 | #Constraints:      89614
3600.09/3611.11	c #Conflicts:     356000 | #Constraints:      90614
3600.09/3611.11	c #Conflicts:     357000 | #Constraints:      91614
3600.09/3611.11	c INPROCESSING
3600.09/3611.11	c GARBAGE COLLECT
3600.09/3611.11	c #Conflicts:     358000 | #Constraints:      80801
3600.09/3611.11	c #Conflicts:     359000 | #Constraints:      81801
3600.09/3611.11	c #Conflicts:     360000 | #Constraints:      82801
3600.09/3611.11	c #Conflicts:     361000 | #Constraints:      83801
3600.09/3611.11	c #Conflicts:     362000 | #Constraints:      84801
3600.09/3611.11	c #Conflicts:     363000 | #Constraints:      85801
3600.09/3611.11	c #Conflicts:     364000 | #Constraints:      86801
3600.09/3611.11	c #Conflicts:     365000 | #Constraints:      87801
3600.09/3611.11	c #Conflicts:     366000 | #Constraints:      88801
3600.09/3611.11	c #Conflicts:     367000 | #Constraints:      89801
3600.09/3611.11	c #Conflicts:     368000 | #Constraints:      90801
3600.09/3611.11	c #Conflicts:     369000 | #Constraints:      91801
3600.09/3611.11	c INPROCESSING
3600.09/3611.11	c GARBAGE COLLECT
3600.09/3611.11	c #Conflicts:     370000 | #Constraints:      80805
3600.09/3611.11	c #Conflicts:     371000 | #Constraints:      81805
3600.09/3611.11	c #Conflicts:     372000 | #Constraints:      82805
3600.09/3611.11	c #Conflicts:     373000 | #Constraints:      83805
3600.09/3611.11	c #Conflicts:     374000 | #Constraints:      84805
3600.09/3611.11	c #Conflicts:     375000 | #Constraints:      85805
3600.09/3611.11	c #Conflicts:     376000 | #Constraints:      86805
3600.09/3611.11	c #Conflicts:     377000 | #Constraints:      87805
3600.09/3611.11	c #Conflicts:     378000 | #Constraints:      88805
3600.09/3611.11	c #Conflicts:     379000 | #Constraints:      89805
3600.09/3611.11	c #Conflicts:     380000 | #Constraints:      90805
3600.09/3611.11	c #Conflicts:     381000 | #Constraints:      91805
3600.09/3611.11	c INPROCESSING
3600.09/3611.11	c GARBAGE COLLECT
3600.09/3611.11	c #Conflicts:     382000 | #Constraints:      80608
3600.09/3611.11	c #Conflicts:     383000 | #Constraints:      81608
3600.09/3611.11	c #Conflicts:     384000 | #Constraints:      82608
3600.09/3611.11	c #Conflicts:     385000 | #Constraints:      83608
3600.09/3611.11	c #Conflicts:     386000 | #Constraints:      84608
3600.09/3611.11	c #Conflicts:     387000 | #Constraints:      85608
3600.09/3611.11	c #Conflicts:     388000 | #Constraints:      86608
3600.09/3611.11	c #Conflicts:     389000 | #Constraints:      87608
3600.09/3611.11	c #Conflicts:     390000 | #Constraints:      88608
3600.09/3611.11	c #Conflicts:     391000 | #Constraints:      89608
3600.09/3611.11	c #Conflicts:     392000 | #Constraints:      90608
3600.09/3611.11	c #Conflicts:     393000 | #Constraints:      91608
3600.09/3611.11	c #Conflicts:     394000 | #Constraints:      92608
3600.09/3611.11	c INPROCESSING
3600.09/3611.11	c GARBAGE COLLECT
3600.09/3611.11	c #Conflicts:     395000 | #Constraints:      81204
3600.09/3611.11	c #Conflicts:     396000 | #Constraints:      82204
3600.09/3611.11	c #Conflicts:     397000 | #Constraints:      83204
3600.09/3611.11	c #Conflicts:     398000 | #Constraints:      84204
3600.09/3611.11	c #Conflicts:     399000 | #Constraints:      85204
3600.09/3611.11	c #Conflicts:     400000 | #Constraints:      86204
3600.09/3611.11	c #Conflicts:     401000 | #Constraints:      87204
3600.09/3611.11	c #Conflicts:     402000 | #Constraints:      88204
3600.09/3611.11	c #Conflicts:     403000 | #Constraints:      89204
3600.09/3611.11	c #Conflicts:     404000 | #Constraints:      90204
3600.09/3611.11	c #Conflicts:     405000 | #Constraints:      91204
3600.09/3611.11	c #Conflicts:     406000 | #Constraints:      92204
3600.09/3611.11	c #Conflicts:     407000 | #Constraints:      93204
3600.09/3611.11	c INPROCESSING
3600.09/3611.11	c GARBAGE COLLECT
3600.09/3611.11	c #Conflicts:     408000 | #Constraints:      81598
3600.09/3611.11	c #Conflicts:     409000 | #Constraints:      82598
3600.09/3611.11	c #Conflicts:     410000 | #Constraints:      83598
3600.09/3611.11	c #Conflicts:     411000 | #Constraints:      84598
3600.09/3611.11	c #Conflicts:     412000 | #Constraints:      85598
3600.09/3611.11	c #Conflicts:     413000 | #Constraints:      86598
3600.09/3611.11	c #Conflicts:     414000 | #Constraints:      87598
3600.09/3611.11	c #Conflicts:     415000 | #Constraints:      88598
3600.09/3611.11	c #Conflicts:     416000 | #Constraints:      89598
3600.09/3611.11	c #Conflicts:     417000 | #Constraints:      90598
3600.09/3611.11	c cpu time 3552.9 s
3600.09/3611.11	c deterministic time 1 1.00e+00
3600.09/3611.11	c optimization time 3550.52 s
3600.09/3611.11	c total solve time 0 s
3600.09/3611.11	c core-guided solve time 0 s
3600.09/3611.11	c propagation time 0.052377 s
3600.09/3611.11	c conflict analysis time 0 s
3600.09/3611.11	c propagations 0
3600.09/3611.11	c resolve steps 0
3600.09/3611.11	c decisions 0
3600.09/3611.11	c conflicts 0
3600.09/3611.11	c restarts 0
3600.09/3611.11	c inprocessing phases 0
3600.09/3611.11	c garbage collections 0 ,( -nan )
3600.09/3611.11	c input clauses 65280 ,( 100.00 )
3600.09/3611.11	c input cardinalities 0 ,( 0.00 )
3600.09/3611.11	c input general constraints 0 ,( 0.00 )
3600.09/3611.11	c input average constraint length 82.32
3600.09/3611.11	c input average constraint degree 1.00
3600.09/3611.11	c learned clauses 0 ,( 0.00 )
3600.09/3611.11	c learned cardinalities 0 ,( 0.00 )
3600.09/3611.11	c learned general constraints 0 ,( 0.00 )
3600.09/3611.11	c learned average constraint length 0.00
3600.09/3611.11	c learned average constraint degree 0.00
3600.09/3611.11	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.11	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3611.11	c watched   constraints 0 ,( -nan ) 
3600.09/3611.11	c counting  constraints 0 ,( -nan ) 
3600.09/3611.11	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3611.11	c gcd simplifications 0
3600.09/3611.11	c detected cardinalities 0
3600.09/3611.11	c weakened non-implied lits 0
3600.09/3611.11	c weakened non-implying lits 0
3600.09/3611.11	c original variables 15008
3600.09/3611.11	c clausal propagations 0
3600.09/3611.11	c cardinality propagations 0
3600.09/3611.11	c watched propagations 0
3600.09/3611.11	c counting propagations 0
3600.09/3611.11	c watch lookups 0
3600.09/3611.11	c watch backjump lookups 0
3600.09/3611.11	c watch checks 0
3600.09/3611.11	c propagation checks 0
3600.09/3611.11	c constraint additions 0
3600.09/3611.11	c trail pops 0
3600.09/3611.11	c formula constraints 65280
3600.09/3611.11	c learned constraints 0
3600.09/3611.11	c bound constraints 0
3600.09/3611.11	c core-guided constraints 0
3600.09/3611.11	c encountered formula constraints 0
3600.09/3611.11	c encountered learned constraints 0
3600.09/3611.11	c encountered bound constraints 0
3600.09/3611.11	c encountered core-guided constraints 0
3600.09/3611.11	c LP total time 0 s
3600.09/3611.11	c LP solve time 0 s
3600.09/3611.11	c LP constraints added 0
3600.09/3611.11	c LP constraints removed 0
3600.09/3611.11	c LP pivots internal 0
3600.09/3611.11	c LP pivots root 0
3600.09/3611.11	c LP calls 0
3600.09/3611.11	c LP optimalities 0
3600.09/3611.11	c LP no pivot count 0
3600.09/3611.11	c LP infeasibilities 0
3600.09/3611.11	c LP valid Farkas constraints 0
3600.09/3611.11	c LP learned Farkas constraints 0
3600.09/3611.11	c LP basis resets 0
3600.09/3611.11	c LP cycling count 0
3600.09/3611.11	c LP singular count 0
3600.09/3611.11	c LP no primal count 0
3600.09/3611.11	c LP no farkas count 0
3600.09/3611.11	c LP other issue count 0
3600.09/3611.11	c LP Gomory cuts 0
3600.09/3611.11	c LP learned cuts 0
3600.09/3611.11	c LP deleted cuts 0
3600.09/3611.11	c LP encountered Gomory constraints 0
3600.09/3611.11	c LP encountered Farkas constraints 0
3600.09/3611.11	c LP encountered learned Farkas constraints 0
3600.09/3611.11	c CG auxiliary variables introduced 0
3600.09/3611.11	c CG solutions found 0
3600.09/3611.11	c CG cores constructed 0
3600.09/3611.11	c CG core cardinality constraints returned 0
3600.09/3611.11	c CG unit cores 0
3600.09/3611.11	c CG single cores 0
3600.09/3611.11	c CG blocks removed during cardinality reduction 0
3600.09/3611.11	c CG first core best 0
3600.09/3611.11	c CG decision core best 0
3600.09/3611.11	c CG core reduction tie 0
3600.09/3611.11	c CG core degree average 0.00
3600.09/3611.11	c CG core slack average 0.00
3600.09/3611.11	c CG core upper bound improvements 0
3600.09/3611.11	c STR number of successful calls 0
3600.09/3611.11	c STR number of unsuccessful calls 0
3600.09/3611.11	c STR number of inconclusive calls 0
3600.09/3611.11	c STR number of successful attempts 0
3600.09/3611.11	c STR number of unsuccessful attempts 0
3600.09/3611.11	c STR number of inconclusive attempts 0
3600.09/3611.11	c STR average degree increase per successful call inf
3600.09/3611.11	c STR average degree increase per successful attempt inf
3600.09/3611.11	c STR total number of conflicts for successful attempts 0
3600.09/3611.11	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.11	c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.11	c STR average number of conflicts per successful attempt inf
3600.09/3611.11	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.11	c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.11	c AVG.sumWPerc -nan 
3600.09/3611.11	c bigint constraints 0 
3600.09/3611.11	s UNKNOWN
3600.09/3611.11	c Program interrupted by user.

ERROR: no interpretation found !

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: 63837 MiB (61660 MiB free)
  memory of node 1: 64465 MiB (63107 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100075 s]*
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127733784/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=58060 memory=13332 CPUtime=0.07 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1582 0 0 0 6 1 0 0 20 0 1 0 59709238 59453440 3333 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 14515 3333 1952 1147 0 1942 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62252 KiB
Current children cumulated memory: 16276 KiB

[startup+0.213938 s]*
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127717656/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=58060 memory=13332 CPUtime=0.18 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1588 0 0 0 16 2 0 0 20 0 1 0 59709238 59453440 3333 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 14515 3333 1952 1147 0 1942 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62252 KiB
Current children cumulated memory: 16276 KiB

[startup+0.313838 s]*
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127693212/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=58216 memory=13332 CPUtime=0.28 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1617 0 0 0 25 3 0 0 20 0 1 0 59709238 59613184 3333 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 14554 3333 1952 1147 0 1981 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62408 KiB
Current children cumulated memory: 16276 KiB

[startup+0.700437 s]
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127643320/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=58524 memory=15252 CPUtime=0.65 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 2097 0 0 0 61 4 0 0 20 0 1 0 59709238 59928576 3813 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 14631 3813 1952 1147 0 2058 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 62716 KiB
Current children cumulated memory: 18196 KiB

[startup+1.50041 s]
/proc/loadavg: 3.48 4.15 4.12 6/250 60361
/proc/meminfo: memFree=127504720/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=66824 memory=24004 CPUtime=1.45 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 3796 0 0 0 137 8 0 0 20 0 1 0 59709238 68427776 6001 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 16706 6001 1952 1147 0 4133 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 71016 KiB
Current children cumulated memory: 26948 KiB

[startup+3.11267 s]
/proc/loadavg: 3.52 4.15 4.12 5/249 60363
/proc/meminfo: memFree=126615272/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=342864 memory=289360 CPUtime=3.05 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 52161 0 0 0 280 25 0 0 20 0 1 0 59709238 351092736 72340 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 85716 72340 2368 1147 0 73143 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 347056 KiB
Current children cumulated memory: 292304 KiB

[startup+6.30036 s]
/proc/loadavg: 3.52 4.15 4.12 6/255 60374
/proc/meminfo: memFree=126210664/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=489188 memory=424692 CPUtime=6.24 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 77320 0 0 0 518 106 0 0 20 0 1 0 59709238 500928512 106173 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 122297 106173 2400 1147 0 109724 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 493380 KiB
Current children cumulated memory: 427636 KiB

[startup+12.7004 s]
/proc/loadavg: 3.56 4.15 4.12 6/255 60374
/proc/meminfo: memFree=125619112/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=752496 memory=623780 CPUtime=12.62 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 111259 0 0 0 1013 249 0 0 20 0 1 0 59709238 770555904 155945 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 188124 155945 2400 1147 0 175551 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 756688 KiB
Current children cumulated memory: 626724 KiB

[startup+25.5004 s]
/proc/loadavg: 3.66 4.14 4.12 6/255 60374
/proc/meminfo: memFree=122877976/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=1149368 memory=961836 CPUtime=25.38 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 174286 0 0 0 2085 453 0 0 20 0 1 0 59709238 1176952832 240459 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 287342 240459 2400 1147 0 274769 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1153560 KiB
Current children cumulated memory: 964780 KiB

[startup+51.1133 s]
/proc/loadavg: 3.96 4.17 4.13 6/255 60374
/proc/meminfo: memFree=120085624/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=1904216 memory=1526024 CPUtime=50.92 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 281616 0 0 0 4292 800 0 0 20 0 1 0 59709238 1949917184 381506 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 476054 381506 2400 1147 0 463481 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1908408 KiB
Current children cumulated memory: 1528968 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.18 4.13 6/255 60376
/proc/meminfo: memFree=114117252/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=2874460 memory=2384056 CPUtime=101.95 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 452716 0 0 0 9205 990 0 0 20 0 1 0 59709238 2943447040 596014 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 718615 596014 2400 1147 0 706042 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2878652 KiB
Current children cumulated memory: 2387000 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.13 6/255 60378
/proc/meminfo: memFree=112467792/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=3334188 memory=2776312 CPUtime=161.78 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 513092 0 0 0 15065 1113 0 0 20 0 1 0 59709238 3414208512 694078 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 833547 694078 2400 1147 0 820974 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 3338380 KiB
Current children cumulated memory: 2779256 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.12 6/255 60380
/proc/meminfo: memFree=109486236/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=3339512 memory=2955536 CPUtime=221.59 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 538583 0 0 0 20927 1232 0 0 20 0 1 0 59709238 3419660288 738884 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 834878 738884 2400 1147 0 822305 0
Current children cumulated CPU time: 221.59 s

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


[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.11 6/253 60528
/proc/meminfo: memFree=81627900/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=10816928 memory=9235780 CPUtime=3212.47 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1751837 0 0 0 316860 4387 0 0 20 0 1 0 59709238 11076534272 2308945 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 2704232 2308945 2400 1147 0 2691659 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 10821120 KiB
Current children cumulated memory: 9238724 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.11 6/253 60530
/proc/meminfo: memFree=81444856/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=10835876 memory=9331072 CPUtime=3272.29 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1766693 0 0 0 322780 4449 0 0 20 0 1 0 59709238 11095937024 2332768 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 2708969 2332768 2400 1147 0 2696396 0
Current children cumulated CPU time: 3272.29 s
Current children cumulated vsize: 10840068 KiB
Current children cumulated memory: 9334016 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.11 6/254 60535
/proc/meminfo: memFree=81407036/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=10835876 memory=9331072 CPUtime=3332.11 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1767218 0 0 0 328713 4498 0 0 20 0 1 0 59709238 11095937024 2332768 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 2708969 2332768 2400 1147 0 2696396 0
Current children cumulated CPU time: 3332.11 s
Current children cumulated vsize: 10840068 KiB
Current children cumulated memory: 9334016 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.10 6/254 60537
/proc/meminfo: memFree=81249080/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=10837412 memory=9395680 CPUtime=3391.91 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1776171 0 0 0 334644 4547 0 0 20 0 1 0 59709238 11097509888 2348920 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 2709353 2348920 2400 1147 0 2696780 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 10841604 KiB
Current children cumulated memory: 9398624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.10 6/254 60543
/proc/meminfo: memFree=81229904/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=10837412 memory=9395680 CPUtime=3451.73 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1776918 0 0 0 340561 4612 0 0 20 0 1 0 59709238 11097509888 2348920 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 2709353 2348920 2400 1147 0 2696780 0
Current children cumulated CPU time: 3451.73 s
Current children cumulated vsize: 10841604 KiB
Current children cumulated memory: 9398624 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.10 6/255 60547
/proc/meminfo: memFree=81016732/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=10841352 memory=9435600 CPUtime=3511.55 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1783709 0 0 0 346501 4654 0 0 20 0 1 0 59709238 11101544448 2358900 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 2710338 2358900 2400 1147 0 2697765 0
Current children cumulated CPU time: 3511.55 s
Current children cumulated vsize: 10845544 KiB
Current children cumulated memory: 9438544 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/255 60549
/proc/meminfo: memFree=80246340/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=10841352 memory=9435600 CPUtime=3571.37 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1784236 0 0 0 352429 4708 0 0 20 0 1 0 59709238 11101544448 2358900 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 2710338 2358900 2400 1147 0 2697765 0
Current children cumulated CPU time: 3571.37 s
Current children cumulated vsize: 10845544 KiB
Current children cumulated memory: 9438544 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.16 4.12 4.10 3/248 60566
/proc/meminfo: memFree=92088320/131382120 swapFree=33010684/33010684
[pid=60358] ppid=60351 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/60358/stat : 60358 (run-opt.sh) S 60351 60358 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709237 4292608 736 18446744073709551615 94781086199808 94781087094341 140730449737904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94781087333392 94781087381136 94781101920256 140730449746285 140730449746408 140730449746408 140730449752010 0
/proc/60358/statm: 1048 736 672 219 0 110 0
[pid=60361] ppid=60358 vsize=10841352 memory=9435600 CPUtime=3600.09 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60358 60358 60299 0 -1 4194304 1784366 0 0 0 355289 4720 0 0 20 0 1 0 59709238 11101544448 2358900 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 2710338 2358900 2400 1147 0 2697765 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 10845544 KiB
Current children cumulated memory: 9438544 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.12 s]
# the end of solver process 60358 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001471 s, system=0.002946 s

[startup+3611.54 s]
# the end of solver process 60361 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3552.92 s, system=47.6017 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.2 s]*
/proc/loadavg: 4.16 4.12 4.10 3/245 60567
/proc/meminfo: memFree=93820064/131382120 swapFree=33010684/33010684
[pid=60361] ppid=60351 vsize=8988368 memory=7445368 CPUtime=3600.19 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60351 60358 60299 0 -1 4194304 1784371 0 0 0 355290 4729 0 0 20 0 1 0 59709238 9204088832 1861342 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 2247092 1861342 2464 1147 0 2234519 0
Current cumulated CPU time of completed processes: 0.004417 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 8988368 KiB
Current children cumulated memory: 7445368 KiB

[startup+3611.4 s]
/proc/loadavg: 4.16 4.12 4.10 3/245 60567
/proc/meminfo: memFree=93820064/131382120 swapFree=33010684/33010684
[pid=60361] ppid=60351 vsize=4694400 memory=3990376 CPUtime=3600.38 cores=4,6
/proc/60361/stat : 60361 (roundingsat) R 60351 60358 60299 0 -1 4194304 1784371 0 0 0 355291 4747 0 0 20 0 1 0 59709238 4807065600 999130 18446744073709551615 4227072 8923433 140722471980432 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20480000 140722471983522 140722471983656 140722471983656 140722471989226 0
/proc/60361/statm: 1173600 998106 2464 1147 0 1161027 0
Current cumulated CPU time of completed processes: 0.004417 s
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 4694400 KiB
Current children cumulated memory: 3990376 KiB

[startup+3611.5 s]*
/proc/loadavg: 4.16 4.12 4.10 3/245 60567
/proc/meminfo: memFree=100937416/131382120 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.004417 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.54
CPU time (s): 3600.53
CPU user time (s): 3552.92
CPU system time (s): 47.6017
CPU usage (%): 99.6951
Max. virtual memory (cumulated for all children) (KiB): 10845544
Max. memory (cumulated for all children) (KiB): 9438544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.92
system time used= 47.6017
maximum resident set size= 9435856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1784607
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= 156
involuntary context switches= 3595


# summary of solver processes directly reported to runsolver:
#   pid: 60358,60361
#   total CPU time (s): 3600.53
#   total CPU user time (s): 3552.92
#   total CPU system time (s): 47.6017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9034 second user time and 37.3168 second system time

The end

Begin job on nodeC003 at 2025-07-02 09:11:46
IDJOB=4503060
IDBENCH=155404
IDSOLVER=3350
FILE ID=nodeC003/4503060-1751440305
RUNJOBID= nodeC003-1751440305-60310
SLURM_JOB_ID= 9598398
Free space on /tmp= 431772 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_11_shg.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503060-1751440305/watcher-4503060-1751440305 -o /tmp/evaluation-result-4503060-1751440305/solver-4503060-1751440305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751440305-60310 --watchdog 3760  run-opt.sh HOME/instance-4503060-1751440305.opb

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

MD5SUM BENCH= 1fbef458f61b2221fcf0474a376c4852
RANDOM SEED=1719328969

nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.463
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.166
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.736
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.847
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.727
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.168
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.304
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.728
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127779552 kB
MemAvailable:   129885464 kB
Buffers:            3280 kB
Cached:          2904848 kB
SwapCached:            0 kB
Active:           338868 kB
Inactive:        2651328 kB
Active(anon):     100040 kB
Inactive(anon):        0 kB
Active(file):     238828 kB
Inactive(file):  2651328 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            256760 kB
Writeback:             4 kB
AnonPages:         85584 kB
Mapped:           107664 kB
Shmem:             17960 kB
KReclaimable:     110764 kB
Slab:             195888 kB
SReclaimable:     110764 kB
SUnreclaim:        85124 kB
KernelStack:        3936 kB
PageTables:         3044 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     372020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431304 MiB
End job on nodeC003 at 2025-07-02 10:11:57