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