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