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