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