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