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