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