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