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