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