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