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