(1,18) (2,19) (3,26) (4,28) (5,16) (6,20) (7,21) (8,25) (9,27) (10,30) (11,22) (13,23) (14,24) (15,29) 
nodes: 18141  conflicts: 17  modelTime: 1146  solveTime: 54264  totalTime: 55420  modelSize: 41293  readTime: 10 size: 14