(1,19) (2,30) (3,28) (4,20) (5,17) (6,18) (7,23) (8,16) (9,26) (10,25) (11,27) (12,21) (13,29) (14,22) (15,24) 
nodes: 4747  conflicts: 31  modelTime: 687  solveTime: 10289  totalTime: 10982  modelSize: 41293  readTime: 6 size: 15