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