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