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