0.00/0.05	c RoundingSat 2
0.00/0.05	c branch pb25
0.00/0.05	c commit 63f22ad
1.68/1.96	c #variables 15312 #constraints 65280
1.68/1.96	c objective is ce32 
2.26/2.56	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.26/2.56	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.26/2.56	c GLOBAL bounds - >= 0 @ 2.04516
2.66/2.92	c GLOBAL bounds - >= 0 @ 2.38758
2.66/2.94	c GLOBAL bounds - >= 0 @ 2.4052
2.66/2.97	c GLOBAL bounds - >= 0 @ 2.42531
2.66/3.00	c GLOBAL bounds - >= 0 @ 2.44935
2.77/3.04	c GLOBAL bounds - >= 0 @ 2.48059
2.77/3.07	c GLOBAL bounds - >= 0 @ 2.50443
2.87/3.11	c GLOBAL bounds - >= 0 @ 2.53428
2.87/3.14	c GLOBAL bounds - >= 0 @ 2.56412
2.87/3.18	c GLOBAL bounds - >= 0 @ 2.59361
2.96/3.22	c GLOBAL bounds - >= 0 @ 2.62273
2.96/3.26	c GLOBAL bounds - >= 0 @ 2.65317
3.06/3.30	c GLOBAL bounds - >= 0 @ 2.68523
3.06/3.35	c GLOBAL bounds - >= 0 @ 2.72631
3.06/3.39	c GLOBAL bounds - >= 0 @ 2.75176
3.15/3.43	c GLOBAL bounds - >= 0 @ 2.78191
3.15/3.46	c GLOBAL bounds - >= 0 @ 2.80757
3.15/3.50	c GLOBAL bounds - >= 0 @ 2.83471
3.26/3.53	c GLOBAL bounds - >= 0 @ 2.85936
3.26/3.56	c GLOBAL bounds - >= 0 @ 2.87821
3.26/3.60	c GLOBAL bounds - >= 0 @ 2.90581
3.35/3.63	c GLOBAL bounds - >= 0 @ 2.92641
3.35/3.65	c GLOBAL bounds - >= 0 @ 2.94429
3.35/3.68	c GLOBAL bounds - >= 0 @ 2.96536
3.46/3.71	c GLOBAL bounds - >= 0 @ 2.9843
3.46/3.73	c GLOBAL bounds - >= 0 @ 2.99992
3.46/3.76	c GLOBAL bounds - >= 0 @ 3.01601
3.46/3.78	c GLOBAL bounds - >= 0 @ 3.0331
3.55/3.80	c GLOBAL bounds - >= 0 @ 3.05026
3.55/3.83	c GLOBAL bounds - >= 0 @ 3.0652
3.55/3.86	c GLOBAL bounds - >= 0 @ 3.08982
3.55/3.89	c GLOBAL bounds - >= 0 @ 3.11394
3.67/3.92	c GLOBAL bounds - >= 0 @ 3.13603
3.67/3.95	c GLOBAL bounds - >= 0 @ 3.15244
3.67/3.98	c GLOBAL bounds - >= 0 @ 3.1794
3.75/4.01	c GLOBAL bounds - >= 0 @ 3.19975
3.75/4.04	c GLOBAL bounds - >= 0 @ 3.21675
3.75/4.06	c GLOBAL bounds - >= 0 @ 3.23354
3.75/4.09	c GLOBAL bounds - >= 0 @ 3.24626
3.86/4.11	c GLOBAL bounds - >= 0 @ 3.26273
3.86/4.14	c GLOBAL bounds - >= 0 @ 3.28371
3.86/4.17	c GLOBAL bounds - >= 0 @ 3.30229
3.95/4.20	c GLOBAL bounds - >= 0 @ 3.3245
3.95/4.24	c GLOBAL bounds - >= 0 @ 3.34832
3.95/4.27	c GLOBAL bounds - >= 0 @ 3.37443
4.05/4.30	c GLOBAL bounds - >= 0 @ 3.39377
4.05/4.32	c GLOBAL bounds - >= 0 @ 3.40795
4.05/4.35	c GLOBAL bounds - >= 0 @ 3.42569
4.05/4.37	c GLOBAL bounds - >= 0 @ 3.4425
4.15/4.40	c GLOBAL bounds - >= 0 @ 3.46149
4.15/4.42	c GLOBAL bounds - >= 0 @ 3.47645
4.15/4.44	c GLOBAL bounds - >= 0 @ 3.49584
4.15/4.49	c GLOBAL bounds - >= 0 @ 3.52377
4.25/4.53	c GLOBAL bounds - >= 0 @ 3.55467
4.25/4.58	c GLOBAL bounds - >= 0 @ 3.5972
4.35/4.63	c GLOBAL bounds - >= 0 @ 3.6286
4.35/4.66	c GLOBAL bounds - >= 0 @ 3.65121
4.45/4.72	c GLOBAL bounds - >= 0 @ 3.69055
4.45/4.78	c GLOBAL bounds - >= 0 @ 3.74154
4.55/4.82	c GLOBAL bounds - >= 0 @ 3.78127
4.55/4.85	c GLOBAL bounds - >= 0 @ 3.80099
4.55/4.89	c GLOBAL bounds - >= 0 @ 3.82842
4.65/4.93	c GLOBAL bounds - >= 0 @ 3.86869
4.65/4.97	c GLOBAL bounds - >= 0 @ 3.89332
4.65/4.99	c GLOBAL bounds - >= 0 @ 3.91187
4.75/5.02	c GLOBAL bounds - >= 0 @ 3.93225
4.75/5.05	c GLOBAL bounds - >= 0 @ 3.94718
4.75/5.08	c GLOBAL bounds - >= 0 @ 3.96308
4.86/5.11	c GLOBAL bounds - >= 0 @ 3.98486
4.86/5.14	c GLOBAL bounds - >= 0 @ 4.00938
4.86/5.17	c GLOBAL bounds - >= 0 @ 4.02904
4.86/5.19	c GLOBAL bounds - >= 0 @ 4.04828
4.95/5.23	c GLOBAL bounds - >= 0 @ 4.07659
4.95/5.27	c GLOBAL bounds - >= 0 @ 4.10888
5.05/5.30	c GLOBAL bounds - >= 0 @ 4.13111
5.05/5.33	c GLOBAL bounds - >= 0 @ 4.15285
5.05/5.36	c GLOBAL bounds - >= 0 @ 4.17169
5.15/5.40	c GLOBAL bounds - >= 0 @ 4.2049
5.15/5.43	c GLOBAL bounds - >= 0 @ 4.21971
5.15/5.46	c GLOBAL bounds - >= 0 @ 4.23878
5.15/5.49	c GLOBAL bounds - >= 0 @ 4.26081
5.25/5.52	c GLOBAL bounds - >= 0 @ 4.27615
5.25/5.55	c GLOBAL bounds - >= 0 @ 4.30675
5.25/5.58	c GLOBAL bounds - >= 0 @ 4.33215
5.34/5.62	c GLOBAL bounds - >= 0 @ 4.35777
5.34/5.65	c GLOBAL bounds - >= 0 @ 4.38105
5.34/5.68	c GLOBAL bounds - >= 0 @ 4.4118
5.45/5.72	c GLOBAL bounds - >= 0 @ 4.44152
5.45/5.78	c GLOBAL bounds - >= 0 @ 4.47641
5.55/5.82	c GLOBAL bounds - >= 0 @ 4.49688
5.55/5.86	c GLOBAL bounds - >= 0 @ 4.53124
5.64/5.90	c GLOBAL bounds - >= 0 @ 4.56428
5.64/5.95	c GLOBAL bounds - >= 0 @ 4.60603
5.64/5.99	c GLOBAL bounds - >= 0 @ 4.63884
5.75/6.02	c GLOBAL bounds - >= 0 @ 4.66661
5.75/6.06	c GLOBAL bounds - >= 0 @ 4.69534
5.75/6.09	c GLOBAL bounds - >= 0 @ 4.71793
5.85/6.12	c GLOBAL bounds - >= 0 @ 4.74408
5.85/6.15	c GLOBAL bounds - >= 0 @ 4.76058
5.85/6.18	c GLOBAL bounds - >= 0 @ 4.78855
5.95/6.22	c GLOBAL bounds - >= 0 @ 4.81567
5.95/6.25	c GLOBAL bounds - >= 0 @ 4.83922
5.95/6.27	c GLOBAL bounds - >= 0 @ 4.85935
6.04/6.31	c GLOBAL bounds - >= 0 @ 4.89114
6.04/6.35	c GLOBAL bounds - >= 0 @ 4.92065
6.04/6.39	c GLOBAL bounds - >= 0 @ 4.94627
6.15/6.42	c GLOBAL bounds - >= 0 @ 4.97464
6.15/6.45	c GLOBAL bounds - >= 0 @ 4.9954
6.15/6.48	c GLOBAL bounds - >= 0 @ 5.01897
6.25/6.51	c GLOBAL bounds - >= 0 @ 5.03674
6.25/6.53	c GLOBAL bounds - >= 0 @ 5.05709
6.25/6.57	c GLOBAL bounds - >= 0 @ 5.08667
6.34/6.60	c GLOBAL bounds - >= 0 @ 5.11401
6.34/6.64	c GLOBAL bounds - >= 0 @ 5.143
6.34/6.68	c GLOBAL bounds - >= 0 @ 5.1732
6.44/6.72	c GLOBAL bounds - >= 0 @ 5.21207
6.54/6.80	c GLOBAL bounds - >= 0 @ 5.28363
6.54/6.86	c GLOBAL bounds - >= 0 @ 5.3322
6.65/6.90	c GLOBAL bounds - >= 0 @ 5.36505
6.65/6.94	c GLOBAL bounds - >= 0 @ 5.39848
6.65/6.98	c GLOBAL bounds - >= 0 @ 5.43319
6.75/7.01	c GLOBAL bounds - >= 0 @ 5.45736
6.75/7.06	c GLOBAL bounds - >= 0 @ 5.49709
6.75/7.10	c GLOBAL bounds - >= 0 @ 5.53024
6.85/7.13	c GLOBAL bounds - >= 0 @ 5.55914
6.85/7.18	c GLOBAL bounds - >= 0 @ 5.5918
6.94/7.22	c GLOBAL bounds - >= 0 @ 5.62641
6.94/7.26	c GLOBAL bounds - >= 0 @ 5.65228
7.04/7.30	c GLOBAL bounds - >= 0 @ 5.67969
7.04/7.33	c GLOBAL bounds - >= 0 @ 5.70972
7.04/7.37	c GLOBAL bounds - >= 0 @ 5.73288
7.14/7.40	c GLOBAL bounds - >= 0 @ 5.75863
7.14/7.43	c GLOBAL bounds - >= 0 @ 5.78685
7.14/7.46	c GLOBAL bounds - >= 0 @ 5.81045
7.14/7.49	c GLOBAL bounds - >= 0 @ 5.83205
7.24/7.52	c GLOBAL bounds - >= 0 @ 5.85349
7.24/7.55	c GLOBAL bounds - >= 0 @ 5.87936
7.24/7.58	c GLOBAL bounds - >= 0 @ 5.89996
7.34/7.61	c GLOBAL bounds - >= 0 @ 5.91905
7.34/7.65	c GLOBAL bounds - >= 0 @ 5.95065
7.34/7.68	c GLOBAL bounds - >= 0 @ 5.9735
7.44/7.71	c GLOBAL bounds - >= 0 @ 6.00322
7.44/7.76	c GLOBAL bounds - >= 0 @ 6.03805
7.54/7.83	c GLOBAL bounds - >= 0 @ 6.09433
7.54/7.87	c GLOBAL bounds - >= 0 @ 6.12233
7.64/7.91	c GLOBAL bounds - >= 0 @ 6.15246
7.64/7.94	c GLOBAL bounds - >= 0 @ 6.17676
7.64/7.98	c GLOBAL bounds - >= 0 @ 6.20982
7.75/8.02	c GLOBAL bounds - >= 0 @ 6.23897
7.75/8.07	c GLOBAL bounds - >= 0 @ 6.27497
7.85/8.11	c GLOBAL bounds - >= 0 @ 6.30635
7.85/8.15	c GLOBAL bounds - >= 0 @ 6.33607
7.94/8.20	c GLOBAL bounds - >= 0 @ 6.38469
7.94/8.24	c GLOBAL bounds - >= 0 @ 6.41659
7.94/8.28	c GLOBAL bounds - >= 0 @ 6.44324
8.04/8.34	c GLOBAL bounds - >= 0 @ 6.49258
8.04/8.38	c GLOBAL bounds - >= 0 @ 6.52565
8.14/8.42	c GLOBAL bounds - >= 0 @ 6.55861
8.14/8.47	c GLOBAL bounds - >= 0 @ 6.59746
8.24/8.56	c GLOBAL bounds - >= 0 @ 6.64252
8.34/8.62	c GLOBAL bounds - >= 0 @ 6.69003
8.34/8.67	c GLOBAL bounds - >= 0 @ 6.72699
8.44/8.73	c GLOBAL bounds - >= 0 @ 6.78418
8.44/8.77	c GLOBAL bounds - >= 0 @ 6.81578
8.54/8.82	c GLOBAL bounds - >= 0 @ 6.86198
8.54/8.88	c GLOBAL bounds - >= 0 @ 6.9069
8.64/8.92	c GLOBAL bounds - >= 0 @ 6.94195
8.64/8.97	c GLOBAL bounds - >= 0 @ 6.98585
8.75/9.01	c GLOBAL bounds - >= 0 @ 7.01187
8.75/9.05	c GLOBAL bounds - >= 0 @ 7.03916
8.75/9.08	c GLOBAL bounds - >= 0 @ 7.0665
8.84/9.12	c GLOBAL bounds - >= 0 @ 7.09554
8.84/9.19	c GLOBAL bounds - >= 0 @ 7.15275
8.94/9.24	c GLOBAL bounds - >= 0 @ 7.18794
8.94/9.29	c GLOBAL bounds - >= 0 @ 7.23627
9.03/9.35	c GLOBAL bounds - >= 0 @ 7.27691
9.03/9.39	c GLOBAL bounds - >= 0 @ 7.31044
9.14/9.44	c GLOBAL bounds - >= 0 @ 7.35116
9.24/9.52	c GLOBAL bounds - >= 0 @ 7.4224
9.24/9.56	c GLOBAL bounds - >= 0 @ 7.45223
9.34/9.60	c GLOBAL bounds - >= 0 @ 7.4828
9.34/9.63	c GLOBAL bounds - >= 0 @ 7.5037
9.34/9.67	c GLOBAL bounds - >= 0 @ 7.53875
9.44/9.71	c GLOBAL bounds - >= 0 @ 7.57186
9.44/9.75	c GLOBAL bounds - >= 0 @ 7.60088
9.53/9.81	c GLOBAL bounds - >= 0 @ 7.64469
9.53/9.85	c GLOBAL bounds - >= 0 @ 7.68567
9.64/9.90	c GLOBAL bounds - >= 0 @ 7.73014
9.64/9.95	c GLOBAL bounds - >= 0 @ 7.76874
9.74/10.00	c GLOBAL bounds - >= 0 @ 7.80558
9.74/10.05	c GLOBAL bounds - >= 0 @ 7.84142
9.74/10.09	c GLOBAL bounds - >= 0 @ 7.88117
9.84/10.13	c GLOBAL bounds - >= 0 @ 7.91355
9.84/10.18	c GLOBAL bounds - >= 0 @ 7.94268
9.93/10.22	c GLOBAL bounds - >= 0 @ 7.97879
9.93/10.26	c GLOBAL bounds - >= 0 @ 8.00915
10.03/10.30	c GLOBAL bounds - >= 0 @ 8.03799
10.03/10.33	c GLOBAL bounds - >= 0 @ 8.06428
10.03/10.37	c GLOBAL bounds - >= 0 @ 8.09404
10.14/10.41	c GLOBAL bounds - >= 0 @ 8.12782
10.14/10.45	c GLOBAL bounds - >= 0 @ 8.15664
10.14/10.49	c GLOBAL bounds - >= 0 @ 8.19314
10.24/10.53	c GLOBAL bounds - >= 0 @ 8.22182
10.24/10.57	c GLOBAL bounds - >= 0 @ 8.24654
10.33/10.60	c GLOBAL bounds - >= 0 @ 8.27524
10.33/10.64	c GLOBAL bounds - >= 0 @ 8.29971
10.33/10.67	c GLOBAL bounds - >= 0 @ 8.32348
10.44/10.71	c GLOBAL bounds - >= 0 @ 8.34724
10.44/10.74	c GLOBAL bounds - >= 0 @ 8.36994
10.44/10.78	c GLOBAL bounds - >= 0 @ 8.39886
10.54/10.82	c GLOBAL bounds - >= 0 @ 8.42064
10.54/10.85	c GLOBAL bounds - >= 0 @ 8.44759
10.54/10.89	c GLOBAL bounds - >= 0 @ 8.47436
10.64/10.93	c GLOBAL bounds - >= 0 @ 8.50423
10.64/10.96	c GLOBAL bounds - >= 0 @ 8.53314
10.74/11.00	c GLOBAL bounds - >= 0 @ 8.56795
10.74/11.04	c GLOBAL bounds - >= 0 @ 8.59561
10.74/11.08	c GLOBAL bounds - >= 0 @ 8.62717
10.84/11.11	c GLOBAL bounds - >= 0 @ 8.65409
10.84/11.15	c GLOBAL bounds - >= 0 @ 8.67476
10.84/11.18	c GLOBAL bounds - >= 0 @ 8.70348
10.94/11.21	c GLOBAL bounds - >= 0 @ 8.72918
10.94/11.25	c GLOBAL bounds - >= 0 @ 8.75494
10.94/11.28	c GLOBAL bounds - >= 0 @ 8.77478
11.03/11.32	c GLOBAL bounds - >= 0 @ 8.80061
11.03/11.38	c GLOBAL bounds - >= 0 @ 8.84482
11.14/11.42	c GLOBAL bounds - >= 0 @ 8.86787
11.14/11.45	c GLOBAL bounds - >= 0 @ 8.89487
11.14/11.48	c GLOBAL bounds - >= 0 @ 8.92075
11.23/11.52	c GLOBAL bounds - >= 0 @ 8.94351
11.23/11.55	c GLOBAL bounds - >= 0 @ 8.97076
11.33/11.60	c GLOBAL bounds - >= 0 @ 9.00522
11.33/11.65	c GLOBAL bounds - >= 0 @ 9.04467
11.33/11.69	c GLOBAL bounds - >= 0 @ 9.07363
11.43/11.73	c GLOBAL bounds - >= 0 @ 9.10501
11.43/11.77	c GLOBAL bounds - >= 0 @ 9.13183
11.53/11.81	c GLOBAL bounds - >= 0 @ 9.16217
11.53/11.85	c GLOBAL bounds - >= 0 @ 9.19738
11.53/11.89	c GLOBAL bounds - >= 0 @ 9.22719
11.64/11.93	c GLOBAL bounds - >= 0 @ 9.25333
11.64/11.96	c GLOBAL bounds - >= 0 @ 9.2816
11.64/11.99	c GLOBAL bounds - >= 0 @ 9.30571
11.73/12.03	c GLOBAL bounds - >= 0 @ 9.33089
11.73/12.07	c GLOBAL bounds - >= 0 @ 9.36051
11.83/12.11	c GLOBAL bounds - >= 0 @ 9.39126
11.83/12.14	c GLOBAL bounds - >= 0 @ 9.42057
11.83/12.18	c GLOBAL bounds - >= 0 @ 9.45192
11.93/12.21	c GLOBAL bounds - >= 0 @ 9.47743
11.93/12.27	c GLOBAL bounds - >= 0 @ 9.52418
12.04/12.32	c GLOBAL bounds - >= 0 @ 9.56259
12.04/12.36	c GLOBAL bounds - >= 0 @ 9.59098
12.13/12.40	c GLOBAL bounds - >= 0 @ 9.62397
12.13/12.44	c GLOBAL bounds - >= 0 @ 9.65149
12.13/12.48	c GLOBAL bounds - >= 0 @ 9.67674
12.23/12.51	c GLOBAL bounds - >= 0 @ 9.70646
12.23/12.55	c GLOBAL bounds - >= 0 @ 9.73852
12.23/12.59	c GLOBAL bounds - >= 0 @ 9.77272
12.33/12.63	c GLOBAL bounds - >= 0 @ 9.80285
12.33/12.67	c GLOBAL bounds - >= 0 @ 9.83342
12.43/12.70	c GLOBAL bounds - >= 0 @ 9.86315
12.43/12.75	c GLOBAL bounds - >= 0 @ 9.89658
12.43/12.79	c GLOBAL bounds - >= 0 @ 9.92748
12.53/12.82	c GLOBAL bounds - >= 0 @ 9.95237
12.53/12.86	c GLOBAL bounds - >= 0 @ 9.97615
12.63/12.90	c GLOBAL bounds - >= 0 @ 10.0099
12.63/12.94	c GLOBAL bounds - >= 0 @ 10.0469
12.63/12.99	c GLOBAL bounds - >= 0 @ 10.0864
12.74/13.05	c GLOBAL bounds - >= 0 @ 10.1327
12.84/13.12	c GLOBAL bounds - >= 0 @ 10.2028
12.84/13.17	c GLOBAL bounds - >= 0 @ 10.2394
12.93/13.21	c GLOBAL bounds - >= 0 @ 10.273
12.93/13.25	c GLOBAL bounds - >= 0 @ 10.3093
12.93/13.29	c GLOBAL bounds - >= 0 @ 10.3424
13.03/13.33	c GLOBAL bounds - >= 0 @ 10.3745
13.03/13.37	c GLOBAL bounds - >= 0 @ 10.4052
13.12/13.41	c GLOBAL bounds - >= 0 @ 10.435
13.12/13.45	c GLOBAL bounds - >= 0 @ 10.4668
13.12/13.49	c GLOBAL bounds - >= 0 @ 10.4928
13.22/13.53	c GLOBAL bounds - >= 0 @ 10.5276
13.22/13.57	c GLOBAL bounds - >= 0 @ 10.5635
13.33/13.61	c GLOBAL bounds - >= 0 @ 10.5943
13.33/13.65	c GLOBAL bounds - >= 0 @ 10.6253
13.33/13.69	c GLOBAL bounds - >= 0 @ 10.656
13.42/13.73	c GLOBAL bounds - >= 0 @ 10.683
13.42/13.76	c GLOBAL bounds - >= 0 @ 10.7095
13.53/13.81	c GLOBAL bounds - >= 0 @ 10.7432
13.53/13.85	c GLOBAL bounds - >= 0 @ 10.7785
13.53/13.89	c GLOBAL bounds - >= 0 @ 10.8137
13.62/13.94	c GLOBAL bounds - >= 0 @ 10.8505
13.62/13.98	c GLOBAL bounds - >= 0 @ 10.8839
13.73/14.01	c GLOBAL bounds - >= 0 @ 10.9129
13.73/14.05	c GLOBAL bounds - >= 0 @ 10.9377
13.73/14.09	c GLOBAL bounds - >= 0 @ 10.971
13.84/14.13	c GLOBAL bounds - >= 0 @ 11.0052
13.84/14.16	c GLOBAL bounds - >= 0 @ 11.0324
13.93/14.20	c GLOBAL bounds - >= 0 @ 11.0637
13.93/14.24	c GLOBAL bounds - >= 0 @ 11.093
13.93/14.28	c GLOBAL bounds - >= 0 @ 11.123
14.03/14.32	c GLOBAL bounds - >= 0 @ 11.154
14.03/14.36	c GLOBAL bounds - >= 0 @ 11.1802
14.03/14.39	c GLOBAL bounds - >= 0 @ 11.2067
14.13/14.43	c GLOBAL bounds - >= 0 @ 11.2388
14.13/14.47	c GLOBAL bounds - >= 0 @ 11.2693
14.23/14.50	c GLOBAL bounds - >= 0 @ 11.2984
14.23/14.55	c GLOBAL bounds - >= 0 @ 11.3332
14.23/14.58	c GLOBAL bounds - >= 0 @ 11.3615
14.33/14.62	c GLOBAL bounds - >= 0 @ 11.3961
14.33/14.66	c GLOBAL bounds - >= 0 @ 11.427
14.42/14.70	c GLOBAL bounds - >= 0 @ 11.4534
14.42/14.74	c GLOBAL bounds - >= 0 @ 11.4838
14.42/14.78	c GLOBAL bounds - >= 0 @ 11.5233
14.52/14.87	c GLOBAL bounds - >= 0 @ 11.5924
14.63/14.94	c GLOBAL bounds - >= 0 @ 11.6508
14.73/15.06	c GLOBAL bounds - >= 0 @ 11.7641
14.83/15.13	c GLOBAL bounds - >= 0 @ 11.8305
14.93/15.21	c GLOBAL bounds - >= 0 @ 11.8948
14.93/15.27	c GLOBAL bounds - >= 0 @ 11.9482
15.02/15.33	c GLOBAL bounds - >= 0 @ 11.9987
15.02/15.38	c GLOBAL bounds - >= 0 @ 12.0385
15.13/15.43	c GLOBAL bounds - >= 0 @ 12.0824
15.13/15.48	c GLOBAL bounds - >= 0 @ 12.1151
15.22/15.52	c GLOBAL bounds - >= 0 @ 12.1447
15.22/15.57	c GLOBAL bounds - >= 0 @ 12.1829
15.32/15.62	c GLOBAL bounds - >= 0 @ 12.2253
15.32/15.67	c GLOBAL bounds - >= 0 @ 12.2662
15.42/15.72	c GLOBAL bounds - >= 0 @ 12.3089
15.42/15.77	c GLOBAL bounds - >= 0 @ 12.3504
15.52/15.82	c GLOBAL bounds - >= 0 @ 12.3916
15.52/15.87	c GLOBAL bounds - >= 0 @ 12.4329
15.62/15.97	c GLOBAL bounds - >= 0 @ 12.5037
15.72/16.06	c GLOBAL bounds - >= 0 @ 12.5736
15.83/16.16	c GLOBAL bounds - >= 0 @ 12.6488
15.92/16.24	c GLOBAL bounds - >= 0 @ 12.7115
16.02/16.32	c GLOBAL bounds - >= 0 @ 12.7748
16.12/16.40	c GLOBAL bounds - >= 0 @ 12.8456
16.22/16.54	c GLOBAL bounds - >= 0 @ 12.968
16.32/16.67	c GLOBAL bounds - >= 0 @ 13.0828
16.42/16.73	c GLOBAL bounds - >= 0 @ 13.1391
16.42/16.78	c GLOBAL bounds - >= 0 @ 13.1806
16.52/16.84	c GLOBAL bounds - >= 0 @ 13.2338
16.62/16.90	c GLOBAL bounds - >= 0 @ 13.2786
16.62/16.96	c GLOBAL bounds - >= 0 @ 13.3249
16.73/17.01	c GLOBAL bounds - >= 0 @ 13.3675
16.73/17.06	c GLOBAL bounds - >= 0 @ 13.4134
16.83/17.12	c GLOBAL bounds - >= 0 @ 13.4646
16.83/17.17	c GLOBAL bounds - >= 0 @ 13.5058
16.92/17.21	c GLOBAL bounds - >= 0 @ 13.5441
16.92/17.26	c GLOBAL bounds - >= 0 @ 13.5818
17.02/17.31	c GLOBAL bounds - >= 0 @ 13.6216
17.02/17.36	c GLOBAL bounds - >= 0 @ 13.6596
17.11/17.41	c GLOBAL bounds - >= 0 @ 13.7031
17.11/17.46	c GLOBAL bounds - >= 0 @ 13.7418
17.22/17.51	c GLOBAL bounds - >= 0 @ 13.7872
17.22/17.56	c GLOBAL bounds - >= 0 @ 13.8285
17.31/17.61	c GLOBAL bounds - >= 0 @ 13.8699
17.31/17.65	c GLOBAL bounds - >= 0 @ 13.9032
17.31/17.69	c GLOBAL bounds - >= 0 @ 13.9352
17.41/17.73	c GLOBAL bounds - >= 0 @ 13.9687
17.41/17.77	c GLOBAL bounds - >= 0 @ 14.0021
17.52/17.82	c GLOBAL bounds - >= 0 @ 14.039
17.52/17.86	c GLOBAL bounds - >= 0 @ 14.0717
17.61/17.90	c GLOBAL bounds - >= 0 @ 14.1063
17.61/17.94	c GLOBAL bounds - >= 0 @ 14.1434
17.61/17.99	c GLOBAL bounds - >= 0 @ 14.1866
17.72/18.03	c GLOBAL bounds - >= 0 @ 14.2218
17.72/18.07	c GLOBAL bounds - >= 0 @ 14.2536
17.82/18.11	c GLOBAL bounds - >= 0 @ 14.2885
17.82/18.16	c GLOBAL bounds - >= 0 @ 14.3303
17.92/18.21	c GLOBAL bounds - >= 0 @ 14.3662
17.92/18.26	c GLOBAL bounds - >= 0 @ 14.4118
18.01/18.32	c GLOBAL bounds - >= 0 @ 14.4599
18.01/18.37	c GLOBAL bounds - >= 0 @ 14.503
18.11/18.43	c GLOBAL bounds - >= 0 @ 14.5458
18.11/18.48	c GLOBAL bounds - >= 0 @ 14.589
18.22/18.52	c GLOBAL bounds - >= 0 @ 14.6245
18.22/18.57	c GLOBAL bounds - >= 0 @ 14.6641
18.31/18.62	c GLOBAL bounds - >= 0 @ 14.7057
18.31/18.66	c GLOBAL bounds - >= 0 @ 14.7462
18.42/18.70	c GLOBAL bounds - >= 0 @ 14.7807
18.42/18.74	c GLOBAL bounds - >= 0 @ 14.816
18.42/18.78	c GLOBAL bounds - >= 0 @ 14.8493
18.51/18.82	c GLOBAL bounds - >= 0 @ 14.8806
18.51/18.86	c GLOBAL bounds - >= 0 @ 14.9128
18.61/18.91	c GLOBAL bounds - >= 0 @ 14.947
18.61/18.95	c GLOBAL bounds - >= 0 @ 14.9802
18.61/18.99	c GLOBAL bounds - >= 0 @ 15.0143
18.72/19.03	c GLOBAL bounds - >= 0 @ 15.0465
18.72/19.07	c GLOBAL bounds - >= 0 @ 15.0776
18.82/19.11	c GLOBAL bounds - >= 0 @ 15.1092
18.82/19.15	c GLOBAL bounds - >= 0 @ 15.1384
18.82/19.19	c GLOBAL bounds - >= 0 @ 15.1754
18.91/19.24	c GLOBAL bounds - >= 0 @ 15.2128
18.91/19.28	c GLOBAL bounds - >= 0 @ 15.2471
19.02/19.33	c GLOBAL bounds - >= 0 @ 15.2825
19.02/19.37	c GLOBAL bounds - >= 0 @ 15.3187
19.11/19.41	c GLOBAL bounds - >= 0 @ 15.3512
19.11/19.46	c GLOBAL bounds - >= 0 @ 15.3852
19.21/19.50	c GLOBAL bounds - >= 0 @ 15.4217
19.21/19.54	c GLOBAL bounds - >= 0 @ 15.4574
19.21/19.58	c GLOBAL bounds - >= 0 @ 15.4914
19.32/19.63	c GLOBAL bounds - >= 0 @ 15.5275
19.32/19.67	c GLOBAL bounds - >= 0 @ 15.5612
19.42/19.71	c GLOBAL bounds - >= 0 @ 15.5972
19.42/19.75	c GLOBAL bounds - >= 0 @ 15.6308
19.51/19.80	c GLOBAL bounds - >= 0 @ 15.6719
19.51/19.86	c GLOBAL bounds - >= 0 @ 15.7159
19.61/19.92	c GLOBAL bounds - >= 0 @ 15.7633
19.61/19.97	c GLOBAL bounds - >= 0 @ 15.8033
19.71/20.02	c GLOBAL bounds - >= 0 @ 15.8476
19.71/20.07	c GLOBAL bounds - >= 0 @ 15.8896
19.82/20.12	c GLOBAL bounds - >= 0 @ 15.9324
19.82/20.17	c GLOBAL bounds - >= 0 @ 15.9705
19.92/20.21	c GLOBAL bounds - >= 0 @ 16.0021
19.92/20.27	c GLOBAL bounds - >= 0 @ 16.0444
20.01/20.33	c GLOBAL bounds - >= 0 @ 16.0928
20.01/20.38	c GLOBAL bounds - >= 0 @ 16.1355
20.11/20.43	c GLOBAL bounds - >= 0 @ 16.1744
20.11/20.47	c GLOBAL bounds - >= 0 @ 16.2108
20.21/20.52	c GLOBAL bounds - >= 0 @ 16.2464
20.21/20.58	c GLOBAL bounds - >= 0 @ 16.2941
20.31/20.63	c GLOBAL bounds - >= 0 @ 16.3437
20.31/20.68	c GLOBAL bounds - >= 0 @ 16.3836
20.41/20.73	c GLOBAL bounds - >= 0 @ 16.4271
20.41/20.78	c GLOBAL bounds - >= 0 @ 16.4623
20.51/20.82	c GLOBAL bounds - >= 0 @ 16.497
20.51/20.87	c GLOBAL bounds - >= 0 @ 16.5441
20.61/20.92	c GLOBAL bounds - >= 0 @ 16.5806
20.61/20.96	c GLOBAL bounds - >= 0 @ 16.6154
20.71/21.01	c GLOBAL bounds - >= 0 @ 16.652
20.71/21.05	c GLOBAL bounds - >= 0 @ 16.6906
20.71/21.09	c GLOBAL bounds - >= 0 @ 16.7263
20.82/21.15	c GLOBAL bounds - >= 0 @ 16.7696
20.91/21.21	c GLOBAL bounds - >= 0 @ 16.8182
20.91/21.26	c GLOBAL bounds - >= 0 @ 16.8627
21.00/21.31	c GLOBAL bounds - >= 0 @ 16.9027
21.00/21.36	c GLOBAL bounds - >= 0 @ 16.9412
21.11/21.41	c GLOBAL bounds - >= 0 @ 16.9844
21.11/21.46	c GLOBAL bounds - >= 0 @ 17.0237
21.21/21.50	c GLOBAL bounds - >= 0 @ 17.0588
21.21/21.54	c GLOBAL bounds - >= 0 @ 17.0946
21.21/21.60	c GLOBAL bounds - >= 0 @ 17.1385
21.30/21.65	c GLOBAL bounds - >= 0 @ 17.1831
21.41/21.70	c GLOBAL bounds - >= 0 @ 17.2272
21.41/21.77	c GLOBAL bounds - >= 0 @ 17.2861
21.51/21.85	c GLOBAL bounds - >= 0 @ 17.3598
21.61/21.93	c GLOBAL bounds - >= 0 @ 17.4279
21.61/21.99	c GLOBAL bounds - >= 0 @ 17.481
21.71/22.04	c GLOBAL bounds - >= 0 @ 17.5261
21.71/22.09	c GLOBAL bounds - >= 0 @ 17.5612
21.81/22.14	c GLOBAL bounds - >= 0 @ 17.6052
21.91/22.23	c GLOBAL bounds - >= 0 @ 17.6834
22.00/22.30	c GLOBAL bounds - >= 0 @ 17.7395
22.00/22.35	c GLOBAL bounds - >= 0 @ 17.7802
22.10/22.40	c GLOBAL bounds - >= 0 @ 17.8246
22.10/22.46	c GLOBAL bounds - >= 0 @ 17.8658
22.21/22.53	c GLOBAL bounds - >= 0 @ 17.9363
22.31/22.61	c GLOBAL bounds - >= 0 @ 17.9978
22.31/22.69	c GLOBAL bounds - >= 0 @ 18.0643
22.41/22.77	c GLOBAL bounds - >= 0 @ 18.1333
22.50/22.84	c GLOBAL bounds - >= 0 @ 18.1951
22.60/22.90	c GLOBAL bounds - >= 0 @ 18.2497
22.60/22.96	c #Conflicts:       1000 | #Constraints:      67198
22.60/22.96	c GLOBAL bounds - >= 0 @ 18.3057
22.71/23.03	c GLOBAL bounds - >= 0 @ 18.3549
22.71/23.08	c GLOBAL bounds - >= 0 @ 18.4049
22.81/23.14	c GLOBAL bounds - >= 0 @ 18.4536
22.91/23.20	c GLOBAL bounds - >= 0 @ 18.5054
22.91/23.27	c GLOBAL bounds - >= 0 @ 18.5715
23.01/23.33	c GLOBAL bounds - >= 0 @ 18.6202
23.01/23.39	c GLOBAL bounds - >= 0 @ 18.6717
23.10/23.44	c GLOBAL bounds - >= 0 @ 18.7206
23.20/23.50	c GLOBAL bounds - >= 0 @ 18.7664
23.20/23.56	c GLOBAL bounds - >= 0 @ 18.8193
23.30/23.63	c GLOBAL bounds - >= 0 @ 18.8731
23.30/23.68	c GLOBAL bounds - >= 0 @ 18.921
23.41/23.74	c GLOBAL bounds - >= 0 @ 18.9648
23.50/23.83	c GLOBAL bounds - >= 0 @ 19.0465
23.60/23.90	c GLOBAL bounds - >= 0 @ 19.1122
23.60/23.96	c GLOBAL bounds - >= 0 @ 19.1616
23.71/24.02	c GLOBAL bounds - >= 0 @ 19.2088
23.71/24.09	c GLOBAL bounds - >= 0 @ 19.2715
23.81/24.15	c GLOBAL bounds - >= 0 @ 19.3234
23.90/24.20	c GLOBAL bounds - >= 0 @ 19.3715
23.90/24.25	c GLOBAL bounds - >= 0 @ 19.4083
24.00/24.30	c GLOBAL bounds - >= 0 @ 19.4567
24.00/24.39	c GLOBAL bounds - >= 0 @ 19.5211
24.10/24.44	c GLOBAL bounds - >= 0 @ 19.5641
24.10/24.49	c GLOBAL bounds - >= 0 @ 19.6078
24.20/24.54	c GLOBAL bounds - >= 0 @ 19.6544
24.30/24.60	c GLOBAL bounds - >= 0 @ 19.6984
24.30/24.65	c GLOBAL bounds - >= 0 @ 19.7428
24.40/24.70	c GLOBAL bounds - >= 0 @ 19.7917
24.40/24.75	c GLOBAL bounds - >= 0 @ 19.8311
24.50/24.80	c GLOBAL bounds - >= 0 @ 19.8753
24.50/24.85	c GLOBAL bounds - >= 0 @ 19.9164
24.60/24.90	c GLOBAL bounds - >= 0 @ 19.9557
24.60/24.95	c GLOBAL bounds - >= 0 @ 19.9947
24.60/24.99	c GLOBAL bounds - >= 0 @ 20.0327
24.70/25.04	c GLOBAL bounds - >= 0 @ 20.0698
24.80/25.14	c GLOBAL bounds - >= 0 @ 20.1486
24.80/25.18	c GLOBAL bounds - >= 0 @ 20.1854
24.90/25.24	c GLOBAL bounds - >= 0 @ 20.235
25.00/25.30	c GLOBAL bounds - >= 0 @ 20.2776
25.00/25.35	c GLOBAL bounds - >= 0 @ 20.3206
25.00/25.40	c GLOBAL bounds - >= 0 @ 20.356
25.10/25.45	c GLOBAL bounds - >= 0 @ 20.3985
25.10/25.49	c GLOBAL bounds - >= 0 @ 20.4379
25.20/25.54	c GLOBAL bounds - >= 0 @ 20.4741
25.20/25.59	c GLOBAL bounds - >= 0 @ 20.523
25.30/25.64	c GLOBAL bounds - >= 0 @ 20.57
25.30/25.69	c GLOBAL bounds - >= 0 @ 20.6079
25.40/25.75	c GLOBAL bounds - >= 0 @ 20.6577
25.50/25.80	c GLOBAL bounds - >= 0 @ 20.7075
25.50/25.86	c GLOBAL bounds - >= 0 @ 20.7569
25.59/25.91	c GLOBAL bounds - >= 0 @ 20.8002
25.59/25.95	c GLOBAL bounds - >= 0 @ 20.8388
25.71/26.01	c GLOBAL bounds - >= 0 @ 20.8889
25.71/26.06	c GLOBAL bounds - >= 0 @ 20.9293
25.80/26.10	c GLOBAL bounds - >= 0 @ 20.9645
25.80/26.15	c GLOBAL bounds - >= 0 @ 20.9986
25.80/26.19	c GLOBAL bounds - >= 0 @ 21.0345
25.90/26.24	c GLOBAL bounds - >= 0 @ 21.0774
25.90/26.28	c GLOBAL bounds - >= 0 @ 21.1146
26.00/26.33	c GLOBAL bounds - >= 0 @ 21.1519
26.00/26.37	c GLOBAL bounds - >= 0 @ 21.1881
26.10/26.43	c GLOBAL bounds - >= 0 @ 21.2322
26.10/26.48	c GLOBAL bounds - >= 0 @ 21.2714
26.20/26.52	c GLOBAL bounds - >= 0 @ 21.3055
26.20/26.56	c GLOBAL bounds - >= 0 @ 21.3435
26.30/26.61	c GLOBAL bounds - >= 0 @ 21.3874
26.30/26.66	c GLOBAL bounds - >= 0 @ 21.4306
26.40/26.71	c GLOBAL bounds - >= 0 @ 21.4753
26.40/26.76	c GLOBAL bounds - >= 0 @ 21.5199
26.50/26.81	c GLOBAL bounds - >= 0 @ 21.5593
26.50/26.86	c GLOBAL bounds - >= 0 @ 21.5956
26.60/26.91	c GLOBAL bounds - >= 0 @ 21.6351
26.60/26.96	c GLOBAL bounds - >= 0 @ 21.6796
26.70/27.01	c GLOBAL bounds - >= 0 @ 21.7234
26.70/27.06	c GLOBAL bounds - >= 0 @ 21.7643
26.80/27.11	c GLOBAL bounds - >= 0 @ 21.8064
26.80/27.16	c GLOBAL bounds - >= 0 @ 21.8376
26.89/27.20	c GLOBAL bounds - >= 0 @ 21.8726
26.89/27.24	c GLOBAL bounds - >= 0 @ 21.9066
26.99/27.30	c GLOBAL bounds - >= 0 @ 21.9604
26.99/27.38	c GLOBAL bounds - >= 0 @ 22.0336
27.10/27.44	c GLOBAL bounds - >= 0 @ 22.0808
27.19/27.50	c GLOBAL bounds - >= 0 @ 22.1319
27.19/27.56	c GLOBAL bounds - >= 0 @ 22.1818
27.29/27.61	c GLOBAL bounds - >= 0 @ 22.2262
27.29/27.67	c GLOBAL bounds - >= 0 @ 22.2753
27.40/27.72	c GLOBAL bounds - >= 0 @ 22.322
27.40/27.77	c GLOBAL bounds - >= 0 @ 22.3649
27.50/27.82	c GLOBAL bounds - >= 0 @ 22.4021
27.50/27.87	c GLOBAL bounds - >= 0 @ 22.4455
27.59/27.92	c GLOBAL bounds - >= 0 @ 22.4894
27.59/27.96	c GLOBAL bounds - >= 0 @ 22.5292
27.70/28.01	c GLOBAL bounds - >= 0 @ 22.5692
27.70/28.05	c GLOBAL bounds - >= 0 @ 22.6102
27.80/28.10	c GLOBAL bounds - >= 0 @ 22.6499
27.80/28.15	c GLOBAL bounds - >= 0 @ 22.6914
27.80/28.19	c GLOBAL bounds - >= 0 @ 22.7253
27.89/28.24	c GLOBAL bounds - >= 0 @ 22.76
27.99/28.30	c GLOBAL bounds - >= 0 @ 22.8133
27.99/28.35	c GLOBAL bounds - >= 0 @ 22.8587
28.09/28.40	c GLOBAL bounds - >= 0 @ 22.8958
28.09/28.46	c GLOBAL bounds - >= 0 @ 22.9431
28.19/28.51	c GLOBAL bounds - >= 0 @ 22.9898
28.19/28.56	c GLOBAL bounds - >= 0 @ 23.0331
28.29/28.60	c GLOBAL bounds - >= 0 @ 23.07
28.29/28.65	c GLOBAL bounds - >= 0 @ 23.1149
28.40/28.70	c GLOBAL bounds - >= 0 @ 23.1582
28.40/28.75	c GLOBAL bounds - >= 0 @ 23.2009
28.49/28.80	c GLOBAL bounds - >= 0 @ 23.236
28.49/28.84	c GLOBAL bounds - >= 0 @ 23.2698
28.49/28.88	c GLOBAL bounds - >= 0 @ 23.3037
28.59/28.94	c GLOBAL bounds - >= 0 @ 23.348
28.59/28.99	c GLOBAL bounds - >= 0 @ 23.3892
28.70/29.03	c GLOBAL bounds - >= 0 @ 23.4213
28.70/29.09	c GLOBAL bounds - >= 0 @ 23.468
28.79/29.15	c GLOBAL bounds - >= 0 @ 23.5233
28.89/29.24	c GLOBAL bounds - >= 0 @ 23.6098
28.99/29.30	c GLOBAL bounds - >= 0 @ 23.6543
28.99/29.36	c GLOBAL bounds - >= 0 @ 23.7086
29.09/29.43	c GLOBAL bounds - >= 0 @ 23.7647
29.09/29.48	c GLOBAL bounds - >= 0 @ 23.8087
29.19/29.54	c GLOBAL bounds - >= 0 @ 23.8646
29.29/29.62	c GLOBAL bounds - >= 0 @ 23.9334
29.29/29.68	c GLOBAL bounds - >= 0 @ 23.9783
29.39/29.73	c GLOBAL bounds - >= 0 @ 24.0266
29.39/29.79	c GLOBAL bounds - >= 0 @ 24.0715
29.49/29.84	c GLOBAL bounds - >= 0 @ 24.1187
29.49/29.90	c GLOBAL bounds - >= 0 @ 24.1643
29.59/29.95	c GLOBAL bounds - >= 0 @ 24.2046
29.59/30.00	c GLOBAL bounds - >= 0 @ 24.249
29.70/30.05	c GLOBAL bounds - >= 0 @ 24.2855
29.70/30.10	c GLOBAL bounds - >= 0 @ 24.3284
29.80/30.15	c GLOBAL bounds - >= 0 @ 24.3693
29.88/30.21	c GLOBAL bounds - >= 0 @ 24.4229
29.88/30.27	c GLOBAL bounds - >= 0 @ 24.4712
29.98/30.32	c GLOBAL bounds - >= 0 @ 24.5105
29.98/30.38	c GLOBAL bounds - >= 0 @ 24.5598
30.09/30.44	c GLOBAL bounds - >= 0 @ 24.6122
30.18/30.50	c GLOBAL bounds - >= 0 @ 24.6634
30.18/30.56	c GLOBAL bounds - >= 0 @ 24.7091
30.29/30.61	c GLOBAL bounds - >= 0 @ 24.7561
30.29/30.66	c GLOBAL bounds - >= 0 @ 24.7946
30.39/30.71	c GLOBAL bounds - >= 0 @ 24.8349
30.39/30.76	c GLOBAL bounds - >= 0 @ 24.8761
30.48/30.81	c GLOBAL bounds - >= 0 @ 24.9194
30.48/30.87	c GLOBAL bounds - >= 0 @ 24.9692
30.58/30.92	c GLOBAL bounds - >= 0 @ 25.0183
30.58/30.97	c GLOBAL bounds - >= 0 @ 25.0598
30.69/31.02	c GLOBAL bounds - >= 0 @ 25.1001
30.69/31.07	c GLOBAL bounds - >= 0 @ 25.1413
30.79/31.13	c GLOBAL bounds - >= 0 @ 25.1975
30.79/31.20	c GLOBAL bounds - >= 0 @ 25.2513
30.89/31.25	c GLOBAL bounds - >= 0 @ 25.2989
30.99/31.31	c GLOBAL bounds - >= 0 @ 25.3431
30.99/31.36	c GLOBAL bounds - >= 0 @ 25.3895
31.09/31.41	c GLOBAL bounds - >= 0 @ 25.4325
31.09/31.47	c GLOBAL bounds - >= 0 @ 25.4917
31.18/31.53	c GLOBAL bounds - >= 0 @ 25.5389
31.18/31.59	c GLOBAL bounds - >= 0 @ 25.5845
31.38/31.70	c GLOBAL bounds - >= 0 @ 25.6775
31.38/31.77	c GLOBAL bounds - >= 0 @ 25.7383
31.48/31.83	c GLOBAL bounds - >= 0 @ 25.79
31.48/31.89	c GLOBAL bounds - >= 0 @ 25.8427
31.58/31.94	c GLOBAL bounds - >= 0 @ 25.8851
31.69/32.02	c GLOBAL bounds - >= 0 @ 25.9631
31.88/32.23	c GLOBAL bounds - >= 0 @ 26.1489
31.98/32.33	c GLOBAL bounds - >= 0 @ 26.236
32.08/32.40	c GLOBAL bounds - >= 0 @ 26.3035
32.08/32.49	c GLOBAL bounds - >= 0 @ 26.3795
32.19/32.56	c GLOBAL bounds - >= 0 @ 26.4328
32.28/32.62	c GLOBAL bounds - >= 0 @ 26.4889
32.28/32.68	c GLOBAL bounds - >= 0 @ 26.5418
32.38/32.74	c GLOBAL bounds - >= 0 @ 26.6014
32.38/32.79	c GLOBAL bounds - >= 0 @ 26.6401
32.48/32.84	c GLOBAL bounds - >= 0 @ 26.6811
32.58/32.92	c GLOBAL bounds - >= 0 @ 26.739
32.68/33.01	c GLOBAL bounds - >= 0 @ 26.8015
32.68/33.08	c GLOBAL bounds - >= 0 @ 26.8506
32.78/33.14	c GLOBAL bounds - >= 0 @ 26.8965
32.88/33.21	c GLOBAL bounds - >= 0 @ 26.9525
32.88/33.28	c GLOBAL bounds - >= 0 @ 27.0071
32.98/33.34	c GLOBAL bounds - >= 0 @ 27.0584
33.08/33.40	c GLOBAL bounds - >= 0 @ 27.1011
33.08/33.45	c GLOBAL bounds - >= 0 @ 27.138
33.18/33.52	c GLOBAL bounds - >= 0 @ 27.1889
33.18/33.59	c GLOBAL bounds - >= 0 @ 27.2477
33.28/33.65	c GLOBAL bounds - >= 0 @ 27.2949
33.38/33.70	c GLOBAL bounds - >= 0 @ 27.3373
33.38/33.76	c GLOBAL bounds - >= 0 @ 27.3784
33.48/33.81	c GLOBAL bounds - >= 0 @ 27.417
33.48/33.85	c GLOBAL bounds - >= 0 @ 27.4562
33.58/33.90	c GLOBAL bounds - >= 0 @ 27.495
33.58/33.95	c GLOBAL bounds - >= 0 @ 27.54
33.69/34.01	c GLOBAL bounds - >= 0 @ 27.5899
33.69/34.06	c GLOBAL bounds - >= 0 @ 27.6339
33.79/34.12	c GLOBAL bounds - >= 0 @ 27.6758
33.79/34.16	c GLOBAL bounds - >= 0 @ 27.7166
33.87/34.21	c GLOBAL bounds - >= 0 @ 27.7503
33.87/34.26	c GLOBAL bounds - >= 0 @ 27.7882
33.98/34.31	c GLOBAL bounds - >= 0 @ 27.8311
33.98/34.36	c GLOBAL bounds - >= 0 @ 27.8733
34.08/34.40	c GLOBAL bounds - >= 0 @ 27.9131
34.08/34.45	c GLOBAL bounds - >= 0 @ 27.9527
34.18/34.50	c GLOBAL bounds - >= 0 @ 27.9971
34.18/34.55	c GLOBAL bounds - >= 0 @ 28.0346
34.27/34.60	c GLOBAL bounds - >= 0 @ 28.0733
34.27/34.65	c GLOBAL bounds - >= 0 @ 28.1086
34.37/34.70	c GLOBAL bounds - >= 0 @ 28.149
34.37/34.75	c GLOBAL bounds - >= 0 @ 28.1843
34.48/34.80	c GLOBAL bounds - >= 0 @ 28.2245
34.48/34.87	c GLOBAL bounds - >= 0 @ 28.2877
34.58/34.96	c GLOBAL bounds - >= 0 @ 28.362
34.68/35.01	c GLOBAL bounds - >= 0 @ 28.4085
34.68/35.07	c GLOBAL bounds - >= 0 @ 28.4576
34.78/35.13	c GLOBAL bounds - >= 0 @ 28.5111
34.78/35.19	c GLOBAL bounds - >= 0 @ 28.553
34.87/35.24	c GLOBAL bounds - >= 0 @ 28.5921
34.87/35.29	c GLOBAL bounds - >= 0 @ 28.6405
34.98/35.35	c GLOBAL bounds - >= 0 @ 28.6818
35.07/35.40	c GLOBAL bounds - >= 0 @ 28.7241
35.07/35.45	c GLOBAL bounds - >= 0 @ 28.771
35.18/35.51	c GLOBAL bounds - >= 0 @ 28.8174
35.18/35.56	c GLOBAL bounds - >= 0 @ 28.8628
35.28/35.62	c GLOBAL bounds - >= 0 @ 28.9074
35.28/35.67	c GLOBAL bounds - >= 0 @ 28.9504
35.38/35.74	c GLOBAL bounds - >= 0 @ 29.0139
35.47/35.81	c GLOBAL bounds - >= 0 @ 29.0693
35.47/35.87	c GLOBAL bounds - >= 0 @ 29.1175
35.57/35.94	c GLOBAL bounds - >= 0 @ 29.1726
35.57/36.00	c GLOBAL bounds - >= 0 @ 29.2154
35.68/36.05	c GLOBAL bounds - >= 0 @ 29.2662
35.77/36.11	c GLOBAL bounds - >= 0 @ 29.3125
35.87/36.21	c GLOBAL bounds - >= 0 @ 29.4005
35.87/36.27	c GLOBAL bounds - >= 0 @ 29.4476
35.97/36.32	c GLOBAL bounds - >= 0 @ 29.4887
35.97/36.39	c GLOBAL bounds - >= 0 @ 29.5406
36.08/36.45	c GLOBAL bounds - >= 0 @ 29.59
36.17/36.52	c GLOBAL bounds - >= 0 @ 29.6508
36.17/36.59	c GLOBAL bounds - >= 0 @ 29.7146
36.27/36.68	c GLOBAL bounds - >= 0 @ 29.7987
36.38/36.77	c GLOBAL bounds - >= 0 @ 29.8808
36.47/36.84	c GLOBAL bounds - >= 0 @ 29.9422
36.57/36.92	c GLOBAL bounds - >= 0 @ 30.0065
36.57/36.97	c GLOBAL bounds - >= 0 @ 30.0587
36.68/37.03	c GLOBAL bounds - >= 0 @ 30.1121
36.68/37.09	c GLOBAL bounds - >= 0 @ 30.1672
36.78/37.18	c GLOBAL bounds - >= 0 @ 30.2472
36.87/37.26	c GLOBAL bounds - >= 0 @ 30.3187
36.97/37.33	c GLOBAL bounds - >= 0 @ 30.3847
36.97/37.39	c GLOBAL bounds - >= 0 @ 30.4345
37.07/37.47	c GLOBAL bounds - >= 0 @ 30.4922
37.17/37.59	c GLOBAL bounds - >= 0 @ 30.6075
37.36/37.73	c GLOBAL bounds - >= 0 @ 30.7368
37.47/37.83	c GLOBAL bounds - >= 0 @ 30.8138
37.57/37.92	c GLOBAL bounds - >= 0 @ 30.8968
37.57/38.00	c GLOBAL bounds - >= 0 @ 30.9607
37.68/38.06	c GLOBAL bounds - >= 0 @ 31.0135
37.77/38.15	c GLOBAL bounds - >= 0 @ 31.0948
37.86/38.22	c GLOBAL bounds - >= 0 @ 31.1542
37.97/38.32	c GLOBAL bounds - >= 0 @ 31.2455
38.07/38.41	c GLOBAL bounds - >= 0 @ 31.328
38.07/38.48	c GLOBAL bounds - >= 0 @ 31.3842
38.17/38.56	c GLOBAL bounds - >= 0 @ 31.458
38.26/38.66	c GLOBAL bounds - >= 0 @ 31.5501
38.37/38.72	c GLOBAL bounds - >= 0 @ 31.5981
38.37/38.80	c GLOBAL bounds - >= 0 @ 31.6654
38.46/38.87	c GLOBAL bounds - >= 0 @ 31.731
38.57/38.94	c GLOBAL bounds - >= 0 @ 31.7893
38.67/39.01	c GLOBAL bounds - >= 0 @ 31.8542
38.86/39.27	c GLOBAL bounds - >= 0 @ 32.1015
38.96/39.35	c GLOBAL bounds - >= 0 @ 32.1647
39.07/39.45	c GLOBAL bounds - >= 0 @ 32.2548
41.67/42.00	c #Conflicts:       2000 | #Constraints:      68746
41.67/42.00	c INPROCESSING
41.67/42.00	c GARBAGE COLLECT
41.67/42.00	c GLOBAL bounds - >= 0 @ 34.7407
41.67/42.08	c GLOBAL bounds - >= 0 @ 34.8139
41.77/42.15	c GLOBAL bounds - >= 0 @ 34.8815
41.86/42.24	c GLOBAL bounds - >= 0 @ 34.9531
42.16/42.52	c GLOBAL bounds - >= 0 @ 35.2312
42.26/42.68	c GLOBAL bounds - >= 0 @ 35.3754
42.46/42.84	c GLOBAL bounds - >= 0 @ 35.525
42.55/42.91	c GLOBAL bounds - >= 0 @ 35.5902
42.66/43.05	c GLOBAL bounds - >= 0 @ 35.7133
42.76/43.19	c GLOBAL bounds - >= 0 @ 35.8464
42.85/43.27	c GLOBAL bounds - >= 0 @ 35.9138
42.95/43.33	c GLOBAL bounds - >= 0 @ 35.9717
43.06/43.46	c GLOBAL bounds - >= 0 @ 36.0914
43.15/43.53	c GLOBAL bounds - >= 0 @ 36.158
43.15/43.59	c GLOBAL bounds - >= 0 @ 36.2104
43.26/43.66	c GLOBAL bounds - >= 0 @ 36.2715
43.36/43.72	c GLOBAL bounds - >= 0 @ 36.3275
43.36/43.78	c GLOBAL bounds - >= 0 @ 36.3804
43.46/43.85	c GLOBAL bounds - >= 0 @ 36.4429
43.65/44.02	c GLOBAL bounds - >= 0 @ 36.5974
43.85/44.20	c GLOBAL bounds - >= 0 @ 36.7607
43.95/44.34	c GLOBAL bounds - >= 0 @ 36.8996
44.05/44.43	c GLOBAL bounds - >= 0 @ 36.9783
44.25/44.66	c GLOBAL bounds - >= 0 @ 37.1954
44.45/44.87	c GLOBAL bounds - >= 0 @ 37.398
44.55/44.98	c GLOBAL bounds - >= 0 @ 37.4994
44.65/45.09	c GLOBAL bounds - >= 0 @ 37.602
44.75/45.17	c GLOBAL bounds - >= 0 @ 37.6655
49.04/49.45	c #Conflicts:       3000 | #Constraints:      68811
49.04/49.45	c GLOBAL bounds - >= 0 @ 41.8833
50.34/50.74	c GLOBAL bounds - >= 0 @ 43.1345
50.54/50.97	c GLOBAL bounds - >= 0 @ 43.3452
50.64/51.04	c GLOBAL bounds - >= 0 @ 43.4081
50.74/51.12	c GLOBAL bounds - >= 0 @ 43.4908
52.53/52.98	c GLOBAL bounds - >= 0 @ 45.2777
52.83/53.20	c GLOBAL bounds - >= 0 @ 45.4903
53.03/53.41	c GLOBAL bounds - >= 0 @ 45.6937
54.52/54.93	c GLOBAL bounds - >= 0 @ 47.1669
56.12/56.57	c #Conflicts:       4000 | #Constraints:      69829
56.12/56.57	c GLOBAL bounds - >= 0 @ 48.7461
57.62/58.02	c INPROCESSING
57.62/58.02	c GARBAGE COLLECT
57.62/58.02	c GLOBAL bounds - >= 0 @ 50.1716
58.31/58.76	c GLOBAL bounds - >= 0 @ 50.8772
58.42/58.85	c GLOBAL bounds - >= 0 @ 50.9607
58.52/58.95	c GLOBAL bounds - >= 0 @ 51.0454
58.62/59.04	c GLOBAL bounds - >= 0 @ 51.124
58.72/59.16	c GLOBAL bounds - >= 0 @ 51.2414
59.31/59.70	c GLOBAL bounds - >= 0 @ 51.7557
59.72/60.11	c GLOBAL bounds - >= 0 @ 52.1493
59.81/60.20	c GLOBAL bounds - >= 0 @ 52.2326
59.81/60.29	c GLOBAL bounds - >= 0 @ 52.3117
59.91/60.38	c GLOBAL bounds - >= 0 @ 52.3975
60.01/60.46	c GLOBAL bounds - >= 0 @ 52.4643
60.11/60.51	c GLOBAL bounds - >= 0 @ 52.5153
60.11/60.57	c GLOBAL bounds - >= 0 @ 52.5645
60.21/60.62	c GLOBAL bounds - >= 0 @ 52.621
60.21/60.67	c GLOBAL bounds - >= 0 @ 52.6663
60.31/60.74	c GLOBAL bounds - >= 0 @ 52.7213
60.41/60.83	c GLOBAL bounds - >= 0 @ 52.7995
60.41/60.89	c GLOBAL bounds - >= 0 @ 52.8541
60.52/60.95	c GLOBAL bounds - >= 0 @ 52.9124
60.62/61.01	c GLOBAL bounds - >= 0 @ 52.9618
60.62/61.06	c GLOBAL bounds - >= 0 @ 53.0051
60.71/61.11	c GLOBAL bounds - >= 0 @ 53.0504
60.71/61.17	c GLOBAL bounds - >= 0 @ 53.0992
60.81/61.22	c GLOBAL bounds - >= 0 @ 53.1413
60.81/61.26	c GLOBAL bounds - >= 0 @ 53.1833
60.91/61.31	c GLOBAL bounds - >= 0 @ 53.2245
60.91/61.36	c GLOBAL bounds - >= 0 @ 53.2672
61.01/61.41	c GLOBAL bounds - >= 0 @ 53.3114
61.01/61.46	c GLOBAL bounds - >= 0 @ 53.3525
61.11/61.51	c GLOBAL bounds - >= 0 @ 53.3932
61.11/61.55	c GLOBAL bounds - >= 0 @ 53.4297
61.21/61.60	c GLOBAL bounds - >= 0 @ 53.4692
61.21/61.65	c GLOBAL bounds - >= 0 @ 53.5196
61.31/61.70	c GLOBAL bounds - >= 0 @ 53.5596
61.31/61.75	c GLOBAL bounds - >= 0 @ 53.6022
61.40/61.80	c GLOBAL bounds - >= 0 @ 53.6406
61.40/61.85	c GLOBAL bounds - >= 0 @ 53.6806
61.51/61.90	c GLOBAL bounds - >= 0 @ 53.7202
61.51/61.95	c GLOBAL bounds - >= 0 @ 53.763
61.61/62.01	c GLOBAL bounds - >= 0 @ 53.8007
61.61/62.06	c GLOBAL bounds - >= 0 @ 53.8468
61.81/62.29	c GLOBAL bounds - >= 0 @ 54.0611
61.90/62.36	c GLOBAL bounds - >= 0 @ 54.1251
62.01/62.49	c GLOBAL bounds - >= 0 @ 54.2386
62.10/62.56	c GLOBAL bounds - >= 0 @ 54.3053
62.20/62.67	c GLOBAL bounds - >= 0 @ 54.4028
62.31/62.73	c GLOBAL bounds - >= 0 @ 54.4571
62.31/62.79	c GLOBAL bounds - >= 0 @ 54.5071
62.41/62.85	c GLOBAL bounds - >= 0 @ 54.5607
62.51/62.91	c GLOBAL bounds - >= 0 @ 54.6161
62.51/62.96	c GLOBAL bounds - >= 0 @ 54.6618
62.61/63.03	c GLOBAL bounds - >= 0 @ 54.7221
62.71/63.11	c GLOBAL bounds - >= 0 @ 54.7991
62.71/63.16	c GLOBAL bounds - >= 0 @ 54.8517
62.80/63.22	c GLOBAL bounds - >= 0 @ 54.8981
62.80/63.27	c GLOBAL bounds - >= 0 @ 54.9454
62.91/63.33	c GLOBAL bounds - >= 0 @ 54.9915
62.91/63.38	c GLOBAL bounds - >= 0 @ 55.0383
63.00/63.44	c GLOBAL bounds - >= 0 @ 55.0834
63.00/63.49	c GLOBAL bounds - >= 0 @ 55.1305
63.10/63.54	c GLOBAL bounds - >= 0 @ 55.176
63.10/63.59	c GLOBAL bounds - >= 0 @ 55.2223
63.20/63.64	c GLOBAL bounds - >= 0 @ 55.2654
63.20/63.69	c GLOBAL bounds - >= 0 @ 55.312
63.31/63.75	c GLOBAL bounds - >= 0 @ 55.3557
63.40/63.80	c GLOBAL bounds - >= 0 @ 55.3969
63.40/63.84	c GLOBAL bounds - >= 0 @ 55.4334
63.40/63.89	c GLOBAL bounds - >= 0 @ 55.4753
63.50/63.94	c GLOBAL bounds - >= 0 @ 55.5106
63.50/63.99	c GLOBAL bounds - >= 0 @ 55.5505
63.61/64.03	c GLOBAL bounds - >= 0 @ 55.5918
63.61/64.08	c GLOBAL bounds - >= 0 @ 55.6271
63.70/64.13	c GLOBAL bounds - >= 0 @ 55.6639
63.70/64.18	c GLOBAL bounds - >= 0 @ 55.7101
63.80/64.23	c GLOBAL bounds - >= 0 @ 55.7479
63.80/64.28	c GLOBAL bounds - >= 0 @ 55.7868
63.91/64.32	c GLOBAL bounds - >= 0 @ 55.8268
63.91/64.37	c GLOBAL bounds - >= 0 @ 55.8635
64.00/64.42	c GLOBAL bounds - >= 0 @ 55.9102
64.00/64.47	c GLOBAL bounds - >= 0 @ 55.9485
64.11/64.51	c GLOBAL bounds - >= 0 @ 55.9849
64.11/64.57	c GLOBAL bounds - >= 0 @ 56.0366
64.20/64.62	c GLOBAL bounds - >= 0 @ 56.0796
64.20/64.68	c GLOBAL bounds - >= 0 @ 56.1244
64.30/64.73	c GLOBAL bounds - >= 0 @ 56.166
64.30/64.77	c GLOBAL bounds - >= 0 @ 56.204
64.40/64.82	c GLOBAL bounds - >= 0 @ 56.2469
64.40/64.88	c GLOBAL bounds - >= 0 @ 56.2921
64.50/64.93	c GLOBAL bounds - >= 0 @ 56.3336
64.50/64.97	c GLOBAL bounds - >= 0 @ 56.374
64.61/65.02	c GLOBAL bounds - >= 0 @ 56.4165
64.61/65.06	c GLOBAL bounds - >= 0 @ 56.4547
64.71/65.11	c GLOBAL bounds - >= 0 @ 56.4897
64.71/65.15	c GLOBAL bounds - >= 0 @ 56.5237
64.71/65.19	c GLOBAL bounds - >= 0 @ 56.5599
64.80/65.23	c GLOBAL bounds - >= 0 @ 56.5931
64.80/65.28	c GLOBAL bounds - >= 0 @ 56.6298
64.90/65.32	c GLOBAL bounds - >= 0 @ 56.6645
64.90/65.36	c GLOBAL bounds - >= 0 @ 56.7061
65.00/65.41	c GLOBAL bounds - >= 0 @ 56.7431
65.00/65.45	c GLOBAL bounds - >= 0 @ 56.7823
65.00/65.49	c GLOBAL bounds - >= 0 @ 56.8172
65.11/65.54	c GLOBAL bounds - >= 0 @ 56.8551
65.11/65.58	c GLOBAL bounds - >= 0 @ 56.8899
65.20/65.63	c GLOBAL bounds - >= 0 @ 56.9357
65.20/65.67	c GLOBAL bounds - >= 0 @ 56.9747
65.30/65.72	c GLOBAL bounds - >= 0 @ 57.0152
65.30/65.77	c GLOBAL bounds - >= 0 @ 57.0568
65.40/65.81	c GLOBAL bounds - >= 0 @ 57.0951
65.40/65.86	c GLOBAL bounds - >= 0 @ 57.1303
65.50/65.90	c GLOBAL bounds - >= 0 @ 57.1663
65.50/65.95	c GLOBAL bounds - >= 0 @ 57.2066
65.61/66.02	c GLOBAL bounds - >= 0 @ 57.2672
65.61/66.07	c GLOBAL bounds - >= 0 @ 57.3147
65.70/66.12	c GLOBAL bounds - >= 0 @ 57.358
65.70/66.16	c GLOBAL bounds - >= 0 @ 57.3896
65.80/66.21	c GLOBAL bounds - >= 0 @ 57.4302
65.80/66.26	c GLOBAL bounds - >= 0 @ 57.4695
65.90/66.30	c GLOBAL bounds - >= 0 @ 57.5058
65.90/66.34	c GLOBAL bounds - >= 0 @ 57.5389
65.90/66.38	c GLOBAL bounds - >= 0 @ 57.577
66.00/66.42	c GLOBAL bounds - >= 0 @ 57.6111
66.00/66.47	c GLOBAL bounds - >= 0 @ 57.6537
66.10/66.52	c GLOBAL bounds - >= 0 @ 57.6958
66.10/66.56	c GLOBAL bounds - >= 0 @ 57.7324
66.19/66.60	c GLOBAL bounds - >= 0 @ 57.7679
66.19/66.65	c GLOBAL bounds - >= 0 @ 57.8044
66.30/66.70	c GLOBAL bounds - >= 0 @ 57.8413
66.30/66.74	c GLOBAL bounds - >= 0 @ 57.8788
66.30/66.78	c GLOBAL bounds - >= 0 @ 57.9106
66.40/66.83	c GLOBAL bounds - >= 0 @ 57.9509
66.40/66.87	c GLOBAL bounds - >= 0 @ 57.9884
66.50/66.92	c GLOBAL bounds - >= 0 @ 58.0216
66.50/66.96	c GLOBAL bounds - >= 0 @ 58.0582
66.60/67.01	c GLOBAL bounds - >= 0 @ 58.1028
66.60/67.06	c GLOBAL bounds - >= 0 @ 58.1483
66.70/67.11	c GLOBAL bounds - >= 0 @ 58.1893
66.70/67.15	c GLOBAL bounds - >= 0 @ 58.2198
66.70/67.19	c GLOBAL bounds - >= 0 @ 58.2572
66.80/67.27	c GLOBAL bounds - >= 0 @ 58.3267
66.90/67.32	c GLOBAL bounds - >= 0 @ 58.3689
66.90/67.36	c GLOBAL bounds - >= 0 @ 58.4074
66.99/67.41	c GLOBAL bounds - >= 0 @ 58.4385
66.99/67.45	c GLOBAL bounds - >= 0 @ 58.4686
66.99/67.49	c GLOBAL bounds - >= 0 @ 58.5018
67.09/67.54	c GLOBAL bounds - >= 0 @ 58.5432
67.09/67.59	c GLOBAL bounds - >= 0 @ 58.5929
67.19/67.65	c GLOBAL bounds - >= 0 @ 58.6399
67.19/67.70	c GLOBAL bounds - >= 0 @ 58.6836
67.30/67.74	c GLOBAL bounds - >= 0 @ 58.7246
67.30/67.79	c GLOBAL bounds - >= 0 @ 58.7693
67.40/67.86	c GLOBAL bounds - >= 0 @ 58.8335
67.50/67.93	c GLOBAL bounds - >= 0 @ 58.8952
67.50/67.99	c GLOBAL bounds - >= 0 @ 58.9415
67.60/68.04	c GLOBAL bounds - >= 0 @ 58.9823
67.60/68.09	c GLOBAL bounds - >= 0 @ 59.0248
67.70/68.14	c GLOBAL bounds - >= 0 @ 59.0708
67.70/68.19	c GLOBAL bounds - >= 0 @ 59.1078
67.80/68.24	c GLOBAL bounds - >= 0 @ 59.1466
67.80/68.28	c GLOBAL bounds - >= 0 @ 59.1845
67.89/68.33	c GLOBAL bounds - >= 0 @ 59.2241
67.89/68.37	c GLOBAL bounds - >= 0 @ 59.2568
67.99/68.41	c GLOBAL bounds - >= 0 @ 59.2898
67.99/68.45	c GLOBAL bounds - >= 0 @ 59.3211
67.99/68.50	c GLOBAL bounds - >= 0 @ 59.3578
68.09/68.54	c GLOBAL bounds - >= 0 @ 59.3949
68.09/68.58	c GLOBAL bounds - >= 0 @ 59.4294
68.20/68.62	c GLOBAL bounds - >= 0 @ 59.4635
68.20/68.67	c GLOBAL bounds - >= 0 @ 59.5038
68.30/68.71	c GLOBAL bounds - >= 0 @ 59.54
68.30/68.75	c GLOBAL bounds - >= 0 @ 59.573
68.30/68.79	c GLOBAL bounds - >= 0 @ 59.6018
68.39/68.83	c GLOBAL bounds - >= 0 @ 59.6344
68.39/68.87	c GLOBAL bounds - >= 0 @ 59.6662
68.50/68.91	c GLOBAL bounds - >= 0 @ 59.6999
68.50/68.95	c GLOBAL bounds - >= 0 @ 59.7333
68.50/69.00	c GLOBAL bounds - >= 0 @ 59.7659
68.60/69.04	c GLOBAL bounds - >= 0 @ 59.8023
68.60/69.09	c GLOBAL bounds - >= 0 @ 59.8413
68.70/69.13	c GLOBAL bounds - >= 0 @ 59.8748
68.70/69.17	c GLOBAL bounds - >= 0 @ 59.9114
68.79/69.21	c GLOBAL bounds - >= 0 @ 59.9459
68.79/69.26	c GLOBAL bounds - >= 0 @ 59.9815
68.79/69.29	c GLOBAL bounds - >= 0 @ 60.0147
68.89/69.33	c GLOBAL bounds - >= 0 @ 60.0433
68.89/69.37	c GLOBAL bounds - >= 0 @ 60.0769
68.99/69.42	c GLOBAL bounds - >= 0 @ 60.1143
68.99/69.46	c GLOBAL bounds - >= 0 @ 60.1477
68.99/69.49	c GLOBAL bounds - >= 0 @ 60.1803
69.09/69.54	c GLOBAL bounds - >= 0 @ 60.2177
69.09/69.58	c GLOBAL bounds - >= 0 @ 60.2571
69.19/69.62	c GLOBAL bounds - >= 0 @ 60.2947
69.19/69.67	c GLOBAL bounds - >= 0 @ 60.3272
69.29/69.71	c GLOBAL bounds - >= 0 @ 60.3562
69.29/69.75	c GLOBAL bounds - >= 0 @ 60.389
69.29/69.78	c GLOBAL bounds - >= 0 @ 60.4198
69.39/69.83	c GLOBAL bounds - >= 0 @ 60.4529
69.39/69.87	c GLOBAL bounds - >= 0 @ 60.4879
69.49/69.91	c GLOBAL bounds - >= 0 @ 60.5156
69.49/69.95	c GLOBAL bounds - >= 0 @ 60.5452
69.49/69.99	c GLOBAL bounds - >= 0 @ 60.5777
69.60/70.03	c GLOBAL bounds - >= 0 @ 60.6075
69.60/70.06	c GLOBAL bounds - >= 0 @ 60.638
69.69/70.11	c GLOBAL bounds - >= 0 @ 60.6718
69.69/70.15	c GLOBAL bounds - >= 0 @ 60.7094
69.69/70.19	c GLOBAL bounds - >= 0 @ 60.7404
69.79/70.23	c GLOBAL bounds - >= 0 @ 60.777
69.79/70.28	c GLOBAL bounds - >= 0 @ 60.8137
69.89/70.32	c GLOBAL bounds - >= 0 @ 60.8417
69.89/70.35	c GLOBAL bounds - >= 0 @ 60.8702
69.89/70.39	c GLOBAL bounds - >= 0 @ 60.8999
69.99/70.43	c GLOBAL bounds - >= 0 @ 60.9358
69.99/70.47	c GLOBAL bounds - >= 0 @ 60.9682
70.09/70.51	c GLOBAL bounds - >= 0 @ 60.9963
70.09/70.55	c GLOBAL bounds - >= 0 @ 61.0254
70.09/70.59	c GLOBAL bounds - >= 0 @ 61.0511
70.18/70.62	c GLOBAL bounds - >= 0 @ 61.0804
70.18/70.66	c GLOBAL bounds - >= 0 @ 61.1121
70.29/70.71	c GLOBAL bounds - >= 0 @ 61.1478
70.29/70.75	c GLOBAL bounds - >= 0 @ 61.1765
70.29/70.78	c GLOBAL bounds - >= 0 @ 61.205
70.39/70.82	c GLOBAL bounds - >= 0 @ 61.2334
70.39/70.86	c GLOBAL bounds - >= 0 @ 61.2606
70.39/70.89	c GLOBAL bounds - >= 0 @ 61.2898
70.49/70.93	c GLOBAL bounds - >= 0 @ 61.3226
70.49/70.97	c GLOBAL bounds - >= 0 @ 61.3531
70.59/71.01	c GLOBAL bounds - >= 0 @ 61.3868
70.59/71.05	c GLOBAL bounds - >= 0 @ 61.4142
70.59/71.08	c GLOBAL bounds - >= 0 @ 61.44
70.69/71.12	c GLOBAL bounds - >= 0 @ 61.477
70.69/71.16	c GLOBAL bounds - >= 0 @ 61.5105
70.79/71.21	c GLOBAL bounds - >= 0 @ 61.545
70.79/71.25	c GLOBAL bounds - >= 0 @ 61.5761
70.79/71.29	c GLOBAL bounds - >= 0 @ 61.6118
70.89/71.33	c GLOBAL bounds - >= 0 @ 61.6488
70.89/71.37	c GLOBAL bounds - >= 0 @ 61.6829
70.99/71.41	c GLOBAL bounds - >= 0 @ 61.7098
70.99/71.46	c GLOBAL bounds - >= 0 @ 61.7566
71.09/71.52	c GLOBAL bounds - >= 0 @ 61.806
71.19/71.69	c GLOBAL bounds - >= 0 @ 61.9644
84.95/85.43	c #Conflicts:       5000 | #Constraints:      69714
84.95/85.43	c #Conflicts:       6000 | #Constraints:      70714
84.95/85.43	c INPROCESSING
84.95/85.43	c GARBAGE COLLECT
84.95/85.43	c GLOBAL bounds - >= 0 @ 75.1873
88.94/89.48	c #Conflicts:       7000 | #Constraints:      69722
88.94/89.48	c GLOBAL bounds - >= 0 @ 79.1563
94.64/95.16	c #Conflicts:       8000 | #Constraints:      70724
94.64/95.16	c GLOBAL bounds - >= 0 @ 84.692
95.83/96.34	c GLOBAL bounds - >= 0 @ 85.8258
96.12/96.66	c GLOBAL bounds - >= 0 @ 86.1146
96.32/96.84	c GLOBAL bounds - >= 0 @ 86.286
96.43/96.96	c GLOBAL bounds - >= 0 @ 86.4078
96.53/97.02	c GLOBAL bounds - >= 0 @ 86.4688
96.63/97.12	c GLOBAL bounds - >= 0 @ 86.559
96.72/97.20	c GLOBAL bounds - >= 0 @ 86.644
96.72/97.28	c GLOBAL bounds - >= 0 @ 86.7154
96.83/97.32	c GLOBAL bounds - >= 0 @ 86.759
96.83/97.36	c GLOBAL bounds - >= 0 @ 86.7923
96.92/97.43	c GLOBAL bounds - >= 0 @ 86.8578
96.92/97.50	c GLOBAL bounds - >= 0 @ 86.9177
97.02/97.59	c GLOBAL bounds - >= 0 @ 87.0104
97.13/97.64	c GLOBAL bounds - >= 0 @ 87.0559
97.13/97.69	c GLOBAL bounds - >= 0 @ 87.0996
97.23/97.76	c GLOBAL bounds - >= 0 @ 87.1587
97.33/97.80	c GLOBAL bounds - >= 0 @ 87.1988
97.33/97.85	c GLOBAL bounds - >= 0 @ 87.241
97.33/97.89	c GLOBAL bounds - >= 0 @ 87.2788
97.43/97.95	c GLOBAL bounds - >= 0 @ 87.3327
97.53/98.04	c GLOBAL bounds - >= 0 @ 87.4177
97.93/98.43	c GLOBAL bounds - >= 0 @ 87.7904
98.22/98.79	c GLOBAL bounds - >= 0 @ 88.1136
98.32/98.90	c GLOBAL bounds - >= 0 @ 88.208
98.42/98.97	c GLOBAL bounds - >= 0 @ 88.2771
98.53/99.02	c GLOBAL bounds - >= 0 @ 88.3224
98.53/99.07	c GLOBAL bounds - >= 0 @ 88.3629
98.62/99.12	c GLOBAL bounds - >= 0 @ 88.4111
98.62/99.16	c GLOBAL bounds - >= 0 @ 88.4511
98.72/99.20	c GLOBAL bounds - >= 0 @ 88.4911
98.72/99.24	c GLOBAL bounds - >= 0 @ 88.5248
98.72/99.28	c GLOBAL bounds - >= 0 @ 88.5552
98.82/99.31	c GLOBAL bounds - >= 0 @ 88.5897
98.82/99.36	c GLOBAL bounds - >= 0 @ 88.6299
98.92/99.43	c GLOBAL bounds - >= 0 @ 88.6993
98.92/99.47	c GLOBAL bounds - >= 0 @ 88.732
99.02/99.51	c GLOBAL bounds - >= 0 @ 88.7747
99.02/99.56	c GLOBAL bounds - >= 0 @ 88.8152
99.11/99.60	c GLOBAL bounds - >= 0 @ 88.8506
99.11/99.63	c GLOBAL bounds - >= 0 @ 88.8797
99.11/99.68	c GLOBAL bounds - >= 0 @ 88.9221
99.21/99.74	c GLOBAL bounds - >= 0 @ 88.9872
99.21/99.78	c GLOBAL bounds - >= 0 @ 89.0167
99.31/99.82	c GLOBAL bounds - >= 0 @ 89.0456
99.31/99.86	c GLOBAL bounds - >= 0 @ 89.0892
99.31/99.90	c GLOBAL bounds - >= 0 @ 89.1177
99.41/99.93	c GLOBAL bounds - >= 0 @ 89.1495
99.41/99.96	c GLOBAL bounds - >= 0 @ 89.1825
99.53/100.01	c GLOBAL bounds - >= 0 @ 89.2236
99.53/100.04	c GLOBAL bounds - >= 0 @ 89.2536
99.53/100.08	c GLOBAL bounds - >= 0 @ 89.291
99.62/100.15	c GLOBAL bounds - >= 0 @ 89.3586
104.71/105.22	c #Conflicts:       9000 | #Constraints:      71830
104.71/105.22	c INPROCESSING
104.71/105.22	c GARBAGE COLLECT
104.71/105.22	c GLOBAL bounds - >= 0 @ 94.3095
104.71/105.28	c GLOBAL bounds - >= 0 @ 94.3674
104.81/105.35	c GLOBAL bounds - >= 0 @ 94.4292
105.51/106.09	c GLOBAL bounds - >= 0 @ 94.8271
105.91/106.44	c GLOBAL bounds - >= 0 @ 95.1605
106.00/106.54	c GLOBAL bounds - >= 0 @ 95.2531
106.00/106.58	c GLOBAL bounds - >= 0 @ 95.2883
106.51/107.06	c GLOBAL bounds - >= 0 @ 95.7375
107.20/107.79	c GLOBAL bounds - >= 0 @ 96.4336
107.30/107.87	c GLOBAL bounds - >= 0 @ 96.5048
107.60/108.11	c GLOBAL bounds - >= 0 @ 96.7257
107.70/108.28	c GLOBAL bounds - >= 0 @ 96.8719
107.80/108.39	c GLOBAL bounds - >= 0 @ 96.9771
108.30/108.87	c GLOBAL bounds - >= 0 @ 97.4242
108.40/108.93	c GLOBAL bounds - >= 0 @ 97.483
112.39/112.94	c #Conflicts:      10000 | #Constraints:      70562
112.39/112.94	c GLOBAL bounds - >= 0 @ 101.368
112.60/113.14	c GLOBAL bounds - >= 0 @ 101.556
112.78/113.32	c GLOBAL bounds - >= 0 @ 101.734
112.78/113.38	c GLOBAL bounds - >= 0 @ 101.784
112.89/113.46	c GLOBAL bounds - >= 0 @ 101.859
112.99/113.52	c GLOBAL bounds - >= 0 @ 101.902
112.99/113.55	c GLOBAL bounds - >= 0 @ 101.937
112.99/113.59	c GLOBAL bounds - >= 0 @ 101.967
113.09/113.63	c GLOBAL bounds - >= 0 @ 102.008
113.09/113.68	c GLOBAL bounds - >= 0 @ 102.057
113.18/113.75	c GLOBAL bounds - >= 0 @ 102.116
113.28/113.80	c GLOBAL bounds - >= 0 @ 102.16
113.28/113.88	c GLOBAL bounds - >= 0 @ 102.242
113.38/113.95	c GLOBAL bounds - >= 0 @ 102.304
113.49/114.04	c GLOBAL bounds - >= 0 @ 102.378
113.49/114.09	c GLOBAL bounds - >= 0 @ 102.417
113.58/114.16	c GLOBAL bounds - >= 0 @ 102.482
117.37/117.90	c #Conflicts:      11000 | #Constraints:      71596
117.37/117.90	c GLOBAL bounds - >= 0 @ 106.108
117.58/118.17	c GLOBAL bounds - >= 0 @ 106.366
118.67/119.25	c GLOBAL bounds - >= 0 @ 107.376
118.77/119.38	c GLOBAL bounds - >= 0 @ 107.497
118.97/119.52	c GLOBAL bounds - >= 0 @ 107.606
119.97/120.50	c GLOBAL bounds - >= 0 @ 108.549
120.87/121.48	c GLOBAL bounds - >= 0 @ 109.481
121.16/121.71	c GLOBAL bounds - >= 0 @ 109.697
125.05/125.63	c #Conflicts:      12000 | #Constraints:      72612
125.05/125.63	c INPROCESSING
125.05/125.63	c GARBAGE COLLECT
125.05/125.63	c GLOBAL bounds - >= 0 @ 113.545
128.15/128.75	c GLOBAL bounds - >= 0 @ 116.573
128.35/128.99	c GLOBAL bounds - >= 0 @ 116.798
130.94/131.59	c GLOBAL bounds - >= 0 @ 119.312
136.62/137.20	c #Conflicts:      13000 | #Constraints:      71074
136.62/137.20	c GLOBAL bounds - >= 0 @ 124.829
155.67/156.37	c #Conflicts:      14000 | #Constraints:      72076
155.67/156.37	c #Conflicts:      15000 | #Constraints:      73076
155.67/156.37	c INPROCESSING
155.67/156.37	c GARBAGE COLLECT
155.67/156.37	c #Conflicts:      16000 | #Constraints:      71314
155.67/156.37	c GLOBAL bounds - >= 0 @ 143.566
157.47/158.12	c GLOBAL bounds - >= 0 @ 145.264
173.82/174.55	c #Conflicts:      17000 | #Constraints:      72318
173.82/174.55	c #Conflicts:      18000 | #Constraints:      73318
173.82/174.55	c INPROCESSING
173.82/174.55	c GARBAGE COLLECT
173.82/174.55	c GLOBAL bounds - >= 0 @ 161.369
186.78/187.53	c #Conflicts:      19000 | #Constraints:      71333
186.78/187.53	c #Conflicts:      20000 | #Constraints:      72333
186.78/187.53	c GLOBAL bounds - >= 0 @ 174.018
213.61/214.44	c #Conflicts:      21000 | #Constraints:      73335
213.61/214.44	c INPROCESSING
213.61/214.44	c GARBAGE COLLECT
213.61/214.44	c #Conflicts:      22000 | #Constraints:      71136
213.61/214.44	c #Conflicts:      23000 | #Constraints:      72136
213.61/214.44	c GLOBAL bounds - >= 0 @ 199.575
236.74/237.65	c #Conflicts:      24000 | #Constraints:      73138
236.74/237.65	c #Conflicts:      25000 | #Constraints:      74138
236.74/237.65	c INPROCESSING
236.74/237.65	c GARBAGE COLLECT
236.74/237.65	c GLOBAL bounds - >= 0 @ 222.099
516.61/518.34	c #Conflicts:      26000 | #Constraints:      71739
516.61/518.34	c #Conflicts:      27000 | #Constraints:      72739
516.61/518.34	c #Conflicts:      28000 | #Constraints:      73739
516.61/518.34	c #Conflicts:      29000 | #Constraints:      74739
516.61/518.34	c INPROCESSING
516.61/518.34	c GARBAGE COLLECT
516.61/518.34	c #Conflicts:      30000 | #Constraints:      72141
516.61/518.34	c #Conflicts:      31000 | #Constraints:      73141
516.61/518.34	c #Conflicts:      32000 | #Constraints:      74141
516.61/518.34	c #Conflicts:      33000 | #Constraints:      75141
516.61/518.34	c INPROCESSING
516.61/518.34	c GARBAGE COLLECT
516.61/518.34	c #Conflicts:      34000 | #Constraints:      72344
516.61/518.34	c #Conflicts:      35000 | #Constraints:      73344
516.61/518.34	c #Conflicts:      36000 | #Constraints:      74344
516.61/518.34	c #Conflicts:      37000 | #Constraints:      75344
516.61/518.34	c INPROCESSING
516.61/518.34	c GARBAGE COLLECT
516.61/518.34	c #Conflicts:      38000 | #Constraints:      72349
516.61/518.34	c #Conflicts:      39000 | #Constraints:      73349
516.61/518.34	c #Conflicts:      40000 | #Constraints:      74349
516.61/518.34	c #Conflicts:      41000 | #Constraints:      75349
516.61/518.34	c INPROCESSING
516.61/518.34	c GARBAGE COLLECT
516.61/518.34	c #Conflicts:      42000 | #Constraints:      72156
516.61/518.34	c #Conflicts:      43000 | #Constraints:      73156
516.61/518.34	c #Conflicts:      44000 | #Constraints:      74156
516.61/518.34	c #Conflicts:      45000 | #Constraints:      75156
516.61/518.34	c #Conflicts:      46000 | #Constraints:      76156
516.61/518.34	c INPROCESSING
516.61/518.34	c GARBAGE COLLECT
516.61/518.34	c #Conflicts:      47000 | #Constraints:      72756
516.61/518.34	c #Conflicts:      48000 | #Constraints:      73756
516.61/518.34	c #Conflicts:      49000 | #Constraints:      74756
516.61/518.34	c #Conflicts:      50000 | #Constraints:      75756
516.61/518.34	c #Conflicts:      51000 | #Constraints:      76756
516.61/518.34	c INPROCESSING
516.61/518.34	c GARBAGE COLLECT
516.61/518.34	c #Conflicts:      52000 | #Constraints:      73156
516.61/518.34	c #Conflicts:      53000 | #Constraints:      74156
516.61/518.34	c #Conflicts:      54000 | #Constraints:      75156
516.61/518.34	c GLOBAL bounds - >= 0 @ 495.549
519.59/521.31	c #Conflicts:      55000 | #Constraints:      76158
519.59/521.31	c GLOBAL bounds - >= 0 @ 498.398
1213.27/1217.13	c #Conflicts:      56000 | #Constraints:      77160
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:      57000 | #Constraints:      73361
1213.27/1217.13	c #Conflicts:      58000 | #Constraints:      74361
1213.27/1217.13	c #Conflicts:      59000 | #Constraints:      75361
1213.27/1217.13	c #Conflicts:      60000 | #Constraints:      76361
1213.27/1217.13	c #Conflicts:      61000 | #Constraints:      77361
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:      62000 | #Constraints:      73354
1213.27/1217.13	c #Conflicts:      63000 | #Constraints:      74354
1213.27/1217.13	c #Conflicts:      64000 | #Constraints:      75354
1213.27/1217.13	c #Conflicts:      65000 | #Constraints:      76354
1213.27/1217.13	c #Conflicts:      66000 | #Constraints:      77354
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:      67000 | #Constraints:      73155
1213.27/1217.13	c #Conflicts:      68000 | #Constraints:      74155
1213.27/1217.13	c #Conflicts:      69000 | #Constraints:      75155
1213.27/1217.13	c #Conflicts:      70000 | #Constraints:      76155
1213.27/1217.13	c #Conflicts:      71000 | #Constraints:      77155
1213.27/1217.13	c #Conflicts:      72000 | #Constraints:      78155
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:      73000 | #Constraints:      73757
1213.27/1217.13	c #Conflicts:      74000 | #Constraints:      74757
1213.27/1217.13	c #Conflicts:      75000 | #Constraints:      75757
1213.27/1217.13	c #Conflicts:      76000 | #Constraints:      76757
1213.27/1217.13	c #Conflicts:      77000 | #Constraints:      77757
1213.27/1217.13	c #Conflicts:      78000 | #Constraints:      78757
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:      79000 | #Constraints:      74155
1213.27/1217.13	c #Conflicts:      80000 | #Constraints:      75155
1213.27/1217.13	c #Conflicts:      81000 | #Constraints:      76155
1213.27/1217.13	c #Conflicts:      82000 | #Constraints:      77155
1213.27/1217.13	c #Conflicts:      83000 | #Constraints:      78155
1213.27/1217.13	c #Conflicts:      84000 | #Constraints:      79155
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:      85000 | #Constraints:      74355
1213.27/1217.13	c #Conflicts:      86000 | #Constraints:      75355
1213.27/1217.13	c #Conflicts:      87000 | #Constraints:      76355
1213.27/1217.13	c #Conflicts:      88000 | #Constraints:      77355
1213.27/1217.13	c #Conflicts:      89000 | #Constraints:      78355
1213.27/1217.13	c #Conflicts:      90000 | #Constraints:      79355
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:      91000 | #Constraints:      74355
1213.27/1217.13	c #Conflicts:      92000 | #Constraints:      75355
1213.27/1217.13	c #Conflicts:      93000 | #Constraints:      76355
1213.27/1217.13	c #Conflicts:      94000 | #Constraints:      77355
1213.27/1217.13	c #Conflicts:      95000 | #Constraints:      78355
1213.27/1217.13	c #Conflicts:      96000 | #Constraints:      79355
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:      97000 | #Constraints:      74165
1213.27/1217.13	c #Conflicts:      98000 | #Constraints:      75165
1213.27/1217.13	c #Conflicts:      99000 | #Constraints:      76165
1213.27/1217.13	c #Conflicts:     100000 | #Constraints:      77165
1213.27/1217.13	c #Conflicts:     101000 | #Constraints:      78165
1213.27/1217.13	c #Conflicts:     102000 | #Constraints:      79165
1213.27/1217.13	c #Conflicts:     103000 | #Constraints:      80165
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:     104000 | #Constraints:      74763
1213.27/1217.13	c #Conflicts:     105000 | #Constraints:      75763
1213.27/1217.13	c #Conflicts:     106000 | #Constraints:      76763
1213.27/1217.13	c #Conflicts:     107000 | #Constraints:      77763
1213.27/1217.13	c #Conflicts:     108000 | #Constraints:      78763
1213.27/1217.13	c #Conflicts:     109000 | #Constraints:      79763
1213.27/1217.13	c #Conflicts:     110000 | #Constraints:      80763
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:     111000 | #Constraints:      75158
1213.27/1217.13	c #Conflicts:     112000 | #Constraints:      76158
1213.27/1217.13	c #Conflicts:     113000 | #Constraints:      77158
1213.27/1217.13	c #Conflicts:     114000 | #Constraints:      78158
1213.27/1217.13	c #Conflicts:     115000 | #Constraints:      79158
1213.27/1217.13	c #Conflicts:     116000 | #Constraints:      80158
1213.27/1217.13	c #Conflicts:     117000 | #Constraints:      81158
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:     118000 | #Constraints:      75357
1213.27/1217.13	c #Conflicts:     119000 | #Constraints:      76357
1213.27/1217.13	c #Conflicts:     120000 | #Constraints:      77357
1213.27/1217.13	c #Conflicts:     121000 | #Constraints:      78357
1213.27/1217.13	c #Conflicts:     122000 | #Constraints:      79357
1213.27/1217.13	c #Conflicts:     123000 | #Constraints:      80357
1213.27/1217.13	c #Conflicts:     124000 | #Constraints:      81357
1213.27/1217.13	c INPROCESSING
1213.27/1217.13	c GARBAGE COLLECT
1213.27/1217.13	c #Conflicts:     125000 | #Constraints:      75359
1213.27/1217.13	c #Conflicts:     126000 | #Constraints:      76359
1213.27/1217.13	c #Conflicts:     127000 | #Constraints:      77359
1465.30/1517.88	c #Conflicts:     128000 | #Constraints:      78359
1465.30/1517.88	c #Conflicts:     129000 | #Constraints:      79359
1465.30/1517.88	c #Conflicts:     130000 | #Constraints:      80359
1465.30/1517.88	c #Conflicts:     131000 | #Constraints:      81359
1465.30/1517.88	c INPROCESSING
1465.30/1517.88	c GARBAGE COLLECT
1465.30/1517.88	c #Conflicts:     132000 | #Constraints:      75158
1465.30/1517.88	c #Conflicts:     133000 | #Constraints:      76158
1465.30/1517.88	c #Conflicts:     134000 | #Constraints:      77158
1465.30/1517.88	c #Conflicts:     135000 | #Constraints:      78158
1465.30/1517.88	c #Conflicts:     136000 | #Constraints:      79158
1465.30/1517.88	c #Conflicts:     137000 | #Constraints:      80158
1465.30/1517.88	c #Conflicts:     138000 | #Constraints:      81158
1465.30/1517.88	c #Conflicts:     139000 | #Constraints:      82158
1465.30/1517.88	c INPROCESSING
1465.30/1517.88	c GARBAGE COLLECT
1465.30/1517.88	c #Conflicts:     140000 | #Constraints:      75763
1465.30/1517.88	c #Conflicts:     141000 | #Constraints:      76763
1465.30/1517.88	c #Conflicts:     142000 | #Constraints:      77763
1465.30/1517.88	c #Conflicts:     143000 | #Constraints:      78763
1465.30/1517.88	c #Conflicts:     144000 | #Constraints:      79763
1465.30/1517.88	c #Conflicts:     145000 | #Constraints:      80763
1465.30/1517.88	c #Conflicts:     146000 | #Constraints:      81763
1465.30/1517.88	c #Conflicts:     147000 | #Constraints:      82763
1465.30/1517.88	c INPROCESSING
1465.30/1517.88	c GARBAGE COLLECT
1465.30/1517.88	c #Conflicts:     148000 | #Constraints:      76161
1465.30/1517.88	c #Conflicts:     149000 | #Constraints:      77161
1465.30/1517.88	c #Conflicts:     150000 | #Constraints:      78161
1465.30/1517.88	c #Conflicts:     151000 | #Constraints:      79161
1465.30/1517.88	c GLOBAL bounds - >= 0 @ 1426.38
1661.25/1714.33	c #Conflicts:     152000 | #Constraints:      80163
1661.25/1714.33	c #Conflicts:     153000 | #Constraints:      81163
1661.25/1714.33	c #Conflicts:     154000 | #Constraints:      82163
1661.25/1714.33	c #Conflicts:     155000 | #Constraints:      83163
1661.25/1714.33	c INPROCESSING
1661.25/1714.33	c GARBAGE COLLECT
1661.25/1714.33	c #Conflicts:     156000 | #Constraints:      76362
1661.25/1714.33	c #Conflicts:     157000 | #Constraints:      77362
1661.25/1714.33	c #Conflicts:     158000 | #Constraints:      78362
1661.25/1714.33	c #Conflicts:     159000 | #Constraints:      79362
1661.25/1714.33	c #Conflicts:     160000 | #Constraints:      80362
1661.25/1714.33	c #Conflicts:     161000 | #Constraints:      81362
1661.25/1714.33	c #Conflicts:     162000 | #Constraints:      82362
1661.25/1714.33	c #Conflicts:     163000 | #Constraints:      83362
1661.25/1714.33	c INPROCESSING
1661.25/1714.33	c GARBAGE COLLECT
1661.25/1714.33	c #Conflicts:     164000 | #Constraints:      76359
1661.25/1714.33	c #Conflicts:     165000 | #Constraints:      77359
1661.25/1714.33	c #Conflicts:     166000 | #Constraints:      78359
1661.25/1714.33	c #Conflicts:     167000 | #Constraints:      79359
1661.25/1714.33	c #Conflicts:     168000 | #Constraints:      80359
1661.25/1714.33	c #Conflicts:     169000 | #Constraints:      81359
1661.25/1714.33	c #Conflicts:     170000 | #Constraints:      82359
1661.25/1714.33	c #Conflicts:     171000 | #Constraints:      83359
1661.25/1714.33	c GLOBAL bounds - >= 0 @ 1617.7
1684.15/1737.36	c INPROCESSING
1684.15/1737.36	c GARBAGE COLLECT
1684.15/1737.36	c #Conflicts:     172000 | #Constraints:      76158
1684.15/1737.36	c #Conflicts:     173000 | #Constraints:      77158
1684.15/1737.36	c GLOBAL bounds - >= 0 @ 1640.18
1707.80/1761.10	c #Conflicts:     174000 | #Constraints:      78160
1707.80/1761.10	c #Conflicts:     175000 | #Constraints:      79160
1707.80/1761.10	c #Conflicts:     176000 | #Constraints:      80160
1707.80/1761.10	c GLOBAL bounds - >= 0 @ 1663.04
2462.30/2517.63	c #Conflicts:     177000 | #Constraints:      81162
2462.30/2517.63	c #Conflicts:     178000 | #Constraints:      82162
2462.30/2517.63	c #Conflicts:     179000 | #Constraints:      83162
2462.30/2517.63	c #Conflicts:     180000 | #Constraints:      84162
2462.30/2517.63	c INPROCESSING
2462.30/2517.63	c GARBAGE COLLECT
2462.30/2517.63	c #Conflicts:     181000 | #Constraints:      76763
2462.30/2517.63	c #Conflicts:     182000 | #Constraints:      77763
2462.30/2517.63	c #Conflicts:     183000 | #Constraints:      78763
2462.30/2517.63	c #Conflicts:     184000 | #Constraints:      79763
2462.30/2517.63	c #Conflicts:     185000 | #Constraints:      80763
2462.30/2517.63	c #Conflicts:     186000 | #Constraints:      81763
2462.30/2517.63	c #Conflicts:     187000 | #Constraints:      82763
2462.30/2517.63	c #Conflicts:     188000 | #Constraints:      83763
2462.30/2517.63	c #Conflicts:     189000 | #Constraints:      84763
2462.30/2517.63	c INPROCESSING
2462.30/2517.63	c GARBAGE COLLECT
2462.30/2517.63	c #Conflicts:     190000 | #Constraints:      77168
2462.30/2517.63	c #Conflicts:     191000 | #Constraints:      78168
2462.30/2517.63	c #Conflicts:     192000 | #Constraints:      79168
2462.30/2517.63	c #Conflicts:     193000 | #Constraints:      80168
2462.30/2517.63	c #Conflicts:     194000 | #Constraints:      81168
2462.30/2517.63	c #Conflicts:     195000 | #Constraints:      82168
2462.30/2517.63	c #Conflicts:     196000 | #Constraints:      83168
2462.30/2517.63	c #Conflicts:     197000 | #Constraints:      84168
2462.30/2517.63	c #Conflicts:     198000 | #Constraints:      85168
2462.30/2517.63	c INPROCESSING
2462.30/2517.63	c GARBAGE COLLECT
2462.30/2517.63	c #Conflicts:     199000 | #Constraints:      77375
2462.30/2517.63	c #Conflicts:     200000 | #Constraints:      78375
2462.30/2517.63	c #Conflicts:     201000 | #Constraints:      79375
2462.30/2517.63	c #Conflicts:     202000 | #Constraints:      80375
2462.30/2517.63	c #Conflicts:     203000 | #Constraints:      81375
2462.30/2517.63	c #Conflicts:     204000 | #Constraints:      82375
2462.30/2517.63	c #Conflicts:     205000 | #Constraints:      83375
2462.30/2517.63	c #Conflicts:     206000 | #Constraints:      84375
2462.30/2517.63	c #Conflicts:     207000 | #Constraints:      85375
2462.30/2517.63	c INPROCESSING
2462.30/2517.63	c GARBAGE COLLECT
2462.30/2517.63	c #Conflicts:     208000 | #Constraints:      77377
2462.30/2517.63	c #Conflicts:     209000 | #Constraints:      78377
2462.30/2517.63	c #Conflicts:     210000 | #Constraints:      79377
2462.30/2517.63	c #Conflicts:     211000 | #Constraints:      80377
2462.30/2517.63	c #Conflicts:     212000 | #Constraints:      81377
2462.30/2517.63	c #Conflicts:     213000 | #Constraints:      82377
2462.30/2517.63	c #Conflicts:     214000 | #Constraints:      83377
2462.30/2517.63	c #Conflicts:     215000 | #Constraints:      84377
2462.30/2517.63	c #Conflicts:     216000 | #Constraints:      85377
2462.30/2517.63	c INPROCESSING
2462.30/2517.63	c GARBAGE COLLECT
2462.30/2517.63	c #Conflicts:     217000 | #Constraints:      77176
2462.30/2517.63	c #Conflicts:     218000 | #Constraints:      78176
2462.30/2517.63	c #Conflicts:     219000 | #Constraints:      79176
2462.30/2517.63	c #Conflicts:     220000 | #Constraints:      80176
2462.30/2517.63	c #Conflicts:     221000 | #Constraints:      81176
2462.30/2517.63	c #Conflicts:     222000 | #Constraints:      82176
2462.30/2517.63	c #Conflicts:     223000 | #Constraints:      83176
2462.30/2517.63	c #Conflicts:     224000 | #Constraints:      84176
2462.30/2517.63	c #Conflicts:     225000 | #Constraints:      85176
2462.30/2517.63	c #Conflicts:     226000 | #Constraints:      86176
2462.30/2517.63	c INPROCESSING
2462.30/2517.63	c GARBAGE COLLECT
2462.30/2517.63	c #Conflicts:     227000 | #Constraints:      77783
2462.30/2517.63	c #Conflicts:     228000 | #Constraints:      78783
2462.30/2517.63	c #Conflicts:     229000 | #Constraints:      79783
2462.30/2517.63	c #Conflicts:     230000 | #Constraints:      80783
2462.30/2517.63	c #Conflicts:     231000 | #Constraints:      81783
2462.30/2517.63	c #Conflicts:     232000 | #Constraints:      82783
2462.30/2517.63	c #Conflicts:     233000 | #Constraints:      83783
2462.30/2517.63	c #Conflicts:     234000 | #Constraints:      84783
2462.30/2517.63	c #Conflicts:     235000 | #Constraints:      85783
2462.30/2517.63	c #Conflicts:     236000 | #Constraints:      86783
2462.30/2517.63	c INPROCESSING
2462.30/2517.63	c GARBAGE COLLECT
2462.30/2517.63	c #Conflicts:     237000 | #Constraints:      78180
2462.30/2517.63	c #Conflicts:     238000 | #Constraints:      79180
2462.30/2517.63	c #Conflicts:     239000 | #Constraints:      80180
2462.30/2517.63	c #Conflicts:     240000 | #Constraints:      81180
2462.30/2517.63	c #Conflicts:     241000 | #Constraints:      82180
2462.30/2517.63	c #Conflicts:     242000 | #Constraints:      83180
2462.30/2517.63	c #Conflicts:     243000 | #Constraints:      84180
2462.30/2517.63	c #Conflicts:     244000 | #Constraints:      85180
2462.30/2517.63	c #Conflicts:     245000 | #Constraints:      86180
2462.30/2517.63	c #Conflicts:     246000 | #Constraints:      87180
2462.30/2517.63	c INPROCESSING
2462.30/2517.63	c GARBAGE COLLECT
2462.30/2517.63	c #Conflicts:     247000 | #Constraints:      78380
2462.30/2517.63	c #Conflicts:     248000 | #Constraints:      79380
2462.30/2517.63	c #Conflicts:     249000 | #Constraints:      80380
2462.30/2517.63	c #Conflicts:     250000 | #Constraints:      81380
3234.08/3291.70	c #Conflicts:     251000 | #Constraints:      82380
3234.08/3291.70	c #Conflicts:     252000 | #Constraints:      83380
3234.08/3291.70	c #Conflicts:     253000 | #Constraints:      84380
3234.08/3291.70	c #Conflicts:     254000 | #Constraints:      85380
3234.08/3291.70	c #Conflicts:     255000 | #Constraints:      86380
3234.08/3291.70	c #Conflicts:     256000 | #Constraints:      87380
3234.08/3291.70	c INPROCESSING
3234.08/3291.70	c GARBAGE COLLECT
3234.08/3291.70	c #Conflicts:     257000 | #Constraints:      78373
3234.08/3291.70	c #Conflicts:     258000 | #Constraints:      79373
3234.08/3291.70	c #Conflicts:     259000 | #Constraints:      80373
3234.08/3291.70	c #Conflicts:     260000 | #Constraints:      81373
3234.08/3291.70	c #Conflicts:     261000 | #Constraints:      82373
3234.08/3291.70	c #Conflicts:     262000 | #Constraints:      83373
3234.08/3291.70	c #Conflicts:     263000 | #Constraints:      84373
3234.08/3291.70	c #Conflicts:     264000 | #Constraints:      85373
3234.08/3291.70	c #Conflicts:     265000 | #Constraints:      86373
3234.08/3291.70	c #Conflicts:     266000 | #Constraints:      87373
3234.08/3291.70	c INPROCESSING
3234.08/3291.70	c GARBAGE COLLECT
3234.08/3291.70	c #Conflicts:     267000 | #Constraints:      78168
3234.08/3291.70	c #Conflicts:     268000 | #Constraints:      79168
3234.08/3291.70	c #Conflicts:     269000 | #Constraints:      80168
3234.08/3291.70	c #Conflicts:     270000 | #Constraints:      81168
3234.08/3291.70	c #Conflicts:     271000 | #Constraints:      82168
3234.08/3291.70	c #Conflicts:     272000 | #Constraints:      83168
3234.08/3291.70	c #Conflicts:     273000 | #Constraints:      84168
3234.08/3291.70	c #Conflicts:     274000 | #Constraints:      85168
3234.08/3291.70	c #Conflicts:     275000 | #Constraints:      86168
3234.08/3291.70	c #Conflicts:     276000 | #Constraints:      87168
3234.08/3291.70	c #Conflicts:     277000 | #Constraints:      88168
3234.08/3291.70	c INPROCESSING
3234.08/3291.70	c GARBAGE COLLECT
3234.08/3291.70	c #Conflicts:     278000 | #Constraints:      78774
3234.08/3291.70	c #Conflicts:     279000 | #Constraints:      79774
3234.08/3291.70	c #Conflicts:     280000 | #Constraints:      80774
3234.08/3291.70	c #Conflicts:     281000 | #Constraints:      81774
3234.08/3291.70	c #Conflicts:     282000 | #Constraints:      82774
3234.08/3291.70	c #Conflicts:     283000 | #Constraints:      83774
3234.08/3291.70	c #Conflicts:     284000 | #Constraints:      84774
3234.08/3291.70	c #Conflicts:     285000 | #Constraints:      85774
3234.08/3291.70	c #Conflicts:     286000 | #Constraints:      86774
3234.08/3291.70	c #Conflicts:     287000 | #Constraints:      87774
3234.08/3291.70	c #Conflicts:     288000 | #Constraints:      88774
3234.08/3291.70	c INPROCESSING
3234.08/3291.70	c GARBAGE COLLECT
3234.08/3291.70	c #Conflicts:     289000 | #Constraints:      79174
3234.08/3291.70	c #Conflicts:     290000 | #Constraints:      80174
3234.08/3291.70	c #Conflicts:     291000 | #Constraints:      81174
3234.08/3291.70	c #Conflicts:     292000 | #Constraints:      82174
3234.08/3291.70	c #Conflicts:     293000 | #Constraints:      83174
3234.08/3291.70	c #Conflicts:     294000 | #Constraints:      84174
3234.08/3291.70	c #Conflicts:     295000 | #Constraints:      85174
3234.08/3291.70	c #Conflicts:     296000 | #Constraints:      86174
3234.08/3291.70	c #Conflicts:     297000 | #Constraints:      87174
3234.08/3291.70	c #Conflicts:     298000 | #Constraints:      88174
3234.08/3291.70	c #Conflicts:     299000 | #Constraints:      89174
3234.08/3291.70	c INPROCESSING
3234.08/3291.70	c GARBAGE COLLECT
3234.08/3291.70	c #Conflicts:     300000 | #Constraints:      79378
3234.08/3291.70	c #Conflicts:     301000 | #Constraints:      80378
3234.08/3291.70	c #Conflicts:     302000 | #Constraints:      81378
3234.08/3291.70	c #Conflicts:     303000 | #Constraints:      82378
3234.08/3291.70	c #Conflicts:     304000 | #Constraints:      83378
3234.08/3291.70	c #Conflicts:     305000 | #Constraints:      84378
3234.08/3291.70	c #Conflicts:     306000 | #Constraints:      85378
3234.08/3291.70	c #Conflicts:     307000 | #Constraints:      86378
3234.08/3291.70	c #Conflicts:     308000 | #Constraints:      87378
3234.08/3291.70	c #Conflicts:     309000 | #Constraints:      88378
3234.08/3291.70	c #Conflicts:     310000 | #Constraints:      89378
3234.08/3291.70	c INPROCESSING
3234.08/3291.70	c GARBAGE COLLECT
3234.08/3291.70	c #Conflicts:     311000 | #Constraints:      79376
3234.08/3291.70	c #Conflicts:     312000 | #Constraints:      80376
3234.08/3291.70	c #Conflicts:     313000 | #Constraints:      81376
3234.08/3291.70	c #Conflicts:     314000 | #Constraints:      82376
3234.08/3291.70	c #Conflicts:     315000 | #Constraints:      83376
3234.08/3291.70	c #Conflicts:     316000 | #Constraints:      84376
3234.08/3291.70	c #Conflicts:     317000 | #Constraints:      85376
3234.08/3291.70	c #Conflicts:     318000 | #Constraints:      86376
3234.08/3291.70	c #Conflicts:     319000 | #Constraints:      87376
3234.08/3291.70	c #Conflicts:     320000 | #Constraints:      88376
3234.08/3291.70	c #Conflicts:     321000 | #Constraints:      89376
3234.08/3291.70	c INPROCESSING
3234.08/3291.70	c GARBAGE COLLECT
3234.08/3291.70	c #Conflicts:     322000 | #Constraints:      79173
3234.08/3291.70	c #Conflicts:     323000 | #Constraints:      80173
3234.08/3291.70	c #Conflicts:     324000 | #Constraints:      81173
3234.08/3291.70	c #Conflicts:     325000 | #Constraints:      82173
3600.05/3658.73	c #Conflicts:     326000 | #Constraints:      83173
3600.05/3658.73	c #Conflicts:     327000 | #Constraints:      84173
3600.05/3658.73	c #Conflicts:     328000 | #Constraints:      85173
3600.05/3658.73	c #Conflicts:     329000 | #Constraints:      86173
3600.05/3658.73	c #Conflicts:     330000 | #Constraints:      87173
3600.05/3658.73	c #Conflicts:     331000 | #Constraints:      88173
3600.05/3658.73	c #Conflicts:     332000 | #Constraints:      89173
3600.05/3658.73	c #Conflicts:     333000 | #Constraints:      90173
3600.05/3658.73	c INPROCESSING
3600.05/3658.73	c GARBAGE COLLECT
3600.05/3658.73	c #Conflicts:     334000 | #Constraints:      79776
3600.05/3658.73	c #Conflicts:     335000 | #Constraints:      80776
3600.05/3658.73	c #Conflicts:     336000 | #Constraints:      81776
3600.05/3658.73	c #Conflicts:     337000 | #Constraints:      82776
3600.05/3658.73	c #Conflicts:     338000 | #Constraints:      83776
3600.05/3658.73	c #Conflicts:     339000 | #Constraints:      84776
3600.05/3658.73	c #Conflicts:     340000 | #Constraints:      85776
3600.05/3658.73	c #Conflicts:     341000 | #Constraints:      86776
3600.05/3658.73	c #Conflicts:     342000 | #Constraints:      87776
3600.05/3658.73	c #Conflicts:     343000 | #Constraints:      88776
3600.05/3658.73	c #Conflicts:     344000 | #Constraints:      89776
3600.05/3658.73	c #Conflicts:     345000 | #Constraints:      90776
3600.05/3658.73	c INPROCESSING
3600.05/3658.73	c GARBAGE COLLECT
3600.05/3658.73	c #Conflicts:     346000 | #Constraints:      80173
3600.05/3658.73	c #Conflicts:     347000 | #Constraints:      81173
3600.05/3658.73	c #Conflicts:     348000 | #Constraints:      82173
3600.05/3658.73	c #Conflicts:     349000 | #Constraints:      83173
3600.05/3658.73	c #Conflicts:     350000 | #Constraints:      84173
3600.05/3658.73	c #Conflicts:     351000 | #Constraints:      85173
3600.05/3658.73	c #Conflicts:     352000 | #Constraints:      86173
3600.05/3658.73	c #Conflicts:     353000 | #Constraints:      87173
3600.05/3658.73	c #Conflicts:     354000 | #Constraints:      88173
3600.05/3658.73	c #Conflicts:     355000 | #Constraints:      89173
3600.05/3658.73	c #Conflicts:     356000 | #Constraints:      90173
3600.05/3658.73	c #Conflicts:     357000 | #Constraints:      91173
3600.05/3658.73	c INPROCESSING
3600.05/3658.73	c GARBAGE COLLECT
3600.05/3658.73	c #Conflicts:     358000 | #Constraints:      80379
3600.05/3658.73	c cpu time 3530.44 s
3600.05/3658.73	c deterministic time 1 1.00e+00
3600.05/3658.73	c optimization time 3528.89 s
3600.05/3658.73	c total solve time 0 s
3600.05/3658.73	c core-guided solve time 0 s
3600.05/3658.73	c propagation time 0.030708 s
3600.05/3658.73	c conflict analysis time 0 s
3600.05/3658.73	c propagations 0
3600.05/3658.73	c resolve steps 0
3600.05/3658.73	c decisions 0
3600.05/3658.73	c conflicts 0
3600.05/3658.73	c restarts 0
3600.05/3658.73	c inprocessing phases 0
3600.05/3658.73	c garbage collections 0 ,( -nan )
3600.05/3658.73	c input clauses 65280 ,( 100.00 )
3600.05/3658.73	c input cardinalities 0 ,( 0.00 )
3600.05/3658.73	c input general constraints 0 ,( 0.00 )
3600.05/3658.73	c input average constraint length 81.32
3600.05/3658.73	c input average constraint degree 1.00
3600.05/3658.73	c learned clauses 0 ,( 0.00 )
3600.05/3658.73	c learned cardinalities 0 ,( 0.00 )
3600.05/3658.73	c learned general constraints 0 ,( 0.00 )
3600.05/3658.73	c learned average constraint length 0.00
3600.05/3658.73	c learned average constraint degree 0.00
3600.05/3658.73	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3658.73	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3658.73	c watched   constraints 0 ,( -nan ) 
3600.05/3658.73	c counting  constraints 0 ,( -nan ) 
3600.05/3658.73	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3658.73	c gcd simplifications 0
3600.05/3658.73	c detected cardinalities 0
3600.05/3658.73	c weakened non-implied lits 0
3600.05/3658.73	c weakened non-implying lits 0
3600.05/3658.73	c original variables 15312
3600.05/3658.73	c clausal propagations 0
3600.05/3658.73	c cardinality propagations 0
3600.05/3658.73	c watched propagations 0
3600.05/3658.73	c counting propagations 0
3600.05/3658.73	c watch lookups 0
3600.05/3658.73	c watch backjump lookups 0
3600.05/3658.73	c watch checks 0
3600.05/3658.73	c propagation checks 0
3600.05/3658.73	c constraint additions 0
3600.05/3658.73	c trail pops 0
3600.05/3658.73	c formula constraints 65280
3600.05/3658.73	c learned constraints 0
3600.05/3658.73	c bound constraints 0
3600.05/3658.73	c core-guided constraints 0
3600.05/3658.73	c encountered formula constraints 0
3600.05/3658.73	c encountered learned constraints 0
3600.05/3658.73	c encountered bound constraints 0
3600.05/3658.73	c encountered core-guided constraints 0
3600.05/3658.73	c LP total time 0 s
3600.05/3658.73	c LP solve time 0 s
3600.05/3658.73	c LP constraints added 0
3600.05/3658.73	c LP constraints removed 0
3600.05/3658.73	c LP pivots internal 0
3600.05/3658.73	c LP pivots root 0
3600.05/3658.73	c LP calls 0
3600.05/3658.73	c LP optimalities 0
3600.05/3658.73	c LP no pivot count 0
3600.05/3658.73	c LP infeasibilities 0
3600.05/3658.73	c LP valid Farkas constraints 0
3600.05/3658.73	c LP learned Farkas constraints 0
3600.05/3658.73	c LP basis resets 0
3600.05/3658.73	c LP cycling count 0
3600.05/3658.73	c LP singular count 0
3600.05/3658.73	c LP no primal count 0
3600.05/3658.73	c LP no farkas count 0
3600.05/3658.73	c LP other issue count 0
3600.05/3658.73	c LP Gomory cuts 0
3600.05/3658.73	c LP learned cuts 0
3600.05/3658.73	c LP deleted cuts 0
3600.05/3658.73	c LP encountered Gomory constraints 0
3600.05/3658.73	c LP encountered Farkas constraints 0
3600.05/3658.73	c LP encountered learned Farkas constraints 0
3600.05/3658.73	c CG auxiliary variables introduced 0
3600.05/3658.73	c CG solutions found 0
3600.05/3658.73	c CG cores constructed 0
3600.05/3658.73	c CG core cardinality constraints returned 0
3600.05/3658.73	c CG unit cores 0
3600.05/3658.73	c CG single cores 0
3600.05/3658.73	c CG blocks removed during cardinality reduction 0
3600.05/3658.73	c CG first core best 0
3600.05/3658.73	c CG decision core best 0
3600.05/3658.73	c CG core reduction tie 0
3600.05/3658.73	c CG core degree average 0.00
3600.05/3658.73	c CG core slack average 0.00
3600.05/3658.73	c CG core upper bound improvements 0
3600.05/3658.73	c STR number of successful calls 0
3600.05/3658.73	c STR number of unsuccessful calls 0
3600.05/3658.73	c STR number of inconclusive calls 0
3600.05/3658.73	c STR number of successful attempts 0
3600.05/3658.73	c STR number of unsuccessful attempts 0
3600.05/3658.73	c STR number of inconclusive attempts 0
3600.05/3658.73	c STR average degree increase per successful call inf
3600.05/3658.73	c STR average degree increase per successful attempt inf
3600.05/3658.73	c STR total number of conflicts for successful attempts 0
3600.05/3658.73	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3658.73	c STR total number of conflicts for inconclusive attempts 0
3600.05/3658.73	c STR average number of conflicts per successful attempt inf
3600.05/3658.73	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3658.73	c STR average number of conflicts per inconclusive attempt inf
3600.05/3658.73	c AVG.sumWPerc -nan 
3600.05/3658.73	c bigint constraints 0 
3600.05/3658.73	s UNKNOWN
3600.05/3658.73	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: 63665 MiB (62558 MiB free)
  memory of node 1: 64507 MiB (10421 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=68578, runsolver pid=68575

[startup+0.100247 s]*
/proc/loadavg: 4.16 4.14 4.11 2/269 68580
/proc/meminfo: memFree=74728832/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/68580/stat : 68580 (roundingsat) D 68578 68578 67579 0 -1 4456448 298 0 0 0 0 0 0 0 20 0 1 0 60317691 52015104 1856 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB

[startup+0.205847 s]*
/proc/loadavg: 4.16 4.14 4.11 5/269 68580
/proc/meminfo: memFree=74725516/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=58236 memory=13624 CPUtime=0.06 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 1651 0 0 0 5 1 0 0 20 0 1 0 60317691 59633664 3406 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 14559 3406 1984 1147 0 1986 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62428 KiB
Current children cumulated memory: 16696 KiB

[startup+0.307077 s]*
/proc/loadavg: 4.16 4.14 4.11 4/269 68580
/proc/meminfo: memFree=74724092/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=58632 memory=16108 CPUtime=0.15 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 1749 0 0 0 13 2 0 0 20 0 1 0 60317691 60039168 4027 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 14658 4027 1984 1147 0 2085 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 62824 KiB
Current children cumulated memory: 19180 KiB

[startup+0.700231 s]
/proc/loadavg: 4.16 4.14 4.11 3/269 68580
/proc/meminfo: memFree=74724476/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=67608 memory=23020 CPUtime=0.52 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 3015 0 0 0 47 5 0 0 20 0 1 0 60317691 69230592 5755 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 16902 5755 1984 1147 0 4329 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 71800 KiB
Current children cumulated memory: 26092 KiB

[startup+1.50021 s]
/proc/loadavg: 4.16 4.14 4.11 3/269 68580
/proc/meminfo: memFree=74718516/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=89644 memory=36600 CPUtime=1.28 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 4955 0 0 0 116 12 0 0 20 0 1 0 60317691 91795456 9150 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 22411 9150 1984 1147 0 9838 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 93836 KiB
Current children cumulated memory: 39672 KiB

[startup+3.10561 s]
/proc/loadavg: 4.16 4.14 4.11 4/266 68607
/proc/meminfo: memFree=81577108/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=344168 memory=292032 CPUtime=2.87 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 51829 0 0 0 253 34 0 0 20 0 1 0 60317691 352428032 73008 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 86042 73008 2368 1147 0 73469 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 348360 KiB
Current children cumulated memory: 295104 KiB

[startup+6.30019 s]
/proc/loadavg: 4.31 4.18 4.12 3/268 68653
/proc/meminfo: memFree=101777432/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=494188 memory=426904 CPUtime=6.04 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 77891 0 0 0 487 117 0 0 20 0 1 0 60317691 506048512 106726 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 123547 106726 2368 1147 0 110974 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 498380 KiB
Current children cumulated memory: 429976 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.17 4.12 5/268 68653
/proc/meminfo: memFree=119991872/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=678460 memory=618436 CPUtime=12.43 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 112002 0 0 0 985 258 0 0 20 0 1 0 60317691 694743040 154609 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 169615 154609 2368 1147 0 157042 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 682652 KiB
Current children cumulated memory: 621508 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.16 4.12 5/274 68673
/proc/meminfo: memFree=127028244/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=1161908 memory=961368 CPUtime=25.2 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 174753 0 0 0 2044 476 0 0 20 0 1 0 60317691 1189793792 240342 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 290477 240342 2368 1147 0 277904 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 1166100 KiB
Current children cumulated memory: 964440 KiB

[startup+51.106 s]
/proc/loadavg: 4.30 4.18 4.13 5/274 68674
/proc/meminfo: memFree=123116468/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=1929664 memory=1533432 CPUtime=50.74 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 284532 0 0 0 4347 727 0 0 20 0 1 0 60317691 1975975936 383358 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 482416 383358 2368 1147 0 469843 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 1933856 KiB
Current children cumulated memory: 1536504 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.19 4.13 5/273 68721
/proc/meminfo: memFree=114873532/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=2890648 memory=2414892 CPUtime=101.81 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 457948 0 0 0 9142 1039 0 0 20 0 1 0 60317691 2960023552 603723 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 722662 603723 2368 1147 0 710089 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 2894840 KiB
Current children cumulated memory: 2417964 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/273 68723
/proc/meminfo: memFree=107868864/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=4765272 memory=3933468 CPUtime=161.65 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 809506 0 0 0 14935 1230 0 0 20 0 1 0 60317691 4879638528 983367 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 1191318 983367 2368 1147 0 1178745 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 4769464 KiB
Current children cumulated memory: 3936540 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/273 68725
/proc/meminfo: memFree=103466024/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=5705208 memory=4548992 CPUtime=221.49 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 948637 0 0 0 20719 1430 0 0 20 0 1 0 60317691 5842132992 1137248 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0

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

/proc/meminfo: memFree=1126632/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=10833372 memory=9546044 CPUtime=3224.7 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 1868817 0 0 0 316014 6456 0 0 20 0 1 0 60317691 11093372928 2386511 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 2708343 2386511 2368 1147 0 2695770 0
Current children cumulated CPU time: 3224.7 s
Current children cumulated vsize: 10837564 KiB
Current children cumulated memory: 9549116 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/276 68926
/proc/meminfo: memFree=1217808/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=10833372 memory=9547068 CPUtime=3284.54 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 1869763 0 0 0 321914 6540 0 0 20 0 1 0 60317691 11093372928 2386767 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 2708343 2386767 2368 1147 0 2695770 0
Current children cumulated CPU time: 3284.54 s
Current children cumulated vsize: 10837564 KiB
Current children cumulated memory: 9550140 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.15 5/277 68934
/proc/meminfo: memFree=1376072/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=10839168 memory=9568700 CPUtime=3344.38 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 1876826 0 0 0 327828 6610 0 0 20 0 1 0 60317691 11099308032 2392175 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 2709792 2392175 2368 1147 0 2697219 0
Current children cumulated CPU time: 3344.38 s
Current children cumulated vsize: 10843360 KiB
Current children cumulated memory: 9571772 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/277 68936
/proc/meminfo: memFree=1384880/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=10839168 memory=9569468 CPUtime=3404.21 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 1878370 0 0 0 333724 6697 0 0 20 0 1 0 60317691 11099308032 2392367 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 2709792 2392367 2368 1147 0 2697219 0
Current children cumulated CPU time: 3404.21 s
Current children cumulated vsize: 10843360 KiB
Current children cumulated memory: 9572540 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/278 68939
/proc/meminfo: memFree=1270640/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=10889084 memory=9736424 CPUtime=3464.03 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 1901947 0 0 0 339628 6775 0 0 20 0 1 0 60317691 11150422016 2434106 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 2722271 2434106 2368 1147 0 2709698 0
Current children cumulated CPU time: 3464.03 s
Current children cumulated vsize: 10893276 KiB
Current children cumulated memory: 9739496 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.15 4.14 5/278 68941
/proc/meminfo: memFree=1278856/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=10889084 memory=9737448 CPUtime=3523.87 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 1903649 0 0 0 345528 6859 0 0 20 0 1 0 60317691 11150422016 2434362 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 2722271 2434362 2368 1147 0 2709698 0
Current children cumulated CPU time: 3523.87 s
Current children cumulated vsize: 10893276 KiB
Current children cumulated memory: 9740520 KiB

[startup+3642.3 s]
/proc/loadavg: 4.33 4.21 4.17 5/276 68943
/proc/meminfo: memFree=1450500/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=10918016 memory=9801524 CPUtime=3583.69 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 1917312 0 0 0 351433 6936 0 0 20 0 1 0 60317691 11180048384 2450381 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 2729504 2450381 2368 1147 0 2716931 0
Current children cumulated CPU time: 3583.69 s
Current children cumulated vsize: 10922208 KiB
Current children cumulated memory: 9804596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3658.7 s]
/proc/loadavg: 4.25 4.20 4.17 5/276 68943
/proc/meminfo: memFree=1383304/131250000 swapFree=33010416/33010684
[pid=68578] ppid=68575 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68578/stat : 68578 (run-opt-log.sh) S 68575 68578 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60317688 4292608 768 18446744073709551615 94635486203904 94635487098437 140726214304064 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94635487337488 94635487385232 94635517079552 140726214310177 140726214310372 140726214310372 140726214315974 0
/proc/68578/statm: 1048 768 704 219 0 110 0
[pid=68580] ppid=68578 vsize=10918016 memory=9802164 CPUtime=3600.05 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68578 68578 67579 0 -1 4194304 1917483 0 0 0 353044 6961 0 0 20 0 1 0 60317691 11180048384 2450541 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 2729504 2450541 2368 1147 0 2716931 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 10922208 KiB
Current children cumulated memory: 9805236 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002545 s, system=0 s

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

# cumulated CPU time of all completed processes:  user=3530.47 s, system=69.8613 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+3658.8 s]*
/proc/loadavg: 4.25 4.20 4.17 4/275 68943
/proc/meminfo: memFree=1345044/131250000 swapFree=33010416/33010684
[pid=68580] ppid=68575 vsize=10918016 memory=9802548 CPUtime=3600.09 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68575 68578 67579 0 -1 4194304 1917488 0 1 0 353044 6965 0 0 20 0 1 0 60317691 11180048384 2450637 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 2729504 2450637 2464 1147 0 2716931 0
Current cumulated CPU time of completed processes: 0.002545 s
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 10918016 KiB
Current children cumulated memory: 9802548 KiB

[startup+3659.2 s]
/proc/loadavg: 4.25 4.20 4.17 4/275 68943
/proc/meminfo: memFree=1339820/131250000 swapFree=33010416/33010684
[pid=68580] ppid=68575 vsize=10215480 memory=9122312 CPUtime=3600.15 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68575 68578 67579 0 -1 4194304 1918108 0 1 0 353045 6970 0 0 20 0 1 0 60317691 10460651520 2281090 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 2553870 2280578 2464 1147 0 2541297 0
Current cumulated CPU time of completed processes: 0.002545 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 10215480 KiB
Current children cumulated memory: 9122312 KiB

[startup+3659.3 s]
/proc/loadavg: 4.25 4.20 4.17 4/275 68943
/proc/meminfo: memFree=1339820/131250000 swapFree=33010416/33010684
[pid=68580] ppid=68575 vsize=7751288 memory=6253464 CPUtime=3600.24 cores=4,6
/proc/68580/stat : 68580 (roundingsat) R 68575 68578 67579 0 -1 4194304 1918165 0 2 0 353047 6977 0 0 20 0 1 0 60317691 7937318912 1563366 18446744073709551615 4227072 8923433 140721595081856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140721595087186 140721595087400 140721595087400 140721595092970 0
/proc/68580/statm: 1937822 1563366 2464 1147 0 1925249 0
Current cumulated CPU time of completed processes: 0.002545 s
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 7751288 KiB
Current children cumulated memory: 6253464 KiB

Child status: 2

Real time (s): 3659.39
CPU time (s): 3600.33
CPU user time (s): 3530.47
CPU system time (s): 69.8613
CPU usage (%): 98.3863
Max. virtual memory (cumulated for all children) (KiB): 10922208
Max. memory (cumulated for all children) (KiB): 9805236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3530.47
system time used= 69.8613
maximum resident set size= 9802548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1918392
page faults= 2
swaps= 0
block input operations= 5832
block output operations= 106982248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14017
involuntary context switches= 8499


# summary of solver processes directly reported to runsolver:
#   pid: 68578,68580
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3530.47
#   total CPU system time (s): 69.8613

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81395 second user time and 17.5407 second system time

The end

Begin job on nodeC018 at 2025-07-02 10:53:18
IDJOB=4502831
IDBENCH=155399
IDSOLVER=3351
FILE ID=nodeC018/4502831-1751446398
RUNJOBID= nodeC018-1751439163-67590
SLURM_JOB_ID= 9598397
Free space on /tmp= 432860 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502831-1751446398/watcher-4502831-1751446398 -o /tmp/evaluation-result-4502831-1751446398/solver-4502831-1751446398 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67590 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502831-1751446398.opb PROOFDIR/proof-4502831-1751446398

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

MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=801632146

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        74730228 kB
MemAvailable:   126223428 kB
Buffers:            2128 kB
Cached:         52224192 kB
SwapCached:           32 kB
Active:          3608232 kB
Inactive:       51807340 kB
Active(anon):    3207044 kB
Inactive(anon):      288 kB
Active(file):     401188 kB
Inactive(file): 51807052 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             56384 kB
Writeback:      12018276 kB
AnonPages:       3192356 kB
Mapped:           117632 kB
Shmem:             18044 kB
KReclaimable:     248000 kB
Slab:             745016 kB
SReclaimable:     248000 kB
SUnreclaim:       497016 kB
KernelStack:        4352 kB
PageTables:        10064 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4099912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2230272 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432208 MiB
End job on nodeC018 at 2025-07-02 11:54:18