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