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