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