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