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