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