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