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