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