(1,16) (3,26) (4,24) (5,22) (6,18) (7,25) (8,30) (9,28) (10,23) (11,17) (12,29) (13,19) (14,20) (15,21) 
nodes: 7902  conflicts: 32  modelTime: 1190  solveTime: 22691  totalTime: 23890  modelSize: 41292  readTime: 9 size: 14