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