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