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