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