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