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