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