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