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