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