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