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