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