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