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