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