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