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