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