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