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