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