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