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