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