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