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