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