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