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