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