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