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