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