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