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