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