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