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