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