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