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