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