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