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