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