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