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