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