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