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