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