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