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