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