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