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