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