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