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