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