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