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