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