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