(1,21) (2,11) (3,12) (4,8) (5,9) (6,13) (7,14) (10,24) (15,28) (16,19) (17,26) (18,30) (20,22) (23,25) (27,29) 
nodes: 244493  conflicts: 33  modelTime: 1141  solveTime: 973285  totalTime: 974444  modelSize: 72262  readTime: 18 size: 15