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