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