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