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