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