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