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