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