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