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