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