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