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