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