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