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