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