0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.49/0.61	c #variables 24250 #constraints 51198
0.49/0.61	c objective is ce32 
0.58/0.62	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.58/0.62	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.58/0.62	c GLOBAL bounds - >= 0 @ 0.451503
0.67/0.70	c GLOBAL bounds - >= 0 @ 0.480276
0.67/0.75	c GLOBAL bounds - >= 0 @ 0.507186
0.67/0.75	c GLOBAL bounds - >= 5430 @ 0.507993
1.17/1.29	c GLOBAL bounds - >= 5430 @ 1.00408
1.26/1.34	c GLOBAL bounds - >= 5430 @ 1.02964
1.26/1.36	c GLOBAL bounds - >= 5430 @ 1.0413
1.36/1.40	c GLOBAL bounds - >= 5430 @ 1.05288
1.36/1.41	c GLOBAL bounds - >= 5430 @ 1.05692
1.36/1.45	c GLOBAL bounds - >= 5430 @ 1.07437
1.36/1.46	c GLOBAL bounds - >= 5430 @ 1.0827
1.47/1.50	c GLOBAL bounds - >= 5430 @ 1.09935
1.47/1.51	c GLOBAL bounds - >= 5430 @ 1.10613
1.47/1.55	c GLOBAL bounds - >= 5430 @ 1.12686
1.47/1.56	c GLOBAL bounds - >= 5430 @ 1.13586
1.57/1.60	c GLOBAL bounds - >= 5430 @ 1.1535
1.57/1.61	c GLOBAL bounds - >= 5430 @ 1.15904
1.57/1.65	c GLOBAL bounds - >= 5430 @ 1.17379
1.57/1.67	c GLOBAL bounds - >= 5430 @ 1.18061
1.67/1.70	c GLOBAL bounds - >= 5430 @ 1.19216
1.67/1.72	c GLOBAL bounds - >= 5430 @ 1.20063
1.67/1.76	c GLOBAL bounds - >= 5430 @ 1.21845
1.67/1.77	c GLOBAL bounds - >= 5430 @ 1.22295
1.76/1.81	c GLOBAL bounds - >= 5430 @ 1.23977
1.76/1.85	c GLOBAL bounds - >= 5430 @ 1.26129
1.76/1.88	c GLOBAL bounds - >= 5430 @ 1.27655
1.86/1.91	c GLOBAL bounds - >= 5430 @ 1.2875
1.86/1.93	c GLOBAL bounds - >= 5430 @ 1.30111
1.86/1.96	c GLOBAL bounds - >= 5430 @ 1.31343
1.86/2.00	c GLOBAL bounds - >= 5430 @ 1.3366
1.98/2.02	c GLOBAL bounds - >= 5430 @ 1.34596
1.98/2.05	c GLOBAL bounds - >= 5430 @ 1.35736
1.98/2.08	c GLOBAL bounds - >= 5430 @ 1.37441
1.98/2.11	c GLOBAL bounds - >= 5430 @ 1.38577
2.08/2.13	c GLOBAL bounds - >= 5430 @ 1.39791
2.08/2.15	c GLOBAL bounds - >= 5430 @ 1.4108
2.16/2.28	c GLOBAL bounds - >= 5430 @ 1.52584
2.26/2.33	c GLOBAL bounds - >= 5430 @ 1.57239
3.26/3.39	c GLOBAL bounds - >= 12456 @ 2.59802
3.36/3.41	c GLOBAL bounds - >= 12456 @ 2.6154
3.36/3.42	c GLOBAL bounds - >= 12456 @ 2.61975
3.36/3.45	c GLOBAL bounds - >= 12456 @ 2.63126
3.36/3.46	c GLOBAL bounds - >= 12456 @ 2.6358
3.36/3.49	c GLOBAL bounds - >= 12456 @ 2.6461
3.36/3.50	c GLOBAL bounds - >= 12456 @ 2.6502
3.46/3.52	c GLOBAL bounds - >= 12456 @ 2.66158
3.46/3.53	c GLOBAL bounds - >= 12456 @ 2.66388
3.46/3.56	c GLOBAL bounds - >= 12456 @ 2.67295
3.46/3.57	c GLOBAL bounds - >= 12456 @ 2.67928
3.46/3.59	c GLOBAL bounds - >= 12456 @ 2.69053
3.56/3.60	c GLOBAL bounds - >= 12456 @ 2.69467
3.56/3.63	c GLOBAL bounds - >= 12456 @ 2.70382
3.56/3.64	c GLOBAL bounds - >= 12456 @ 2.70651
3.56/3.67	c GLOBAL bounds - >= 12456 @ 2.71666
3.56/3.68	c GLOBAL bounds - >= 12456 @ 2.72125
3.66/3.70	c GLOBAL bounds - >= 12456 @ 2.72825
3.66/3.71	c GLOBAL bounds - >= 12456 @ 2.7339
3.66/3.74	c GLOBAL bounds - >= 12456 @ 2.74444
3.66/3.75	c GLOBAL bounds - >= 12456 @ 2.74957
3.66/3.78	c GLOBAL bounds - >= 12456 @ 2.75771
3.75/3.80	c GLOBAL bounds - >= 12456 @ 2.76948
3.75/3.83	c GLOBAL bounds - >= 12456 @ 2.78051
3.75/3.86	c GLOBAL bounds - >= 12456 @ 2.79842
3.86/3.90	c GLOBAL bounds - >= 12456 @ 2.82261
3.86/3.93	c GLOBAL bounds - >= 12456 @ 2.83978
3.86/3.97	c GLOBAL bounds - >= 12456 @ 2.86744
3.97/4.02	c GLOBAL bounds - >= 12456 @ 2.90704
4.16/4.22	c GLOBAL bounds - >= 12456 @ 3.09446
4.26/4.38	c GLOBAL bounds - >= 12456 @ 3.23681
4.35/4.40	c GLOBAL bounds - >= 12456 @ 3.24856
4.35/4.43	c GLOBAL bounds - >= 12456 @ 3.26315
4.46/4.51	c GLOBAL bounds - >= 12456 @ 3.33097
7.65/7.73	c #Conflicts:       1000 | #Constraints:       1148
7.65/7.73	c GLOBAL bounds - >= 12456 @ 6.45821
7.65/7.79	c GLOBAL bounds - >= 12456 @ 6.50538
9.05/9.17	c GLOBAL bounds - >= 12456 @ 7.85696
16.83/16.92	c #Conflicts:       2000 | #Constraints:       2157
16.83/16.92	c INPROCESSING
16.83/16.92	c GARBAGE COLLECT
16.83/16.92	c #Conflicts:       3000 | #Constraints:       2131
16.83/16.92	c GLOBAL bounds - >= 17509 @ 15.4747
16.83/16.95	c GLOBAL bounds - >= 17509 @ 15.4945
16.83/16.95	c GLOBAL bounds - >= 17509 @ 15.4965
16.83/16.96	c GLOBAL bounds - >= 17509 @ 15.5002
16.83/16.97	c GLOBAL bounds - >= 17509 @ 15.5046
16.83/16.98	c GLOBAL bounds - >= 17509 @ 15.5097
16.94/17.02	c GLOBAL bounds - >= 17509 @ 15.5237
16.94/17.03	c GLOBAL bounds - >= 17509 @ 15.5309
16.94/17.05	c GLOBAL bounds - >= 17509 @ 15.5441
16.94/17.06	c GLOBAL bounds - >= 17509 @ 15.5496
16.94/17.09	c GLOBAL bounds - >= 17509 @ 15.5642
16.94/17.10	c GLOBAL bounds - >= 17509 @ 15.5689
17.04/17.13	c GLOBAL bounds - >= 17509 @ 15.5794
17.04/17.14	c GLOBAL bounds - >= 17509 @ 15.5829
17.04/17.17	c GLOBAL bounds - >= 17509 @ 15.5962
17.04/17.18	c GLOBAL bounds - >= 17509 @ 15.602
17.12/17.21	c GLOBAL bounds - >= 17509 @ 15.6124
17.12/17.22	c GLOBAL bounds - >= 17509 @ 15.6182
17.12/17.25	c GLOBAL bounds - >= 17509 @ 15.6317
17.12/17.26	c GLOBAL bounds - >= 17509 @ 15.6387
17.12/17.28	c GLOBAL bounds - >= 17509 @ 15.6481
17.12/17.29	c GLOBAL bounds - >= 17509 @ 15.6552
17.22/17.32	c GLOBAL bounds - >= 17509 @ 15.6697
17.22/17.33	c GLOBAL bounds - >= 17509 @ 15.6738
17.22/17.36	c GLOBAL bounds - >= 17509 @ 15.6868
17.22/17.39	c GLOBAL bounds - >= 17509 @ 15.6998
17.33/17.42	c GLOBAL bounds - >= 17509 @ 15.713
17.33/17.47	c GLOBAL bounds - >= 17509 @ 15.7426
17.42/17.50	c GLOBAL bounds - >= 17509 @ 15.7558
17.42/17.53	c GLOBAL bounds - >= 17509 @ 15.7716
17.42/17.56	c GLOBAL bounds - >= 17509 @ 15.7805
17.42/17.58	c GLOBAL bounds - >= 17509 @ 15.7908
17.53/17.61	c GLOBAL bounds - >= 17509 @ 15.8054
17.53/17.64	c GLOBAL bounds - >= 17509 @ 15.8187
17.53/17.68	c GLOBAL bounds - >= 17509 @ 15.8445
17.62/17.71	c GLOBAL bounds - >= 17509 @ 15.8611
17.62/17.75	c GLOBAL bounds - >= 17509 @ 15.8842
17.62/17.78	c GLOBAL bounds - >= 17509 @ 15.9091
18.53/18.64	c GLOBAL bounds - >= 17509 @ 16.7484
18.53/18.69	c GLOBAL bounds - >= 17509 @ 16.7824
18.82/18.95	c GLOBAL bounds - >= 17509 @ 17.0088
18.82/18.97	c GLOBAL bounds - >= 17509 @ 17.0227
18.94/19.10	c GLOBAL bounds - >= 17509 @ 17.1328
20.32/20.41	c #Conflicts:       4000 | #Constraints:       3223
20.32/20.41	c INPROCESSING
20.32/20.41	c GARBAGE COLLECT
20.32/20.41	c GLOBAL bounds - >= 17509 @ 18.4155
21.42/21.56	c GLOBAL bounds - >= 17509 @ 19.538
21.62/21.70	c GLOBAL bounds - >= 17509 @ 19.6679
22.51/22.62	c GLOBAL bounds - >= 17509 @ 20.5533
36.28/36.43	c #Conflicts:       5000 | #Constraints:       2616
36.28/36.43	c #Conflicts:       6000 | #Constraints:       3616
36.28/36.43	c INPROCESSING
36.28/36.43	c GARBAGE COLLECT
36.28/36.43	c #Conflicts:       7000 | #Constraints:       2618
36.28/36.43	c #Conflicts:       8000 | #Constraints:       3618
36.28/36.43	c GLOBAL bounds - >= 18979 @ 34.1368
36.28/36.45	c GLOBAL bounds - >= 18979 @ 34.1544
36.28/36.46	c GLOBAL bounds - >= 18979 @ 34.1609
36.28/36.47	c GLOBAL bounds - >= 18979 @ 34.1617
36.28/36.48	c GLOBAL bounds - >= 18979 @ 34.1673
36.28/36.49	c GLOBAL bounds - >= 18979 @ 34.1726
36.39/36.52	c GLOBAL bounds - >= 18979 @ 34.185
36.39/36.53	c GLOBAL bounds - >= 18979 @ 34.1916
36.39/36.55	c GLOBAL bounds - >= 18979 @ 34.2004
36.39/36.57	c GLOBAL bounds - >= 18979 @ 34.2074
36.39/36.59	c GLOBAL bounds - >= 18979 @ 34.2213
36.48/36.61	c GLOBAL bounds - >= 18979 @ 34.2268
36.48/36.64	c GLOBAL bounds - >= 18979 @ 34.2444
36.48/36.65	c GLOBAL bounds - >= 18979 @ 34.2527
36.48/36.68	c GLOBAL bounds - >= 18979 @ 34.2596
36.48/36.69	c GLOBAL bounds - >= 18979 @ 34.264
36.58/36.72	c GLOBAL bounds - >= 18979 @ 34.2768
36.58/36.73	c GLOBAL bounds - >= 18979 @ 34.2836
36.58/36.76	c GLOBAL bounds - >= 18979 @ 34.2974
36.58/36.77	c GLOBAL bounds - >= 18979 @ 34.3063
36.68/36.80	c GLOBAL bounds - >= 18979 @ 34.3169
36.68/36.81	c GLOBAL bounds - >= 18979 @ 34.3207
36.68/36.84	c GLOBAL bounds - >= 18979 @ 34.3372
36.68/36.85	c GLOBAL bounds - >= 18979 @ 34.3421
36.68/36.88	c GLOBAL bounds - >= 18979 @ 34.3531
36.78/36.91	c GLOBAL bounds - >= 18979 @ 34.3689
36.78/36.97	c GLOBAL bounds - >= 18979 @ 34.4112
36.78/37.00	c GLOBAL bounds - >= 18979 @ 34.4316
36.99/37.16	c GLOBAL bounds - >= 18979 @ 34.577
37.08/37.26	c GLOBAL bounds - >= 18979 @ 34.6493
37.48/37.67	c GLOBAL bounds - >= 18979 @ 35.0404
37.99/38.17	c GLOBAL bounds - >= 18979 @ 35.4892
38.08/38.27	c GLOBAL bounds - >= 18979 @ 35.5714
38.18/38.35	c GLOBAL bounds - >= 18979 @ 35.6324
84.37/84.68	c #Conflicts:       9000 | #Constraints:       4688
84.37/84.68	c INPROCESSING
84.37/84.68	c GARBAGE COLLECT
84.37/84.68	c #Conflicts:      10000 | #Constraints:       3373
84.37/84.68	c #Conflicts:      11000 | #Constraints:       4373
84.37/84.68	c #Conflicts:      12000 | #Constraints:       5373
84.37/84.68	c INPROCESSING
84.37/84.68	c GARBAGE COLLECT
84.37/84.68	c #Conflicts:      13000 | #Constraints:       3825
84.37/84.68	c #Conflicts:      14000 | #Constraints:       4825
84.37/84.68	c #Conflicts:      15000 | #Constraints:       5825
84.37/84.68	c INPROCESSING
84.37/84.68	c GARBAGE COLLECT
84.37/84.68	c #Conflicts:      16000 | #Constraints:       4055
84.37/84.68	c #Conflicts:      17000 | #Constraints:       5055
84.37/84.68	c #Conflicts:      18000 | #Constraints:       6055
84.37/84.68	c INPROCESSING
84.37/84.68	c GARBAGE COLLECT
84.37/84.68	c #Conflicts:      19000 | #Constraints:       4069
84.37/84.68	c #Conflicts:      20000 | #Constraints:       5069
84.37/84.68	c GLOBAL bounds - >= 24818 @ 81.2289
84.47/84.75	c GLOBAL bounds - >= 24818 @ 81.2881
84.47/84.76	c GLOBAL bounds - >= 24818 @ 81.2927
84.47/84.77	c GLOBAL bounds - >= 24818 @ 81.2975
84.78/85.04	c GLOBAL bounds - >= 24818 @ 81.5493
84.78/85.06	c GLOBAL bounds - >= 24818 @ 81.5542
84.78/85.08	c GLOBAL bounds - >= 24818 @ 81.5692
84.78/85.10	c GLOBAL bounds - >= 24818 @ 81.5767
84.88/85.13	c GLOBAL bounds - >= 24818 @ 81.589
84.88/85.14	c GLOBAL bounds - >= 24818 @ 81.594
84.88/85.17	c GLOBAL bounds - >= 24818 @ 81.6022
84.88/85.18	c GLOBAL bounds - >= 24818 @ 81.6083
84.96/85.21	c GLOBAL bounds - >= 24818 @ 81.6221
84.96/85.22	c GLOBAL bounds - >= 24818 @ 81.6254
84.96/85.25	c GLOBAL bounds - >= 24818 @ 81.6421
84.96/85.26	c GLOBAL bounds - >= 24818 @ 81.6463
84.96/85.29	c GLOBAL bounds - >= 24818 @ 81.6605
85.07/85.30	c GLOBAL bounds - >= 24818 @ 81.6632
85.07/85.33	c GLOBAL bounds - >= 24818 @ 81.675
85.07/85.34	c GLOBAL bounds - >= 24818 @ 81.6838
85.07/85.37	c GLOBAL bounds - >= 24818 @ 81.6968
85.07/85.39	c GLOBAL bounds - >= 24818 @ 81.7016
85.16/85.41	c GLOBAL bounds - >= 24818 @ 81.7097
85.16/85.44	c GLOBAL bounds - >= 24818 @ 81.7213
85.16/85.47	c GLOBAL bounds - >= 24818 @ 81.7342
85.26/85.52	c GLOBAL bounds - >= 24818 @ 81.7702
85.26/85.56	c GLOBAL bounds - >= 24818 @ 81.7897
85.46/85.72	c GLOBAL bounds - >= 24818 @ 81.9331
86.26/86.53	c GLOBAL bounds - >= 24818 @ 82.672
87.36/87.67	c GLOBAL bounds - >= 24818 @ 83.7501
88.96/89.25	c #Conflicts:      21000 | #Constraints:       6128
88.96/89.25	c GLOBAL bounds - >= 24818 @ 85.2676
96.13/96.45	c INPROCESSING
96.13/96.45	c GARBAGE COLLECT
96.13/96.45	c #Conflicts:      22000 | #Constraints:       3917
96.13/96.45	c GLOBAL bounds - >= 24818 @ 92.2738
96.24/96.53	c GLOBAL bounds - >= 24818 @ 92.3345
98.03/98.38	c #Conflicts:      23000 | #Constraints:       4923
98.03/98.38	c GLOBAL bounds - >= 24818 @ 94.1634
111.29/111.67	c #Conflicts:      24000 | #Constraints:       5926
111.29/111.67	c #Conflicts:      25000 | #Constraints:       6926
111.29/111.67	c INPROCESSING
111.29/111.67	c GARBAGE COLLECT
111.29/111.67	c #Conflicts:      26000 | #Constraints:       4526
111.29/111.67	c #Conflicts:      27000 | #Constraints:       5526
111.29/111.67	c GLOBAL bounds - >= 24818 @ 107.301
119.18/119.51	c #Conflicts:      28000 | #Constraints:       6529
119.18/119.51	c #Conflicts:      29000 | #Constraints:       7529
119.18/119.51	c INPROCESSING
119.18/119.51	c GARBAGE COLLECT
119.18/119.51	c GLOBAL bounds - >= 24818 @ 114.917
119.18/119.55	c GLOBAL bounds - >= 24818 @ 114.936
119.18/119.58	c GLOBAL bounds - >= 24818 @ 114.956
379.76/380.72	c #Conflicts:      30000 | #Constraints:       4941
379.76/380.72	c #Conflicts:      31000 | #Constraints:       5941
379.76/380.72	c #Conflicts:      32000 | #Constraints:       6941
379.76/380.72	c #Conflicts:      33000 | #Constraints:       7941
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      34000 | #Constraints:       5141
379.76/380.72	c #Conflicts:      35000 | #Constraints:       6141
379.76/380.72	c #Conflicts:      36000 | #Constraints:       7141
379.76/380.72	c #Conflicts:      37000 | #Constraints:       8141
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      38000 | #Constraints:       5144
379.76/380.72	c #Conflicts:      39000 | #Constraints:       6144
379.76/380.72	c #Conflicts:      40000 | #Constraints:       7144
379.76/380.72	c #Conflicts:      41000 | #Constraints:       8144
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      42000 | #Constraints:       4947
379.76/380.72	c #Conflicts:      43000 | #Constraints:       5947
379.76/380.72	c #Conflicts:      44000 | #Constraints:       6947
379.76/380.72	c #Conflicts:      45000 | #Constraints:       7947
379.76/380.72	c #Conflicts:      46000 | #Constraints:       8947
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      47000 | #Constraints:       5547
379.76/380.72	c #Conflicts:      48000 | #Constraints:       6547
379.76/380.72	c #Conflicts:      49000 | #Constraints:       7547
379.76/380.72	c #Conflicts:      50000 | #Constraints:       8547
379.76/380.72	c #Conflicts:      51000 | #Constraints:       9547
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      52000 | #Constraints:       5951
379.76/380.72	c #Conflicts:      53000 | #Constraints:       6951
379.76/380.72	c #Conflicts:      54000 | #Constraints:       7951
379.76/380.72	c #Conflicts:      55000 | #Constraints:       8951
379.76/380.72	c #Conflicts:      56000 | #Constraints:       9951
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      57000 | #Constraints:       6158
379.76/380.72	c #Conflicts:      58000 | #Constraints:       7158
379.76/380.72	c #Conflicts:      59000 | #Constraints:       8158
379.76/380.72	c #Conflicts:      60000 | #Constraints:       9158
379.76/380.72	c #Conflicts:      61000 | #Constraints:      10158
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      62000 | #Constraints:       6159
379.76/380.72	c #Conflicts:      63000 | #Constraints:       7159
379.76/380.72	c #Conflicts:      64000 | #Constraints:       8159
379.76/380.72	c #Conflicts:      65000 | #Constraints:       9159
379.76/380.72	c #Conflicts:      66000 | #Constraints:      10159
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      67000 | #Constraints:       5958
379.76/380.72	c #Conflicts:      68000 | #Constraints:       6958
379.76/380.72	c #Conflicts:      69000 | #Constraints:       7958
379.76/380.72	c #Conflicts:      70000 | #Constraints:       8958
379.76/380.72	c #Conflicts:      71000 | #Constraints:       9958
379.76/380.72	c #Conflicts:      72000 | #Constraints:      10958
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      73000 | #Constraints:       6559
379.76/380.72	c #Conflicts:      74000 | #Constraints:       7559
379.76/380.72	c #Conflicts:      75000 | #Constraints:       8559
379.76/380.72	c #Conflicts:      76000 | #Constraints:       9559
379.76/380.72	c #Conflicts:      77000 | #Constraints:      10559
379.76/380.72	c #Conflicts:      78000 | #Constraints:      11559
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      79000 | #Constraints:       6966
379.76/380.72	c #Conflicts:      80000 | #Constraints:       7966
379.76/380.72	c #Conflicts:      81000 | #Constraints:       8966
379.76/380.72	c #Conflicts:      82000 | #Constraints:       9966
379.76/380.72	c #Conflicts:      83000 | #Constraints:      10966
379.76/380.72	c #Conflicts:      84000 | #Constraints:      11966
379.76/380.72	c INPROCESSING
379.76/380.72	c GARBAGE COLLECT
379.76/380.72	c #Conflicts:      85000 | #Constraints:       7165
379.76/380.72	c #Conflicts:      86000 | #Constraints:       8165
379.76/380.72	c #Conflicts:      87000 | #Constraints:       9165
379.76/380.72	c #Conflicts:      88000 | #Constraints:      10165
379.76/380.72	c #Conflicts:      89000 | #Constraints:      11165
379.76/380.72	c GLOBAL bounds - >= 31104 @ 372.859
379.76/380.78	c GLOBAL bounds - >= 31104 @ 372.914
379.76/380.80	c GLOBAL bounds - >= 31104 @ 372.921
380.27/381.29	c GLOBAL bounds - >= 31104 @ 373.396
380.37/381.31	c GLOBAL bounds - >= 31104 @ 373.405
380.37/381.34	c GLOBAL bounds - >= 31104 @ 373.419
380.37/381.35	c GLOBAL bounds - >= 31104 @ 373.427
380.37/381.38	c GLOBAL bounds - >= 31104 @ 373.443
380.37/381.39	c GLOBAL bounds - >= 31104 @ 373.446
380.46/381.42	c GLOBAL bounds - >= 31104 @ 373.454
380.46/381.43	c GLOBAL bounds - >= 31104 @ 373.461
380.46/381.46	c GLOBAL bounds - >= 31104 @ 373.472
380.46/381.47	c GLOBAL bounds - >= 31104 @ 373.477
380.56/381.50	c GLOBAL bounds - >= 31104 @ 373.488
380.56/381.51	c GLOBAL bounds - >= 31104 @ 373.492
380.56/381.54	c GLOBAL bounds - >= 31104 @ 373.509
380.56/381.55	c GLOBAL bounds - >= 31104 @ 373.515
380.56/381.58	c GLOBAL bounds - >= 31104 @ 373.531
380.56/381.59	c GLOBAL bounds - >= 31104 @ 373.534
380.67/381.62	c GLOBAL bounds - >= 31104 @ 373.546
380.67/381.63	c GLOBAL bounds - >= 31104 @ 373.554
380.67/381.66	c GLOBAL bounds - >= 31104 @ 373.563
380.67/381.69	c GLOBAL bounds - >= 31104 @ 373.576
380.76/381.72	c GLOBAL bounds - >= 31104 @ 373.588
382.56/383.52	c #Conflicts:      90000 | #Constraints:      12203
382.56/383.52	c INPROCESSING
382.56/383.52	c GARBAGE COLLECT
382.56/383.52	c GLOBAL bounds - >= 31104 @ 375.337
382.56/383.58	c GLOBAL bounds - >= 31104 @ 375.377
382.66/383.61	c GLOBAL bounds - >= 31104 @ 375.39
382.66/383.65	c GLOBAL bounds - >= 31104 @ 375.411
382.75/383.71	c GLOBAL bounds - >= 31104 @ 375.452
382.95/383.94	c GLOBAL bounds - >= 31104 @ 375.667
385.26/386.24	c GLOBAL bounds - >= 31104 @ 377.906
405.12/406.14	c #Conflicts:      91000 | #Constraints:       7208
405.12/406.14	c #Conflicts:      92000 | #Constraints:       8208
405.12/406.14	c #Conflicts:      93000 | #Constraints:       9208
405.12/406.14	c #Conflicts:      94000 | #Constraints:      10208
405.12/406.14	c #Conflicts:      95000 | #Constraints:      11208
405.12/406.14	c #Conflicts:      96000 | #Constraints:      12208
405.12/406.14	c GLOBAL bounds - >= 31104 @ 397.489
433.23/434.31	c INPROCESSING
433.23/434.31	c GARBAGE COLLECT
433.23/434.31	c #Conflicts:      97000 | #Constraints:       7002
433.23/434.31	c #Conflicts:      98000 | #Constraints:       8002
433.23/434.31	c #Conflicts:      99000 | #Constraints:       9002
433.23/434.31	c #Conflicts:     100000 | #Constraints:      10002
433.23/434.31	c #Conflicts:     101000 | #Constraints:      11002
433.23/434.31	c #Conflicts:     102000 | #Constraints:      12002
433.23/434.31	c #Conflicts:     103000 | #Constraints:      13002
433.23/434.31	c INPROCESSING
433.23/434.31	c GARBAGE COLLECT
433.23/434.31	c GLOBAL bounds - >= 31104 @ 425.18
433.23/434.38	c GLOBAL bounds - >= 31104 @ 425.233
459.27/460.49	c #Conflicts:     104000 | #Constraints:       7603
459.27/460.49	c #Conflicts:     105000 | #Constraints:       8603
459.27/460.49	c #Conflicts:     106000 | #Constraints:       9603
459.27/460.49	c #Conflicts:     107000 | #Constraints:      10603
459.27/460.49	c #Conflicts:     108000 | #Constraints:      11603
459.27/460.49	c #Conflicts:     109000 | #Constraints:      12603
459.27/460.49	c #Conflicts:     110000 | #Constraints:      13603
459.27/460.49	c INPROCESSING
459.27/460.49	c GARBAGE COLLECT
459.27/460.49	c GLOBAL bounds - >= 31104 @ 450.715
459.37/460.52	c GLOBAL bounds - >= 31104 @ 450.734
460.66/461.89	c GLOBAL bounds - >= 31104 @ 452.081
508.65/509.93	c #Conflicts:     111000 | #Constraints:       8010
508.65/509.93	c #Conflicts:     112000 | #Constraints:       9010
508.65/509.93	c #Conflicts:     113000 | #Constraints:      10010
508.65/509.93	c #Conflicts:     114000 | #Constraints:      11010
508.65/509.93	c #Conflicts:     115000 | #Constraints:      12010
508.65/509.93	c #Conflicts:     116000 | #Constraints:      13010
508.65/509.93	c #Conflicts:     117000 | #Constraints:      14010
508.65/509.93	c INPROCESSING
508.65/509.93	c GARBAGE COLLECT
508.65/509.93	c #Conflicts:     118000 | #Constraints:       8204
508.65/509.93	c #Conflicts:     119000 | #Constraints:       9204
508.65/509.93	c #Conflicts:     120000 | #Constraints:      10204
508.65/509.93	c #Conflicts:     121000 | #Constraints:      11204
508.65/509.93	c #Conflicts:     122000 | #Constraints:      12204
508.65/509.93	c GLOBAL bounds - >= 31104 @ 499.247
536.37/537.72	c #Conflicts:     123000 | #Constraints:      13207
536.37/537.72	c #Conflicts:     124000 | #Constraints:      14207
536.37/537.72	c INPROCESSING
536.37/537.72	c GARBAGE COLLECT
536.37/537.72	c #Conflicts:     125000 | #Constraints:       8210
536.37/537.72	c #Conflicts:     126000 | #Constraints:       9210
536.37/537.72	c #Conflicts:     127000 | #Constraints:      10210
536.37/537.72	c #Conflicts:     128000 | #Constraints:      11210
536.37/537.72	c #Conflicts:     129000 | #Constraints:      12210
536.37/537.72	c GLOBAL bounds - >= 31104 @ 526.532
819.83/821.86	c #Conflicts:     130000 | #Constraints:      13210
819.83/821.86	c #Conflicts:     131000 | #Constraints:      14210
819.83/821.86	c INPROCESSING
819.83/821.86	c GARBAGE COLLECT
819.83/821.86	c #Conflicts:     132000 | #Constraints:       8004
819.83/821.86	c #Conflicts:     133000 | #Constraints:       9004
819.83/821.86	c #Conflicts:     134000 | #Constraints:      10004
819.83/821.86	c #Conflicts:     135000 | #Constraints:      11004
819.83/821.86	c #Conflicts:     136000 | #Constraints:      12004
819.83/821.86	c #Conflicts:     137000 | #Constraints:      13004
819.83/821.86	c #Conflicts:     138000 | #Constraints:      14004
819.83/821.86	c #Conflicts:     139000 | #Constraints:      15004
819.83/821.86	c INPROCESSING
819.83/821.86	c GARBAGE COLLECT
819.83/821.86	c #Conflicts:     140000 | #Constraints:       8609
819.83/821.86	c #Conflicts:     141000 | #Constraints:       9609
819.83/821.86	c #Conflicts:     142000 | #Constraints:      10609
819.83/821.86	c #Conflicts:     143000 | #Constraints:      11609
819.83/821.86	c #Conflicts:     144000 | #Constraints:      12609
819.83/821.86	c #Conflicts:     145000 | #Constraints:      13609
819.83/821.86	c #Conflicts:     146000 | #Constraints:      14609
819.83/821.86	c #Conflicts:     147000 | #Constraints:      15609
819.83/821.86	c INPROCESSING
819.83/821.86	c GARBAGE COLLECT
819.83/821.86	c #Conflicts:     148000 | #Constraints:       9014
819.83/821.86	c #Conflicts:     149000 | #Constraints:      10014
819.83/821.86	c #Conflicts:     150000 | #Constraints:      11014
819.83/821.86	c #Conflicts:     151000 | #Constraints:      12014
819.83/821.86	c #Conflicts:     152000 | #Constraints:      13014
819.83/821.86	c #Conflicts:     153000 | #Constraints:      14014
819.83/821.86	c #Conflicts:     154000 | #Constraints:      15014
819.83/821.86	c #Conflicts:     155000 | #Constraints:      16014
819.83/821.86	c INPROCESSING
819.83/821.86	c GARBAGE COLLECT
819.83/821.86	c #Conflicts:     156000 | #Constraints:       9217
819.83/821.86	c #Conflicts:     157000 | #Constraints:      10217
819.83/821.86	c #Conflicts:     158000 | #Constraints:      11217
819.83/821.86	c #Conflicts:     159000 | #Constraints:      12217
819.83/821.86	c #Conflicts:     160000 | #Constraints:      13217
819.83/821.86	c #Conflicts:     161000 | #Constraints:      14217
819.83/821.86	c #Conflicts:     162000 | #Constraints:      15217
819.83/821.86	c #Conflicts:     163000 | #Constraints:      16217
819.83/821.86	c INPROCESSING
819.83/821.86	c GARBAGE COLLECT
819.83/821.86	c #Conflicts:     164000 | #Constraints:       9230
819.83/821.86	c #Conflicts:     165000 | #Constraints:      10230
819.83/821.86	c #Conflicts:     166000 | #Constraints:      11230
819.83/821.86	c #Conflicts:     167000 | #Constraints:      12230
819.83/821.86	c #Conflicts:     168000 | #Constraints:      13230
819.83/821.86	c #Conflicts:     169000 | #Constraints:      14230
819.83/821.86	c #Conflicts:     170000 | #Constraints:      15230
819.83/821.86	c #Conflicts:     171000 | #Constraints:      16230
819.83/821.86	c INPROCESSING
819.83/821.86	c GARBAGE COLLECT
819.83/821.86	c #Conflicts:     172000 | #Constraints:       9023
819.83/821.86	c #Conflicts:     173000 | #Constraints:      10023
819.83/821.86	c #Conflicts:     174000 | #Constraints:      11023
819.83/821.86	c #Conflicts:     175000 | #Constraints:      12023
819.83/821.86	c #Conflicts:     176000 | #Constraints:      13023
819.83/821.86	c #Conflicts:     177000 | #Constraints:      14023
819.83/821.86	c #Conflicts:     178000 | #Constraints:      15023
819.83/821.86	c #Conflicts:     179000 | #Constraints:      16023
819.83/821.86	c #Conflicts:     180000 | #Constraints:      17023
819.83/821.86	c INPROCESSING
819.83/821.86	c GARBAGE COLLECT
819.83/821.86	c #Conflicts:     181000 | #Constraints:       9620
819.83/821.86	c #Conflicts:     182000 | #Constraints:      10620
819.83/821.86	c #Conflicts:     183000 | #Constraints:      11620
819.83/821.86	c #Conflicts:     184000 | #Constraints:      12620
819.83/821.86	c #Conflicts:     185000 | #Constraints:      13620
819.83/821.86	c #Conflicts:     186000 | #Constraints:      14620
819.83/821.86	c #Conflicts:     187000 | #Constraints:      15620
819.83/821.86	c #Conflicts:     188000 | #Constraints:      16620
819.83/821.86	c #Conflicts:     189000 | #Constraints:      17620
819.83/821.86	c INPROCESSING
819.83/821.86	c GARBAGE COLLECT
819.83/821.86	c #Conflicts:     190000 | #Constraints:      10023
819.83/821.86	c #Conflicts:     191000 | #Constraints:      11023
819.83/821.86	c #Conflicts:     192000 | #Constraints:      12023
819.83/821.86	c GLOBAL bounds - >= 35368 @ 807.07
819.93/821.91	c GLOBAL bounds - >= 35368 @ 807.118
819.93/821.92	c GLOBAL bounds - >= 35368 @ 807.126
819.93/821.93	c GLOBAL bounds - >= 35368 @ 807.131
819.93/821.94	c GLOBAL bounds - >= 35368 @ 807.133
819.93/821.96	c GLOBAL bounds - >= 35368 @ 807.136
819.93/821.97	c GLOBAL bounds - >= 35368 @ 807.142
831.02/833.08	c #Conflicts:     193000 | #Constraints:      13028
831.02/833.08	c #Conflicts:     194000 | #Constraints:      14028
831.02/833.08	c #Conflicts:     195000 | #Constraints:      15028
831.02/833.08	c GLOBAL bounds - >= 35368 @ 818.171
831.02/833.09	c GLOBAL bounds - >= 35368 @ 818.175
831.12/833.12	c GLOBAL bounds - >= 35368 @ 818.189
831.12/833.14	c GLOBAL bounds - >= 35368 @ 818.196
831.12/833.17	c GLOBAL bounds - >= 35368 @ 818.208
831.12/833.18	c GLOBAL bounds - >= 35368 @ 818.212
831.21/833.21	c GLOBAL bounds - >= 35368 @ 818.226
831.21/833.22	c GLOBAL bounds - >= 35368 @ 818.231
831.21/833.25	c GLOBAL bounds - >= 35368 @ 818.245
831.21/833.27	c GLOBAL bounds - >= 35368 @ 818.253
831.30/833.30	c GLOBAL bounds - >= 35368 @ 818.266
831.30/833.31	c GLOBAL bounds - >= 35368 @ 818.278
831.30/833.34	c GLOBAL bounds - >= 35368 @ 818.29
831.30/833.36	c GLOBAL bounds - >= 35368 @ 818.299
831.30/833.39	c GLOBAL bounds - >= 35368 @ 818.311
831.40/833.40	c GLOBAL bounds - >= 35368 @ 818.322
831.40/833.43	c GLOBAL bounds - >= 35368 @ 818.338
831.40/833.45	c GLOBAL bounds - >= 35368 @ 818.345
831.40/833.48	c GLOBAL bounds - >= 35368 @ 818.357
831.50/833.51	c GLOBAL bounds - >= 35368 @ 818.373
831.50/833.55	c GLOBAL bounds - >= 35368 @ 818.397
831.50/833.58	c GLOBAL bounds - >= 35368 @ 818.411
831.60/833.62	c GLOBAL bounds - >= 35368 @ 818.431
836.79/838.82	c #Conflicts:     196000 | #Constraints:      16072
836.79/838.82	c #Conflicts:     197000 | #Constraints:      17072
836.79/838.82	c GLOBAL bounds - >= 35368 @ 823.6
836.89/838.95	c GLOBAL bounds - >= 35368 @ 823.713
836.89/838.97	c GLOBAL bounds - >= 35368 @ 823.721
836.89/838.99	c GLOBAL bounds - >= 35368 @ 823.731
837.01/839.01	c GLOBAL bounds - >= 35368 @ 823.742
837.01/839.04	c GLOBAL bounds - >= 35368 @ 823.756
838.00/840.06	c GLOBAL bounds - >= 35368 @ 824.722
839.19/841.24	c #Conflicts:     198000 | #Constraints:      18093
839.19/841.24	c INPROCESSING
839.19/841.24	c GARBAGE COLLECT
839.19/841.24	c GLOBAL bounds - >= 35368 @ 825.863
839.39/841.47	c GLOBAL bounds - >= 35368 @ 826.067
839.79/841.81	c GLOBAL bounds - >= 35368 @ 826.375
902.34/904.56	c #Conflicts:     199000 | #Constraints:      10273
902.34/904.56	c #Conflicts:     200000 | #Constraints:      11273
902.34/904.56	c #Conflicts:     201000 | #Constraints:      12273
902.34/904.56	c #Conflicts:     202000 | #Constraints:      13273
902.34/904.56	c #Conflicts:     203000 | #Constraints:      14273
902.34/904.56	c #Conflicts:     204000 | #Constraints:      15273
902.34/904.56	c #Conflicts:     205000 | #Constraints:      16273
902.34/904.56	c #Conflicts:     206000 | #Constraints:      17273
902.34/904.56	c #Conflicts:     207000 | #Constraints:      18273
902.34/904.56	c INPROCESSING
902.34/904.56	c GARBAGE COLLECT
902.34/904.56	c #Conflicts:     208000 | #Constraints:      10269
902.34/904.56	c #Conflicts:     209000 | #Constraints:      11269
902.34/904.56	c #Conflicts:     210000 | #Constraints:      12269
902.34/904.56	c #Conflicts:     211000 | #Constraints:      13269
902.34/904.56	c #Conflicts:     212000 | #Constraints:      14269
902.34/904.56	c #Conflicts:     213000 | #Constraints:      15269
902.34/904.56	c GLOBAL bounds - >= 35368 @ 887.278
947.85/950.13	c #Conflicts:     214000 | #Constraints:      16272
947.85/950.13	c #Conflicts:     215000 | #Constraints:      17272
947.85/950.13	c #Conflicts:     216000 | #Constraints:      18272
947.85/950.13	c INPROCESSING
947.85/950.13	c GARBAGE COLLECT
947.85/950.13	c #Conflicts:     217000 | #Constraints:      10082
947.85/950.13	c #Conflicts:     218000 | #Constraints:      11082
947.85/950.13	c #Conflicts:     219000 | #Constraints:      12082
947.85/950.13	c #Conflicts:     220000 | #Constraints:      13082
947.85/950.13	c #Conflicts:     221000 | #Constraints:      14082
947.85/950.13	c #Conflicts:     222000 | #Constraints:      15082
947.85/950.13	c #Conflicts:     223000 | #Constraints:      16082
947.85/950.13	c #Conflicts:     224000 | #Constraints:      17082
947.85/950.13	c GLOBAL bounds - >= 35368 @ 932.097
951.94/954.20	c #Conflicts:     225000 | #Constraints:      18085
951.94/954.20	c GLOBAL bounds - >= 35368 @ 936.113
954.93/957.27	c #Conflicts:     226000 | #Constraints:      19088
954.93/957.27	c INPROCESSING
954.93/957.27	c GARBAGE COLLECT
954.93/957.27	c GLOBAL bounds - >= 35368 @ 939.143
967.49/969.89	c #Conflicts:     227000 | #Constraints:      10682
967.49/969.89	c #Conflicts:     228000 | #Constraints:      11682
967.49/969.89	c #Conflicts:     229000 | #Constraints:      12682
967.49/969.89	c GLOBAL bounds - >= 35368 @ 951.551
991.66/994.07	c #Conflicts:     230000 | #Constraints:      13685
991.66/994.07	c #Conflicts:     231000 | #Constraints:      14685
991.66/994.07	c #Conflicts:     232000 | #Constraints:      15685
991.66/994.07	c #Conflicts:     233000 | #Constraints:      16685
991.66/994.07	c #Conflicts:     234000 | #Constraints:      17685
991.66/994.07	c #Conflicts:     235000 | #Constraints:      18685
991.66/994.07	c GLOBAL bounds - >= 35368 @ 975.147
1276.17/1279.29	c #Conflicts:     236000 | #Constraints:      19688
1276.17/1279.29	c INPROCESSING
1276.17/1279.29	c GARBAGE COLLECT
1276.17/1279.29	c #Conflicts:     237000 | #Constraints:      11082
1276.17/1279.29	c #Conflicts:     238000 | #Constraints:      12082
1276.17/1279.29	c #Conflicts:     239000 | #Constraints:      13082
1276.17/1279.29	c #Conflicts:     240000 | #Constraints:      14082
1276.17/1279.29	c #Conflicts:     241000 | #Constraints:      15082
1276.17/1279.29	c #Conflicts:     242000 | #Constraints:      16082
1276.17/1279.29	c #Conflicts:     243000 | #Constraints:      17082
1276.17/1279.29	c #Conflicts:     244000 | #Constraints:      18082
1276.17/1279.29	c #Conflicts:     245000 | #Constraints:      19082
1276.17/1279.29	c #Conflicts:     246000 | #Constraints:      20082
1276.17/1279.29	c INPROCESSING
1276.17/1279.29	c GARBAGE COLLECT
1276.17/1279.29	c #Conflicts:     247000 | #Constraints:      11287
1276.17/1279.29	c #Conflicts:     248000 | #Constraints:      12287
1276.17/1279.29	c #Conflicts:     249000 | #Constraints:      13287
1276.17/1279.29	c #Conflicts:     250000 | #Constraints:      14287
1276.17/1279.29	c #Conflicts:     251000 | #Constraints:      15287
1276.17/1279.29	c #Conflicts:     252000 | #Constraints:      16287
1276.17/1279.29	c #Conflicts:     253000 | #Constraints:      17287
1276.17/1279.29	c #Conflicts:     254000 | #Constraints:      18287
1276.17/1279.29	c #Conflicts:     255000 | #Constraints:      19287
1276.17/1279.29	c #Conflicts:     256000 | #Constraints:      20287
1276.17/1279.29	c INPROCESSING
1276.17/1279.29	c GARBAGE COLLECT
1276.17/1279.29	c #Conflicts:     257000 | #Constraints:      11283
1276.17/1279.29	c #Conflicts:     258000 | #Constraints:      12283
1276.17/1279.29	c #Conflicts:     259000 | #Constraints:      13283
1276.17/1279.29	c #Conflicts:     260000 | #Constraints:      14283
1276.17/1279.29	c #Conflicts:     261000 | #Constraints:      15283
1276.17/1279.29	c #Conflicts:     262000 | #Constraints:      16283
1276.17/1279.29	c #Conflicts:     263000 | #Constraints:      17283
1276.17/1279.29	c #Conflicts:     264000 | #Constraints:      18283
1276.17/1279.29	c #Conflicts:     265000 | #Constraints:      19283
1276.17/1279.29	c #Conflicts:     266000 | #Constraints:      20283
1276.17/1279.29	c INPROCESSING
1276.17/1279.29	c GARBAGE COLLECT
1276.17/1279.29	c #Conflicts:     267000 | #Constraints:      11089
1276.17/1279.29	c #Conflicts:     268000 | #Constraints:      12089
1276.17/1279.29	c #Conflicts:     269000 | #Constraints:      13089
1276.17/1279.29	c #Conflicts:     270000 | #Constraints:      14089
1276.17/1279.29	c #Conflicts:     271000 | #Constraints:      15089
1276.17/1279.29	c #Conflicts:     272000 | #Constraints:      16089
1276.17/1279.29	c #Conflicts:     273000 | #Constraints:      17089
1276.17/1279.29	c #Conflicts:     274000 | #Constraints:      18089
1276.17/1279.29	c #Conflicts:     275000 | #Constraints:      19089
1276.17/1279.29	c #Conflicts:     276000 | #Constraints:      20089
1276.17/1279.29	c #Conflicts:     277000 | #Constraints:      21089
1276.17/1279.29	c INPROCESSING
1276.17/1279.29	c GARBAGE COLLECT
1276.17/1279.29	c #Conflicts:     278000 | #Constraints:      11692
1276.17/1279.29	c #Conflicts:     279000 | #Constraints:      12692
1276.17/1279.29	c #Conflicts:     280000 | #Constraints:      13692
1276.17/1279.29	c #Conflicts:     281000 | #Constraints:      14692
1276.17/1279.29	c #Conflicts:     282000 | #Constraints:      15692
1276.17/1279.29	c #Conflicts:     283000 | #Constraints:      16692
1276.17/1279.29	c #Conflicts:     284000 | #Constraints:      17692
1276.17/1279.29	c #Conflicts:     285000 | #Constraints:      18692
1276.17/1279.29	c #Conflicts:     286000 | #Constraints:      19692
1276.17/1279.29	c #Conflicts:     287000 | #Constraints:      20692
1276.17/1279.29	c #Conflicts:     288000 | #Constraints:      21692
1276.17/1279.29	c INPROCESSING
1276.17/1279.29	c GARBAGE COLLECT
1276.17/1279.29	c #Conflicts:     289000 | #Constraints:      12095
1276.17/1279.29	c #Conflicts:     290000 | #Constraints:      13095
1276.17/1279.29	c #Conflicts:     291000 | #Constraints:      14095
1276.17/1279.29	c #Conflicts:     292000 | #Constraints:      15095
1276.17/1279.29	c #Conflicts:     293000 | #Constraints:      16095
1276.17/1279.29	c #Conflicts:     294000 | #Constraints:      17095
1276.17/1279.29	c #Conflicts:     295000 | #Constraints:      18095
1276.17/1279.29	c #Conflicts:     296000 | #Constraints:      19095
1276.17/1279.29	c #Conflicts:     297000 | #Constraints:      20095
1276.17/1279.29	c #Conflicts:     298000 | #Constraints:      21095
1276.17/1279.29	c #Conflicts:     299000 | #Constraints:      22095
1276.17/1279.29	c INPROCESSING
1276.17/1279.29	c GARBAGE COLLECT
1276.17/1279.29	c #Conflicts:     300000 | #Constraints:      12294
1276.17/1279.29	c #Conflicts:     301000 | #Constraints:      13294
1276.17/1279.29	c #Conflicts:     302000 | #Constraints:      14294
1276.17/1279.29	c #Conflicts:     303000 | #Constraints:      15294
1276.17/1279.29	c #Conflicts:     304000 | #Constraints:      16294
1276.17/1279.29	c #Conflicts:     305000 | #Constraints:      17294
1276.17/1279.29	c #Conflicts:     306000 | #Constraints:      18294
1276.17/1279.29	c #Conflicts:     307000 | #Constraints:      19294
1276.17/1279.29	c GLOBAL bounds - >= 35368 @ 1255.2
1276.77/1279.83	c GLOBAL bounds - >= 35368 @ 1255.72
1369.42/1372.76	c #Conflicts:     308000 | #Constraints:      20300
1369.42/1372.76	c #Conflicts:     309000 | #Constraints:      21300
1369.42/1372.76	c #Conflicts:     310000 | #Constraints:      22300
1369.42/1372.76	c INPROCESSING
1369.42/1372.76	c GARBAGE COLLECT
1369.42/1372.76	c #Conflicts:     311000 | #Constraints:      12291
1369.42/1372.76	c #Conflicts:     312000 | #Constraints:      13291
1369.42/1372.76	c #Conflicts:     313000 | #Constraints:      14291
1369.42/1372.76	c #Conflicts:     314000 | #Constraints:      15291
1369.42/1372.76	c #Conflicts:     315000 | #Constraints:      16291
1369.42/1372.76	c #Conflicts:     316000 | #Constraints:      17291
1369.42/1372.76	c #Conflicts:     317000 | #Constraints:      18291
1369.42/1372.76	c #Conflicts:     318000 | #Constraints:      19291
1369.42/1372.76	c #Conflicts:     319000 | #Constraints:      20291
1369.42/1372.76	c #Conflicts:     320000 | #Constraints:      21291
1369.42/1372.76	c #Conflicts:     321000 | #Constraints:      22291
1369.42/1372.76	c INPROCESSING
1369.42/1372.76	c GARBAGE COLLECT
1369.42/1372.76	c #Conflicts:     322000 | #Constraints:      12092
1369.42/1372.76	c #Conflicts:     323000 | #Constraints:      13092
1369.42/1372.76	c #Conflicts:     324000 | #Constraints:      14092
1369.42/1372.76	c #Conflicts:     325000 | #Constraints:      15092
1369.42/1372.76	c #Conflicts:     326000 | #Constraints:      16092
1369.42/1372.76	c #Conflicts:     327000 | #Constraints:      17092
1369.42/1372.76	c #Conflicts:     328000 | #Constraints:      18092
1369.42/1372.76	c #Conflicts:     329000 | #Constraints:      19092
1369.42/1372.76	c #Conflicts:     330000 | #Constraints:      20092
1369.42/1372.76	c #Conflicts:     331000 | #Constraints:      21092
1369.42/1372.76	c #Conflicts:     332000 | #Constraints:      22092
1369.42/1372.76	c GLOBAL bounds - >= 35368 @ 1347.3
1674.60/1678.71	c #Conflicts:     333000 | #Constraints:      23095
1674.60/1678.71	c INPROCESSING
1674.60/1678.71	c GARBAGE COLLECT
1674.60/1678.71	c #Conflicts:     334000 | #Constraints:      12690
1674.60/1678.71	c #Conflicts:     335000 | #Constraints:      13690
1674.60/1678.71	c #Conflicts:     336000 | #Constraints:      14690
1674.60/1678.71	c #Conflicts:     337000 | #Constraints:      15690
1674.60/1678.71	c #Conflicts:     338000 | #Constraints:      16690
1674.60/1678.71	c #Conflicts:     339000 | #Constraints:      17690
1674.60/1678.71	c #Conflicts:     340000 | #Constraints:      18690
1674.60/1678.71	c #Conflicts:     341000 | #Constraints:      19690
1674.60/1678.71	c #Conflicts:     342000 | #Constraints:      20690
1674.60/1678.71	c #Conflicts:     343000 | #Constraints:      21690
1674.60/1678.71	c #Conflicts:     344000 | #Constraints:      22690
1674.60/1678.71	c #Conflicts:     345000 | #Constraints:      23690
1674.60/1678.71	c INPROCESSING
1674.60/1678.71	c GARBAGE COLLECT
1674.60/1678.71	c #Conflicts:     346000 | #Constraints:      13090
1674.60/1678.71	c #Conflicts:     347000 | #Constraints:      14090
1674.60/1678.71	c #Conflicts:     348000 | #Constraints:      15090
1674.60/1678.71	c #Conflicts:     349000 | #Constraints:      16090
1674.60/1678.71	c #Conflicts:     350000 | #Constraints:      17090
1674.60/1678.71	c #Conflicts:     351000 | #Constraints:      18090
1674.60/1678.71	c #Conflicts:     352000 | #Constraints:      19090
1674.60/1678.71	c #Conflicts:     353000 | #Constraints:      20090
1674.60/1678.71	c #Conflicts:     354000 | #Constraints:      21090
1674.60/1678.71	c #Conflicts:     355000 | #Constraints:      22090
1674.60/1678.71	c #Conflicts:     356000 | #Constraints:      23090
1674.60/1678.71	c #Conflicts:     357000 | #Constraints:      24090
1674.60/1678.71	c INPROCESSING
1674.60/1678.71	c GARBAGE COLLECT
1674.60/1678.71	c #Conflicts:     358000 | #Constraints:      13294
1674.60/1678.71	c #Conflicts:     359000 | #Constraints:      14294
1674.60/1678.71	c #Conflicts:     360000 | #Constraints:      15294
1674.60/1678.71	c #Conflicts:     361000 | #Constraints:      16294
1674.60/1678.71	c #Conflicts:     362000 | #Constraints:      17294
1674.60/1678.71	c #Conflicts:     363000 | #Constraints:      18294
1674.60/1678.71	c #Conflicts:     364000 | #Constraints:      19294
1674.60/1678.71	c #Conflicts:     365000 | #Constraints:      20294
1674.60/1678.71	c #Conflicts:     366000 | #Constraints:      21294
1674.60/1678.71	c #Conflicts:     367000 | #Constraints:      22294
1674.60/1678.71	c #Conflicts:     368000 | #Constraints:      23294
1674.60/1678.71	c #Conflicts:     369000 | #Constraints:      24294
1674.60/1678.71	c INPROCESSING
1674.60/1678.71	c GARBAGE COLLECT
1674.60/1678.71	c #Conflicts:     370000 | #Constraints:      13291
1674.60/1678.71	c #Conflicts:     371000 | #Constraints:      14291
1674.60/1678.71	c #Conflicts:     372000 | #Constraints:      15291
1674.60/1678.71	c #Conflicts:     373000 | #Constraints:      16291
1674.60/1678.71	c #Conflicts:     374000 | #Constraints:      17291
1674.60/1678.71	c #Conflicts:     375000 | #Constraints:      18291
1674.60/1678.71	c #Conflicts:     376000 | #Constraints:      19291
1674.60/1678.71	c #Conflicts:     377000 | #Constraints:      20291
1674.60/1678.71	c #Conflicts:     378000 | #Constraints:      21291
1674.60/1678.71	c #Conflicts:     379000 | #Constraints:      22291
1674.60/1678.71	c #Conflicts:     380000 | #Constraints:      23291
1674.60/1678.71	c #Conflicts:     381000 | #Constraints:      24291
1674.60/1678.71	c INPROCESSING
1674.60/1678.71	c GARBAGE COLLECT
1674.60/1678.71	c #Conflicts:     382000 | #Constraints:      13101
1674.60/1678.71	c #Conflicts:     383000 | #Constraints:      14101
1674.60/1678.71	c #Conflicts:     384000 | #Constraints:      15101
1674.60/1678.71	c #Conflicts:     385000 | #Constraints:      16101
1674.60/1678.71	c #Conflicts:     386000 | #Constraints:      17101
1674.60/1678.71	c #Conflicts:     387000 | #Constraints:      18101
1674.60/1678.71	c #Conflicts:     388000 | #Constraints:      19101
1674.60/1678.71	c #Conflicts:     389000 | #Constraints:      20101
1674.60/1678.71	c #Conflicts:     390000 | #Constraints:      21101
1674.60/1678.71	c #Conflicts:     391000 | #Constraints:      22101
1674.60/1678.71	c #Conflicts:     392000 | #Constraints:      23101
1674.60/1678.71	c #Conflicts:     393000 | #Constraints:      24101
1674.60/1678.71	c #Conflicts:     394000 | #Constraints:      25101
1674.60/1678.71	c INPROCESSING
1674.60/1678.71	c GARBAGE COLLECT
1674.60/1678.71	c #Conflicts:     395000 | #Constraints:      13699
1674.60/1678.71	c #Conflicts:     396000 | #Constraints:      14699
1674.60/1678.71	c #Conflicts:     397000 | #Constraints:      15699
1674.60/1678.71	c #Conflicts:     398000 | #Constraints:      16699
1674.60/1678.71	c #Conflicts:     399000 | #Constraints:      17699
1674.60/1678.71	c #Conflicts:     400000 | #Constraints:      18699
1674.60/1678.71	c #Conflicts:     401000 | #Constraints:      19699
1674.60/1678.71	c #Conflicts:     402000 | #Constraints:      20699
1674.60/1678.71	c #Conflicts:     403000 | #Constraints:      21699
1674.60/1678.71	c #Conflicts:     404000 | #Constraints:      22699
1674.60/1678.71	c #Conflicts:     405000 | #Constraints:      23699
1674.60/1678.71	c #Conflicts:     406000 | #Constraints:      24699
1674.60/1678.71	c #Conflicts:     407000 | #Constraints:      25699
2016.39/2021.44	c INPROCESSING
2016.39/2021.44	c GARBAGE COLLECT
2016.39/2021.44	c #Conflicts:     408000 | #Constraints:      14099
2016.39/2021.44	c #Conflicts:     409000 | #Constraints:      15099
2016.39/2021.44	c #Conflicts:     410000 | #Constraints:      16099
2016.39/2021.44	c #Conflicts:     411000 | #Constraints:      17099
2016.39/2021.44	c #Conflicts:     412000 | #Constraints:      18099
2016.39/2021.44	c #Conflicts:     413000 | #Constraints:      19099
2016.39/2021.44	c #Conflicts:     414000 | #Constraints:      20099
2016.39/2021.44	c #Conflicts:     415000 | #Constraints:      21099
2016.39/2021.44	c #Conflicts:     416000 | #Constraints:      22099
2016.39/2021.44	c #Conflicts:     417000 | #Constraints:      23099
2016.39/2021.44	c #Conflicts:     418000 | #Constraints:      24099
2016.39/2021.44	c #Conflicts:     419000 | #Constraints:      25099
2016.39/2021.44	c #Conflicts:     420000 | #Constraints:      26099
2016.39/2021.44	c INPROCESSING
2016.39/2021.44	c GARBAGE COLLECT
2016.39/2021.44	c #Conflicts:     421000 | #Constraints:      14301
2016.39/2021.44	c #Conflicts:     422000 | #Constraints:      15301
2016.39/2021.44	c #Conflicts:     423000 | #Constraints:      16301
2016.39/2021.44	c #Conflicts:     424000 | #Constraints:      17301
2016.39/2021.44	c #Conflicts:     425000 | #Constraints:      18301
2016.39/2021.44	c #Conflicts:     426000 | #Constraints:      19301
2016.39/2021.44	c #Conflicts:     427000 | #Constraints:      20301
2016.39/2021.44	c #Conflicts:     428000 | #Constraints:      21301
2016.39/2021.44	c #Conflicts:     429000 | #Constraints:      22301
2016.39/2021.44	c #Conflicts:     430000 | #Constraints:      23301
2016.39/2021.44	c #Conflicts:     431000 | #Constraints:      24301
2016.39/2021.44	c #Conflicts:     432000 | #Constraints:      25301
2016.39/2021.44	c #Conflicts:     433000 | #Constraints:      26301
2016.39/2021.44	c INPROCESSING
2016.39/2021.44	c GARBAGE COLLECT
2016.39/2021.44	c #Conflicts:     434000 | #Constraints:      14303
2016.39/2021.44	c #Conflicts:     435000 | #Constraints:      15303
2016.39/2021.44	c #Conflicts:     436000 | #Constraints:      16303
2016.39/2021.44	c #Conflicts:     437000 | #Constraints:      17303
2016.39/2021.44	c #Conflicts:     438000 | #Constraints:      18303
2016.39/2021.44	c #Conflicts:     439000 | #Constraints:      19303
2016.39/2021.44	c #Conflicts:     440000 | #Constraints:      20303
2016.39/2021.44	c #Conflicts:     441000 | #Constraints:      21303
2016.39/2021.44	c #Conflicts:     442000 | #Constraints:      22303
2016.39/2021.44	c #Conflicts:     443000 | #Constraints:      23303
2016.39/2021.44	c #Conflicts:     444000 | #Constraints:      24303
2016.39/2021.44	c #Conflicts:     445000 | #Constraints:      25303
2016.39/2021.44	c #Conflicts:     446000 | #Constraints:      26303
2016.39/2021.44	c INPROCESSING
2016.39/2021.44	c GARBAGE COLLECT
2016.39/2021.44	c #Conflicts:     447000 | #Constraints:      14108
2016.39/2021.44	c #Conflicts:     448000 | #Constraints:      15108
2016.39/2021.44	c #Conflicts:     449000 | #Constraints:      16108
2016.39/2021.44	c #Conflicts:     450000 | #Constraints:      17108
2016.39/2021.44	c #Conflicts:     451000 | #Constraints:      18108
2016.39/2021.44	c #Conflicts:     452000 | #Constraints:      19108
2016.39/2021.44	c #Conflicts:     453000 | #Constraints:      20108
2016.39/2021.44	c #Conflicts:     454000 | #Constraints:      21108
2016.39/2021.44	c #Conflicts:     455000 | #Constraints:      22108
2016.39/2021.44	c #Conflicts:     456000 | #Constraints:      23108
2016.39/2021.44	c #Conflicts:     457000 | #Constraints:      24108
2016.39/2021.44	c #Conflicts:     458000 | #Constraints:      25108
2016.39/2021.44	c #Conflicts:     459000 | #Constraints:      26108
2016.39/2021.44	c #Conflicts:     460000 | #Constraints:      27108
2016.39/2021.44	c INPROCESSING
2016.39/2021.44	c GARBAGE COLLECT
2016.39/2021.44	c #Conflicts:     461000 | #Constraints:      14703
2016.39/2021.44	c #Conflicts:     462000 | #Constraints:      15703
2016.39/2021.44	c #Conflicts:     463000 | #Constraints:      16703
2016.39/2021.44	c #Conflicts:     464000 | #Constraints:      17703
2016.39/2021.44	c #Conflicts:     465000 | #Constraints:      18703
2016.39/2021.44	c #Conflicts:     466000 | #Constraints:      19703
2016.39/2021.44	c #Conflicts:     467000 | #Constraints:      20703
2016.39/2021.44	c #Conflicts:     468000 | #Constraints:      21703
2016.39/2021.44	c #Conflicts:     469000 | #Constraints:      22703
2016.39/2021.44	c #Conflicts:     470000 | #Constraints:      23703
2016.39/2021.44	c #Conflicts:     471000 | #Constraints:      24703
2016.39/2021.44	c #Conflicts:     472000 | #Constraints:      25703
2016.39/2021.44	c #Conflicts:     473000 | #Constraints:      26703
2016.39/2021.44	c #Conflicts:     474000 | #Constraints:      27703
2016.39/2021.44	c INPROCESSING
2016.39/2021.44	c GARBAGE COLLECT
2016.39/2021.44	c #Conflicts:     475000 | #Constraints:      15114
2016.39/2021.44	c #Conflicts:     476000 | #Constraints:      16114
2016.39/2021.44	c #Conflicts:     477000 | #Constraints:      17114
2016.39/2021.44	c #Conflicts:     478000 | #Constraints:      18114
2016.39/2021.44	c #Conflicts:     479000 | #Constraints:      19114
2016.39/2021.44	c #Conflicts:     480000 | #Constraints:      20114
2016.39/2021.44	c #Conflicts:     481000 | #Constraints:      21114
2016.39/2021.44	c #Conflicts:     482000 | #Constraints:      22114
2368.93/2374.90	c #Conflicts:     483000 | #Constraints:      23114
2368.93/2374.90	c #Conflicts:     484000 | #Constraints:      24114
2368.93/2374.90	c #Conflicts:     485000 | #Constraints:      25114
2368.93/2374.90	c #Conflicts:     486000 | #Constraints:      26114
2368.93/2374.90	c #Conflicts:     487000 | #Constraints:      27114
2368.93/2374.90	c #Conflicts:     488000 | #Constraints:      28114
2368.93/2374.90	c INPROCESSING
2368.93/2374.90	c GARBAGE COLLECT
2368.93/2374.90	c #Conflicts:     489000 | #Constraints:      15316
2368.93/2374.90	c #Conflicts:     490000 | #Constraints:      16316
2368.93/2374.90	c #Conflicts:     491000 | #Constraints:      17316
2368.93/2374.90	c #Conflicts:     492000 | #Constraints:      18316
2368.93/2374.90	c #Conflicts:     493000 | #Constraints:      19316
2368.93/2374.90	c #Conflicts:     494000 | #Constraints:      20316
2368.93/2374.90	c #Conflicts:     495000 | #Constraints:      21316
2368.93/2374.90	c #Conflicts:     496000 | #Constraints:      22316
2368.93/2374.90	c #Conflicts:     497000 | #Constraints:      23316
2368.93/2374.90	c #Conflicts:     498000 | #Constraints:      24316
2368.93/2374.90	c #Conflicts:     499000 | #Constraints:      25316
2368.93/2374.90	c #Conflicts:     500000 | #Constraints:      26316
2368.93/2374.90	c #Conflicts:     501000 | #Constraints:      27316
2368.93/2374.90	c #Conflicts:     502000 | #Constraints:      28316
2368.93/2374.90	c INPROCESSING
2368.93/2374.90	c GARBAGE COLLECT
2368.93/2374.90	c #Conflicts:     503000 | #Constraints:      15313
2368.93/2374.90	c #Conflicts:     504000 | #Constraints:      16313
2368.93/2374.90	c #Conflicts:     505000 | #Constraints:      17313
2368.93/2374.90	c #Conflicts:     506000 | #Constraints:      18313
2368.93/2374.90	c #Conflicts:     507000 | #Constraints:      19313
2368.93/2374.90	c #Conflicts:     508000 | #Constraints:      20313
2368.93/2374.90	c #Conflicts:     509000 | #Constraints:      21313
2368.93/2374.90	c #Conflicts:     510000 | #Constraints:      22313
2368.93/2374.90	c #Conflicts:     511000 | #Constraints:      23313
2368.93/2374.90	c #Conflicts:     512000 | #Constraints:      24313
2368.93/2374.90	c #Conflicts:     513000 | #Constraints:      25313
2368.93/2374.90	c #Conflicts:     514000 | #Constraints:      26313
2368.93/2374.90	c #Conflicts:     515000 | #Constraints:      27313
2368.93/2374.90	c #Conflicts:     516000 | #Constraints:      28313
2368.93/2374.90	c INPROCESSING
2368.93/2374.90	c GARBAGE COLLECT
2368.93/2374.90	c #Conflicts:     517000 | #Constraints:      15112
2368.93/2374.90	c #Conflicts:     518000 | #Constraints:      16112
2368.93/2374.90	c #Conflicts:     519000 | #Constraints:      17112
2368.93/2374.90	c #Conflicts:     520000 | #Constraints:      18112
2368.93/2374.90	c #Conflicts:     521000 | #Constraints:      19112
2368.93/2374.90	c #Conflicts:     522000 | #Constraints:      20112
2368.93/2374.90	c #Conflicts:     523000 | #Constraints:      21112
2368.93/2374.90	c #Conflicts:     524000 | #Constraints:      22112
2368.93/2374.90	c #Conflicts:     525000 | #Constraints:      23112
2368.93/2374.90	c #Conflicts:     526000 | #Constraints:      24112
2368.93/2374.90	c #Conflicts:     527000 | #Constraints:      25112
2368.93/2374.90	c #Conflicts:     528000 | #Constraints:      26112
2368.93/2374.90	c #Conflicts:     529000 | #Constraints:      27112
2368.93/2374.90	c #Conflicts:     530000 | #Constraints:      28112
2368.93/2374.90	c #Conflicts:     531000 | #Constraints:      29112
2368.93/2374.90	c INPROCESSING
2368.93/2374.90	c GARBAGE COLLECT
2368.93/2374.90	c #Conflicts:     532000 | #Constraints:      15715
2368.93/2374.90	c #Conflicts:     533000 | #Constraints:      16715
2368.93/2374.90	c #Conflicts:     534000 | #Constraints:      17715
2368.93/2374.90	c #Conflicts:     535000 | #Constraints:      18715
2368.93/2374.90	c #Conflicts:     536000 | #Constraints:      19715
2368.93/2374.90	c #Conflicts:     537000 | #Constraints:      20715
2368.93/2374.90	c #Conflicts:     538000 | #Constraints:      21715
2368.93/2374.90	c #Conflicts:     539000 | #Constraints:      22715
2368.93/2374.90	c #Conflicts:     540000 | #Constraints:      23715
2368.93/2374.90	c #Conflicts:     541000 | #Constraints:      24715
2368.93/2374.90	c #Conflicts:     542000 | #Constraints:      25715
2368.93/2374.90	c #Conflicts:     543000 | #Constraints:      26715
2368.93/2374.90	c #Conflicts:     544000 | #Constraints:      27715
2368.93/2374.90	c #Conflicts:     545000 | #Constraints:      28715
2368.93/2374.90	c #Conflicts:     546000 | #Constraints:      29715
2368.93/2374.90	c INPROCESSING
2368.93/2374.90	c GARBAGE COLLECT
2368.93/2374.90	c #Conflicts:     547000 | #Constraints:      16111
2368.93/2374.90	c #Conflicts:     548000 | #Constraints:      17111
2368.93/2374.90	c #Conflicts:     549000 | #Constraints:      18111
2368.93/2374.90	c #Conflicts:     550000 | #Constraints:      19111
2368.93/2374.90	c #Conflicts:     551000 | #Constraints:      20111
2368.93/2374.90	c #Conflicts:     552000 | #Constraints:      21111
2368.93/2374.90	c #Conflicts:     553000 | #Constraints:      22111
2368.93/2374.90	c #Conflicts:     554000 | #Constraints:      23111
2368.93/2374.90	c #Conflicts:     555000 | #Constraints:      24111
2368.93/2374.90	c #Conflicts:     556000 | #Constraints:      25111
2368.93/2374.90	c #Conflicts:     557000 | #Constraints:      26111
2368.93/2374.90	c #Conflicts:     558000 | #Constraints:      27111
2747.00/2754.06	c #Conflicts:     559000 | #Constraints:      28111
2747.00/2754.06	c #Conflicts:     560000 | #Constraints:      29111
2747.00/2754.06	c #Conflicts:     561000 | #Constraints:      30111
2747.00/2754.06	c INPROCESSING
2747.00/2754.06	c GARBAGE COLLECT
2747.00/2754.06	c #Conflicts:     562000 | #Constraints:      16313
2747.00/2754.06	c #Conflicts:     563000 | #Constraints:      17313
2747.00/2754.06	c #Conflicts:     564000 | #Constraints:      18313
2747.00/2754.06	c #Conflicts:     565000 | #Constraints:      19313
2747.00/2754.06	c #Conflicts:     566000 | #Constraints:      20313
2747.00/2754.06	c #Conflicts:     567000 | #Constraints:      21313
2747.00/2754.06	c #Conflicts:     568000 | #Constraints:      22313
2747.00/2754.06	c #Conflicts:     569000 | #Constraints:      23313
2747.00/2754.06	c #Conflicts:     570000 | #Constraints:      24313
2747.00/2754.06	c #Conflicts:     571000 | #Constraints:      25313
2747.00/2754.06	c #Conflicts:     572000 | #Constraints:      26313
2747.00/2754.06	c #Conflicts:     573000 | #Constraints:      27313
2747.00/2754.06	c #Conflicts:     574000 | #Constraints:      28313
2747.00/2754.06	c #Conflicts:     575000 | #Constraints:      29313
2747.00/2754.06	c #Conflicts:     576000 | #Constraints:      30313
2747.00/2754.06	c INPROCESSING
2747.00/2754.06	c GARBAGE COLLECT
2747.00/2754.06	c #Conflicts:     577000 | #Constraints:      16311
2747.00/2754.06	c #Conflicts:     578000 | #Constraints:      17311
2747.00/2754.06	c #Conflicts:     579000 | #Constraints:      18311
2747.00/2754.06	c #Conflicts:     580000 | #Constraints:      19311
2747.00/2754.06	c #Conflicts:     581000 | #Constraints:      20311
2747.00/2754.06	c #Conflicts:     582000 | #Constraints:      21311
2747.00/2754.06	c #Conflicts:     583000 | #Constraints:      22311
2747.00/2754.06	c #Conflicts:     584000 | #Constraints:      23311
2747.00/2754.06	c #Conflicts:     585000 | #Constraints:      24311
2747.00/2754.06	c #Conflicts:     586000 | #Constraints:      25311
2747.00/2754.06	c #Conflicts:     587000 | #Constraints:      26311
2747.00/2754.06	c #Conflicts:     588000 | #Constraints:      27311
2747.00/2754.06	c #Conflicts:     589000 | #Constraints:      28311
2747.00/2754.06	c #Conflicts:     590000 | #Constraints:      29311
2747.00/2754.06	c #Conflicts:     591000 | #Constraints:      30311
2747.00/2754.06	c INPROCESSING
2747.00/2754.06	c GARBAGE COLLECT
2747.00/2754.06	c #Conflicts:     592000 | #Constraints:      16109
2747.00/2754.06	c #Conflicts:     593000 | #Constraints:      17109
2747.00/2754.06	c #Conflicts:     594000 | #Constraints:      18109
2747.00/2754.06	c #Conflicts:     595000 | #Constraints:      19109
2747.00/2754.06	c #Conflicts:     596000 | #Constraints:      20109
2747.00/2754.06	c #Conflicts:     597000 | #Constraints:      21109
2747.00/2754.06	c #Conflicts:     598000 | #Constraints:      22109
2747.00/2754.06	c #Conflicts:     599000 | #Constraints:      23109
2747.00/2754.06	c #Conflicts:     600000 | #Constraints:      24109
2747.00/2754.06	c #Conflicts:     601000 | #Constraints:      25109
2747.00/2754.06	c #Conflicts:     602000 | #Constraints:      26109
2747.00/2754.06	c #Conflicts:     603000 | #Constraints:      27109
2747.00/2754.06	c #Conflicts:     604000 | #Constraints:      28109
2747.00/2754.06	c #Conflicts:     605000 | #Constraints:      29109
2747.00/2754.06	c #Conflicts:     606000 | #Constraints:      30109
2747.00/2754.06	c #Conflicts:     607000 | #Constraints:      31109
2747.00/2754.06	c INPROCESSING
2747.00/2754.06	c GARBAGE COLLECT
2747.00/2754.06	c #Conflicts:     608000 | #Constraints:      16712
2747.00/2754.06	c #Conflicts:     609000 | #Constraints:      17712
2747.00/2754.06	c #Conflicts:     610000 | #Constraints:      18712
2747.00/2754.06	c #Conflicts:     611000 | #Constraints:      19712
2747.00/2754.06	c #Conflicts:     612000 | #Constraints:      20712
2747.00/2754.06	c #Conflicts:     613000 | #Constraints:      21712
2747.00/2754.06	c #Conflicts:     614000 | #Constraints:      22712
2747.00/2754.06	c #Conflicts:     615000 | #Constraints:      23712
2747.00/2754.06	c #Conflicts:     616000 | #Constraints:      24712
2747.00/2754.06	c #Conflicts:     617000 | #Constraints:      25712
2747.00/2754.06	c #Conflicts:     618000 | #Constraints:      26712
2747.00/2754.06	c #Conflicts:     619000 | #Constraints:      27712
2747.00/2754.06	c #Conflicts:     620000 | #Constraints:      28712
2747.00/2754.06	c #Conflicts:     621000 | #Constraints:      29712
2747.00/2754.06	c #Conflicts:     622000 | #Constraints:      30712
2747.00/2754.06	c #Conflicts:     623000 | #Constraints:      31712
2747.00/2754.06	c INPROCESSING
2747.00/2754.06	c GARBAGE COLLECT
2747.00/2754.06	c #Conflicts:     624000 | #Constraints:      17117
2747.00/2754.06	c #Conflicts:     625000 | #Constraints:      18117
2747.00/2754.06	c #Conflicts:     626000 | #Constraints:      19117
2747.00/2754.06	c #Conflicts:     627000 | #Constraints:      20117
2747.00/2754.06	c #Conflicts:     628000 | #Constraints:      21117
2747.00/2754.06	c #Conflicts:     629000 | #Constraints:      22117
2747.00/2754.06	c #Conflicts:     630000 | #Constraints:      23117
2747.00/2754.06	c #Conflicts:     631000 | #Constraints:      24117
2747.00/2754.06	c #Conflicts:     632000 | #Constraints:      25117
2747.00/2754.06	c #Conflicts:     633000 | #Constraints:      26117
2747.00/2754.06	c #Conflicts:     634000 | #Constraints:      27117
3119.65/3127.72	c #Conflicts:     635000 | #Constraints:      28117
3119.65/3127.72	c #Conflicts:     636000 | #Constraints:      29117
3119.65/3127.72	c #Conflicts:     637000 | #Constraints:      30117
3119.65/3127.72	c #Conflicts:     638000 | #Constraints:      31117
3119.65/3127.72	c #Conflicts:     639000 | #Constraints:      32117
3119.65/3127.72	c INPROCESSING
3119.65/3127.72	c GARBAGE COLLECT
3119.65/3127.72	c #Conflicts:     640000 | #Constraints:      17314
3119.65/3127.72	c #Conflicts:     641000 | #Constraints:      18314
3119.65/3127.72	c #Conflicts:     642000 | #Constraints:      19314
3119.65/3127.72	c #Conflicts:     643000 | #Constraints:      20314
3119.65/3127.72	c #Conflicts:     644000 | #Constraints:      21314
3119.65/3127.72	c #Conflicts:     645000 | #Constraints:      22314
3119.65/3127.72	c #Conflicts:     646000 | #Constraints:      23314
3119.65/3127.72	c #Conflicts:     647000 | #Constraints:      24314
3119.65/3127.72	c #Conflicts:     648000 | #Constraints:      25314
3119.65/3127.72	c #Conflicts:     649000 | #Constraints:      26314
3119.65/3127.72	c #Conflicts:     650000 | #Constraints:      27314
3119.65/3127.72	c #Conflicts:     651000 | #Constraints:      28314
3119.65/3127.72	c #Conflicts:     652000 | #Constraints:      29314
3119.65/3127.72	c #Conflicts:     653000 | #Constraints:      30314
3119.65/3127.72	c #Conflicts:     654000 | #Constraints:      31314
3119.65/3127.72	c #Conflicts:     655000 | #Constraints:      32314
3119.65/3127.72	c INPROCESSING
3119.65/3127.72	c GARBAGE COLLECT
3119.65/3127.72	c #Conflicts:     656000 | #Constraints:      17316
3119.65/3127.72	c #Conflicts:     657000 | #Constraints:      18316
3119.65/3127.72	c #Conflicts:     658000 | #Constraints:      19316
3119.65/3127.72	c #Conflicts:     659000 | #Constraints:      20316
3119.65/3127.72	c #Conflicts:     660000 | #Constraints:      21316
3119.65/3127.72	c #Conflicts:     661000 | #Constraints:      22316
3119.65/3127.72	c #Conflicts:     662000 | #Constraints:      23316
3119.65/3127.72	c #Conflicts:     663000 | #Constraints:      24316
3119.65/3127.72	c #Conflicts:     664000 | #Constraints:      25316
3119.65/3127.72	c #Conflicts:     665000 | #Constraints:      26316
3119.65/3127.72	c #Conflicts:     666000 | #Constraints:      27316
3119.65/3127.72	c #Conflicts:     667000 | #Constraints:      28316
3119.65/3127.72	c #Conflicts:     668000 | #Constraints:      29316
3119.65/3127.72	c #Conflicts:     669000 | #Constraints:      30316
3119.65/3127.72	c #Conflicts:     670000 | #Constraints:      31316
3119.65/3127.72	c #Conflicts:     671000 | #Constraints:      32316
3119.65/3127.72	c INPROCESSING
3119.65/3127.72	c GARBAGE COLLECT
3119.65/3127.72	c #Conflicts:     672000 | #Constraints:      17115
3119.65/3127.72	c #Conflicts:     673000 | #Constraints:      18115
3119.65/3127.72	c #Conflicts:     674000 | #Constraints:      19115
3119.65/3127.72	c #Conflicts:     675000 | #Constraints:      20115
3119.65/3127.72	c #Conflicts:     676000 | #Constraints:      21115
3119.65/3127.72	c #Conflicts:     677000 | #Constraints:      22115
3119.65/3127.72	c #Conflicts:     678000 | #Constraints:      23115
3119.65/3127.72	c #Conflicts:     679000 | #Constraints:      24115
3119.65/3127.72	c #Conflicts:     680000 | #Constraints:      25115
3119.65/3127.72	c #Conflicts:     681000 | #Constraints:      26115
3119.65/3127.72	c #Conflicts:     682000 | #Constraints:      27115
3119.65/3127.72	c #Conflicts:     683000 | #Constraints:      28115
3119.65/3127.72	c #Conflicts:     684000 | #Constraints:      29115
3119.65/3127.72	c #Conflicts:     685000 | #Constraints:      30115
3119.65/3127.72	c #Conflicts:     686000 | #Constraints:      31115
3119.65/3127.72	c #Conflicts:     687000 | #Constraints:      32115
3119.65/3127.72	c #Conflicts:     688000 | #Constraints:      33115
3119.65/3127.72	c INPROCESSING
3119.65/3127.72	c GARBAGE COLLECT
3119.65/3127.72	c #Conflicts:     689000 | #Constraints:      17713
3119.65/3127.72	c #Conflicts:     690000 | #Constraints:      18713
3119.65/3127.72	c #Conflicts:     691000 | #Constraints:      19713
3119.65/3127.72	c #Conflicts:     692000 | #Constraints:      20713
3119.65/3127.72	c #Conflicts:     693000 | #Constraints:      21713
3119.65/3127.72	c #Conflicts:     694000 | #Constraints:      22713
3119.65/3127.72	c #Conflicts:     695000 | #Constraints:      23713
3119.65/3127.72	c #Conflicts:     696000 | #Constraints:      24713
3119.65/3127.72	c #Conflicts:     697000 | #Constraints:      25713
3119.65/3127.72	c #Conflicts:     698000 | #Constraints:      26713
3119.65/3127.72	c #Conflicts:     699000 | #Constraints:      27713
3119.65/3127.72	c #Conflicts:     700000 | #Constraints:      28713
3119.65/3127.72	c #Conflicts:     701000 | #Constraints:      29713
3119.65/3127.72	c #Conflicts:     702000 | #Constraints:      30713
3119.65/3127.72	c #Conflicts:     703000 | #Constraints:      31713
3119.65/3127.72	c #Conflicts:     704000 | #Constraints:      32713
3119.65/3127.72	c #Conflicts:     705000 | #Constraints:      33713
3119.65/3127.72	c INPROCESSING
3119.65/3127.72	c GARBAGE COLLECT
3119.65/3127.72	c #Conflicts:     706000 | #Constraints:      18112
3119.65/3127.72	c #Conflicts:     707000 | #Constraints:      19112
3119.65/3127.72	c #Conflicts:     708000 | #Constraints:      20112
3119.65/3127.72	c #Conflicts:     709000 | #Constraints:      21112
3516.52/3525.74	c #Conflicts:     710000 | #Constraints:      22112
3516.52/3525.74	c #Conflicts:     711000 | #Constraints:      23112
3516.52/3525.74	c #Conflicts:     712000 | #Constraints:      24112
3516.52/3525.74	c #Conflicts:     713000 | #Constraints:      25112
3516.52/3525.74	c #Conflicts:     714000 | #Constraints:      26112
3516.52/3525.74	c #Conflicts:     715000 | #Constraints:      27112
3516.52/3525.74	c #Conflicts:     716000 | #Constraints:      28112
3516.52/3525.74	c #Conflicts:     717000 | #Constraints:      29112
3516.52/3525.74	c #Conflicts:     718000 | #Constraints:      30112
3516.52/3525.74	c #Conflicts:     719000 | #Constraints:      31112
3516.52/3525.74	c #Conflicts:     720000 | #Constraints:      32112
3516.52/3525.74	c #Conflicts:     721000 | #Constraints:      33112
3516.52/3525.74	c #Conflicts:     722000 | #Constraints:      34112
3516.52/3525.74	c INPROCESSING
3516.52/3525.74	c GARBAGE COLLECT
3516.52/3525.74	c #Conflicts:     723000 | #Constraints:      18312
3516.52/3525.74	c #Conflicts:     724000 | #Constraints:      19312
3516.52/3525.74	c #Conflicts:     725000 | #Constraints:      20312
3516.52/3525.74	c #Conflicts:     726000 | #Constraints:      21312
3516.52/3525.74	c #Conflicts:     727000 | #Constraints:      22312
3516.52/3525.74	c #Conflicts:     728000 | #Constraints:      23312
3516.52/3525.74	c #Conflicts:     729000 | #Constraints:      24312
3516.52/3525.74	c #Conflicts:     730000 | #Constraints:      25312
3516.52/3525.74	c #Conflicts:     731000 | #Constraints:      26312
3516.52/3525.74	c #Conflicts:     732000 | #Constraints:      27312
3516.52/3525.74	c #Conflicts:     733000 | #Constraints:      28312
3516.52/3525.74	c #Conflicts:     734000 | #Constraints:      29312
3516.52/3525.74	c #Conflicts:     735000 | #Constraints:      30312
3516.52/3525.74	c #Conflicts:     736000 | #Constraints:      31312
3516.52/3525.74	c #Conflicts:     737000 | #Constraints:      32312
3516.52/3525.74	c #Conflicts:     738000 | #Constraints:      33312
3516.52/3525.74	c #Conflicts:     739000 | #Constraints:      34312
3516.52/3525.74	c INPROCESSING
3516.52/3525.74	c GARBAGE COLLECT
3516.52/3525.74	c #Conflicts:     740000 | #Constraints:      18312
3516.52/3525.74	c #Conflicts:     741000 | #Constraints:      19312
3516.52/3525.74	c #Conflicts:     742000 | #Constraints:      20312
3516.52/3525.74	c #Conflicts:     743000 | #Constraints:      21312
3516.52/3525.74	c #Conflicts:     744000 | #Constraints:      22312
3516.52/3525.74	c #Conflicts:     745000 | #Constraints:      23312
3516.52/3525.74	c #Conflicts:     746000 | #Constraints:      24312
3516.52/3525.74	c #Conflicts:     747000 | #Constraints:      25312
3516.52/3525.74	c #Conflicts:     748000 | #Constraints:      26312
3516.52/3525.74	c #Conflicts:     749000 | #Constraints:      27312
3516.52/3525.74	c #Conflicts:     750000 | #Constraints:      28312
3516.52/3525.74	c #Conflicts:     751000 | #Constraints:      29312
3516.52/3525.74	c #Conflicts:     752000 | #Constraints:      30312
3516.52/3525.74	c #Conflicts:     753000 | #Constraints:      31312
3516.52/3525.74	c #Conflicts:     754000 | #Constraints:      32312
3516.52/3525.74	c #Conflicts:     755000 | #Constraints:      33312
3516.52/3525.74	c #Conflicts:     756000 | #Constraints:      34312
3516.52/3525.74	c INPROCESSING
3516.52/3525.74	c GARBAGE COLLECT
3516.52/3525.74	c #Conflicts:     757000 | #Constraints:      18109
3516.52/3525.74	c #Conflicts:     758000 | #Constraints:      19109
3516.52/3525.74	c #Conflicts:     759000 | #Constraints:      20109
3516.52/3525.74	c #Conflicts:     760000 | #Constraints:      21109
3516.52/3525.74	c #Conflicts:     761000 | #Constraints:      22109
3516.52/3525.74	c #Conflicts:     762000 | #Constraints:      23109
3516.52/3525.74	c #Conflicts:     763000 | #Constraints:      24109
3516.52/3525.74	c #Conflicts:     764000 | #Constraints:      25109
3516.52/3525.74	c #Conflicts:     765000 | #Constraints:      26109
3516.52/3525.74	c #Conflicts:     766000 | #Constraints:      27109
3516.52/3525.74	c #Conflicts:     767000 | #Constraints:      28109
3516.52/3525.74	c #Conflicts:     768000 | #Constraints:      29109
3516.52/3525.74	c #Conflicts:     769000 | #Constraints:      30109
3516.52/3525.74	c #Conflicts:     770000 | #Constraints:      31109
3516.52/3525.74	c #Conflicts:     771000 | #Constraints:      32109
3516.52/3525.74	c #Conflicts:     772000 | #Constraints:      33109
3516.52/3525.74	c #Conflicts:     773000 | #Constraints:      34109
3516.52/3525.74	c #Conflicts:     774000 | #Constraints:      35109
3516.52/3525.74	c INPROCESSING
3516.52/3525.74	c GARBAGE COLLECT
3516.52/3525.74	c #Conflicts:     775000 | #Constraints:      18706
3516.52/3525.74	c #Conflicts:     776000 | #Constraints:      19706
3516.52/3525.74	c #Conflicts:     777000 | #Constraints:      20706
3516.52/3525.74	c #Conflicts:     778000 | #Constraints:      21706
3516.52/3525.74	c #Conflicts:     779000 | #Constraints:      22706
3516.52/3525.74	c #Conflicts:     780000 | #Constraints:      23706
3516.52/3525.74	c #Conflicts:     781000 | #Constraints:      24706
3516.52/3525.74	c #Conflicts:     782000 | #Constraints:      25706
3516.52/3525.74	c #Conflicts:     783000 | #Constraints:      26706
3516.52/3525.74	c #Conflicts:     784000 | #Constraints:      27706
3516.52/3525.74	c #Conflicts:     785000 | #Constraints:      28706
3600.07/3609.50	c #Conflicts:     786000 | #Constraints:      29706
3600.07/3609.50	c #Conflicts:     787000 | #Constraints:      30706
3600.07/3609.50	c #Conflicts:     788000 | #Constraints:      31706
3600.07/3609.50	c #Conflicts:     789000 | #Constraints:      32706
3600.07/3609.50	c #Conflicts:     790000 | #Constraints:      33706
3600.07/3609.50	c #Conflicts:     791000 | #Constraints:      34706
3600.07/3609.50	c #Conflicts:     792000 | #Constraints:      35706
3600.07/3609.50	c INPROCESSING
3600.07/3609.50	c GARBAGE COLLECT
3600.07/3609.50	c #Conflicts:     793000 | #Constraints:      19111
3600.07/3609.50	c #Conflicts:     794000 | #Constraints:      20111
3600.07/3609.50	c #Conflicts:     795000 | #Constraints:      21111
3600.07/3609.50	c #Conflicts:     796000 | #Constraints:      22111
3600.07/3609.50	c #Conflicts:     797000 | #Constraints:      23111
3600.07/3609.50	c #Conflicts:     798000 | #Constraints:      24111
3600.07/3609.50	c cpu time 3562.26 s
3600.07/3609.50	c deterministic time 8158984 8.16e+06
3600.07/3609.50	c optimization time 3560.87 s
3600.07/3609.50	c total solve time 0.948088 s
3600.07/3609.50	c core-guided solve time 0 s
3600.07/3609.50	c propagation time 0.579351 s
3600.07/3609.50	c conflict analysis time 0.069569 s
3600.07/3609.50	c propagations 1596872
3600.07/3609.50	c resolve steps 0
3600.07/3609.50	c decisions 1574080
3600.07/3609.50	c conflicts 10
3600.07/3609.50	c restarts 1
3600.07/3609.50	c inprocessing phases 0
3600.07/3609.50	c garbage collections 0 ,( -nan )
3600.07/3609.50	c input clauses 51334 ,( 99.75 )
3600.07/3609.50	c input cardinalities 0 ,( 0.00 )
3600.07/3609.50	c input general constraints 129 ,( 0.25 )
3600.07/3609.50	c input average constraint length 32.63
3600.07/3609.50	c input average constraint degree 52779.60
3600.07/3609.50	c learned clauses 87 ,( 100.00 )
3600.07/3609.50	c learned cardinalities 0 ,( 0.00 )
3600.07/3609.50	c learned general constraints 0 ,( 0.00 )
3600.07/3609.50	c learned average constraint length 13.49
3600.07/3609.50	c learned average constraint degree 1.00
3600.07/3609.50	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3609.50	c counting CF 32, 64, 128, Arb: 130 , 0 , 0 , 0
3600.07/3609.50	c watched   constraints 0 ,( 0.00 ) 
3600.07/3609.50	c counting  constraints 129 ,( 100.00 ) 
3600.07/3609.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 804989 , 0 , 24305 ,( 0 , 24305 )
3600.07/3609.50	c gcd simplifications 0
3600.07/3609.50	c detected cardinalities 0
3600.07/3609.50	c weakened non-implied lits 0
3600.07/3609.50	c weakened non-implying lits 0
3600.07/3609.50	c original variables 24250
3600.07/3609.50	c clausal propagations 795340
3600.07/3609.50	c cardinality propagations 0
3600.07/3609.50	c watched propagations 0
3600.07/3609.50	c counting propagations 3460
3600.07/3609.50	c watch lookups 870879
3600.07/3609.50	c watch backjump lookups 0
3600.07/3609.50	c watch checks 140297
3600.07/3609.50	c propagation checks 799000
3600.07/3609.50	c constraint additions 3896
3600.07/3609.50	c trail pops 3170959
3600.07/3609.50	c formula constraints 51198
3600.07/3609.50	c learned constraints 87
3600.07/3609.50	c bound constraints 0
3600.07/3609.50	c core-guided constraints 0
3600.07/3609.50	c encountered formula constraints 10
3600.07/3609.50	c encountered learned constraints 0
3600.07/3609.50	c encountered bound constraints 0
3600.07/3609.50	c encountered core-guided constraints 0
3600.07/3609.50	c LP total time 0.477269 s
3600.07/3609.50	c LP solve time 0.43 s
3600.07/3609.50	c LP constraints added 51198
3600.07/3609.50	c LP constraints removed 0
3600.07/3609.50	c LP pivots internal 2000
3600.07/3609.50	c LP pivots root 1000
3600.07/3609.50	c LP calls 2
3600.07/3609.50	c LP optimalities 0
3600.07/3609.50	c LP no pivot count 0
3600.07/3609.50	c LP infeasibilities 0
3600.07/3609.50	c LP valid Farkas constraints 0
3600.07/3609.50	c LP learned Farkas constraints 0
3600.07/3609.50	c LP basis resets 0
3600.07/3609.50	c LP cycling count 0
3600.07/3609.50	c LP singular count 0
3600.07/3609.50	c LP no primal count 0
3600.07/3609.50	c LP no farkas count 0
3600.07/3609.50	c LP other issue count 0
3600.07/3609.50	c LP Gomory cuts 0
3600.07/3609.50	c LP learned cuts 0
3600.07/3609.50	c LP deleted cuts 0
3600.07/3609.50	c LP encountered Gomory constraints 0
3600.07/3609.50	c LP encountered Farkas constraints 0
3600.07/3609.50	c LP encountered learned Farkas constraints 0
3600.07/3609.50	c CG auxiliary variables introduced 161
3600.07/3609.50	c CG solutions found 0
3600.07/3609.50	c CG cores constructed 87
3600.07/3609.50	c CG core cardinality constraints returned 0
3600.07/3609.50	c CG unit cores 0
3600.07/3609.50	c CG single cores 0
3600.07/3609.50	c CG blocks removed during cardinality reduction 0
3600.07/3609.50	c CG first core best 0
3600.07/3609.50	c CG decision core best 0
3600.07/3609.50	c CG core reduction tie 0
3600.07/3609.50	c CG core degree average 0.00
3600.07/3609.50	c CG core slack average 0.00
3600.07/3609.50	c CG core upper bound improvements 0
3600.07/3609.50	c STR number of successful calls 0
3600.07/3609.50	c STR number of unsuccessful calls 0
3600.07/3609.50	c STR number of inconclusive calls 0
3600.07/3609.50	c STR number of successful attempts 0
3600.07/3609.50	c STR number of unsuccessful attempts 0
3600.07/3609.50	c STR number of inconclusive attempts 0
3600.07/3609.50	c STR average degree increase per successful call inf
3600.07/3609.50	c STR average degree increase per successful attempt inf
3600.07/3609.50	c STR total number of conflicts for successful attempts 0
3600.07/3609.50	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.50	c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.50	c STR average number of conflicts per successful attempt inf
3600.07/3609.50	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.50	c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.50	c AVG.sumWPerc 99.93 
3600.07/3609.50	c bigint constraints 0 
3600.07/3609.50	s UNKNOWN
3600.07/3609.50	c Program interrupted by user.

ERROR: no interpretation found !

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (59337 MiB free)
  memory of node 1: 64465 MiB (63817 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=56664, runsolver pid=56652

[startup+0.100068 s]*
/proc/loadavg: 3.54 4.09 4.10 5/255 56666
/proc/meminfo: memFree=126103116/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=60428 memory=15624 CPUtime=0.08 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 2152 0 0 0 5 3 0 0 20 0 1 0 55357313 61878272 3906 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 15107 3906 1952 1147 0 2534 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64620 KiB
Current children cumulated memory: 18696 KiB

[startup+0.213928 s]*
/proc/loadavg: 3.54 4.09 4.10 5/252 56666
/proc/meminfo: memFree=126100848/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=61464 memory=16648 CPUtime=0.19 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 2406 0 0 0 13 6 0 0 20 0 1 0 55357313 62939136 4162 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 15366 4162 1952 1147 0 2793 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65656 KiB
Current children cumulated memory: 19720 KiB

[startup+0.3137 s]*
/proc/loadavg: 3.54 4.09 4.10 4/253 56674
/proc/meminfo: memFree=126103364/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=62572 memory=17544 CPUtime=0.29 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 2643 0 0 0 19 10 0 0 20 0 1 0 55357313 64073728 4386 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 15643 4386 1952 1147 0 3070 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66764 KiB
Current children cumulated memory: 20616 KiB

[startup+0.700401 s]
/proc/loadavg: 3.54 4.09 4.10 4/250 56674
/proc/meminfo: memFree=126083812/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=115220 memory=60084 CPUtime=0.67 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 8774 0 0 0 48 19 0 0 20 0 1 0 55357313 117985280 15021 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 28805 15021 2368 1147 0 16232 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 119412 KiB
Current children cumulated memory: 63156 KiB

[startup+1.50033 s]
/proc/loadavg: 3.54 4.09 4.10 4/250 56674
/proc/meminfo: memFree=126027504/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=149456 memory=91436 CPUtime=1.47 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 15537 0 0 0 110 37 0 0 20 0 1 0 55357313 153042944 22859 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 37364 22859 2400 1147 0 24791 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 153648 KiB
Current children cumulated memory: 94508 KiB

[startup+3.11343 s]
/proc/loadavg: 3.58 4.09 4.10 5/255 56712
/proc/meminfo: memFree=125993828/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=165536 memory=109096 CPUtime=3.07 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 18369 0 0 0 232 75 0 0 20 0 1 0 55357313 169508864 27274 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 41384 27274 2432 1147 0 28811 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 169728 KiB
Current children cumulated memory: 112168 KiB

[startup+6.30037 s]
/proc/loadavg: 3.58 4.09 4.10 5/255 56712
/proc/meminfo: memFree=125934016/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=239936 memory=176680 CPUtime=6.25 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 28662 0 0 0 507 118 0 0 20 0 1 0 55357313 245694464 44170 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 59984 44170 2432 1147 0 47411 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 244128 KiB
Current children cumulated memory: 179752 KiB

[startup+12.7003 s]
/proc/loadavg: 3.61 4.08 4.10 5/255 56758
/proc/meminfo: memFree=125782240/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=318352 memory=246860 CPUtime=12.64 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 42155 0 0 0 1132 132 0 0 20 0 1 0 55357313 325992448 61715 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 79588 61715 2432 1147 0 67015 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 322544 KiB
Current children cumulated memory: 249932 KiB

[startup+25.5004 s]
/proc/loadavg: 3.77 4.10 4.10 5/255 56759
/proc/meminfo: memFree=125670900/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=383660 memory=305180 CPUtime=25.41 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 52117 0 0 0 2333 208 0 0 20 0 1 0 55357313 392867840 76295 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 95915 76295 2432 1147 0 83342 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 387852 KiB
Current children cumulated memory: 308252 KiB

[startup+51.1136 s]
/proc/loadavg: 3.85 4.09 4.09 5/255 56759
/proc/meminfo: memFree=125407740/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=559832 memory=429376 CPUtime=50.96 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 77051 0 0 0 4807 289 0 0 20 0 1 0 55357313 573267968 107344 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 139958 107344 2432 1147 0 127385 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 564024 KiB
Current children cumulated memory: 432448 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 4.09 4.09 5/255 56806
/proc/meminfo: memFree=125126784/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=629652 memory=551844 CPUtime=102.02 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 96841 0 0 0 9802 400 0 0 20 0 1 0 55357313 644763648 137961 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 157413 137961 2432 1147 0 144840 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 633844 KiB
Current children cumulated memory: 554916 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 56808
/proc/meminfo: memFree=124876288/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=809024 memory=624976 CPUtime=161.87 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 112834 0 0 0 15639 548 0 0 20 0 1 0 55357313 828440576 156244 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 202256 156244 2432 1147 0 189683 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 813216 KiB
Current children cumulated memory: 628048 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 56810
/proc/meminfo: memFree=124691004/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=919172 memory=743344 CPUtime=221.73 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 134771 0 0 0 21554 619 0 0 20 0 1 0 55357313 941232128 185836 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 229793 185836 2432 1147 0 217220 0
Current children cumulated CPU time: 221.73 s

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

/proc/56666/statm: 723743 560699 2432 1147 0 711170 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 2899164 KiB
Current children cumulated memory: 2245868 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 57178
/proc/meminfo: memFree=114976240/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=2894972 memory=2243564 CPUtime=3154.15 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 368775 0 0 0 311872 3543 0 0 20 0 1 0 55357313 2964451328 560891 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 723743 560891 2432 1147 0 711170 0
Current children cumulated CPU time: 3154.15 s
Current children cumulated vsize: 2899164 KiB
Current children cumulated memory: 2246636 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/255 57180
/proc/meminfo: memFree=114688944/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=3210916 memory=2511760 CPUtime=3213.98 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 421153 0 0 0 317830 3568 0 0 20 0 1 0 55357313 3287977984 627940 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 802729 627940 2432 1147 0 790156 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 3215108 KiB
Current children cumulated memory: 2514832 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 57196
/proc/meminfo: memFree=114561448/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=3210916 memory=2511760 CPUtime=3273.81 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 421156 0 0 0 323768 3613 0 0 20 0 1 0 55357313 3287977984 627940 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 802729 627940 2432 1147 0 790156 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 3215108 KiB
Current children cumulated memory: 2514832 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 57198
/proc/meminfo: memFree=114519044/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=3211176 memory=2512016 CPUtime=3333.64 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 421216 0 0 0 329711 3653 0 0 20 0 1 0 55357313 3288244224 628004 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 802794 628004 2432 1147 0 790221 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 3215368 KiB
Current children cumulated memory: 2515088 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 57200
/proc/meminfo: memFree=114276036/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=3211176 memory=2512016 CPUtime=3393.46 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 421696 0 0 0 335656 3690 0 0 20 0 1 0 55357313 3288244224 628004 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 802794 628004 2432 1147 0 790221 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 3215368 KiB
Current children cumulated memory: 2515088 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/256 57205
/proc/meminfo: memFree=114108796/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=3211176 memory=2512016 CPUtime=3453.29 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 421778 0 0 0 341609 3720 0 0 20 0 1 0 55357313 3288244224 628004 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 802794 628004 2432 1147 0 790221 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 3215368 KiB
Current children cumulated memory: 2515088 KiB

[startup+3522.3 s]
/proc/loadavg: 4.81 4.33 4.17 5/257 57208
/proc/meminfo: memFree=114098536/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=3211176 memory=2512016 CPUtime=3513.12 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 421787 0 0 0 347571 3741 0 0 20 0 1 0 55357313 3288244224 628004 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 802794 628004 2432 1147 0 790221 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 3215368 KiB
Current children cumulated memory: 2515088 KiB

[startup+3582.3 s]
/proc/loadavg: 4.39 4.30 4.17 5/257 57210
/proc/meminfo: memFree=114029328/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=3212208 memory=2556104 CPUtime=3572.96 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 429641 0 0 0 353528 3768 0 0 20 0 1 0 55357313 3289300992 639026 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 803052 639026 2432 1147 0 790479 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 3216400 KiB
Current children cumulated memory: 2559176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.30 4.28 4.17 5/255 57210
/proc/meminfo: memFree=113958304/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=3212208 memory=2556104 CPUtime=3600.07 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 429762 0 0 0 356225 3782 0 0 20 0 1 0 55357313 3289300992 639026 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 803052 639026 2432 1147 0 790479 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3216400 KiB
Current children cumulated memory: 2559176 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001776 s, system=0.003598 s

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

# cumulated CPU time of all completed processes:  user=3562.27 s, system=37.8946 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+3609.5 s]
/proc/loadavg: 4.30 4.28 4.17 5/255 57210
/proc/meminfo: memFree=113958304/131382116 swapFree=33010160/33010684
[pid=56664] ppid=56652 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/56664/stat : 56664 (run-opt.sh) S 56652 56664 56593 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 55357312 4292608 768 18446744073709551615 94006879080448 94006879974981 140724322884272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94006880214032 94006880261776 94006898315264 140724322888045 140724322888168 140724322888168 140724322893770 0
/proc/56664/statm: 1048 768 704 219 0 110 0
[pid=56666] ppid=56664 vsize=3212208 memory=2556104 CPUtime=3600.07 cores=4,6
/proc/56666/stat : 56666 (roundingsat) R 56664 56664 56593 0 -1 4194304 429762 0 0 0 356225 3782 0 0 20 0 1 0 55357313 3289300992 639026 18446744073709551615 4227072 8923433 140728594074592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13606912 140728594082210 140728594082344 140728594082344 140728594087914 0
/proc/56666/statm: 803052 639026 2432 1147 0 790479 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3216400 KiB
Current children cumulated memory: 2559176 KiB

Child status: 2

Real time (s): 3609.57
CPU time (s): 3600.16
CPU user time (s): 3562.27
CPU system time (s): 37.8946
CPU usage (%): 99.7393
Max. virtual memory (cumulated for all children) (KiB): 3216400
Max. memory (cumulated for all children) (KiB): 2559176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.27
system time used= 37.8946
maximum resident set size= 2556360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245
involuntary context switches= 2679


# summary of solver processes directly reported to runsolver:
#   pid: 56664,56666
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3562.27
#   total CPU system time (s): 37.8946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1826 second user time and 37.9627 second system time

The end

Begin job on nodeC004 at 2025-07-01 21:06:21
IDJOB=4496916
IDBENCH=148149
IDSOLVER=3350
FILE ID=nodeC004/4496916-1751396781
RUNJOBID= nodeC004-1751396781-56604
SLURM_JOB_ID= 9598272
Free space on /tmp= 433044 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496916-1751396781/watcher-4496916-1751396781 -o /tmp/evaluation-result-4496916-1751396781/solver-4496916-1751396781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56604 --watchdog 3760  run-opt.sh HOME/instance-4496916-1751396781.opb

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

MD5SUM BENCH= 3ad5724dc0c956b4efc5b1550fba1884
RANDOM SEED=1472381049

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126114272 kB
MemAvailable:   129893668 kB
Buffers:            2720 kB
Cached:          4530132 kB
SwapCached:           20 kB
Active:           395752 kB
Inactive:        4204372 kB
Active(anon):      79044 kB
Inactive(anon):     6188 kB
Active(file):     316708 kB
Inactive(file):  4198184 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31040 kB
Writeback:            12 kB
AnonPages:         70340 kB
Mapped:           102700 kB
Shmem:             17956 kB
KReclaimable:     208264 kB
Slab:             293708 kB
SReclaimable:     208264 kB
SUnreclaim:        85444 kB
KernelStack:        3872 kB
PageTables:         2888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     335556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC004 at 2025-07-01 22:06:31