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