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