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