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