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