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