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