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