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