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