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