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