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