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