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