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