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