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