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