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