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