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