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