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