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