(1,28) (2,26) (3,16) (4,15) (5,23) (6,25) (7,12) (8,11) (9,19) (10,22) (13,21) (14,29) (17,20) (18,24) (27,30) 
nodes: 2575  conflicts: 3  modelTime: 938  solveTime: 15429  totalTime: 16375  modelSize: 72264  readTime: 8 size: 15