(1,18) (2,30) (3,29) (4,28) (5,24) (6,26) (7,22) (8,27) (9,25) (11,23) (12,21) (13,20) (14,19) (15,16) 
nodes: 4488  conflicts: 6  modelTime: 1185  solveTime: 15791  totalTime: 16985  modelSize: 41293  readTime: 9 size: 14