(1,18) (2,29) (3,30) (4,26) (5,21) (7,27) (8,28) (9,24) (10,22) (11,16) (12,19) (13,23) (14,17) (15,20) 
nodes: 13987  conflicts: 16  modelTime: 1204  solveTime: 45389  totalTime: 46602  modelSize: 41293  readTime: 9 size: 14