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