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