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