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