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