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