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