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