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