(1,24) (2,22) (3,21) (4,30) (5,29) (6,23) (7,16) (8,20) (9,18) (10,27) (12,19) (14,28) (15,26) 
nodes: 1293  conflicts: 30  modelTime: 691  solveTime: 2053  totalTime: 2750  modelSize: 41293  readTime: 6 size: 13