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