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