(1,19) (2,16) (3,20) (4,24) (6,21) (7,26) (8,29) (9,18) (10,25) (11,23) (12,28) (13,22) (14,30) (15,27) 
nodes: 5806  conflicts: 38  modelTime: 656  solveTime: 10253  totalTime: 10916  modelSize: 41293  readTime: 7 size: 14