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