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