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