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