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