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