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