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