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