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.01	c [STEP] solving
0.00/0.01	c #variables 4585 #constraints 168
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -556091 @ 0.006444
0.00/0.01	c stratification level: 250
0.00/0.01	c bounds -756 >= -556091 @ 0.009653
0.00/0.01	c stratification level: 248
0.00/0.01	c bounds -1004 >= -556091 @ 0.012275
0.00/0.01	c stratification level: 247
0.00/0.02	c bounds -1004 >= -555350 @ 0.012275
0.00/0.02	c finalizing WCE round: reformulating cores
0.00/0.03	c bounds -1115 >= -555350 @ 0.016265
0.00/0.03	c bounds -1191 >= -555350 @ 0.018494
0.00/0.03	c stratification level: 245
0.00/0.03	c bounds -1433 >= -555105 @ 0.020561
0.00/0.03	c stratification level: 244
0.00/0.03	c bounds -1579 >= -555105 @ 0.021201
0.00/0.03	c stratification level: 240
0.00/0.04	c bounds -1707 >= -553900 @ 0.021201
0.00/0.04	c stratification level: 239
0.00/0.04	c bounds -1814 >= -553661 @ 0.023773
0.00/0.04	c stratification level: 238
0.00/0.05	c bounds -1814 >= -553185 @ 0.024697
0.00/0.05	c finalizing WCE round: reformulating cores
0.00/0.06	c bounds -2033 >= -553185 @ 0.033498
0.00/0.06	c bounds -2116 >= -553185 @ 0.041171
0.00/0.06	c stratification level: 237
0.00/0.06	c bounds -2494 >= -552946 @ 0.042938
0.00/0.06	c stratification level: 236
0.00/0.07	c bounds -2629 >= -552944 @ 0.044773
0.00/0.07	c stratification level: 235
0.00/0.07	c bounds -2629 >= -552237 @ 0.045759
0.00/0.07	c finalizing WCE round: reformulating cores
0.00/0.08	c bounds -2673 >= -552237 @ 0.051669
0.00/0.08	c bounds -2789 >= -552237 @ 0.05498
0.00/0.08	c stratification level: 234
0.00/0.08	c bounds -2789 >= -551769 @ 0.055989
0.00/0.08	c finalizing WCE round: reformulating cores
0.00/0.09	c bounds -3032 >= -551769 @ 0.061374
0.00/0.09	c bounds -3133 >= -551769 @ 0.062445
0.00/0.09	c stratification level: 233
0.00/0.10	c bounds -3191 >= -551070 @ 0.069061
0.00/0.10	c stratification level: 232
0.09/0.10	c bounds -3223 >= -550606 @ 0.075951
0.09/0.10	c stratification level: 231
0.09/0.10	c bounds -3453 >= -549682 @ 0.07705
0.09/0.10	c stratification level: 230
0.09/0.11	c bounds -3522 >= -548992 @ 0.07806
0.09/0.11	c stratification level: 229
0.09/0.11	c bounds -3522 >= -548074 @ 0.079342
0.09/0.11	c finalizing WCE round: reformulating cores
0.09/0.13	c bounds -3572 >= -548074 @ 0.082244
0.09/0.13	c bounds -3581 >= -547847 @ 0.087425
0.09/0.13	c bounds -3591 >= -547847 @ 0.09695
0.09/0.13	c stratification level: 228
0.09/0.13	c bounds -3591 >= -547388 @ 0.097926
0.09/0.13	c finalizing WCE round: reformulating cores
0.09/0.14	c bounds -3644 >= -547388 @ 0.100271
0.09/0.14	c bounds -3646 >= -547388 @ 0.101992
0.09/0.14	c stratification level: 227
0.09/0.14	c bounds -3662 >= -546254 @ 0.105909
0.09/0.14	c stratification level: 226
0.09/0.17	c bounds -3685 >= -545573 @ 0.125158
0.09/0.17	c stratification level: 225
0.09/0.17	c bounds -3994 >= -544675 @ 0.126929
0.09/0.17	c stratification level: 224
0.09/0.17	c bounds -4027 >= -544003 @ 0.131767
0.09/0.17	c stratification level: 223
0.09/0.18	c bounds -4091 >= -543780 @ 0.134653
0.09/0.18	c stratification level: 222
0.09/0.19	c bounds -4100 >= -543114 @ 0.145328
0.09/0.19	c stratification level: 221
0.09/0.19	c bounds -4139 >= -541564 @ 0.147975
0.09/0.19	c stratification level: 220
0.09/0.20	c bounds -4215 >= -540464 @ 0.150321
0.09/0.20	c stratification level: 219
0.09/0.20	c bounds -4218 >= -539369 @ 0.152708
0.09/0.20	c stratification level: 218
0.09/0.20	c bounds -4345 >= -538494 @ 0.154862
0.09/0.20	c stratification level: 217
0.09/0.20	c bounds -4345 >= -537192 @ 0.155725
0.09/0.20	c finalizing WCE round: reformulating cores
0.19/0.21	c bounds -4418 >= -537192 @ 0.160012
0.19/0.21	c bounds -4456 >= -537192 @ 0.163491
0.19/0.21	c stratification level: 216
0.19/0.22	c bounds -4508 >= -535680 @ 0.167438
0.19/0.22	c stratification level: 215
0.19/0.22	c bounds -4508 >= -535034 @ 0.168413
0.19/0.22	c finalizing WCE round: reformulating cores
0.19/0.23	c bounds -4611 >= -535034 @ 0.17342
0.19/0.23	c bounds -4682 >= -535034 @ 0.174952
0.19/0.23	c stratification level: 214
0.19/0.23	c bounds -4835 >= -533747 @ 0.178377
0.19/0.23	c stratification level: 213
0.19/0.24	c bounds -4904 >= -532043 @ 0.184164
0.19/0.24	c stratification level: 212
0.19/0.24	c bounds -4949 >= -530347 @ 0.186758
0.19/0.24	c stratification level: 211
0.19/0.25	c bounds -5179 >= -529292 @ 0.19091
0.19/0.25	c stratification level: 210
0.19/0.26	c bounds -5197 >= -527822 @ 0.199105
0.19/0.26	c stratification level: 209
0.19/0.26	c bounds -5281 >= -525941 @ 0.204524
0.19/0.26	c stratification level: 208
0.19/0.27	c bounds -5366 >= -524901 @ 0.205703
0.19/0.27	c stratification level: 207
0.19/0.27	c bounds -5386 >= -523864 @ 0.208133
0.19/0.27	c stratification level: 206
0.19/0.28	c bounds -5386 >= -522216 @ 0.21009
0.19/0.28	c finalizing WCE round: reformulating cores
0.19/0.28	c bounds -5429 >= -522216 @ 0.218542
0.19/0.28	c bounds -5433 >= -522216 @ 0.21966
0.19/0.28	c stratification level: 205
0.19/0.28	c bounds -5470 >= -520986 @ 0.221857
0.19/0.28	c stratification level: 204
0.19/0.29	c bounds -5470 >= -519148 @ 0.222976
0.19/0.29	c finalizing WCE round: reformulating cores
0.19/0.30	c bounds -5512 >= -519148 @ 0.231864
0.19/0.30	c bounds -5579 >= -519148 @ 0.233224
0.19/0.30	c stratification level: 203
0.29/0.34	c bounds -5579 >= -517521 @ 0.234448
0.29/0.34	c finalizing WCE round: reformulating cores
0.29/0.35	c bounds -5628 >= -517521 @ 0.277344
0.29/0.35	c bounds -5705 >= -517521 @ 0.279106
0.29/0.35	c stratification level: 202
0.29/0.36	c bounds -5711 >= -516107 @ 0.286926
0.29/0.36	c stratification level: 201
0.89/0.96	c bounds -5711 >= -514097 @ 0.289699
0.89/0.96	c finalizing WCE round: reformulating cores
0.89/0.96	c bounds -5751 >= -514097 @ 0.866837
0.89/0.96	c bounds -5758 >= -514097 @ 0.868507
0.89/0.96	c stratification level: 200
0.99/1.08	c bounds -5771 >= -513096 @ 0.983046
0.99/1.08	c stratification level: 199
1.29/1.38	c bounds -5777 >= -511301 @ 1.27072
1.29/1.38	c stratification level: 198
1.29/1.39	c bounds -5864 >= -509913 @ 1.28258
1.29/1.39	c stratification level: 197
1.79/1.87	c #Conflicts:       1000 | #Constraints:       1491
1.79/1.87	c bounds -5865 >= -507941 @ 1.75531
1.79/1.87	c stratification level: 196
1.88/1.90	c bounds -5865 >= -504999 @ 1.75812
1.88/1.90	c finalizing WCE round: reformulating cores
1.88/1.91	c bounds -5868 >= -504999 @ 1.78828
1.88/1.91	c bounds -5910 >= -504999 @ 1.79252
1.88/1.91	c stratification level: 195
1.88/1.93	c bounds -5945 >= -502852 @ 1.80449
1.88/1.93	c stratification level: 194
1.88/1.99	c bounds -5957 >= -500524 @ 1.86137
1.88/1.99	c stratification level: 193
2.28/2.35	c bounds -5957 >= -497817 @ 1.86436
2.28/2.35	c finalizing WCE round: reformulating cores
3.28/3.34	c bounds -6009 >= -497817 @ 3.13491
3.28/3.34	c bounds -6023 >= -497817 @ 3.17522
3.28/3.34	c stratification level: 192
3.68/3.72	c bounds -6030 >= -495513 @ 3.5495
3.68/3.72	c stratification level: 191
3.88/3.95	c bounds -6045 >= -493412 @ 3.77444
3.88/3.95	c stratification level: 190
4.48/4.53	c #Conflicts:       2000 | #Constraints:       2574
4.48/4.53	c INPROCESSING
4.48/4.53	c GARBAGE COLLECT
4.48/4.53	c bounds -6074 >= -490560 @ 4.35132
4.48/4.53	c stratification level: 189
4.77/4.87	c bounds -6078 >= -489426 @ 4.68639
4.77/4.87	c stratification level: 188
4.98/5.08	c bounds -6078 >= -486974 @ 4.69544
4.98/5.08	c finalizing WCE round: reformulating cores
5.37/5.48	c bounds -6123 >= -486974 @ 5.01812
5.37/5.48	c bounds -6128 >= -486974 @ 5.28578
5.37/5.48	c stratification level: 187
6.17/6.26	c bounds -6136 >= -484730 @ 6.05136
6.17/6.26	c stratification level: 186
6.77/6.85	c #Conflicts:       3000 | #Constraints:       2543
6.77/6.85	c bounds -6160 >= -481375 @ 6.63239
6.77/6.85	c stratification level: 185
6.87/6.93	c bounds -6160 >= -479150 @ 6.63716
6.87/6.93	c finalizing WCE round: reformulating cores
9.26/9.30	c #Conflicts:       4000 | #Constraints:       3559
9.26/9.30	c bounds -6176 >= -479150 @ 8.59946
9.26/9.30	c bounds -6186 >= -479150 @ 9.03873
9.26/9.30	c stratification level: 184
10.07/10.18	c bounds -6186 >= -477861 @ 9.04573
10.07/10.18	c INPROCESSING
10.07/10.18	c GARBAGE COLLECT
10.07/10.18	c finalizing WCE round: reformulating cores
12.86/12.94	c #Conflicts:       5000 | #Constraints:       2966
12.86/12.94	c bounds -6191 >= -477861 @ 11.4457
12.86/12.94	c bounds -6197 >= -477861 @ 12.6412
12.86/12.94	c stratification level: 183
13.15/13.26	c bounds -6208 >= -474201 @ 12.9565
13.15/13.26	c stratification level: 182
13.65/13.73	c bounds -6214 >= -471835 @ 13.4249
13.65/13.73	c stratification level: 181
13.65/13.77	c bounds -6229 >= -469301 @ 13.4617
13.65/13.77	c stratification level: 180
14.84/14.93	c bounds -6229 >= -466601 @ 13.4735
14.84/14.93	c #Conflicts:       6000 | #Constraints:       4009
14.84/14.93	c finalizing WCE round: reformulating cores
14.84/14.98	c bounds -6255 >= -466601 @ 14.6468
14.84/14.98	c bounds -6280 >= -466601 @ 14.6576
14.84/14.98	c stratification level: 179
15.64/15.74	c bounds -6280 >= -464272 @ 14.669
15.64/15.74	c finalizing WCE round: reformulating cores
23.63/23.73	c INPROCESSING
23.63/23.73	c GARBAGE COLLECT
23.63/23.73	c #Conflicts:       7000 | #Constraints:       3032
23.63/23.73	c bounds -6323 >= -464272 @ 18.694
23.63/23.73	c #Conflicts:       8000 | #Constraints:       4032
23.63/23.73	c bounds -6331 >= -464272 @ 23.3388
23.63/23.73	c stratification level: 178
39.27/39.48	c #Conflicts:       9000 | #Constraints:       5046
39.27/39.48	c INPROCESSING
39.27/39.48	c GARBAGE COLLECT
39.27/39.48	c #Conflicts:      10000 | #Constraints:       3748
39.27/39.48	c #Conflicts:      11000 | #Constraints:       4748
39.27/39.48	c #Conflicts:      12000 | #Constraints:       5748
39.27/39.48	c INPROCESSING
39.27/39.48	c GARBAGE COLLECT
39.27/39.48	c bounds -6336 >= -461066 @ 38.981
39.27/39.48	c stratification level: 177
39.48/39.69	c bounds -6337 >= -457879 @ 39.1901
39.48/39.69	c stratification level: 176
40.18/40.38	c bounds -6337 >= -454354 @ 39.2787
40.18/40.38	c #Conflicts:      13000 | #Constraints:       4237
40.18/40.38	c finalizing WCE round: reformulating cores
40.47/40.61	c bounds -6349 >= -454354 @ 39.9243
40.47/40.61	c bounds -6370 >= -454354 @ 40.1013
40.47/40.61	c stratification level: 175
60.21/60.46	c bounds -6370 >= -450154 @ 40.2168
60.21/60.46	c #Conflicts:      14000 | #Constraints:       5260
60.21/60.46	c #Conflicts:      15000 | #Constraints:       6260
60.21/60.46	c INPROCESSING
60.21/60.46	c GARBAGE COLLECT
60.21/60.46	c #Conflicts:      16000 | #Constraints:       4489
60.21/60.46	c #Conflicts:      17000 | #Constraints:       5489
60.21/60.46	c finalizing WCE round: reformulating cores
115.06/115.45	c #Conflicts:      18000 | #Constraints:       6492
115.06/115.45	c INPROCESSING
115.06/115.45	c GARBAGE COLLECT
115.06/115.45	c bounds -6381 >= -450154 @ 64.1372
115.06/115.45	c #Conflicts:      19000 | #Constraints:       4503
115.06/115.45	c #Conflicts:      20000 | #Constraints:       5503
115.06/115.45	c #Conflicts:      21000 | #Constraints:       6503
115.06/115.45	c INPROCESSING
115.06/115.45	c GARBAGE COLLECT
115.06/115.45	c #Conflicts:      22000 | #Constraints:       4325
115.06/115.45	c #Conflicts:      23000 | #Constraints:       5325
115.06/115.45	c #Conflicts:      24000 | #Constraints:       6325
115.06/115.45	c #Conflicts:      25000 | #Constraints:       7325
115.06/115.45	c INPROCESSING
115.06/115.45	c GARBAGE COLLECT
115.06/115.45	c #Conflicts:      26000 | #Constraints:       4933
115.06/115.45	c #Conflicts:      27000 | #Constraints:       5933
115.06/115.45	c #Conflicts:      28000 | #Constraints:       6933
115.06/115.45	c #Conflicts:      29000 | #Constraints:       7933
115.06/115.45	c INPROCESSING
115.06/115.45	c GARBAGE COLLECT
115.06/115.45	c #Conflicts:      30000 | #Constraints:       5345
115.06/115.45	c bounds -6382 >= -450154 @ 114.429
115.06/115.45	c stratification level: 174
123.13/123.52	c #Conflicts:      31000 | #Constraints:       6356
123.13/123.52	c #Conflicts:      32000 | #Constraints:       7356
123.13/123.52	c bounds -6395 >= -448064 @ 122.463
123.13/123.52	c stratification level: 173
221.44/222.13	c bounds -6395 >= -444760 @ 123.4
221.44/222.13	c #Conflicts:      33000 | #Constraints:       8373
221.44/222.13	c INPROCESSING
221.44/222.13	c GARBAGE COLLECT
221.44/222.13	c #Conflicts:      34000 | #Constraints:       5564
221.44/222.13	c #Conflicts:      35000 | #Constraints:       6564
221.44/222.13	c #Conflicts:      36000 | #Constraints:       7564
221.44/222.13	c #Conflicts:      37000 | #Constraints:       8564
221.44/222.13	c INPROCESSING
221.44/222.13	c GARBAGE COLLECT
221.44/222.13	c #Conflicts:      38000 | #Constraints:       5555
221.44/222.13	c #Conflicts:      39000 | #Constraints:       6555
221.44/222.13	c #Conflicts:      40000 | #Constraints:       7555
221.44/222.13	c #Conflicts:      41000 | #Constraints:       8555
221.44/222.13	c INPROCESSING
221.44/222.13	c GARBAGE COLLECT
221.44/222.13	c #Conflicts:      42000 | #Constraints:       5362
221.44/222.13	c #Conflicts:      43000 | #Constraints:       6362
221.44/222.13	c #Conflicts:      44000 | #Constraints:       7362
221.44/222.13	c #Conflicts:      45000 | #Constraints:       8362
221.44/222.13	c #Conflicts:      46000 | #Constraints:       9362
221.44/222.13	c INPROCESSING
221.44/222.13	c GARBAGE COLLECT
221.44/222.13	c #Conflicts:      47000 | #Constraints:       5960
221.44/222.13	c #Conflicts:      48000 | #Constraints:       6960
221.44/222.13	c #Conflicts:      49000 | #Constraints:       7960
221.44/222.13	c #Conflicts:      50000 | #Constraints:       8960
221.44/222.13	c #Conflicts:      51000 | #Constraints:       9960
221.44/222.13	c INPROCESSING
221.44/222.13	c GARBAGE COLLECT
221.44/222.13	c finalizing WCE round: reformulating cores
371.69/372.80	c bounds -6412 >= -444760 @ 223.22
371.69/372.80	c #Conflicts:      52000 | #Constraints:       6374
371.69/372.80	c #Conflicts:      53000 | #Constraints:       7374
371.69/372.80	c #Conflicts:      54000 | #Constraints:       8374
371.69/372.80	c #Conflicts:      55000 | #Constraints:       9374
371.69/372.80	c #Conflicts:      56000 | #Constraints:      10374
371.69/372.80	c INPROCESSING
371.69/372.80	c GARBAGE COLLECT
371.69/372.80	c #Conflicts:      57000 | #Constraints:       6580
371.69/372.80	c #Conflicts:      58000 | #Constraints:       7580
371.69/372.80	c #Conflicts:      59000 | #Constraints:       8580
371.69/372.80	c #Conflicts:      60000 | #Constraints:       9580
371.69/372.80	c #Conflicts:      61000 | #Constraints:      10580
371.69/372.80	c INPROCESSING
371.69/372.80	c GARBAGE COLLECT
371.69/372.80	c #Conflicts:      62000 | #Constraints:       6593
371.69/372.80	c #Conflicts:      63000 | #Constraints:       7593
371.69/372.80	c #Conflicts:      64000 | #Constraints:       8593
371.69/372.80	c #Conflicts:      65000 | #Constraints:       9593
371.69/372.80	c #Conflicts:      66000 | #Constraints:      10593
371.69/372.80	c INPROCESSING
371.69/372.80	c GARBAGE COLLECT
371.69/372.80	c #Conflicts:      67000 | #Constraints:       6392
371.69/372.80	c #Conflicts:      68000 | #Constraints:       7392
371.69/372.80	c #Conflicts:      69000 | #Constraints:       8392
371.69/372.80	c #Conflicts:      70000 | #Constraints:       9392
371.69/372.80	c #Conflicts:      71000 | #Constraints:      10392
371.69/372.80	c #Conflicts:      72000 | #Constraints:      11392
371.69/372.80	c INPROCESSING
371.69/372.80	c GARBAGE COLLECT
371.69/372.80	c #Conflicts:      73000 | #Constraints:       6996
371.69/372.80	c #Conflicts:      74000 | #Constraints:       7996
371.69/372.80	c #Conflicts:      75000 | #Constraints:       8996
371.69/372.80	c bounds -6422 >= -444760 @ 370.319
371.69/372.80	c stratification level: 172
393.43/394.66	c bounds -6422 >= -441642 @ 371.084
393.43/394.66	c #Conflicts:      76000 | #Constraints:      10014
393.43/394.66	c #Conflicts:      77000 | #Constraints:      11014
393.43/394.66	c #Conflicts:      78000 | #Constraints:      12014
393.43/394.66	c INPROCESSING
393.43/394.66	c GARBAGE COLLECT
393.43/394.66	c finalizing WCE round: reformulating cores
485.77/487.25	c #Conflicts:      79000 | #Constraints:       7407
485.77/487.25	c bounds -6469 >= -441642 @ 396.043
485.77/487.25	c #Conflicts:      80000 | #Constraints:       8408
485.77/487.25	c #Conflicts:      81000 | #Constraints:       9408
485.77/487.25	c #Conflicts:      82000 | #Constraints:      10408
485.77/487.25	c #Conflicts:      83000 | #Constraints:      11408
485.77/487.25	c #Conflicts:      84000 | #Constraints:      12408
485.77/487.25	c INPROCESSING
485.77/487.25	c GARBAGE COLLECT
485.77/487.25	c #Conflicts:      85000 | #Constraints:       7603
485.77/487.25	c #Conflicts:      86000 | #Constraints:       8603
485.77/487.25	c #Conflicts:      87000 | #Constraints:       9603
485.77/487.25	c #Conflicts:      88000 | #Constraints:      10603
485.77/487.25	c #Conflicts:      89000 | #Constraints:      11603
485.77/487.25	c #Conflicts:      90000 | #Constraints:      12603
485.77/487.25	c INPROCESSING
485.77/487.25	c GARBAGE COLLECT
485.77/487.25	c #Conflicts:      91000 | #Constraints:       7603
485.77/487.25	c #Conflicts:      92000 | #Constraints:       8603
485.77/487.25	c #Conflicts:      93000 | #Constraints:       9603
485.77/487.25	c bounds -6475 >= -441642 @ 484.203
485.77/487.25	c stratification level: 171
689.91/692.00	c bounds -6475 >= -439380 @ 484.801
689.91/692.00	c #Conflicts:      94000 | #Constraints:      10618
689.91/692.00	c #Conflicts:      95000 | #Constraints:      11618
689.91/692.00	c #Conflicts:      96000 | #Constraints:      12618
689.91/692.00	c INPROCESSING
689.91/692.00	c GARBAGE COLLECT
689.91/692.00	c #Conflicts:      97000 | #Constraints:       7424
689.91/692.00	c #Conflicts:      98000 | #Constraints:       8424
689.91/692.00	c #Conflicts:      99000 | #Constraints:       9424
689.91/692.00	c #Conflicts:     100000 | #Constraints:      10424
689.91/692.00	c #Conflicts:     101000 | #Constraints:      11424
689.91/692.00	c #Conflicts:     102000 | #Constraints:      12424
689.91/692.00	c #Conflicts:     103000 | #Constraints:      13424
689.91/692.00	c INPROCESSING
689.91/692.00	c GARBAGE COLLECT
689.91/692.00	c #Conflicts:     104000 | #Constraints:       8015
689.91/692.00	c #Conflicts:     105000 | #Constraints:       9015
689.91/692.00	c #Conflicts:     106000 | #Constraints:      10015
689.91/692.00	c #Conflicts:     107000 | #Constraints:      11015
689.91/692.00	c #Conflicts:     108000 | #Constraints:      12015
689.91/692.00	c #Conflicts:     109000 | #Constraints:      13015
689.91/692.00	c #Conflicts:     110000 | #Constraints:      14015
689.91/692.00	c INPROCESSING
689.91/692.00	c GARBAGE COLLECT
689.91/692.00	c #Conflicts:     111000 | #Constraints:       8413
689.91/692.00	c #Conflicts:     112000 | #Constraints:       9413
689.91/692.00	c #Conflicts:     113000 | #Constraints:      10413
689.91/692.00	c #Conflicts:     114000 | #Constraints:      11413
689.91/692.00	c #Conflicts:     115000 | #Constraints:      12413
689.91/692.00	c #Conflicts:     116000 | #Constraints:      13413
689.91/692.00	c #Conflicts:     117000 | #Constraints:      14413
689.91/692.00	c INPROCESSING
689.91/692.00	c GARBAGE COLLECT
689.91/692.00	c #Conflicts:     118000 | #Constraints:       8620
689.91/692.00	c #Conflicts:     119000 | #Constraints:       9620
689.91/692.00	c #Conflicts:     120000 | #Constraints:      10620
689.91/692.00	c #Conflicts:     121000 | #Constraints:      11620
689.91/692.00	c #Conflicts:     122000 | #Constraints:      12620
689.91/692.00	c #Conflicts:     123000 | #Constraints:      13620
689.91/692.00	c finalizing WCE round: reformulating cores
870.96/873.44	c #Conflicts:     124000 | #Constraints:      14623
870.96/873.44	c bounds -6478 >= -439380 @ 693.116
870.96/873.44	c INPROCESSING
870.96/873.44	c GARBAGE COLLECT
870.96/873.44	c #Conflicts:     125000 | #Constraints:       8616
870.96/873.44	c #Conflicts:     126000 | #Constraints:       9616
870.96/873.44	c #Conflicts:     127000 | #Constraints:      10616
870.96/873.44	c #Conflicts:     128000 | #Constraints:      11616
870.96/873.44	c #Conflicts:     129000 | #Constraints:      12616
870.96/873.44	c #Conflicts:     130000 | #Constraints:      13616
870.96/873.44	c #Conflicts:     131000 | #Constraints:      14616
870.96/873.44	c INPROCESSING
870.96/873.44	c GARBAGE COLLECT
870.96/873.44	c #Conflicts:     132000 | #Constraints:       8416
870.96/873.44	c #Conflicts:     133000 | #Constraints:       9416
870.96/873.44	c #Conflicts:     134000 | #Constraints:      10416
870.96/873.44	c #Conflicts:     135000 | #Constraints:      11416
870.96/873.44	c #Conflicts:     136000 | #Constraints:      12416
870.96/873.44	c #Conflicts:     137000 | #Constraints:      13416
870.96/873.44	c #Conflicts:     138000 | #Constraints:      14416
870.96/873.44	c #Conflicts:     139000 | #Constraints:      15416
870.96/873.44	c INPROCESSING
870.96/873.44	c GARBAGE COLLECT
870.96/873.44	c #Conflicts:     140000 | #Constraints:       9024
870.96/873.44	c #Conflicts:     141000 | #Constraints:      10024
870.96/873.44	c #Conflicts:     142000 | #Constraints:      11024
870.96/873.44	c #Conflicts:     143000 | #Constraints:      12024
870.96/873.44	c #Conflicts:     144000 | #Constraints:      13024
870.96/873.44	c #Conflicts:     145000 | #Constraints:      14024
870.96/873.44	c #Conflicts:     146000 | #Constraints:      15024
870.96/873.44	c #Conflicts:     147000 | #Constraints:      16024
870.96/873.44	c INPROCESSING
870.96/873.44	c GARBAGE COLLECT
870.96/873.44	c #Conflicts:     148000 | #Constraints:       9431
870.96/873.44	c #Conflicts:     149000 | #Constraints:      10431
870.96/873.44	c #Conflicts:     150000 | #Constraints:      11431
870.96/873.44	c bounds -6481 >= -439380 @ 868.562
870.96/873.44	c stratification level: 170
875.45/877.97	c bounds -6481 >= -435950 @ 869.762
875.45/877.97	c #Conflicts:     151000 | #Constraints:      12448
875.45/877.97	c finalizing WCE round: reformulating cores
978.87/981.68	c #Conflicts:     152000 | #Constraints:      13451
978.87/981.68	c bounds -6487 >= -435950 @ 879.129
978.87/981.68	c #Conflicts:     153000 | #Constraints:      14451
978.87/981.68	c #Conflicts:     154000 | #Constraints:      15451
978.87/981.68	c #Conflicts:     155000 | #Constraints:      16451
978.87/981.68	c INPROCESSING
978.87/981.68	c GARBAGE COLLECT
978.87/981.68	c #Conflicts:     156000 | #Constraints:       9645
978.87/981.68	c #Conflicts:     157000 | #Constraints:      10645
978.87/981.68	c #Conflicts:     158000 | #Constraints:      11645
978.87/981.68	c #Conflicts:     159000 | #Constraints:      12645
978.87/981.68	c #Conflicts:     160000 | #Constraints:      13645
978.87/981.68	c #Conflicts:     161000 | #Constraints:      14645
978.87/981.68	c #Conflicts:     162000 | #Constraints:      15645
978.87/981.68	c #Conflicts:     163000 | #Constraints:      16645
978.87/981.68	c INPROCESSING
978.87/981.68	c GARBAGE COLLECT
978.87/981.68	c #Conflicts:     164000 | #Constraints:       9645
978.87/981.68	c bounds -6488 >= -435950 @ 976.299
978.87/981.68	c stratification level: 169
1138.65/1141.80	c #Conflicts:     165000 | #Constraints:      10657
1138.65/1141.80	c #Conflicts:     166000 | #Constraints:      11657
1138.65/1141.80	c bounds -6488 >= -433230 @ 996.193
1138.65/1141.80	c #Conflicts:     167000 | #Constraints:      12658
1138.65/1141.80	c #Conflicts:     168000 | #Constraints:      13658
1138.65/1141.80	c #Conflicts:     169000 | #Constraints:      14658
1138.65/1141.80	c #Conflicts:     170000 | #Constraints:      15658
1138.65/1141.80	c #Conflicts:     171000 | #Constraints:      16658
1138.65/1141.80	c INPROCESSING
1138.65/1141.80	c GARBAGE COLLECT
1138.65/1141.80	c #Conflicts:     172000 | #Constraints:       9463
1138.65/1141.80	c #Conflicts:     173000 | #Constraints:      10463
1138.65/1141.80	c #Conflicts:     174000 | #Constraints:      11463
1138.65/1141.80	c #Conflicts:     175000 | #Constraints:      12463
1138.65/1141.80	c #Conflicts:     176000 | #Constraints:      13463
1138.65/1141.80	c #Conflicts:     177000 | #Constraints:      14463
1138.65/1141.80	c #Conflicts:     178000 | #Constraints:      15463
1138.65/1141.80	c #Conflicts:     179000 | #Constraints:      16463
1138.65/1141.80	c finalizing WCE round: reformulating cores
1196.50/1199.81	c #Conflicts:     180000 | #Constraints:      17466
1196.50/1199.81	c INPROCESSING
1196.50/1199.81	c GARBAGE COLLECT
1196.50/1199.81	c bounds -6491 >= -433230 @ 1152.6
1196.50/1199.81	c #Conflicts:     181000 | #Constraints:      10067
1196.50/1199.81	c #Conflicts:     182000 | #Constraints:      11067
1196.50/1199.81	c #Conflicts:     183000 | #Constraints:      12067
1196.50/1199.81	c #Conflicts:     184000 | #Constraints:      13067
1196.50/1199.81	c #Conflicts:     185000 | #Constraints:      14067
1196.50/1199.81	c #Conflicts:     186000 | #Constraints:      15067
1196.50/1199.81	c bounds -6498 >= -433230 @ 1193.45
1196.50/1199.81	c stratification level: 168
1281.08/1284.68	c bounds -6498 >= -430503 @ 1194.52
1281.08/1284.68	c #Conflicts:     187000 | #Constraints:      16086
1281.08/1284.68	c #Conflicts:     188000 | #Constraints:      17086
1281.08/1284.68	c #Conflicts:     189000 | #Constraints:      18086
1281.08/1284.68	c INPROCESSING
1281.08/1284.68	c GARBAGE COLLECT
1281.08/1284.68	c #Conflicts:     190000 | #Constraints:      10496
1281.08/1284.68	c #Conflicts:     191000 | #Constraints:      11496
1281.08/1284.68	c #Conflicts:     192000 | #Constraints:      12496
1281.08/1284.68	c #Conflicts:     193000 | #Constraints:      13496
1281.08/1284.68	c #Conflicts:     194000 | #Constraints:      14496
1281.08/1284.68	c finalizing WCE round: reformulating cores
1283.48/1287.01	c bounds -6506 >= -430503 @ 1278.42
1283.48/1287.01	c bounds -6524 >= -430503 @ 1280.27
1283.48/1287.01	c stratification level: 167
2053.12/2058.77	c bounds -6524 >= -427431 @ 1281.62
2053.12/2058.77	c #Conflicts:     195000 | #Constraints:      15520
2053.12/2058.77	c #Conflicts:     196000 | #Constraints:      16520
2053.12/2058.77	c #Conflicts:     197000 | #Constraints:      17520
2053.12/2058.77	c #Conflicts:     198000 | #Constraints:      18520
2053.12/2058.77	c INPROCESSING
2053.12/2058.77	c GARBAGE COLLECT
2053.12/2058.77	c #Conflicts:     199000 | #Constraints:      10707
2053.12/2058.77	c #Conflicts:     200000 | #Constraints:      11707
2053.12/2058.77	c #Conflicts:     201000 | #Constraints:      12707
2053.12/2058.77	c #Conflicts:     202000 | #Constraints:      13707
2053.12/2058.77	c #Conflicts:     203000 | #Constraints:      14707
2053.12/2058.77	c #Conflicts:     204000 | #Constraints:      15707
2053.12/2058.77	c #Conflicts:     205000 | #Constraints:      16707
2053.12/2058.77	c #Conflicts:     206000 | #Constraints:      17707
2053.12/2058.77	c #Conflicts:     207000 | #Constraints:      18707
2053.12/2058.77	c INPROCESSING
2053.12/2058.77	c GARBAGE COLLECT
2053.12/2058.77	c #Conflicts:     208000 | #Constraints:      10717
2053.12/2058.77	c #Conflicts:     209000 | #Constraints:      11717
2053.12/2058.77	c #Conflicts:     210000 | #Constraints:      12717
2053.12/2058.77	c #Conflicts:     211000 | #Constraints:      13717
2053.12/2058.77	c #Conflicts:     212000 | #Constraints:      14717
2053.12/2058.77	c #Conflicts:     213000 | #Constraints:      15717
2053.12/2058.77	c #Conflicts:     214000 | #Constraints:      16717
2053.12/2058.77	c #Conflicts:     215000 | #Constraints:      17717
2053.12/2058.77	c #Conflicts:     216000 | #Constraints:      18717
2053.12/2058.77	c INPROCESSING
2053.12/2058.77	c GARBAGE COLLECT
2053.12/2058.77	c #Conflicts:     217000 | #Constraints:      10510
2053.12/2058.77	c #Conflicts:     218000 | #Constraints:      11510
2053.12/2058.77	c #Conflicts:     219000 | #Constraints:      12510
2053.12/2058.77	c #Conflicts:     220000 | #Constraints:      13510
2053.12/2058.77	c #Conflicts:     221000 | #Constraints:      14510
2053.12/2058.77	c #Conflicts:     222000 | #Constraints:      15510
2053.12/2058.77	c #Conflicts:     223000 | #Constraints:      16510
2053.12/2058.77	c #Conflicts:     224000 | #Constraints:      17510
2053.12/2058.77	c #Conflicts:     225000 | #Constraints:      18510
2053.12/2058.77	c #Conflicts:     226000 | #Constraints:      19510
2053.12/2058.77	c INPROCESSING
2053.12/2058.77	c GARBAGE COLLECT
2053.12/2058.77	c #Conflicts:     227000 | #Constraints:      11103
2053.12/2058.77	c #Conflicts:     228000 | #Constraints:      12103
2053.12/2058.77	c #Conflicts:     229000 | #Constraints:      13103
2053.12/2058.77	c #Conflicts:     230000 | #Constraints:      14103
2053.12/2058.77	c #Conflicts:     231000 | #Constraints:      15103
2053.12/2058.77	c #Conflicts:     232000 | #Constraints:      16103
2053.12/2058.77	c #Conflicts:     233000 | #Constraints:      17103
2053.12/2058.77	c #Conflicts:     234000 | #Constraints:      18103
2053.12/2058.77	c #Conflicts:     235000 | #Constraints:      19103
2053.12/2058.77	c #Conflicts:     236000 | #Constraints:      20103
2053.12/2058.77	c INPROCESSING
2053.12/2058.77	c GARBAGE COLLECT
2053.12/2058.77	c #Conflicts:     237000 | #Constraints:      11514
2053.12/2058.77	c #Conflicts:     238000 | #Constraints:      12514
2053.12/2058.77	c #Conflicts:     239000 | #Constraints:      13514
2053.12/2058.77	c #Conflicts:     240000 | #Constraints:      14514
2053.12/2058.77	c #Conflicts:     241000 | #Constraints:      15514
2053.12/2058.77	c #Conflicts:     242000 | #Constraints:      16514
2053.12/2058.77	c #Conflicts:     243000 | #Constraints:      17514
2053.12/2058.77	c #Conflicts:     244000 | #Constraints:      18514
2053.12/2058.77	c #Conflicts:     245000 | #Constraints:      19514
2053.12/2058.77	c #Conflicts:     246000 | #Constraints:      20514
2053.12/2058.77	c INPROCESSING
2053.12/2058.77	c GARBAGE COLLECT
2053.12/2058.77	c #Conflicts:     247000 | #Constraints:      11720
2053.12/2058.77	c #Conflicts:     248000 | #Constraints:      12720
2053.12/2058.77	c #Conflicts:     249000 | #Constraints:      13720
2053.12/2058.77	c #Conflicts:     250000 | #Constraints:      14720
2053.12/2058.77	c #Conflicts:     251000 | #Constraints:      15720
2053.12/2058.77	c #Conflicts:     252000 | #Constraints:      16720
2053.12/2058.77	c #Conflicts:     253000 | #Constraints:      17720
2053.12/2058.77	c #Conflicts:     254000 | #Constraints:      18720
2053.12/2058.77	c #Conflicts:     255000 | #Constraints:      19720
2053.12/2058.77	c #Conflicts:     256000 | #Constraints:      20720
2053.12/2058.77	c INPROCESSING
2053.12/2058.77	c GARBAGE COLLECT
2053.12/2058.77	c #Conflicts:     257000 | #Constraints:      11705
2053.12/2058.77	c #Conflicts:     258000 | #Constraints:      12705
2053.12/2058.77	c #Conflicts:     259000 | #Constraints:      13705
2053.12/2058.77	c #Conflicts:     260000 | #Constraints:      14705
2053.12/2058.77	c #Conflicts:     261000 | #Constraints:      15705
2053.12/2058.77	c #Conflicts:     262000 | #Constraints:      16705
2053.12/2058.77	c #Conflicts:     263000 | #Constraints:      17705
2053.12/2058.77	c finalizing WCE round: reformulating cores
2245.10/2251.20	c #Conflicts:     264000 | #Constraints:      18708
2245.10/2251.20	c bounds -6545 >= -427431 @ 2058.33
2245.10/2251.20	c #Conflicts:     265000 | #Constraints:      19708
2245.10/2251.20	c #Conflicts:     266000 | #Constraints:      20708
2245.10/2251.20	c INPROCESSING
2245.10/2251.20	c GARBAGE COLLECT
2245.10/2251.20	c #Conflicts:     267000 | #Constraints:      11509
2245.10/2251.20	c #Conflicts:     268000 | #Constraints:      12509
2245.10/2251.20	c #Conflicts:     269000 | #Constraints:      13509
2245.10/2251.20	c #Conflicts:     270000 | #Constraints:      14509
2245.10/2251.20	c #Conflicts:     271000 | #Constraints:      15509
2245.10/2251.20	c #Conflicts:     272000 | #Constraints:      16509
2245.10/2251.20	c #Conflicts:     273000 | #Constraints:      17509
2245.10/2251.20	c #Conflicts:     274000 | #Constraints:      18509
2245.10/2251.20	c #Conflicts:     275000 | #Constraints:      19509
2245.10/2251.20	c #Conflicts:     276000 | #Constraints:      20509
2245.10/2251.20	c #Conflicts:     277000 | #Constraints:      21509
2245.10/2251.20	c INPROCESSING
2245.10/2251.20	c GARBAGE COLLECT
2245.10/2251.20	c #Conflicts:     278000 | #Constraints:      12110
2245.10/2251.20	c #Conflicts:     279000 | #Constraints:      13110
2245.10/2251.20	c #Conflicts:     280000 | #Constraints:      14110
2245.10/2251.20	c bounds -6550 >= -427431 @ 2240.27
2245.10/2251.20	c stratification level: 166
2337.55/2343.90	c bounds -6550 >= -424742 @ 2241.64
2337.55/2343.90	c #Conflicts:     281000 | #Constraints:      15130
2337.55/2343.90	c #Conflicts:     282000 | #Constraints:      16130
2337.55/2343.90	c #Conflicts:     283000 | #Constraints:      17130
2337.55/2343.90	c #Conflicts:     284000 | #Constraints:      18130
2337.55/2343.90	c #Conflicts:     285000 | #Constraints:      19130
2337.55/2343.90	c #Conflicts:     286000 | #Constraints:      20130
2337.55/2343.90	c #Conflicts:     287000 | #Constraints:      21130
2337.55/2343.90	c #Conflicts:     288000 | #Constraints:      22130
2337.55/2343.90	c INPROCESSING
2337.55/2343.90	c GARBAGE COLLECT
2337.55/2343.90	c finalizing WCE round: reformulating cores
2487.07/2493.84	c #Conflicts:     289000 | #Constraints:      12525
2487.07/2493.84	c bounds -6557 >= -424742 @ 2342.05
2487.07/2493.84	c #Conflicts:     290000 | #Constraints:      13525
2487.07/2493.84	c #Conflicts:     291000 | #Constraints:      14525
2487.07/2493.84	c #Conflicts:     292000 | #Constraints:      15525
2487.07/2493.84	c #Conflicts:     293000 | #Constraints:      16525
2487.07/2493.84	c #Conflicts:     294000 | #Constraints:      17525
2487.07/2493.84	c #Conflicts:     295000 | #Constraints:      18525
2487.07/2493.84	c #Conflicts:     296000 | #Constraints:      19525
2487.07/2493.84	c #Conflicts:     297000 | #Constraints:      20525
2487.07/2493.84	c #Conflicts:     298000 | #Constraints:      21525
2487.07/2493.84	c #Conflicts:     299000 | #Constraints:      22525
2487.07/2493.84	c INPROCESSING
2487.07/2493.84	c GARBAGE COLLECT
2487.07/2493.84	c bounds -6559 >= -424742 @ 2481.81
2487.07/2493.84	c stratification level: 165
2550.89/2557.87	c bounds -6559 >= -420066 @ 2483.17
2550.89/2557.87	c #Conflicts:     300000 | #Constraints:      12750
2550.89/2557.87	c #Conflicts:     301000 | #Constraints:      13750
2550.89/2557.87	c #Conflicts:     302000 | #Constraints:      14750
2550.89/2557.87	c #Conflicts:     303000 | #Constraints:      15750
2550.89/2557.87	c #Conflicts:     304000 | #Constraints:      16750
2550.89/2557.87	c finalizing WCE round: reformulating cores
3150.18/3158.70	c #Conflicts:     305000 | #Constraints:      17753
3150.18/3158.70	c bounds -6572 >= -420066 @ 2560.15
3150.18/3158.70	c #Conflicts:     306000 | #Constraints:      18753
3150.18/3158.70	c #Conflicts:     307000 | #Constraints:      19753
3150.18/3158.70	c #Conflicts:     308000 | #Constraints:      20753
3150.18/3158.70	c #Conflicts:     309000 | #Constraints:      21753
3150.18/3158.70	c #Conflicts:     310000 | #Constraints:      22753
3150.18/3158.70	c INPROCESSING
3150.18/3158.70	c GARBAGE COLLECT
3150.18/3158.70	c #Conflicts:     311000 | #Constraints:      12770
3150.18/3158.70	c #Conflicts:     312000 | #Constraints:      13770
3150.18/3158.70	c #Conflicts:     313000 | #Constraints:      14770
3150.18/3158.70	c #Conflicts:     314000 | #Constraints:      15770
3150.18/3158.70	c #Conflicts:     315000 | #Constraints:      16770
3150.18/3158.70	c #Conflicts:     316000 | #Constraints:      17770
3150.18/3158.70	c #Conflicts:     317000 | #Constraints:      18770
3150.18/3158.70	c #Conflicts:     318000 | #Constraints:      19770
3150.18/3158.70	c #Conflicts:     319000 | #Constraints:      20770
3150.18/3158.70	c #Conflicts:     320000 | #Constraints:      21770
3150.18/3158.70	c #Conflicts:     321000 | #Constraints:      22770
3150.18/3158.70	c INPROCESSING
3150.18/3158.70	c GARBAGE COLLECT
3150.18/3158.70	c #Conflicts:     322000 | #Constraints:      12573
3150.18/3158.70	c #Conflicts:     323000 | #Constraints:      13573
3150.18/3158.70	c #Conflicts:     324000 | #Constraints:      14573
3150.18/3158.70	c #Conflicts:     325000 | #Constraints:      15573
3150.18/3158.70	c #Conflicts:     326000 | #Constraints:      16573
3150.18/3158.70	c #Conflicts:     327000 | #Constraints:      17573
3150.18/3158.70	c #Conflicts:     328000 | #Constraints:      18573
3150.18/3158.70	c #Conflicts:     329000 | #Constraints:      19573
3150.18/3158.70	c #Conflicts:     330000 | #Constraints:      20573
3150.18/3158.70	c #Conflicts:     331000 | #Constraints:      21573
3150.18/3158.70	c #Conflicts:     332000 | #Constraints:      22573
3150.18/3158.70	c #Conflicts:     333000 | #Constraints:      23573
3150.18/3158.70	c INPROCESSING
3150.18/3158.70	c GARBAGE COLLECT
3150.18/3158.70	c #Conflicts:     334000 | #Constraints:      13145
3150.18/3158.70	c #Conflicts:     335000 | #Constraints:      14145
3150.18/3158.70	c #Conflicts:     336000 | #Constraints:      15145
3150.18/3158.70	c #Conflicts:     337000 | #Constraints:      16145
3150.18/3158.70	c #Conflicts:     338000 | #Constraints:      17145
3150.18/3158.70	c #Conflicts:     339000 | #Constraints:      18145
3150.18/3158.70	c #Conflicts:     340000 | #Constraints:      19145
3150.18/3158.70	c #Conflicts:     341000 | #Constraints:      20145
3150.18/3158.70	c #Conflicts:     342000 | #Constraints:      21145
3150.18/3158.70	c #Conflicts:     343000 | #Constraints:      22145
3150.18/3158.70	c #Conflicts:     344000 | #Constraints:      23145
3150.18/3158.70	c #Conflicts:     345000 | #Constraints:      24145
3150.18/3158.70	c INPROCESSING
3150.18/3158.70	c GARBAGE COLLECT
3150.18/3158.70	c #Conflicts:     346000 | #Constraints:      13552
3150.18/3158.70	c #Conflicts:     347000 | #Constraints:      14552
3150.18/3158.70	c #Conflicts:     348000 | #Constraints:      15552
3150.18/3158.70	c #Conflicts:     349000 | #Constraints:      16552
3150.18/3158.70	c #Conflicts:     350000 | #Constraints:      17552
3150.18/3158.70	c #Conflicts:     351000 | #Constraints:      18552
3150.18/3158.70	c #Conflicts:     352000 | #Constraints:      19552
3150.18/3158.70	c bounds -6577 >= -420066 @ 3143.79
3150.18/3158.70	c stratification level: 164
3410.38/3419.68	c bounds -6577 >= -417621 @ 3145.43
3410.38/3419.68	c #Conflicts:     353000 | #Constraints:      20575
3410.38/3419.68	c #Conflicts:     354000 | #Constraints:      21575
3410.38/3419.68	c #Conflicts:     355000 | #Constraints:      22575
3410.38/3419.68	c #Conflicts:     356000 | #Constraints:      23575
3410.38/3419.68	c #Conflicts:     357000 | #Constraints:      24575
3410.38/3419.68	c INPROCESSING
3410.38/3419.68	c GARBAGE COLLECT
3410.38/3419.68	c #Conflicts:     358000 | #Constraints:      13781
3410.38/3419.68	c #Conflicts:     359000 | #Constraints:      14781
3410.38/3419.68	c #Conflicts:     360000 | #Constraints:      15781
3410.38/3419.68	c #Conflicts:     361000 | #Constraints:      16781
3410.38/3419.68	c #Conflicts:     362000 | #Constraints:      17781
3410.38/3419.68	c #Conflicts:     363000 | #Constraints:      18781
3410.38/3419.68	c #Conflicts:     364000 | #Constraints:      19781
3410.38/3419.68	c #Conflicts:     365000 | #Constraints:      20781
3410.38/3419.68	c #Conflicts:     366000 | #Constraints:      21781
3410.38/3419.68	c #Conflicts:     367000 | #Constraints:      22781
3410.38/3419.68	c #Conflicts:     368000 | #Constraints:      23781
3410.38/3419.68	c #Conflicts:     369000 | #Constraints:      24781
3410.38/3419.68	c INPROCESSING
3410.38/3419.68	c GARBAGE COLLECT
3410.38/3419.68	c #Conflicts:     370000 | #Constraints:      13783
3410.38/3419.68	c #Conflicts:     371000 | #Constraints:      14783
3410.38/3419.68	c finalizing WCE round: reformulating cores
3423.15/3432.45	c #Conflicts:     372000 | #Constraints:      15786
3423.15/3432.45	c bounds -6583 >= -417621 @ 3409.34
3423.15/3432.45	c #Conflicts:     373000 | #Constraints:      16786
3423.15/3432.45	c bounds -6592 >= -417621 @ 3416.31
3423.15/3432.45	c stratification level: 163
3600.08/3609.80	c bounds -6592 >= -414436 @ 3418.32
3600.08/3609.80	c #Conflicts:     374000 | #Constraints:      17810
3600.08/3609.80	c #Conflicts:     375000 | #Constraints:      18810
3600.08/3609.80	c #Conflicts:     376000 | #Constraints:      19810
3600.08/3609.80	c #Conflicts:     377000 | #Constraints:      20810
3600.08/3609.80	c #Conflicts:     378000 | #Constraints:      21810
3600.08/3609.80	c #Conflicts:     379000 | #Constraints:      22810
3600.08/3609.80	c #Conflicts:     380000 | #Constraints:      23810
3600.08/3609.80	c #Conflicts:     381000 | #Constraints:      24810
3600.08/3609.80	c INPROCESSING
3600.08/3609.80	c GARBAGE COLLECT
3600.08/3609.80	c #Conflicts:     382000 | #Constraints:      13589
3600.08/3609.80	c #Conflicts:     383000 | #Constraints:      14589
3600.08/3609.80	c #Conflicts:     384000 | #Constraints:      15589
3600.08/3609.80	c #Conflicts:     385000 | #Constraints:      16589
3600.08/3609.80	c #Conflicts:     386000 | #Constraints:      17589
3600.08/3609.80	c Program interrupted by user.
3600.08/3609.81	c cpu time 3592.84 s
3600.08/3609.81	c deterministic time 475111995700 4.75e+11
3600.08/3609.81	c optimization time 144.601 s
3600.08/3609.81	c total solve time 3448.24 s
3600.08/3609.81	c core-guided solve time 3448.24 s
3600.08/3609.81	c propagation time 2607.12 s
3600.08/3609.81	c conflict analysis time 765.139 s
3600.08/3609.81	c propagations 69649632
3600.08/3609.81	c resolve steps 2230450
3600.08/3609.81	c decisions 3174281
3600.08/3609.81	c conflicts 386618
3600.08/3609.81	c restarts 930
3600.08/3609.81	c inprocessing phases 53
3600.08/3609.81	c input clauses 643
3600.08/3609.81	c input cardinalities 166
3600.08/3609.81	c input general constraints 222
3600.08/3609.81	c input average constraint length 744.70
3600.08/3609.81	c input average constraint degree 2930.51
3600.08/3609.81	c learned clauses 9204
3600.08/3609.81	c learned cardinalities 561
3600.08/3609.81	c learned general constraints 376865
3600.08/3609.81	c learned average constraint length 3259.49
3600.08/3609.81	c learned average constraint degree 295808044.61
3600.08/3609.81	c watched constraints 223212
3600.08/3609.81	c counting constraints 153875
3600.08/3609.81	c gcd simplifications 1561
3600.08/3609.81	c detected cardinalities 20
3600.08/3609.81	c weakened non-implied lits 319409108
3600.08/3609.81	c weakened non-implying lits 559604
3600.08/3609.81	c original variables 4585
3600.08/3609.81	c clausal propagations 7586585
3600.08/3609.81	c cardinality propagations 18043540
3600.08/3609.81	c watched propagations 5632881
3600.08/3609.81	c counting propagations 36186772
3600.08/3609.81	c watch lookups 41361945613
3600.08/3609.81	c watch backjump lookups 40979495325
3600.08/3609.81	c watch checks 218721419918
3600.08/3609.81	c propagation checks 169106395751
3600.08/3609.81	c constraint additions 4796709415
3600.08/3609.81	c trail pops 73205764
3600.08/3609.81	c formula constraints 168
3600.08/3609.81	c learned constraints 386630
3600.08/3609.81	c bound constraints 164
3600.08/3609.81	c core-guided constraints 699
3600.08/3609.81	c encountered formula constraints 1227446
3600.08/3609.81	c encountered learned constraints 1178657
3600.08/3609.81	c encountered bound constraints 5182
3600.08/3609.81	c encountered core-guided constraints 205783
3600.08/3609.81	c LP total time 0 s
3600.08/3609.81	c LP solve time 0 s
3600.08/3609.81	c LP constraints added 0
3600.08/3609.81	c LP constraints removed 0
3600.08/3609.81	c LP pivots internal 0
3600.08/3609.81	c LP pivots root 0
3600.08/3609.81	c LP calls 0
3600.08/3609.81	c LP optimalities 0
3600.08/3609.81	c LP no pivot count 0
3600.08/3609.81	c LP infeasibilities 0
3600.08/3609.81	c LP valid Farkas constraints 0
3600.08/3609.81	c LP learned Farkas constraints 0
3600.08/3609.81	c LP basis resets 0
3600.08/3609.81	c LP cycling count 0
3600.08/3609.81	c LP singular count 0
3600.08/3609.81	c LP no primal count 0
3600.08/3609.81	c LP no farkas count 0
3600.08/3609.81	c LP other issue count 0
3600.08/3609.81	c LP Gomory cuts 0
3600.08/3609.81	c LP learned cuts 0
3600.08/3609.81	c LP deleted cuts 0
3600.08/3609.81	c LP encountered Gomory constraints 0
3600.08/3609.81	c LP encountered Farkas constraints 0
3600.08/3609.81	c LP encountered learned Farkas constraints 0
3600.08/3609.81	c CG auxiliary variables introduced 658
3600.08/3609.81	c CG solutions found 113
3600.08/3609.81	c CG cores constructed 32
3600.08/3609.81	c CG core cardinality constraints returned 1
3600.08/3609.81	c CG unit cores 0
3600.08/3609.81	c CG single cores 32
3600.08/3609.81	c CG blocks removed during cardinality reduction 0
3600.08/3609.81	c CG first core best 0
3600.08/3609.81	c CG decision core best 0
3600.08/3609.81	c CG core reduction tie 0
3600.08/3609.81	c CG core degree average 1.03
3600.08/3609.81	c CG core slack average 2.50
3600.08/3609.81	c CG exhausted 1
3600.08/3609.81	c CG exhaust time 87.0488 s
3600.08/3609.81	c CG trimmed 0
3600.08/3609.81	c CG trim time 0.65715 s
3600.08/3609.81	c CG minimized 0
3600.08/3609.81	c CG minimize time 0 s
3600.08/3609.81	c CG am1 prop time 11.625 s
3600.08/3609.81	c CG # am1s reformulated 622
3600.08/3609.81	c CG lower bound derived from am1s 138031
3600.08/3609.81	c CG # clausal cores 31
3600.08/3609.81	c CG # cardinality cores 1
3600.08/3609.81	c CG # pb cores 0
3600.08/3609.81	c CG # pb reforms 24
3600.08/3609.81	c CG # cores discarded because of pb reform 0
3600.08/3609.81	d LOWERBOUND -414436
3600.08/3609.81	d NCORES 32
3600.08/3609.81	d NPBCORES 0
3600.08/3609.81	d NPBREFORM 24
3600.08/3609.81	d NTRIMMED 0
3600.08/3609.81	d NEXHAUSTED 1
3600.08/3609.81	d NAM1S 622
3600.08/3609.81	d AM1LB 138031
3600.08/3609.81	o -6592
3600.08/3609.81	s SATISFIABLE
3600.08/3609.81	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 (49289 MiB free)
  memory of node 1: 64510 MiB (60079 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462176-1722236576/watcher-4462176-1722236576 -o /tmp/evaluation-result-4462176-1722236576/solver-4462176-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722236576-400162 --watchdog 3760 pb-oll-rs HOME/instance-4462176-1722236576.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=400189, runsolver pid=400184
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 0.16 0.11 0.09 5/251 400208
/proc/meminfo: memFree=111968516/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=41832 memory=11548 CPUtime=0.09 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 1414 0 0 0 7 2 0 0 20 0 1 0 60181840 42835968 2887 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 10458 2887 1325 291 0 1992 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 11548 KiB

[startup+0.205964 s]*
/proc/loadavg: 0.16 0.11 0.09 6/253 400212
/proc/meminfo: memFree=111949976/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=41976 memory=12336 CPUtime=0.19 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 1626 0 0 0 15 4 0 0 20 0 1 0 60181840 42983424 3084 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 10494 3084 1325 291 0 2028 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41976 KiB
Current children cumulated memory: 12336 KiB

[startup+0.305227 s]*
/proc/loadavg: 0.16 0.11 0.09 6/257 400223
/proc/meminfo: memFree=111912332/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=45472 memory=14768 CPUtime=0.29 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 2233 0 0 0 23 6 0 0 20 0 1 0 60181840 46563328 3692 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 11368 3692 1325 291 0 2902 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45472 KiB
Current children cumulated memory: 14768 KiB

[startup+0.700174 s]
/proc/loadavg: 0.16 0.11 0.09 6/257 400223
/proc/meminfo: memFree=111878688/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=57612 memory=25620 CPUtime=0.68 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 3374 0 0 0 60 8 0 0 20 0 1 0 60181840 58994688 6405 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 14403 6405 1325 291 0 5937 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57612 KiB
Current children cumulated memory: 25620 KiB

[startup+1.50022 s]
/proc/loadavg: 0.16 0.11 0.09 6/257 400223
/proc/meminfo: memFree=111802264/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=70332 memory=38636 CPUtime=1.48 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 4065 0 0 0 138 10 0 0 20 0 1 0 60181840 72019968 9659 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 17583 9659 1325 291 0 9117 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 38636 KiB

[startup+3.10591 s]
/proc/loadavg: 0.47 0.17 0.12 6/257 400223
/proc/meminfo: memFree=111659832/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=125588 memory=68648 CPUtime=3.09 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 6522 0 0 0 294 15 0 0 20 0 1 0 60181840 128602112 17162 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 31397 17162 1325 291 0 22931 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125588 KiB
Current children cumulated memory: 68648 KiB

[startup+6.30021 s]
/proc/loadavg: 0.47 0.17 0.12 6/258 400226
/proc/meminfo: memFree=111503232/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=131008 memory=86672 CPUtime=6.27 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 7885 0 0 0 609 18 0 0 20 0 1 0 60181840 134152192 21668 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 32752 21668 1387 291 0 24286 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 131008 KiB
Current children cumulated memory: 86672 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.30 0.16 6/258 400226
/proc/meminfo: memFree=111245552/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=199676 memory=129660 CPUtime=12.66 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 13042 0 0 0 1240 26 0 0 20 0 1 0 60181840 204468224 32415 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 49919 32415 1387 291 0 41453 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 199676 KiB
Current children cumulated memory: 129660 KiB

[startup+25.5002 s]
/proc/loadavg: 1.47 0.42 0.20 6/258 400229
/proc/meminfo: memFree=110862444/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=228992 memory=184692 CPUtime=25.41 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 20217 0 0 0 2508 33 0 0 20 0 1 0 60181840 234487808 46173 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 57248 46173 1387 291 0 48782 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 228992 KiB
Current children cumulated memory: 184692 KiB

[startup+51.106 s]
/proc/loadavg: 2.41 0.73 0.31 7/257 400232
/proc/meminfo: memFree=110292692/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=273276 memory=239456 CPUtime=50.95 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 30914 0 0 0 5049 46 0 0 20 0 1 0 60181840 279834624 59864 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 68319 59864 1387 291 0 59853 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 273276 KiB
Current children cumulated memory: 239456 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.30 0.53 6/257 400241
/proc/meminfo: memFree=109555580/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=421928 memory=317060 CPUtime=101.99 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 45761 0 0 0 10134 65 0 0 20 0 1 0 60181840 432054272 79265 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 105482 79265 1387 291 0 97016 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 421928 KiB
Current children cumulated memory: 317060 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.80 0.75 6/256 400252
/proc/meminfo: memFree=108833432/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=516000 memory=424060 CPUtime=161.82 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 63826 0 0 0 16097 85 0 0 20 0 1 0 60181840 528384000 106015 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 129000 106015 1387 291 0 120534 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 516000 KiB
Current children cumulated memory: 424060 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.24 0.97 6/256 400263
/proc/meminfo: memFree=108307324/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=536432 memory=466452 CPUtime=221.64 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 68414 0 0 0 22065 99 0 0 20 0 1 0 60181840 549306368 116613 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 134108 116613 1387 291 0 125642 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 536432 KiB
Current children cumulated memory: 466452 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.58 1.17 6/256 400273
/proc/meminfo: memFree=107762460/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=706460 memory=527168 CPUtime=281.47 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 78024 0 0 0 28029 118 0 0 20 0 1 0 60181840 723415040 131792 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 176615 131792 1387 291 0 168149 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 706460 KiB
Current children cumulated memory: 527168 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.83 1.34 6/254 400285
/proc/meminfo: memFree=107533844/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=709264 memory=542312 CPUtime=341.28 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 78753 0 0 0 33996 132 0 0 20 0 1 0 60181840 726286336 135578 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 177316 135578 1387 291 0 168850 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 709264 KiB
Current children cumulated memory: 542312 KiB

[startup+402.3 s]
/proc/loadavg: 4.78 3.30 1.59 6/255 400296
/proc/meminfo: memFree=107399620/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=713872 memory=560680 CPUtime=401.12 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 79749 0 0 0 39965 147 0 0 20 0 1 0 60181840 731004928 140170 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 178468 140170 1387 291 0 170002 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 713872 KiB
Current children cumulated memory: 560680 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 3.43 1.75 6/258 400314
/proc/meminfo: memFree=107034268/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=743060 memory=604724 CPUtime=460.95 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 86748 0 0 0 45936 159 0 0 20 0 1 0 60181840 760893440 151181 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 185765 151181 1387 291 0 177299 0

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

Current children cumulated memory: 1142072 KiB

[startup+2862.3 s]
/proc/loadavg: 4.30 4.16 4.01 6/257 401366
/proc/meminfo: memFree=101207612/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1285356 memory=1147996 CPUtime=2854.57 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 154341 0 0 0 284871 586 0 0 20 0 1 0 60181840 1316204544 286999 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 321339 286999 1387 291 0 312873 0
Current children cumulated CPU time: 2854.57 s
Current children cumulated vsize: 1285356 KiB
Current children cumulated memory: 1147996 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.16 4.01 6/257 401377
/proc/meminfo: memFree=101127056/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1331056 memory=1185356 CPUtime=2914.4 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 164036 0 0 0 290845 595 0 0 20 0 1 0 60181840 1363001344 296339 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 332764 296339 1387 291 0 324298 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 1331056 KiB
Current children cumulated memory: 1185356 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.16 4.02 6/257 401388
/proc/meminfo: memFree=100839512/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1352560 memory=1211248 CPUtime=2974.25 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 168640 0 0 0 296817 608 0 0 20 0 1 0 60181840 1385021440 302812 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 338140 302812 1387 291 0 329674 0
Current children cumulated CPU time: 2974.25 s
Current children cumulated vsize: 1352560 KiB
Current children cumulated memory: 1211248 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.02 6/257 401399
/proc/meminfo: memFree=100526244/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1360112 memory=1216136 CPUtime=3034.09 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 170307 0 0 0 302790 619 0 0 20 0 1 0 60181840 1392754688 304034 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 340028 304034 1387 291 0 331562 0
Current children cumulated CPU time: 3034.09 s
Current children cumulated vsize: 1360112 KiB
Current children cumulated memory: 1216136 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.02 6/257 401410
/proc/meminfo: memFree=100442940/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1367956 memory=1222380 CPUtime=3093.94 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 172179 0 0 0 308763 631 0 0 20 0 1 0 60181840 1400786944 305595 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 341989 305595 1387 291 0 333523 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 1367956 KiB
Current children cumulated memory: 1222380 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.02 6/257 401805
/proc/meminfo: memFree=100438128/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1368176 memory=1222380 CPUtime=3153.77 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 172961 0 0 0 314736 641 0 0 20 0 1 0 60181840 1401012224 305595 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 342044 305595 1387 291 0 333578 0
Current children cumulated CPU time: 3153.77 s
Current children cumulated vsize: 1368176 KiB
Current children cumulated memory: 1222380 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.02 6/257 401815
/proc/meminfo: memFree=100403956/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1371636 memory=1224868 CPUtime=3213.61 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 173926 0 0 0 320710 651 0 0 20 0 1 0 60181840 1404555264 306217 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 342909 306217 1387 291 0 334443 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 1371636 KiB
Current children cumulated memory: 1224868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.03 6/257 401827
/proc/meminfo: memFree=100371272/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1725364 memory=1232828 CPUtime=3273.45 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 175716 0 0 0 326681 664 0 0 20 0 1 0 60181840 1766772736 308207 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 431341 308207 1387 291 0 422875 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 1725364 KiB
Current children cumulated memory: 1232828 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.03 6/258 402006
/proc/meminfo: memFree=100364892/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1725364 memory=1232828 CPUtime=3333.29 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 175954 0 0 0 332653 676 0 0 20 0 1 0 60181840 1766772736 308207 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 431341 308207 1387 291 0 422875 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 1725364 KiB
Current children cumulated memory: 1232828 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.04 6/258 402017
/proc/meminfo: memFree=100297716/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1726132 memory=1240160 CPUtime=3393.13 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 176620 0 0 0 338629 684 0 0 20 0 1 0 60181840 1767559168 310040 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 431533 310040 1387 291 0 423067 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 1726132 KiB
Current children cumulated memory: 1240160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.05 6/259 402033
/proc/meminfo: memFree=100291640/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1726132 memory=1240160 CPUtime=3452.97 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 176803 0 0 0 344603 694 0 0 20 0 1 0 60181840 1767559168 310040 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 431533 310040 1387 291 0 423067 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 1726132 KiB
Current children cumulated memory: 1240160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.05 6/259 402054
/proc/meminfo: memFree=100274496/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1727156 memory=1241080 CPUtime=3512.81 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 177442 0 0 0 350575 706 0 0 20 0 1 0 60181840 1768607744 310270 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 431789 310270 1387 291 0 423323 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 1727156 KiB
Current children cumulated memory: 1241080 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.05 6/259 402065
/proc/meminfo: memFree=100167944/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1742644 memory=1258612 CPUtime=3572.64 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 180460 0 0 0 356547 717 0 0 20 0 1 0 60181840 1784467456 314653 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 435661 314653 1387 291 0 427195 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 1742644 KiB
Current children cumulated memory: 1258612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.09 4.12 4.05 6/253 402075
/proc/meminfo: memFree=102526888/131524600 swapFree=131054224/131071996
[pid=400189] ppid=400184 vsize=1742644 memory=1258712 CPUtime=3600.08 cores=5,7
/proc/400189/stat : 400189 (pb-oll-rs) R 400184 400189 400149 0 -1 4194304 180643 0 0 0 359283 725 0 0 20 0 1 0 60181840 1784467456 314678 134679101440 4194304 5384005 140728075727088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 24629248 140728075736086 140728075736163 140728075736163 140728075743179 0
/proc/400189/statm: 435661 314678 1387 291 0 427195 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1742644 KiB
Current children cumulated memory: 1258712 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.85 s, system=7.27754 s

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

Child status: 0

Real time (s): 3609.84
CPU time (s): 3600.12
CPU user time (s): 3592.85
CPU system time (s): 7.27754
CPU usage (%): 99.7308
Max. virtual memory (cumulated for all children) (KiB): 1742644
Max. memory (cumulated for all children) (KiB): 1258712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.85
system time used= 7.27754
maximum resident set size= 1258712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180661
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= 125
involuntary context switches= 3088


# summary of solver processes directly reported to runsolver:
#   pid: 400189
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3592.85
#   total CPU system time (s): 7.27754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56197 second user time and 18.8789 second system time

The end

Begin job on nodeC034 at 2024-07-29 09:02:57
IDJOB=4462176
IDBENCH=178879
IDSOLVER=3067
FILE ID=nodeC034/4462176-1722236576
RUNJOBID= nodeC034-1722236576-400162
SLURM_JOB_ID= 8248769
Free space on /tmp= 890084 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4462176-1722236576/watcher-4462176-1722236576 -o /tmp/evaluation-result-4462176-1722236576/solver-4462176-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722236576-400162 --watchdog 3760  pb-oll-rs HOME/instance-4462176-1722236576.opb

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

MD5SUM BENCH= c1572c005e5d2804643966c7bf58bacf
RANDOM SEED=697437227

nodeC034.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		: 3148.899
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.92
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		: 3641.455
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	: 7006.84
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		: 2032.162
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.92
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		: 3338.858
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	: 7006.84
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		: 2590.265
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.92
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		: 3628.918
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	: 7006.84
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		: 1283.208
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.92
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		: 3747.832
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	: 7006.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111994376 kB
MemAvailable:   129678280 kB
Buffers:          401636 kB
Cached:         18034260 kB
SwapCached:          112 kB
Active:          1880148 kB
Inactive:       16906780 kB
Active(anon):       1888 kB
Inactive(anon):   400244 kB
Active(file):    1878260 kB
Inactive(file): 16506536 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054224 kB
Dirty:              4284 kB
Writeback:             0 kB
AnonPages:        350628 kB
Mapped:            96712 kB
Shmem:             50772 kB
KReclaimable:     277508 kB
Slab:             394456 kB
SReclaimable:     277508 kB
SUnreclaim:       116948 kB
KernelStack:        3840 kB
PageTables:         9712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     630768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16416 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 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:      361172 kB
DirectMap2M:    49743872 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC034 at 2024-07-29 10:03:07