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