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