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