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