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