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