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