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