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 5475 #constraints 181
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -629333 @ 0.008026
0.00/0.01	c stratification level: 240
0.00/0.02	c bounds - >= -627877 @ 0.009562
0.00/0.02	c finalizing WCE round: reformulating cores
0.00/0.03	c bounds -1736 >= -627877 @ 0.012149
0.00/0.03	c bounds -1840 >= -627877 @ 0.012966
0.00/0.03	c stratification level: 237
0.00/0.03	c bounds -1840 >= -627162 @ 0.014398
0.00/0.03	c finalizing WCE round: reformulating cores
0.00/0.04	c bounds -2040 >= -627162 @ 0.016966
0.00/0.04	c bounds -2064 >= -627162 @ 0.01812
0.00/0.04	c stratification level: 235
0.00/0.05	c bounds -2066 >= -626692 @ 0.026126
0.00/0.05	c stratification level: 234
0.00/0.05	c bounds -2298 >= -626224 @ 0.029351
0.00/0.05	c stratification level: 233
0.00/0.05	c bounds -2397 >= -625523 @ 0.03102
0.00/0.05	c stratification level: 232
0.00/0.05	c bounds -2446 >= -624828 @ 0.033773
0.00/0.05	c stratification level: 231
0.00/0.06	c bounds -2835 >= -624597 @ 0.036586
0.00/0.06	c stratification level: 230
0.00/0.07	c bounds -2859 >= -623677 @ 0.050628
0.00/0.07	c stratification level: 229
0.00/0.07	c bounds -2874 >= -622532 @ 0.051537
0.00/0.07	c stratification level: 228
0.00/0.08	c bounds -2874 >= -621384 @ 0.053066
0.00/0.08	c finalizing WCE round: reformulating cores
0.00/0.09	c bounds -3029 >= -621384 @ 0.059064
0.00/0.09	c bounds -3053 >= -621384 @ 0.060499
0.00/0.09	c stratification level: 227
0.00/0.09	c bounds -3111 >= -620462 @ 0.061837
0.00/0.09	c stratification level: 226
0.00/0.10	c bounds -3133 >= -619999 @ 0.062966
0.00/0.10	c stratification level: 225
0.09/0.10	c bounds -3174 >= -619099 @ 0.063999
0.09/0.10	c stratification level: 224
0.09/0.11	c bounds -3228 >= -617752 @ 0.067787
0.09/0.11	c stratification level: 223
0.09/0.11	c bounds -3228 >= -615315 @ 0.069558
0.09/0.11	c finalizing WCE round: reformulating cores
0.09/0.12	c bounds -3357 >= -615315 @ 0.072846
0.09/0.12	c bounds -3385 >= -615315 @ 0.073916
0.09/0.12	c stratification level: 222
0.09/0.13	c bounds -3385 >= -614424 @ 0.075066
0.09/0.13	c finalizing WCE round: reformulating cores
0.09/0.14	c bounds -3503 >= -614424 @ 0.081303
0.09/0.14	c bounds -3612 >= -614424 @ 0.083549
0.09/0.14	c stratification level: 221
0.09/0.14	c bounds -3612 >= -613982 @ 0.084322
0.09/0.14	c finalizing WCE round: reformulating cores
0.09/0.15	c bounds -3617 >= -613982 @ 0.088345
0.09/0.15	c bounds -3699 >= -613982 @ 0.091718
0.09/0.15	c stratification level: 220
0.09/0.15	c bounds -3748 >= -612442 @ 0.095265
0.09/0.15	c stratification level: 219
0.09/0.16	c bounds -3808 >= -611126 @ 0.097486
0.09/0.16	c stratification level: 218
0.09/0.18	c bounds -3808 >= -609818 @ 0.099434
0.09/0.18	c bounds -3808 >= -609600 @ 0.101571
0.09/0.18	c finalizing WCE round: reformulating cores
0.09/0.19	c bounds -4280 >= -609600 @ 0.119353
0.09/0.19	c bounds -4414 >= -609600 @ 0.122671
0.09/0.19	c stratification level: 217
0.19/0.23	c bounds -4417 >= -608296 @ 0.160924
0.19/0.23	c stratification level: 216
0.19/0.23	c bounds -4508 >= -607861 @ 0.16402
0.19/0.23	c stratification level: 215
0.19/0.25	c bounds -4508 >= -606568 @ 0.165705
0.19/0.25	c finalizing WCE round: reformulating cores
0.19/0.26	c bounds -4510 >= -606568 @ 0.188119
0.19/0.26	c bounds -4676 >= -606568 @ 0.194322
0.19/0.26	c stratification level: 214
0.19/0.26	c bounds -4681 >= -605068 @ 0.196559
0.19/0.26	c stratification level: 213
0.19/0.27	c bounds -4681 >= -602730 @ 0.198993
0.19/0.27	c finalizing WCE round: reformulating cores
0.19/0.27	c bounds -4873 >= -602730 @ 0.203946
0.19/0.27	c bounds -4911 >= -602730 @ 0.205795
0.19/0.27	c stratification level: 212
0.19/0.29	c bounds -4911 >= -601657 @ 0.207465
0.19/0.29	c finalizing WCE round: reformulating cores
0.29/0.31	c bounds -5248 >= -601657 @ 0.225575
0.29/0.31	c bounds -5322 >= -601657 @ 0.236496
0.29/0.31	c stratification level: 211
0.29/0.32	c bounds -5327 >= -600605 @ 0.249083
0.29/0.32	c stratification level: 210
0.29/0.34	c bounds -5327 >= -598706 @ 0.251246
0.29/0.34	c finalizing WCE round: reformulating cores
0.29/0.35	c bounds -5486 >= -598706 @ 0.265917
0.29/0.35	c bounds -5564 >= -598706 @ 0.273949
0.29/0.35	c stratification level: 209
0.29/0.37	c bounds -5564 >= -597031 @ 0.2783
0.29/0.37	c finalizing WCE round: reformulating cores
0.29/0.37	c bounds -5726 >= -597031 @ 0.287378
0.29/0.37	c bounds -5812 >= -597031 @ 0.289074
0.29/0.37	c stratification level: 208
0.29/0.38	c bounds -5873 >= -594947 @ 0.292292
0.29/0.38	c stratification level: 207
0.29/0.38	c bounds -5873 >= -592877 @ 0.295881
0.29/0.38	c finalizing WCE round: reformulating cores
0.29/0.39	c bounds -6010 >= -592877 @ 0.300279
0.29/0.39	c bounds -6222 >= -592877 @ 0.302286
0.29/0.39	c stratification level: 206
0.29/0.39	c bounds -6227 >= -590817 @ 0.304923
0.29/0.39	c stratification level: 205
0.29/0.40	c bounds -6266 >= -589358 @ 0.308014
0.29/0.40	c stratification level: 204
0.39/0.41	c bounds -6266 >= -586703 @ 0.310712
0.39/0.41	c finalizing WCE round: reformulating cores
0.49/0.55	c bounds -6326 >= -586703 @ 0.436273
0.49/0.55	c bounds -6382 >= -586703 @ 0.4516
0.49/0.55	c stratification level: 203
0.49/0.57	c bounds -6397 >= -584897 @ 0.477773
0.49/0.57	c stratification level: 202
0.59/0.61	c bounds -6397 >= -582669 @ 0.481326
0.59/0.61	c finalizing WCE round: reformulating cores
2.48/2.53	c bounds -6415 >= -582669 @ 2.1807
2.48/2.53	c #Conflicts:       1000 | #Constraints:       1507
2.48/2.53	c bounds -6423 >= -582669 @ 2.39995
2.48/2.53	c stratification level: 201
2.57/2.62	c bounds -6423 >= -580451 @ 2.40408
2.57/2.62	c finalizing WCE round: reformulating cores
5.77/5.86	c bounds -6475 >= -580451 @ 4.32823
5.77/5.86	c #Conflicts:       2000 | #Constraints:       2525
5.77/5.86	c INPROCESSING
5.77/5.86	c GARBAGE COLLECT
5.77/5.86	c bounds -6480 >= -580451 @ 5.68887
5.77/5.86	c stratification level: 200
5.97/6.03	c bounds -6481 >= -578037 @ 5.85102
5.97/6.03	c stratification level: 199
5.97/6.04	c bounds -6504 >= -576644 @ 5.86562
5.97/6.04	c stratification level: 198
6.17/6.20	c bounds -6524 >= -575256 @ 6.01365
6.17/6.20	c stratification level: 197
6.27/6.34	c bounds -6545 >= -574466 @ 6.15459
6.27/6.34	c stratification level: 196
6.67/6.71	c bounds -6545 >= -571517 @ 6.16076
6.67/6.71	c finalizing WCE round: reformulating cores
9.55/9.69	c #Conflicts:       3000 | #Constraints:       2501
9.55/9.69	c bounds -6596 >= -571517 @ 8.25306
9.55/9.69	c bounds -6609 >= -571517 @ 9.46229
9.55/9.69	c stratification level: 195
11.85/11.90	c bounds -6609 >= -568583 @ 9.47015
11.85/11.90	c #Conflicts:       4000 | #Constraints:       3516
11.85/11.90	c INPROCESSING
11.85/11.90	c GARBAGE COLLECT
11.85/11.90	c finalizing WCE round: reformulating cores
11.95/12.04	c bounds -6690 >= -568583 @ 11.6475
11.95/12.04	c bounds -6711 >= -568390 @ 11.7552
11.95/12.04	c bounds -6742 >= -568390 @ 11.7875
11.95/12.04	c stratification level: 194
12.35/12.43	c bounds -6863 >= -566837 @ 12.1689
12.35/12.43	c stratification level: 193
25.42/25.50	c bounds -6863 >= -563935 @ 12.1757
25.42/25.50	c #Conflicts:       5000 | #Constraints:       2945
25.42/25.50	c #Conflicts:       6000 | #Constraints:       3945
25.42/25.50	c INPROCESSING
25.42/25.50	c GARBAGE COLLECT
25.42/25.50	c #Conflicts:       7000 | #Constraints:       2948
25.42/25.50	c #Conflicts:       8000 | #Constraints:       3948
25.42/25.50	c finalizing WCE round: reformulating cores
29.01/29.16	c bounds -6867 >= -563935 @ 27.3912
29.01/29.16	c #Conflicts:       9000 | #Constraints:       4951
29.01/29.16	c bounds -6884 >= -563935 @ 28.7749
29.01/29.16	c stratification level: 192
29.70/29.85	c bounds -6884 >= -561450 @ 28.8162
29.70/29.85	c INPROCESSING
29.70/29.85	c GARBAGE COLLECT
29.70/29.85	c finalizing WCE round: reformulating cores
29.81/29.94	c bounds -6962 >= -561450 @ 29.4646
29.81/29.94	c bounds -7072 >= -561450 @ 29.5297
29.81/29.94	c stratification level: 191
43.37/43.55	c bounds -7072 >= -560113 @ 29.536
43.37/43.55	c #Conflicts:      10000 | #Constraints:       3672
43.37/43.55	c #Conflicts:      11000 | #Constraints:       4672
43.37/43.55	c #Conflicts:      12000 | #Constraints:       5672
43.37/43.55	c INPROCESSING
43.37/43.55	c GARBAGE COLLECT
43.37/43.55	c finalizing WCE round: reformulating cores
43.57/43.70	c bounds -7157 >= -560113 @ 43.0793
43.57/43.70	c bounds -7160 >= -560113 @ 43.213
43.57/43.70	c stratification level: 190
116.49/116.84	c #Conflicts:      13000 | #Constraints:       4141
116.49/116.84	c #Conflicts:      14000 | #Constraints:       5141
116.49/116.84	c #Conflicts:      15000 | #Constraints:       6141
116.49/116.84	c INPROCESSING
116.49/116.84	c GARBAGE COLLECT
116.49/116.84	c #Conflicts:      16000 | #Constraints:       4366
116.49/116.84	c #Conflicts:      17000 | #Constraints:       5366
116.49/116.84	c #Conflicts:      18000 | #Constraints:       6366
116.49/116.84	c INPROCESSING
116.49/116.84	c GARBAGE COLLECT
116.49/116.84	c #Conflicts:      19000 | #Constraints:       4388
116.49/116.84	c #Conflicts:      20000 | #Constraints:       5388
116.49/116.84	c #Conflicts:      21000 | #Constraints:       6388
116.49/116.84	c INPROCESSING
116.49/116.84	c GARBAGE COLLECT
116.49/116.84	c #Conflicts:      22000 | #Constraints:       4195
116.49/116.84	c #Conflicts:      23000 | #Constraints:       5195
116.49/116.84	c #Conflicts:      24000 | #Constraints:       6195
116.49/116.84	c #Conflicts:      25000 | #Constraints:       7195
116.49/116.84	c INPROCESSING
116.49/116.84	c GARBAGE COLLECT
116.49/116.84	c #Conflicts:      26000 | #Constraints:       4801
116.49/116.84	c #Conflicts:      27000 | #Constraints:       5801
116.49/116.84	c #Conflicts:      28000 | #Constraints:       6801
116.49/116.84	c #Conflicts:      29000 | #Constraints:       7801
116.49/116.84	c INPROCESSING
116.49/116.84	c GARBAGE COLLECT
116.49/116.84	c #Conflicts:      30000 | #Constraints:       5203
116.49/116.84	c bounds -7161 >= -558023 @ 115.962
116.49/116.84	c stratification level: 189
120.68/121.09	c bounds -7161 >= -556124 @ 116.194
120.68/121.09	c #Conflicts:      31000 | #Constraints:       6214
120.68/121.09	c finalizing WCE round: reformulating cores
128.76/129.12	c #Conflicts:      32000 | #Constraints:       7217
128.76/129.12	c bounds -7165 >= -556124 @ 123.537
128.76/129.12	c #Conflicts:      33000 | #Constraints:       8217
128.76/129.12	c INPROCESSING
128.76/129.12	c GARBAGE COLLECT
128.76/129.12	c bounds -7168 >= -556124 @ 128.147
128.76/129.12	c stratification level: 188
158.59/159.02	c bounds -7168 >= -554606 @ 128.331
158.59/159.02	c #Conflicts:      34000 | #Constraints:       5431
158.59/159.02	c #Conflicts:      35000 | #Constraints:       6431
158.59/159.02	c #Conflicts:      36000 | #Constraints:       7431
158.59/159.02	c #Conflicts:      37000 | #Constraints:       8431
158.59/159.02	c INPROCESSING
158.59/159.02	c GARBAGE COLLECT
158.59/159.02	c #Conflicts:      38000 | #Constraints:       5430
158.59/159.02	c #Conflicts:      39000 | #Constraints:       6430
158.59/159.02	c finalizing WCE round: reformulating cores
169.15/169.63	c #Conflicts:      40000 | #Constraints:       7433
169.15/169.63	c bounds -7182 >= -554606 @ 161.354
169.15/169.63	c #Conflicts:      41000 | #Constraints:       8433
169.15/169.63	c INPROCESSING
169.15/169.63	c GARBAGE COLLECT
169.15/169.63	c bounds -7209 >= -554606 @ 168.444
169.15/169.63	c stratification level: 187
209.96/210.57	c bounds -7209 >= -551799 @ 168.69
209.96/210.57	c #Conflicts:      42000 | #Constraints:       5242
209.96/210.57	c #Conflicts:      43000 | #Constraints:       6242
209.96/210.57	c #Conflicts:      44000 | #Constraints:       7242
209.96/210.57	c #Conflicts:      45000 | #Constraints:       8242
209.96/210.57	c #Conflicts:      46000 | #Constraints:       9242
209.96/210.57	c INPROCESSING
209.96/210.57	c GARBAGE COLLECT
209.96/210.57	c #Conflicts:      47000 | #Constraints:       5838
209.96/210.57	c #Conflicts:      48000 | #Constraints:       6838
209.96/210.57	c #Conflicts:      49000 | #Constraints:       7838
209.96/210.57	c #Conflicts:      50000 | #Constraints:       8838
209.96/210.57	c finalizing WCE round: reformulating cores
220.83/221.40	c #Conflicts:      51000 | #Constraints:       9841
220.83/221.40	c INPROCESSING
220.83/221.40	c GARBAGE COLLECT
220.83/221.40	c bounds -7213 >= -551799 @ 219.544
220.83/221.40	c bounds -7222 >= -551799 @ 219.955
220.83/221.40	c stratification level: 186
257.64/258.36	c bounds -7222 >= -548448 @ 220.441
257.64/258.36	c #Conflicts:      52000 | #Constraints:       6258
257.64/258.36	c #Conflicts:      53000 | #Constraints:       7258
257.64/258.36	c #Conflicts:      54000 | #Constraints:       8258
257.64/258.36	c #Conflicts:      55000 | #Constraints:       9258
257.64/258.36	c #Conflicts:      56000 | #Constraints:      10258
257.64/258.36	c INPROCESSING
257.64/258.36	c GARBAGE COLLECT
257.64/258.36	c #Conflicts:      57000 | #Constraints:       6462
257.64/258.36	c #Conflicts:      58000 | #Constraints:       7462
257.64/258.36	c #Conflicts:      59000 | #Constraints:       8462
257.64/258.36	c finalizing WCE round: reformulating cores
263.73/264.46	c bounds -7253 >= -548448 @ 257.577
263.73/264.46	c #Conflicts:      60000 | #Constraints:       9466
263.73/264.46	c bounds -7255 >= -548448 @ 262.829
263.73/264.46	c stratification level: 185
318.99/319.81	c bounds -7255 >= -547458 @ 263.251
318.99/319.81	c #Conflicts:      61000 | #Constraints:      10478
318.99/319.81	c INPROCESSING
318.99/319.81	c GARBAGE COLLECT
318.99/319.81	c #Conflicts:      62000 | #Constraints:       6481
318.99/319.81	c #Conflicts:      63000 | #Constraints:       7481
318.99/319.81	c #Conflicts:      64000 | #Constraints:       8481
318.99/319.81	c #Conflicts:      65000 | #Constraints:       9481
318.99/319.81	c #Conflicts:      66000 | #Constraints:      10481
318.99/319.81	c INPROCESSING
318.99/319.81	c GARBAGE COLLECT
318.99/319.81	c #Conflicts:      67000 | #Constraints:       6281
318.99/319.81	c #Conflicts:      68000 | #Constraints:       7281
318.99/319.81	c #Conflicts:      69000 | #Constraints:       8281
318.99/319.81	c #Conflicts:      70000 | #Constraints:       9281
318.99/319.81	c #Conflicts:      71000 | #Constraints:      10281
318.99/319.81	c finalizing WCE round: reformulating cores
341.63/342.57	c #Conflicts:      72000 | #Constraints:      11284
341.63/342.57	c INPROCESSING
341.63/342.57	c GARBAGE COLLECT
341.63/342.57	c bounds -7296 >= -547458 @ 330.379
341.63/342.57	c #Conflicts:      73000 | #Constraints:       6889
341.63/342.57	c #Conflicts:      74000 | #Constraints:       7889
341.63/342.57	c bounds -7304 >= -547458 @ 340.507
341.63/342.57	c stratification level: 184
369.86/370.84	c bounds -7304 >= -545416 @ 341.491
369.86/370.84	c #Conflicts:      75000 | #Constraints:       8906
369.86/370.84	c #Conflicts:      76000 | #Constraints:       9906
369.86/370.84	c #Conflicts:      77000 | #Constraints:      10906
369.86/370.84	c #Conflicts:      78000 | #Constraints:      11906
369.86/370.84	c INPROCESSING
369.86/370.84	c GARBAGE COLLECT
369.86/370.84	c finalizing WCE round: reformulating cores
588.41/589.99	c #Conflicts:      79000 | #Constraints:       7310
588.41/589.99	c bounds -7306 >= -545416 @ 372.592
588.41/589.99	c #Conflicts:      80000 | #Constraints:       8310
588.41/589.99	c #Conflicts:      81000 | #Constraints:       9310
588.41/589.99	c #Conflicts:      82000 | #Constraints:      10310
588.41/589.99	c #Conflicts:      83000 | #Constraints:      11310
588.41/589.99	c #Conflicts:      84000 | #Constraints:      12310
588.41/589.99	c INPROCESSING
588.41/589.99	c GARBAGE COLLECT
588.41/589.99	c #Conflicts:      85000 | #Constraints:       7500
588.41/589.99	c #Conflicts:      86000 | #Constraints:       8500
588.41/589.99	c #Conflicts:      87000 | #Constraints:       9500
588.41/589.99	c #Conflicts:      88000 | #Constraints:      10500
588.41/589.99	c #Conflicts:      89000 | #Constraints:      11500
588.41/589.99	c #Conflicts:      90000 | #Constraints:      12500
588.41/589.99	c INPROCESSING
588.41/589.99	c GARBAGE COLLECT
588.41/589.99	c #Conflicts:      91000 | #Constraints:       7499
588.41/589.99	c #Conflicts:      92000 | #Constraints:       8499
588.41/589.99	c #Conflicts:      93000 | #Constraints:       9499
588.41/589.99	c #Conflicts:      94000 | #Constraints:      10499
588.41/589.99	c #Conflicts:      95000 | #Constraints:      11499
588.41/589.99	c #Conflicts:      96000 | #Constraints:      12499
588.41/589.99	c INPROCESSING
588.41/589.99	c GARBAGE COLLECT
588.41/589.99	c #Conflicts:      97000 | #Constraints:       7308
588.41/589.99	c #Conflicts:      98000 | #Constraints:       8308
588.41/589.99	c #Conflicts:      99000 | #Constraints:       9308
588.41/589.99	c #Conflicts:     100000 | #Constraints:      10308
588.41/589.99	c #Conflicts:     101000 | #Constraints:      11308
588.41/589.99	c #Conflicts:     102000 | #Constraints:      12308
588.41/589.99	c #Conflicts:     103000 | #Constraints:      13308
588.41/589.99	c INPROCESSING
588.41/589.99	c GARBAGE COLLECT
588.41/589.99	c #Conflicts:     104000 | #Constraints:       7908
588.41/589.99	c #Conflicts:     105000 | #Constraints:       8908
588.41/589.99	c #Conflicts:     106000 | #Constraints:       9908
588.41/589.99	c #Conflicts:     107000 | #Constraints:      10908
588.41/589.99	c #Conflicts:     108000 | #Constraints:      11908
588.41/589.99	c bounds -7320 >= -545416 @ 586.885
588.41/589.99	c stratification level: 183
740.42/742.33	c bounds -7320 >= -542479 @ 588.14
740.42/742.33	c #Conflicts:     109000 | #Constraints:      12924
740.42/742.33	c #Conflicts:     110000 | #Constraints:      13924
740.42/742.33	c INPROCESSING
740.42/742.33	c GARBAGE COLLECT
740.42/742.33	c #Conflicts:     111000 | #Constraints:       8342
740.42/742.33	c #Conflicts:     112000 | #Constraints:       9342
740.42/742.33	c #Conflicts:     113000 | #Constraints:      10342
740.42/742.33	c #Conflicts:     114000 | #Constraints:      11342
740.42/742.33	c #Conflicts:     115000 | #Constraints:      12342
740.42/742.33	c #Conflicts:     116000 | #Constraints:      13342
740.42/742.33	c #Conflicts:     117000 | #Constraints:      14342
740.42/742.33	c INPROCESSING
740.42/742.33	c GARBAGE COLLECT
740.42/742.33	c #Conflicts:     118000 | #Constraints:       8538
740.42/742.33	c #Conflicts:     119000 | #Constraints:       9538
740.42/742.33	c #Conflicts:     120000 | #Constraints:      10538
740.42/742.33	c #Conflicts:     121000 | #Constraints:      11538
740.42/742.33	c #Conflicts:     122000 | #Constraints:      12538
740.42/742.33	c #Conflicts:     123000 | #Constraints:      13538
740.42/742.33	c #Conflicts:     124000 | #Constraints:      14538
740.42/742.33	c INPROCESSING
740.42/742.33	c GARBAGE COLLECT
740.42/742.33	c #Conflicts:     125000 | #Constraints:       8546
740.42/742.33	c #Conflicts:     126000 | #Constraints:       9546
740.42/742.33	c finalizing WCE round: reformulating cores
1512.02/1516.02	c bounds -7335 >= -542479 @ 750.827
1512.02/1516.02	c #Conflicts:     127000 | #Constraints:      10549
1512.02/1516.02	c #Conflicts:     128000 | #Constraints:      11549
1512.02/1516.02	c #Conflicts:     129000 | #Constraints:      12549
1512.02/1516.02	c #Conflicts:     130000 | #Constraints:      13549
1512.02/1516.02	c #Conflicts:     131000 | #Constraints:      14549
1512.02/1516.02	c INPROCESSING
1512.02/1516.02	c GARBAGE COLLECT
1512.02/1516.02	c #Conflicts:     132000 | #Constraints:       8345
1512.02/1516.02	c #Conflicts:     133000 | #Constraints:       9345
1512.02/1516.02	c #Conflicts:     134000 | #Constraints:      10345
1512.02/1516.02	c #Conflicts:     135000 | #Constraints:      11345
1512.02/1516.02	c #Conflicts:     136000 | #Constraints:      12345
1512.02/1516.02	c #Conflicts:     137000 | #Constraints:      13345
1512.02/1516.02	c #Conflicts:     138000 | #Constraints:      14345
1512.02/1516.02	c #Conflicts:     139000 | #Constraints:      15345
1512.02/1516.02	c INPROCESSING
1512.02/1516.02	c GARBAGE COLLECT
1512.02/1516.02	c #Conflicts:     140000 | #Constraints:       8943
1512.02/1516.02	c #Conflicts:     141000 | #Constraints:       9943
1512.02/1516.02	c #Conflicts:     142000 | #Constraints:      10943
1512.02/1516.02	c #Conflicts:     143000 | #Constraints:      11943
1512.02/1516.02	c #Conflicts:     144000 | #Constraints:      12943
1512.02/1516.02	c #Conflicts:     145000 | #Constraints:      13943
1512.02/1516.02	c #Conflicts:     146000 | #Constraints:      14943
1512.02/1516.02	c #Conflicts:     147000 | #Constraints:      15943
1512.02/1516.02	c INPROCESSING
1512.02/1516.02	c GARBAGE COLLECT
1512.02/1516.02	c #Conflicts:     148000 | #Constraints:       9359
1512.02/1516.02	c #Conflicts:     149000 | #Constraints:      10359
1512.02/1516.02	c #Conflicts:     150000 | #Constraints:      11359
1512.02/1516.02	c #Conflicts:     151000 | #Constraints:      12359
1512.02/1516.02	c #Conflicts:     152000 | #Constraints:      13359
1512.02/1516.02	c #Conflicts:     153000 | #Constraints:      14359
1512.02/1516.02	c #Conflicts:     154000 | #Constraints:      15359
1512.02/1516.02	c #Conflicts:     155000 | #Constraints:      16359
1512.02/1516.02	c INPROCESSING
1512.02/1516.02	c GARBAGE COLLECT
1512.02/1516.02	c #Conflicts:     156000 | #Constraints:       9566
1512.02/1516.02	c #Conflicts:     157000 | #Constraints:      10566
1512.02/1516.02	c #Conflicts:     158000 | #Constraints:      11566
1512.02/1516.02	c #Conflicts:     159000 | #Constraints:      12566
1512.02/1516.02	c #Conflicts:     160000 | #Constraints:      13566
1512.02/1516.02	c #Conflicts:     161000 | #Constraints:      14566
1512.02/1516.02	c #Conflicts:     162000 | #Constraints:      15566
1512.02/1516.02	c #Conflicts:     163000 | #Constraints:      16566
1512.02/1516.02	c INPROCESSING
1512.02/1516.02	c GARBAGE COLLECT
1512.02/1516.02	c #Conflicts:     164000 | #Constraints:       9559
1512.02/1516.02	c #Conflicts:     165000 | #Constraints:      10559
1512.02/1516.02	c #Conflicts:     166000 | #Constraints:      11559
1512.02/1516.02	c #Conflicts:     167000 | #Constraints:      12559
1512.02/1516.02	c #Conflicts:     168000 | #Constraints:      13559
1512.02/1516.02	c #Conflicts:     169000 | #Constraints:      14559
1512.02/1516.02	c #Conflicts:     170000 | #Constraints:      15559
1512.02/1516.02	c #Conflicts:     171000 | #Constraints:      16559
1512.02/1516.02	c INPROCESSING
1512.02/1516.02	c GARBAGE COLLECT
1512.02/1516.02	c #Conflicts:     172000 | #Constraints:       9356
1512.02/1516.02	c #Conflicts:     173000 | #Constraints:      10356
1512.02/1516.02	c #Conflicts:     174000 | #Constraints:      11356
1512.02/1516.02	c #Conflicts:     175000 | #Constraints:      12356
1512.02/1516.02	c #Conflicts:     176000 | #Constraints:      13356
1512.02/1516.02	c #Conflicts:     177000 | #Constraints:      14356
1512.02/1516.02	c #Conflicts:     178000 | #Constraints:      15356
1512.02/1516.02	c #Conflicts:     179000 | #Constraints:      16356
1512.02/1516.02	c #Conflicts:     180000 | #Constraints:      17356
1512.02/1516.02	c INPROCESSING
1512.02/1516.02	c GARBAGE COLLECT
1512.02/1516.02	c #Conflicts:     181000 | #Constraints:       9948
1512.02/1516.02	c #Conflicts:     182000 | #Constraints:      10948
1512.02/1516.02	c #Conflicts:     183000 | #Constraints:      11948
1512.02/1516.02	c #Conflicts:     184000 | #Constraints:      12948
1512.02/1516.02	c #Conflicts:     185000 | #Constraints:      13948
1512.02/1516.02	c #Conflicts:     186000 | #Constraints:      14948
1512.02/1516.02	c #Conflicts:     187000 | #Constraints:      15948
1512.02/1516.02	c #Conflicts:     188000 | #Constraints:      16948
1512.02/1516.02	c #Conflicts:     189000 | #Constraints:      17948
1512.02/1516.02	c INPROCESSING
1512.02/1516.02	c GARBAGE COLLECT
1512.02/1516.02	c #Conflicts:     190000 | #Constraints:      10346
1512.02/1516.02	c #Conflicts:     191000 | #Constraints:      11346
1512.02/1516.02	c #Conflicts:     192000 | #Constraints:      12346
1512.02/1516.02	c #Conflicts:     193000 | #Constraints:      13346
1512.02/1516.02	c #Conflicts:     194000 | #Constraints:      14346
1512.02/1516.02	c #Conflicts:     195000 | #Constraints:      15346
1512.02/1516.02	c #Conflicts:     196000 | #Constraints:      16346
1512.02/1516.02	c #Conflicts:     197000 | #Constraints:      17346
1512.02/1516.02	c #Conflicts:     198000 | #Constraints:      18346
1512.02/1516.02	c INPROCESSING
1512.02/1516.02	c GARBAGE COLLECT
1512.02/1516.02	c #Conflicts:     199000 | #Constraints:      10552
1646.14/1650.52	c #Conflicts:     200000 | #Constraints:      11552
1646.14/1650.52	c #Conflicts:     201000 | #Constraints:      12552
1646.14/1650.52	c #Conflicts:     202000 | #Constraints:      13552
1646.14/1650.52	c #Conflicts:     203000 | #Constraints:      14552
1646.14/1650.52	c #Conflicts:     204000 | #Constraints:      15552
1646.14/1650.52	c #Conflicts:     205000 | #Constraints:      16552
1646.14/1650.52	c #Conflicts:     206000 | #Constraints:      17552
1646.14/1650.52	c #Conflicts:     207000 | #Constraints:      18552
1646.14/1650.52	c INPROCESSING
1646.14/1650.52	c GARBAGE COLLECT
1646.14/1650.52	c #Conflicts:     208000 | #Constraints:      10559
1646.14/1650.52	c #Conflicts:     209000 | #Constraints:      11559
1646.14/1650.52	c #Conflicts:     210000 | #Constraints:      12559
1646.14/1650.52	c bounds -7338 >= -542479 @ 1643.07
1646.14/1650.52	c stratification level: 182
2219.28/2225.29	c bounds -7338 >= -539203 @ 1644.28
2219.28/2225.29	c #Conflicts:     211000 | #Constraints:      13578
2219.28/2225.29	c #Conflicts:     212000 | #Constraints:      14578
2219.28/2225.29	c #Conflicts:     213000 | #Constraints:      15578
2219.28/2225.29	c #Conflicts:     214000 | #Constraints:      16578
2219.28/2225.29	c #Conflicts:     215000 | #Constraints:      17578
2219.28/2225.29	c #Conflicts:     216000 | #Constraints:      18578
2219.28/2225.29	c INPROCESSING
2219.28/2225.29	c GARBAGE COLLECT
2219.28/2225.29	c #Conflicts:     217000 | #Constraints:      10379
2219.28/2225.29	c #Conflicts:     218000 | #Constraints:      11379
2219.28/2225.29	c #Conflicts:     219000 | #Constraints:      12379
2219.28/2225.29	c #Conflicts:     220000 | #Constraints:      13379
2219.28/2225.29	c #Conflicts:     221000 | #Constraints:      14379
2219.28/2225.29	c #Conflicts:     222000 | #Constraints:      15379
2219.28/2225.29	c #Conflicts:     223000 | #Constraints:      16379
2219.28/2225.29	c #Conflicts:     224000 | #Constraints:      17379
2219.28/2225.29	c #Conflicts:     225000 | #Constraints:      18379
2219.28/2225.29	c #Conflicts:     226000 | #Constraints:      19379
2219.28/2225.29	c INPROCESSING
2219.28/2225.29	c GARBAGE COLLECT
2219.28/2225.29	c #Conflicts:     227000 | #Constraints:      10975
2219.28/2225.29	c #Conflicts:     228000 | #Constraints:      11975
2219.28/2225.29	c #Conflicts:     229000 | #Constraints:      12975
2219.28/2225.29	c #Conflicts:     230000 | #Constraints:      13975
2219.28/2225.29	c #Conflicts:     231000 | #Constraints:      14975
2219.28/2225.29	c #Conflicts:     232000 | #Constraints:      15975
2219.28/2225.29	c #Conflicts:     233000 | #Constraints:      16975
2219.28/2225.29	c #Conflicts:     234000 | #Constraints:      17975
2219.28/2225.29	c #Conflicts:     235000 | #Constraints:      18975
2219.28/2225.29	c #Conflicts:     236000 | #Constraints:      19975
2219.28/2225.29	c INPROCESSING
2219.28/2225.29	c GARBAGE COLLECT
2219.28/2225.29	c #Conflicts:     237000 | #Constraints:      11387
2219.28/2225.29	c #Conflicts:     238000 | #Constraints:      12387
2219.28/2225.29	c #Conflicts:     239000 | #Constraints:      13387
2219.28/2225.29	c #Conflicts:     240000 | #Constraints:      14387
2219.28/2225.29	c #Conflicts:     241000 | #Constraints:      15387
2219.28/2225.29	c #Conflicts:     242000 | #Constraints:      16387
2219.28/2225.29	c #Conflicts:     243000 | #Constraints:      17387
2219.28/2225.29	c #Conflicts:     244000 | #Constraints:      18387
2219.28/2225.29	c #Conflicts:     245000 | #Constraints:      19387
2219.28/2225.29	c #Conflicts:     246000 | #Constraints:      20387
2219.28/2225.29	c INPROCESSING
2219.28/2225.29	c GARBAGE COLLECT
2219.28/2225.29	c #Conflicts:     247000 | #Constraints:      11580
2219.28/2225.29	c #Conflicts:     248000 | #Constraints:      12580
2219.28/2225.29	c #Conflicts:     249000 | #Constraints:      13580
2219.28/2225.29	c #Conflicts:     250000 | #Constraints:      14580
2219.28/2225.29	c #Conflicts:     251000 | #Constraints:      15580
2219.28/2225.29	c #Conflicts:     252000 | #Constraints:      16580
2219.28/2225.29	c #Conflicts:     253000 | #Constraints:      17580
2219.28/2225.29	c #Conflicts:     254000 | #Constraints:      18580
2219.28/2225.29	c finalizing WCE round: reformulating cores
3285.47/3294.41	c #Conflicts:     255000 | #Constraints:      19583
3285.47/3294.41	c bounds -7350 >= -539203 @ 2232.47
3285.47/3294.41	c #Conflicts:     256000 | #Constraints:      20583
3285.47/3294.41	c INPROCESSING
3285.47/3294.41	c GARBAGE COLLECT
3285.47/3294.41	c #Conflicts:     257000 | #Constraints:      11588
3285.47/3294.41	c #Conflicts:     258000 | #Constraints:      12588
3285.47/3294.41	c #Conflicts:     259000 | #Constraints:      13588
3285.47/3294.41	c #Conflicts:     260000 | #Constraints:      14588
3285.47/3294.41	c #Conflicts:     261000 | #Constraints:      15588
3285.47/3294.41	c #Conflicts:     262000 | #Constraints:      16588
3285.47/3294.41	c #Conflicts:     263000 | #Constraints:      17588
3285.47/3294.41	c #Conflicts:     264000 | #Constraints:      18588
3285.47/3294.41	c #Conflicts:     265000 | #Constraints:      19588
3285.47/3294.41	c #Conflicts:     266000 | #Constraints:      20588
3285.47/3294.41	c INPROCESSING
3285.47/3294.41	c GARBAGE COLLECT
3285.47/3294.41	c #Conflicts:     267000 | #Constraints:      11390
3285.47/3294.41	c #Conflicts:     268000 | #Constraints:      12390
3285.47/3294.41	c #Conflicts:     269000 | #Constraints:      13390
3285.47/3294.41	c #Conflicts:     270000 | #Constraints:      14390
3285.47/3294.41	c #Conflicts:     271000 | #Constraints:      15390
3285.47/3294.41	c #Conflicts:     272000 | #Constraints:      16390
3285.47/3294.41	c #Conflicts:     273000 | #Constraints:      17390
3285.47/3294.41	c #Conflicts:     274000 | #Constraints:      18390
3285.47/3294.41	c #Conflicts:     275000 | #Constraints:      19390
3285.47/3294.41	c #Conflicts:     276000 | #Constraints:      20390
3285.47/3294.41	c #Conflicts:     277000 | #Constraints:      21390
3285.47/3294.41	c INPROCESSING
3285.47/3294.41	c GARBAGE COLLECT
3285.47/3294.41	c #Conflicts:     278000 | #Constraints:      11990
3285.47/3294.41	c #Conflicts:     279000 | #Constraints:      12990
3285.47/3294.41	c #Conflicts:     280000 | #Constraints:      13990
3285.47/3294.41	c #Conflicts:     281000 | #Constraints:      14990
3285.47/3294.41	c #Conflicts:     282000 | #Constraints:      15990
3285.47/3294.41	c #Conflicts:     283000 | #Constraints:      16990
3285.47/3294.41	c #Conflicts:     284000 | #Constraints:      17990
3285.47/3294.41	c #Conflicts:     285000 | #Constraints:      18990
3285.47/3294.41	c #Conflicts:     286000 | #Constraints:      19990
3285.47/3294.41	c #Conflicts:     287000 | #Constraints:      20990
3285.47/3294.41	c #Conflicts:     288000 | #Constraints:      21990
3285.47/3294.41	c INPROCESSING
3285.47/3294.41	c GARBAGE COLLECT
3285.47/3294.41	c #Conflicts:     289000 | #Constraints:      12387
3285.47/3294.41	c #Conflicts:     290000 | #Constraints:      13387
3285.47/3294.41	c #Conflicts:     291000 | #Constraints:      14387
3285.47/3294.41	c #Conflicts:     292000 | #Constraints:      15387
3285.47/3294.41	c #Conflicts:     293000 | #Constraints:      16387
3285.47/3294.41	c #Conflicts:     294000 | #Constraints:      17387
3285.47/3294.41	c #Conflicts:     295000 | #Constraints:      18387
3285.47/3294.41	c #Conflicts:     296000 | #Constraints:      19387
3285.47/3294.41	c #Conflicts:     297000 | #Constraints:      20387
3285.47/3294.41	c #Conflicts:     298000 | #Constraints:      21387
3285.47/3294.41	c #Conflicts:     299000 | #Constraints:      22387
3285.47/3294.41	c INPROCESSING
3285.47/3294.41	c GARBAGE COLLECT
3285.47/3294.41	c #Conflicts:     300000 | #Constraints:      12588
3285.47/3294.41	c #Conflicts:     301000 | #Constraints:      13588
3285.47/3294.41	c #Conflicts:     302000 | #Constraints:      14588
3285.47/3294.41	c #Conflicts:     303000 | #Constraints:      15588
3285.47/3294.41	c #Conflicts:     304000 | #Constraints:      16588
3285.47/3294.41	c #Conflicts:     305000 | #Constraints:      17588
3285.47/3294.41	c #Conflicts:     306000 | #Constraints:      18588
3285.47/3294.41	c #Conflicts:     307000 | #Constraints:      19588
3285.47/3294.41	c #Conflicts:     308000 | #Constraints:      20588
3285.47/3294.41	c #Conflicts:     309000 | #Constraints:      21588
3285.47/3294.41	c #Conflicts:     310000 | #Constraints:      22588
3285.47/3294.41	c INPROCESSING
3285.47/3294.41	c GARBAGE COLLECT
3285.47/3294.41	c #Conflicts:     311000 | #Constraints:      12595
3285.47/3294.41	c #Conflicts:     312000 | #Constraints:      13595
3285.47/3294.41	c #Conflicts:     313000 | #Constraints:      14595
3285.47/3294.41	c #Conflicts:     314000 | #Constraints:      15595
3285.47/3294.41	c #Conflicts:     315000 | #Constraints:      16595
3285.47/3294.41	c #Conflicts:     316000 | #Constraints:      17595
3285.47/3294.41	c #Conflicts:     317000 | #Constraints:      18595
3285.47/3294.41	c #Conflicts:     318000 | #Constraints:      19595
3285.47/3294.41	c #Conflicts:     319000 | #Constraints:      20595
3285.47/3294.41	c #Conflicts:     320000 | #Constraints:      21595
3285.47/3294.41	c #Conflicts:     321000 | #Constraints:      22595
3285.47/3294.41	c INPROCESSING
3285.47/3294.41	c GARBAGE COLLECT
3285.47/3294.41	c #Conflicts:     322000 | #Constraints:      12400
3285.47/3294.41	c #Conflicts:     323000 | #Constraints:      13400
3285.47/3294.41	c #Conflicts:     324000 | #Constraints:      14400
3285.47/3294.41	c #Conflicts:     325000 | #Constraints:      15400
3285.47/3294.41	c #Conflicts:     326000 | #Constraints:      16400
3285.47/3294.41	c #Conflicts:     327000 | #Constraints:      17400
3285.47/3294.41	c #Conflicts:     328000 | #Constraints:      18400
3600.04/3609.90	c #Conflicts:     329000 | #Constraints:      19400
3600.04/3609.90	c #Conflicts:     330000 | #Constraints:      20400
3600.04/3609.90	c #Conflicts:     331000 | #Constraints:      21400
3600.04/3609.90	c #Conflicts:     332000 | #Constraints:      22400
3600.04/3609.90	c #Conflicts:     333000 | #Constraints:      23400
3600.04/3609.90	c INPROCESSING
3600.04/3609.90	c GARBAGE COLLECT
3600.04/3609.90	c #Conflicts:     334000 | #Constraints:      12988
3600.04/3609.90	c #Conflicts:     335000 | #Constraints:      13988
3600.04/3609.90	c #Conflicts:     336000 | #Constraints:      14988
3600.04/3609.90	c #Conflicts:     337000 | #Constraints:      15988
3600.04/3609.90	c #Conflicts:     338000 | #Constraints:      16988
3600.04/3609.90	c #Conflicts:     339000 | #Constraints:      17988
3600.04/3609.90	c #Conflicts:     340000 | #Constraints:      18988
3600.04/3609.90	c #Conflicts:     341000 | #Constraints:      19988
3600.04/3609.90	c #Conflicts:     342000 | #Constraints:      20988
3600.04/3609.90	c #Conflicts:     343000 | #Constraints:      21988
3600.04/3609.90	c #Conflicts:     344000 | #Constraints:      22988
3600.04/3609.90	c Program interrupted by user.
3600.04/3609.90	c cpu time 3594.97 s
3600.04/3609.90	c deterministic time 633463311654 6.33e+11
3600.04/3609.90	c optimization time 269.015 s
3600.04/3609.90	c total solve time 3325.94 s
3600.04/3609.90	c core-guided solve time 3325.94 s
3600.04/3609.90	c propagation time 2449.77 s
3600.04/3609.90	c conflict analysis time 937.353 s
3600.04/3609.90	c propagations 123954636
3600.04/3609.90	c resolve steps 2694303
3600.04/3609.90	c decisions 2058029
3600.04/3609.90	c conflicts 344931
3600.04/3609.90	c restarts 817
3600.04/3609.90	c inprocessing phases 49
3600.04/3609.90	c input clauses 413
3600.04/3609.90	c input cardinalities 177
3600.04/3609.90	c input general constraints 196
3600.04/3609.90	c input average constraint length 955.79
3600.04/3609.90	c input average constraint degree 2486.65
3600.04/3609.90	c learned clauses 13534
3600.04/3609.90	c learned cardinalities 471
3600.04/3609.90	c learned general constraints 330942
3600.04/3609.90	c learned average constraint length 3492.46
3600.04/3609.90	c learned average constraint degree 404186100.48
3600.04/3609.90	c watched constraints 181926
3600.04/3609.90	c counting constraints 149212
3600.04/3609.90	c gcd simplifications 4521
3600.04/3609.90	c detected cardinalities 16
3600.04/3609.90	c weakened non-implied lits 480785077
3600.04/3609.90	c weakened non-implying lits 789690
3600.04/3609.90	c original variables 5475
3600.04/3609.90	c clausal propagations 4380744
3600.04/3609.90	c cardinality propagations 24921424
3600.04/3609.90	c watched propagations 6473727
3600.04/3609.90	c counting propagations 85148068
3600.04/3609.90	c watch lookups 27437828169
3600.04/3609.90	c watch backjump lookups 27117994433
3600.04/3609.90	c watch checks 192820204083
3600.04/3609.90	c propagation checks 379466698907
3600.04/3609.90	c constraint additions 6368221344
3600.04/3609.90	c trail pops 126352052
3600.04/3609.90	c formula constraints 181
3600.04/3609.90	c learned constraints 344947
3600.04/3609.90	c bound constraints 134
3600.04/3609.90	c core-guided constraints 471
3600.04/3609.90	c encountered formula constraints 1222011
3600.04/3609.90	c encountered learned constraints 1441423
3600.04/3609.90	c encountered bound constraints 1506
3600.04/3609.90	c encountered core-guided constraints 374294
3600.04/3609.90	c LP total time 0 s
3600.04/3609.90	c LP solve time 0 s
3600.04/3609.90	c LP constraints added 0
3600.04/3609.90	c LP constraints removed 0
3600.04/3609.90	c LP pivots internal 0
3600.04/3609.90	c LP pivots root 0
3600.04/3609.90	c LP calls 0
3600.04/3609.90	c LP optimalities 0
3600.04/3609.90	c LP no pivot count 0
3600.04/3609.90	c LP infeasibilities 0
3600.04/3609.90	c LP valid Farkas constraints 0
3600.04/3609.90	c LP learned Farkas constraints 0
3600.04/3609.90	c LP basis resets 0
3600.04/3609.90	c LP cycling count 0
3600.04/3609.90	c LP singular count 0
3600.04/3609.90	c LP no primal count 0
3600.04/3609.90	c LP no farkas count 0
3600.04/3609.90	c LP other issue count 0
3600.04/3609.90	c LP Gomory cuts 0
3600.04/3609.90	c LP learned cuts 0
3600.04/3609.90	c LP deleted cuts 0
3600.04/3609.90	c LP encountered Gomory constraints 0
3600.04/3609.90	c LP encountered Farkas constraints 0
3600.04/3609.90	c LP encountered learned Farkas constraints 0
3600.04/3609.90	c CG auxiliary variables introduced 429
3600.04/3609.90	c CG solutions found 84
3600.04/3609.90	c CG cores constructed 30
3600.04/3609.90	c CG core cardinality constraints returned 1
3600.04/3609.90	c CG unit cores 0
3600.04/3609.90	c CG single cores 29
3600.04/3609.90	c CG blocks removed during cardinality reduction 0
3600.04/3609.90	c CG first core best 1
3600.04/3609.90	c CG decision core best 0
3600.04/3609.90	c CG core reduction tie 0
3600.04/3609.90	c CG core degree average 1.03
3600.04/3609.90	c CG core slack average 1.90
3600.04/3609.90	c CG exhausted 1
3600.04/3609.90	c CG exhaust time 71.2732 s
3600.04/3609.90	c CG trimmed 5
3600.04/3609.90	c CG trim time 0.286904 s
3600.04/3609.90	c CG minimized 0
3600.04/3609.90	c CG minimize time 0 s
3600.04/3609.90	c CG am1 prop time 3.77322 s
3600.04/3609.90	c CG # am1s reformulated 393
3600.04/3609.90	c CG lower bound derived from am1s 86216
3600.04/3609.90	c CG # clausal cores 29
3600.04/3609.90	c CG # cardinality cores 2
3600.04/3609.90	c CG # pb cores 0
3600.04/3609.90	c CG # pb reforms 25
3600.04/3609.90	c CG # cores discarded because of pb reform 0
3600.04/3609.90	d LOWERBOUND -539203
3600.04/3609.90	d NCORES 30
3600.04/3609.90	d NPBCORES 0
3600.04/3609.90	d NPBREFORM 25
3600.04/3609.90	d NTRIMMED 5
3600.04/3609.90	d NEXHAUSTED 1
3600.04/3609.90	d NAM1S 393
3600.04/3609.90	d AM1LB 86216
3600.04/3609.90	o -7350
3600.04/3609.90	s SATISFIABLE
3600.04/3609.90	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 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475

OK	-7350

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (56583 MiB free)
  memory of node 1: 64507 MiB (60512 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523236-1751648777/watcher-4523236-1751648777 -o /tmp/evaluation-result-4523236-1751648777/solver-4523236-1751648777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751644612-101793 --watchdog 3760 pb-oll-rs HOME/instance-4523236-1751648777.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=102474, runsolver pid=102471

[startup+0.100064 s]*
/proc/loadavg: 4.03 4.10 4.08 5/265 102475
/proc/meminfo: memFree=119907200/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=23444 memory=10908 CPUtime=0.09 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 1264 0 0 0 6 3 0 0 20 0 1 0 80557262 24006656 2727 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 5861 2727 1344 243 0 2110 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23444 KiB
Current children cumulated memory: 10908 KiB

[startup+0.205687 s]*
/proc/loadavg: 4.03 4.10 4.08 5/265 102475
/proc/meminfo: memFree=119906948/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=23592 memory=13100 CPUtime=0.19 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 1313 0 0 0 14 5 0 0 20 0 1 0 80557262 24158208 3275 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 5898 3275 1344 243 0 2147 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 23592 KiB
Current children cumulated memory: 13100 KiB

[startup+0.30562 s]*
/proc/loadavg: 4.03 4.10 4.08 5/265 102475
/proc/meminfo: memFree=119906492/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=26656 memory=14380 CPUtime=0.29 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 1638 0 0 0 23 6 0 0 20 0 1 0 80557262 27295744 3595 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 6664 3595 1344 243 0 2913 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26656 KiB
Current children cumulated memory: 14380 KiB

[startup+0.700183 s]
/proc/loadavg: 4.03 4.10 4.08 5/265 102475
/proc/meminfo: memFree=119902396/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=39344 memory=22764 CPUtime=0.68 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 3214 0 0 0 59 9 0 0 20 0 1 0 80557262 40288256 5691 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 9836 5691 1344 243 0 6085 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39344 KiB
Current children cumulated memory: 22764 KiB

[startup+1.50019 s]
/proc/loadavg: 4.03 4.10 4.08 5/265 102475
/proc/meminfo: memFree=119902396/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=51956 memory=37828 CPUtime=1.48 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 4446 0 0 0 138 10 0 0 20 0 1 0 80557262 53202944 9457 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 12989 9457 1344 243 0 9238 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51956 KiB
Current children cumulated memory: 37828 KiB

[startup+3.10546 s]
/proc/loadavg: 4.03 4.10 4.08 5/265 102475
/proc/meminfo: memFree=119857820/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=104612 memory=65532 CPUtime=3.07 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 5756 0 0 0 295 12 0 0 20 0 1 0 80557262 107122688 16383 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 26153 16383 1344 243 0 22402 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 104612 KiB
Current children cumulated memory: 65532 KiB

[startup+6.30018 s]
/proc/loadavg: 4.03 4.10 4.08 5/265 102475
/proc/meminfo: memFree=119813312/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=109368 memory=92760 CPUtime=6.27 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 6936 0 0 0 611 16 0 0 20 0 1 0 80557262 111992832 23190 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 27342 23190 1344 243 0 23591 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 109368 KiB
Current children cumulated memory: 92760 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 4.10 4.08 5/265 102475
/proc/meminfo: memFree=119731720/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=172408 memory=134416 CPUtime=12.65 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 10712 0 0 0 1243 22 0 0 20 0 1 0 80557262 176545792 33604 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 43102 33604 1344 243 0 39351 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 172408 KiB
Current children cumulated memory: 134416 KiB

[startup+25.5002 s]
/proc/loadavg: 4.02 4.09 4.08 5/265 102475
/proc/meminfo: memFree=119621400/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=194464 memory=174532 CPUtime=25.42 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 16143 0 0 0 2514 28 0 0 20 0 1 0 80557262 199131136 43633 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 48616 43633 1344 243 0 44865 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 194464 KiB
Current children cumulated memory: 174532 KiB

[startup+51.1054 s]
/proc/loadavg: 4.07 4.10 4.08 5/264 102475
/proc/meminfo: memFree=119417764/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=316356 memory=241020 CPUtime=50.95 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 26651 0 0 0 5056 39 0 0 20 0 1 0 80557262 323948544 60255 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 79089 60255 1344 243 0 75338 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 316356 KiB
Current children cumulated memory: 241020 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 102567
/proc/meminfo: memFree=122226408/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=375696 memory=300808 CPUtime=102.02 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 40062 0 0 0 10147 55 0 0 20 0 1 0 80557262 384712704 75202 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 93924 75202 1344 243 0 90173 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 375696 KiB
Current children cumulated memory: 300808 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 102570
/proc/meminfo: memFree=121577028/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=411104 memory=378968 CPUtime=161.88 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 47868 0 0 0 16115 73 0 0 20 0 1 0 80557262 420970496 94742 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 102776 94742 1344 243 0 99025 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 411104 KiB
Current children cumulated memory: 378968 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 102572
/proc/meminfo: memFree=121152088/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=453676 memory=424540 CPUtime=221.73 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 57208 0 0 0 22084 89 0 0 20 0 1 0 80557262 464564224 106135 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 113419 106135 1344 243 0 109668 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 453676 KiB
Current children cumulated memory: 424540 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 102575
/proc/meminfo: memFree=120927696/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=591908 memory=470972 CPUtime=281.58 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 58645 0 0 0 28056 102 0 0 20 0 1 0 80557262 606113792 117743 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 147977 117743 1344 243 0 144226 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 591908 KiB
Current children cumulated memory: 470972 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 102577
/proc/meminfo: memFree=120282424/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=660016 memory=523324 CPUtime=341.43 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 71741 0 0 0 34023 120 0 0 20 0 1 0 80557262 675856384 130831 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 165004 130831 1344 243 0 161253 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 660016 KiB
Current children cumulated memory: 523324 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/263 102579
/proc/meminfo: memFree=120028736/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=676800 memory=545500 CPUtime=401.29 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 75238 0 0 0 39998 131 0 0 20 0 1 0 80557262 693043200 136375 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 169200 136375 1344 243 0 165449 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 676800 KiB
Current children cumulated memory: 545500 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/263 102588
/proc/meminfo: memFree=119551540/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=722120 memory=633924 CPUtime=461.14 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 84124 0 0 0 45970 144 0 0 20 0 1 0 80557262 739450880 158481 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 180530 158481 1344 243 0 176779 0
Current children cumulated CPU time: 461.14 s

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

Current children cumulated memory: 1217212 KiB

[startup+2922.3 s]
/proc/loadavg: 3.17 3.17 3.21 4/259 102738
/proc/meminfo: memFree=114629284/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1719564 memory=1247328 CPUtime=2914.44 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 175632 0 0 0 291001 443 0 0 20 0 1 0 80557262 1760833536 311832 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 429891 311832 1344 243 0 426140 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 1719564 KiB
Current children cumulated memory: 1247328 KiB

[startup+2982.3 s]
/proc/loadavg: 3.06 3.13 3.19 4/259 102740
/proc/meminfo: memFree=114626536/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1719564 memory=1247328 CPUtime=2974.28 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 175632 0 0 0 296977 451 0 0 20 0 1 0 80557262 1760833536 311832 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 429891 311832 1344 243 0 426140 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 1719564 KiB
Current children cumulated memory: 1247328 KiB

[startup+3042.3 s]
/proc/loadavg: 3.14 3.14 3.19 4/258 102742
/proc/meminfo: memFree=114625596/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1720076 memory=1248224 CPUtime=3034.1 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 175875 0 0 0 302954 456 0 0 20 0 1 0 80557262 1761357824 312056 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 430019 312056 1344 243 0 426268 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 1720076 KiB
Current children cumulated memory: 1248224 KiB

[startup+3102.3 s]
/proc/loadavg: 2.67 3.02 3.14 3/252 102774
/proc/meminfo: memFree=120868180/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1726124 memory=1253600 CPUtime=3093.93 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 177124 0 0 0 308930 463 0 0 20 0 1 0 80557262 1767550976 313400 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 431531 313400 1344 243 0 427780 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 1726124 KiB
Current children cumulated memory: 1253600 KiB

[startup+3162.3 s]
/proc/loadavg: 2.29 2.85 3.07 3/251 102776
/proc/meminfo: memFree=120796276/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1726124 memory=1253600 CPUtime=3153.75 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 177138 0 0 0 314906 469 0 0 20 0 1 0 80557262 1767550976 313400 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 431531 313400 1344 243 0 427780 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 1726124 KiB
Current children cumulated memory: 1253600 KiB

[startup+3222.3 s]
/proc/loadavg: 2.17 2.71 3.01 3/250 102778
/proc/meminfo: memFree=120663484/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1740300 memory=1266656 CPUtime=3213.58 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 180276 0 0 0 320882 476 0 0 20 0 1 0 80557262 1782067200 316664 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 435075 316664 1344 243 0 431324 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 1740300 KiB
Current children cumulated memory: 1266656 KiB

[startup+3282.3 s]
/proc/loadavg: 2.11 2.59 2.95 3/250 102780
/proc/meminfo: memFree=120392356/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1740300 memory=1268960 CPUtime=3273.4 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 180287 0 0 0 326858 482 0 0 20 0 1 0 80557262 1782067200 317240 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 435075 317240 1344 243 0 431324 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 1740300 KiB
Current children cumulated memory: 1268960 KiB

[startup+3342.3 s]
/proc/loadavg: 2.08 2.49 2.89 3/250 102793
/proc/meminfo: memFree=120391532/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1740300 memory=1277280 CPUtime=3333.23 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 180296 0 0 0 332838 485 0 0 20 0 1 0 80557262 1782067200 319320 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 435075 319320 1344 243 0 431324 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 1740300 KiB
Current children cumulated memory: 1277280 KiB

[startup+3402.3 s]
/proc/loadavg: 2.06 2.42 2.84 3/251 102796
/proc/meminfo: memFree=120335096/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1743884 memory=1335552 CPUtime=3393.06 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 181001 0 0 0 338816 490 0 0 20 0 1 0 80557262 1785737216 333888 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 435971 333888 1344 243 0 432220 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 1743884 KiB
Current children cumulated memory: 1335552 KiB

[startup+3462.3 s]
/proc/loadavg: 2.07 2.35 2.79 3/251 102798
/proc/meminfo: memFree=120302440/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1748364 memory=1376768 CPUtime=3452.88 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 181888 0 0 0 344792 496 0 0 20 0 1 0 80557262 1790324736 344192 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 437091 344192 1344 243 0 433340 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 1748364 KiB
Current children cumulated memory: 1376768 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.32 2.75 3/252 102807
/proc/meminfo: memFree=120258932/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1748364 memory=1405440 CPUtime=3512.71 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 181888 0 0 0 350769 502 0 0 20 0 1 0 80557262 1790324736 351360 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 437091 351360 1344 243 0 433340 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 1748364 KiB
Current children cumulated memory: 1405440 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.27 2.70 3/252 102809
/proc/meminfo: memFree=120203144/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1748364 memory=1446272 CPUtime=3572.53 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 181894 0 0 0 356746 507 0 0 20 0 1 0 80557262 1790324736 361568 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 437091 361568 1344 243 0 433340 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 1748364 KiB
Current children cumulated memory: 1446272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 2.15 2.27 2.69 3/252 102810
/proc/meminfo: memFree=120188308/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1761680 memory=1456256 CPUtime=3600.04 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 183695 0 0 0 359495 509 0 0 20 0 1 0 80557262 1803960320 364064 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 440420 364064 1344 243 0 436669 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1761680 KiB
Current children cumulated memory: 1456256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.97 s, system=5.10844 s

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

[startup+3609.9 s]
/proc/loadavg: 2.15 2.27 2.69 3/252 102810
/proc/meminfo: memFree=120188308/131249996 swapFree=33005016/33010684
[pid=102474] ppid=102471 vsize=1761680 memory=1456256 CPUtime=3600.04 cores=5,7
/proc/102474/stat : 102474 (pb-oll-rs) R 102471 102474 101570 0 -1 4194304 183695 0 0 0 359495 509 0 0 20 0 1 0 80557262 1803960320 364064 18446744073709551615 4218880 5211445 140730582060112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21639168 140730582067610 140730582067687 140730582067687 140730582073291 0
/proc/102474/statm: 440420 364064 1344 243 0 436669 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1761680 KiB
Current children cumulated memory: 1456256 KiB

Child status: 0

Real time (s): 3609.92
CPU time (s): 3600.08
CPU user time (s): 3594.97
CPU system time (s): 5.10844
CPU usage (%): 99.7273
Max. virtual memory (cumulated for all children) (KiB): 1761680
Max. memory (cumulated for all children) (KiB): 1456256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.97
system time used= 5.10844
maximum resident set size= 1456512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183710
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= 160
involuntary context switches= 2508


# summary of solver processes directly reported to runsolver:
#   pid: 102474
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3594.97
#   total CPU system time (s): 5.10844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.05721 second user time and 14.1708 second system time

The end

Begin job on nodeC030 at 2025-07-04 19:06:17
IDJOB=4523236
IDBENCH=179855
IDSOLVER=3345
FILE ID=nodeC030/4523236-1751648777
RUNJOBID= nodeC030-1751644612-101793
SLURM_JOB_ID= 9672335
Free space on /tmp= 432480 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523236-1751648777/watcher-4523236-1751648777 -o /tmp/evaluation-result-4523236-1751648777/solver-4523236-1751648777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751644612-101793 --watchdog 3760  pb-oll-rs HOME/instance-4523236-1751648777.opb

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

MD5SUM BENCH= 19358b71c175af654e98554c4f116d17
RANDOM SEED=683162497

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        119907216 kB
MemAvailable:   121916396 kB
Buffers:              16 kB
Cached:          2794564 kB
SwapCached:          216 kB
Active:          7988508 kB
Inactive:        2710624 kB
Active(anon):    7856392 kB
Inactive(anon):    61708 kB
Active(file):     132116 kB
Inactive(file):  2648916 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005016 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1628 kB
Writeback:           136 kB
AnonPages:       7905756 kB
Mapped:           103320 kB
Shmem:             13548 kB
KReclaimable:     134372 kB
Slab:             225776 kB
SReclaimable:     134372 kB
SUnreclaim:        91404 kB
KernelStack:        4304 kB
PageTables:        18780 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10484392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4483072 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432488 MiB
End job on nodeC030 at 2025-07-04 20:06:27