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