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