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