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