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