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