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