0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 4585 #constraints 168
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -556091 @ 0.006046
0.00/0.01	c stratification level: 250
0.00/0.01	c bounds -756 >= -556091 @ 0.007391
0.00/0.01	c stratification level: 248
0.00/0.01	c bounds -1004 >= -556091 @ 0.009689
0.00/0.01	c stratification level: 247
0.00/0.02	c bounds -1004 >= -555350 @ 0.010303
0.00/0.02	c finalizing WCE round: reformulating cores
0.00/0.03	c bounds -1115 >= -555350 @ 0.013273
0.00/0.03	c bounds -1191 >= -555350 @ 0.015342
0.00/0.03	c stratification level: 245
0.00/0.03	c bounds -1433 >= -555105 @ 0.017639
0.00/0.03	c stratification level: 244
0.00/0.03	c bounds -1579 >= -555105 @ 0.019411
0.00/0.03	c stratification level: 240
0.00/0.04	c bounds -1707 >= -553900 @ 0.020238
0.00/0.04	c stratification level: 239
0.00/0.04	c bounds -1814 >= -553661 @ 0.022166
0.00/0.04	c stratification level: 238
0.00/0.05	c bounds -1814 >= -553185 @ 0.023195
0.00/0.05	c finalizing WCE round: reformulating cores
0.00/0.06	c bounds -2033 >= -553185 @ 0.032652
0.00/0.06	c bounds -2116 >= -553185 @ 0.041764
0.00/0.06	c stratification level: 237
0.00/0.06	c bounds -2494 >= -552946 @ 0.043595
0.00/0.06	c stratification level: 236
0.00/0.07	c bounds -2629 >= -552944 @ 0.044554
0.00/0.07	c stratification level: 235
0.00/0.07	c bounds -2629 >= -552237 @ 0.045565
0.00/0.07	c finalizing WCE round: reformulating cores
0.00/0.08	c bounds -2673 >= -552237 @ 0.050598
0.00/0.08	c bounds -2789 >= -552237 @ 0.053617
0.00/0.08	c stratification level: 234
0.00/0.09	c bounds -2789 >= -551769 @ 0.054704
0.00/0.09	c finalizing WCE round: reformulating cores
0.00/0.09	c bounds -3032 >= -551769 @ 0.059285
0.00/0.09	c bounds -3133 >= -551769 @ 0.06023
0.00/0.09	c stratification level: 233
0.09/0.10	c bounds -3191 >= -551070 @ 0.065288
0.09/0.10	c stratification level: 232
0.09/0.11	c bounds -3223 >= -550606 @ 0.072271
0.09/0.11	c stratification level: 231
0.09/0.11	c bounds -3453 >= -549682 @ 0.074351
0.09/0.11	c stratification level: 230
0.09/0.11	c bounds -3522 >= -548992 @ 0.075517
0.09/0.11	c stratification level: 229
0.09/0.12	c bounds -3522 >= -548074 @ 0.076813
0.09/0.12	c finalizing WCE round: reformulating cores
0.09/0.14	c bounds -3572 >= -548074 @ 0.079778
0.09/0.14	c bounds -3581 >= -547847 @ 0.085993
0.09/0.14	c bounds -3591 >= -547847 @ 0.095801
0.09/0.14	c stratification level: 228
0.09/0.14	c bounds -3591 >= -547388 @ 0.096786
0.09/0.14	c finalizing WCE round: reformulating cores
0.09/0.15	c bounds -3644 >= -547388 @ 0.099449
0.09/0.15	c bounds -3646 >= -547388 @ 0.102179
0.09/0.15	c stratification level: 227
0.09/0.15	c bounds -3662 >= -546254 @ 0.106266
0.09/0.15	c stratification level: 226
0.09/0.17	c bounds -3685 >= -545573 @ 0.12566
0.09/0.17	c stratification level: 225
0.09/0.18	c bounds -3994 >= -544675 @ 0.126988
0.09/0.18	c stratification level: 224
0.09/0.18	c bounds -4027 >= -544003 @ 0.13097
0.09/0.18	c stratification level: 223
0.09/0.19	c bounds -4091 >= -543780 @ 0.13286
0.09/0.19	c stratification level: 222
0.09/0.20	c bounds -4100 >= -543114 @ 0.141748
0.09/0.20	c stratification level: 221
0.09/0.20	c bounds -4139 >= -541564 @ 0.14493
0.09/0.20	c stratification level: 220
0.19/0.21	c bounds -4215 >= -540464 @ 0.145914
0.19/0.21	c stratification level: 219
0.19/0.21	c bounds -4218 >= -539369 @ 0.148308
0.19/0.21	c stratification level: 218
0.19/0.21	c bounds -4345 >= -538494 @ 0.150277
0.19/0.21	c stratification level: 217
0.19/0.21	c bounds -4345 >= -537192 @ 0.15151
0.19/0.21	c finalizing WCE round: reformulating cores
0.19/0.22	c bounds -4418 >= -537192 @ 0.156788
0.19/0.22	c bounds -4456 >= -537192 @ 0.158357
0.19/0.22	c stratification level: 216
0.19/0.22	c bounds -4508 >= -535680 @ 0.161288
0.19/0.22	c stratification level: 215
0.19/0.23	c bounds -4508 >= -535034 @ 0.16229
0.19/0.23	c finalizing WCE round: reformulating cores
0.19/0.24	c bounds -4611 >= -535034 @ 0.168511
0.19/0.24	c bounds -4682 >= -535034 @ 0.171133
0.19/0.24	c stratification level: 214
0.19/0.24	c bounds -4835 >= -533747 @ 0.174715
0.19/0.24	c stratification level: 213
0.19/0.25	c bounds -4904 >= -532043 @ 0.179587
0.19/0.25	c stratification level: 212
0.19/0.25	c bounds -4949 >= -530347 @ 0.183941
0.19/0.25	c stratification level: 211
0.19/0.26	c bounds -5179 >= -529292 @ 0.186826
0.19/0.26	c stratification level: 210
0.19/0.27	c bounds -5197 >= -527822 @ 0.195595
0.19/0.27	c stratification level: 209
0.19/0.27	c bounds -5281 >= -525941 @ 0.200189
0.19/0.27	c stratification level: 208
0.19/0.28	c bounds -5366 >= -524901 @ 0.20215
0.19/0.28	c stratification level: 207
0.19/0.28	c bounds -5386 >= -523864 @ 0.205001
0.19/0.28	c stratification level: 206
0.19/0.29	c bounds -5386 >= -522216 @ 0.207963
0.19/0.29	c finalizing WCE round: reformulating cores
0.19/0.29	c bounds -5429 >= -522216 @ 0.213746
0.19/0.29	c bounds -5433 >= -522216 @ 0.21443
0.19/0.29	c stratification level: 205
0.19/0.29	c bounds -5470 >= -520986 @ 0.216948
0.19/0.29	c stratification level: 204
0.19/0.30	c bounds -5470 >= -519148 @ 0.218932
0.19/0.30	c finalizing WCE round: reformulating cores
0.29/0.31	c bounds -5512 >= -519148 @ 0.229169
0.29/0.31	c bounds -5579 >= -519148 @ 0.231591
0.29/0.31	c stratification level: 203
0.29/0.35	c bounds -5579 >= -517521 @ 0.23197
0.29/0.35	c finalizing WCE round: reformulating cores
0.29/0.36	c bounds -5628 >= -517521 @ 0.277225
0.29/0.36	c bounds -5705 >= -517521 @ 0.28011
0.29/0.36	c stratification level: 202
0.29/0.38	c bounds -5711 >= -516107 @ 0.289205
0.29/0.38	c stratification level: 201
0.88/0.97	c bounds -5711 >= -514097 @ 0.292003
0.88/0.97	c finalizing WCE round: reformulating cores
0.88/0.98	c bounds -5751 >= -514097 @ 0.869476
0.88/0.98	c bounds -5758 >= -514097 @ 0.871242
0.88/0.98	c stratification level: 200
0.99/1.10	c bounds -5771 >= -513096 @ 0.987957
0.99/1.10	c stratification level: 199
1.29/1.39	c bounds -5777 >= -511301 @ 1.27675
1.29/1.39	c stratification level: 198
1.38/1.41	c bounds -5864 >= -509913 @ 1.28787
1.38/1.41	c stratification level: 197
1.78/1.89	c #Conflicts:       1000 | #Constraints:       1491
1.78/1.89	c bounds -5865 >= -507941 @ 1.76653
1.78/1.89	c stratification level: 196
1.88/1.92	c bounds -5865 >= -504999 @ 1.76933
1.88/1.92	c finalizing WCE round: reformulating cores
1.88/1.93	c bounds -5868 >= -504999 @ 1.79799
1.88/1.93	c bounds -5910 >= -504999 @ 1.80237
1.88/1.93	c stratification level: 195
1.88/1.95	c bounds -5945 >= -502852 @ 1.8133
1.88/1.95	c stratification level: 194
1.99/2.01	c bounds -5957 >= -500524 @ 1.86977
1.99/2.01	c stratification level: 193
2.28/2.37	c bounds -5957 >= -497817 @ 1.87282
2.28/2.37	c finalizing WCE round: reformulating cores
3.28/3.36	c bounds -6009 >= -497817 @ 3.15021
3.28/3.36	c bounds -6023 >= -497817 @ 3.19271
3.28/3.36	c stratification level: 192
3.67/3.74	c bounds -6030 >= -495513 @ 3.56552
3.67/3.74	c stratification level: 191
3.88/3.97	c bounds -6045 >= -493412 @ 3.78766
3.88/3.97	c stratification level: 190
4.47/4.54	c #Conflicts:       2000 | #Constraints:       2574
4.47/4.54	c INPROCESSING
4.47/4.54	c GARBAGE COLLECT
4.47/4.54	c bounds -6074 >= -490560 @ 4.35691
4.47/4.54	c stratification level: 189
4.78/4.88	c bounds -6078 >= -489426 @ 4.6872
4.78/4.88	c stratification level: 188
4.98/5.09	c bounds -6078 >= -486974 @ 4.69518
4.98/5.09	c finalizing WCE round: reformulating cores
5.37/5.49	c bounds -6123 >= -486974 @ 5.0183
5.37/5.49	c bounds -6128 >= -486974 @ 5.28304
5.37/5.49	c stratification level: 187
6.17/6.27	c bounds -6136 >= -484730 @ 6.0511
6.17/6.27	c stratification level: 186
6.77/6.86	c #Conflicts:       3000 | #Constraints:       2543
6.77/6.86	c bounds -6160 >= -481375 @ 6.63578
6.77/6.86	c stratification level: 185
6.87/6.94	c bounds -6160 >= -479150 @ 6.64049
6.87/6.94	c finalizing WCE round: reformulating cores
9.26/9.33	c #Conflicts:       4000 | #Constraints:       3559
9.26/9.33	c bounds -6176 >= -479150 @ 8.63533
9.26/9.33	c bounds -6186 >= -479150 @ 9.07342
9.26/9.33	c stratification level: 184
10.16/10.22	c bounds -6186 >= -477861 @ 9.08023
10.16/10.22	c INPROCESSING
10.16/10.22	c GARBAGE COLLECT
10.16/10.22	c finalizing WCE round: reformulating cores
12.85/13.00	c #Conflicts:       5000 | #Constraints:       2966
12.85/13.00	c bounds -6191 >= -477861 @ 11.4941
12.85/13.00	c bounds -6197 >= -477861 @ 12.6989
12.85/13.00	c stratification level: 183
13.26/13.32	c bounds -6208 >= -474201 @ 13.0207
13.26/13.32	c stratification level: 182
13.75/13.80	c bounds -6214 >= -471835 @ 13.4951
13.75/13.80	c stratification level: 181
13.75/13.84	c bounds -6229 >= -469301 @ 13.5334
13.75/13.84	c stratification level: 180
14.95/15.01	c bounds -6229 >= -466601 @ 13.5433
14.95/15.01	c #Conflicts:       6000 | #Constraints:       4009
14.95/15.01	c finalizing WCE round: reformulating cores
14.95/15.06	c bounds -6255 >= -466601 @ 14.724
14.95/15.06	c bounds -6280 >= -466601 @ 14.735
14.95/15.06	c stratification level: 179
15.75/15.83	c bounds -6280 >= -464272 @ 14.7468
15.75/15.83	c finalizing WCE round: reformulating cores
23.73/23.84	c INPROCESSING
23.73/23.84	c GARBAGE COLLECT
23.73/23.84	c #Conflicts:       7000 | #Constraints:       3032
23.73/23.84	c bounds -6323 >= -464272 @ 18.7922
23.73/23.84	c #Conflicts:       8000 | #Constraints:       4032
23.73/23.84	c bounds -6331 >= -464272 @ 23.4414
23.73/23.84	c stratification level: 178
39.49/39.61	c #Conflicts:       9000 | #Constraints:       5046
39.49/39.61	c INPROCESSING
39.49/39.61	c GARBAGE COLLECT
39.49/39.61	c #Conflicts:      10000 | #Constraints:       3748
39.49/39.61	c #Conflicts:      11000 | #Constraints:       4748
39.49/39.61	c #Conflicts:      12000 | #Constraints:       5748
39.49/39.61	c INPROCESSING
39.49/39.61	c GARBAGE COLLECT
39.49/39.61	c bounds -6336 >= -461066 @ 39.121
39.49/39.61	c stratification level: 177
39.69/39.83	c bounds -6337 >= -457879 @ 39.3308
39.69/39.83	c stratification level: 176
40.39/40.52	c bounds -6337 >= -454354 @ 39.4229
40.39/40.52	c #Conflicts:      13000 | #Constraints:       4237
40.39/40.52	c finalizing WCE round: reformulating cores
40.59/40.75	c bounds -6349 >= -454354 @ 40.0627
40.59/40.75	c bounds -6370 >= -454354 @ 40.2426
40.59/40.75	c stratification level: 175
60.43/60.69	c bounds -6370 >= -450154 @ 40.3587
60.43/60.69	c #Conflicts:      14000 | #Constraints:       5260
60.43/60.69	c #Conflicts:      15000 | #Constraints:       6260
60.43/60.69	c INPROCESSING
60.43/60.69	c GARBAGE COLLECT
60.43/60.69	c #Conflicts:      16000 | #Constraints:       4489
60.43/60.69	c #Conflicts:      17000 | #Constraints:       5489
60.43/60.69	c finalizing WCE round: reformulating cores
114.80/115.15	c #Conflicts:      18000 | #Constraints:       6492
114.80/115.15	c INPROCESSING
114.80/115.15	c GARBAGE COLLECT
114.80/115.15	c bounds -6381 >= -450154 @ 64.4065
114.80/115.15	c #Conflicts:      19000 | #Constraints:       4503
114.80/115.15	c #Conflicts:      20000 | #Constraints:       5503
114.80/115.15	c #Conflicts:      21000 | #Constraints:       6503
114.80/115.15	c INPROCESSING
114.80/115.15	c GARBAGE COLLECT
114.80/115.15	c #Conflicts:      22000 | #Constraints:       4325
114.80/115.15	c #Conflicts:      23000 | #Constraints:       5325
114.80/115.15	c #Conflicts:      24000 | #Constraints:       6325
114.80/115.15	c #Conflicts:      25000 | #Constraints:       7325
114.80/115.15	c INPROCESSING
114.80/115.15	c GARBAGE COLLECT
114.80/115.15	c #Conflicts:      26000 | #Constraints:       4933
114.80/115.15	c #Conflicts:      27000 | #Constraints:       5933
114.80/115.15	c #Conflicts:      28000 | #Constraints:       6933
114.80/115.15	c #Conflicts:      29000 | #Constraints:       7933
114.80/115.15	c INPROCESSING
114.80/115.15	c GARBAGE COLLECT
114.80/115.15	c #Conflicts:      30000 | #Constraints:       5345
114.80/115.15	c bounds -6382 >= -450154 @ 114.193
114.80/115.15	c stratification level: 174
122.88/123.25	c #Conflicts:      31000 | #Constraints:       6356
122.88/123.25	c #Conflicts:      32000 | #Constraints:       7356
122.88/123.25	c bounds -6395 >= -448064 @ 122.257
122.88/123.25	c stratification level: 173
219.53/220.17	c bounds -6395 >= -444760 @ 123.21
219.53/220.17	c #Conflicts:      33000 | #Constraints:       8373
219.53/220.17	c INPROCESSING
219.53/220.17	c GARBAGE COLLECT
219.53/220.17	c #Conflicts:      34000 | #Constraints:       5564
219.53/220.17	c #Conflicts:      35000 | #Constraints:       6564
219.53/220.17	c #Conflicts:      36000 | #Constraints:       7564
219.53/220.17	c #Conflicts:      37000 | #Constraints:       8564
219.53/220.17	c INPROCESSING
219.53/220.17	c GARBAGE COLLECT
219.53/220.17	c #Conflicts:      38000 | #Constraints:       5555
219.53/220.17	c #Conflicts:      39000 | #Constraints:       6555
219.53/220.17	c #Conflicts:      40000 | #Constraints:       7555
219.53/220.17	c #Conflicts:      41000 | #Constraints:       8555
219.53/220.17	c INPROCESSING
219.53/220.17	c GARBAGE COLLECT
219.53/220.17	c #Conflicts:      42000 | #Constraints:       5362
219.53/220.17	c #Conflicts:      43000 | #Constraints:       6362
219.53/220.17	c #Conflicts:      44000 | #Constraints:       7362
219.53/220.17	c #Conflicts:      45000 | #Constraints:       8362
219.53/220.17	c #Conflicts:      46000 | #Constraints:       9362
219.53/220.17	c INPROCESSING
219.53/220.17	c GARBAGE COLLECT
219.53/220.17	c #Conflicts:      47000 | #Constraints:       5960
219.53/220.17	c #Conflicts:      48000 | #Constraints:       6960
219.53/220.17	c #Conflicts:      49000 | #Constraints:       7960
219.53/220.17	c #Conflicts:      50000 | #Constraints:       8960
219.53/220.17	c #Conflicts:      51000 | #Constraints:       9960
219.53/220.17	c INPROCESSING
219.53/220.17	c GARBAGE COLLECT
219.53/220.17	c finalizing WCE round: reformulating cores
368.07/369.01	c bounds -6412 >= -444760 @ 221.321
368.07/369.01	c #Conflicts:      52000 | #Constraints:       6374
368.07/369.01	c #Conflicts:      53000 | #Constraints:       7374
368.07/369.01	c #Conflicts:      54000 | #Constraints:       8374
368.07/369.01	c #Conflicts:      55000 | #Constraints:       9374
368.07/369.01	c #Conflicts:      56000 | #Constraints:      10374
368.07/369.01	c INPROCESSING
368.07/369.01	c GARBAGE COLLECT
368.07/369.01	c #Conflicts:      57000 | #Constraints:       6580
368.07/369.01	c #Conflicts:      58000 | #Constraints:       7580
368.07/369.01	c #Conflicts:      59000 | #Constraints:       8580
368.07/369.01	c #Conflicts:      60000 | #Constraints:       9580
368.07/369.01	c #Conflicts:      61000 | #Constraints:      10580
368.07/369.01	c INPROCESSING
368.07/369.01	c GARBAGE COLLECT
368.07/369.01	c #Conflicts:      62000 | #Constraints:       6593
368.07/369.01	c #Conflicts:      63000 | #Constraints:       7593
368.07/369.01	c #Conflicts:      64000 | #Constraints:       8593
368.07/369.01	c #Conflicts:      65000 | #Constraints:       9593
368.07/369.01	c #Conflicts:      66000 | #Constraints:      10593
368.07/369.01	c INPROCESSING
368.07/369.01	c GARBAGE COLLECT
368.07/369.01	c #Conflicts:      67000 | #Constraints:       6392
368.07/369.01	c #Conflicts:      68000 | #Constraints:       7392
368.07/369.01	c #Conflicts:      69000 | #Constraints:       8392
368.07/369.01	c #Conflicts:      70000 | #Constraints:       9392
368.07/369.01	c #Conflicts:      71000 | #Constraints:      10392
368.07/369.01	c #Conflicts:      72000 | #Constraints:      11392
368.07/369.01	c INPROCESSING
368.07/369.01	c GARBAGE COLLECT
368.07/369.01	c #Conflicts:      73000 | #Constraints:       6996
368.07/369.01	c #Conflicts:      74000 | #Constraints:       7996
368.07/369.01	c #Conflicts:      75000 | #Constraints:       8996
368.07/369.01	c bounds -6422 >= -444760 @ 366.741
368.07/369.01	c stratification level: 172
389.91/391.00	c bounds -6422 >= -441642 @ 367.519
389.91/391.00	c #Conflicts:      76000 | #Constraints:      10014
389.91/391.00	c #Conflicts:      77000 | #Constraints:      11014
389.91/391.00	c #Conflicts:      78000 | #Constraints:      12014
389.91/391.00	c INPROCESSING
389.91/391.00	c GARBAGE COLLECT
389.91/391.00	c finalizing WCE round: reformulating cores
482.58/483.82	c #Conflicts:      79000 | #Constraints:       7407
482.58/483.82	c bounds -6469 >= -441642 @ 392.59
482.58/483.82	c #Conflicts:      80000 | #Constraints:       8408
482.58/483.82	c #Conflicts:      81000 | #Constraints:       9408
482.58/483.82	c #Conflicts:      82000 | #Constraints:      10408
482.58/483.82	c #Conflicts:      83000 | #Constraints:      11408
482.58/483.82	c #Conflicts:      84000 | #Constraints:      12408
482.58/483.82	c INPROCESSING
482.58/483.82	c GARBAGE COLLECT
482.58/483.82	c #Conflicts:      85000 | #Constraints:       7603
482.58/483.82	c #Conflicts:      86000 | #Constraints:       8603
482.58/483.82	c #Conflicts:      87000 | #Constraints:       9603
482.58/483.82	c #Conflicts:      88000 | #Constraints:      10603
482.58/483.82	c #Conflicts:      89000 | #Constraints:      11603
482.58/483.82	c #Conflicts:      90000 | #Constraints:      12603
482.58/483.82	c INPROCESSING
482.58/483.82	c GARBAGE COLLECT
482.58/483.82	c #Conflicts:      91000 | #Constraints:       7603
482.58/483.82	c #Conflicts:      92000 | #Constraints:       8603
482.58/483.82	c #Conflicts:      93000 | #Constraints:       9603
482.58/483.82	c bounds -6475 >= -441642 @ 481.002
482.58/483.82	c stratification level: 171
692.37/694.12	c bounds -6475 >= -439380 @ 481.611
692.37/694.12	c #Conflicts:      94000 | #Constraints:      10618
692.37/694.12	c #Conflicts:      95000 | #Constraints:      11618
692.37/694.12	c #Conflicts:      96000 | #Constraints:      12618
692.37/694.12	c INPROCESSING
692.37/694.12	c GARBAGE COLLECT
692.37/694.12	c #Conflicts:      97000 | #Constraints:       7424
692.37/694.12	c #Conflicts:      98000 | #Constraints:       8424
692.37/694.12	c #Conflicts:      99000 | #Constraints:       9424
692.37/694.12	c #Conflicts:     100000 | #Constraints:      10424
692.37/694.12	c #Conflicts:     101000 | #Constraints:      11424
692.37/694.12	c #Conflicts:     102000 | #Constraints:      12424
692.37/694.12	c #Conflicts:     103000 | #Constraints:      13424
692.37/694.12	c INPROCESSING
692.37/694.12	c GARBAGE COLLECT
692.37/694.12	c #Conflicts:     104000 | #Constraints:       8015
692.37/694.12	c #Conflicts:     105000 | #Constraints:       9015
692.37/694.12	c #Conflicts:     106000 | #Constraints:      10015
692.37/694.12	c #Conflicts:     107000 | #Constraints:      11015
692.37/694.12	c #Conflicts:     108000 | #Constraints:      12015
692.37/694.12	c #Conflicts:     109000 | #Constraints:      13015
692.37/694.12	c #Conflicts:     110000 | #Constraints:      14015
692.37/694.12	c INPROCESSING
692.37/694.12	c GARBAGE COLLECT
692.37/694.12	c #Conflicts:     111000 | #Constraints:       8413
692.37/694.12	c #Conflicts:     112000 | #Constraints:       9413
692.37/694.12	c #Conflicts:     113000 | #Constraints:      10413
692.37/694.12	c #Conflicts:     114000 | #Constraints:      11413
692.37/694.12	c #Conflicts:     115000 | #Constraints:      12413
692.37/694.12	c #Conflicts:     116000 | #Constraints:      13413
692.37/694.12	c #Conflicts:     117000 | #Constraints:      14413
692.37/694.12	c INPROCESSING
692.37/694.12	c GARBAGE COLLECT
692.37/694.12	c #Conflicts:     118000 | #Constraints:       8620
692.37/694.12	c #Conflicts:     119000 | #Constraints:       9620
692.37/694.12	c #Conflicts:     120000 | #Constraints:      10620
692.37/694.12	c #Conflicts:     121000 | #Constraints:      11620
692.37/694.12	c #Conflicts:     122000 | #Constraints:      12620
692.37/694.12	c #Conflicts:     123000 | #Constraints:      13620
692.37/694.12	c finalizing WCE round: reformulating cores
885.69/887.93	c #Conflicts:     124000 | #Constraints:      14623
885.69/887.93	c bounds -6478 >= -439380 @ 696.306
885.69/887.93	c INPROCESSING
885.69/887.93	c GARBAGE COLLECT
885.69/887.93	c #Conflicts:     125000 | #Constraints:       8616
885.69/887.93	c #Conflicts:     126000 | #Constraints:       9616
885.69/887.93	c #Conflicts:     127000 | #Constraints:      10616
885.69/887.93	c #Conflicts:     128000 | #Constraints:      11616
885.69/887.93	c #Conflicts:     129000 | #Constraints:      12616
885.69/887.93	c #Conflicts:     130000 | #Constraints:      13616
885.69/887.93	c #Conflicts:     131000 | #Constraints:      14616
885.69/887.93	c INPROCESSING
885.69/887.93	c GARBAGE COLLECT
885.69/887.93	c #Conflicts:     132000 | #Constraints:       8416
885.69/887.93	c #Conflicts:     133000 | #Constraints:       9416
885.69/887.93	c #Conflicts:     134000 | #Constraints:      10416
885.69/887.93	c #Conflicts:     135000 | #Constraints:      11416
885.69/887.93	c #Conflicts:     136000 | #Constraints:      12416
885.69/887.93	c #Conflicts:     137000 | #Constraints:      13416
885.69/887.93	c #Conflicts:     138000 | #Constraints:      14416
885.69/887.93	c #Conflicts:     139000 | #Constraints:      15416
885.69/887.93	c INPROCESSING
885.69/887.93	c GARBAGE COLLECT
885.69/887.93	c #Conflicts:     140000 | #Constraints:       9024
885.69/887.93	c #Conflicts:     141000 | #Constraints:      10024
885.69/887.93	c #Conflicts:     142000 | #Constraints:      11024
885.69/887.93	c #Conflicts:     143000 | #Constraints:      12024
885.69/887.93	c #Conflicts:     144000 | #Constraints:      13024
885.69/887.93	c #Conflicts:     145000 | #Constraints:      14024
885.69/887.93	c #Conflicts:     146000 | #Constraints:      15024
885.69/887.93	c #Conflicts:     147000 | #Constraints:      16024
885.69/887.93	c INPROCESSING
885.69/887.93	c GARBAGE COLLECT
885.69/887.93	c #Conflicts:     148000 | #Constraints:       9431
885.69/887.93	c #Conflicts:     149000 | #Constraints:      10431
885.69/887.93	c #Conflicts:     150000 | #Constraints:      11431
885.69/887.93	c bounds -6481 >= -439380 @ 883.197
885.69/887.93	c stratification level: 170
890.17/892.42	c bounds -6481 >= -435950 @ 884.384
890.17/892.42	c #Conflicts:     151000 | #Constraints:      12448
890.17/892.42	c finalizing WCE round: reformulating cores
993.82/996.37	c #Conflicts:     152000 | #Constraints:      13451
993.82/996.37	c bounds -6487 >= -435950 @ 893.733
993.82/996.37	c #Conflicts:     153000 | #Constraints:      14451
993.82/996.37	c #Conflicts:     154000 | #Constraints:      15451
993.82/996.37	c #Conflicts:     155000 | #Constraints:      16451
993.82/996.37	c INPROCESSING
993.82/996.37	c GARBAGE COLLECT
993.82/996.37	c #Conflicts:     156000 | #Constraints:       9645
993.82/996.37	c #Conflicts:     157000 | #Constraints:      10645
993.82/996.37	c #Conflicts:     158000 | #Constraints:      11645
993.82/996.37	c #Conflicts:     159000 | #Constraints:      12645
993.82/996.37	c #Conflicts:     160000 | #Constraints:      13645
993.82/996.37	c #Conflicts:     161000 | #Constraints:      14645
993.82/996.37	c #Conflicts:     162000 | #Constraints:      15645
993.82/996.37	c #Conflicts:     163000 | #Constraints:      16645
993.82/996.37	c INPROCESSING
993.82/996.37	c GARBAGE COLLECT
993.82/996.37	c #Conflicts:     164000 | #Constraints:       9645
993.82/996.37	c bounds -6488 >= -435950 @ 991.143
993.82/996.37	c stratification level: 169
1154.73/1157.65	c #Conflicts:     165000 | #Constraints:      10657
1154.73/1157.65	c #Conflicts:     166000 | #Constraints:      11657
1154.73/1157.65	c bounds -6488 >= -433230 @ 1011.21
1154.73/1157.65	c #Conflicts:     167000 | #Constraints:      12658
1154.73/1157.65	c #Conflicts:     168000 | #Constraints:      13658
1154.73/1157.65	c #Conflicts:     169000 | #Constraints:      14658
1154.73/1157.65	c #Conflicts:     170000 | #Constraints:      15658
1154.73/1157.65	c #Conflicts:     171000 | #Constraints:      16658
1154.73/1157.65	c INPROCESSING
1154.73/1157.65	c GARBAGE COLLECT
1154.73/1157.65	c #Conflicts:     172000 | #Constraints:       9463
1154.73/1157.65	c #Conflicts:     173000 | #Constraints:      10463
1154.73/1157.65	c #Conflicts:     174000 | #Constraints:      11463
1154.73/1157.65	c #Conflicts:     175000 | #Constraints:      12463
1154.73/1157.65	c #Conflicts:     176000 | #Constraints:      13463
1154.73/1157.65	c #Conflicts:     177000 | #Constraints:      14463
1154.73/1157.65	c #Conflicts:     178000 | #Constraints:      15463
1154.73/1157.65	c #Conflicts:     179000 | #Constraints:      16463
1154.73/1157.65	c finalizing WCE round: reformulating cores
1213.48/1216.53	c #Conflicts:     180000 | #Constraints:      17466
1213.48/1216.53	c INPROCESSING
1213.48/1216.53	c GARBAGE COLLECT
1213.48/1216.53	c bounds -6491 >= -433230 @ 1168.86
1213.48/1216.53	c #Conflicts:     181000 | #Constraints:      10067
1213.48/1216.53	c #Conflicts:     182000 | #Constraints:      11067
1213.48/1216.53	c #Conflicts:     183000 | #Constraints:      12067
1213.48/1216.53	c #Conflicts:     184000 | #Constraints:      13067
1213.48/1216.53	c #Conflicts:     185000 | #Constraints:      14067
1213.48/1216.53	c #Conflicts:     186000 | #Constraints:      15067
1213.48/1216.53	c bounds -6498 >= -433230 @ 1210.33
1213.48/1216.53	c stratification level: 168
1298.28/1301.57	c bounds -6498 >= -430503 @ 1211.4
1298.28/1301.57	c #Conflicts:     187000 | #Constraints:      16086
1298.28/1301.57	c #Conflicts:     188000 | #Constraints:      17086
1298.28/1301.57	c #Conflicts:     189000 | #Constraints:      18086
1298.28/1301.57	c INPROCESSING
1298.28/1301.57	c GARBAGE COLLECT
1298.28/1301.57	c #Conflicts:     190000 | #Constraints:      10496
1298.28/1301.57	c #Conflicts:     191000 | #Constraints:      11496
1298.28/1301.57	c #Conflicts:     192000 | #Constraints:      12496
1298.28/1301.57	c #Conflicts:     193000 | #Constraints:      13496
1298.28/1301.57	c #Conflicts:     194000 | #Constraints:      14496
1298.28/1301.57	c finalizing WCE round: reformulating cores
1300.67/1303.92	c bounds -6506 >= -430503 @ 1295.5
1300.67/1303.92	c bounds -6524 >= -430503 @ 1297.36
1300.67/1303.92	c stratification level: 167
2074.13/2079.35	c bounds -6524 >= -427431 @ 1298.72
2074.13/2079.35	c #Conflicts:     195000 | #Constraints:      15520
2074.13/2079.35	c #Conflicts:     196000 | #Constraints:      16520
2074.13/2079.35	c #Conflicts:     197000 | #Constraints:      17520
2074.13/2079.35	c #Conflicts:     198000 | #Constraints:      18520
2074.13/2079.35	c INPROCESSING
2074.13/2079.35	c GARBAGE COLLECT
2074.13/2079.35	c #Conflicts:     199000 | #Constraints:      10707
2074.13/2079.35	c #Conflicts:     200000 | #Constraints:      11707
2074.13/2079.35	c #Conflicts:     201000 | #Constraints:      12707
2074.13/2079.35	c #Conflicts:     202000 | #Constraints:      13707
2074.13/2079.35	c #Conflicts:     203000 | #Constraints:      14707
2074.13/2079.35	c #Conflicts:     204000 | #Constraints:      15707
2074.13/2079.35	c #Conflicts:     205000 | #Constraints:      16707
2074.13/2079.35	c #Conflicts:     206000 | #Constraints:      17707
2074.13/2079.35	c #Conflicts:     207000 | #Constraints:      18707
2074.13/2079.35	c INPROCESSING
2074.13/2079.35	c GARBAGE COLLECT
2074.13/2079.35	c #Conflicts:     208000 | #Constraints:      10717
2074.13/2079.35	c #Conflicts:     209000 | #Constraints:      11717
2074.13/2079.35	c #Conflicts:     210000 | #Constraints:      12717
2074.13/2079.35	c #Conflicts:     211000 | #Constraints:      13717
2074.13/2079.35	c #Conflicts:     212000 | #Constraints:      14717
2074.13/2079.35	c #Conflicts:     213000 | #Constraints:      15717
2074.13/2079.35	c #Conflicts:     214000 | #Constraints:      16717
2074.13/2079.35	c #Conflicts:     215000 | #Constraints:      17717
2074.13/2079.35	c #Conflicts:     216000 | #Constraints:      18717
2074.13/2079.35	c INPROCESSING
2074.13/2079.35	c GARBAGE COLLECT
2074.13/2079.35	c #Conflicts:     217000 | #Constraints:      10510
2074.13/2079.35	c #Conflicts:     218000 | #Constraints:      11510
2074.13/2079.35	c #Conflicts:     219000 | #Constraints:      12510
2074.13/2079.35	c #Conflicts:     220000 | #Constraints:      13510
2074.13/2079.35	c #Conflicts:     221000 | #Constraints:      14510
2074.13/2079.35	c #Conflicts:     222000 | #Constraints:      15510
2074.13/2079.35	c #Conflicts:     223000 | #Constraints:      16510
2074.13/2079.35	c #Conflicts:     224000 | #Constraints:      17510
2074.13/2079.35	c #Conflicts:     225000 | #Constraints:      18510
2074.13/2079.35	c #Conflicts:     226000 | #Constraints:      19510
2074.13/2079.35	c INPROCESSING
2074.13/2079.35	c GARBAGE COLLECT
2074.13/2079.35	c #Conflicts:     227000 | #Constraints:      11103
2074.13/2079.35	c #Conflicts:     228000 | #Constraints:      12103
2074.13/2079.35	c #Conflicts:     229000 | #Constraints:      13103
2074.13/2079.35	c #Conflicts:     230000 | #Constraints:      14103
2074.13/2079.35	c #Conflicts:     231000 | #Constraints:      15103
2074.13/2079.35	c #Conflicts:     232000 | #Constraints:      16103
2074.13/2079.35	c #Conflicts:     233000 | #Constraints:      17103
2074.13/2079.35	c #Conflicts:     234000 | #Constraints:      18103
2074.13/2079.35	c #Conflicts:     235000 | #Constraints:      19103
2074.13/2079.35	c #Conflicts:     236000 | #Constraints:      20103
2074.13/2079.35	c INPROCESSING
2074.13/2079.35	c GARBAGE COLLECT
2074.13/2079.35	c #Conflicts:     237000 | #Constraints:      11514
2074.13/2079.35	c #Conflicts:     238000 | #Constraints:      12514
2074.13/2079.35	c #Conflicts:     239000 | #Constraints:      13514
2074.13/2079.35	c #Conflicts:     240000 | #Constraints:      14514
2074.13/2079.35	c #Conflicts:     241000 | #Constraints:      15514
2074.13/2079.35	c #Conflicts:     242000 | #Constraints:      16514
2074.13/2079.35	c #Conflicts:     243000 | #Constraints:      17514
2074.13/2079.35	c #Conflicts:     244000 | #Constraints:      18514
2074.13/2079.35	c #Conflicts:     245000 | #Constraints:      19514
2074.13/2079.35	c #Conflicts:     246000 | #Constraints:      20514
2074.13/2079.35	c INPROCESSING
2074.13/2079.35	c GARBAGE COLLECT
2074.13/2079.35	c #Conflicts:     247000 | #Constraints:      11720
2074.13/2079.35	c #Conflicts:     248000 | #Constraints:      12720
2074.13/2079.35	c #Conflicts:     249000 | #Constraints:      13720
2074.13/2079.35	c #Conflicts:     250000 | #Constraints:      14720
2074.13/2079.35	c #Conflicts:     251000 | #Constraints:      15720
2074.13/2079.35	c #Conflicts:     252000 | #Constraints:      16720
2074.13/2079.35	c #Conflicts:     253000 | #Constraints:      17720
2074.13/2079.35	c #Conflicts:     254000 | #Constraints:      18720
2074.13/2079.35	c #Conflicts:     255000 | #Constraints:      19720
2074.13/2079.35	c #Conflicts:     256000 | #Constraints:      20720
2074.13/2079.35	c INPROCESSING
2074.13/2079.35	c GARBAGE COLLECT
2074.13/2079.35	c #Conflicts:     257000 | #Constraints:      11705
2074.13/2079.35	c #Conflicts:     258000 | #Constraints:      12705
2074.13/2079.35	c #Conflicts:     259000 | #Constraints:      13705
2074.13/2079.35	c #Conflicts:     260000 | #Constraints:      14705
2074.13/2079.35	c #Conflicts:     261000 | #Constraints:      15705
2074.13/2079.35	c #Conflicts:     262000 | #Constraints:      16705
2074.13/2079.35	c #Conflicts:     263000 | #Constraints:      17705
2074.13/2079.35	c finalizing WCE round: reformulating cores
2250.55/2256.29	c #Conflicts:     264000 | #Constraints:      18708
2250.55/2256.29	c bounds -6545 >= -427431 @ 2079.38
2250.55/2256.29	c #Conflicts:     265000 | #Constraints:      19708
2250.55/2256.29	c #Conflicts:     266000 | #Constraints:      20708
2250.55/2256.29	c INPROCESSING
2250.55/2256.29	c GARBAGE COLLECT
2250.55/2256.29	c #Conflicts:     267000 | #Constraints:      11509
2250.55/2256.29	c #Conflicts:     268000 | #Constraints:      12509
2250.55/2256.29	c #Conflicts:     269000 | #Constraints:      13509
2250.55/2256.29	c #Conflicts:     270000 | #Constraints:      14509
2250.55/2256.29	c #Conflicts:     271000 | #Constraints:      15509
2250.55/2256.29	c #Conflicts:     272000 | #Constraints:      16509
2250.55/2256.29	c #Conflicts:     273000 | #Constraints:      17509
2250.55/2256.29	c #Conflicts:     274000 | #Constraints:      18509
2250.55/2256.29	c #Conflicts:     275000 | #Constraints:      19509
2250.55/2256.29	c #Conflicts:     276000 | #Constraints:      20509
2250.55/2256.29	c #Conflicts:     277000 | #Constraints:      21509
2250.55/2256.29	c INPROCESSING
2250.55/2256.29	c GARBAGE COLLECT
2250.55/2256.29	c #Conflicts:     278000 | #Constraints:      12110
2250.55/2256.29	c #Conflicts:     279000 | #Constraints:      13110
2250.55/2256.29	c #Conflicts:     280000 | #Constraints:      14110
2250.55/2256.29	c bounds -6550 >= -427431 @ 2245.69
2250.55/2256.29	c stratification level: 166
2327.44/2333.33	c bounds -6550 >= -424742 @ 2246.77
2327.44/2333.33	c #Conflicts:     281000 | #Constraints:      15130
2327.44/2333.33	c #Conflicts:     282000 | #Constraints:      16130
2327.44/2333.33	c #Conflicts:     283000 | #Constraints:      17130
2327.44/2333.33	c #Conflicts:     284000 | #Constraints:      18130
2327.44/2333.33	c #Conflicts:     285000 | #Constraints:      19130
2327.44/2333.33	c #Conflicts:     286000 | #Constraints:      20130
2327.44/2333.33	c #Conflicts:     287000 | #Constraints:      21130
2327.44/2333.33	c #Conflicts:     288000 | #Constraints:      22130
2327.44/2333.33	c INPROCESSING
2327.44/2333.33	c GARBAGE COLLECT
2327.44/2333.33	c finalizing WCE round: reformulating cores
2452.45/2458.63	c #Conflicts:     289000 | #Constraints:      12525
2452.45/2458.63	c bounds -6557 >= -424742 @ 2329.75
2452.45/2458.63	c #Conflicts:     290000 | #Constraints:      13525
2452.45/2458.63	c #Conflicts:     291000 | #Constraints:      14525
2452.45/2458.63	c #Conflicts:     292000 | #Constraints:      15525
2452.45/2458.63	c #Conflicts:     293000 | #Constraints:      16525
2452.45/2458.63	c #Conflicts:     294000 | #Constraints:      17525
2452.45/2458.63	c #Conflicts:     295000 | #Constraints:      18525
2452.45/2458.63	c #Conflicts:     296000 | #Constraints:      19525
2452.45/2458.63	c #Conflicts:     297000 | #Constraints:      20525
2452.45/2458.63	c #Conflicts:     298000 | #Constraints:      21525
2452.45/2458.63	c #Conflicts:     299000 | #Constraints:      22525
2452.45/2458.63	c INPROCESSING
2452.45/2458.63	c GARBAGE COLLECT
2452.45/2458.63	c bounds -6559 >= -424742 @ 2447.19
2452.45/2458.63	c stratification level: 165
2502.82/2509.14	c bounds -6559 >= -420066 @ 2448.22
2502.82/2509.14	c #Conflicts:     300000 | #Constraints:      12750
2502.82/2509.14	c #Conflicts:     301000 | #Constraints:      13750
2502.82/2509.14	c #Conflicts:     302000 | #Constraints:      14750
2502.82/2509.14	c #Conflicts:     303000 | #Constraints:      15750
2502.82/2509.14	c #Conflicts:     304000 | #Constraints:      16750
2502.82/2509.14	c finalizing WCE round: reformulating cores
3017.69/3025.40	c #Conflicts:     305000 | #Constraints:      17753
3017.69/3025.40	c bounds -6572 >= -420066 @ 2508.91
3017.69/3025.40	c #Conflicts:     306000 | #Constraints:      18753
3017.69/3025.40	c #Conflicts:     307000 | #Constraints:      19753
3017.69/3025.40	c #Conflicts:     308000 | #Constraints:      20753
3017.69/3025.40	c #Conflicts:     309000 | #Constraints:      21753
3017.69/3025.40	c #Conflicts:     310000 | #Constraints:      22753
3017.69/3025.40	c INPROCESSING
3017.69/3025.40	c GARBAGE COLLECT
3017.69/3025.40	c #Conflicts:     311000 | #Constraints:      12770
3017.69/3025.40	c #Conflicts:     312000 | #Constraints:      13770
3017.69/3025.40	c #Conflicts:     313000 | #Constraints:      14770
3017.69/3025.40	c #Conflicts:     314000 | #Constraints:      15770
3017.69/3025.40	c #Conflicts:     315000 | #Constraints:      16770
3017.69/3025.40	c #Conflicts:     316000 | #Constraints:      17770
3017.69/3025.40	c #Conflicts:     317000 | #Constraints:      18770
3017.69/3025.40	c #Conflicts:     318000 | #Constraints:      19770
3017.69/3025.40	c #Conflicts:     319000 | #Constraints:      20770
3017.69/3025.40	c #Conflicts:     320000 | #Constraints:      21770
3017.69/3025.40	c #Conflicts:     321000 | #Constraints:      22770
3017.69/3025.40	c INPROCESSING
3017.69/3025.40	c GARBAGE COLLECT
3017.69/3025.40	c #Conflicts:     322000 | #Constraints:      12573
3017.69/3025.40	c #Conflicts:     323000 | #Constraints:      13573
3017.69/3025.40	c #Conflicts:     324000 | #Constraints:      14573
3017.69/3025.40	c #Conflicts:     325000 | #Constraints:      15573
3017.69/3025.40	c #Conflicts:     326000 | #Constraints:      16573
3017.69/3025.40	c #Conflicts:     327000 | #Constraints:      17573
3017.69/3025.40	c #Conflicts:     328000 | #Constraints:      18573
3017.69/3025.40	c #Conflicts:     329000 | #Constraints:      19573
3017.69/3025.40	c #Conflicts:     330000 | #Constraints:      20573
3017.69/3025.40	c #Conflicts:     331000 | #Constraints:      21573
3017.69/3025.40	c #Conflicts:     332000 | #Constraints:      22573
3017.69/3025.40	c #Conflicts:     333000 | #Constraints:      23573
3017.69/3025.40	c INPROCESSING
3017.69/3025.40	c GARBAGE COLLECT
3017.69/3025.40	c #Conflicts:     334000 | #Constraints:      13145
3017.69/3025.40	c #Conflicts:     335000 | #Constraints:      14145
3017.69/3025.40	c #Conflicts:     336000 | #Constraints:      15145
3017.69/3025.40	c #Conflicts:     337000 | #Constraints:      16145
3017.69/3025.40	c #Conflicts:     338000 | #Constraints:      17145
3017.69/3025.40	c #Conflicts:     339000 | #Constraints:      18145
3017.69/3025.40	c #Conflicts:     340000 | #Constraints:      19145
3017.69/3025.40	c #Conflicts:     341000 | #Constraints:      20145
3017.69/3025.40	c #Conflicts:     342000 | #Constraints:      21145
3017.69/3025.40	c #Conflicts:     343000 | #Constraints:      22145
3017.69/3025.40	c #Conflicts:     344000 | #Constraints:      23145
3017.69/3025.40	c #Conflicts:     345000 | #Constraints:      24145
3017.69/3025.40	c INPROCESSING
3017.69/3025.40	c GARBAGE COLLECT
3017.69/3025.40	c #Conflicts:     346000 | #Constraints:      13552
3017.69/3025.40	c #Conflicts:     347000 | #Constraints:      14552
3017.69/3025.40	c #Conflicts:     348000 | #Constraints:      15552
3017.69/3025.40	c #Conflicts:     349000 | #Constraints:      16552
3017.69/3025.40	c #Conflicts:     350000 | #Constraints:      17552
3017.69/3025.40	c #Conflicts:     351000 | #Constraints:      18552
3017.69/3025.40	c #Conflicts:     352000 | #Constraints:      19552
3017.69/3025.40	c bounds -6577 >= -420066 @ 3011.64
3017.69/3025.40	c stratification level: 164
3266.45/3274.90	c bounds -6577 >= -417621 @ 3012.91
3266.45/3274.90	c #Conflicts:     353000 | #Constraints:      20575
3266.45/3274.90	c #Conflicts:     354000 | #Constraints:      21575
3266.45/3274.90	c #Conflicts:     355000 | #Constraints:      22575
3266.45/3274.90	c #Conflicts:     356000 | #Constraints:      23575
3266.45/3274.90	c #Conflicts:     357000 | #Constraints:      24575
3266.45/3274.90	c INPROCESSING
3266.45/3274.90	c GARBAGE COLLECT
3266.45/3274.90	c #Conflicts:     358000 | #Constraints:      13781
3266.45/3274.90	c #Conflicts:     359000 | #Constraints:      14781
3266.45/3274.90	c #Conflicts:     360000 | #Constraints:      15781
3266.45/3274.90	c #Conflicts:     361000 | #Constraints:      16781
3266.45/3274.90	c #Conflicts:     362000 | #Constraints:      17781
3266.45/3274.90	c #Conflicts:     363000 | #Constraints:      18781
3266.45/3274.90	c #Conflicts:     364000 | #Constraints:      19781
3266.45/3274.90	c #Conflicts:     365000 | #Constraints:      20781
3266.45/3274.90	c #Conflicts:     366000 | #Constraints:      21781
3266.45/3274.90	c #Conflicts:     367000 | #Constraints:      22781
3266.45/3274.90	c #Conflicts:     368000 | #Constraints:      23781
3266.45/3274.90	c #Conflicts:     369000 | #Constraints:      24781
3266.45/3274.90	c INPROCESSING
3266.45/3274.90	c GARBAGE COLLECT
3266.45/3274.90	c #Conflicts:     370000 | #Constraints:      13783
3266.45/3274.90	c #Conflicts:     371000 | #Constraints:      14783
3266.45/3274.90	c finalizing WCE round: reformulating cores
3279.21/3287.76	c #Conflicts:     372000 | #Constraints:      15786
3279.21/3287.76	c bounds -6583 >= -417621 @ 3265.79
3279.21/3287.76	c #Conflicts:     373000 | #Constraints:      16786
3279.21/3287.76	c bounds -6592 >= -417621 @ 3272.8
3279.21/3287.76	c stratification level: 163
3600.01/3609.58	c bounds -6592 >= -414436 @ 3274.82
3600.01/3609.58	c #Conflicts:     374000 | #Constraints:      17810
3600.01/3609.58	c #Conflicts:     375000 | #Constraints:      18810
3600.01/3609.58	c #Conflicts:     376000 | #Constraints:      19810
3600.01/3609.58	c #Conflicts:     377000 | #Constraints:      20810
3600.01/3609.58	c #Conflicts:     378000 | #Constraints:      21810
3600.01/3609.58	c #Conflicts:     379000 | #Constraints:      22810
3600.01/3609.58	c #Conflicts:     380000 | #Constraints:      23810
3600.01/3609.58	c #Conflicts:     381000 | #Constraints:      24810
3600.01/3609.58	c INPROCESSING
3600.01/3609.58	c GARBAGE COLLECT
3600.01/3609.58	c #Conflicts:     382000 | #Constraints:      13589
3600.01/3609.58	c #Conflicts:     383000 | #Constraints:      14589
3600.01/3609.58	c #Conflicts:     384000 | #Constraints:      15589
3600.01/3609.58	c #Conflicts:     385000 | #Constraints:      16589
3600.01/3609.58	c #Conflicts:     386000 | #Constraints:      17589
3600.01/3609.58	c #Conflicts:     387000 | #Constraints:      18589
3600.01/3609.58	c #Conflicts:     388000 | #Constraints:      19589
3600.01/3609.58	c #Conflicts:     389000 | #Constraints:      20589
3600.01/3609.58	c #Conflicts:     390000 | #Constraints:      21589
3600.01/3609.58	c #Conflicts:     391000 | #Constraints:      22589
3600.01/3609.58	c #Conflicts:     392000 | #Constraints:      23589
3600.01/3609.58	c #Conflicts:     393000 | #Constraints:      24589
3600.01/3609.58	c #Conflicts:     394000 | #Constraints:      25589
3600.01/3609.58	c INPROCESSING
3600.01/3609.58	c GARBAGE COLLECT
3600.01/3609.58	c #Conflicts:     395000 | #Constraints:      14195
3600.01/3609.58	c #Conflicts:     396000 | #Constraints:      15195
3600.01/3609.58	c #Conflicts:     397000 | #Constraints:      16195
3600.01/3609.58	c #Conflicts:     398000 | #Constraints:      17195
3600.01/3609.58	c Program interrupted by user.
3600.01/3609.58	c cpu time 3593.09 s
3600.01/3609.58	c deterministic time 488362230337 4.88e+11
3600.01/3609.58	c optimization time 132.524 s
3600.01/3609.58	c total solve time 3460.56 s
3600.01/3609.58	c core-guided solve time 3460.56 s
3600.01/3609.58	c propagation time 2616.44 s
3600.01/3609.58	c conflict analysis time 753.048 s
3600.01/3609.58	c propagations 73104867
3600.01/3609.58	c resolve steps 2300999
3600.01/3609.58	c decisions 3276797
3600.01/3609.58	c conflicts 398540
3600.01/3609.58	c restarts 966
3600.01/3609.58	c inprocessing phases 54
3600.01/3609.58	c input clauses 643
3600.01/3609.58	c input cardinalities 166
3600.01/3609.58	c input general constraints 222
3600.01/3609.58	c input average constraint length 744.70
3600.01/3609.58	c input average constraint degree 2930.51
3600.01/3609.58	c learned clauses 9375
3600.01/3609.58	c learned cardinalities 574
3600.01/3609.58	c learned general constraints 388604
3600.01/3609.58	c learned average constraint length 3251.44
3600.01/3609.58	c learned average constraint degree 289744953.57
3600.01/3609.58	c watched constraints 229015
3600.01/3609.58	c counting constraints 159811
3600.01/3609.58	c gcd simplifications 1599
3600.01/3609.58	c detected cardinalities 20
3600.01/3609.58	c weakened non-implied lits 332570228
3600.01/3609.58	c weakened non-implying lits 580423
3600.01/3609.58	c original variables 4585
3600.01/3609.58	c clausal propagations 7887008
3600.01/3609.58	c cardinality propagations 18752603
3600.01/3609.58	c watched propagations 5799930
3600.01/3609.58	c counting propagations 38360084
3600.01/3609.58	c watch lookups 43348404044
3600.01/3609.58	c watch backjump lookups 42961677812
3600.01/3609.58	c watch checks 223879997793
3600.01/3609.58	c propagation checks 173079916839
3600.01/3609.58	c constraint additions 4939071982
3600.01/3609.58	c trail pops 76780202
3600.01/3609.58	c formula constraints 168
3600.01/3609.58	c learned constraints 398553
3600.01/3609.58	c bound constraints 164
3600.01/3609.58	c core-guided constraints 699
3600.01/3609.58	c encountered formula constraints 1269801
3600.01/3609.58	c encountered learned constraints 1213688
3600.01/3609.58	c encountered bound constraints 5191
3600.01/3609.58	c encountered core-guided constraints 210859
3600.01/3609.58	c LP total time 0 s
3600.01/3609.58	c LP solve time 0 s
3600.01/3609.58	c LP constraints added 0
3600.01/3609.58	c LP constraints removed 0
3600.01/3609.58	c LP pivots internal 0
3600.01/3609.58	c LP pivots root 0
3600.01/3609.58	c LP calls 0
3600.01/3609.58	c LP optimalities 0
3600.01/3609.58	c LP no pivot count 0
3600.01/3609.58	c LP infeasibilities 0
3600.01/3609.58	c LP valid Farkas constraints 0
3600.01/3609.58	c LP learned Farkas constraints 0
3600.01/3609.58	c LP basis resets 0
3600.01/3609.58	c LP cycling count 0
3600.01/3609.58	c LP singular count 0
3600.01/3609.58	c LP no primal count 0
3600.01/3609.58	c LP no farkas count 0
3600.01/3609.58	c LP other issue count 0
3600.01/3609.58	c LP Gomory cuts 0
3600.01/3609.58	c LP learned cuts 0
3600.01/3609.58	c LP deleted cuts 0
3600.01/3609.58	c LP encountered Gomory constraints 0
3600.01/3609.58	c LP encountered Farkas constraints 0
3600.01/3609.58	c LP encountered learned Farkas constraints 0
3600.01/3609.58	c CG auxiliary variables introduced 658
3600.01/3609.58	c CG solutions found 113
3600.01/3609.58	c CG cores constructed 32
3600.01/3609.58	c CG core cardinality constraints returned 1
3600.01/3609.58	c CG unit cores 0
3600.01/3609.58	c CG single cores 32
3600.01/3609.58	c CG blocks removed during cardinality reduction 0
3600.01/3609.58	c CG first core best 0
3600.01/3609.58	c CG decision core best 0
3600.01/3609.58	c CG core reduction tie 0
3600.01/3609.58	c CG core degree average 1.03
3600.01/3609.58	c CG core slack average 2.50
3600.01/3609.58	c CG exhausted 1
3600.01/3609.58	c CG exhaust time 82.9777 s
3600.01/3609.58	c CG trimmed 0
3600.01/3609.58	c CG trim time 0.641157 s
3600.01/3609.58	c CG minimized 0
3600.01/3609.58	c CG minimize time 0 s
3600.01/3609.58	c CG am1 prop time 10.8382 s
3600.01/3609.58	c CG # am1s reformulated 622
3600.01/3609.58	c CG lower bound derived from am1s 138031
3600.01/3609.58	c CG # clausal cores 31
3600.01/3609.58	c CG # cardinality cores 1
3600.01/3609.58	c CG # pb cores 0
3600.01/3609.58	c CG # pb reforms 24
3600.01/3609.58	c CG # cores discarded because of pb reform 0
3600.01/3609.58	d LOWERBOUND -414436
3600.01/3609.58	d NCORES 32
3600.01/3609.58	d NPBCORES 0
3600.01/3609.58	d NPBREFORM 24
3600.01/3609.58	d NTRIMMED 0
3600.01/3609.58	d NEXHAUSTED 1
3600.01/3609.58	d NAM1S 622
3600.01/3609.58	d AM1LB 138031
3600.01/3609.58	o -6592
3600.01/3609.58	s SATISFIABLE
3600.01/3609.58	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585

OK	-6592

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: 63931 MiB (59047 MiB free)
  memory of node 1: 64510 MiB (61083 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462190-1722236576/watcher-4462190-1722236576 -o /tmp/evaluation-result-4462190-1722236576/solver-4462190-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722236576-411090 --watchdog 3760 pb-oll-rs HOME/instance-4462190-1722236576.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=411131, runsolver pid=411127

[startup+0.100123 s]*
/proc/loadavg: 0.06 0.09 0.10 5/254 411142
/proc/meminfo: memFree=122980404/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=41832 memory=11008 CPUtime=0.09 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 1250 0 0 0 6 3 0 0 20 0 1 0 60186900 42835968 2752 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 10458 2752 1324 291 0 1992 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 11008 KiB

[startup+0.205372 s]*
/proc/loadavg: 0.06 0.09 0.10 5/260 411153
/proc/meminfo: memFree=122899108/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=41976 memory=12328 CPUtime=0.19 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 1567 0 0 0 14 5 0 0 20 0 1 0 60186900 42983424 3016 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 10494 3082 1324 291 0 2028 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41976 KiB
Current children cumulated memory: 12328 KiB

[startup+0.305396 s]*
/proc/loadavg: 0.06 0.09 0.10 5/260 411153
/proc/meminfo: memFree=122909952/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=45312 memory=14500 CPUtime=0.29 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 2175 0 0 0 22 7 0 0 20 0 1 0 60186900 46399488 3625 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 11328 3625 1324 291 0 2862 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45312 KiB
Current children cumulated memory: 14500 KiB

[startup+0.700203 s]
/proc/loadavg: 0.06 0.09 0.10 5/260 411153
/proc/meminfo: memFree=122883388/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=57612 memory=24892 CPUtime=0.68 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 3718 0 0 0 59 9 0 0 20 0 1 0 60186900 58994688 6223 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 14403 6223 1324 291 0 5937 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57612 KiB
Current children cumulated memory: 24892 KiB

[startup+1.5002 s]
/proc/loadavg: 0.06 0.09 0.10 5/260 411153
/proc/meminfo: memFree=122804208/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=70332 memory=39888 CPUtime=1.48 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 4410 0 0 0 137 11 0 0 20 0 1 0 60186900 72019968 9972 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 17583 9972 1324 291 0 9117 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 39888 KiB

[startup+3.10547 s]
/proc/loadavg: 0.38 0.15 0.12 5/260 411155
/proc/meminfo: memFree=122676112/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=125588 memory=68116 CPUtime=3.08 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 6866 0 0 0 293 15 0 0 20 0 1 0 60186900 128602112 17029 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 31397 17029 1324 291 0 22931 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 125588 KiB
Current children cumulated memory: 68116 KiB

[startup+6.3002 s]
/proc/loadavg: 0.38 0.15 0.12 5/260 411155
/proc/meminfo: memFree=122538544/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=131008 memory=86140 CPUtime=6.27 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 8233 0 0 0 607 20 0 0 20 0 1 0 60186900 134152192 21535 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 32752 21535 1386 291 0 24286 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 131008 KiB
Current children cumulated memory: 86140 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.30 0.17 6/260 411157
/proc/meminfo: memFree=122228392/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=199540 memory=130908 CPUtime=12.65 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 13358 0 0 0 1239 26 0 0 20 0 1 0 60186900 204328960 32727 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 49885 32727 1386 291 0 41419 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 199540 KiB
Current children cumulated memory: 130908 KiB

[startup+25.5002 s]
/proc/loadavg: 1.47 0.42 0.21 5/258 411159
/proc/meminfo: memFree=121758384/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=228672 memory=183744 CPUtime=25.43 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 20464 0 0 0 2508 35 0 0 20 0 1 0 60186900 234160128 45936 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 57168 45936 1386 291 0 48702 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 228672 KiB
Current children cumulated memory: 183744 KiB

[startup+51.1054 s]
/proc/loadavg: 2.33 0.71 0.31 5/258 411162
/proc/meminfo: memFree=121079224/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=273276 memory=239492 CPUtime=50.97 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 30895 0 0 0 5052 45 0 0 20 0 1 0 60186900 279834624 59873 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 68319 59873 1386 291 0 59853 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 273276 KiB
Current children cumulated memory: 239492 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.29 0.53 5/258 411172
/proc/meminfo: memFree=119855940/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=422084 memory=316500 CPUtime=102.03 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 45623 0 0 0 10140 63 0 0 20 0 1 0 60186900 432214016 79125 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 105521 79125 1386 291 0 97055 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 422084 KiB
Current children cumulated memory: 316500 KiB

[startup+162.3 s]
/proc/loadavg: 3.80 1.79 0.75 6/256 411183
/proc/meminfo: memFree=119030288/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=516000 memory=423180 CPUtime=161.88 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 63644 0 0 0 16106 82 0 0 20 0 1 0 60186900 528384000 105795 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 129000 105795 1386 291 0 120534 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 516000 KiB
Current children cumulated memory: 423180 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.22 0.97 5/256 411194
/proc/meminfo: memFree=118215544/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=536432 memory=465936 CPUtime=221.73 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 68220 0 0 0 22077 96 0 0 20 0 1 0 60186900 549306368 116484 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 134108 116484 1386 291 0 125642 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 536432 KiB
Current children cumulated memory: 465936 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.57 1.17 5/256 411204
/proc/meminfo: memFree=117139340/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=706460 memory=526392 CPUtime=281.57 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 77830 0 0 0 28043 114 0 0 20 0 1 0 60186900 723415040 131598 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 176615 131598 1386 291 0 168149 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 706460 KiB
Current children cumulated memory: 526392 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 2.84 1.35 5/255 411215
/proc/meminfo: memFree=116820160/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=709264 memory=541668 CPUtime=341.43 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 78569 0 0 0 34014 129 0 0 20 0 1 0 60186900 726286336 135417 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 177316 135417 1386 291 0 168850 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 709264 KiB
Current children cumulated memory: 541668 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.09 1.53 5/255 411225
/proc/meminfo: memFree=116478568/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=713872 memory=559640 CPUtime=401.28 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 79563 0 0 0 39986 142 0 0 20 0 1 0 60186900 731004928 139910 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 178468 139910 1386 291 0 170002 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 713872 KiB
Current children cumulated memory: 559640 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.27 1.69 5/258 411240
/proc/meminfo: memFree=116093236/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=743572 memory=605492 CPUtime=461.13 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 86536 0 0 0 45958 155 0 0 20 0 1 0 60186900 761417728 151373 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 185893 151373 1386 291 0 177427 0

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

Current children cumulated memory: 1263476 KiB

[startup+2922.3 s]
/proc/loadavg: 4.44 4.23 4.04 5/258 412299
/proc/meminfo: memFree=108418620/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1359856 memory=1267564 CPUtime=2914.88 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 171301 0 0 0 290897 591 0 0 20 0 1 0 60186900 1392492544 316891 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 339964 316891 1386 291 0 331498 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 1359856 KiB
Current children cumulated memory: 1267564 KiB

[startup+2982.3 s]
/proc/loadavg: 4.26 4.22 4.05 5/258 412310
/proc/meminfo: memFree=108346332/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1367956 memory=1272704 CPUtime=2974.72 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 172920 0 0 0 296871 601 0 0 20 0 1 0 60186900 1400786944 318176 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 341989 318176 1386 291 0 333523 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 1367956 KiB
Current children cumulated memory: 1272704 KiB

[startup+3042.3 s]
/proc/loadavg: 4.22 4.21 4.05 5/258 412321
/proc/meminfo: memFree=108154276/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1368432 memory=1272968 CPUtime=3034.54 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 173469 0 0 0 302846 608 0 0 20 0 1 0 60186900 1401274368 318242 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 342108 318242 1386 291 0 333642 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 1368432 KiB
Current children cumulated memory: 1272968 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.18 4.05 5/257 412331
/proc/meminfo: memFree=107882880/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1725364 memory=1282420 CPUtime=3094.38 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 175314 0 0 0 308821 617 0 0 20 0 1 0 60186900 1766772736 320605 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 431341 320605 1386 291 0 422875 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 1725364 KiB
Current children cumulated memory: 1282420 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.18 4.06 5/257 412726
/proc/meminfo: memFree=107481092/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1725364 memory=1282608 CPUtime=3154.19 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 175876 0 0 0 314790 629 0 0 20 0 1 0 60186900 1766772736 320652 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 431341 320652 1386 291 0 422875 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 1725364 KiB
Current children cumulated memory: 1282608 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.06 5/257 412736
/proc/meminfo: memFree=107024276/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1725364 memory=1282608 CPUtime=3214.01 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 176360 0 0 0 320763 638 0 0 20 0 1 0 60186900 1766772736 320652 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 431341 320652 1386 291 0 422875 0
Current children cumulated CPU time: 3214.01 s
Current children cumulated vsize: 1725364 KiB
Current children cumulated memory: 1282608 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.06 5/257 412747
/proc/meminfo: memFree=106865060/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1726132 memory=1291248 CPUtime=3273.82 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 176783 0 0 0 326735 647 0 0 20 0 1 0 60186900 1767559168 322812 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 431533 322812 1386 291 0 423067 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 1726132 KiB
Current children cumulated memory: 1291248 KiB

[startup+3342.3 s]
/proc/loadavg: 4.41 4.24 4.10 5/259 412927
/proc/meminfo: memFree=106861076/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1726132 memory=1291252 CPUtime=3333.64 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 177218 0 0 0 332708 656 0 0 20 0 1 0 60186900 1767559168 322813 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 431533 322813 1386 291 0 423067 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 1726132 KiB
Current children cumulated memory: 1291252 KiB

[startup+3402.3 s]
/proc/loadavg: 4.33 4.24 4.10 5/259 412937
/proc/meminfo: memFree=106855024/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1732404 memory=1295064 CPUtime=3393.45 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 178657 0 0 0 338679 666 0 0 20 0 1 0 60186900 1773981696 323766 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 433101 323766 1386 291 0 424635 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 1732404 KiB
Current children cumulated memory: 1295064 KiB

[startup+3462.3 s]
/proc/loadavg: 4.43 4.30 4.13 5/260 412952
/proc/meminfo: memFree=106833040/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1742644 memory=1307612 CPUtime=3453.26 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 180441 0 0 0 344651 675 0 0 20 0 1 0 60186900 1784467456 326903 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 435661 326903 1386 291 0 427195 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 1742644 KiB
Current children cumulated memory: 1307612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.27 4.13 5/260 412974
/proc/meminfo: memFree=106761532/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1742644 memory=1307612 CPUtime=3513.07 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 180875 0 0 0 350621 686 0 0 20 0 1 0 60186900 1784467456 326903 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 435661 326903 1386 291 0 427195 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 1742644 KiB
Current children cumulated memory: 1307612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.23 4.13 5/260 412984
/proc/meminfo: memFree=106743496/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1759064 memory=1318904 CPUtime=3572.89 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 184137 0 0 0 356593 696 0 0 20 0 1 0 60186900 1801281536 329726 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 439766 329726 1386 291 0 431300 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 1759064 KiB
Current children cumulated memory: 1318904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.13 4.23 4.13 5/260 412988
/proc/meminfo: memFree=106737304/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1759064 memory=1318904 CPUtime=3600.01 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 184187 0 0 0 359300 701 0 0 20 0 1 0 60186900 1801281536 329726 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 439766 329726 1386 291 0 431300 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1759064 KiB
Current children cumulated memory: 1318904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.09 s, system=7.02691 s

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

[startup+3609.5 s]
/proc/loadavg: 4.13 4.23 4.13 5/260 412988
/proc/meminfo: memFree=106737304/131524600 swapFree=131053920/131071996
[pid=411131] ppid=411127 vsize=1759064 memory=1318904 CPUtime=3600.01 cores=4,6
/proc/411131/stat : 411131 (pb-oll-rs) R 411127 411131 411079 0 -1 4194304 184187 0 0 0 359300 701 0 0 20 0 1 0 60186900 1801281536 329726 134679101440 4194304 5384485 140730637022976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 23265280 140730637026326 140730637026403 140730637026403 140730637033419 0
/proc/411131/statm: 439766 329726 1386 291 0 431300 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1759064 KiB
Current children cumulated memory: 1318904 KiB

Child status: 0

Real time (s): 3609.6
CPU time (s): 3600.12
CPU user time (s): 3593.09
CPU system time (s): 7.02691
CPU usage (%): 99.7373
Max. virtual memory (cumulated for all children) (KiB): 1759064
Max. memory (cumulated for all children) (KiB): 1318904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.09
system time used= 7.02691
maximum resident set size= 1318904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184204
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= 203
involuntary context switches= 2790


# summary of solver processes directly reported to runsolver:
#   pid: 411131
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3593.09
#   total CPU system time (s): 7.02691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83462 second user time and 15.9811 second system time

The end

Begin job on nodeC023 at 2024-07-29 09:02:56
IDJOB=4462190
IDBENCH=178879
IDSOLVER=3082
FILE ID=nodeC023/4462190-1722236576
RUNJOBID= nodeC023-1722236576-411090
SLURM_JOB_ID= 8248759
Free space on /tmp= 890076 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_250_005.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462190-1722236576/watcher-4462190-1722236576 -o /tmp/evaluation-result-4462190-1722236576/solver-4462190-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722236576-411090 --watchdog 3760  pb-oll-rs HOME/instance-4462190-1722236576.opb

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

MD5SUM BENCH= c1572c005e5d2804643966c7bf58bacf
RANDOM SEED=697437227

nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123021212 kB
MemAvailable:   129665396 kB
Buffers:          401960 kB
Cached:          7027408 kB
SwapCached:          208 kB
Active:          1757696 kB
Inactive:        6052028 kB
Active(anon):       2216 kB
Inactive(anon):   429980 kB
Active(file):    1755480 kB
Inactive(file):  5622048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131053920 kB
Dirty:              7708 kB
Writeback:             0 kB
AnonPages:        379876 kB
Mapped:            97768 kB
Shmem:             52148 kB
KReclaimable:     212604 kB
Slab:             334228 kB
SReclaimable:     212604 kB
SUnreclaim:       121624 kB
KernelStack:        3952 kB
PageTables:         9440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     781584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      410324 kB
DirectMap2M:    61229056 kB
DirectMap1G:    74448896 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC023 at 2024-07-29 10:03:06