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