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