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