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