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