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