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