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