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