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