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