0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.39/0.47	c #variables 7905 #constraints 32177
0.39/0.47	c objective is ce64 
0.39/0.50	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.39/0.50	c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.39/0.50	c GLOBAL bounds - >= 0 @ 0.403606
0.50/0.53	c GLOBAL bounds - >= 0 @ 0.416672
0.50/0.53	c GLOBAL bounds - >= 7136715 @ 0.416871
0.77/0.82	c GLOBAL bounds - >= 7136715 @ 0.690139
0.77/0.84	c GLOBAL bounds - >= 7136715 @ 0.696503
0.77/0.84	c GLOBAL bounds - >= 7136715 @ 0.697152
0.77/0.86	c GLOBAL bounds - >= 7136715 @ 0.704269
0.77/0.86	c GLOBAL bounds - >= 7136715 @ 0.704555
0.77/0.87	c GLOBAL bounds - >= 7136715 @ 0.710797
0.77/0.87	c GLOBAL bounds - >= 7136715 @ 0.711221
0.77/0.89	c GLOBAL bounds - >= 7136715 @ 0.720277
0.77/0.89	c GLOBAL bounds - >= 7136715 @ 0.720496
0.87/0.91	c GLOBAL bounds - >= 7136715 @ 0.725509
0.87/0.91	c GLOBAL bounds - >= 7136715 @ 0.726406
0.87/0.93	c GLOBAL bounds - >= 7136715 @ 0.734283
0.87/0.93	c GLOBAL bounds - >= 7136715 @ 0.73527
0.87/0.94	c GLOBAL bounds - >= 7136715 @ 0.744129
0.87/0.95	c GLOBAL bounds - >= 7136715 @ 0.744408
0.87/0.96	c GLOBAL bounds - >= 7136715 @ 0.753701
0.87/0.96	c GLOBAL bounds - >= 7136715 @ 0.754903
0.87/0.98	c GLOBAL bounds - >= 7136715 @ 0.763803
0.87/0.98	c GLOBAL bounds - >= 7136715 @ 0.765325
0.87/1.00	c GLOBAL bounds - >= 7136715 @ 0.772637
0.98/1.02	c GLOBAL bounds - >= 7136715 @ 0.782095
0.98/1.03	c GLOBAL bounds - >= 7136715 @ 0.788557
0.98/1.05	c GLOBAL bounds - >= 7136715 @ 0.793056
0.98/1.06	c GLOBAL bounds - >= 7136715 @ 0.799871
0.98/1.06	c GLOBAL bounds - >= 13509663381 @ 0.799965
0.98/1.06	c GLOBAL bounds - >= 13509663381 @ 0.801831
0.98/1.07	c GLOBAL bounds - >= 13509663381 @ 0.802159
0.98/1.07	c GLOBAL bounds - >= 13509663381 @ 0.804116
0.98/1.08	c GLOBAL bounds - >= 13509663381 @ 0.810708
0.98/1.08	c GLOBAL bounds - >= 13509663381 @ 0.811134
0.98/1.09	c GLOBAL bounds - >= 13509663381 @ 0.815458
0.98/1.10	c GLOBAL bounds - >= 13509663381 @ 0.816573
0.98/1.11	c GLOBAL bounds - >= 13509663381 @ 0.827089
0.98/1.11	c GLOBAL bounds - >= 13509663381 @ 0.82788
1.08/1.12	c GLOBAL bounds - >= 13509663381 @ 0.832413
1.08/1.12	c GLOBAL bounds - >= 13509663381 @ 0.833116
1.08/1.13	c GLOBAL bounds - >= 13509663381 @ 0.838726
1.08/1.14	c GLOBAL bounds - >= 13509663381 @ 0.839049
1.08/1.15	c GLOBAL bounds - >= 13509663381 @ 0.844785
1.08/1.15	c GLOBAL bounds - >= 13509663381 @ 0.845032
1.08/1.16	c GLOBAL bounds - >= 13509663381 @ 0.852003
1.08/1.16	c GLOBAL bounds - >= 13509663381 @ 0.852762
1.08/1.17	c GLOBAL bounds - >= 13509663381 @ 0.856366
1.08/1.17	c GLOBAL bounds - >= 13509663381 @ 0.857087
1.08/1.19	c GLOBAL bounds - >= 13509663381 @ 0.862602
1.08/1.19	c GLOBAL bounds - >= 13509663381 @ 0.862977
1.16/1.20	c GLOBAL bounds - >= 13509663381 @ 0.867905
1.16/1.21	c GLOBAL bounds - >= 13509663381 @ 0.872384
1.16/1.21	c GLOBAL bounds - >= 13545346593 @ 0.872464
1.16/1.22	c GLOBAL bounds - >= 13545346593 @ 0.877831
1.16/1.23	c GLOBAL bounds - >= 13545346593 @ 0.884437
1.16/1.23	c GLOBAL bounds - >= 13545346593 @ 0.884888
1.16/1.24	c GLOBAL bounds - >= 13545346593 @ 0.888817
1.16/1.24	c GLOBAL bounds - >= 13545346593 @ 0.888817
1.16/1.26	c GLOBAL bounds - >= 13545346593 @ 0.897097
1.16/1.26	c GLOBAL bounds - >= 13545346593 @ 0.89783
1.16/1.27	c GLOBAL bounds - >= 13545346593 @ 0.9045
1.16/1.27	c GLOBAL bounds - >= 13545346593 @ 0.904833
1.16/1.28	c GLOBAL bounds - >= 13545346593 @ 0.908879
1.16/1.28	c GLOBAL bounds - >= 13545346593 @ 0.909682
1.27/1.30	c GLOBAL bounds - >= 13545346593 @ 0.917381
1.27/1.30	c GLOBAL bounds - >= 13545346593 @ 0.917799
1.27/1.31	c GLOBAL bounds - >= 13545346593 @ 0.923514
1.27/1.31	c GLOBAL bounds - >= 13545346593 @ 0.92378
1.27/1.32	c GLOBAL bounds - >= 13545346593 @ 0.928152
1.27/1.32	c GLOBAL bounds - >= 13545346593 @ 0.928756
1.27/1.34	c GLOBAL bounds - >= 13545346593 @ 0.935422
1.27/1.34	c GLOBAL bounds - >= 13545346593 @ 0.936143
1.27/1.35	c GLOBAL bounds - >= 13545346593 @ 0.938701
1.27/1.35	c GLOBAL bounds - >= 13581029803 @ 0.938807
1.27/1.36	c GLOBAL bounds - >= 13581029803 @ 0.944918
1.27/1.37	c GLOBAL bounds - >= 13581029803 @ 0.951604
1.27/1.37	c GLOBAL bounds - >= 13581029803 @ 0.952623
1.27/1.38	c GLOBAL bounds - >= 13581029803 @ 0.957324
1.27/1.38	c GLOBAL bounds - >= 13581029803 @ 0.957681
1.36/1.40	c GLOBAL bounds - >= 13581029803 @ 0.96275
1.36/1.40	c GLOBAL bounds - >= 13581029803 @ 0.963756
1.36/1.41	c GLOBAL bounds - >= 13581029803 @ 0.973346
1.36/1.41	c GLOBAL bounds - >= 13581029803 @ 0.974335
1.36/1.42	c GLOBAL bounds - >= 13581029803 @ 0.981117
1.36/1.43	c GLOBAL bounds - >= 13581029803 @ 0.98162
1.36/1.44	c GLOBAL bounds - >= 13581029803 @ 0.985566
1.36/1.44	c GLOBAL bounds - >= 13581029803 @ 0.986604
1.36/1.45	c GLOBAL bounds - >= 13581029803 @ 0.991375
1.36/1.45	c GLOBAL bounds - >= 13581029803 @ 0.99159
1.36/1.46	c GLOBAL bounds - >= 13581029803 @ 0.99874
1.36/1.47	c GLOBAL bounds - >= 13581029803 @ 0.99957
1.36/1.48	c GLOBAL bounds - >= 13581029803 @ 1.00581
1.36/1.48	c GLOBAL bounds - >= 13581029803 @ 1.0067
1.36/1.49	c GLOBAL bounds - >= 13581029803 @ 1.01234
1.46/1.50	c GLOBAL bounds - >= 13613144693 @ 1.01449
1.46/1.50	c GLOBAL bounds - >= 13613144693 @ 1.01974
1.46/1.52	c GLOBAL bounds - >= 13613144693 @ 1.02552
1.46/1.52	c GLOBAL bounds - >= 13613144693 @ 1.02749
1.46/1.53	c GLOBAL bounds - >= 13613144693 @ 1.03229
1.46/1.53	c GLOBAL bounds - >= 13613144693 @ 1.03248
1.46/1.54	c GLOBAL bounds - >= 13613144693 @ 1.03627
1.46/1.55	c GLOBAL bounds - >= 13613144693 @ 1.03647
1.46/1.56	c GLOBAL bounds - >= 13613144693 @ 1.04142
1.46/1.56	c GLOBAL bounds - >= 13613144693 @ 1.04142
1.46/1.57	c GLOBAL bounds - >= 13613144693 @ 1.04715
1.46/1.57	c GLOBAL bounds - >= 13613144693 @ 1.04816
1.46/1.58	c GLOBAL bounds - >= 13613144693 @ 1.05121
1.46/1.58	c GLOBAL bounds - >= 13613144693 @ 1.05242
1.46/1.59	c GLOBAL bounds - >= 13613144693 @ 1.0582
1.46/1.59	c GLOBAL bounds - >= 13613144693 @ 1.05993
1.57/1.60	c GLOBAL bounds - >= 13613144693 @ 1.06411
1.57/1.61	c GLOBAL bounds - >= 13613144693 @ 1.06439
1.57/1.62	c GLOBAL bounds - >= 13613144693 @ 1.06994
1.57/1.62	c GLOBAL bounds - >= 13613144693 @ 1.07147
1.57/1.63	c GLOBAL bounds - >= 13613144693 @ 1.07549
1.57/1.63	c GLOBAL bounds - >= 13613144693 @ 1.07836
1.57/1.64	c GLOBAL bounds - >= 13616713022 @ 1.08322
1.57/1.65	c GLOBAL bounds - >= 13616713022 @ 1.08738
1.57/1.65	c GLOBAL bounds - >= 13616713022 @ 1.08865
1.57/1.66	c GLOBAL bounds - >= 13616713022 @ 1.08933
1.57/1.67	c GLOBAL bounds - >= 13616713022 @ 1.09376
1.57/1.67	c GLOBAL bounds - >= 13616713022 @ 1.09524
1.57/1.68	c GLOBAL bounds - >= 13616713022 @ 1.10026
1.57/1.68	c GLOBAL bounds - >= 13616713022 @ 1.1003
1.57/1.69	c GLOBAL bounds - >= 13616713022 @ 1.10206
1.57/1.69	c GLOBAL bounds - >= 13616713022 @ 1.1027
1.66/1.70	c GLOBAL bounds - >= 13616713022 @ 1.10788
1.66/1.70	c GLOBAL bounds - >= 13616713022 @ 1.10828
1.66/1.71	c GLOBAL bounds - >= 13616713022 @ 1.11385
1.66/1.72	c GLOBAL bounds - >= 13616713022 @ 1.11427
1.66/1.73	c GLOBAL bounds - >= 13616713022 @ 1.11795
1.66/1.73	c GLOBAL bounds - >= 13616713022 @ 1.11825
1.66/1.74	c GLOBAL bounds - >= 13616713022 @ 1.1221
1.66/1.74	c GLOBAL bounds - >= 13616713022 @ 1.12225
1.66/1.75	c GLOBAL bounds - >= 13616713022 @ 1.12621
1.66/1.75	c GLOBAL bounds - >= 13616713022 @ 1.12739
1.66/1.76	c GLOBAL bounds - >= 13616713022 @ 1.13325
1.66/1.77	c GLOBAL bounds - >= 13616713022 @ 1.13521
1.66/1.78	c GLOBAL bounds - >= 13616713031 @ 1.14317
1.66/1.78	c GLOBAL bounds - >= 13616713031 @ 1.14718
1.66/1.79	c GLOBAL bounds - >= 13616713031 @ 1.14718
1.66/1.80	c GLOBAL bounds - >= 13616713031 @ 1.15303
1.76/1.80	c GLOBAL bounds - >= 13616713031 @ 1.15421
1.76/1.81	c GLOBAL bounds - >= 13616713031 @ 1.16056
1.76/1.81	c GLOBAL bounds - >= 13616713031 @ 1.16115
1.76/1.82	c GLOBAL bounds - >= 13616713031 @ 1.16646
1.76/1.82	c GLOBAL bounds - >= 13616713031 @ 1.16813
1.76/1.83	c GLOBAL bounds - >= 13616713031 @ 1.1738
1.76/1.83	c GLOBAL bounds - >= 13616713031 @ 1.17412
1.76/1.84	c GLOBAL bounds - >= 13616713031 @ 1.17991
1.76/1.85	c GLOBAL bounds - >= 13616713031 @ 1.18101
1.76/1.86	c GLOBAL bounds - >= 13616713031 @ 1.18408
1.76/1.86	c GLOBAL bounds - >= 13616713031 @ 1.18526
1.76/1.87	c GLOBAL bounds - >= 13616713031 @ 1.19128
1.76/1.87	c GLOBAL bounds - >= 13616713031 @ 1.19208
1.76/1.88	c GLOBAL bounds - >= 13616713031 @ 1.19454
1.76/1.88	c GLOBAL bounds - >= 13616713031 @ 1.19511
1.76/1.89	c GLOBAL bounds - >= 13616713031 @ 1.19906
1.76/1.89	c GLOBAL bounds - >= 13616713031 @ 1.19906
1.87/1.90	c GLOBAL bounds - >= 13616713031 @ 1.2008
1.87/1.91	c GLOBAL bounds - >= 13616713031 @ 1.20404
1.87/1.92	c GLOBAL bounds - >= 13616713031 @ 1.20568
1.87/1.92	c GLOBAL bounds - >= 13616713031 @ 1.21003
1.87/1.93	c GLOBAL bounds - >= 13616713031 @ 1.21405
1.87/1.93	c GLOBAL bounds - >= 13616713031 @ 1.2185
1.87/1.94	c GLOBAL bounds - >= 13616713037 @ 1.22723
1.87/1.95	c GLOBAL bounds - >= 13616713037 @ 1.23098
1.87/1.95	c GLOBAL bounds - >= 13616713037 @ 1.23488
1.87/1.96	c GLOBAL bounds - >= 13616713037 @ 1.23537
1.87/1.96	c GLOBAL bounds - >= 13616713037 @ 1.24054
1.87/1.97	c GLOBAL bounds - >= 13616713037 @ 1.24096
1.87/1.97	c GLOBAL bounds - >= 13616713037 @ 1.24395
1.87/1.98	c GLOBAL bounds - >= 13616713037 @ 1.24515
1.87/1.98	c GLOBAL bounds - >= 13616713037 @ 1.24794
1.87/1.99	c GLOBAL bounds - >= 13616713037 @ 1.24832
1.87/2.00	c GLOBAL bounds - >= 13616713037 @ 1.25293
1.87/2.00	c GLOBAL bounds - >= 13616713037 @ 1.25392
1.87/2.01	c GLOBAL bounds - >= 13616713037 @ 1.25771
1.98/2.01	c GLOBAL bounds - >= 13616713037 @ 1.25997
1.98/2.02	c GLOBAL bounds - >= 13616713037 @ 1.26437
1.98/2.02	c GLOBAL bounds - >= 13616713037 @ 1.26562
1.98/2.03	c GLOBAL bounds - >= 13616713037 @ 1.27039
1.98/2.03	c GLOBAL bounds - >= 13616713037 @ 1.27123
1.98/2.04	c GLOBAL bounds - >= 13616713037 @ 1.27568
1.98/2.04	c GLOBAL bounds - >= 13616713037 @ 1.27684
1.98/2.05	c GLOBAL bounds - >= 13616713037 @ 1.27882
1.98/2.06	c GLOBAL bounds - >= 13616713037 @ 1.27983
1.98/2.07	c GLOBAL bounds - >= 13616713046 @ 1.29404
1.98/2.08	c GLOBAL bounds - >= 13616713046 @ 1.29877
1.98/2.09	c GLOBAL bounds - >= 13616713046 @ 1.30177
1.98/2.09	c GLOBAL bounds - >= 13616713046 @ 1.30192
1.98/2.10	c GLOBAL bounds - >= 13616713046 @ 1.30737
1.98/2.10	c GLOBAL bounds - >= 13616713046 @ 1.30828
1.98/2.11	c GLOBAL bounds - >= 13616713046 @ 1.31163
1.98/2.11	c GLOBAL bounds - >= 13616713046 @ 1.31349
2.07/2.12	c GLOBAL bounds - >= 13616713046 @ 1.3179
2.07/2.12	c GLOBAL bounds - >= 13616713046 @ 1.31889
2.07/2.13	c GLOBAL bounds - >= 13616713046 @ 1.32324
2.07/2.13	c GLOBAL bounds - >= 13616713046 @ 1.32371
2.07/2.14	c GLOBAL bounds - >= 13616713046 @ 1.32459
2.07/2.14	c GLOBAL bounds - >= 13616713046 @ 1.32471
2.07/2.15	c GLOBAL bounds - >= 13616713046 @ 1.33211
2.07/2.15	c GLOBAL bounds - >= 13616713046 @ 1.33269
2.07/2.16	c GLOBAL bounds - >= 13616713046 @ 1.33703
2.07/2.16	c GLOBAL bounds - >= 13616713046 @ 1.33768
2.07/2.17	c GLOBAL bounds - >= 13616713046 @ 1.34029
2.07/2.17	c GLOBAL bounds - >= 13616713046 @ 1.34167
2.07/2.18	c GLOBAL bounds - >= 13616713046 @ 1.3446
2.07/2.18	c GLOBAL bounds - >= 13616713046 @ 1.34766
2.17/2.21	c GLOBAL bounds - >= 13616713055 @ 1.37164
2.17/2.22	c GLOBAL bounds - >= 13616713055 @ 1.37808
2.17/2.22	c GLOBAL bounds - >= 13616713055 @ 1.37856
2.17/2.23	c GLOBAL bounds - >= 13616713055 @ 1.38252
2.17/2.23	c GLOBAL bounds - >= 13616713055 @ 1.38355
2.17/2.24	c GLOBAL bounds - >= 13616713055 @ 1.38784
2.17/2.24	c GLOBAL bounds - >= 13616713055 @ 1.38873
2.17/2.25	c GLOBAL bounds - >= 13616713055 @ 1.39219
2.17/2.25	c GLOBAL bounds - >= 13616713055 @ 1.39253
2.17/2.26	c GLOBAL bounds - >= 13616713055 @ 1.39646
2.17/2.26	c GLOBAL bounds - >= 13616713055 @ 1.3983
2.17/2.27	c GLOBAL bounds - >= 13616713055 @ 1.40371
2.17/2.27	c GLOBAL bounds - >= 13616713055 @ 1.4045
2.17/2.28	c GLOBAL bounds - >= 13616713055 @ 1.40999
2.17/2.28	c GLOBAL bounds - >= 13616713055 @ 1.41066
2.17/2.29	c GLOBAL bounds - >= 13616713055 @ 1.41703
2.17/2.29	c GLOBAL bounds - >= 13616713055 @ 1.41793
2.27/2.30	c GLOBAL bounds - >= 13616713055 @ 1.41947
2.27/2.30	c GLOBAL bounds - >= 13616713055 @ 1.42047
2.27/2.31	c GLOBAL bounds - >= 13616713055 @ 1.42398
2.27/2.31	c GLOBAL bounds - >= 13616713055 @ 1.42559
2.27/2.32	c GLOBAL bounds - >= 13616713055 @ 1.42722
2.27/2.32	c GLOBAL bounds - >= 13616713055 @ 1.42893
2.27/2.33	c GLOBAL bounds - >= 13616713055 @ 1.42945
2.27/2.33	c GLOBAL bounds - >= 13616713055 @ 1.43144
2.27/2.35	c GLOBAL bounds - >= 13616713063 @ 1.44833
2.27/2.35	c GLOBAL bounds - >= 13616713063 @ 1.45253
2.27/2.36	c GLOBAL bounds - >= 13616713063 @ 1.45755
2.27/2.36	c GLOBAL bounds - >= 13616713063 @ 1.45838
2.27/2.37	c GLOBAL bounds - >= 13616713063 @ 1.45838
2.27/2.37	c GLOBAL bounds - >= 13616713063 @ 1.46011
2.27/2.38	c GLOBAL bounds - >= 13616713063 @ 1.46237
2.27/2.38	c GLOBAL bounds - >= 13616713063 @ 1.46237
2.27/2.39	c GLOBAL bounds - >= 13616713063 @ 1.46479
2.27/2.39	c GLOBAL bounds - >= 13616713063 @ 1.46553
2.37/2.40	c GLOBAL bounds - >= 13616713063 @ 1.46892
2.37/2.40	c GLOBAL bounds - >= 13616713063 @ 1.47035
2.37/2.41	c GLOBAL bounds - >= 13616713063 @ 1.47308
2.37/2.41	c GLOBAL bounds - >= 13616713063 @ 1.47335
2.37/2.42	c GLOBAL bounds - >= 13616713063 @ 1.47487
2.37/2.42	c GLOBAL bounds - >= 13616713063 @ 1.4765
2.37/2.43	c GLOBAL bounds - >= 13616713063 @ 1.48101
2.37/2.44	c GLOBAL bounds - >= 13616713063 @ 1.48133
2.37/2.44	c GLOBAL bounds - >= 13616713063 @ 1.48631
2.37/2.45	c GLOBAL bounds - >= 13616713063 @ 1.48732
2.37/2.45	c GLOBAL bounds - >= 13616713063 @ 1.49092
2.46/2.50	c GLOBAL bounds - >= 13616713073 @ 1.53656
2.46/2.51	c GLOBAL bounds - >= 13616713073 @ 1.5414
2.46/2.51	c GLOBAL bounds - >= 13616713073 @ 1.54409
2.46/2.52	c GLOBAL bounds - >= 13616713073 @ 1.54517
2.46/2.53	c GLOBAL bounds - >= 13616713073 @ 1.54855
2.46/2.53	c GLOBAL bounds - >= 13616713073 @ 1.5495
2.46/2.54	c GLOBAL bounds - >= 13616713073 @ 1.55319
2.46/2.54	c GLOBAL bounds - >= 13616713073 @ 1.55416
2.46/2.55	c GLOBAL bounds - >= 13616713073 @ 1.55968
2.46/2.55	c GLOBAL bounds - >= 13616713073 @ 1.56114
2.46/2.56	c GLOBAL bounds - >= 13616713073 @ 1.5621
2.46/2.56	c GLOBAL bounds - >= 13616713073 @ 1.56306
2.46/2.57	c GLOBAL bounds - >= 13616713073 @ 1.56576
2.46/2.57	c GLOBAL bounds - >= 13616713073 @ 1.56713
2.46/2.58	c GLOBAL bounds - >= 13616713073 @ 1.57094
2.46/2.58	c GLOBAL bounds - >= 13616713073 @ 1.57112
2.46/2.59	c GLOBAL bounds - >= 13616713073 @ 1.57439
2.46/2.59	c GLOBAL bounds - >= 13616713073 @ 1.57511
2.57/2.60	c GLOBAL bounds - >= 13616713073 @ 1.57834
2.57/2.60	c GLOBAL bounds - >= 13616713073 @ 1.57932
2.57/2.61	c GLOBAL bounds - >= 13616713073 @ 1.58183
2.57/2.63	c GLOBAL bounds - >= 13616713073 @ 1.59706
2.57/2.67	c GLOBAL bounds - >= 13616713082 @ 1.64139
2.57/2.68	c GLOBAL bounds - >= 13616713082 @ 1.6457
2.57/2.69	c GLOBAL bounds - >= 13616713082 @ 1.64772
2.57/2.69	c GLOBAL bounds - >= 13616713082 @ 1.64893
2.66/2.70	c GLOBAL bounds - >= 13616713082 @ 1.65049
2.66/2.70	c GLOBAL bounds - >= 13616713082 @ 1.65193
2.66/2.71	c GLOBAL bounds - >= 13616713082 @ 1.65577
2.66/2.71	c GLOBAL bounds - >= 13616713082 @ 1.65591
2.66/2.72	c GLOBAL bounds - >= 13616713082 @ 1.65741
2.66/2.72	c GLOBAL bounds - >= 13616713082 @ 1.65791
2.66/2.73	c GLOBAL bounds - >= 13616713082 @ 1.66266
2.66/2.73	c GLOBAL bounds - >= 13616713082 @ 1.66389
2.66/2.74	c GLOBAL bounds - >= 13616713082 @ 1.66605
2.66/2.74	c GLOBAL bounds - >= 13616713082 @ 1.66707
2.66/2.75	c GLOBAL bounds - >= 13616713082 @ 1.66977
2.66/2.75	c GLOBAL bounds - >= 13616713082 @ 1.67178
2.66/2.76	c GLOBAL bounds - >= 13616713082 @ 1.67831
2.66/2.76	c GLOBAL bounds - >= 13616713082 @ 1.67986
2.66/2.77	c GLOBAL bounds - >= 13616713082 @ 1.68279
2.66/2.77	c GLOBAL bounds - >= 13616713082 @ 1.68385
2.66/2.78	c GLOBAL bounds - >= 13616713082 @ 1.68969
2.87/2.99	c GLOBAL bounds - >= 13616713082 @ 1.89311
2.87/3.00	c GLOBAL bounds - >= 13616713082 @ 1.89632
2.87/3.00	c GLOBAL bounds - >= 13616713082 @ 1.8983
2.87/3.01	c GLOBAL bounds - >= 13616713082 @ 1.90028
2.98/3.01	c GLOBAL bounds - >= 13616713082 @ 1.90231
2.98/3.02	c GLOBAL bounds - >= 13616713082 @ 1.90432
2.98/3.02	c GLOBAL bounds - >= 13616713082 @ 1.90851
2.98/3.06	c GLOBAL bounds - >= 13616713085 @ 1.94484
2.98/3.06	c GLOBAL bounds - >= 13616713085 @ 1.94878
2.98/3.07	c GLOBAL bounds - >= 13616713085 @ 1.95067
2.98/3.07	c GLOBAL bounds - >= 13616713085 @ 1.95215
2.98/3.08	c GLOBAL bounds - >= 13616713085 @ 1.95503
2.98/3.08	c GLOBAL bounds - >= 13616713085 @ 1.95514
2.98/3.08	c GLOBAL bounds - >= 13616713085 @ 1.95736
2.98/3.09	c GLOBAL bounds - >= 13616713085 @ 1.95811
2.98/3.09	c GLOBAL bounds - >= 13616713085 @ 1.95938
2.98/3.10	c GLOBAL bounds - >= 13616713085 @ 1.96012
2.98/3.10	c GLOBAL bounds - >= 13616713085 @ 1.96311
2.98/3.10	c GLOBAL bounds - >= 13616713085 @ 1.96454
3.08/3.11	c GLOBAL bounds - >= 13616713085 @ 1.96884
3.08/3.11	c GLOBAL bounds - >= 13616713085 @ 1.97026
3.08/3.12	c GLOBAL bounds - >= 13616713085 @ 1.97233
3.08/3.12	c GLOBAL bounds - >= 13616713085 @ 1.97357
3.08/3.13	c GLOBAL bounds - >= 13616713085 @ 1.97794
3.08/3.13	c GLOBAL bounds - >= 13616713085 @ 1.97943
3.08/3.14	c GLOBAL bounds - >= 13616713085 @ 1.98477
3.08/3.14	c GLOBAL bounds - >= 13616713085 @ 1.98605
3.08/3.15	c GLOBAL bounds - >= 13616713085 @ 1.98688
3.08/3.15	c GLOBAL bounds - >= 13616713085 @ 1.98769
3.08/3.16	c GLOBAL bounds - >= 13616713085 @ 1.99206
3.08/3.17	c GLOBAL bounds - >= 13616713085 @ 1.99503
3.08/3.17	c GLOBAL bounds - >= 13616713085 @ 1.99924
3.16/3.28	c GLOBAL bounds - >= 13616713085 @ 2.09777
3.26/3.31	c GLOBAL bounds - >= 13616713093 @ 2.12873
3.26/3.31	c GLOBAL bounds - >= 13616713093 @ 2.13368
3.26/3.32	c GLOBAL bounds - >= 13616713093 @ 2.1372
3.26/3.32	c GLOBAL bounds - >= 13616713093 @ 2.13767
3.26/3.33	c GLOBAL bounds - >= 13616713093 @ 2.14166
3.26/3.33	c GLOBAL bounds - >= 13616713093 @ 2.14186
3.26/3.34	c GLOBAL bounds - >= 13616713093 @ 2.14595
3.26/3.34	c GLOBAL bounds - >= 13616713093 @ 2.14665
3.26/3.35	c GLOBAL bounds - >= 13616713093 @ 2.15223
3.26/3.35	c GLOBAL bounds - >= 13616713093 @ 2.15364
3.26/3.36	c GLOBAL bounds - >= 13616713093 @ 2.1584
3.26/3.36	c GLOBAL bounds - >= 13616713093 @ 2.15928
3.26/3.37	c GLOBAL bounds - >= 13616713093 @ 2.16361
3.26/3.37	c GLOBAL bounds - >= 13616713093 @ 2.16379
3.26/3.38	c GLOBAL bounds - >= 13616713093 @ 2.16841
3.26/3.38	c GLOBAL bounds - >= 13616713093 @ 2.1686
3.26/3.39	c GLOBAL bounds - >= 13616713093 @ 2.17271
3.26/3.39	c GLOBAL bounds - >= 13616713093 @ 2.17379
3.37/3.40	c GLOBAL bounds - >= 13616713093 @ 2.17812
3.37/3.40	c GLOBAL bounds - >= 13616713093 @ 2.17958
3.37/3.41	c GLOBAL bounds - >= 13616713093 @ 2.18267
3.47/3.53	c GLOBAL bounds - >= 13616713104 @ 2.3026
3.47/3.54	c GLOBAL bounds - >= 13616713104 @ 2.30906
3.47/3.55	c GLOBAL bounds - >= 13616713104 @ 2.31098
3.47/3.55	c GLOBAL bounds - >= 13616713104 @ 2.31194
3.47/3.56	c GLOBAL bounds - >= 13616713104 @ 2.31765
3.47/3.56	c GLOBAL bounds - >= 13616713104 @ 2.31933
3.47/3.57	c GLOBAL bounds - >= 13616713104 @ 2.3259
3.47/3.57	c GLOBAL bounds - >= 13616713104 @ 2.32623
3.47/3.58	c GLOBAL bounds - >= 13616713104 @ 2.32977
3.47/3.58	c GLOBAL bounds - >= 13616713104 @ 2.33122
3.47/3.59	c GLOBAL bounds - >= 13616713104 @ 2.3342
3.47/3.59	c GLOBAL bounds - >= 13616713104 @ 2.3352
3.57/3.60	c GLOBAL bounds - >= 13616713104 @ 2.33904
3.57/3.60	c GLOBAL bounds - >= 13616713104 @ 2.3392
3.57/3.61	c GLOBAL bounds - >= 13616713104 @ 2.34289
3.57/3.62	c GLOBAL bounds - >= 13616713104 @ 2.34418
3.57/3.62	c GLOBAL bounds - >= 13616713104 @ 2.34736
3.57/3.63	c GLOBAL bounds - >= 13616713104 @ 2.34936
3.57/3.63	c GLOBAL bounds - >= 13616713104 @ 2.35577
3.57/3.64	c GLOBAL bounds - >= 13616713104 @ 2.35776
3.57/3.64	c GLOBAL bounds - >= 13616713104 @ 2.3612
3.57/3.65	c GLOBAL bounds - >= 13616713104 @ 2.36549
3.57/3.65	c GLOBAL bounds - >= 13616713104 @ 2.36825
3.57/3.66	c GLOBAL bounds - >= 13616713104 @ 2.37013
3.66/3.72	c GLOBAL bounds - >= 13616713104 @ 2.42839
3.66/3.72	c GLOBAL bounds - >= 13616713104 @ 2.43133
3.66/3.73	c GLOBAL bounds - >= 13616713104 @ 2.43728
3.66/3.76	c GLOBAL bounds - >= 13616713104 @ 2.45792
3.66/3.79	c GLOBAL bounds - >= 13616713107 @ 2.48701
3.66/3.79	c GLOBAL bounds - >= 13616713107 @ 2.49239
3.76/3.80	c GLOBAL bounds - >= 13616713107 @ 2.49284
3.76/3.80	c GLOBAL bounds - >= 13616713107 @ 2.49384
3.76/3.81	c GLOBAL bounds - >= 13616713107 @ 2.49467
3.76/3.81	c GLOBAL bounds - >= 13616713107 @ 2.49483
3.76/3.81	c GLOBAL bounds - >= 13616713107 @ 2.4982
3.76/3.82	c GLOBAL bounds - >= 13616713107 @ 2.49904
3.76/3.82	c GLOBAL bounds - >= 13616713107 @ 2.50118
3.76/3.83	c GLOBAL bounds - >= 13616713107 @ 2.50289
3.76/3.83	c GLOBAL bounds - >= 13616713107 @ 2.50593
3.76/3.83	c GLOBAL bounds - >= 13616713107 @ 2.50701
3.76/3.84	c GLOBAL bounds - >= 13616713107 @ 2.51117
3.76/3.84	c GLOBAL bounds - >= 13616713107 @ 2.51181
3.76/3.85	c GLOBAL bounds - >= 13616713107 @ 2.51586
3.76/3.85	c GLOBAL bounds - >= 13616713107 @ 2.51777
3.76/3.86	c GLOBAL bounds - >= 13616713107 @ 2.5215
3.76/3.86	c GLOBAL bounds - >= 13616713107 @ 2.52248
3.76/3.87	c GLOBAL bounds - >= 13616713107 @ 2.5293
3.76/3.87	c GLOBAL bounds - >= 13616713107 @ 2.53014
3.76/3.88	c GLOBAL bounds - >= 13616713107 @ 2.53523
3.76/3.88	c GLOBAL bounds - >= 13616713107 @ 2.53595
3.76/3.89	c GLOBAL bounds - >= 13616713107 @ 2.54054
3.86/3.90	c GLOBAL bounds - >= 13616713107 @ 2.54343
3.86/3.90	c GLOBAL bounds - >= 13616713107 @ 2.54473
3.86/3.91	c GLOBAL bounds - >= 13616713107 @ 2.54956
3.86/3.91	c GLOBAL bounds - >= 13616713107 @ 2.55171
3.86/3.92	c GLOBAL bounds - >= 13616713107 @ 2.55341
3.86/3.93	c GLOBAL bounds - >= 13616713107 @ 2.5557
3.86/3.97	c GLOBAL bounds - >= 13616713112 @ 2.60415
3.86/3.98	c GLOBAL bounds - >= 13616713112 @ 2.60755
3.86/3.99	c GLOBAL bounds - >= 13616713112 @ 2.6119
3.86/3.99	c GLOBAL bounds - >= 13616713112 @ 2.6136
3.86/4.00	c GLOBAL bounds - >= 13616713112 @ 2.61695
3.86/4.00	c GLOBAL bounds - >= 13616713112 @ 2.61851
3.86/4.01	c GLOBAL bounds - >= 13616713112 @ 2.62349
3.86/4.01	c GLOBAL bounds - >= 13616713112 @ 2.62474
3.97/4.02	c GLOBAL bounds - >= 13616713112 @ 2.62703
3.97/4.02	c GLOBAL bounds - >= 13616713112 @ 2.62845
3.97/4.02	c GLOBAL bounds - >= 13616713112 @ 2.63136
3.97/4.03	c GLOBAL bounds - >= 13616713112 @ 2.63334
3.97/4.03	c GLOBAL bounds - >= 13616713112 @ 2.63643
3.97/4.04	c GLOBAL bounds - >= 13616713112 @ 2.63643
3.97/4.05	c GLOBAL bounds - >= 13616713112 @ 2.6413
3.97/4.05	c GLOBAL bounds - >= 13616713112 @ 2.6424
3.97/4.06	c GLOBAL bounds - >= 13616713112 @ 2.64925
3.97/4.06	c GLOBAL bounds - >= 13616713112 @ 2.6502
3.97/4.07	c GLOBAL bounds - >= 13616713112 @ 2.65776
3.97/4.07	c GLOBAL bounds - >= 13616713112 @ 2.6594
3.97/4.08	c GLOBAL bounds - >= 13616713112 @ 2.66426
4.16/4.25	c GLOBAL bounds - >= 13616713122 @ 2.8359
4.16/4.26	c GLOBAL bounds - >= 13616713122 @ 2.84189
4.16/4.27	c GLOBAL bounds - >= 13616713122 @ 2.84683
4.16/4.27	c GLOBAL bounds - >= 13616713122 @ 2.84809
4.16/4.28	c GLOBAL bounds - >= 13616713122 @ 2.85292
4.16/4.28	c GLOBAL bounds - >= 13616713122 @ 2.85407
4.16/4.29	c GLOBAL bounds - >= 13616713122 @ 2.85874
4.16/4.29	c GLOBAL bounds - >= 13616713122 @ 2.85884
4.26/4.30	c GLOBAL bounds - >= 13616713122 @ 2.86375
4.26/4.31	c GLOBAL bounds - >= 13616713122 @ 2.86383
4.26/4.31	c GLOBAL bounds - >= 13616713122 @ 2.86582
4.26/4.32	c GLOBAL bounds - >= 13616713122 @ 2.86706
4.26/4.33	c GLOBAL bounds - >= 13616713122 @ 2.87069
4.26/4.33	c GLOBAL bounds - >= 13616713122 @ 2.87169
4.26/4.34	c GLOBAL bounds - >= 13616713122 @ 2.87752
4.26/4.34	c GLOBAL bounds - >= 13616713122 @ 2.8778
4.26/4.35	c GLOBAL bounds - >= 13616713122 @ 2.88118
4.26/4.35	c GLOBAL bounds - >= 13616713122 @ 2.8832
4.26/4.36	c GLOBAL bounds - >= 13616713122 @ 2.88694
4.26/4.36	c GLOBAL bounds - >= 13616713122 @ 2.888
4.26/4.37	c GLOBAL bounds - >= 13616713122 @ 2.89077
4.26/4.37	c GLOBAL bounds - >= 13616713122 @ 2.89322
4.26/4.38	c GLOBAL bounds - >= 13616713122 @ 2.89524
4.26/4.39	c GLOBAL bounds - >= 13616713122 @ 2.89774
4.26/4.39	c GLOBAL bounds - >= 13616713122 @ 2.90074
4.86/4.93	c #Conflicts:       1000 | #Constraints:       2404
4.86/4.93	c GLOBAL bounds - >= 13616713128 @ 3.41558
4.86/4.93	c GLOBAL bounds - >= 13616713128 @ 3.42147
4.86/4.93	c GLOBAL bounds - >= 13616713128 @ 3.42263
4.86/4.94	c GLOBAL bounds - >= 13616713128 @ 3.42448
4.86/4.94	c GLOBAL bounds - >= 13616713128 @ 3.42839
4.86/4.95	c GLOBAL bounds - >= 13616713128 @ 3.42939
4.86/4.95	c GLOBAL bounds - >= 13616713128 @ 3.43294
4.86/4.96	c GLOBAL bounds - >= 13616713128 @ 3.43438
4.86/4.97	c GLOBAL bounds - >= 13616713128 @ 3.43916
4.86/4.97	c GLOBAL bounds - >= 13616713128 @ 3.43937
4.86/4.98	c GLOBAL bounds - >= 13616713128 @ 3.44477
4.86/4.98	c GLOBAL bounds - >= 13616713128 @ 3.44536
4.86/4.99	c GLOBAL bounds - >= 13616713128 @ 3.44923
4.86/4.99	c GLOBAL bounds - >= 13616713128 @ 3.45028
4.86/5.00	c GLOBAL bounds - >= 13616713128 @ 3.45675
4.86/5.00	c GLOBAL bounds - >= 13616713128 @ 3.45867
4.97/5.01	c GLOBAL bounds - >= 13616713128 @ 3.46516
4.97/5.01	c GLOBAL bounds - >= 13616713128 @ 3.46653
4.97/5.02	c GLOBAL bounds - >= 13616713128 @ 3.47
4.97/5.03	c GLOBAL bounds - >= 13616713128 @ 3.47027
4.97/5.04	c GLOBAL bounds - >= 13616713128 @ 3.47483
4.97/5.04	c GLOBAL bounds - >= 13616713128 @ 3.47577
4.97/5.05	c GLOBAL bounds - >= 13616713128 @ 3.482
5.07/5.12	c GLOBAL bounds - >= 13616713128 @ 3.55307
5.07/5.13	c GLOBAL bounds - >= 13616713128 @ 3.55655
5.07/5.14	c GLOBAL bounds - >= 13616713128 @ 3.56123
5.16/5.20	c GLOBAL bounds - >= 13616713137 @ 3.62367
5.16/5.21	c GLOBAL bounds - >= 13616713137 @ 3.6306
5.16/5.21	c GLOBAL bounds - >= 13616713137 @ 3.6316
5.16/5.21	c GLOBAL bounds - >= 13616713137 @ 3.63186
5.16/5.22	c GLOBAL bounds - >= 13616713137 @ 3.63386
5.16/5.22	c GLOBAL bounds - >= 13616713137 @ 3.63386
5.16/5.23	c GLOBAL bounds - >= 13616713137 @ 3.63767
5.16/5.23	c GLOBAL bounds - >= 13616713137 @ 3.63877
5.16/5.24	c GLOBAL bounds - >= 13616713137 @ 3.64434
5.16/5.25	c GLOBAL bounds - >= 13616713137 @ 3.64583
5.16/5.26	c GLOBAL bounds - >= 13616713137 @ 3.64924
5.16/5.26	c GLOBAL bounds - >= 13616713137 @ 3.65013
5.16/5.27	c GLOBAL bounds - >= 13616713137 @ 3.6536
5.16/5.27	c GLOBAL bounds - >= 13616713137 @ 3.65465
5.16/5.28	c GLOBAL bounds - >= 13616713137 @ 3.66233
5.16/5.28	c GLOBAL bounds - >= 13616713137 @ 3.6646
5.16/5.29	c GLOBAL bounds - >= 13616713137 @ 3.67115
5.16/5.29	c GLOBAL bounds - >= 13616713137 @ 3.67336
5.26/5.30	c GLOBAL bounds - >= 13616713137 @ 3.6802
5.26/5.31	c GLOBAL bounds - >= 13616713137 @ 3.68075
5.26/5.31	c GLOBAL bounds - >= 13616713137 @ 3.68495
5.26/5.32	c GLOBAL bounds - >= 13616713137 @ 3.68616
5.26/5.33	c GLOBAL bounds - >= 13616713137 @ 3.69256
5.26/5.33	c GLOBAL bounds - >= 13616713137 @ 3.69687
5.26/5.34	c GLOBAL bounds - >= 13616713137 @ 3.70025
5.26/5.34	c GLOBAL bounds - >= 13616713137 @ 3.70409
5.26/5.35	c GLOBAL bounds - >= 13616713137 @ 3.70851
5.26/5.36	c GLOBAL bounds - >= 13616713137 @ 3.71331
5.26/5.36	c GLOBAL bounds - >= 13616713137 @ 3.71769
5.26/5.37	c GLOBAL bounds - >= 13616713137 @ 3.72329
5.36/5.46	c GLOBAL bounds - >= 13616713141 @ 3.81311
5.36/5.47	c GLOBAL bounds - >= 13616713141 @ 3.81931
5.36/5.48	c GLOBAL bounds - >= 13616713141 @ 3.82458
5.36/5.48	c GLOBAL bounds - >= 13616713141 @ 3.82577
5.36/5.49	c GLOBAL bounds - >= 13616713141 @ 3.83089
5.36/5.49	c GLOBAL bounds - >= 13616713141 @ 3.83136
5.45/5.50	c GLOBAL bounds - >= 13616713141 @ 3.83495
5.45/5.50	c GLOBAL bounds - >= 13616713141 @ 3.83635
5.45/5.51	c GLOBAL bounds - >= 13616713141 @ 3.83834
5.45/5.51	c GLOBAL bounds - >= 13616713141 @ 3.8393
5.45/5.52	c GLOBAL bounds - >= 13616713141 @ 3.84233
5.45/5.52	c GLOBAL bounds - >= 13616713141 @ 3.84428
5.45/5.53	c GLOBAL bounds - >= 13616713141 @ 3.84632
5.45/5.53	c GLOBAL bounds - >= 13616713141 @ 3.84657
5.45/5.54	c GLOBAL bounds - >= 13616713141 @ 3.85239
5.45/5.54	c GLOBAL bounds - >= 13616713141 @ 3.8545
5.45/5.55	c GLOBAL bounds - >= 13616713141 @ 3.86015
5.45/5.55	c GLOBAL bounds - >= 13616713141 @ 3.86154
5.45/5.56	c GLOBAL bounds - >= 13616713141 @ 3.86603
5.45/5.56	c GLOBAL bounds - >= 13616713141 @ 3.86628
5.45/5.57	c GLOBAL bounds - >= 13616713141 @ 3.87273
5.45/5.58	c GLOBAL bounds - >= 13616713141 @ 3.88024
5.45/5.59	c GLOBAL bounds - >= 13616713141 @ 3.88323
5.56/5.60	c GLOBAL bounds - >= 13616713141 @ 3.88783
5.56/5.64	c GLOBAL bounds - >= 13616713141 @ 3.92457
5.65/5.73	c GLOBAL bounds - >= 13616713147 @ 4.01462
5.65/5.74	c GLOBAL bounds - >= 13616713147 @ 4.02086
5.65/5.74	c GLOBAL bounds - >= 13616713147 @ 4.02263
5.65/5.74	c GLOBAL bounds - >= 13616713147 @ 4.0237
5.65/5.74	c GLOBAL bounds - >= 13616713147 @ 4.0258
5.65/5.75	c GLOBAL bounds - >= 13616713147 @ 4.02825
5.65/5.75	c GLOBAL bounds - >= 13616713147 @ 4.02884
5.65/5.76	c GLOBAL bounds - >= 13616713147 @ 4.03553
5.65/5.77	c GLOBAL bounds - >= 13616713147 @ 4.03682
5.65/5.78	c GLOBAL bounds - >= 13616713147 @ 4.04203
5.65/5.78	c GLOBAL bounds - >= 13616713147 @ 4.04281
5.65/5.79	c GLOBAL bounds - >= 13616713147 @ 4.04884
5.65/5.79	c GLOBAL bounds - >= 13616713147 @ 4.04978
5.75/5.80	c GLOBAL bounds - >= 13616713147 @ 4.0558
5.75/5.80	c GLOBAL bounds - >= 13616713147 @ 4.0571
5.75/5.81	c GLOBAL bounds - >= 13616713147 @ 4.06306
5.75/5.81	c GLOBAL bounds - >= 13616713147 @ 4.06475
5.75/5.82	c GLOBAL bounds - >= 13616713147 @ 4.06828
5.75/5.83	c GLOBAL bounds - >= 13616713147 @ 4.06874
5.75/5.84	c GLOBAL bounds - >= 13616713147 @ 4.07698
5.75/5.84	c GLOBAL bounds - >= 13616713147 @ 4.07872
5.75/5.85	c GLOBAL bounds - >= 13616713147 @ 4.08195
5.75/5.85	c GLOBAL bounds - >= 13616713147 @ 4.08271
5.75/5.86	c GLOBAL bounds - >= 13616713147 @ 4.08761
5.75/5.86	c GLOBAL bounds - >= 13616713147 @ 4.09069
5.75/5.87	c GLOBAL bounds - >= 13616713147 @ 4.09268
5.75/5.88	c GLOBAL bounds - >= 13616713147 @ 4.09668
5.75/5.89	c GLOBAL bounds - >= 13616713147 @ 4.10302
5.85/5.96	c GLOBAL bounds - >= 13616713147 @ 4.17348
5.97/6.03	c GLOBAL bounds - >= 13616713155 @ 4.24088
5.97/6.04	c GLOBAL bounds - >= 13616713155 @ 4.24726
5.97/6.04	c GLOBAL bounds - >= 13616713155 @ 4.24775
5.97/6.04	c GLOBAL bounds - >= 13616713155 @ 4.24888
5.97/6.05	c GLOBAL bounds - >= 13616713155 @ 4.25001
5.97/6.05	c GLOBAL bounds - >= 13616713155 @ 4.25362
5.97/6.06	c GLOBAL bounds - >= 13616713155 @ 4.25455
5.97/6.06	c GLOBAL bounds - >= 13616713155 @ 4.25889
5.97/6.07	c GLOBAL bounds - >= 13616713155 @ 4.25991
5.97/6.07	c GLOBAL bounds - >= 13616713155 @ 4.26322
5.97/6.08	c GLOBAL bounds - >= 13616713155 @ 4.26449
5.97/6.09	c GLOBAL bounds - >= 13616713155 @ 4.26893
5.97/6.09	c GLOBAL bounds - >= 13616713155 @ 4.2701
5.97/6.10	c GLOBAL bounds - >= 13616713155 @ 4.2726
5.97/6.10	c GLOBAL bounds - >= 13616713155 @ 4.27456
5.97/6.11	c GLOBAL bounds - >= 13616713155 @ 4.28162
6.07/6.11	c GLOBAL bounds - >= 13616713155 @ 4.28402
6.07/6.12	c GLOBAL bounds - >= 13616713155 @ 4.29104
6.07/6.12	c GLOBAL bounds - >= 13616713155 @ 4.29243
6.07/6.13	c GLOBAL bounds - >= 13616713155 @ 4.29812
6.07/6.14	c GLOBAL bounds - >= 13616713155 @ 4.29946
6.07/6.14	c GLOBAL bounds - >= 13616713155 @ 4.30313
6.07/6.15	c GLOBAL bounds - >= 13616713155 @ 4.30451
6.07/6.16	c GLOBAL bounds - >= 13616713155 @ 4.30836
6.07/6.16	c GLOBAL bounds - >= 13616713155 @ 4.31159
6.35/6.42	c GLOBAL bounds - >= 13616713164 @ 4.55926
6.35/6.43	c GLOBAL bounds - >= 13616713164 @ 4.56643
6.35/6.43	c GLOBAL bounds - >= 13616713164 @ 4.56643
6.35/6.44	c GLOBAL bounds - >= 13616713164 @ 4.57102
6.35/6.44	c GLOBAL bounds - >= 13616713164 @ 4.57242
6.35/6.45	c GLOBAL bounds - >= 13616713164 @ 4.57833
6.35/6.46	c GLOBAL bounds - >= 13616713164 @ 4.5787
6.35/6.47	c GLOBAL bounds - >= 13616713164 @ 4.5858
6.35/6.47	c GLOBAL bounds - >= 13616713164 @ 4.58638
6.35/6.48	c GLOBAL bounds - >= 13616713164 @ 4.59162
6.35/6.48	c GLOBAL bounds - >= 13616713164 @ 4.59234
6.35/6.49	c GLOBAL bounds - >= 13616713164 @ 4.59825
6.35/6.49	c GLOBAL bounds - >= 13616713164 @ 4.59963
6.45/6.50	c GLOBAL bounds - >= 13616713164 @ 4.60408
6.45/6.51	c GLOBAL bounds - >= 13616713164 @ 4.60464
6.45/6.52	c GLOBAL bounds - >= 13616713164 @ 4.61077
6.45/6.52	c GLOBAL bounds - >= 13616713164 @ 4.61312
6.45/6.53	c GLOBAL bounds - >= 13616713164 @ 4.62043
6.45/6.53	c GLOBAL bounds - >= 13616713164 @ 4.62128
6.45/6.54	c GLOBAL bounds - >= 13616713164 @ 4.62578
6.45/6.54	c GLOBAL bounds - >= 13616713164 @ 4.62627
6.45/6.55	c GLOBAL bounds - >= 13616713164 @ 4.63247
6.45/6.56	c GLOBAL bounds - >= 13616713164 @ 4.63712
6.45/6.57	c GLOBAL bounds - >= 13616713164 @ 4.64514
6.45/6.58	c GLOBAL bounds - >= 13616713164 @ 4.65539
6.45/6.59	c GLOBAL bounds - >= 13616713164 @ 4.66155
6.55/6.65	c GLOBAL bounds - >= 13620281490 @ 4.72299
6.55/6.67	c GLOBAL bounds - >= 13620281490 @ 4.73702
6.55/6.68	c GLOBAL bounds - >= 13620281490 @ 4.74223
6.55/6.68	c GLOBAL bounds - >= 13620281490 @ 4.74347
6.55/6.69	c GLOBAL bounds - >= 13620281490 @ 4.74954
6.55/6.69	c GLOBAL bounds - >= 13620281490 @ 4.7519
6.65/6.70	c GLOBAL bounds - >= 13620281490 @ 4.75577
6.65/6.70	c GLOBAL bounds - >= 13620281490 @ 4.75582
6.65/6.71	c GLOBAL bounds - >= 13620281490 @ 4.76066
6.65/6.71	c GLOBAL bounds - >= 13620281490 @ 4.76215
6.65/6.72	c GLOBAL bounds - >= 13620281490 @ 4.76763
6.65/6.73	c GLOBAL bounds - >= 13620281490 @ 4.76919
6.65/6.74	c GLOBAL bounds - >= 13620281490 @ 4.77529
6.65/6.74	c GLOBAL bounds - >= 13620281490 @ 4.77604
6.65/6.75	c GLOBAL bounds - >= 13620281490 @ 4.78504
6.65/6.75	c GLOBAL bounds - >= 13620281490 @ 4.78753
6.65/6.76	c GLOBAL bounds - >= 13620281490 @ 4.79483
6.65/6.76	c GLOBAL bounds - >= 13620281490 @ 4.79637
6.65/6.77	c GLOBAL bounds - >= 13620281490 @ 4.80305
6.65/6.78	c GLOBAL bounds - >= 13620281490 @ 4.8046
6.65/6.79	c GLOBAL bounds - >= 13620281490 @ 4.81083
6.96/7.05	c GLOBAL bounds - >= 13620281500 @ 5.06838
6.96/7.06	c GLOBAL bounds - >= 13620281500 @ 5.07717
6.96/7.07	c GLOBAL bounds - >= 13620281500 @ 5.08395
6.96/7.08	c GLOBAL bounds - >= 13620281500 @ 5.08661
6.96/7.09	c GLOBAL bounds - >= 13620281500 @ 5.09245
6.96/7.09	c GLOBAL bounds - >= 13620281500 @ 5.09306
6.96/7.10	c GLOBAL bounds - >= 13620281500 @ 5.09962
6.96/7.10	c GLOBAL bounds - >= 13620281500 @ 5.10126
7.06/7.12	c GLOBAL bounds - >= 13620281500 @ 5.10831
7.06/7.12	c GLOBAL bounds - >= 13620281500 @ 5.11097
7.06/7.13	c GLOBAL bounds - >= 13620281500 @ 5.11592
7.06/7.13	c GLOBAL bounds - >= 13620281500 @ 5.11738
7.06/7.14	c GLOBAL bounds - >= 13620281500 @ 5.12406
7.06/7.14	c GLOBAL bounds - >= 13620281500 @ 5.12462
7.06/7.16	c GLOBAL bounds - >= 13620281500 @ 5.13126
7.06/7.16	c GLOBAL bounds - >= 13620281500 @ 5.1319
7.06/7.17	c GLOBAL bounds - >= 13620281500 @ 5.13853
7.06/7.17	c GLOBAL bounds - >= 13620281500 @ 5.14056
7.06/7.18	c GLOBAL bounds - >= 13620281500 @ 5.14627
7.06/7.19	c GLOBAL bounds - >= 13620281500 @ 5.14785
7.06/7.20	c GLOBAL bounds - >= 13620281500 @ 5.15347
7.15/7.20	c GLOBAL bounds - >= 13620281500 @ 5.15794
7.15/7.21	c GLOBAL bounds - >= 13620281500 @ 5.16427
7.15/7.22	c GLOBAL bounds - >= 13620281500 @ 5.1704
7.15/7.23	c GLOBAL bounds - >= 13620281500 @ 5.17605
7.15/7.24	c GLOBAL bounds - >= 13620281500 @ 5.18106
7.45/7.52	c #Conflicts:       2000 | #Constraints:       3672
7.45/7.52	c INPROCESSING
7.45/7.52	c GARBAGE COLLECT
7.45/7.52	c GLOBAL bounds - >= 13620281500 @ 5.45745
7.45/7.53	c GLOBAL bounds - >= 13620281500 @ 5.45996
9.75/9.80	c #Conflicts:       3000 | #Constraints:       3484
9.75/9.80	c GLOBAL bounds - >= 13620281503 @ 7.69552
9.75/9.81	c GLOBAL bounds - >= 13620281503 @ 7.7016
9.75/9.82	c GLOBAL bounds - >= 13620281503 @ 7.71025
9.75/9.82	c GLOBAL bounds - >= 13620281503 @ 7.71194
9.75/9.83	c GLOBAL bounds - >= 13620281503 @ 7.71611
9.75/9.84	c GLOBAL bounds - >= 13620281503 @ 7.71688
9.75/9.85	c GLOBAL bounds - >= 13620281503 @ 7.72273
9.75/9.85	c GLOBAL bounds - >= 13620281503 @ 7.72539
9.75/9.86	c GLOBAL bounds - >= 13620281503 @ 7.73042
9.75/9.86	c GLOBAL bounds - >= 13620281503 @ 7.73305
9.75/9.87	c GLOBAL bounds - >= 13620281503 @ 7.73721
9.75/9.88	c GLOBAL bounds - >= 13620281503 @ 7.73887
9.75/9.89	c GLOBAL bounds - >= 13620281503 @ 7.74701
9.75/9.89	c GLOBAL bounds - >= 13620281503 @ 7.74886
9.84/9.90	c GLOBAL bounds - >= 13620281503 @ 7.7548
9.84/9.90	c GLOBAL bounds - >= 13620281503 @ 7.75747
9.84/9.91	c GLOBAL bounds - >= 13620281503 @ 7.76548
9.84/9.92	c GLOBAL bounds - >= 13620281503 @ 7.76744
9.84/9.93	c GLOBAL bounds - >= 13620281503 @ 7.7764
9.84/9.93	c GLOBAL bounds - >= 13620281503 @ 7.77842
9.84/9.94	c GLOBAL bounds - >= 13620281503 @ 7.78626
9.84/9.95	c GLOBAL bounds - >= 13620281503 @ 7.79132
10.14/10.20	c GLOBAL bounds - >= 13620281512 @ 8.04061
10.14/10.22	c GLOBAL bounds - >= 13620281512 @ 8.05171
10.14/10.23	c GLOBAL bounds - >= 13620281512 @ 8.058
10.14/10.23	c GLOBAL bounds - >= 13620281512 @ 8.06062
10.14/10.24	c GLOBAL bounds - >= 13620281512 @ 8.06856
10.14/10.24	c GLOBAL bounds - >= 13620281512 @ 8.07067
10.14/10.26	c GLOBAL bounds - >= 13620281512 @ 8.07905
10.14/10.26	c GLOBAL bounds - >= 13620281512 @ 8.08095
10.14/10.27	c GLOBAL bounds - >= 13620281512 @ 8.08753
10.14/10.27	c GLOBAL bounds - >= 13620281512 @ 8.08929
10.14/10.29	c GLOBAL bounds - >= 13620281512 @ 8.09749
10.14/10.29	c GLOBAL bounds - >= 13620281512 @ 8.09761
10.24/10.30	c GLOBAL bounds - >= 13620281512 @ 8.10525
10.24/10.30	c GLOBAL bounds - >= 13620281512 @ 8.10759
10.24/10.32	c GLOBAL bounds - >= 13620281512 @ 8.11531
10.24/10.32	c GLOBAL bounds - >= 13620281512 @ 8.118
10.24/10.33	c GLOBAL bounds - >= 13620281512 @ 8.12776
10.24/10.33	c GLOBAL bounds - >= 13620281512 @ 8.12853
10.24/10.34	c GLOBAL bounds - >= 13620281512 @ 8.13526
10.24/10.35	c GLOBAL bounds - >= 13620281512 @ 8.13551
10.24/10.36	c GLOBAL bounds - >= 13620281512 @ 8.14479
10.24/10.37	c GLOBAL bounds - >= 13620281512 @ 8.15033
10.24/10.40	c GLOBAL bounds - >= 13620281512 @ 8.17669
10.35/10.40	c GLOBAL bounds - >= 13620281512 @ 8.18439
10.44/10.51	c GLOBAL bounds - >= 13620281512 @ 8.28407
10.74/10.89	c GLOBAL bounds - >= 13620281518 @ 8.65147
10.84/10.90	c GLOBAL bounds - >= 13620281518 @ 8.66103
10.84/10.91	c GLOBAL bounds - >= 13620281518 @ 8.6616
10.84/10.92	c GLOBAL bounds - >= 13620281518 @ 8.66971
10.84/10.92	c GLOBAL bounds - >= 13620281518 @ 8.67001
10.84/10.93	c GLOBAL bounds - >= 13620281518 @ 8.67796
10.84/10.93	c GLOBAL bounds - >= 13620281518 @ 8.67999
10.84/10.95	c GLOBAL bounds - >= 13620281518 @ 8.68837
10.84/10.95	c GLOBAL bounds - >= 13620281518 @ 8.69031
10.84/10.96	c GLOBAL bounds - >= 13620281518 @ 8.69872
10.84/10.97	c GLOBAL bounds - >= 13620281518 @ 8.69947
10.84/10.98	c GLOBAL bounds - >= 13620281518 @ 8.70726
10.84/10.98	c GLOBAL bounds - >= 13620281518 @ 8.7083
10.84/10.99	c GLOBAL bounds - >= 13620281518 @ 8.71673
10.84/11.00	c GLOBAL bounds - >= 13620281518 @ 8.71855
10.96/11.01	c GLOBAL bounds - >= 13620281518 @ 8.72651
10.96/11.01	c GLOBAL bounds - >= 13620281518 @ 8.72947
10.96/11.03	c GLOBAL bounds - >= 13620281518 @ 8.73947
10.96/11.03	c GLOBAL bounds - >= 13620281518 @ 8.74083
10.96/11.04	c GLOBAL bounds - >= 13620281518 @ 8.74641
10.96/11.04	c GLOBAL bounds - >= 13620281518 @ 8.74817
10.96/11.06	c GLOBAL bounds - >= 13620281518 @ 8.75775
10.96/11.07	c GLOBAL bounds - >= 13620281518 @ 8.76565
10.96/11.08	c GLOBAL bounds - >= 13620281518 @ 8.77471
10.96/11.09	c GLOBAL bounds - >= 13620281518 @ 8.78458
10.96/11.10	c GLOBAL bounds - >= 13620281518 @ 8.79277
11.06/11.12	c GLOBAL bounds - >= 13620281518 @ 8.80253
11.14/11.28	c GLOBAL bounds - >= 13620281518 @ 8.95614
11.96/12.02	c #Conflicts:       4000 | #Constraints:       4575
11.96/12.02	c GLOBAL bounds - >= 13623849843 @ 9.67503
11.96/12.04	c GLOBAL bounds - >= 13623849843 @ 9.6921
11.96/12.05	c GLOBAL bounds - >= 13623849843 @ 9.70138
11.96/12.06	c GLOBAL bounds - >= 13623849843 @ 9.70432
11.96/12.07	c GLOBAL bounds - >= 13623849843 @ 9.71558
11.96/12.08	c GLOBAL bounds - >= 13623849843 @ 9.71765
11.96/12.09	c GLOBAL bounds - >= 13623849843 @ 9.72704
11.96/12.09	c GLOBAL bounds - >= 13623849843 @ 9.72994
11.96/12.11	c GLOBAL bounds - >= 13623849843 @ 9.74118
12.05/12.11	c GLOBAL bounds - >= 13623849843 @ 9.74142
12.05/12.13	c GLOBAL bounds - >= 13623849843 @ 9.75321
12.05/12.13	c GLOBAL bounds - >= 13623849843 @ 9.75435
12.05/12.14	c GLOBAL bounds - >= 13623849843 @ 9.76255
12.05/12.15	c GLOBAL bounds - >= 13623849843 @ 9.76552
12.05/12.16	c GLOBAL bounds - >= 13623849843 @ 9.7773
12.05/12.17	c GLOBAL bounds - >= 13623849843 @ 9.7805
12.05/12.18	c GLOBAL bounds - >= 13623849843 @ 9.79124
12.05/12.19	c GLOBAL bounds - >= 13623849843 @ 9.79435
12.14/12.20	c GLOBAL bounds - >= 13623849843 @ 9.80481
12.14/12.21	c GLOBAL bounds - >= 13623849843 @ 9.80585
12.14/12.22	c GLOBAL bounds - >= 13623849843 @ 9.81813
12.14/12.24	c GLOBAL bounds - >= 13623849843 @ 9.82848
12.14/12.25	c GLOBAL bounds - >= 13623849843 @ 9.84069
12.43/12.55	c GLOBAL bounds - >= 13623849851 @ 10.1337
12.43/12.57	c GLOBAL bounds - >= 13623849851 @ 10.1508
12.43/12.58	c GLOBAL bounds - >= 13623849851 @ 10.1583
12.43/12.58	c GLOBAL bounds - >= 13623849851 @ 10.1614
12.43/12.59	c GLOBAL bounds - >= 13623849851 @ 10.1676
12.54/12.60	c GLOBAL bounds - >= 13623849851 @ 10.1696
12.54/12.61	c GLOBAL bounds - >= 13623849851 @ 10.179
12.54/12.61	c GLOBAL bounds - >= 13623849851 @ 10.1792
12.54/12.63	c GLOBAL bounds - >= 13623849851 @ 10.1881
12.54/12.63	c GLOBAL bounds - >= 13623849851 @ 10.1893
12.54/12.65	c GLOBAL bounds - >= 13623849851 @ 10.1992
12.54/12.65	c GLOBAL bounds - >= 13623849851 @ 10.2003
12.54/12.66	c GLOBAL bounds - >= 13623849851 @ 10.2132
12.54/12.67	c GLOBAL bounds - >= 13623849851 @ 10.2155
12.54/12.68	c GLOBAL bounds - >= 13623849851 @ 10.2266
12.54/12.68	c GLOBAL bounds - >= 13623849851 @ 10.2271
12.64/12.70	c GLOBAL bounds - >= 13623849851 @ 10.2383
12.64/12.70	c GLOBAL bounds - >= 13623849851 @ 10.2405
12.64/12.72	c GLOBAL bounds - >= 13623849851 @ 10.2516
12.64/12.72	c GLOBAL bounds - >= 13623849851 @ 10.2538
12.64/12.74	c GLOBAL bounds - >= 13623849851 @ 10.2629
13.24/13.31	c GLOBAL bounds - >= 13623849861 @ 10.8243
13.24/13.33	c GLOBAL bounds - >= 13623849861 @ 10.8409
13.24/13.35	c GLOBAL bounds - >= 13623849861 @ 10.8524
13.24/13.35	c GLOBAL bounds - >= 13623849861 @ 10.8534
13.24/13.36	c GLOBAL bounds - >= 13623849861 @ 10.8631
13.24/13.37	c GLOBAL bounds - >= 13623849861 @ 10.8651
13.24/13.38	c GLOBAL bounds - >= 13623849861 @ 10.8741
13.24/13.38	c GLOBAL bounds - >= 13623849861 @ 10.8754
13.33/13.40	c GLOBAL bounds - >= 13623849861 @ 10.8848
13.33/13.40	c GLOBAL bounds - >= 13623849861 @ 10.8867
13.33/13.41	c GLOBAL bounds - >= 13623849861 @ 10.8977
13.33/13.42	c GLOBAL bounds - >= 13623849861 @ 10.8987
13.33/13.43	c GLOBAL bounds - >= 13623849861 @ 10.9082
13.33/13.43	c GLOBAL bounds - >= 13623849861 @ 10.9101
13.33/13.45	c GLOBAL bounds - >= 13623849861 @ 10.9196
13.33/13.45	c GLOBAL bounds - >= 13623849861 @ 10.9202
13.33/13.46	c GLOBAL bounds - >= 13623849861 @ 10.9312
13.33/13.47	c GLOBAL bounds - >= 13623849861 @ 10.9336
13.33/13.48	c GLOBAL bounds - >= 13623849861 @ 10.9443
13.33/13.49	c GLOBAL bounds - >= 13623849861 @ 10.9456
13.43/13.50	c GLOBAL bounds - >= 13623849861 @ 10.9561
13.83/13.95	c #Conflicts:       5000 | #Constraints:       5668
13.83/13.95	c GLOBAL bounds - >= 13623849871 @ 11.3932
13.83/13.97	c GLOBAL bounds - >= 13623849871 @ 11.4112
13.83/13.98	c GLOBAL bounds - >= 13623849871 @ 11.4236
13.83/13.99	c GLOBAL bounds - >= 13623849871 @ 11.424
13.83/14.00	c GLOBAL bounds - >= 13623849871 @ 11.4373
13.83/14.00	c GLOBAL bounds - >= 13623849871 @ 11.4395
13.94/14.02	c GLOBAL bounds - >= 13623849871 @ 11.4491
13.94/14.02	c GLOBAL bounds - >= 13623849871 @ 11.4508
13.94/14.04	c GLOBAL bounds - >= 13623849871 @ 11.46
13.94/14.04	c GLOBAL bounds - >= 13623849871 @ 11.4618
13.94/14.06	c GLOBAL bounds - >= 13623849871 @ 11.4724
13.94/14.06	c GLOBAL bounds - >= 13623849871 @ 11.4747
13.94/14.08	c GLOBAL bounds - >= 13623849871 @ 11.485
13.94/14.08	c GLOBAL bounds - >= 13623849871 @ 11.4884
13.94/14.09	c GLOBAL bounds - >= 13623849871 @ 11.4995
13.94/14.10	c GLOBAL bounds - >= 13623849871 @ 11.4999
14.05/14.11	c GLOBAL bounds - >= 13623849871 @ 11.5113
14.05/14.12	c GLOBAL bounds - >= 13623849871 @ 11.5137
14.05/14.13	c GLOBAL bounds - >= 13623849871 @ 11.5248
14.05/14.14	c GLOBAL bounds - >= 13623849871 @ 11.528
14.05/14.15	c GLOBAL bounds - >= 13623849871 @ 11.5381
14.05/14.16	c GLOBAL bounds - >= 13623849871 @ 11.5481
15.83/15.97	c #Conflicts:       6000 | #Constraints:       6707
15.83/15.97	c INPROCESSING
15.83/15.97	c GARBAGE COLLECT
15.83/15.97	c GLOBAL bounds - >= 13623849880 @ 13.3014
15.83/15.99	c GLOBAL bounds - >= 13623849880 @ 13.3153
15.83/15.99	c GLOBAL bounds - >= 13623849880 @ 13.3172
15.83/16.00	c GLOBAL bounds - >= 13623849880 @ 13.3243
15.83/16.00	c GLOBAL bounds - >= 13623849880 @ 13.3267
15.94/16.02	c GLOBAL bounds - >= 13623849880 @ 13.3347
15.94/16.02	c GLOBAL bounds - >= 13623849880 @ 13.3371
15.94/16.03	c GLOBAL bounds - >= 13623849880 @ 13.3434
15.94/16.04	c GLOBAL bounds - >= 13623849880 @ 13.3447
15.94/16.05	c GLOBAL bounds - >= 13623849880 @ 13.3533
15.94/16.05	c GLOBAL bounds - >= 13623849880 @ 13.3547
15.94/16.07	c GLOBAL bounds - >= 13623849880 @ 13.3624
15.94/16.07	c GLOBAL bounds - >= 13623849880 @ 13.3646
15.94/16.08	c GLOBAL bounds - >= 13623849880 @ 13.3736
15.94/16.09	c GLOBAL bounds - >= 13623849880 @ 13.3759
15.94/16.10	c GLOBAL bounds - >= 13623849880 @ 13.3846
15.94/16.10	c GLOBAL bounds - >= 13623849880 @ 13.3878
16.04/16.12	c GLOBAL bounds - >= 13623849880 @ 13.398
16.04/16.12	c GLOBAL bounds - >= 13623849880 @ 13.4012
16.04/16.13	c GLOBAL bounds - >= 13623849880 @ 13.4104
16.04/16.14	c GLOBAL bounds - >= 13623849880 @ 13.4115
16.12/16.22	c GLOBAL bounds - >= 13623849880 @ 13.4422
16.32/16.46	c GLOBAL bounds - >= 13623849890 @ 13.6783
16.32/16.49	c GLOBAL bounds - >= 13623849890 @ 13.6968
16.43/16.51	c GLOBAL bounds - >= 13623849890 @ 13.7081
16.43/16.51	c GLOBAL bounds - >= 13623849890 @ 13.7098
16.43/16.53	c GLOBAL bounds - >= 13623849890 @ 13.7214
16.43/16.53	c GLOBAL bounds - >= 13623849890 @ 13.723
16.43/16.55	c GLOBAL bounds - >= 13623849890 @ 13.7337
16.43/16.55	c GLOBAL bounds - >= 13623849890 @ 13.736
16.43/16.56	c GLOBAL bounds - >= 13623849890 @ 13.7459
16.43/16.57	c GLOBAL bounds - >= 13623849890 @ 13.748
16.43/16.58	c GLOBAL bounds - >= 13623849890 @ 13.7582
16.43/16.59	c GLOBAL bounds - >= 13623849890 @ 13.7593
16.53/16.60	c GLOBAL bounds - >= 13623849890 @ 13.7683
16.53/16.60	c GLOBAL bounds - >= 13623849890 @ 13.7686
16.53/16.62	c GLOBAL bounds - >= 13623849890 @ 13.7769
16.53/16.62	c GLOBAL bounds - >= 13623849890 @ 13.7791
16.53/16.64	c GLOBAL bounds - >= 13623849890 @ 13.7898
16.53/16.64	c GLOBAL bounds - >= 13623849890 @ 13.793
16.53/16.66	c GLOBAL bounds - >= 13623849890 @ 13.8058
16.53/16.66	c GLOBAL bounds - >= 13623849890 @ 13.809
16.53/16.67	c GLOBAL bounds - >= 13623849890 @ 13.8219
22.81/22.95	c #Conflicts:       7000 | #Constraints:       5253
22.81/22.95	c #Conflicts:       8000 | #Constraints:       6253
22.81/22.95	c GLOBAL bounds - >= 13623849900 @ 19.9927
22.81/22.97	c GLOBAL bounds - >= 13623849900 @ 20.0123
22.81/22.99	c GLOBAL bounds - >= 13623849900 @ 20.0246
22.81/22.99	c GLOBAL bounds - >= 13623849900 @ 20.0261
22.92/23.01	c GLOBAL bounds - >= 13623849900 @ 20.0375
22.92/23.01	c GLOBAL bounds - >= 13623849900 @ 20.04
22.92/23.03	c GLOBAL bounds - >= 13623849900 @ 20.0537
22.92/23.04	c GLOBAL bounds - >= 13623849900 @ 20.0562
22.92/23.05	c GLOBAL bounds - >= 13623849900 @ 20.0712
22.92/23.06	c GLOBAL bounds - >= 13623849900 @ 20.0737
22.92/23.07	c GLOBAL bounds - >= 13623849900 @ 20.0859
22.92/23.08	c GLOBAL bounds - >= 13623849900 @ 20.0893
22.92/23.09	c GLOBAL bounds - >= 13623849900 @ 20.1027
22.92/23.10	c GLOBAL bounds - >= 13623849900 @ 20.1062
23.01/23.11	c GLOBAL bounds - >= 13623849900 @ 20.1195
23.01/23.12	c GLOBAL bounds - >= 13623849900 @ 20.1221
23.01/23.14	c GLOBAL bounds - >= 13623849900 @ 20.1371
23.01/23.14	c GLOBAL bounds - >= 13623849900 @ 20.1397
23.01/23.16	c GLOBAL bounds - >= 13623849900 @ 20.1507
23.01/23.16	c GLOBAL bounds - >= 13623849900 @ 20.1531
23.01/23.18	c GLOBAL bounds - >= 13623849900 @ 20.1643
23.01/23.19	c GLOBAL bounds - >= 13623849900 @ 20.1787
23.10/23.21	c GLOBAL bounds - >= 13623849900 @ 20.1962
32.98/33.11	c #Conflicts:       9000 | #Constraints:       7292
32.98/33.11	c #Conflicts:      10000 | #Constraints:       8292
32.98/33.11	c #Conflicts:      11000 | #Constraints:       9292
32.98/33.11	c GLOBAL bounds - >= 13623849908 @ 29.8909
32.98/33.14	c GLOBAL bounds - >= 13623849908 @ 29.9205
32.98/33.14	c GLOBAL bounds - >= 13623849908 @ 29.9214
32.98/33.15	c GLOBAL bounds - >= 13623849908 @ 29.9233
32.98/33.17	c GLOBAL bounds - >= 13623849908 @ 29.9429
32.98/33.17	c GLOBAL bounds - >= 13623849908 @ 29.9456
33.06/33.20	c GLOBAL bounds - >= 13623849908 @ 29.9665
33.06/33.20	c GLOBAL bounds - >= 13623849908 @ 29.9695
33.06/33.23	c GLOBAL bounds - >= 13623849908 @ 29.9881
33.06/33.23	c GLOBAL bounds - >= 13623849908 @ 29.9896
33.06/33.25	c GLOBAL bounds - >= 13623849908 @ 30.0076
33.06/33.26	c GLOBAL bounds - >= 13623849908 @ 30.01
33.06/33.28	c GLOBAL bounds - >= 13623849908 @ 30.0263
33.06/33.28	c GLOBAL bounds - >= 13623849908 @ 30.0299
33.16/33.31	c GLOBAL bounds - >= 13623849908 @ 30.0487
33.16/33.31	c GLOBAL bounds - >= 13623849908 @ 30.0513
33.16/33.34	c GLOBAL bounds - >= 13623849908 @ 30.0698
33.16/33.34	c GLOBAL bounds - >= 13623849908 @ 30.0723
33.16/33.37	c GLOBAL bounds - >= 13623849908 @ 30.0917
33.16/33.37	c GLOBAL bounds - >= 13623849908 @ 30.0942
33.16/33.39	c GLOBAL bounds - >= 13623849908 @ 30.1111
33.26/33.40	c GLOBAL bounds - >= 13623849908 @ 30.1127
33.26/33.42	c GLOBAL bounds - >= 13623849908 @ 30.1348
33.26/33.45	c GLOBAL bounds - >= 13623849908 @ 30.162
33.36/33.51	c GLOBAL bounds - >= 13623849908 @ 30.2147
33.36/33.54	c GLOBAL bounds - >= 13623849908 @ 30.2448
33.36/33.57	c GLOBAL bounds - >= 13623849908 @ 30.2712
33.46/33.61	c GLOBAL bounds - >= 13623849908 @ 30.301
33.46/33.64	c GLOBAL bounds - >= 13623849908 @ 30.3312
33.46/33.67	c GLOBAL bounds - >= 13623849908 @ 30.361
33.56/33.70	c GLOBAL bounds - >= 13623849908 @ 30.3911
33.56/33.74	c GLOBAL bounds - >= 13623849908 @ 30.4198
33.56/33.77	c GLOBAL bounds - >= 13623849908 @ 30.45
33.66/33.80	c GLOBAL bounds - >= 13623849908 @ 30.4781
33.66/33.83	c GLOBAL bounds - >= 13623849908 @ 30.5045
33.66/33.86	c GLOBAL bounds - >= 13623849908 @ 30.5332
33.66/33.89	c GLOBAL bounds - >= 13623849908 @ 30.5641
33.76/33.92	c GLOBAL bounds - >= 13623849908 @ 30.5911
33.76/33.95	c GLOBAL bounds - >= 13623849908 @ 30.6173
33.76/33.98	c GLOBAL bounds - >= 13623849908 @ 30.6436
33.88/34.01	c GLOBAL bounds - >= 13623849908 @ 30.6707
33.88/34.04	c GLOBAL bounds - >= 13623849908 @ 30.6979
33.88/34.07	c GLOBAL bounds - >= 13623849908 @ 30.7254
33.88/34.10	c GLOBAL bounds - >= 13623849908 @ 30.7518
33.98/34.13	c GLOBAL bounds - >= 13623849908 @ 30.7784
33.98/34.16	c GLOBAL bounds - >= 13623849908 @ 30.8041
33.98/34.19	c GLOBAL bounds - >= 13623849908 @ 30.833
34.06/34.22	c GLOBAL bounds - >= 13623849908 @ 30.8598
34.06/34.25	c GLOBAL bounds - >= 13623849908 @ 30.8859
34.16/34.37	c GLOBAL bounds - >= 13623849908 @ 31.0014
34.16/34.39	c GLOBAL bounds - >= 13623849908 @ 31.0221
34.26/34.41	c GLOBAL bounds - >= 13623849908 @ 31.0419
34.26/34.44	c GLOBAL bounds - >= 13623849908 @ 31.0647
34.26/34.47	c GLOBAL bounds - >= 13623849908 @ 31.0938
34.26/34.49	c GLOBAL bounds - >= 13623849908 @ 31.1113
39.55/39.70	c #Conflicts:      12000 | #Constraints:      10414
39.55/39.70	c INPROCESSING
39.55/39.70	c GARBAGE COLLECT
39.55/39.70	c #Conflicts:      13000 | #Constraints:       7115
39.55/39.70	c #Conflicts:      14000 | #Constraints:       8115
39.55/39.70	c GLOBAL bounds - >= 13623849913 @ 36.2554
39.55/39.73	c GLOBAL bounds - >= 13623849913 @ 36.2793
39.55/39.73	c GLOBAL bounds - >= 13623849913 @ 36.2814
39.55/39.73	c GLOBAL bounds - >= 13623849913 @ 36.2824
39.55/39.74	c GLOBAL bounds - >= 13623849913 @ 36.2843
39.55/39.76	c GLOBAL bounds - >= 13623849913 @ 36.2983
39.55/39.76	c GLOBAL bounds - >= 13623849913 @ 36.3009
39.55/39.78	c GLOBAL bounds - >= 13623849913 @ 36.3158
39.55/39.78	c GLOBAL bounds - >= 13623849913 @ 36.3183
39.65/39.80	c GLOBAL bounds - >= 13623849913 @ 36.331
39.65/39.81	c GLOBAL bounds - >= 13623849913 @ 36.3337
39.65/39.83	c GLOBAL bounds - >= 13623849913 @ 36.351
39.65/39.83	c GLOBAL bounds - >= 13623849913 @ 36.3536
39.65/39.85	c GLOBAL bounds - >= 13623849913 @ 36.3671
39.65/39.86	c GLOBAL bounds - >= 13623849913 @ 36.3687
39.65/39.88	c GLOBAL bounds - >= 13623849913 @ 36.3846
39.65/39.88	c GLOBAL bounds - >= 13623849913 @ 36.3882
39.75/39.90	c GLOBAL bounds - >= 13623849913 @ 36.4017
39.75/39.90	c GLOBAL bounds - >= 13623849913 @ 36.4051
39.75/39.93	c GLOBAL bounds - >= 13623849913 @ 36.4226
39.75/39.93	c GLOBAL bounds - >= 13623849913 @ 36.4253
39.75/39.95	c GLOBAL bounds - >= 13623849913 @ 36.4435
39.75/39.95	c GLOBAL bounds - >= 13623849913 @ 36.445
39.75/39.98	c GLOBAL bounds - >= 13623849913 @ 36.46
39.75/40.00	c GLOBAL bounds - >= 13623849913 @ 36.4854
39.86/40.03	c GLOBAL bounds - >= 13623849913 @ 36.5093
39.86/40.06	c GLOBAL bounds - >= 13623849913 @ 36.5349
39.86/40.09	c GLOBAL bounds - >= 13623849913 @ 36.5609
39.96/40.11	c GLOBAL bounds - >= 13623849913 @ 36.5826
39.96/40.14	c GLOBAL bounds - >= 13623849913 @ 36.6042
39.96/40.16	c GLOBAL bounds - >= 13623849913 @ 36.6263
39.96/40.19	c GLOBAL bounds - >= 13623849913 @ 36.6509
40.04/40.21	c GLOBAL bounds - >= 13623849913 @ 36.6738
40.04/40.24	c GLOBAL bounds - >= 13623849913 @ 36.6958
40.04/40.26	c GLOBAL bounds - >= 13623849913 @ 36.7183
40.04/40.29	c GLOBAL bounds - >= 13623849913 @ 36.7421
40.14/40.31	c GLOBAL bounds - >= 13623849913 @ 36.7649
40.14/40.34	c GLOBAL bounds - >= 13623849913 @ 36.7882
40.14/40.36	c GLOBAL bounds - >= 13623849913 @ 36.8091
40.14/40.39	c GLOBAL bounds - >= 13623849913 @ 36.8323
40.24/40.41	c GLOBAL bounds - >= 13623849913 @ 36.8534
40.24/40.43	c GLOBAL bounds - >= 13623849913 @ 36.8753
40.24/40.46	c GLOBAL bounds - >= 13623849913 @ 36.8956
40.24/40.48	c GLOBAL bounds - >= 13623849913 @ 36.9172
40.34/40.50	c GLOBAL bounds - >= 13623849913 @ 36.9376
40.34/40.53	c GLOBAL bounds - >= 13623849913 @ 36.9571
40.34/40.55	c GLOBAL bounds - >= 13623849913 @ 36.977
40.34/40.57	c GLOBAL bounds - >= 13623849913 @ 36.9986
40.44/40.60	c GLOBAL bounds - >= 13623849913 @ 37.0184
40.44/40.62	c GLOBAL bounds - >= 13623849913 @ 37.0383
40.86/41.07	c GLOBAL bounds - >= 13623849913 @ 37.4787
40.86/41.10	c GLOBAL bounds - >= 13623849913 @ 37.499
40.96/41.13	c GLOBAL bounds - >= 13623849913 @ 37.5253
40.96/41.15	c GLOBAL bounds - >= 13623849913 @ 37.5414
40.96/41.17	c GLOBAL bounds - >= 13623849913 @ 37.5571
53.61/53.87	c #Conflicts:      15000 | #Constraints:       9163
53.61/53.87	c #Conflicts:      16000 | #Constraints:      10163
53.61/53.87	c INPROCESSING
53.61/53.87	c GARBAGE COLLECT
53.61/53.87	c #Conflicts:      17000 | #Constraints:       6835
53.61/53.87	c #Conflicts:      18000 | #Constraints:       7835
53.61/53.87	c GLOBAL bounds - >= 13623849916 @ 50.1133
53.61/53.89	c GLOBAL bounds - >= 13623849916 @ 50.1353
53.71/53.91	c GLOBAL bounds - >= 13623849916 @ 50.1501
53.71/53.92	c GLOBAL bounds - >= 13623849916 @ 50.1526
53.71/53.93	c GLOBAL bounds - >= 13623849916 @ 50.1665
53.71/53.94	c GLOBAL bounds - >= 13623849916 @ 50.17
53.71/53.96	c GLOBAL bounds - >= 13623849916 @ 50.1858
53.71/53.96	c GLOBAL bounds - >= 13623849916 @ 50.1895
53.71/53.98	c GLOBAL bounds - >= 13623849916 @ 50.2038
53.71/53.99	c GLOBAL bounds - >= 13623849916 @ 50.2065
53.71/54.01	c GLOBAL bounds - >= 13623849916 @ 50.2219
53.82/54.01	c GLOBAL bounds - >= 13623849916 @ 50.2256
53.82/54.03	c GLOBAL bounds - >= 13623849916 @ 50.2434
53.82/54.03	c GLOBAL bounds - >= 13623849916 @ 50.246
53.82/54.06	c GLOBAL bounds - >= 13623849916 @ 50.2632
53.82/54.06	c GLOBAL bounds - >= 13623849916 @ 50.2658
53.82/54.08	c GLOBAL bounds - >= 13623849916 @ 50.2833
53.82/54.08	c GLOBAL bounds - >= 13623849916 @ 50.2861
53.82/54.10	c GLOBAL bounds - >= 13623849916 @ 50.3001
53.82/54.11	c GLOBAL bounds - >= 13623849916 @ 50.3029
53.91/54.13	c GLOBAL bounds - >= 13623849916 @ 50.3193
53.91/54.15	c GLOBAL bounds - >= 13623849916 @ 50.3349
53.91/54.17	c GLOBAL bounds - >= 13623849916 @ 50.3507
58.70/58.94	c #Conflicts:      19000 | #Constraints:       8868
58.70/58.94	c #Conflicts:      20000 | #Constraints:       9868
58.70/58.94	c GLOBAL bounds - >= 13623849924 @ 55.0638
58.70/58.97	c GLOBAL bounds - >= 13623849924 @ 55.0925
58.70/58.98	c GLOBAL bounds - >= 13623849924 @ 55.0947
58.70/59.00	c GLOBAL bounds - >= 13623849924 @ 55.1152
58.70/59.00	c GLOBAL bounds - >= 13623849924 @ 55.1179
58.80/59.03	c GLOBAL bounds - >= 13623849924 @ 55.1396
58.80/59.03	c GLOBAL bounds - >= 13623849924 @ 55.1415
58.80/59.06	c GLOBAL bounds - >= 13623849924 @ 55.1602
58.80/59.06	c GLOBAL bounds - >= 13623849924 @ 55.1629
58.80/59.09	c GLOBAL bounds - >= 13623849924 @ 55.1837
58.80/59.09	c GLOBAL bounds - >= 13623849924 @ 55.1854
58.90/59.11	c GLOBAL bounds - >= 13623849924 @ 55.2065
58.90/59.12	c GLOBAL bounds - >= 13623849924 @ 55.2093
58.90/59.14	c GLOBAL bounds - >= 13623849924 @ 55.2301
58.90/59.15	c GLOBAL bounds - >= 13623849924 @ 55.2328
58.90/59.17	c GLOBAL bounds - >= 13623849924 @ 55.2548
58.90/59.18	c GLOBAL bounds - >= 13623849924 @ 55.2566
58.99/59.20	c GLOBAL bounds - >= 13623849924 @ 55.2759
58.99/59.20	c GLOBAL bounds - >= 13623849924 @ 55.2797
58.99/59.23	c GLOBAL bounds - >= 13623849924 @ 55.2998
58.99/59.23	c GLOBAL bounds - >= 13623849924 @ 55.3009
58.99/59.26	c GLOBAL bounds - >= 13623849924 @ 55.3223
58.99/59.28	c GLOBAL bounds - >= 13623849924 @ 55.3425
59.09/59.31	c GLOBAL bounds - >= 13623849924 @ 55.364
59.09/59.33	c GLOBAL bounds - >= 13623849924 @ 55.3857
59.09/59.36	c GLOBAL bounds - >= 13623849924 @ 55.4066
59.09/59.39	c GLOBAL bounds - >= 13623849924 @ 55.43
59.19/59.41	c GLOBAL bounds - >= 13623849924 @ 55.4536
59.49/59.70	c GLOBAL bounds - >= 13623849924 @ 55.7403
61.09/61.37	c #Conflicts:      21000 | #Constraints:      10914
61.09/61.37	c INPROCESSING
61.09/61.37	c GARBAGE COLLECT
61.09/61.37	c GLOBAL bounds - >= 13623849928 @ 57.3858
61.09/61.39	c GLOBAL bounds - >= 13623849928 @ 57.4042
61.18/61.40	c GLOBAL bounds - >= 13623849928 @ 57.4044
61.18/61.41	c GLOBAL bounds - >= 13623849928 @ 57.417
61.18/61.42	c GLOBAL bounds - >= 13623849928 @ 57.4199
61.18/61.44	c GLOBAL bounds - >= 13623849928 @ 57.4348
61.18/61.44	c GLOBAL bounds - >= 13623849928 @ 57.4385
61.18/61.46	c GLOBAL bounds - >= 13623849928 @ 57.4506
61.18/61.46	c GLOBAL bounds - >= 13623849928 @ 57.4533
61.18/61.48	c GLOBAL bounds - >= 13623849928 @ 57.4646
61.18/61.48	c GLOBAL bounds - >= 13623849928 @ 57.4675
61.29/61.50	c GLOBAL bounds - >= 13623849928 @ 57.4796
61.29/61.50	c GLOBAL bounds - >= 13623849928 @ 57.4814
61.29/61.52	c GLOBAL bounds - >= 13623849928 @ 57.4969
61.29/61.52	c GLOBAL bounds - >= 13623849928 @ 57.5007
61.29/61.54	c GLOBAL bounds - >= 13623849928 @ 57.513
61.29/61.54	c GLOBAL bounds - >= 13623849928 @ 57.5157
61.29/61.56	c GLOBAL bounds - >= 13623849928 @ 57.5308
61.29/61.57	c GLOBAL bounds - >= 13623849928 @ 57.534
61.29/61.58	c GLOBAL bounds - >= 13623849928 @ 57.5471
61.29/61.59	c GLOBAL bounds - >= 13623849928 @ 57.5508
61.39/61.60	c GLOBAL bounds - >= 13623849928 @ 57.5624
61.39/61.62	c GLOBAL bounds - >= 13623849928 @ 57.5752
61.39/61.64	c GLOBAL bounds - >= 13623849928 @ 57.5898
66.76/67.11	c #Conflicts:      22000 | #Constraints:       7474
66.76/67.11	c #Conflicts:      23000 | #Constraints:       8474
66.76/67.11	c GLOBAL bounds - >= 13623849937 @ 62.9524
66.86/67.14	c GLOBAL bounds - >= 13623849937 @ 62.9784
66.86/67.16	c GLOBAL bounds - >= 13623849937 @ 62.994
66.86/67.16	c GLOBAL bounds - >= 13623849937 @ 62.9957
66.86/67.18	c GLOBAL bounds - >= 13623849937 @ 63.0097
66.86/67.18	c GLOBAL bounds - >= 13623849937 @ 63.0126
66.95/67.20	c GLOBAL bounds - >= 13623849937 @ 63.0266
66.95/67.21	c GLOBAL bounds - >= 13623849937 @ 63.0285
66.95/67.23	c GLOBAL bounds - >= 13623849937 @ 63.0462
66.95/67.23	c GLOBAL bounds - >= 13623849937 @ 63.0501
66.95/67.26	c GLOBAL bounds - >= 13623849937 @ 63.067
66.95/67.26	c GLOBAL bounds - >= 13623849937 @ 63.0702
66.95/67.28	c GLOBAL bounds - >= 13623849937 @ 63.091
66.95/67.29	c GLOBAL bounds - >= 13623849937 @ 63.094
67.05/67.31	c GLOBAL bounds - >= 13623849937 @ 63.1089
67.05/67.31	c GLOBAL bounds - >= 13623849937 @ 63.1111
67.05/67.33	c GLOBAL bounds - >= 13623849937 @ 63.1295
67.05/67.34	c GLOBAL bounds - >= 13623849937 @ 63.1332
67.05/67.36	c GLOBAL bounds - >= 13623849937 @ 63.1499
67.05/67.36	c GLOBAL bounds - >= 13623849937 @ 63.152
67.05/67.39	c GLOBAL bounds - >= 13623849937 @ 63.1678
67.15/67.41	c GLOBAL bounds - >= 13623849937 @ 63.1898
70.13/70.46	c #Conflicts:      24000 | #Constraints:       9507
70.13/70.46	c GLOBAL bounds - >= 13623849946 @ 66.1921
70.13/70.50	c GLOBAL bounds - >= 13623849946 @ 66.2219
70.24/70.50	c GLOBAL bounds - >= 13623849946 @ 66.2253
70.24/70.52	c GLOBAL bounds - >= 13623849946 @ 66.2453
70.24/70.53	c GLOBAL bounds - >= 13623849946 @ 66.2477
70.24/70.55	c GLOBAL bounds - >= 13623849946 @ 66.2653
70.24/70.56	c GLOBAL bounds - >= 13623849946 @ 66.2682
70.24/70.58	c GLOBAL bounds - >= 13623849946 @ 66.2902
70.24/70.59	c GLOBAL bounds - >= 13623849946 @ 66.2932
70.33/70.61	c GLOBAL bounds - >= 13623849946 @ 66.3141
70.33/70.62	c GLOBAL bounds - >= 13623849946 @ 66.3159
70.33/70.64	c GLOBAL bounds - >= 13623849946 @ 66.3363
70.33/70.64	c GLOBAL bounds - >= 13623849946 @ 66.3395
70.33/70.67	c GLOBAL bounds - >= 13623849946 @ 66.3597
70.33/70.67	c GLOBAL bounds - >= 13623849946 @ 66.3625
70.44/70.70	c GLOBAL bounds - >= 13623849946 @ 66.3817
70.44/70.70	c GLOBAL bounds - >= 13623849946 @ 66.3838
70.44/70.73	c GLOBAL bounds - >= 13623849946 @ 66.4049
70.44/70.73	c GLOBAL bounds - >= 13623849946 @ 66.4078
70.44/70.75	c GLOBAL bounds - >= 13623849946 @ 66.4242
70.44/70.76	c GLOBAL bounds - >= 13623849946 @ 66.4281
70.44/70.78	c GLOBAL bounds - >= 13623849946 @ 66.4512
70.53/70.82	c GLOBAL bounds - >= 13623849946 @ 66.4843
70.53/70.86	c GLOBAL bounds - >= 13623849946 @ 66.5154
70.53/70.89	c GLOBAL bounds - >= 13623849946 @ 66.5469
70.63/70.93	c GLOBAL bounds - >= 13623849946 @ 66.5797
70.63/70.96	c GLOBAL bounds - >= 13623849946 @ 66.6107
70.63/71.00	c GLOBAL bounds - >= 13623849946 @ 66.6423
70.74/71.03	c GLOBAL bounds - >= 13623849946 @ 66.6746
70.85/71.18	c GLOBAL bounds - >= 13623849946 @ 66.818
70.93/71.20	c GLOBAL bounds - >= 13623849946 @ 66.838
70.93/71.23	c GLOBAL bounds - >= 13623849946 @ 66.8575
76.42/76.76	c #Conflicts:      25000 | #Constraints:      10568
76.42/76.76	c INPROCESSING
76.42/76.76	c GARBAGE COLLECT
76.42/76.76	c #Conflicts:      26000 | #Constraints:       6907
76.42/76.76	c #Conflicts:      27000 | #Constraints:       7907
76.42/76.76	c GLOBAL bounds - >= 13623849948 @ 72.3017
76.42/76.78	c GLOBAL bounds - >= 13623849948 @ 72.3237
76.51/76.80	c GLOBAL bounds - >= 13623849948 @ 72.3404
76.51/76.81	c GLOBAL bounds - >= 13623849948 @ 72.3424
76.51/76.83	c GLOBAL bounds - >= 13623849948 @ 72.3576
76.51/76.83	c GLOBAL bounds - >= 13623849948 @ 72.3604
76.51/76.85	c GLOBAL bounds - >= 13623849948 @ 72.3755
76.51/76.85	c GLOBAL bounds - >= 13623849948 @ 72.3793
76.51/76.87	c GLOBAL bounds - >= 13623849948 @ 72.3924
76.51/76.88	c GLOBAL bounds - >= 13623849948 @ 72.3963
76.51/76.90	c GLOBAL bounds - >= 13623849948 @ 72.4128
76.62/76.90	c GLOBAL bounds - >= 13623849948 @ 72.4167
76.62/76.92	c GLOBAL bounds - >= 13623849948 @ 72.4313
76.62/76.92	c GLOBAL bounds - >= 13623849948 @ 72.4343
76.62/76.94	c GLOBAL bounds - >= 13623849948 @ 72.4497
76.62/76.95	c GLOBAL bounds - >= 13623849948 @ 72.4525
76.62/76.97	c GLOBAL bounds - >= 13623849948 @ 72.4685
76.62/76.97	c GLOBAL bounds - >= 13623849948 @ 72.4723
76.62/76.99	c GLOBAL bounds - >= 13623849948 @ 72.4888
76.62/76.99	c GLOBAL bounds - >= 13623849948 @ 72.4917
76.73/77.02	c GLOBAL bounds - >= 13623849948 @ 72.5083
76.73/77.04	c GLOBAL bounds - >= 13623849948 @ 72.5225
76.73/77.05	c GLOBAL bounds - >= 13623849948 @ 72.5369
77.01/77.32	c GLOBAL bounds - >= 13623849948 @ 72.7971
81.30/81.62	c #Conflicts:      28000 | #Constraints:       8922
81.30/81.62	c #Conflicts:      29000 | #Constraints:       9922
81.30/81.62	c GLOBAL bounds - >= 13623849955 @ 77.0221
81.30/81.65	c GLOBAL bounds - >= 13623849955 @ 77.0509
81.30/81.65	c GLOBAL bounds - >= 13623849955 @ 77.0532
81.30/81.67	c GLOBAL bounds - >= 13623849955 @ 77.0711
81.30/81.68	c GLOBAL bounds - >= 13623849955 @ 77.0751
81.41/81.70	c GLOBAL bounds - >= 13623849955 @ 77.0951
81.41/81.71	c GLOBAL bounds - >= 13623849955 @ 77.0992
81.41/81.73	c GLOBAL bounds - >= 13623849955 @ 77.1176
81.41/81.74	c GLOBAL bounds - >= 13623849955 @ 77.1206
81.41/81.76	c GLOBAL bounds - >= 13623849955 @ 77.1377
81.41/81.77	c GLOBAL bounds - >= 13623849955 @ 77.1399
81.41/81.79	c GLOBAL bounds - >= 13623849955 @ 77.1622
81.41/81.80	c GLOBAL bounds - >= 13623849955 @ 77.1652
81.50/81.82	c GLOBAL bounds - >= 13623849955 @ 77.1871
81.50/81.83	c GLOBAL bounds - >= 13623849955 @ 77.19
81.50/81.85	c GLOBAL bounds - >= 13623849955 @ 77.214
81.50/81.85	c GLOBAL bounds - >= 13623849955 @ 77.2163
81.50/81.88	c GLOBAL bounds - >= 13623849955 @ 77.2365
81.50/81.88	c GLOBAL bounds - >= 13623849955 @ 77.2396
81.61/81.91	c GLOBAL bounds - >= 13623849955 @ 77.2592
81.61/81.91	c GLOBAL bounds - >= 13623849955 @ 77.2612
81.61/81.94	c GLOBAL bounds - >= 13623849955 @ 77.2829
82.30/82.60	c GLOBAL bounds - >= 13623849955 @ 77.9287
82.30/82.64	c GLOBAL bounds - >= 13623849955 @ 77.9576
82.30/82.67	c GLOBAL bounds - >= 13623849955 @ 77.9846
82.40/82.71	c GLOBAL bounds - >= 13623849955 @ 78.0226
82.40/82.74	c GLOBAL bounds - >= 13623849955 @ 78.046
82.50/82.83	c GLOBAL bounds - >= 13623849955 @ 78.139
102.34/102.76	c #Conflicts:      30000 | #Constraints:      10968
102.34/102.76	c #Conflicts:      31000 | #Constraints:      11968
102.34/102.76	c #Conflicts:      32000 | #Constraints:      12968
102.34/102.76	c #Conflicts:      33000 | #Constraints:      13968
102.34/102.76	c GLOBAL bounds - >= 13623849964 @ 97.7585
102.44/102.81	c GLOBAL bounds - >= 13623849964 @ 97.8028
102.44/102.84	c GLOBAL bounds - >= 13623849964 @ 97.8316
102.44/102.84	c GLOBAL bounds - >= 13623849964 @ 97.8356
102.44/102.88	c GLOBAL bounds - >= 13623849964 @ 97.8643
102.44/102.88	c GLOBAL bounds - >= 13623849964 @ 97.8655
102.55/102.92	c GLOBAL bounds - >= 13623849964 @ 97.8945
102.55/102.92	c GLOBAL bounds - >= 13623849964 @ 97.8986
102.55/102.96	c GLOBAL bounds - >= 13623849964 @ 97.9305
102.55/102.96	c GLOBAL bounds - >= 13623849964 @ 97.9317
102.55/103.00	c GLOBAL bounds - >= 13623849964 @ 97.9638
102.55/103.00	c GLOBAL bounds - >= 13623849964 @ 97.9651
102.66/103.04	c GLOBAL bounds - >= 13623849964 @ 97.9928
102.66/103.04	c GLOBAL bounds - >= 13623849964 @ 97.997
102.66/103.08	c GLOBAL bounds - >= 13623849964 @ 98.0298
102.66/103.08	c GLOBAL bounds - >= 13623849964 @ 98.0331
102.75/103.12	c GLOBAL bounds - >= 13623849964 @ 98.0642
102.75/103.12	c GLOBAL bounds - >= 13623849964 @ 98.0673
102.75/103.16	c GLOBAL bounds - >= 13623849964 @ 98.0986
102.75/103.16	c GLOBAL bounds - >= 13623849964 @ 98.1026
102.84/103.20	c GLOBAL bounds - >= 13623849964 @ 98.1326
102.84/103.24	c GLOBAL bounds - >= 13623849964 @ 98.1682
102.95/103.31	c GLOBAL bounds - >= 13623849964 @ 98.238
103.04/103.40	c GLOBAL bounds - >= 13623849964 @ 98.3269
103.04/103.44	c GLOBAL bounds - >= 13623849964 @ 98.3584
103.04/103.47	c GLOBAL bounds - >= 13623849964 @ 98.3905
162.97/163.51	c #Conflicts:      34000 | #Constraints:      15001
162.97/163.51	c #Conflicts:      35000 | #Constraints:      16001
162.97/163.51	c #Conflicts:      36000 | #Constraints:      17001
162.97/163.51	c #Conflicts:      37000 | #Constraints:      18001
162.97/163.51	c INPROCESSING
162.97/163.51	c GARBAGE COLLECT
162.97/163.51	c #Conflicts:      38000 | #Constraints:      11017
162.97/163.51	c #Conflicts:      39000 | #Constraints:      12017
162.97/163.51	c #Conflicts:      40000 | #Constraints:      13017
162.97/163.51	c #Conflicts:      41000 | #Constraints:      14017
162.97/163.51	c #Conflicts:      42000 | #Constraints:      15017
162.97/163.51	c #Conflicts:      43000 | #Constraints:      16017
162.97/163.51	c INPROCESSING
162.97/163.51	c GARBAGE COLLECT
162.97/163.51	c #Conflicts:      44000 | #Constraints:       9985
162.97/163.51	c GLOBAL bounds - >= 13623849969 @ 157.883
162.97/163.54	c GLOBAL bounds - >= 13623849969 @ 157.915
162.97/163.55	c GLOBAL bounds - >= 13623849969 @ 157.916
162.97/163.55	c GLOBAL bounds - >= 13623849969 @ 157.917
162.97/163.55	c GLOBAL bounds - >= 13623849969 @ 157.919
162.97/163.58	c GLOBAL bounds - >= 13623849969 @ 157.943
162.97/163.58	c GLOBAL bounds - >= 13623849969 @ 157.947
163.07/163.61	c GLOBAL bounds - >= 13623849969 @ 157.97
163.07/163.61	c GLOBAL bounds - >= 13623849969 @ 157.973
163.07/163.64	c GLOBAL bounds - >= 13623849969 @ 157.994
163.07/163.64	c GLOBAL bounds - >= 13623849969 @ 157.997
163.07/163.67	c GLOBAL bounds - >= 13623849969 @ 158.023
163.07/163.68	c GLOBAL bounds - >= 13623849969 @ 158.026
163.16/163.70	c GLOBAL bounds - >= 13623849969 @ 158.052
163.16/163.71	c GLOBAL bounds - >= 13623849969 @ 158.055
163.16/163.74	c GLOBAL bounds - >= 13623849969 @ 158.082
163.16/163.74	c GLOBAL bounds - >= 13623849969 @ 158.084
163.16/163.77	c GLOBAL bounds - >= 13623849969 @ 158.108
163.16/163.77	c GLOBAL bounds - >= 13623849969 @ 158.111
163.27/163.80	c GLOBAL bounds - >= 13623849969 @ 158.136
163.27/163.81	c GLOBAL bounds - >= 13623849969 @ 158.139
163.27/163.84	c GLOBAL bounds - >= 13623849969 @ 158.163
163.27/163.84	c GLOBAL bounds - >= 13623849969 @ 158.165
163.27/163.87	c GLOBAL bounds - >= 13623849969 @ 158.189
163.27/163.90	c GLOBAL bounds - >= 13623849969 @ 158.213
163.36/163.92	c GLOBAL bounds - >= 13623849969 @ 158.239
163.36/163.95	c GLOBAL bounds - >= 13623849969 @ 158.262
163.36/163.98	c GLOBAL bounds - >= 13623849969 @ 158.285
163.36/164.00	c GLOBAL bounds - >= 13623849969 @ 158.308
163.48/164.03	c GLOBAL bounds - >= 13623849969 @ 158.331
163.48/164.06	c GLOBAL bounds - >= 13623849969 @ 158.355
182.62/183.21	c #Conflicts:      45000 | #Constraints:      11015
182.62/183.21	c #Conflicts:      46000 | #Constraints:      12015
182.62/183.21	c #Conflicts:      47000 | #Constraints:      13015
182.62/183.21	c #Conflicts:      48000 | #Constraints:      14015
182.62/183.21	c #Conflicts:      49000 | #Constraints:      15015
182.62/183.21	c GLOBAL bounds - >= 13623849973 @ 177.32
182.62/183.26	c GLOBAL bounds - >= 13623849973 @ 177.365
182.62/183.26	c GLOBAL bounds - >= 13623849973 @ 177.368
182.62/183.26	c GLOBAL bounds - >= 13623849973 @ 177.371
182.62/183.27	c GLOBAL bounds - >= 13623849973 @ 177.372
182.62/183.27	c GLOBAL bounds - >= 13623849973 @ 177.373
182.62/183.27	c GLOBAL bounds - >= 13623849973 @ 177.376
182.62/183.28	c GLOBAL bounds - >= 13623849973 @ 177.378
182.72/183.31	c GLOBAL bounds - >= 13623849973 @ 177.409
182.72/183.32	c GLOBAL bounds - >= 13623849973 @ 177.412
182.72/183.35	c GLOBAL bounds - >= 13623849973 @ 177.441
182.72/183.36	c GLOBAL bounds - >= 13623849973 @ 177.445
182.72/183.39	c GLOBAL bounds - >= 13623849973 @ 177.477
182.72/183.40	c GLOBAL bounds - >= 13623849973 @ 177.479
182.81/183.43	c GLOBAL bounds - >= 13623849973 @ 177.509
182.81/183.44	c GLOBAL bounds - >= 13623849973 @ 177.51
182.81/183.47	c GLOBAL bounds - >= 13623849973 @ 177.54
182.81/183.48	c GLOBAL bounds - >= 13623849973 @ 177.542
182.91/183.51	c GLOBAL bounds - >= 13623849973 @ 177.573
182.91/183.52	c GLOBAL bounds - >= 13623849973 @ 177.575
182.91/183.55	c GLOBAL bounds - >= 13623849973 @ 177.605
182.91/183.56	c GLOBAL bounds - >= 13623849973 @ 177.608
182.91/183.59	c GLOBAL bounds - >= 13623849973 @ 177.641
183.01/183.60	c GLOBAL bounds - >= 13623849973 @ 177.645
183.01/183.64	c GLOBAL bounds - >= 13623849973 @ 177.68
183.01/183.64	c GLOBAL bounds - >= 13623849973 @ 177.681
183.01/183.68	c GLOBAL bounds - >= 13623849973 @ 177.712
183.11/183.72	c GLOBAL bounds - >= 13623849973 @ 177.749
183.11/183.76	c GLOBAL bounds - >= 13623849973 @ 177.786
183.21/183.80	c GLOBAL bounds - >= 13623849973 @ 177.822
183.21/183.84	c GLOBAL bounds - >= 13623849973 @ 177.859
183.21/183.88	c GLOBAL bounds - >= 13623849973 @ 177.897
183.31/183.92	c GLOBAL bounds - >= 13623849973 @ 177.935
183.31/183.98	c GLOBAL bounds - >= 13623849973 @ 177.989
183.42/184.04	c GLOBAL bounds - >= 13623849973 @ 178.047
183.53/184.15	c GLOBAL bounds - >= 13623849973 @ 178.149
183.91/184.56	c GLOBAL bounds - >= 13623849973 @ 178.55
203.13/203.83	c #Conflicts:      50000 | #Constraints:      16063
203.13/203.83	c #Conflicts:      51000 | #Constraints:      17063
203.13/203.83	c #Conflicts:      52000 | #Constraints:      18063
203.13/203.83	c #Conflicts:      53000 | #Constraints:      19063
203.13/203.83	c #Conflicts:      54000 | #Constraints:      20063
203.13/203.83	c GLOBAL bounds - >= 13623849974 @ 197.538
203.13/203.89	c GLOBAL bounds - >= 13623849974 @ 197.599
203.13/203.89	c GLOBAL bounds - >= 13623849974 @ 197.6
203.24/203.94	c GLOBAL bounds - >= 13623849974 @ 197.643
203.24/203.94	c GLOBAL bounds - >= 13623849974 @ 197.647
203.24/203.99	c GLOBAL bounds - >= 13623849974 @ 197.688
203.24/203.99	c GLOBAL bounds - >= 13623849974 @ 197.689
203.35/204.04	c GLOBAL bounds - >= 13623849974 @ 197.73
203.35/204.04	c GLOBAL bounds - >= 13623849974 @ 197.733
203.35/204.09	c GLOBAL bounds - >= 13623849974 @ 197.776
203.35/204.10	c GLOBAL bounds - >= 13623849974 @ 197.78
203.45/204.14	c GLOBAL bounds - >= 13623849974 @ 197.821
203.45/204.15	c GLOBAL bounds - >= 13623849974 @ 197.824
203.45/204.19	c GLOBAL bounds - >= 13623849974 @ 197.868
203.45/204.20	c GLOBAL bounds - >= 13623849974 @ 197.869
203.54/204.24	c GLOBAL bounds - >= 13623849974 @ 197.915
203.54/204.25	c GLOBAL bounds - >= 13623849974 @ 197.919
203.64/204.30	c GLOBAL bounds - >= 13623849974 @ 197.96
203.64/204.30	c GLOBAL bounds - >= 13623849974 @ 197.962
203.64/204.35	c GLOBAL bounds - >= 13623849974 @ 198.004
203.64/204.35	c GLOBAL bounds - >= 13623849974 @ 198.007
203.73/204.40	c GLOBAL bounds - >= 13623849974 @ 198.049
203.73/204.45	c GLOBAL bounds - >= 13623849974 @ 198.093
203.84/204.50	c GLOBAL bounds - >= 13623849974 @ 198.138
203.84/204.55	c GLOBAL bounds - >= 13623849974 @ 198.186
204.73/205.44	c #Conflicts:      55000 | #Constraints:      21085
204.73/205.44	c GLOBAL bounds - >= 13623849974 @ 199.066
215.51/216.25	c #Conflicts:      56000 | #Constraints:      22085
215.51/216.25	c #Conflicts:      57000 | #Constraints:      23085
215.51/216.25	c INPROCESSING
215.51/216.25	c GARBAGE COLLECT
215.51/216.25	c #Conflicts:      58000 | #Constraints:      13354
215.51/216.25	c GLOBAL bounds - >= 13623849981 @ 209.652
215.51/216.30	c GLOBAL bounds - >= 13623849981 @ 209.693
215.60/216.33	c GLOBAL bounds - >= 13623849981 @ 209.72
215.60/216.33	c GLOBAL bounds - >= 13623849981 @ 209.723
215.60/216.36	c GLOBAL bounds - >= 13623849981 @ 209.75
215.60/216.37	c GLOBAL bounds - >= 13623849981 @ 209.752
215.70/216.40	c GLOBAL bounds - >= 13623849981 @ 209.782
215.70/216.40	c GLOBAL bounds - >= 13623849981 @ 209.784
215.70/216.44	c GLOBAL bounds - >= 13623849981 @ 209.812
215.70/216.44	c GLOBAL bounds - >= 13623849981 @ 209.816
215.70/216.47	c GLOBAL bounds - >= 13623849981 @ 209.845
215.70/216.48	c GLOBAL bounds - >= 13623849981 @ 209.848
215.80/216.51	c GLOBAL bounds - >= 13623849981 @ 209.877
215.80/216.52	c GLOBAL bounds - >= 13623849981 @ 209.879
215.80/216.55	c GLOBAL bounds - >= 13623849981 @ 209.909
215.80/216.56	c GLOBAL bounds - >= 13623849981 @ 209.913
215.80/216.59	c GLOBAL bounds - >= 13623849981 @ 209.942
215.80/216.59	c GLOBAL bounds - >= 13623849981 @ 209.945
215.89/216.63	c GLOBAL bounds - >= 13623849981 @ 209.975
215.89/216.63	c GLOBAL bounds - >= 13623849981 @ 209.978
215.89/216.67	c GLOBAL bounds - >= 13623849981 @ 210.007
216.00/216.71	c GLOBAL bounds - >= 13623849981 @ 210.04
217.19/217.93	c #Conflicts:      59000 | #Constraints:      14381
217.19/217.93	c GLOBAL bounds - >= 13623849981 @ 211.236
217.49/218.22	c GLOBAL bounds - >= 13623849981 @ 211.521
238.53/239.31	c #Conflicts:      60000 | #Constraints:      15381
238.53/239.31	c #Conflicts:      61000 | #Constraints:      16381
238.53/239.31	c #Conflicts:      62000 | #Constraints:      17381
238.53/239.31	c #Conflicts:      63000 | #Constraints:      18381
238.53/239.31	c #Conflicts:      64000 | #Constraints:      19381
238.53/239.31	c GLOBAL bounds - >= 13623849981 @ 232.402
253.77/254.66	c #Conflicts:      65000 | #Constraints:      20381
253.77/254.66	c INPROCESSING
253.77/254.66	c GARBAGE COLLECT
253.77/254.66	c #Conflicts:      66000 | #Constraints:      12319
253.77/254.66	c #Conflicts:      67000 | #Constraints:      13319
253.77/254.66	c GLOBAL bounds - >= 13623849987 @ 247.599
253.87/254.70	c GLOBAL bounds - >= 13623849987 @ 247.642
253.87/254.71	c GLOBAL bounds - >= 13623849987 @ 247.643
253.87/254.71	c GLOBAL bounds - >= 13623849987 @ 247.646
253.87/254.72	c GLOBAL bounds - >= 13623849987 @ 247.648
253.87/254.72	c GLOBAL bounds - >= 13623849987 @ 247.649
253.87/254.75	c GLOBAL bounds - >= 13623849987 @ 247.677
253.87/254.75	c GLOBAL bounds - >= 13623849987 @ 247.679
253.87/254.79	c GLOBAL bounds - >= 13623849987 @ 247.706
253.87/254.79	c GLOBAL bounds - >= 13623849987 @ 247.707
253.97/254.82	c GLOBAL bounds - >= 13623849987 @ 247.736
253.97/254.83	c GLOBAL bounds - >= 13623849987 @ 247.739
253.97/254.86	c GLOBAL bounds - >= 13623849987 @ 247.77
253.97/254.87	c GLOBAL bounds - >= 13623849987 @ 247.773
254.08/254.90	c GLOBAL bounds - >= 13623849987 @ 247.802
254.08/254.90	c GLOBAL bounds - >= 13623849987 @ 247.805
254.08/254.94	c GLOBAL bounds - >= 13623849987 @ 247.832
254.08/254.94	c GLOBAL bounds - >= 13623849987 @ 247.836
254.08/254.98	c GLOBAL bounds - >= 13623849987 @ 247.866
254.08/254.98	c GLOBAL bounds - >= 13623849987 @ 247.868
254.19/255.02	c GLOBAL bounds - >= 13623849987 @ 247.898
254.19/255.02	c GLOBAL bounds - >= 13623849987 @ 247.901
254.19/255.05	c GLOBAL bounds - >= 13623849987 @ 247.931
254.19/255.06	c GLOBAL bounds - >= 13623849987 @ 247.934
254.19/255.09	c GLOBAL bounds - >= 13623849987 @ 247.963
254.29/255.13	c GLOBAL bounds - >= 13623849987 @ 247.996
254.29/255.16	c GLOBAL bounds - >= 13623849987 @ 248.027
254.29/255.20	c GLOBAL bounds - >= 13623849987 @ 248.057
255.29/256.20	c #Conflicts:      68000 | #Constraints:      14356
255.29/256.20	c GLOBAL bounds - >= 13623849987 @ 249.04
255.37/256.23	c GLOBAL bounds - >= 13623849987 @ 249.078
255.37/256.27	c GLOBAL bounds - >= 13623849987 @ 249.114
255.48/256.31	c GLOBAL bounds - >= 13623849987 @ 249.149
267.16/268.04	c #Conflicts:      69000 | #Constraints:      15356
267.16/268.04	c #Conflicts:      70000 | #Constraints:      16356
267.16/268.04	c #Conflicts:      71000 | #Constraints:      17356
267.16/268.04	c #Conflicts:      72000 | #Constraints:      18356
267.16/268.04	c GLOBAL bounds - >= 13623849987 @ 260.733
309.62/310.66	c INPROCESSING
309.62/310.66	c GARBAGE COLLECT
309.62/310.66	c #Conflicts:      73000 | #Constraints:      11015
309.62/310.66	c #Conflicts:      74000 | #Constraints:      12015
309.62/310.66	c #Conflicts:      75000 | #Constraints:      13015
309.62/310.66	c #Conflicts:      76000 | #Constraints:      14015
309.62/310.66	c #Conflicts:      77000 | #Constraints:      15015
309.62/310.66	c #Conflicts:      78000 | #Constraints:      16015
309.62/310.66	c #Conflicts:      79000 | #Constraints:      17015
309.62/310.66	c #Conflicts:      80000 | #Constraints:      18015
309.62/310.66	c GLOBAL bounds - >= 13623849991 @ 302.953
309.72/310.72	c GLOBAL bounds - >= 13623849991 @ 303.01
309.72/310.72	c GLOBAL bounds - >= 13623849991 @ 303.01
309.72/310.72	c GLOBAL bounds - >= 13623849991 @ 303.013
309.72/310.77	c GLOBAL bounds - >= 13623849991 @ 303.047
309.72/310.77	c GLOBAL bounds - >= 13623849991 @ 303.05
309.81/310.81	c GLOBAL bounds - >= 13623849991 @ 303.09
309.81/310.82	c GLOBAL bounds - >= 13623849991 @ 303.093
309.81/310.86	c GLOBAL bounds - >= 13623849991 @ 303.13
309.81/310.86	c GLOBAL bounds - >= 13623849991 @ 303.132
309.91/310.90	c GLOBAL bounds - >= 13623849991 @ 303.171
309.91/310.91	c GLOBAL bounds - >= 13623849991 @ 303.173
309.91/310.95	c GLOBAL bounds - >= 13623849991 @ 303.208
309.91/310.95	c GLOBAL bounds - >= 13623849991 @ 303.212
309.91/311.00	c GLOBAL bounds - >= 13623849991 @ 303.247
309.91/311.00	c GLOBAL bounds - >= 13623849991 @ 303.25
310.03/311.04	c GLOBAL bounds - >= 13623849991 @ 303.287
310.03/311.05	c GLOBAL bounds - >= 13623849991 @ 303.29
310.03/311.09	c GLOBAL bounds - >= 13623849991 @ 303.325
310.03/311.09	c GLOBAL bounds - >= 13623849991 @ 303.327
310.12/311.14	c GLOBAL bounds - >= 13623849991 @ 303.368
310.12/311.14	c GLOBAL bounds - >= 13623849991 @ 303.371
310.12/311.19	c GLOBAL bounds - >= 13623849991 @ 303.412
310.21/311.25	c GLOBAL bounds - >= 13623849991 @ 303.476
310.32/311.30	c GLOBAL bounds - >= 13623849991 @ 303.519
310.32/311.34	c GLOBAL bounds - >= 13623849991 @ 303.558
310.32/311.38	c GLOBAL bounds - >= 13623849991 @ 303.6
310.41/311.43	c GLOBAL bounds - >= 13623849991 @ 303.643
310.41/311.48	c GLOBAL bounds - >= 13623849991 @ 303.69
310.51/311.52	c GLOBAL bounds - >= 13623849991 @ 303.733
310.51/311.57	c GLOBAL bounds - >= 13623849991 @ 303.773
310.61/311.61	c GLOBAL bounds - >= 13623849991 @ 303.814
447.07/448.59	c #Conflicts:      81000 | #Constraints:      19032
447.07/448.59	c #Conflicts:      82000 | #Constraints:      20032
447.07/448.59	c #Conflicts:      83000 | #Constraints:      21032
447.07/448.59	c #Conflicts:      84000 | #Constraints:      22032
447.07/448.59	c #Conflicts:      85000 | #Constraints:      23032
447.07/448.59	c #Conflicts:      86000 | #Constraints:      24032
447.07/448.59	c #Conflicts:      87000 | #Constraints:      25032
447.07/448.59	c #Conflicts:      88000 | #Constraints:      26032
447.07/448.59	c #Conflicts:      89000 | #Constraints:      27032
447.07/448.59	c #Conflicts:      90000 | #Constraints:      28032
447.07/448.59	c #Conflicts:      91000 | #Constraints:      29032
447.07/448.59	c INPROCESSING
447.07/448.59	c GARBAGE COLLECT
447.07/448.59	c #Conflicts:      92000 | #Constraints:      16567
447.07/448.59	c #Conflicts:      93000 | #Constraints:      17567
447.07/448.59	c #Conflicts:      94000 | #Constraints:      18567
447.07/448.59	c #Conflicts:      95000 | #Constraints:      19567
447.07/448.59	c #Conflicts:      96000 | #Constraints:      20567
447.07/448.59	c #Conflicts:      97000 | #Constraints:      21567
447.07/448.59	c #Conflicts:      98000 | #Constraints:      22567
447.07/448.59	c #Conflicts:      99000 | #Constraints:      23567
447.07/448.59	c #Conflicts:     100000 | #Constraints:      24567
447.07/448.59	c INPROCESSING
447.07/448.59	c GARBAGE COLLECT
447.07/448.59	c #Conflicts:     101000 | #Constraints:      14388
447.07/448.59	c #Conflicts:     102000 | #Constraints:      15388
447.07/448.59	c #Conflicts:     103000 | #Constraints:      16388
447.07/448.59	c #Conflicts:     104000 | #Constraints:      17388
447.07/448.59	c #Conflicts:     105000 | #Constraints:      18388
447.07/448.59	c #Conflicts:     106000 | #Constraints:      19388
447.07/448.59	c #Conflicts:     107000 | #Constraints:      20388
447.07/448.59	c GLOBAL bounds - >= 13623849992 @ 439.381
447.17/448.66	c GLOBAL bounds - >= 13623849992 @ 439.442
447.17/448.66	c GLOBAL bounds - >= 13623849992 @ 439.445
447.17/448.66	c GLOBAL bounds - >= 13623849992 @ 439.446
447.27/448.71	c GLOBAL bounds - >= 13623849992 @ 439.49
447.27/448.72	c GLOBAL bounds - >= 13623849992 @ 439.492
447.27/448.76	c GLOBAL bounds - >= 13623849992 @ 439.533
447.27/448.77	c GLOBAL bounds - >= 13623849992 @ 439.537
447.37/448.81	c GLOBAL bounds - >= 13623849992 @ 439.581
447.37/448.82	c GLOBAL bounds - >= 13623849992 @ 439.583
447.37/448.87	c GLOBAL bounds - >= 13623849992 @ 439.624
447.37/448.87	c GLOBAL bounds - >= 13623849992 @ 439.625
447.48/448.92	c GLOBAL bounds - >= 13623849992 @ 439.668
447.48/448.92	c GLOBAL bounds - >= 13623849992 @ 439.672
447.48/448.97	c GLOBAL bounds - >= 13623849992 @ 439.714
447.48/448.97	c GLOBAL bounds - >= 13623849992 @ 439.715
447.59/449.02	c GLOBAL bounds - >= 13623849992 @ 439.757
447.59/449.03	c GLOBAL bounds - >= 13623849992 @ 439.759
447.59/449.07	c GLOBAL bounds - >= 13623849992 @ 439.805
447.59/449.08	c GLOBAL bounds - >= 13623849992 @ 439.808
447.69/449.13	c GLOBAL bounds - >= 13623849992 @ 439.852
447.69/449.13	c GLOBAL bounds - >= 13623849992 @ 439.856
447.69/449.18	c GLOBAL bounds - >= 13623849992 @ 439.899
447.77/449.23	c GLOBAL bounds - >= 13623849992 @ 439.943
447.77/449.28	c GLOBAL bounds - >= 13623849992 @ 439.991
447.88/449.33	c GLOBAL bounds - >= 13623849992 @ 440.042
451.57/453.01	c #Conflicts:     108000 | #Constraints:      21402
451.57/453.01	c #Conflicts:     109000 | #Constraints:      22402
451.57/453.01	c INPROCESSING
451.57/453.01	c GARBAGE COLLECT
451.57/453.01	c GLOBAL bounds - >= 13623849992 @ 443.675
451.57/453.04	c GLOBAL bounds - >= 13623849992 @ 443.7
563.35/565.33	c #Conflicts:     110000 | #Constraints:      13263
563.35/565.33	c #Conflicts:     111000 | #Constraints:      14263
563.35/565.33	c #Conflicts:     112000 | #Constraints:      15263
563.35/565.33	c #Conflicts:     113000 | #Constraints:      16263
563.35/565.33	c #Conflicts:     114000 | #Constraints:      17263
563.35/565.33	c #Conflicts:     115000 | #Constraints:      18263
563.35/565.33	c #Conflicts:     116000 | #Constraints:      19263
563.35/565.33	c #Conflicts:     117000 | #Constraints:      20263
563.35/565.33	c #Conflicts:     118000 | #Constraints:      21263
563.35/565.33	c INPROCESSING
563.35/565.33	c GARBAGE COLLECT
563.35/565.33	c #Conflicts:     119000 | #Constraints:      12547
563.35/565.33	c #Conflicts:     120000 | #Constraints:      13547
563.35/565.33	c #Conflicts:     121000 | #Constraints:      14547
563.35/565.33	c #Conflicts:     122000 | #Constraints:      15547
563.35/565.33	c #Conflicts:     123000 | #Constraints:      16547
563.35/565.33	c #Conflicts:     124000 | #Constraints:      17547
563.35/565.33	c #Conflicts:     125000 | #Constraints:      18547
563.35/565.33	c #Conflicts:     126000 | #Constraints:      19547
563.35/565.33	c #Conflicts:     127000 | #Constraints:      20547
563.35/565.33	c #Conflicts:     128000 | #Constraints:      21547
563.35/565.33	c INPROCESSING
563.35/565.33	c GARBAGE COLLECT
563.35/565.33	c #Conflicts:     129000 | #Constraints:      12932
563.35/565.33	c #Conflicts:     130000 | #Constraints:      13932
563.35/565.33	c #Conflicts:     131000 | #Constraints:      14932
563.35/565.33	c #Conflicts:     132000 | #Constraints:      15932
563.35/565.33	c GLOBAL bounds - >= 13623849997 @ 554.605
563.35/565.38	c GLOBAL bounds - >= 13623849997 @ 554.654
563.35/565.38	c GLOBAL bounds - >= 13623849997 @ 554.656
563.35/565.38	c GLOBAL bounds - >= 13623849997 @ 554.659
563.45/565.42	c GLOBAL bounds - >= 13623849997 @ 554.694
563.45/565.43	c GLOBAL bounds - >= 13623849997 @ 554.698
563.45/565.47	c GLOBAL bounds - >= 13623849997 @ 554.731
563.45/565.47	c GLOBAL bounds - >= 13623849997 @ 554.733
563.56/565.51	c GLOBAL bounds - >= 13623849997 @ 554.767
563.56/565.51	c GLOBAL bounds - >= 13623849997 @ 554.77
563.56/565.55	c GLOBAL bounds - >= 13623849997 @ 554.803
563.56/565.56	c GLOBAL bounds - >= 13623849997 @ 554.807
563.65/565.60	c GLOBAL bounds - >= 13623849997 @ 554.842
563.65/565.60	c GLOBAL bounds - >= 13623849997 @ 554.844
563.65/565.64	c GLOBAL bounds - >= 13623849997 @ 554.882
563.65/565.65	c GLOBAL bounds - >= 13623849997 @ 554.883
563.65/565.69	c GLOBAL bounds - >= 13623849997 @ 554.92
563.65/565.69	c GLOBAL bounds - >= 13623849997 @ 554.922
563.76/565.73	c GLOBAL bounds - >= 13623849997 @ 554.959
563.76/565.73	c GLOBAL bounds - >= 13623849997 @ 554.96
563.76/565.77	c GLOBAL bounds - >= 13623849997 @ 554.994
563.76/565.78	c GLOBAL bounds - >= 13623849997 @ 554.995
563.85/565.82	c GLOBAL bounds - >= 13623849997 @ 555.031
563.85/565.86	c GLOBAL bounds - >= 13623849997 @ 555.067
563.95/565.90	c GLOBAL bounds - >= 13623849997 @ 555.102
564.94/566.95	c GLOBAL bounds - >= 13623849997 @ 556.123
933.90/937.31	c #Conflicts:     133000 | #Constraints:      16961
933.90/937.31	c #Conflicts:     134000 | #Constraints:      17961
933.90/937.31	c #Conflicts:     135000 | #Constraints:      18961
933.90/937.31	c #Conflicts:     136000 | #Constraints:      19961
933.90/937.31	c #Conflicts:     137000 | #Constraints:      20961
933.90/937.31	c #Conflicts:     138000 | #Constraints:      21961
933.90/937.31	c #Conflicts:     139000 | #Constraints:      22961
933.90/937.31	c #Conflicts:     140000 | #Constraints:      23961
933.90/937.31	c #Conflicts:     141000 | #Constraints:      24961
933.90/937.31	c #Conflicts:     142000 | #Constraints:      25961
933.90/937.31	c #Conflicts:     143000 | #Constraints:      26961
933.90/937.31	c #Conflicts:     144000 | #Constraints:      27961
933.90/937.31	c #Conflicts:     145000 | #Constraints:      28961
933.90/937.31	c #Conflicts:     146000 | #Constraints:      29961
933.90/937.31	c #Conflicts:     147000 | #Constraints:      30961
933.90/937.31	c #Conflicts:     148000 | #Constraints:      31961
933.90/937.31	c #Conflicts:     149000 | #Constraints:      32961
933.90/937.31	c #Conflicts:     150000 | #Constraints:      33961
933.90/937.31	c #Conflicts:     151000 | #Constraints:      34961
933.90/937.31	c #Conflicts:     152000 | #Constraints:      35961
933.90/937.31	c #Conflicts:     153000 | #Constraints:      36961
933.90/937.31	c INPROCESSING
933.90/937.31	c GARBAGE COLLECT
933.90/937.31	c #Conflicts:     154000 | #Constraints:      20655
933.90/937.31	c #Conflicts:     155000 | #Constraints:      21655
933.90/937.31	c #Conflicts:     156000 | #Constraints:      22655
933.90/937.31	c #Conflicts:     157000 | #Constraints:      23655
933.90/937.31	c #Conflicts:     158000 | #Constraints:      24655
933.90/937.31	c #Conflicts:     159000 | #Constraints:      25655
933.90/937.31	c #Conflicts:     160000 | #Constraints:      26655
933.90/937.31	c #Conflicts:     161000 | #Constraints:      27655
933.90/937.31	c #Conflicts:     162000 | #Constraints:      28655
933.90/937.31	c #Conflicts:     163000 | #Constraints:      29655
933.90/937.31	c INPROCESSING
933.90/937.31	c GARBAGE COLLECT
933.90/937.31	c #Conflicts:     164000 | #Constraints:      16604
933.90/937.31	c #Conflicts:     165000 | #Constraints:      17604
933.90/937.31	c #Conflicts:     166000 | #Constraints:      18604
933.90/937.31	c #Conflicts:     167000 | #Constraints:      19604
933.90/937.31	c #Conflicts:     168000 | #Constraints:      20604
933.90/937.31	c #Conflicts:     169000 | #Constraints:      21604
933.90/937.31	c #Conflicts:     170000 | #Constraints:      22604
933.90/937.31	c #Conflicts:     171000 | #Constraints:      23604
933.90/937.31	c GLOBAL bounds - >= 13623850005 @ 923.276
933.90/937.39	c GLOBAL bounds - >= 13623850005 @ 923.348
934.00/937.44	c GLOBAL bounds - >= 13623850005 @ 923.397
934.00/937.44	c GLOBAL bounds - >= 13623850005 @ 923.399
934.10/937.50	c GLOBAL bounds - >= 13623850005 @ 923.448
934.10/937.50	c GLOBAL bounds - >= 13623850005 @ 923.452
934.10/937.55	c GLOBAL bounds - >= 13623850005 @ 923.503
934.10/937.56	c GLOBAL bounds - >= 13623850005 @ 923.507
934.20/937.62	c GLOBAL bounds - >= 13623850005 @ 923.558
934.20/937.62	c GLOBAL bounds - >= 13623850005 @ 923.562
934.20/937.68	c GLOBAL bounds - >= 13623850005 @ 923.613
934.20/937.68	c GLOBAL bounds - >= 13623850005 @ 923.616
934.29/937.74	c GLOBAL bounds - >= 13623850005 @ 923.668
934.29/937.74	c GLOBAL bounds - >= 13623850005 @ 923.671
934.29/937.80	c GLOBAL bounds - >= 13623850005 @ 923.722
934.39/937.80	c GLOBAL bounds - >= 13623850005 @ 923.725
934.39/937.86	c GLOBAL bounds - >= 13623850005 @ 923.778
934.39/937.86	c GLOBAL bounds - >= 13623850005 @ 923.78
934.49/937.92	c GLOBAL bounds - >= 13623850005 @ 923.832
934.49/937.92	c GLOBAL bounds - >= 13623850005 @ 923.834
934.49/937.98	c GLOBAL bounds - >= 13623850005 @ 923.885
934.61/938.03	c GLOBAL bounds - >= 13623850005 @ 923.939
934.61/938.09	c GLOBAL bounds - >= 13623850005 @ 923.99
934.71/938.14	c GLOBAL bounds - >= 13623850005 @ 924.044
1623.31/1628.69	c #Conflicts:     172000 | #Constraints:      24634
1623.31/1628.69	c #Conflicts:     173000 | #Constraints:      25634
1623.31/1628.69	c #Conflicts:     174000 | #Constraints:      26634
1623.31/1628.69	c INPROCESSING
1623.31/1628.69	c GARBAGE COLLECT
1623.31/1628.69	c #Conflicts:     175000 | #Constraints:      15093
1623.31/1628.69	c #Conflicts:     176000 | #Constraints:      16093
1623.31/1628.69	c #Conflicts:     177000 | #Constraints:      17093
1623.31/1628.69	c #Conflicts:     178000 | #Constraints:      18093
1623.31/1628.69	c #Conflicts:     179000 | #Constraints:      19093
1623.31/1628.69	c #Conflicts:     180000 | #Constraints:      20093
1623.31/1628.69	c #Conflicts:     181000 | #Constraints:      21093
1623.31/1628.69	c #Conflicts:     182000 | #Constraints:      22093
1623.31/1628.69	c #Conflicts:     183000 | #Constraints:      23093
1623.31/1628.69	c #Conflicts:     184000 | #Constraints:      24093
1623.31/1628.69	c #Conflicts:     185000 | #Constraints:      25093
1623.31/1628.69	c #Conflicts:     186000 | #Constraints:      26093
1623.31/1628.69	c INPROCESSING
1623.31/1628.69	c GARBAGE COLLECT
1623.31/1628.69	c #Conflicts:     187000 | #Constraints:      15236
1623.31/1628.69	c #Conflicts:     188000 | #Constraints:      16236
1623.31/1628.69	c #Conflicts:     189000 | #Constraints:      17236
1623.31/1628.69	c #Conflicts:     190000 | #Constraints:      18236
1623.31/1628.69	c #Conflicts:     191000 | #Constraints:      19236
1623.31/1628.69	c #Conflicts:     192000 | #Constraints:      20236
1623.31/1628.69	c #Conflicts:     193000 | #Constraints:      21236
1623.31/1628.69	c #Conflicts:     194000 | #Constraints:      22236
1623.31/1628.69	c #Conflicts:     195000 | #Constraints:      23236
1623.31/1628.69	c #Conflicts:     196000 | #Constraints:      24236
1623.31/1628.69	c #Conflicts:     197000 | #Constraints:      25236
1623.31/1628.69	c INPROCESSING
1623.31/1628.69	c GARBAGE COLLECT
1623.31/1628.69	c #Conflicts:     198000 | #Constraints:      14605
1623.31/1628.69	c #Conflicts:     199000 | #Constraints:      15605
1623.31/1628.69	c #Conflicts:     200000 | #Constraints:      16605
1623.31/1628.69	c #Conflicts:     201000 | #Constraints:      17605
1623.31/1628.69	c #Conflicts:     202000 | #Constraints:      18605
1623.31/1628.69	c #Conflicts:     203000 | #Constraints:      19605
1623.31/1628.69	c #Conflicts:     204000 | #Constraints:      20605
1623.31/1628.69	c #Conflicts:     205000 | #Constraints:      21605
1623.31/1628.69	c #Conflicts:     206000 | #Constraints:      22605
1623.31/1628.69	c #Conflicts:     207000 | #Constraints:      23605
1623.31/1628.69	c #Conflicts:     208000 | #Constraints:      24605
1623.31/1628.69	c #Conflicts:     209000 | #Constraints:      25605
1623.31/1628.69	c #Conflicts:     210000 | #Constraints:      26605
1623.31/1628.69	c #Conflicts:     211000 | #Constraints:      27605
1623.31/1628.69	c #Conflicts:     212000 | #Constraints:      28605
1623.31/1628.69	c #Conflicts:     213000 | #Constraints:      29605
1623.31/1628.69	c #Conflicts:     214000 | #Constraints:      30605
1623.31/1628.69	c #Conflicts:     215000 | #Constraints:      31605
1623.31/1628.69	c #Conflicts:     216000 | #Constraints:      32605
1623.31/1628.69	c #Conflicts:     217000 | #Constraints:      33605
1623.31/1628.69	c #Conflicts:     218000 | #Constraints:      34605
1623.31/1628.69	c #Conflicts:     219000 | #Constraints:      35605
1623.31/1628.69	c #Conflicts:     220000 | #Constraints:      36605
1623.31/1628.69	c #Conflicts:     221000 | #Constraints:      37605
1623.31/1628.69	c #Conflicts:     222000 | #Constraints:      38605
1623.31/1628.69	c #Conflicts:     223000 | #Constraints:      39605
1623.31/1628.69	c #Conflicts:     224000 | #Constraints:      40605
1623.31/1628.69	c #Conflicts:     225000 | #Constraints:      41605
1623.31/1628.69	c #Conflicts:     226000 | #Constraints:      42605
1623.31/1628.69	c #Conflicts:     227000 | #Constraints:      43605
1623.31/1628.69	c #Conflicts:     228000 | #Constraints:      44605
1623.31/1628.69	c INPROCESSING
1623.31/1628.69	c GARBAGE COLLECT
1623.31/1628.69	c #Conflicts:     229000 | #Constraints:      24086
1623.31/1628.69	c #Conflicts:     230000 | #Constraints:      25086
1623.31/1628.69	c #Conflicts:     231000 | #Constraints:      26086
1623.31/1628.69	c #Conflicts:     232000 | #Constraints:      27086
1623.31/1628.69	c #Conflicts:     233000 | #Constraints:      28086
1623.31/1628.69	c GLOBAL bounds - >= 13623850012 @ 1610.49
1623.41/1628.78	c GLOBAL bounds - >= 13623850012 @ 1610.57
1623.41/1628.78	c GLOBAL bounds - >= 13623850012 @ 1610.57
1623.41/1628.79	c GLOBAL bounds - >= 13623850012 @ 1610.58
1623.41/1628.79	c GLOBAL bounds - >= 13623850012 @ 1610.58
1623.51/1628.86	c GLOBAL bounds - >= 13623850012 @ 1610.64
1623.51/1628.86	c GLOBAL bounds - >= 13623850012 @ 1610.64
1623.62/1628.93	c GLOBAL bounds - >= 13623850012 @ 1610.7
1623.62/1628.93	c GLOBAL bounds - >= 13623850012 @ 1610.71
1623.62/1629.00	c GLOBAL bounds - >= 13623850012 @ 1610.77
1623.62/1629.00	c GLOBAL bounds - >= 13623850012 @ 1610.77
1623.73/1629.07	c GLOBAL bounds - >= 13623850012 @ 1610.83
1623.73/1629.07	c GLOBAL bounds - >= 13623850012 @ 1610.84
1623.83/1629.14	c GLOBAL bounds - >= 13623850012 @ 1610.89
1623.83/1629.14	c GLOBAL bounds - >= 13623850012 @ 1610.9
1623.91/1629.21	c GLOBAL bounds - >= 13623850012 @ 1610.96
1623.91/1629.22	c GLOBAL bounds - >= 13623850012 @ 1610.96
1623.91/1629.28	c GLOBAL bounds - >= 13623850012 @ 1611.02
1623.91/1629.29	c GLOBAL bounds - >= 13623850012 @ 1611.02
1624.01/1629.35	c GLOBAL bounds - >= 13623850012 @ 1611.09
1624.01/1629.36	c GLOBAL bounds - >= 13623850012 @ 1611.09
1624.11/1629.43	c GLOBAL bounds - >= 13623850012 @ 1611.15
1624.11/1629.43	c GLOBAL bounds - >= 13623850012 @ 1611.16
1624.21/1629.50	c GLOBAL bounds - >= 13623850012 @ 1611.22
1624.21/1629.57	c GLOBAL bounds - >= 13623850012 @ 1611.29
2094.91/2101.63	c #Conflicts:     234000 | #Constraints:      29119
2094.91/2101.63	c #Conflicts:     235000 | #Constraints:      30119
2094.91/2101.63	c #Conflicts:     236000 | #Constraints:      31119
2094.91/2101.63	c #Conflicts:     237000 | #Constraints:      32119
2094.91/2101.63	c #Conflicts:     238000 | #Constraints:      33119
2094.91/2101.63	c #Conflicts:     239000 | #Constraints:      34119
2094.91/2101.63	c #Conflicts:     240000 | #Constraints:      35119
2094.91/2101.63	c #Conflicts:     241000 | #Constraints:      36119
2094.91/2101.63	c INPROCESSING
2094.91/2101.63	c GARBAGE COLLECT
2094.91/2101.63	c #Conflicts:     242000 | #Constraints:      20007
2094.91/2101.63	c #Conflicts:     243000 | #Constraints:      21007
2094.91/2101.63	c #Conflicts:     244000 | #Constraints:      22007
2094.91/2101.63	c #Conflicts:     245000 | #Constraints:      23007
2094.91/2101.63	c #Conflicts:     246000 | #Constraints:      24007
2094.91/2101.63	c #Conflicts:     247000 | #Constraints:      25007
2094.91/2101.63	c #Conflicts:     248000 | #Constraints:      26007
2094.91/2101.63	c #Conflicts:     249000 | #Constraints:      27007
2094.91/2101.63	c #Conflicts:     250000 | #Constraints:      28007
2094.91/2101.63	c #Conflicts:     251000 | #Constraints:      29007
2094.91/2101.63	c #Conflicts:     252000 | #Constraints:      30007
2094.91/2101.63	c #Conflicts:     253000 | #Constraints:      31007
2094.91/2101.63	c #Conflicts:     254000 | #Constraints:      32007
2094.91/2101.63	c INPROCESSING
2094.91/2101.63	c GARBAGE COLLECT
2094.91/2101.63	c #Conflicts:     255000 | #Constraints:      17999
2094.91/2101.63	c #Conflicts:     256000 | #Constraints:      18999
2094.91/2101.63	c #Conflicts:     257000 | #Constraints:      19999
2094.91/2101.63	c #Conflicts:     258000 | #Constraints:      20999
2094.91/2101.63	c #Conflicts:     259000 | #Constraints:      21999
2094.91/2101.63	c #Conflicts:     260000 | #Constraints:      22999
2094.91/2101.63	c #Conflicts:     261000 | #Constraints:      23999
2094.91/2101.63	c #Conflicts:     262000 | #Constraints:      24999
2094.91/2101.63	c #Conflicts:     263000 | #Constraints:      25999
2094.91/2101.63	c #Conflicts:     264000 | #Constraints:      26999
2094.91/2101.63	c #Conflicts:     265000 | #Constraints:      27999
2094.91/2101.63	c #Conflicts:     266000 | #Constraints:      28999
2094.91/2101.63	c #Conflicts:     267000 | #Constraints:      29999
2094.91/2101.63	c #Conflicts:     268000 | #Constraints:      30999
2094.91/2101.63	c #Conflicts:     269000 | #Constraints:      31999
2094.91/2101.63	c #Conflicts:     270000 | #Constraints:      32999
2094.91/2101.63	c #Conflicts:     271000 | #Constraints:      33999
2094.91/2101.63	c #Conflicts:     272000 | #Constraints:      34999
2094.91/2101.63	c #Conflicts:     273000 | #Constraints:      35999
2094.91/2101.63	c #Conflicts:     274000 | #Constraints:      36999
2094.91/2101.63	c #Conflicts:     275000 | #Constraints:      37999
2094.91/2101.63	c #Conflicts:     276000 | #Constraints:      38999
2094.91/2101.63	c #Conflicts:     277000 | #Constraints:      39999
2094.91/2101.63	c #Conflicts:     278000 | #Constraints:      40999
2094.91/2101.63	c #Conflicts:     279000 | #Constraints:      41999
2094.91/2101.63	c #Conflicts:     280000 | #Constraints:      42999
2094.91/2101.63	c GLOBAL bounds - >= 13623850021 @ 2080.26
2095.01/2101.76	c GLOBAL bounds - >= 13623850021 @ 2080.39
2095.01/2101.77	c GLOBAL bounds - >= 13623850021 @ 2080.39
2095.10/2101.87	c GLOBAL bounds - >= 13623850021 @ 2080.49
2095.10/2101.87	c GLOBAL bounds - >= 13623850021 @ 2080.49
2095.21/2101.97	c GLOBAL bounds - >= 13623850021 @ 2080.59
2095.21/2101.97	c GLOBAL bounds - >= 13623850021 @ 2080.59
2095.32/2102.08	c GLOBAL bounds - >= 13623850021 @ 2080.69
2095.32/2102.08	c GLOBAL bounds - >= 13623850021 @ 2080.69
2095.42/2102.18	c GLOBAL bounds - >= 13623850021 @ 2080.79
2095.42/2102.19	c GLOBAL bounds - >= 13623850021 @ 2080.79
2095.51/2102.29	c GLOBAL bounds - >= 13623850021 @ 2080.89
2095.51/2102.29	c GLOBAL bounds - >= 13623850021 @ 2080.89
2095.60/2102.39	c GLOBAL bounds - >= 13623850021 @ 2080.99
2095.70/2102.40	c GLOBAL bounds - >= 13623850021 @ 2081
2095.81/2102.50	c GLOBAL bounds - >= 13623850021 @ 2081.09
2095.81/2102.51	c GLOBAL bounds - >= 13623850021 @ 2081.09
2095.91/2102.61	c GLOBAL bounds - >= 13623850021 @ 2081.19
2095.91/2102.61	c GLOBAL bounds - >= 13623850021 @ 2081.2
2096.00/2102.71	c GLOBAL bounds - >= 13623850021 @ 2081.29
2096.00/2102.71	c GLOBAL bounds - >= 13623850021 @ 2081.29
2096.11/2102.82	c GLOBAL bounds - >= 13623850021 @ 2081.39
2096.32/2103.10	c GLOBAL bounds - >= 13623850021 @ 2081.67
2096.60/2103.37	c GLOBAL bounds - >= 13623850021 @ 2081.94
2097.32/2104.06	c GLOBAL bounds - >= 13623850021 @ 2082.62
2841.82/2850.92	c #Conflicts:     281000 | #Constraints:      44048
2841.82/2850.92	c #Conflicts:     282000 | #Constraints:      45048
2841.82/2850.92	c #Conflicts:     283000 | #Constraints:      46048
2841.82/2850.92	c #Conflicts:     284000 | #Constraints:      47048
2841.82/2850.92	c #Conflicts:     285000 | #Constraints:      48048
2841.82/2850.92	c #Conflicts:     286000 | #Constraints:      49048
2841.82/2850.92	c #Conflicts:     287000 | #Constraints:      50048
2841.82/2850.92	c #Conflicts:     288000 | #Constraints:      51048
2841.82/2850.92	c #Conflicts:     289000 | #Constraints:      52048
2841.82/2850.92	c #Conflicts:     290000 | #Constraints:      53048
2841.82/2850.92	c INPROCESSING
2841.82/2850.92	c GARBAGE COLLECT
2841.82/2850.92	c #Conflicts:     291000 | #Constraints:      28746
2841.82/2850.92	c #Conflicts:     292000 | #Constraints:      29746
2841.82/2850.92	c #Conflicts:     293000 | #Constraints:      30746
2841.82/2850.92	c #Conflicts:     294000 | #Constraints:      31746
2841.82/2850.92	c #Conflicts:     295000 | #Constraints:      32746
2841.82/2850.92	c #Conflicts:     296000 | #Constraints:      33746
2841.82/2850.92	c #Conflicts:     297000 | #Constraints:      34746
2841.82/2850.92	c #Conflicts:     298000 | #Constraints:      35746
2841.82/2850.92	c #Conflicts:     299000 | #Constraints:      36746
2841.82/2850.92	c #Conflicts:     300000 | #Constraints:      37746
2841.82/2850.92	c #Conflicts:     301000 | #Constraints:      38746
2841.82/2850.92	c #Conflicts:     302000 | #Constraints:      39746
2841.82/2850.92	c #Conflicts:     303000 | #Constraints:      40746
2841.82/2850.92	c #Conflicts:     304000 | #Constraints:      41746
2841.82/2850.92	c INPROCESSING
2841.82/2850.92	c GARBAGE COLLECT
2841.82/2850.92	c #Conflicts:     305000 | #Constraints:      23001
2841.82/2850.92	c #Conflicts:     306000 | #Constraints:      24001
2841.82/2850.92	c #Conflicts:     307000 | #Constraints:      25001
2841.82/2850.92	c #Conflicts:     308000 | #Constraints:      26001
2841.82/2850.92	c #Conflicts:     309000 | #Constraints:      27001
2841.82/2850.92	c #Conflicts:     310000 | #Constraints:      28001
2841.82/2850.92	c #Conflicts:     311000 | #Constraints:      29001
2841.82/2850.92	c #Conflicts:     312000 | #Constraints:      30001
2841.82/2850.92	c #Conflicts:     313000 | #Constraints:      31001
2841.82/2850.92	c #Conflicts:     314000 | #Constraints:      32001
2841.82/2850.92	c #Conflicts:     315000 | #Constraints:      33001
2841.82/2850.92	c #Conflicts:     316000 | #Constraints:      34001
2841.82/2850.92	c #Conflicts:     317000 | #Constraints:      35001
2841.82/2850.92	c #Conflicts:     318000 | #Constraints:      36001
2841.82/2850.92	c INPROCESSING
2841.82/2850.92	c GARBAGE COLLECT
2841.82/2850.92	c #Conflicts:     319000 | #Constraints:      19929
2841.82/2850.92	c #Conflicts:     320000 | #Constraints:      20929
2841.82/2850.92	c #Conflicts:     321000 | #Constraints:      21929
2841.82/2850.92	c #Conflicts:     322000 | #Constraints:      22929
2841.82/2850.92	c #Conflicts:     323000 | #Constraints:      23929
2841.82/2850.92	c #Conflicts:     324000 | #Constraints:      24929
2841.82/2850.92	c #Conflicts:     325000 | #Constraints:      25929
2841.82/2850.92	c #Conflicts:     326000 | #Constraints:      26929
2841.82/2850.92	c #Conflicts:     327000 | #Constraints:      27929
2841.82/2850.92	c #Conflicts:     328000 | #Constraints:      28929
2841.82/2850.92	c #Conflicts:     329000 | #Constraints:      29929
2841.82/2850.92	c #Conflicts:     330000 | #Constraints:      30929
2841.82/2850.92	c #Conflicts:     331000 | #Constraints:      31929
2841.82/2850.92	c #Conflicts:     332000 | #Constraints:      32929
2841.82/2850.92	c #Conflicts:     333000 | #Constraints:      33929
2841.82/2850.92	c INPROCESSING
2841.82/2850.92	c GARBAGE COLLECT
2841.82/2850.92	c #Conflicts:     334000 | #Constraints:      19095
2841.82/2850.92	c #Conflicts:     335000 | #Constraints:      20095
2841.82/2850.92	c #Conflicts:     336000 | #Constraints:      21095
2841.82/2850.92	c #Conflicts:     337000 | #Constraints:      22095
2841.82/2850.92	c #Conflicts:     338000 | #Constraints:      23095
2841.82/2850.92	c #Conflicts:     339000 | #Constraints:      24095
2841.82/2850.92	c #Conflicts:     340000 | #Constraints:      25095
2841.82/2850.92	c #Conflicts:     341000 | #Constraints:      26095
2841.82/2850.92	c #Conflicts:     342000 | #Constraints:      27095
2841.82/2850.92	c #Conflicts:     343000 | #Constraints:      28095
2841.82/2850.92	c #Conflicts:     344000 | #Constraints:      29095
2841.82/2850.92	c #Conflicts:     345000 | #Constraints:      30095
2841.82/2850.92	c #Conflicts:     346000 | #Constraints:      31095
2841.82/2850.92	c #Conflicts:     347000 | #Constraints:      32095
2841.82/2850.92	c #Conflicts:     348000 | #Constraints:      33095
2841.82/2850.92	c #Conflicts:     349000 | #Constraints:      34095
2841.82/2850.92	c #Conflicts:     350000 | #Constraints:      35095
2841.82/2850.92	c #Conflicts:     351000 | #Constraints:      36095
2841.82/2850.92	c #Conflicts:     352000 | #Constraints:      37095
2841.82/2850.92	c #Conflicts:     353000 | #Constraints:      38095
2841.82/2850.92	c #Conflicts:     354000 | #Constraints:      39095
2841.82/2850.92	c #Conflicts:     355000 | #Constraints:      40095
2841.82/2850.92	c #Conflicts:     356000 | #Constraints:      41095
2841.82/2850.92	c #Conflicts:     357000 | #Constraints:      42095
3600.04/3611.50	c #Conflicts:     358000 | #Constraints:      43095
3600.04/3611.50	c #Conflicts:     359000 | #Constraints:      44095
3600.04/3611.50	c #Conflicts:     360000 | #Constraints:      45095
3600.04/3611.50	c #Conflicts:     361000 | #Constraints:      46095
3600.04/3611.50	c #Conflicts:     362000 | #Constraints:      47095
3600.04/3611.50	c #Conflicts:     363000 | #Constraints:      48095
3600.04/3611.50	c #Conflicts:     364000 | #Constraints:      49095
3600.04/3611.50	c #Conflicts:     365000 | #Constraints:      50095
3600.04/3611.50	c #Conflicts:     366000 | #Constraints:      51095
3600.04/3611.50	c #Conflicts:     367000 | #Constraints:      52095
3600.04/3611.50	c #Conflicts:     368000 | #Constraints:      53095
3600.04/3611.50	c #Conflicts:     369000 | #Constraints:      54095
3600.04/3611.50	c #Conflicts:     370000 | #Constraints:      55095
3600.04/3611.50	c #Conflicts:     371000 | #Constraints:      56095
3600.04/3611.50	c #Conflicts:     372000 | #Constraints:      57095
3600.04/3611.50	c #Conflicts:     373000 | #Constraints:      58095
3600.04/3611.50	c #Conflicts:     374000 | #Constraints:      59095
3600.04/3611.50	c INPROCESSING
3600.04/3611.50	c GARBAGE COLLECT
3600.04/3611.50	c #Conflicts:     375000 | #Constraints:      31728
3600.04/3611.50	c #Conflicts:     376000 | #Constraints:      32728
3600.04/3611.50	c #Conflicts:     377000 | #Constraints:      33728
3600.04/3611.50	c #Conflicts:     378000 | #Constraints:      34728
3600.04/3611.50	c cpu time 3581.28 s
3600.04/3611.50	c deterministic time 38160657 3.82e+07
3600.04/3611.50	c optimization time 3579.59 s
3600.04/3611.50	c total solve time 1.32054 s
3600.04/3611.50	c core-guided solve time 0 s
3600.04/3611.50	c propagation time 0.843871 s
3600.04/3611.50	c conflict analysis time 0.147059 s
3600.04/3611.50	c propagations 1542451
3600.04/3611.50	c resolve steps 0
3600.04/3611.50	c decisions 2226590
3600.04/3611.50	c conflicts 479
3600.04/3611.50	c restarts 4
3600.04/3611.50	c inprocessing phases 0
3600.04/3611.50	c garbage collections 0 ,( -nan )
3600.04/3611.50	c input clauses 32804 ,( 97.62 )
3600.04/3611.50	c input cardinalities 314 ,( 0.93 )
3600.04/3611.50	c input general constraints 485 ,( 1.44 )
3600.04/3611.50	c input average constraint length 41.45
3600.04/3611.50	c input average constraint degree 41842717829.43
3600.04/3611.50	c learned clauses 484 ,( 99.79 )
3600.04/3611.50	c learned cardinalities 0 ,( 0.00 )
3600.04/3611.50	c learned general constraints 1 ,( 0.21 )
3600.04/3611.50	c learned average constraint length 3.94
3600.04/3611.50	c learned average constraint degree 1.00
3600.04/3611.50	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3611.50	c counting CF 32, 64, 128, Arb: 94 , 393 , 0 , 0
3600.04/3611.50	c watched   constraints 0 ,( 0.00 ) 
3600.04/3611.50	c counting  constraints 486 ,( 100.00 ) 
3600.04/3611.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 706908 , 4175 , 17040006 ,( 0 , 17040006 )
3600.04/3611.50	c gcd simplifications 0
3600.04/3611.50	c detected cardinalities 0
3600.04/3611.50	c weakened non-implied lits 0
3600.04/3611.50	c weakened non-implying lits 0
3600.04/3611.50	c original variables 7905
3600.04/3611.50	c clausal propagations 696828
3600.04/3611.50	c cardinality propagations 1292
3600.04/3611.50	c watched propagations 0
3600.04/3611.50	c counting propagations 137563
3600.04/3611.50	c watch lookups 29501232
3600.04/3611.50	c watch backjump lookups 0
3600.04/3611.50	c watch checks 235782
3600.04/3611.50	c propagation checks 871050
3600.04/3611.50	c constraint additions 12119
3600.04/3611.50	c trail pops 3768432
3600.04/3611.50	c formula constraints 32177
3600.04/3611.50	c learned constraints 485
3600.04/3611.50	c bound constraints 0
3600.04/3611.50	c core-guided constraints 0
3600.04/3611.50	c encountered formula constraints 479
3600.04/3611.50	c encountered learned constraints 0
3600.04/3611.50	c encountered bound constraints 0
3600.04/3611.50	c encountered core-guided constraints 0
3600.04/3611.50	c LP total time 0.271955 s
3600.04/3611.50	c LP solve time 0.25 s
3600.04/3611.50	c LP constraints added 32177
3600.04/3611.50	c LP constraints removed 0
3600.04/3611.50	c LP pivots internal 2000
3600.04/3611.50	c LP pivots root 1000
3600.04/3611.50	c LP calls 2
3600.04/3611.50	c LP optimalities 0
3600.04/3611.50	c LP no pivot count 0
3600.04/3611.50	c LP infeasibilities 0
3600.04/3611.50	c LP valid Farkas constraints 0
3600.04/3611.50	c LP learned Farkas constraints 0
3600.04/3611.50	c LP basis resets 0
3600.04/3611.50	c LP cycling count 0
3600.04/3611.50	c LP singular count 0
3600.04/3611.50	c LP no primal count 0
3600.04/3611.50	c LP no farkas count 0
3600.04/3611.50	c LP other issue count 0
3600.04/3611.50	c LP Gomory cuts 0
3600.04/3611.50	c LP learned cuts 0
3600.04/3611.50	c LP deleted cuts 0
3600.04/3611.50	c LP encountered Gomory constraints 0
3600.04/3611.50	c LP encountered Farkas constraints 0
3600.04/3611.50	c LP encountered learned Farkas constraints 0
3600.04/3611.50	c CG auxiliary variables introduced 500
3600.04/3611.50	c CG solutions found 0
3600.04/3611.50	c CG cores constructed 634
3600.04/3611.50	c CG core cardinality constraints returned 0
3600.04/3611.50	c CG unit cores 149
3600.04/3611.50	c CG single cores 0
3600.04/3611.50	c CG blocks removed during cardinality reduction 0
3600.04/3611.50	c CG first core best 0
3600.04/3611.50	c CG decision core best 0
3600.04/3611.50	c CG core reduction tie 0
3600.04/3611.50	c CG core degree average 0.00
3600.04/3611.50	c CG core slack average 0.00
3600.04/3611.50	c CG core upper bound improvements 0
3600.04/3611.50	c STR number of successful calls 0
3600.04/3611.50	c STR number of unsuccessful calls 0
3600.04/3611.50	c STR number of inconclusive calls 0
3600.04/3611.50	c STR number of successful attempts 0
3600.04/3611.50	c STR number of unsuccessful attempts 0
3600.04/3611.50	c STR number of inconclusive attempts 0
3600.04/3611.50	c STR average degree increase per successful call inf
3600.04/3611.50	c STR average degree increase per successful attempt inf
3600.04/3611.50	c STR total number of conflicts for successful attempts 0
3600.04/3611.50	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.50	c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.50	c STR average number of conflicts per successful attempt inf
3600.04/3611.50	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.50	c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.50	c AVG.sumWPerc 100.00 
3600.04/3611.50	c bigint constraints 393 
3600.04/3611.50	s UNKNOWN
3600.04/3611.50	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: 63794 MiB (62009 MiB free)
  memory of node 1: 64507 MiB (62192 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=62998, runsolver pid=62995

[startup+0.100065 s]*
/proc/loadavg: 3.95 2.77 2.43 5/262 63000
/proc/meminfo: memFree=127186492/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=57568 memory=12636 CPUtime=0.09 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 1029 0 0 0 7 2 0 0 20 0 1 0 62855075 58949632 3159 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 14392 3159 1952 1147 0 1819 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61760 KiB
Current children cumulated memory: 15708 KiB

[startup+0.213689 s]*
/proc/loadavg: 3.95 2.77 2.43 5/262 63000
/proc/meminfo: memFree=127186492/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=59096 memory=14172 CPUtime=0.2 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 1409 0 0 0 16 4 0 0 20 0 1 0 62855075 60514304 3543 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 14774 3543 1952 1147 0 2201 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63288 KiB
Current children cumulated memory: 17244 KiB

[startup+0.313316 s]*
/proc/loadavg: 3.95 2.77 2.43 5/262 63000
/proc/meminfo: memFree=127184980/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=61904 memory=18012 CPUtime=0.29 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 2138 0 0 0 23 6 0 0 20 0 1 0 62855075 63389696 4503 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 15476 4503 2208 1147 0 2903 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66096 KiB
Current children cumulated memory: 21084 KiB

[startup+0.700328 s]
/proc/loadavg: 3.95 2.77 2.43 5/262 63000
/proc/meminfo: memFree=127178428/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=104584 memory=55188 CPUtime=0.67 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 9041 0 0 0 57 10 0 0 20 0 1 0 62855075 107094016 13797 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 26146 13797 2368 1147 0 13573 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 108776 KiB
Current children cumulated memory: 58260 KiB

[startup+1.50037 s]
/proc/loadavg: 3.95 2.77 2.43 5/262 63000
/proc/meminfo: memFree=127148692/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=112328 memory=62784 CPUtime=1.46 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 10994 0 0 0 101 45 0 0 20 0 1 0 62855075 115023872 15696 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 28082 15696 2400 1147 0 15509 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 116520 KiB
Current children cumulated memory: 65856 KiB

[startup+3.11337 s]
/proc/loadavg: 3.95 2.77 2.43 5/262 63000
/proc/meminfo: memFree=127056404/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=139792 memory=94296 CPUtime=3.08 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 17852 0 0 0 197 111 0 0 20 0 1 0 62855075 143147008 23574 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 34948 23574 2400 1147 0 22375 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 143984 KiB
Current children cumulated memory: 97368 KiB

[startup+6.30037 s]
/proc/loadavg: 3.95 2.79 2.44 5/262 63000
/proc/meminfo: memFree=126951344/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=230512 memory=174368 CPUtime=6.26 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 32782 0 0 0 444 182 0 0 20 0 1 0 62855075 236044288 43592 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 57628 43592 2400 1147 0 45055 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 234704 KiB
Current children cumulated memory: 177440 KiB

[startup+12.7004 s]
/proc/loadavg: 3.96 2.81 2.45 5/261 63000
/proc/meminfo: memFree=126757016/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=321784 memory=270616 CPUtime=12.64 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 51236 0 0 0 1024 240 0 0 20 0 1 0 62855075 329506816 67654 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 80446 67654 2400 1147 0 67873 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 325976 KiB
Current children cumulated memory: 273688 KiB

[startup+25.5004 s]
/proc/loadavg: 3.96 2.85 2.46 5/261 63001
/proc/meminfo: memFree=126057580/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=908212 memory=704236 CPUtime=25.4 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 150521 0 0 0 2240 300 0 0 20 0 1 0 62855075 930009088 176059 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 227053 176059 2400 1147 0 214480 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 912404 KiB
Current children cumulated memory: 707308 KiB

[startup+51.1138 s]
/proc/loadavg: 4.03 2.98 2.52 5/262 63002
/proc/meminfo: memFree=125675296/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=910252 memory=783232 CPUtime=50.93 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 161142 0 0 0 4738 355 0 0 20 0 1 0 62855075 932098048 195808 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 227563 195808 2400 1147 0 214990 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 914444 KiB
Current children cumulated memory: 786304 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 3.15 2.60 5/262 63008
/proc/meminfo: memFree=124790744/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=1355048 memory=1093744 CPUtime=101.95 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 223980 0 0 0 9730 465 0 0 20 0 1 0 62855075 1387569152 273436 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 338762 273436 2400 1147 0 326189 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1359240 KiB
Current children cumulated memory: 1096816 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 3.34 2.70 5/262 63010
/proc/meminfo: memFree=124171280/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=1492124 memory=1198972 CPUtime=161.77 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 239058 0 0 0 15668 509 0 0 20 0 1 0 62855075 1527934976 299743 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 373031 299743 2400 1147 0 360458 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1496316 KiB
Current children cumulated memory: 1202044 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.49 2.80 5/261 63012
/proc/meminfo: memFree=123186900/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=1940352 memory=1598160 CPUtime=221.57 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 317984 0 0 0 21554 603 0 0 20 0 1 0 62855075 1986920448 399540 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0

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

/proc/63000/statm: 1020830 838236 2400 1147 0 1008257 0
Current children cumulated CPU time: 3092.39 s
Current children cumulated vsize: 4087512 KiB
Current children cumulated memory: 3356016 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/260 63318
/proc/meminfo: memFree=77888152/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=4083320 memory=3352944 CPUtime=3152.23 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 623354 0 0 0 313410 1813 0 0 20 0 1 0 62855075 4181319680 838236 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 1020830 838236 2400 1147 0 1008257 0
Current children cumulated CPU time: 3152.23 s
Current children cumulated vsize: 4087512 KiB
Current children cumulated memory: 3356016 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/260 63320
/proc/meminfo: memFree=77346732/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=4085608 memory=3366252 CPUtime=3212.04 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 625158 0 0 0 319384 1820 0 0 20 0 1 0 62855075 4183662592 841563 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 1021402 841563 2400 1147 0 1008829 0
Current children cumulated CPU time: 3212.04 s
Current children cumulated vsize: 4089800 KiB
Current children cumulated memory: 3369324 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/259 63322
/proc/meminfo: memFree=76782728/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=4089040 memory=3400692 CPUtime=3271.87 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 630538 0 0 0 325359 1828 0 0 20 0 1 0 62855075 4187176960 850173 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 1022260 850173 2400 1147 0 1009687 0
Current children cumulated CPU time: 3271.87 s
Current children cumulated vsize: 4093232 KiB
Current children cumulated memory: 3403764 KiB

[startup+3342.3 s]
/proc/loadavg: 4.66 4.25 4.11 5/260 63328
/proc/meminfo: memFree=76134696/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=4090184 memory=3429512 CPUtime=3331.69 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 634165 0 0 0 331337 1832 0 0 20 0 1 0 62855075 4188348416 857378 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 1022546 857378 2400 1147 0 1009973 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 4094376 KiB
Current children cumulated memory: 3432584 KiB

[startup+3402.3 s]
/proc/loadavg: 4.83 4.38 4.16 5/259 63330
/proc/meminfo: memFree=75551332/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=4091328 memory=3463744 CPUtime=3391.52 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 639025 0 0 0 337313 1839 0 0 20 0 1 0 62855075 4189519872 865936 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 1022832 865936 2400 1147 0 1010259 0
Current children cumulated CPU time: 3391.52 s
Current children cumulated vsize: 4095520 KiB
Current children cumulated memory: 3466816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.33 4.16 5/260 63379
/proc/meminfo: memFree=80223108/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=4092652 memory=3511128 CPUtime=3451.32 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 645736 0 0 0 343280 1852 0 0 20 0 1 0 62855075 4190875648 877782 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 1023163 877782 2400 1147 0 1010590 0
Current children cumulated CPU time: 3451.32 s
Current children cumulated vsize: 4096844 KiB
Current children cumulated memory: 3514200 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.29 4.16 5/260 63381
/proc/meminfo: memFree=77315712/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=4092652 memory=3534668 CPUtime=3511.13 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 648579 0 0 0 349251 1862 0 0 20 0 1 0 62855075 4190875648 883667 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 1023163 883667 2400 1147 0 1010590 0
Current children cumulated CPU time: 3511.13 s
Current children cumulated vsize: 4096844 KiB
Current children cumulated memory: 3537740 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.29 4.16 5/261 63386
/proc/meminfo: memFree=75462744/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=4092652 memory=3534668 CPUtime=3570.94 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 649328 0 0 0 355224 1870 0 0 20 0 1 0 62855075 4190875648 883667 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 1023163 883667 2400 1147 0 1010590 0
Current children cumulated CPU time: 3570.94 s
Current children cumulated vsize: 4096844 KiB
Current children cumulated memory: 3537740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.51 4.34 4.19 5/261 63386
/proc/meminfo: memFree=74526512/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=4092652 memory=3534668 CPUtime=3600.04 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 649339 0 0 0 358128 1876 0 0 20 0 1 0 62855075 4190875648 883667 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 1023163 883667 2400 1147 0 1010590 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4096844 KiB
Current children cumulated memory: 3537740 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.002232 s, system=0.002523 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3581.3 s, system=18.8198 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.5 s]
/proc/loadavg: 4.51 4.34 4.19 5/261 63386
/proc/meminfo: memFree=74526512/131382112 swapFree=33010684/33010684
[pid=62998] ppid=62995 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/62998/stat : 62998 (run-opt-log.sh) S 62995 62998 62677 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 62855074 4292608 768 18446744073709551615 94538644000768 94538644895301 140729368175584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94538645134352 94538645182096 94538660175872 140729368176929 140729368177124 140729368177124 140729368182726 0
/proc/62998/statm: 1048 768 704 219 0 110 0
[pid=63000] ppid=62998 vsize=4092652 memory=3534668 CPUtime=3600.04 cores=1,3
/proc/63000/stat : 63000 (roundingsat) R 62998 62998 62677 0 -1 4194304 649339 0 0 0 358128 1876 0 0 20 0 1 0 62855075 4190875648 883667 18446744073709551615 4227072 8923433 140725942455152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25321472 140725942462802 140725942463016 140725942463016 140725942468586 0
/proc/63000/statm: 1023163 883667 2400 1147 0 1010590 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4096844 KiB
Current children cumulated memory: 3537740 KiB

Child status: 2

Real time (s): 3611.6
CPU time (s): 3600.12
CPU user time (s): 3581.3
CPU system time (s): 18.8198
CPU usage (%): 99.6821
Max. virtual memory (cumulated for all children) (KiB): 4096844
Max. memory (cumulated for all children) (KiB): 3537740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.3
system time used= 18.8198
maximum resident set size= 3535052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21511320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 572
involuntary context switches= 6356


# summary of solver processes directly reported to runsolver:
#   pid: 62998,63000
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3581.3
#   total CPU system time (s): 18.8198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8487 second user time and 37.9527 second system time

The end

Begin job on nodeC012 at 2025-07-02 17:55:54
IDJOB=4500501
IDBENCH=150908
IDSOLVER=3351
FILE ID=nodeC012/4500501-1751471754
RUNJOBID= nodeC012-1751471575-62689
SLURM_JOB_ID= 9598495
Free space on /tmp= 432140 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500501-1751471754/watcher-4500501-1751471754 -o /tmp/evaluation-result-4500501-1751471754/solver-4500501-1751471754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62689 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500501-1751471754.opb PROOFDIR/proof-4500501-1751471754

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

MD5SUM BENCH= a14bf61ad1111286a795cfd2913f06d2
RANDOM SEED=222185755

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.029
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.39
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.155
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.368
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.516
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.39
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		: 3662.006
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.39
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		: 3691.208
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.39
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		: 3700.000
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.39
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		: 3700.000
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        127191056 kB
MemAvailable:   129500436 kB
Buffers:            3280 kB
Cached:          3112912 kB
SwapCached:            0 kB
Active:           787408 kB
Inactive:        2801084 kB
Active(anon):     490308 kB
Inactive(anon):        0 kB
Active(file):     297100 kB
Inactive(file):  2801084 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            125664 kB
Writeback:            68 kB
AnonPages:        475440 kB
Mapped:           116648 kB
Shmem:             17960 kB
KReclaimable:     101264 kB
Slab:             189100 kB
SReclaimable:     101264 kB
SUnreclaim:        87836 kB
KernelStack:        4208 kB
PageTables:         4132 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     847544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432132 MiB
End job on nodeC012 at 2025-07-02 18:56:05