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