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