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