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