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