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