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