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