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