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