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