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