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