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