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