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