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