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