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