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