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