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