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