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