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