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