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