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